#BEGIN: [Tue Sep  5 08:54:08 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph002_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_instance022_graph002.col /benchmark/random_instance/random_instance022_graph002_01.dat
c /benchmark/random_instance/random_instance022_graph002.col
c /benchmark/random_instance/random_instance022_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 71e02a4fc942fa2c60443896c739a653006700736070d50976328c788e16278c
s 22 65 135 127 206 74 208 111 129 132 260 153 125 258 15 62 86 263 251 104 45 248 215 99 1 213 98 91 122 164 241 120 7 203 116 107 282 23 81 70 94 199 136 27 194 204 133 210 67 14 4 276 114 235 103 24 117 238 83 137 147 167 56 19 50 13 84 254 166 9 96 53 71 38 198 5 224 35 6 226 170 17 141 220 109 20 221 118 80 95 102 59 242 227 149
t 97 58 159 188 175 280 194 279 36 122 65 115 18 205 86 80 53 104 211 141 261 283 197 251 174 170 121 19 153 257 9 137 118 114 212 271 209 227 148 68 270 258 230 239 55 203 226 92 169 3 215 147 219 24 273 210 116 241 103 178 236 111 54 4 161 128 130 51 136 91 176 250 67 49 117 93 95 142 158 106 75 242 149 132 42 14 81 195 90 185 221 39 160 101 268
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:24:08 2023]