c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/le450_15a_02/sas_plan results/le450_15a_02/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 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448 
t 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a YES
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 231 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 231 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/le450_15a.col /BENCHMARKS/benchmark/color04/le450_15a_02.dat"
	User time (seconds): 0.26
	System time (seconds): 0.06
	Percent of CPU this job got: 100%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.33
	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): 20236
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 11487
	Voluntary context switches: 67
	Involuntary context switches: 35
	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