#BEGIN: [Tue Sep  5 02:58:22 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance025_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance025_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_instance025_graph003.col /benchmark/random_instance/random_instance025_graph003_01.dat
c /benchmark/random_instance/random_instance025_graph003.col
c /benchmark/random_instance/random_instance025_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 9866abe642fe44155b22d383a32a2f64250588acff6ac79f651cc7108ad9f7fd
s 94 139 93 193 4 206 172 81 226 314 303 20 322 143 59 173 221 17 320 160 203 195 30 136 153 99 14 2 273 47 168 27 25 126 83 103 96 119 64 234 72 120 35 69 250 254 256 311 76 279 91 118 26 216 108 102 158 7 15 134 74 192 306 200 224 294 101 129 197 23 163 117 175 285 188 283 28 52 71 215 240 179 280 183 145 60 202 151 18 176 53 170 180 222 80 298 41 304 37 237 21 313 246 186
t 35 147 12 162 286 307 196 104 6 97 41 100 71 171 164 15 217 105 98 91 305 213 284 212 200 259 94 19 273 1 316 223 72 277 296 176 9 90 118 11 205 77 74 279 280 135 219 101 260 156 244 51 120 148 52 25 168 238 150 228 224 262 170 211 302 37 45 178 75 46 122 70 253 295 249 80 161 266 227 142 129 239 117 108 255 294 24 267 69 63 145 313 226 215 165 246 154 26 18 39 245 182 64 283
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:28:23 2023]