#BEGIN: [Wed Sep 13 21:54:42 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance007.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance007_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/exp_instance/LGC_exp_instance007.col /benchmark/exp_instance/LGC_exp_instance007_01.dat
c /benchmark/exp_instance/LGC_exp_instance007.col
c /benchmark/exp_instance/LGC_exp_instance007_01.dat
TIMEOUT 1800
c send SIGTERM to CID 14ddf9f3c360cb22bfd5edca0b2144956dbe30b12512f3fd756e74bdceb1bb8d
s 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 93 95 97 98 100 102 105 107 109 110 112 114 117 119 121 122 124 126 129 131 133 134 136 138 141 143 145 146 148 150 153 155 157 158 160 162 165 167 169 170 172 174 177 179 181 182 184 186 189 191 193 194 196 198 201 203 205 206 208 210 213 215 217 218 220 222 225 227 229 230 232 234 237 239 241 242 244 246 249 251 253 254 256 258 261 263 265 266 268 270 273 275 277 278 280 282 285 287 289 290 292 294 297 299 301 302 304 306 309 311 313 314 316 318 321 323 325 326 328 330 333 335 337 338 340 342
t 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 80 81 84 86 88 90 93 95 97 98 100 102 105 107 109 110 112 114 117 119 121 122 124 126 129 131 133 134 136 138 141 143 145 146 148 150 153 155 157 158 160 162 165 167 169 170 172 174 177 179 181 182 184 186 189 191 193 194 196 198 201 203 205 206 208 210 213 215 217 218 220 222 225 227 229 230 232 234 237 239 241 242 244 246 249 251 253 254 256 258 261 263 265 266 268 270 273 275 277 278 280 282 285 287 289 290 292 294 297 299 301 302 304 306 309 311 313 314 316 318 321 323 325 326 328 330 333 335 337 338 340 342
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 22:24:42 2023]