c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen020x020.col /BENCHMARKS/benchmark/queen/queen020x020_04_0961.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen020x020_04_0961/sas_plan results/queen020x020_04_0961/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 9 344 68 107 138 303 362 146 179 216 193 52 321 397 260 285 234 270 91
t 31 237 285 344 362 179 321 86 72 108 138 394 260 147 303 270 49 193 16
a YES
a 107 138 146 179 193 216 234 260 270 285 303 321 344 362 397 52 68 9 91
a 107 138 146 179 193 216 234 260 270 285 303 321 344 35 362 397 68 9 91
a 107 138 146 179 193 216 234 260 270 285 303 332 344 35 362 397 68 9 91
a 107 138 179 193 216 234 260 270 285 303 332 344 35 362 397 41 68 9 91
a 138 147 179 193 216 234 260 270 285 303 332 344 35 362 397 41 68 9 91
a 138 147 179 193 216 234 260 270 285 303 332 344 35 362 397 41 68 86 9
a 138 147 179 193 216 234 260 270 285 303 31 332 344 362 397 41 68 86 9
a 138 147 179 193 216 234 260 270 295 303 31 332 344 362 397 41 68 86 9
a 138 147 179 193 216 225 260 270 295 303 31 332 344 362 397 41 68 86 9
a 108 138 147 179 193 216 225 260 270 295 303 31 332 344 362 397 41 86 9
a 108 138 147 179 193 216 225 260 270 295 303 31 332 344 362 394 41 86 9
a 108 138 147 17 179 193 216 225 260 270 295 303 31 332 344 362 394 41 86
a 108 138 147 17 179 193 216 225 260 270 295 303 31 332 344 362 394 49 86
a 108 138 147 17 179 193 216 225 260 270 295 303 31 344 362 394 49 72 86
a 108 138 147 179 193 216 225 260 270 295 303 31 321 344 362 394 49 72 86
a 108 138 147 179 193 216 260 270 295 303 31 321 344 362 394 49 5 72 86
a 108 138 147 179 193 237 260 270 295 303 31 321 344 362 394 49 5 72 86
a 108 138 147 16 179 193 237 260 270 295 303 31 321 344 362 394 49 72 86
a 108 138 147 16 179 193 237 260 270 285 303 31 321 344 362 394 49 72 86
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen020x020.col /BENCHMARKS/benchmark/queen/queen020x020_04_0961.dat"
	User time (seconds): 13.80
	System time (seconds): 0.32
	Percent of CPU this job got: 56%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.18
	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): 59752
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 53758
	Voluntary context switches: 2077
	Involuntary context switches: 1842
	Swaps: 0
	File system inputs: 0
	File system outputs: 480
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0