#BEGIN: [Wed Sep 13 23:40:13 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#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 -t4 /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 bba7293b1d827dc7a3780f550ea8e54f89f5ba945f3715c964a2bbba8acaeed0
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: [Thu Sep 14 00:10:13 2023]