c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_03_0562.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen050x050_03_0562/sas_plan results/queen050x050_03_0562/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)"
s 280 186 1888 40 434 132 1257 655 1710 2301 2217 1469 854 1044 1658 1918 716 2281 1437 612 1773 764 2063 1970 2003 1348 1149 2402 1515 374 977 528 1196 1625 1842 456 2159 572 2495 321 1579 1091 1243 847 1389 950 2111 2376 233
t 2281 1149 528 977 1625 1918 1348 1515 374 950 2301 186 2111 1196 2402 1389 612 1888 1257 556 85 2495 280 132 1710 466 321 233 2159 667 764 1773 1437 2063 1044 1672 854 2376 434 1579 1970 1243 1091 1842 2205 40 847 2003 1469
a YES
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 667 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 572 612 667 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 556 612 667 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 556 612 667 764 847 85 854 950 977
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_03_0562.dat"
	User time (seconds): 17.96
	System time (seconds): 0.25
	Percent of CPU this job got: 96%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.89
	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): 212076
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 123882
	Voluntary context switches: 128
	Involuntary context switches: 2192
	Swaps: 0
	File system inputs: 0
	File system outputs: 6344
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0