#BEGIN: [Mon Sep  4 18:41:14 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance023_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph005_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_instance023_graph005.col /benchmark/random_instance/random_instance023_graph005_01.dat
c /benchmark/random_instance/random_instance023_graph005.col
c /benchmark/random_instance/random_instance023_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID a1c736e5489ab27d9f937e8fb7ddc6d72d7d9128fc1b83a7b284716bc3b1d013
s 210 232 262 166 84 238 6 66 14 101 90 182 285 294 186 3 121 168 263 81 201 253 217 59 268 170 49 279 249 228 223 290 18 114 69 129 4 117 199 244 52 272 178 250 280 257 248 33 261 240 237 239 125 71 88 277 286 119 230 251 85 20 127 133 28 21 227 10 297 45 165 150 112 296 207 245 259 153 265 156 270 27 141 32 215 202 2 138 158 292 1 78 214 77 271 157 126
t 19 24 79 214 181 12 122 91 136 224 11 61 274 169 1 113 218 62 192 108 286 23 228 239 21 45 272 186 134 129 188 171 40 198 247 57 28 84 85 118 200 30 25 59 78 67 251 206 8 238 49 152 226 87 52 80 51 60 68 295 164 162 187 96 103 123 105 236 133 269 261 254 88 178 63 235 244 39 93 74 255 101 165 158 83 243 3 159 77 16 119 259 248 42 157 141 76
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:11:15 2023]