#BEGIN: [Wed Sep 13 22:40:24 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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 7cb5a75d233ddc2e5596c3a3a801f4328c10302f4a00ba9dcd2782317147fd60
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 23:10:25 2023]