c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/le450_5d.col /BENCHMARKS/benchmark/color04/le450_5d_01.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/le450_5d_01/sas_plan results/le450_5d_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 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 284 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 399 400 404 409 414 419 420 424 425 429 440 445 449 450 
t 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 385 399 400 404 409 414 419 420 424 425 429 440 445 449 450
a YES
a 105 109 114 115 119 124 129 130 14 15 150 155 170 174 175 179 180 184 189 19 194 195 199 204 205 220 224 229 234 239 240 244 245 25 260 265 270 284 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 399 4 40 400 404 409 414 419 420 424 425 429 440 445 449 450 59 60 64 65 69 74 79 80 84 85 89 9 90 94
a 105 109 114 115 119 124 129 130 14 15 150 155 170 174 175 179 180 184 189 19 194 195 199 204 205 220 224 229 234 239 240 244 245 25 260 265 270 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 385 399 4 40 400 404 409 414 419 420 424 425 429 440 445 449 450 59 60 64 65 69 74 79 80 84 85 89 9 90 94
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/le450_5d.col /BENCHMARKS/benchmark/color04/le450_5d_01.dat"
	User time (seconds): 1.62
	System time (seconds): 0.09
	Percent of CPU this job got: 18%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.44
	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): 51788
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 44126
	Voluntary context switches: 363
	Involuntary context switches: 517
	Swaps: 0
	File system inputs: 0
	File system outputs: 440
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0