#BEGIN: [Tue Sep 26 07:35:29 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance038_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph002_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_instance038_graph002.col /benchmark/random_instance/random_instance038_graph002_01.dat
c /benchmark/random_instance/random_instance038_graph002.col
c /benchmark/random_instance/random_instance038_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID afed13a8163673e0f6d8626c2b98a9e3e371133215a0702c36ab57de70e179ca
s 320 153 99 398 251 383 434 160 124 252 357 89 406 370 440 248 184 353 431 444 374 83 51 237 288 259 450 437 223 343 277 454 97 16 306 272 224 269 122 268 59 377 50 147 369 327 420 198 79 449 152 474 461 355 180 137 255 258 146 207 100 170 105 61 486 15 181 264 278 104 381 332 494 466 271 36 290 19 233 159 402 213 217 421 229 475 157 175 305 201 281 349 297 115 133 244 235 134 376 148 411 12 442 13 23 363 49 45 14 169 48 477 393 492 280 161 240 211 128 126 116 364 282 149 328 330 253 98 218 196 231 21 396 439 135 334 246 319 415 339 382 294 91 448 139 190 470 163 7 324 179 238 307 342 489 257 321 9 162 433 416
t 299 428 6 26 47 390 63 452 50 94 151 291 358 450 198 483 4 395 279 296 357 449 246 155 132 176 67 156 119 7 138 89 142 413 349 235 129 304 467 475 164 56 331 422 281 131 387 461 453 108 115 472 315 455 82 398 370 396 48 383 488 208 319 414 59 55 5 175 294 256 303 112 133 2 158 173 347 263 134 489 251 310 267 448 139 214 144 376 265 367 80 105 424 259 116 8 426 191 201 278 199 32 474 227 372 71 72 161 238 53 427 79 343 257 407 377 252 135 305 69 394 272 188 38 229 98 418 96 275 371 282 224 154 128 287 484 351 60 268 192 307 312 21 405 186 207 165 179 322 126 264 29 416 365 348 245 437 269 479 297 286
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 08:05:29 2023]