#BEGIN: [Tue Sep  5 03:25:03 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance028_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph003_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_instance028_graph003.col /benchmark/random_instance/random_instance028_graph003_01.dat
c /benchmark/random_instance/random_instance028_graph003.col
c /benchmark/random_instance/random_instance028_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID ca0408b18ed7a951835e8b87df5f33f072f1963dac9481047c6c009f9f2896cf
s 297 282 117 65 293 104 270 13 106 88 7 281 14 333 249 274 131 223 289 295 260 29 345 186 298 309 240 66 9 336 359 195 114 311 189 102 168 133 78 290 244 246 122 150 33 283 305 132 245 165 32 119 224 118 68 99 85 46 36 96 356 216 30 201 95 241 73 183 334 354 123 319 230 121 327 3 317 12 20 107 205 208 185 25 176 337 215 192 86 153 26 175 255 352 338 87 143 310 225 231 162 316 8 42 360 145 170 296 259 51 48 137 108 77 128 111
t 115 303 352 145 309 363 268 307 322 206 89 12 141 135 225 259 21 179 199 286 245 290 153 6 271 131 191 9 277 236 36 126 242 107 298 86 338 116 133 100 117 50 106 175 314 103 221 270 351 78 137 296 92 208 111 211 261 165 360 224 195 185 193 132 105 310 96 45 342 125 244 13 31 8 333 182 170 23 285 190 173 76 32 26 164 27 212 262 87 61 223 232 163 328 24 10 239 3 230 121 357 108 281 292 38 40 205 66 30 177 122 301 248 289 272 354
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:55:04 2023]