#BEGIN: [Tue Sep  5 03:29:12 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance028_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph005_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_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat
c /benchmark/random_instance/random_instance028_graph005.col
c /benchmark/random_instance/random_instance028_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 23e9d18f3a172732535a950fab63b217f9a2d62a302cac69c53c1c02e872b24e
s 112 351 155 213 200 2 363 238 151 231 224 256 302 303 278 334 1 196 307 358 293 323 27 236 175 308 78 243 7 198 97 116 45 149 129 335 251 75 212 14 128 177 38 55 36 11 339 63 172 142 5 287 266 277 239 205 273 102 168 105 136 44 276 315 264 237 260 346 352 89 13 220 332 240 59 289 301 50 139 274 311 261 255 132 270 245 26 138 324 269 317 154 186 19 228 167 119 65 159 176 66 322 106 169 326 145 343 10 305 48 130 291 69 364 286 279 184 56 320
t 105 65 220 58 354 210 196 338 5 251 78 71 361 92 258 125 188 104 77 267 14 199 287 69 263 284 241 242 7 30 54 225 46 181 3 201 102 290 48 50 326 17 132 352 283 107 278 198 36 134 277 39 113 62 215 343 298 234 141 261 25 79 229 319 169 140 270 231 56 279 218 144 246 126 118 254 276 315 332 139 18 10 204 317 291 138 148 150 136 310 63 182 335 35 186 175 19 214 90 273 89 325 119 286 324 303 348 59 130 133 143 16 85 174 212 47 1 330 145
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 03:59:12 2023]