#BEGIN: [Mon Sep  4 20:41:22 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance036_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph005_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_graph005.col /benchmark/random_instance/random_instance036_graph005_01.dat
c /benchmark/random_instance/random_instance036_graph005.col
c /benchmark/random_instance/random_instance036_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID ae19eb925c744cc70367d294eed25c8ed2e4c700411088c6de522d826f0d6229
s 161 114 351 113 303 320 326 261 342 70 115 448 124 310 229 444 152 25 227 241 105 455 4 377 359 156 301 97 277 246 265 397 287 205 216 256 127 223 330 263 374 409 20 427 459 361 52 255 373 264 187 7 231 169 419 221 131 47 207 65 294 297 394 58 79 276 271 206 64 189 191 90 77 217 220 396 85 150 208 144 98 251 464 81 182 166 211 140 51 300 315 248 368 387 155 257 116 364 40 137 460 452 80 383 410 2 160 53 296 346 285 336 83 203 280 447 439 321 176 282 405 29 468 215 12 107 381 48 50 119 33 376 350 141 122 126 298 358 347 318 111 317 404 250 42 236 305 157
t 224 184 401 114 142 238 395 248 303 73 35 259 221 394 305 20 451 272 431 336 150 306 290 51 32 330 457 464 392 273 166 14 396 131 367 84 28 403 262 400 79 439 44 183 339 201 240 171 3 454 57 261 104 92 185 335 299 356 190 461 415 105 175 112 282 423 351 81 361 404 357 207 237 128 276 33 311 139 182 388 18 160 15 222 205 373 402 26 304 48 217 204 292 146 427 328 354 409 91 29 173 443 65 40 393 135 25 420 87 70 210 342 196 243 179 352 417 42 4 269 211 187 68 355 107 321 157 341 126 6 76 428 358 116 252 103 191 101 295 285 188 141 458 39 24 256 250 308
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:11:22 2023]