#BEGIN: [Tue Sep 26 07:35:24 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance035_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat
c /benchmark/random_instance/random_instance035_graph003.col
c /benchmark/random_instance/random_instance035_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID f1679f0fb4c539643d25d87584248f2d3f69e43bbb7b1fd7d020aad5827ff2b5
s 294 242 400 165 105 17 333 192 361 9 181 358 243 157 167 45 76 5 69 172 452 60 419 322 59 199 327 209 95 408 259 19 331 151 375 233 387 170 240 296 258 250 62 396 216 34 444 275 282 194 269 125 234 121 329 140 189 271 404 402 335 190 128 414 356 349 270 437 203 40 318 3 85 137 174 75 447 313 334 370 292 390 328 48 171 179 307 168 251 332 229 217 6 381 25 50 267 4 110 314 395 255 316 180 15 409 166 123 182 355 1 87 435 415 438 264 155 139 261 38 21 285 35 211 162 280 449 102 436 43 266 107 236 253 134 354 385 429 286
t 86 266 184 222 279 341 68 337 44 403 325 239 36 428 153 85 415 131 143 212 198 57 238 207 154 163 436 142 77 181 234 435 308 71 117 152 373 146 227 315 318 380 187 316 355 100 363 406 290 165 306 401 213 173 199 88 343 183 409 307 215 419 416 269 253 313 305 14 113 389 322 429 82 384 317 177 200 236 282 258 324 205 94 126 289 394 256 6 169 402 95 202 249 206 334 201 1 447 335 449 300 302 344 195 261 358 255 160 251 104 30 336 140 276 134 110 298 371 397 5 277 92 395 345 59 444 125 228 180 418 399 40 192 167 19 164 432 9 66
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 08:05:24 2023]