#BEGIN: [Tue Sep  5 09:54:55 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance029_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance029_graph005_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_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat
c /benchmark/random_instance/random_instance029_graph005.col
c /benchmark/random_instance/random_instance029_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID ab1e632f58e534ebdd0deea6644ce333c5cfc0bf8a554c31064885ce8f897361
s 21 370 185 213 214 266 252 285 25 179 330 263 320 156 352 308 218 172 121 360 139 248 78 132 233 302 70 129 99 326 137 318 59 301 124 43 236 127 221 77 90 175 227 323 27 93 42 103 91 169 55 201 223 337 170 17 122 112 296 356 230 261 141 107 240 80 52 354 11 174 102 163 288 351 269 366 270 289 239 231 143 331 234 19 279 118 50 111 168 162 125 189 374 338 319 300 20 340 262 307 355 341 255 7 198 342 253 182 272 335 181 215 192 10 119 209
t 62 74 45 220 146 255 193 357 30 294 54 50 333 371 362 151 240 263 316 244 166 219 174 352 217 55 117 163 340 191 356 94 11 342 353 78 128 160 223 19 288 249 301 214 320 103 345 34 364 169 202 1 246 26 98 375 248 104 79 317 314 77 56 262 68 63 107 347 83 53 326 84 59 372 112 329 234 73 221 76 106 187 172 284 198 136 296 171 178 143 231 134 269 243 129 324 199 233 16 25 216 302 12 254 334 156 15 211 20 354 358 114 95 118 180 258
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 10:24:56 2023]