#BEGIN: [Wed Sep 13 22:33:48 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/exp_instance/SAT_exp_instance016.col
#INSTANCE2: /benchmark/exp_instance/SAT_exp_instance016_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/exp_instance/SAT_exp_instance016.col /benchmark/exp_instance/SAT_exp_instance016_01.dat
c /benchmark/exp_instance/SAT_exp_instance016.col
c /benchmark/exp_instance/SAT_exp_instance016_01.dat
s 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 33 35 38 41 43 46 49 52 55 57 60 63 66 69 72 75 77 80 83 86 89 92 95 98 101 103 106 109 112 115 118 121 124 127 130 133 135 138 141 144 147 150 153 156 159 162 165 168 171 173 176 179 182 185 188 191 194 197 200 203 206 209 212 215
t 2 4 6 8 10 12 14 16 18 20 22 24 26 28 29 31 33 35 38 41 43 46 49 52 55 57 60 63 66 69 72 75 77 80 83 86 89 92 95 98 101 103 106 109 112 115 118 121 124 127 130 133 135 138 141 144 147 150 153 156 159 162 165 168 171 174 175 178 181 184 187 190 193 196 199 202 205 208 211 214
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 22:41:19 2023]