0170	34.893	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (43, 53)L
0170	2.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (43, 53)L
0000	0.074	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0001	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 3)L
0002	0.080	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 3)L
0003	0.077	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0004	0.072	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 4)U
0005	0.121	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0006	0.110	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 5)L
0007	0.214	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 2)D
0008	0.351	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 4)L
0009	0.082	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 6)L
0010	0.144	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 5)U
0011	0.275	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 1)L
0012	0.182	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)D
0013	0.290	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 7)R
0014	0.118	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0015	0.109	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0016	0.159	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0017	0.117	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 8)R
0018	0.361	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 6)L
0019	0.116	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 2)D
0020	7.907	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0021	6.804	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0022	1.640	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 9)L
0023	4.715	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 3)R
0024	0.755	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (8, 4)U
0025	0.185	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 10)U
0026	2.906	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 5)R
0027	2.162	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 7)D
0028	3.944	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 3)R
0029	0.504	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (13, 11)L
0030	0.282	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)D
0031	0.337	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)R
0032	1.734	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 8)L
0033	9.877	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 6)D
0034	2.873	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 2)L
0035	1.872	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 1)L
0036	3.323	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (15, 3)U
0037	0.258	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 6)U
0038	0.727	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 4)D
0039	0.430	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)R
0040	3.365	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 6)R
0041	0.900	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 15)D
0042	10.516	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 17)L
0043	7.009	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 7)U
0044	8.178	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (14, 11)L
0045	2.963	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)R
0046	0.620	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 18)L
0047	11.686	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (13, 2)D
0048	2.804	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 15)R
0049	0.813	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 13)L
0050	22.498	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 16)U
0051	0.381	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 7)U
0052	2.663	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 11)L
0053	13.999	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (15, 14)U
0054	1.957	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (8, 5)D
0055	5.115	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 21)L
0056	11.562	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 1)L
0057	0.951	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 10)D
0058	16.171	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 2)R
0059	1.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (21, 18)R
0060	1.642	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 5)U
0061	0.954	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (19, 12)D
0062	2.389	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (22, 18)U
0063	0.574	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 8)D
0064	11.952	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 23)R
0065	1.847	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 23)D
0066	0.985	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (8, 5)D
0067	21.082	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 1)L
0068	6.192	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 18)D
0069	27.411	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (21, 22)R
0070	5.263	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (27, 12)L
0000	0.014	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.012	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.050	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.020	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.036	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.146	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.052	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.100	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.095	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.119	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.049	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.061	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.047	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	6.185	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	5.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.072	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	2.849	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.232	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.070	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.807	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.203	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	3.146	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.359	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.082	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.896	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	1.922	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	1.991	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	1.544	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.957	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.126	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.320	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.172	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	2.332	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.290	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	0.382	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	5.342	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	4.871	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	0.608	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.343	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	9.482	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.665	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.586	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	2.492	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.194	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.328	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	2.261	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	1.336	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.464	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.400	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.574	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	2.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	0.598	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	1.172	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	2.237	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	2.002	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	0.519	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.506	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	0.895	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	0.657	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0067	18.275	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 1)L
0068	4.095	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 18)D
0069	18.272	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 22)R
0070	0.644	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 12)L
0071	30.408	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0072	11.208	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 21)U
0073	109.256	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (20, 6)U
0074	11.344	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (28, 22)R
0075	22.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 19)R
0076	32.277	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0000	0.014	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.012	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.024	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.036	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.056	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.149	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.052	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0000	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.047	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.019	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.071	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.136	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.053	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0000	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.058	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.040	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.055	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.139	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.052	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0000	0.012	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.061	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.040	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.055	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.137	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.101	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.097	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.120	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.141	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.047	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	8.902	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	5.129	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	3.718	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.241	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.072	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	2.315	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.346	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.851	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.380	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.083	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.131	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	1.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	12.691	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.977	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	8.240	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	2.087	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.132	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.332	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.181	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	2.275	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.308	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	6.213	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	6.950	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	5.478	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	1.429	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.326	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	32.085	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.973	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.584	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	88.261	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.194	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.328	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	4.576	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	21.814	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.756	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.634	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.680	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	2.094	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	0.626	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	1.404	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	53.322	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	3.000	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	1.258	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.613	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	3.450	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	2.142	one_sol=1	cache_rmsols=1	normal_rm_timelimit=None	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0000	0.012	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.050	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.045	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.064	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.137	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.100	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.098	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.118	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.150	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.047	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0067	0.815	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 1)L
0068	0.392	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 18)D
0069	2.766	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (21, 22)R
0070	2.782	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (27, 12)L
0071	271.615	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0072	3.955	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (27, 21)U
0071	0.585	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0072	2.652	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (27, 21)U
0071	396.643	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	394.685	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	102.149	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	2.982	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	92.871	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	92.783	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (23, 18)L
0071	92.392	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0071	0.468	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0072	0.361	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 21)U
0071	47.808	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0072	1.532	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 21)U
0071	91.305	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0071	91.463	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0000	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.025	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.040	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.023	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.071	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.038	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.162	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.038	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.116	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.112	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.136	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.086	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.091	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.159	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.058	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.759	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.021	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.034	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.575	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.213	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.085	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.968	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.128	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.144	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.327	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.099	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.130	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.890	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	8.636	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.335	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	0.929	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.712	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.286	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.168	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	1.847	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.286	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	4.869	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	4.434	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	3.916	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	1.231	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.284	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	9.876	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.741	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.423	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.01	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	0.432	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.203	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.215	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (2, 11)L
0053	0.339	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (15, 14)U
0054	0.175	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (8, 5)D
0055	0.996	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (7, 21)L
0050	0.185	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.126	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.202	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (2, 11)L
0053	0.243	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (15, 14)U
0054	0.159	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (8, 5)D
0055	0.164	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.367	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.203	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (1, 10)D
0058	0.269	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (11, 2)R
0059	0.217	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (21, 18)R
0060	0.194	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (12, 5)U
0061	0.875	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (19, 12)D
0062	0.277	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (22, 18)U
0063	0.282	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (11, 8)D
0064	0.282	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (6, 23)R
0065	0.320	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (23, 23)D
0066	0.513	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (8, 5)D
0067	0.311	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (11, 1)L
0068	0.298	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (9, 18)D
0069	0.478	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (21, 22)R
0070	0.266	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (27, 12)L
0071	0.406	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (23, 18)L
0072	0.304	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=0   (27, 21)U
0000	0.049	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.024	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.034	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.024	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.070	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.039	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.162	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.059	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.107	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.102	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.124	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.056	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.044	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.068	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.102	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.196	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.062	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.144	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	3.990	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.607	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.222	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.091	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.739	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0000	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.019	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.036	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.146	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.056	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.103	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.099	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.122	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.064	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.061	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.152	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.096	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	3.975	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.560	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.210	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.757	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.112	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.133	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.325	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.099	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.136	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.804	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	2.312	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	1.771	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	0.918	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.690	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.279	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.165	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	1.803	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.279	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	0.407	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	4.296	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	3.958	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	0.623	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.298	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	7.277	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.745	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.415	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	2.531	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.183	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.287	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	1.750	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	0.435	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.295	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.412	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.419	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	2.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	0.518	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	0.956	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	0.789	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	1.300	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	0.317	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.327	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	1.244	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	0.619	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0067	11.647	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 1)L
0068	4.024	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 18)D
0069	17.597	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 22)R
0070	0.329	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=10	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 12)L
0638	37515.399	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (198, 58)D
0000	0.014	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.028	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.025	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.058	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.154	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.099	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.100	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.124	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.047	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.062	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.151	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.715	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.000	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.565	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.213	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.953	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.117	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.128	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.297	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.082	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.121	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.882	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	7.973	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.285	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	0.901	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.690	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.121	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.278	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.163	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	1.803	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.264	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	1.611	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	4.464	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	3.891	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	1.201	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.283	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	9.908	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.737	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.402	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	13.215	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.186	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.289	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	2.531	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	0.440	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.272	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.639	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.423	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	1.904	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	0.524	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	0.994	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	0.818	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	1.292	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	0.319	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.291	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	1.258	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	1.016	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0067	12.681	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 1)L
0068	7.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 18)D
0069	33.344	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 22)R
0070	0.346	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 12)L
0071	38.119	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 18)L
0072	1.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (27, 21)U
0073	91.163	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (20, 6)U
0074	1.304	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (28, 22)R
0075	13.174	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 19)R
0076	22.539	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (28, 9)L
0000	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.028	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.036	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.058	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.158	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.056	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.104	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.100	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.068	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.064	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.157	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.050	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.722	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.020	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.028	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.566	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.209	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.957	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.117	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.298	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.081	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.117	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.878	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	7.978	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.290	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	0.902	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.682	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.119	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.278	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.162	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	1.796	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.264	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	1.606	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	4.462	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	3.927	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	1.204	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.280	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	9.885	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.738	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.403	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	12.578	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.182	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0000	0.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.058	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.145	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.055	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.102	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.104	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.129	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.064	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.152	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	4.736	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.137	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	1.147	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	1.556	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.210	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	1.984	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.283	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.149	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.296	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.079	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.118	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	0.889	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	7.969	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.332	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	0.924	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.725	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.119	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.284	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.163	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	1.835	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.264	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	1.606	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	4.867	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	3.976	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	1.217	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.279	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0000	0.023	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.017	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.025	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.050	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.044	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.077	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.171	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.065	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.115	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.106	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.049	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.074	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.069	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.161	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.055	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0000	0.012	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.018	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.057	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.157	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.026	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.056	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.099	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.096	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.122	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.065	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.062	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.156	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.048	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0050	0.185	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (5, 16)U
0051	0.127	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (10, 7)U
0052	0.205	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (2, 11)L
0053	0.253	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (15, 14)U
0053	0.282	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (15, 14)U
0054	0.174	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (8, 5)D
0055	0.172	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (7, 21)L
0056	0.405	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (6, 1)L
0053	0.252	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (15, 14)U
0054	0.173	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (8, 5)D
0055	0.169	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (7, 21)L
0056	0.400	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (6, 1)L
0057	5.870	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (1, 10)D
0058	0.184	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (11, 2)R
0059	0.198	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (21, 18)R
0060	0.199	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (12, 5)U
0061	0.208	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (19, 12)D
0062	0.225	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (22, 18)U
0063	0.229	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (11, 8)D
0064	0.240	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (6, 23)R
0065	0.261	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (23, 23)D
0066	103.460	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (8, 5)D
0067	0.257	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (11, 1)L
0068	0.348	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (9, 18)D
0069	0.306	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (21, 22)R
0070	0.271	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (27, 12)L
0071	29.669	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (23, 18)L
0072	0.295	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (27, 21)U
0075	2.986	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (28, 14)U
0073	90.401	one_sol=1	cache_rmsols=1	normal_rm_timelimit=1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (20, 6)U
0076	2.575	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (28, 9)L
0076	0.813	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0076	2.488	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=35	save_valuable_sols=1	do_pdb=1	live=False	save_simpleroomcache=1   (28, 9)L
0077	9.044	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (12, 6)L
0078	18.997	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (3, 23)U
0079	6.103	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (6, 26)L
0080	82.341	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (11, 4)L
0081	7.192	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (17, 11)R
0082	13.030	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (14, 25)D
0083	8.313	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (10, 26)L
0084	3.496	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (12, 14)R
0085	12.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (8, 3)D
0086	5.726	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (14, 2)U
0087	20.967	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (31, 26)L
0088	278.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=1	live=True	save_simpleroomcache=1   (6, 8)D
0089	2.907	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (16, 9)U
0090	3.455	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (13, 4)U
0091	19.613	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (6, 29)R
0092	14.264	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (3, 7)L
0093	22.913	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (27, 32)U
0094	10.812	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (24, 24)R
0095	21.696	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (27, 25)D
0096	67.806	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (4, 25)U
0097	6.939	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (4, 13)R
0098	10.703	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (22, 21)L
0099	11.628	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (5, 12)R
0100	2.908	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (3, 25)L
0101	8.624	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (36, 12)D
0102	6.735	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (18, 24)L
0103	2.122	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (14, 37)U
0104	4.034	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (22, 9)R
0105	1.774	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (6, 31)L
0106	2.602	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (11, 36)L
0107	16.901	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (32, 34)L
0108	16.207	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (21, 14)D
0109	3.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (30, 13)L
0110	15.036	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (31, 18)U
0111	75.541	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (6, 21)L
0112	3.169	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (5, 24)D
0113	8.817	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (7, 32)D
0114	14.890	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (4, 7)R
0115	9.633	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (32, 34)D
0116	13.145	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (1, 33)U
0117	3.155	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (6, 38)R
0118	17.248	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (25, 3)D
0119	10.324	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (15, 12)D
0120	24.600	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (40, 16)D
0121	6.884	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (2, 26)D
0122	12.499	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (18, 33)D
0123	12.069	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (3, 5)L
0124	22.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (12, 21)U
0125	13.402	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (18, 19)R
0126	58.215	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (39, 36)U
0127	153.241	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (34, 7)R
0128	66.486	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (8, 4)R
0129	53.060	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (46, 28)U
0130	63.457	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (41, 7)L
0131	16.212	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (5, 10)R
0132	15.003	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (10, 7)D
0390	186.731	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.2	initial_check_rm_timelimit=3	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (79, 73)D
0000	0.044	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0000	0.040	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0000	0.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0000	0.038	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.037	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.035	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.086	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.068	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.093	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.410	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.172	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.302	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.173	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.510	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.109	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.132	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.160	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.128	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.352	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	21.907	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0000	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.023	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.034	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.069	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.065	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.089	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.341	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.124	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.220	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.104	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.304	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.123	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.083	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.177	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	6.706	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	5.007	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	2.084	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	3.251	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.376	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.102	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	2.792	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.842	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0000	0.039	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.046	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.069	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.090	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.343	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.031	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.223	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.103	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.314	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.086	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.177	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	6.088	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.773	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	2.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	3.155	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.356	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.101	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	2.605	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.805	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.997	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.511	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.111	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.211	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	1.139	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	8.854	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.756	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	5.589	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.241	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.505	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.153	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	3.344	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.377	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	16.514	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	6.104	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	5.110	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	2.840	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.365	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	39.623	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	1.914	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.721	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	91.285	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.380	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.459	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	6.442	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	11.732	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.715	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.763	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.488	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	2.304	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	15.804	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	1.650	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	1.013	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	27.971	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	1.361	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.780	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	3.063	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	1.967	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0000	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0001	0.011	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 3)L
0002	0.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 3)L
0003	0.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0004	0.044	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 4)U
0005	0.068	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 3)L
0006	0.065	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 5)L
0007	0.088	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 2)D
0008	0.339	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 4)L
0009	0.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 6)L
0010	0.123	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 5)U
0011	0.221	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (4, 1)L
0012	0.104	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)D
0013	0.304	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 7)R
0014	0.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 3)R
0015	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0016	0.123	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 7)D
0017	0.084	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 8)R
0018	0.176	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 4)U
0019	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 2)D
0020	6.121	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0021	4.775	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 2)R
0022	2.030	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 9)L
0023	3.182	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 3)R
0024	0.357	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 4)U
0025	0.100	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 10)U
0026	2.662	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (3, 5)R
0027	1.819	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 7)D
0028	2.989	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 3)R
0029	0.504	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 11)L
0030	0.110	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)D
0031	0.207	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0032	1.134	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 8)L
0033	8.835	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 6)D
0034	2.791	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)L
0035	5.641	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 1)L
0036	1.235	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 3)U
0037	0.136	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 6)U
0038	0.515	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 4)D
0039	0.154	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 1)R
0040	3.404	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 6)R
0041	0.385	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (9, 15)D
0042	16.542	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 17)L
0043	5.423	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 7)U
0044	5.196	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (14, 11)L
0045	2.866	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 12)R
0046	0.370	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 18)L
0047	39.713	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (13, 2)D
0048	2.027	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 15)R
0049	0.744	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 13)L
0050	91.436	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (5, 16)U
0051	0.348	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (10, 7)U
0052	0.458	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (2, 11)L
0053	6.437	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (15, 14)U
0054	11.737	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0055	1.642	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (7, 21)L
0056	0.739	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 1)L
0057	0.499	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (1, 10)D
0058	2.259	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 2)R
0059	15.852	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (21, 18)R
0060	1.669	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (12, 5)U
0061	1.023	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (19, 12)D
0062	27.969	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (22, 18)U
0063	1.360	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (11, 8)D
0064	1.789	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (6, 23)R
0065	3.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (23, 23)D
0066	1.987	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=0   (8, 5)D
0000	0.041	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0001	0.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 3)L
0002	0.031	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 3)L
0003	0.021	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0004	0.049	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 4)U
0005	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0006	0.065	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 5)L
0007	0.088	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 2)D
0008	0.333	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 4)L
0009	0.030	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 6)L
0010	0.122	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 5)U
0011	0.220	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 1)L
0012	0.103	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)D
0013	0.302	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 7)R
0014	0.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0015	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0016	0.120	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0017	0.083	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 8)R
0018	0.178	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 4)U
0019	0.043	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 2)D
0020	6.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0021	4.568	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0022	1.729	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 9)L
0023	2.746	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 3)R
0024	0.297	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (8, 4)U
0025	0.089	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 10)U
0026	2.299	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 5)R
0027	1.540	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 7)D
0028	2.632	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 3)R
0029	0.370	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (13, 11)L
0030	0.091	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)D
0031	0.170	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)R
0032	0.914	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 8)L
0033	8.546	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 6)D
0034	2.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 2)L
0035	4.610	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 1)L
0036	0.860	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (15, 3)U
0037	0.121	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 6)U
0038	0.335	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 4)D
0039	0.139	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)R
0040	2.340	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 6)R
0041	0.318	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 15)D
0042	16.470	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 17)L
0043	4.545	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 7)U
0044	3.881	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (14, 11)L
0045	2.083	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)R
0046	0.263	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 18)L
0047	38.265	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (13, 2)D
0048	1.593	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 15)R
0049	0.515	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 13)L
0000	0.040	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0001	0.010	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 3)L
0002	0.032	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 3)L
0003	0.022	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0004	0.033	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 4)U
0005	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 3)L
0006	0.066	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 5)L
0007	0.089	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 2)D
0008	0.340	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 4)L
0009	0.030	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 6)L
0010	0.125	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 5)U
0011	0.221	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 1)L
0012	0.103	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)D
0013	0.305	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 7)R
0014	0.054	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 3)R
0015	0.067	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0016	0.123	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 7)D
0017	0.083	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 8)R
0018	0.174	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 4)U
0019	0.042	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 2)D
0020	5.981	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0021	4.529	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 2)R
0022	1.736	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 9)L
0023	2.698	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 3)R
0024	0.286	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (8, 4)U
0025	0.089	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (2, 10)U
0026	2.255	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 5)R
0027	1.527	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 7)D
0028	2.591	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 3)R
0029	0.368	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (13, 11)L
0030	0.090	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)D
0031	0.169	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 12)R
0032	0.908	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 8)L
0033	8.515	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (5, 6)D
0034	2.017	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 2)L
0035	4.574	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 1)L
0036	0.846	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (15, 3)U
0037	0.123	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 6)U
0038	0.327	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (7, 4)D
0039	0.140	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (1, 1)R
0040	2.280	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 6)R
0041	0.297	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (9, 15)D
0076	4.051	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	14.183	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	1.860	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (4, 24)U
0079	0.885	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0076	3.927	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	14.200	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0076	3.942	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0076	1.039	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	13.461	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	98.523	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 23)L
0079	0.837	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0076	1.245	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	13.711	one_sol=1	cache_rmsols=1	normal_rm_timelimit=13	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0076	1.246	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	1.090	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	2.462	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 23)L
0079	1.001	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0080	11.504	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 4)L
0081	79.684	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (17, 11)R
0082	2.467	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (14, 27)L
0083	1.055	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 26)L
0076	1.353	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	1.210	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	2.534	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 23)L
0079	1.084	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0080	4.428	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 4)L
0076	4.108	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	1.176	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	2.471	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 23)L
0079	2.071	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0080	4.754	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (11, 4)L
0081	61.560	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (17, 11)R
0082	1.638	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (14, 27)L
0083	1.200	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (10, 26)L
0076	4.200	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (28, 9)L
0077	1.183	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (12, 6)L
0078	2.568	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (3, 23)L
0079	2.079	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=False	save_simpleroomcache=1   (6, 26)L
0639	4984.283	one_sol=1	cache_rmsols=1	normal_rm_timelimit=0.1	initial_check_rm_timelimit=19	save_valuable_sols=1	do_pdb=0	live=True	save_simpleroomcache=1   (197, 100)L
