#BEGIN: [Wed Sep 13 23:06:42 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/exp_instance/SAT_exp_instance016.col
#INSTANCE2: /benchmark/exp_instance/SAT_exp_instance016_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/exp_instance/SAT_exp_instance016.col /benchmark/exp_instance/SAT_exp_instance016_01.dat
c /benchmark/exp_instance/SAT_exp_instance016.col
c /benchmark/exp_instance/SAT_exp_instance016_01.dat
TIMEOUT 1800
c send SIGTERM to CID 726aec8b36e6d0017e0990f8ba864a6874a4d050c3db190d22255d80ac36e87b
s 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 33 35 38 41 43 46 49 52 55 57 60 63 66 69 72 75 77 80 83 86 89 92 95 98 101 103 106 109 112 115 118 121 124 127 130 133 135 138 141 144 147 150 153 156 159 162 165 168 171 173 176 179 182 185 188 191 194 197 200 203 206 209 212 215
t 2 4 6 8 10 12 14 16 18 20 22 24 26 28 29 31 33 35 38 41 43 46 49 52 55 57 60 63 66 69 72 75 77 80 83 86 89 92 95 98 101 103 106 109 112 115 118 121 124 127 130 133 135 138 141 144 147 150 153 156 159 162 165 168 171 174 175 178 181 184 187 190 193 196 199 202 205 208 211 214
c UNKNOWN
c REACHABILITY UNKNOWN
#END: [Wed Sep 13 23:36:43 2023]