#BEGIN: [Tue Sep  5 04:53:51 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance036_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance036_graph003.col /benchmark/random_instance/random_instance036_graph003_01.dat
c /benchmark/random_instance/random_instance036_graph003.col
c /benchmark/random_instance/random_instance036_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 8484a616453f74d34a503b92e31a07dfa6ef9ddf5ef89be4acc9df9bfccd17ca
s 87 401 60 282 224 190 132 374 353 327 204 383 407 458 445 467 267 138 329 386 76 25 186 450 346 378 236 337 71 191 396 342 118 436 320 90 40 16 381 415 265 157 78 314 119 355 230 211 394 219 116 435 410 361 70 270 281 253 10 95 243 422 31 195 262 437 324 255 460 370 360 414 264 332 354 208 210 107 259 34 108 246 352 442 385 8 348 266 326 289 251 372 133 145 46 1 334 306 29 137 159 30 400 453 193 276 468 226 424 261 429 322 196 425 203 2 22 421 135 194 292 271 316 43 161 426 404 258 359 296 66 349 413 213 389 339 198 409 345 331 297 279 419 416 124 228 447 86 319 393 183 273 209 399 214 75 164
t 187 206 326 63 337 265 174 454 303 139 348 9 230 415 455 89 88 120 301 393 379 427 64 423 215 258 220 72 146 249 7 431 177 109 147 20 69 285 355 445 356 367 236 105 384 319 16 144 198 10 354 377 34 158 296 222 148 277 419 235 382 243 408 3 429 134 244 193 434 116 416 17 467 399 168 420 204 8 211 150 60 257 234 292 43 375 320 12 85 262 282 360 22 279 157 183 178 114 364 90 214 432 409 128 315 306 342 71 259 224 37 80 137 447 450 138 458 269 111 209 110 190 286 106 191 371 346 336 226 264 451 291 47 124 246 49 208 321 295 381 156 68 101 456 83 108 289 159 59 426 261 281 132 135 104 103 386
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 05:23:51 2023]