#BEGIN: [Tue Sep  5 08:54:52 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat
c /benchmark/random_instance/random_instance023_graph003.col
c /benchmark/random_instance/random_instance023_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 15865c5aa9c7719debc559cbb3a3b736b56b49e8b76f272e617cd46179f9739d
s 116 95 126 46 203 241 56 181 244 191 62 109 258 153 51 1 187 160 80 5 135 140 168 254 82 147 253 219 145 127 209 27 50 118 266 292 24 128 105 272 125 193 192 55 108 222 276 19 99 96 274 157 291 70 138 214 243 64 159 98 172 249 229 57 37 177 152 176 175 120 17 143 285 295 231 44 130 63 12 91 123 216 39 84 146 72 267 47 198 42 156 184 31 79 204 115
t 195 245 60 52 266 230 59 158 4 276 262 251 218 55 202 258 83 74 131 42 142 186 17 199 24 27 33 284 127 54 278 185 22 236 96 175 166 122 20 113 259 277 299 180 47 235 293 177 139 39 61 287 53 176 153 70 149 188 233 119 252 261 126 295 165 286 50 84 114 92 178 152 19 256 172 198 26 43 18 242 216 280 157 64 136 71 169 57 67 5 298 187 207 63 41 164
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:24:52 2023]