#BEGIN: [Tue Sep  5 10:01:43 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance031_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance031_graph001_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_graph001.col /benchmark/random_instance/random_instance031_graph001_01.dat
c /benchmark/random_instance/random_instance031_graph001.col
c /benchmark/random_instance/random_instance031_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3330bd5d2e63b1e401c9a89a2597e92476e0e462691c6f1b53a96cd5e6e52547
s 224 393 231 252 198 263 28 221 189 58 20 260 223 182 398 140 59 350 84 196 55 281 270 341 276 157 373 49 85 399 7 340 288 303 265 304 230 16 26 22 3 123 364 342 23 228 360 105 15 229 14 24 347 98 206 298 33 320 184 355 402 86 34 192 200 296 348 12 278 216 17 111 344 233 279 164 234 146 35 29 88 384 311 4 124 134 116 257 337 25 249 145 237 349 242 323 297 217 170 392 169 176 187 129 394 183 69 6 2 251 300 274 155 156 329 327 391 52 264 106 295 362 162 395 104 204 325 290 114
t 366 228 253 64 381 120 212 327 122 63 188 7 372 388 386 303 192 288 111 79 44 169 259 223 272 160 291 85 168 318 287 294 103 346 379 323 167 361 101 300 69 11 34 26 355 150 220 204 373 17 156 351 330 382 62 153 80 262 203 194 385 334 200 246 221 130 25 16 3 115 23 283 197 284 196 187 24 183 250 321 276 83 180 104 110 76 243 116 99 299 224 278 93 86 325 403 10 343 309 5 347 57 67 390 201 129 59 127 232 118 329 310 364 311 249 348 292 82 331 337 230 20 6 315 290 38 198 35 233
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 10:31:43 2023]