#BEGIN: [Mon Sep  4 19:10:20 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance026_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance026_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance026_graph002.col /benchmark/random_instance/random_instance026_graph002_01.dat
c /benchmark/random_instance/random_instance026_graph002.col
c /benchmark/random_instance/random_instance026_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID f6a138599d9df3cf4295a09c643d5a65eafb9659ab109332ce27ebd30a7980e2
s 193 254 333 280 135 164 24 248 60 298 208 299 336 244 163 286 77 23 160 241 168 215 205 50 55 318 176 266 149 251 113 61 274 199 322 272 142 221 143 326 267 87 271 13 335 228 154 110 227 66 277 117 288 16 179 204 304 2 178 97 82 140 11 181 186 104 219 217 332 211 8 265 281 297 52 134 291 338 124 232 182 157 150 319 294 58 53 194 209 305 302 195 321 287 72 130 237 126 307 133 273 118 220 112 127 315 317 22 309
t 228 129 322 51 91 140 36 181 85 141 111 306 158 260 121 87 164 166 62 127 109 330 224 107 310 229 219 89 46 332 279 61 261 31 180 318 187 115 263 60 149 182 291 248 184 157 298 142 43 252 125 304 77 35 116 218 289 337 179 325 227 274 237 277 321 202 272 82 247 296 255 79 8 275 113 50 198 94 144 305 7 220 117 297 81 197 28 265 171 236 133 193 137 195 153 45 302 307 41 206 112 143 23 58 118 56 186 300 259
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:40:21 2023]