#BEGIN: [Tue Sep 26 04:23:30 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance028_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph001_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_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat
c /benchmark/random_instance/random_instance028_graph001.col
c /benchmark/random_instance/random_instance028_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 0e81cb746de7637d5689172b1d06314f826966c8cc88d141104e1a7066071787
s 149 83 106 6 119 18 101 240 273 269 216 214 75 158 154 138 77 285 233 170 319 55 35 176 72 94 243 188 85 126 15 353 65 9 268 111 27 213 215 185 321 205 324 7 137 44 36 306 174 143 63 110 354 91 102 40 64 262 340 328 275 232 344 265 86 187 121 161 247 339 172 5 88 89 358 291 164 263 71 69 207 312 192 209 30 274 97 218 256 107 79 21 212 282 278 169 24 252 168 302 3 150 62 33 338 76 341 296 239 31 183 279 57 241 112 90 180
t 276 158 193 62 64 199 6 204 222 270 307 40 228 299 216 194 246 26 88 121 55 213 348 226 248 122 24 258 56 59 328 95 289 51 74 71 323 277 35 240 207 315 302 215 161 249 47 17 100 124 93 296 308 341 331 319 234 282 116 141 358 224 69 112 262 281 247 274 155 152 169 154 20 76 63 279 275 176 298 340 57 350 361 9 150 191 27 144 312 126 73 90 119 33 42 174 30 101 125 18 220 19 265 201 149 168 13 159 223 146 45 338 138 334 29 21 99
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Tue Sep 26 04:53:31 2023]