#BEGIN: [Mon Sep  4 20:41:19 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance036_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat
c /benchmark/random_instance/random_instance036_graph004.col
c /benchmark/random_instance/random_instance036_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 31cf5a1a7ec96a9dc5d014294bfb59f19393dcbe2e478d8044626027ba4a94f1
s 52 105 193 419 1 156 46 210 273 386 129 428 137 461 329 119 152 269 57 24 155 247 365 92 11 109 450 304 133 281 320 444 468 396 467 161 313 446 366 355 279 5 40 154 291 108 438 398 456 88 447 254 435 265 423 411 244 431 27 436 35 449 410 311 195 373 86 325 331 14 346 233 28 388 452 76 416 341 441 266 306 297 263 208 460 364 96 229 250 199 63 415 287 16 343 43 36 197 251 282 153 188 377 223 352 274 248 68 130 451 56 162 135 17 399 15 397 73 296 395 19 74 295 334 106 186 459 242 212 59 45 173 102 131 371 93 310 132 286 4 167 218 277 158 349 6 294 83 71 20 379 194
t 39 344 5 221 446 213 324 97 419 402 457 58 220 260 218 461 85 185 122 329 141 456 70 396 281 366 468 84 332 162 347 240 297 38 199 303 18 295 268 44 352 190 160 265 248 330 87 83 96 271 86 410 29 300 451 418 272 48 61 359 9 334 169 136 153 274 310 282 60 37 11 243 361 257 390 40 79 81 389 134 258 301 54 201 119 371 168 392 12 132 452 154 50 346 455 144 35 244 379 427 380 276 279 298 166 148 156 241 222 400 364 435 447 321 386 353 20 63 30 15 43 180 433 143 80 114 217 356 465 71 453 336 308 229 224 340 394 313 139 325 62 388 207 397 277 237 395 113 95 104 226 256
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:11:19 2023]