#BEGIN: [Tue Sep  5 09:01:41 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph004_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_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat
c /benchmark/random_instance/random_instance024_graph004.col
c /benchmark/random_instance/random_instance024_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 0cc9ccc5d35ce6b0f0be7aa1a1293a9c6896f5912a58a4fb4f5ffe03bf04ea63
s 165 112 255 51 251 68 57 188 261 180 89 98 249 198 237 92 96 158 286 303 137 65 227 222 147 293 64 207 90 20 102 109 156 94 281 32 108 122 238 86 95 213 242 206 103 186 78 235 45 182 100 61 265 74 302 194 60 15 226 267 16 41 148 231 216 248 163 215 43 28 11 284 181 285 1 166 294 152 87 169 38 311 3 97 279 155 10 197 127 297 66 118 44 54 58 140 62 111 288 247 121
t 138 59 277 2 84 263 147 189 159 38 164 148 92 187 96 43 303 244 168 103 140 237 122 202 47 15 6 195 113 141 207 41 201 193 300 214 143 17 210 285 281 163 191 10 61 98 310 86 293 179 11 239 205 305 49 107 94 190 57 101 97 169 269 160 54 215 149 276 116 246 229 200 311 309 66 87 180 52 144 154 302 192 216 308 167 18 24 129 60 228 95 194 185 120 297 28 81 220 284 221 14
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep  5 09:31:41 2023]