c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen050x050_01_6006/sas_plan results/queen050x050_01_6006/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 1044 186 132 2063 2495 1091 1625 321 1196 2003 1981 954 467 233 1348 670 2159 85 2402 1579 1773 1710 1257 2256 374 1149 1888 858 727 1437 1469 1389 2111 612 2301 40 280 1672 764 434 555 1243 528 950 2215 847 2376 1516 1918
t 2117 1710 2063 1918 1773 2281 1257 1672 950 1842 233 1515 1149 556 764 1437 977 1579 612 434 186 1469 1888 453 1625 670 2495 1196 2402 858 280 1044 1348 2301 2376 1389 132 1954 2011 321 2205 40 374 2159 847 716 85 1091 528
a YES
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 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 1149 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 528 555 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 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 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2205 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2205 2266 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 954
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2205 2266 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2063 2111 2159 2205 2266 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2111 2159 2205 2266 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 727 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 716 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 556 612 670 716 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 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 528 556 612 670 716 764 847 85 858 950 953
a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 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 453 528 556 612 670 716 764 847 85 858 950
a 1044 1091 1149 1196 1257 132 1348 1389 1437 1469 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 453 528 556 612 670 716 764 847 85 858 950 977
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen050x050.col /BENCHMARKS/benchmark/queen/queen050x050_01_6006.dat"
	User time (seconds): 2.26
	System time (seconds): 0.12
	Percent of CPU this job got: 100%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.38
	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): 87388
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 42801
	Voluntary context switches: 91
	Involuntary context switches: 241
	Swaps: 0
	File system inputs: 0
	File system outputs: 6352
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0