#BEGIN: [Tue Sep 26 08:36:27 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance031_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance031_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_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat
c /benchmark/random_instance/random_instance031_graph003.col
c /benchmark/random_instance/random_instance031_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID a1e5e1f6cd09f9851efed322ea3eb227b4f9534dcd4fddac2c9b6197cb93ee2c
s 368 331 248 242 92 21 14 216 270 321 168 265 218 127 378 5 55 28 85 105 86 115 276 298 49 79 260 339 80 292 189 159 170 137 93 120 151 69 60 129 3 95 228 365 359 202 57 383 315 295 346 37 200 135 87 317 389 210 190 399 236 117 395 274 357 291 330 36 364 299 40 171 154 205 303 142 367 296 269 65 56 54 162 313 243 233 397 121 111 43 88 366 91 128 289 217 113 179 250 15 19 66 97 84 262 241 345 77 102 116 257 393 8 99 169 194 293 156 58 182 166 25 231 320 38 213 326 149 76 281 51 143 90 322
t 26 388 48 144 72 376 225 28 69 237 152 236 313 159 24 282 51 329 141 270 56 293 10 21 106 276 357 112 204 39 65 285 309 122 132 273 224 145 365 304 179 83 345 212 167 358 127 369 359 142 82 213 319 30 102 240 231 223 368 163 371 401 380 35 177 73 254 169 146 260 215 29 392 165 269 246 103 58 8 171 61 182 181 81 234 370 206 70 32 190 390 257 291 267 331 42 230 76 289 245 262 382 105 164 25 292 160 187 312 398 53 36 90 343 279 310 45 227 138 228 317 22 258 330 77 205 363 117 216 62 98 243 143 350
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 09:06:27 2023]