#BEGIN: [Tue Sep  5 10:28:43 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance033_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance033_graph003_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_instance033_graph003.col /benchmark/random_instance/random_instance033_graph003_01.dat
c /benchmark/random_instance/random_instance033_graph003.col
c /benchmark/random_instance/random_instance033_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID d4d3cd12c867798dc20643b287b9a2659feb85f395db2dab4f66e8b95e2551e8
s 112 368 382 356 385 202 328 408 80 74 379 65 211 52 360 227 172 128 380 417 288 299 383 373 406 298 105 366 400 169 200 308 63 44 339 118 135 64 255 141 207 390 413 27 324 183 402 278 226 182 155 223 419 274 201 358 246 133 258 350 190 126 18 271 134 216 98 22 310 302 139 388 394 157 338 391 363 163 51 146 100 284 124 218 129 164 409 73 322 334 353 119 1 306 97 377 319 60 46 147 131 84 365 224 270 285 230 347 148 424 330 210 180 48 208 40 315 123 20 428 272 156 235 59 340 34 410 372
t 97 251 134 325 127 328 204 427 209 75 400 412 351 143 381 173 345 117 176 330 382 10 113 358 73 298 130 396 399 329 249 86 402 48 243 175 135 355 352 398 391 306 91 270 136 124 353 403 119 409 12 40 260 413 390 334 379 70 79 174 332 372 16 26 59 141 132 319 322 162 393 57 140 315 47 52 50 296 221 310 23 307 81 151 67 262 235 166 277 276 375 238 256 316 111 272 28 206 78 365 211 41 401 18 223 373 122 147 428 246 148 156 280 11 374 88 1 227 131 218 19 105 51 44 85 184 181 118
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 10:58:43 2023]