Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_depot01cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/depot01cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2142
c 33 branches 1055 propagates
c total generalized unit propagation = 10, success = 90.00%
s OPTIMUM FOUND
c Optimal Solution = 2142
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 141 142 -143 -144 145 146 -147 148 -149 150 -151 152 -153 154 -155 -156 157 158 -159 160 -161 162 -163 164 -165 -166 167 168 -169 170 -171 -172 173 175 -176 178 -179 181 -182 184 186 -187 -189 -190 192 -193 -195 -196 198 -199 201 202 203 -205 -206 -207 209 210 211 -213 -214 -216 -217 219 221 -222 -223 -224 -226 -227 -228 230 -232 -233 -235 -237 -239 241 -243 245 -247 -249 -250 -252 -253 255 -256 258 -259 -260 -262 -263 -264 266 -267 -268 -270 -271 -272 -274 -275 -277 -278 280 282 283 -284 -285 -287 -288 -289 -291 -292 -293 295 -297 -298 300 -302 -304 -306 308 310 312 314 -316 318 -320 -322 -324 -326 -328 330 -332 -334 -336 -338 340 -342 -344 346 174 177 180 183 185 188 191 194 197 200 204 208 212 215 218 220 225 229 231 234 236 238 240 242 244 246 248 251 254 257 261 265 269 273 276 279 281 286 290 294 296 299 301 303 305 307 309 311 313 315 317 319 321 323 325 327 329 331 333 335 337 339 341 343 345
0.014u 0.002s 0:00.03 33.3%	0+0k 0+0io 0pf+0w