#BEGIN: [Wed Sep 13 23:41:08 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/exp_instance/SAT_exp_instance020.col
#INSTANCE2: /benchmark/exp_instance/SAT_exp_instance020_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/exp_instance/SAT_exp_instance020.col /benchmark/exp_instance/SAT_exp_instance020_01.dat
c /benchmark/exp_instance/SAT_exp_instance020.col
c /benchmark/exp_instance/SAT_exp_instance020_01.dat
TIMEOUT 1800
c send SIGTERM to CID 825673760bf35f4c1281481a7ac6c96ab575724ea018116714f323428b8f14f9
s 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 41 43 46 49 51 54 57 60 63 65 68 71 74 77 80 83 85 88 91 94 97 100 103 106 109 111 114 117 120 123 126 129 132 135 138 141 143 146 149 152 155 158 161 164 167 170 173 176 179 181 184 187 190 193 196 199 202 205 208 211 214 217 220 223 225 228 231 234 237 240 243 246 249 252 255 258 261 264 267 270 273 275 278 281 284 287 290 293 296 299 302 305 308 311 314 317 320 323 326 329
t 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 37 39 41 43 46 49 51 54 57 60 63 65 68 71 74 77 80 83 85 88 91 94 97 100 103 106 109 111 114 117 120 123 126 129 132 135 138 141 143 146 149 152 155 158 161 164 167 170 173 176 179 181 184 187 190 193 196 199 202 205 208 211 214 217 220 223 225 228 231 234 237 240 243 246 249 252 255 258 261 264 267 270 273 276 277 280 283 286 289 292 295 298 301 304 307 310 313 316 319 322 325 328
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Sep 14 00:11:08 2023]