#BEGIN: [Tue Sep 26 06:37:13 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance029_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance029_graph001_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_instance029_graph001.col /benchmark/random_instance/random_instance029_graph001_01.dat
c /benchmark/random_instance/random_instance029_graph001.col
c /benchmark/random_instance/random_instance029_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 729f4a50efbe5ef4fac2a68a36347b8a24d18fdb110541f723dc7704b6650a2f
s 145 327 294 196 344 38 31 359 73 67 210 207 37 279 329 119 76 372 224 362 343 319 84 68 216 301 246 240 187 44 263 292 139 80 180 174 221 365 160 291 124 123 272 193 316 20 146 91 50 293 324 183 176 243 208 238 323 21 204 276 349 281 274 278 285 3 213 282 367 111 354 189 15 355 321 312 273 374 277 18 370 150 340 268 122 116 77 40 95 284 300 90 41 126 152 337 239 358 227 320 35 303 326 117 47 134 79 56 54 118 314 81 225 34 265 209 109 237 290 52 172 39 128 331 297 164
t 4 288 135 327 175 192 62 72 369 356 304 285 128 235 32 95 350 45 233 272 117 262 361 169 321 244 182 293 216 246 67 221 150 199 231 329 206 53 20 70 172 340 19 370 106 35 125 77 122 139 335 71 99 228 278 112 260 69 280 348 178 28 44 65 342 269 152 39 354 100 207 15 254 355 284 159 50 218 94 227 347 299 85 52 237 257 7 29 174 322 143 34 83 127 316 274 187 249 320 170 358 373 3 300 194 283 98 73 81 103 308 54 291 111 101 298 126 183 259 223 193 113 158 239 267 337
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:07:13 2023]