#BEGIN: [Mon Sep  4 20:40:41 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance036_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph001_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_graph001.col /benchmark/random_instance/random_instance036_graph001_01.dat
c /benchmark/random_instance/random_instance036_graph001.col
c /benchmark/random_instance/random_instance036_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 10f6cf1892e751faa86d0f6e8b8133903fe04bbcb6aec2dc72e3a965c4fec361
s 463 392 229 349 336 118 241 348 441 387 278 435 43 106 291 149 124 339 224 409 202 467 330 89 214 71 464 115 9 146 305 168 366 78 209 275 32 150 319 320 156 211 75 263 230 245 432 337 398 136 163 199 138 166 86 57 304 274 194 207 197 247 54 446 240 418 23 173 208 103 112 468 94 374 421 273 443 375 48 417 171 458 427 454 64 352 413 321 85 298 228 178 322 261 77 450 302 307 388 361 201 317 20 130 72 424 440 347 397 30 328 162 188 335 371 114 234 204 329 128 367 310 256 46 193 412 306 445 25 81 237 452 2 1 286 200 342 385 309 3 254 11 40 26 135 324 287 389 19 175 134 111 191 239 381 236
t 69 455 438 441 244 82 401 104 391 229 370 458 237 264 335 120 64 435 424 90 59 206 348 188 10 57 124 371 266 72 119 433 3 279 133 187 143 321 465 347 100 98 345 204 158 320 368 211 403 14 96 202 20 462 216 341 11 268 440 192 319 190 255 122 322 111 73 463 174 310 181 387 56 367 460 265 298 343 448 29 277 307 309 12 153 205 332 105 328 287 338 22 331 203 305 410 337 208 48 262 106 296 25 396 390 301 394 276 393 102 383 449 313 231 432 139 134 230 207 36 92 225 8 94 429 385 467 21 30 78 86 389 54 193 378 99 364 178 172 169 365 382 329 40 91 46 175 366 431 233 375 395 163 464 147 85
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:10:41 2023]