Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_crafted-_home_maxsat_benchmarks_pms_crafted_min-enc_kbtree_kbtree9_7_3_5_40_3.wcsp.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3
o 72
o 71
o 70
o 69
o 68
o 67
o 66
o 65
o 64
o 63
o 62
o 61
o 60
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
o 48
o 47
o 46
o 45
o 44
o 43
o 42
o 41
o 40
o 39
o 38
o 37
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
o 28
o 27
o 26
o 25
o 24
o 23
o 22
c 963649 branches 7653745 propagates
c total generalized unit propagation = 1927059, success = 49.99%
s OPTIMUM FOUND
c Optimal Solution = 22
v -1 2 -3 -4 -5 -6 7 -8 -9 -10 11 -12 -13 -14 -15 -16 -17 -18 19 -20 -21 22 -23 -24 -25 -26 -27 28 -29 -30 31 -32 -33 -34 -35 36 -37 -38 -39 -40 41 -42 -43 -44 -45 -46 -47 48 -49 -50 51 -52 -53 -54 -55 -56 -57 -58 -59 60 -61 62 -63 -64 -65 -66 -67 -68 69 -70 -71 -72 73 -74 -75 -76 -77 78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 94 -95 -96 -97 98 -99 -100 101 -102 -103 -104 -105 -106 -107 -108 109 -110 -111 -112 -113 -114 115 116 -117 -118 -119 -120 -121 -122 123 -124 -125 126 -127 -128 -129 -130 131 -132 -133 -134 -135 -136 -137 -138 139 -140 142 -143 -144 -145 147 -148 -149 -150 -152 -153 -154 -155 157 158 159 -160 162 -163 -164 -165 167 168 -169 -170 -172 -173 -174 -175 -177 -178 -179 -180 -182 -183 -184 -185 187 188 -189 -190 -192 -193 -194 -195 197 198 199 200 202 -203 -204 -205 207 208 209 -210 212 213 -214 -215 217 218 -219 -220 222 -223 -224 -225 227 228 229 -230 232 233 234 -235 237 238 -239 -240 -242 -243 -244 -245 247 248 249 -250 252 253 254 255 -257 -258 -259 -260 262 263 -264 -265 -267 -268 -269 -270 -272 -273 -274 -275 277 278 279 -280 141 146 151 156 161 166 171 176 181 186 191 196 201 206 211 216 221 226 231 236 241 246 251 256 261 266 271 276
1520.590u 0.446s 25:28.37 99.5%	0+0k 0+0io 0pf+0w