c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/le450_15a.col /BENCHMARKS/benchmark/color04/le450_15a_01.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/le450_15a_01/sas_plan results/le450_15a_01/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 6 10 25 32 34 37 40 44 51 54 61 64 79 87 90 91 94 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 252 267 273 276 277 279 280 289 295 309 312 313 316 326 327 331 335 345 350 357 360 366 372 373 375 392 393 394 398 401 411 412 422 429 436 444 445 
t 6 10 32 34 37 44 51 54 61 64 79 87 90 91 94 100 107 122 124 127 128 130 132 141 149 160 171 177 181 183 184 187 199 207 210 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 326 327 331 335 345 350 357 360 366 372 373 375 392 393 394 398 401 411 412 422 429 436 444 445
a YES
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 25 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 210 214 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 149 160 171 177 181 183 184 187 199 207 210 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/le450_15a.col /BENCHMARKS/benchmark/color04/le450_15a_01.dat"
	User time (seconds): 121.08
	System time (seconds): 0.26
	Percent of CPU this job got: 1170%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.37
	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): 87160
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 57545
	Voluntary context switches: 7370
	Involuntary context switches: 13187
	Swaps: 0
	File system inputs: 0
	File system outputs: 400
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0