#BEGIN: [Thu Aug 31 10:39:06 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/power/hc-power-013-002.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/power/hc-power-013-002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/power/hc-power-013-002.col /benchmark/2022benchmark/benchmark/power/hc-power-013-002_01.dat
c /benchmark/2022benchmark/benchmark/power/hc-power-013-002.col
c /benchmark/2022benchmark/benchmark/power/hc-power-013-002_01.dat
TIMEOUT 1800
c send SIGTERM to CID f9371a6af1d32afb1fa94dfa3b2f9627e0849682f86a3bb64c27c894a20b756e
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
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 187 188 192 193 197 198
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Thu Aug 31 11:09:06 2023]