#BEGIN: [Wed Aug 30 23:50:40 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/power/hc-power-012-002.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/power/hc-power-012-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-012-002.col /benchmark/2022benchmark/benchmark/power/hc-power-012-002_01.dat
c /benchmark/2022benchmark/benchmark/power/hc-power-012-002.col
c /benchmark/2022benchmark/benchmark/power/hc-power-012-002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6d23450a0c5e7b35f5685a655e6f28fe6bf9089caffa43206efeacd6c6697fa5
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
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 172 173 177 178 182 183
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 00:20:40 2023]