#BEGIN: [Tue Sep 26 06:38:18 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance029_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance029_graph002_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_graph002.col /benchmark/random_instance/random_instance029_graph002_01.dat
c /benchmark/random_instance/random_instance029_graph002.col
c /benchmark/random_instance/random_instance029_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID d63cc5f63c32fcc83812fdccb07042ed4a1b2a0c06c7711f648d72b1ad24656f
s 358 338 331 314 284 38 145 289 231 143 95 301 144 330 355 165 205 272 134 329 365 57 185 193 40 343 156 223 263 299 106 179 45 23 4 58 150 243 91 253 168 219 337 163 239 31 203 152 215 277 175 59 30 41 121 202 327 43 266 182 52 126 320 92 334 257 79 11 148 198 177 140 195 72 341 335 98 293 9 162 279 238 226 375 224 46 125 214 377 349 120 127 113 63 130 281 241 75 256 147 251 86 94 278 244 245 308 218 225 117 133 78 196 81 317 374 14 123 221 357 369 306 112 346 102
t 359 80 344 77 53 243 170 183 102 109 104 95 374 372 263 185 155 166 135 362 270 254 375 156 86 11 231 251 140 313 56 264 10 331 64 215 163 37 147 174 189 87 299 230 85 214 257 225 236 157 15 220 355 306 261 78 83 195 226 200 228 5 178 240 96 335 40 120 81 303 30 272 75 190 221 38 309 341 26 219 79 233 265 201 32 43 337 179 13 161 66 256 366 141 58 202 31 279 239 296 63 274 317 46 45 133 121 137 74 218 28 290 112 113 227 244 285 89 308 21 206 60 371 126 25
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 07:08:19 2023]