#BEGIN: [Tue Sep  5 10:54:57 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance036_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat
c /benchmark/random_instance/random_instance036_graph002.col
c /benchmark/random_instance/random_instance036_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6f00d40d8cbfd96f2f98103196d666cf28b6ade50560c8cbaeea5a43ffb201b2
s 152 404 182 177 157 124 2 106 132 170 109 69 450 281 139 185 37 468 295 278 194 248 148 47 454 167 120 95 359 67 240 39 179 44 402 313 52 315 425 64 464 29 217 292 97 184 190 154 237 43 284 380 82 306 126 246 310 202 407 6 59 224 172 247 453 183 125 27 58 89 166 140 110 399 396 327 164 287 291 296 297 85 252 76 419 45 466 73 13 253 5 307 86 448 71 294 117 130 236 9 392 411 155 302 150 271 65 135 203 349 369 218 378 191 326 452 201 457 410 231 372 32 338 345 200 87 330 215 398 142 23 186 273 165 427 324 230 28 443 333 251 272 181 42 149 299 1 205 420 119 422 351 436
t 204 405 347 88 394 412 259 401 314 37 8 29 454 74 158 150 386 306 462 281 77 43 171 456 437 318 151 143 297 467 280 55 261 46 109 457 125 167 324 398 209 443 31 185 391 101 172 295 273 95 278 40 54 38 272 128 466 433 11 409 39 192 181 73 137 214 120 45 157 428 408 411 191 323 175 236 232 19 277 430 434 224 445 78 325 21 447 97 344 333 327 356 274 390 66 348 234 326 243 195 135 216 292 108 423 117 422 413 36 168 84 307 459 149 53 219 194 396 155 240 361 249 145 251 148 33 211 296 419 1 255 136 96 217 64 156 293 203 436 20 340 212 173 353 289 410 322 407 399 377 349 230 420
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 11:24:58 2023]