#BEGIN: [Thu Aug 31 00:11:44 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/power/hc-power-019-002.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/power/hc-power-019-002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/power/hc-power-019-002.col /benchmark/2022benchmark/benchmark/power/hc-power-019-002_01.dat
c /benchmark/2022benchmark/benchmark/power/hc-power-019-002.col
c /benchmark/2022benchmark/benchmark/power/hc-power-019-002_01.dat
TIMEOUT 1800
c send SIGTERM to CID acdc31b145bae3136fc209808722b893c648191117a46114ba4e86d6bc716c2e
s 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 46 49 51 54 56 59 61 64 66 69 71 74 76 79 81 84 86 89 91 94 96 99 101 104 106 109 111 114 116 119 121 124 126 129 131 134 136 139 141 144 146 149 151 154 156 159 161 164 166 169 171 174 176 179 181 184 186 189 191 194 196 199 201 204 206 209 211 214 216 219 221 224 226 229 231 234 236 239 241 244 246 249 251 254 256 259 261 264 266 269 271 274 276 279 281 284 286 289
t 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 46 49 51 54 56 59 61 64 66 69 71 74 76 79 81 84 86 89 91 94 96 99 101 104 106 109 111 114 116 119 121 124 126 129 131 134 136 139 141 144 146 149 151 154 156 159 161 164 166 169 171 174 176 179 181 184 186 189 191 194 196 199 201 204 206 209 211 214 216 219 221 224 226 229 231 234 236 239 241 244 246 249 251 254 256 259 261 264 266 269 271 274 277 278 282 283 287 288
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 00:41:44 2023]