c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen050x050_02_6166/sas_plan results/queen050x050_02_6166/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)"
s 1470 434 528 2301 1918 2003 1658 2063 186 85 1389 1257 1625 1437 1091 950 655 1196 2217 711 2281 572 2495 1243 1348 1842 233 1579 469 977 2402 1966 1773 764 2159 1044 1515 854 1149 1710 847 2106 132 321 40 2376 374 612 1888
t 2402 321 612 1981 1389 858 847 2159 2215 280 2301 1888 1044 764 1842 2111 954 233 1918 2063 1672 2003 1710 1348 670 85 2376 434 132 1469 528 2256 374 40 1257 1437 1243 727 1091 1625 1196 467 950 1773 2495 186 1516 1579 555
a YES
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 321 374 40 434 469 528 572 612 655 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 528 572 612 655 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 612 655 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 854 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 854 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 950 982
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 711 764 847 85 856 950 982
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2111 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 764 847 85 856 950 982
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2111 2159 2215 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 764 847 85 856 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1972 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 764 847 85 856 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 469 528 555 612 667 764 847 85 856 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 528 555 612 667 719 764 847 85 856 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 667 719 764 847 85 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 667 719 764 847 85 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 667 719 764 847 85 858 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 667 764 847 85 858 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 670 764 847 85 858 950 977
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 670 727 764 847 85 858 950
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950
a 1044 1091 1149 116 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954
a 1044 1091 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_02_6166.dat"
	User time (seconds): 2.36
	System time (seconds): 0.09
	Percent of CPU this job got: 100%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.46
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 87376
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 42906
	Voluntary context switches: 90
	Involuntary context switches: 244
	Swaps: 0
	File system inputs: 0
	File system outputs: 6360
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0