#BEGIN: [Mon Sep  4 18:41:18 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance024_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance024_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_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat
c /benchmark/random_instance/random_instance024_graph002.col
c /benchmark/random_instance/random_instance024_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID be637db5687393fd20c2ccebbcb47454716e1362aa8f2576344458bd48e1228d
s 209 25 253 259 102 144 282 182 23 159 298 61 73 33 136 184 8 83 290 283 84 292 134 148 35 174 120 175 164 214 261 195 264 30 21 242 167 211 122 170 90 247 135 77 248 132 43 225 177 116 117 178 273 110 158 266 262 97 29 311 305 64 65 70 40 297 254 128 154 12 304 138 198 150 62 14 95 24 82 34 137 245 233 293 17 201 237 194 39 227 146 232 190 277 287 105 104 308 296 206 57 50
t 239 279 62 117 135 256 137 164 245 274 31 77 39 142 97 9 58 60 183 251 159 110 294 67 12 207 147 66 304 52 25 276 148 150 3 265 37 43 310 269 94 199 119 22 120 78 2 157 73 278 297 258 85 59 64 190 189 277 54 114 8 89 257 172 50 306 282 82 261 123 160 11 175 28 168 101 206 34 296 196 57 124 260 111 215 230 174 201 237 287 115 7 227 178 133 32 165 214 253 13 98 49
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Mon Sep  4 19:11:18 2023]