c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/4-FullIns_3.col /BENCHMARKS/benchmark/color04/4-FullIns_3_01.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/4-FullIns_3_01/sas_plan results/4-FullIns_3_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 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 113 
t 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 111
a YES
a 100 101 102 103 104 105 106 107 108 113 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 91 92 93 94 95 96 97 98 99
a 100 101 102 103 104 105 106 107 108 111 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 91 92 93 94 95 96 97 98 99
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/4-FullIns_3.col /BENCHMARKS/benchmark/color04/4-FullIns_3_01.dat"
	User time (seconds): 0.88
	System time (seconds): 0.10
	Percent of CPU this job got: 32%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.05
	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): 41968
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 40987
	Voluntary context switches: 363
	Involuntary context switches: 278
	Swaps: 0
	File system inputs: 0
	File system outputs: 88
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0