#BEGIN: [Wed Sep 13 23:16:37 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance008.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance008_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/LGC_exp_instance008.col /benchmark/exp_instance/LGC_exp_instance008_01.dat
c /benchmark/exp_instance/LGC_exp_instance008.col
c /benchmark/exp_instance/LGC_exp_instance008_01.dat
TIMEOUT 1800
c send SIGTERM to CID 0cd28460a7e70de5ab749773b9c7196fd5e47ac02becffed3452b9a107681bdd
s 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 106 108 110 111 113 115 118 120 122 123 125 127 130 132 134 135 137 139 142 144 146 147 149 151 154 156 158 159 161 163 166 168 170 171 173 175 178 180 182 183 185 187 190 192 194 195 197 199 202 204 206 207 209 211 214 216 218 219 221 223 226 228 230 231 233 235 238 240 242 243 245 247 250 252 254 255 257 259 262 264 266 267 269 271 274 276 278 279 281 283 286 288 290 291 293 295 298 300 302 303 305 307 310 312 314 315 317 319 322 324 326 327 329 331 334 336 338 339 341 343 346 348 350 351 353 355 358 360 362 363 365 367 370 372 374 375 377 379 382 384 386 387 389 391 394 396 398 399 401 403 406 408 410 411 413 415 418 420 422 423 425 427 430 432 434 435 437 439
t 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 93 94 97 99 101 103 106 108 110 111 113 115 118 120 122 123 125 127 130 132 134 135 137 139 142 144 146 147 149 151 154 156 158 159 161 163 166 168 170 171 173 175 178 180 182 183 185 187 190 192 194 195 197 199 202 204 206 207 209 211 214 216 218 219 221 223 226 228 230 231 233 235 238 240 242 243 245 247 250 252 254 255 257 259 262 264 266 267 269 271 274 276 278 279 281 283 286 288 290 291 293 295 298 300 302 303 305 307 310 312 314 315 317 319 322 324 326 327 329 331 334 336 338 339 341 343 346 348 350 351 353 355 358 360 362 363 365 367 370 372 374 375 377 379 382 384 386 387 389 391 394 396 398 399 401 403 406 408 410 411 413 415 418 420 422 423 425 427 430 432 434 435 437 439
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 23:46:37 2023]