c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_04_9047.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen050x050_04_9047/sas_plan results/queen050x050_04_9047/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 2402 2301 1672 1842 374 606 1625 434 764 1710 1954 1348 1462 233 2205 1888 553 1243 1579 847 2281 186 1918 1515 716 1773 1257 670 1196 40 1389 1044 2011 977 950 2495 2117 2376 321 2063 528 85 1091 1149 132 1437 280 469 2159
t 706 186 40 1515 1389 434 1970 321 2301 847 1257 612 2063 2003 1469 1091 280 1579 1773 2159 233 1658 528 2376 572 854 2111 466 2402 667 1196 374 1149 1044 977 1625 950 132 764 1918 2281 1437 2205 1888 2495 1348 1710 1842 1243
a YES
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 558 606 670 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2003 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 558 606 670 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 558 606 670 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 469 528 558 606 716 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 469 528 558 606 667 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 558 606 667 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 558 667 706 764 847 85 854 950 977
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 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 558 612 667 706 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 612 667 706 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 612 667 706 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 706 764 847 854 950 977
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_04_9047.dat"
	User time (seconds): 24.11
	System time (seconds): 0.41
	Percent of CPU this job got: 54%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.75
	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): 118348
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 97642
	Voluntary context switches: 183
	Involuntary context switches: 2865
	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