#BEGIN: [Mon Sep  4 20:40:25 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance035_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance035_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_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat
c /benchmark/random_instance/random_instance035_graph005.col
c /benchmark/random_instance/random_instance035_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID e23fd777083da48ae5cfbdce3c09b6baa3977eaf268fead0dc109f1519991354
s 247 287 454 339 220 442 177 413 342 240 120 318 409 90 261 392 160 368 33 331 153 129 102 135 130 415 212 150 29 105 27 372 296 98 148 273 350 117 448 383 31 80 311 45 14 401 88 242 52 281 229 32 151 40 233 149 434 30 46 243 352 400 316 265 386 48 422 56 89 162 340 180 445 306 22 317 360 113 87 439 115 314 77 196 449 355 208 75 335 337 11 44 225 312 347 18 23 387 310 195 55 63 72 133 259 4 61 421 344 275 237 395 101 183 201 249 207 84 17 125 154 412 278 235 66 437 356 12 107 388 222 285 405 263 277 131 215 96 198 142 91 443 330 236 86 435
t 233 260 309 181 72 331 341 160 247 315 434 442 97 244 84 428 11 263 79 430 75 344 144 318 452 212 302 164 158 279 83 295 455 123 449 325 425 206 352 28 190 286 358 135 328 345 174 272 59 30 169 300 448 199 365 202 395 29 128 227 215 327 101 320 74 234 96 435 297 256 249 241 376 177 369 346 303 159 290 299 270 116 156 228 176 139 56 173 417 304 427 70 137 141 218 55 373 145 130 441 356 287 26 370 200 189 143 408 252 109 384 25 273 125 387 222 121 36 433 80 355 381 232 278 406 46 17 359 47 188 16 69 437 195 86 237 440 317 334 277 316 338 149 275 383 337
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 21:10:25 2023]