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_mprime03bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/mprime03bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 589
o 524
o 477
o 470
o 405
o 380
c 120 branches 987 propagates
c total generalized unit propagation = 771, success = 3.76%
s OPTIMUM FOUND
c Optimal Solution = 380
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 141 142 -143 -144 -145 147 -148 -149 151 -152 -153 -154 -155 -157 -159 -161 163 -165 -166 -167 -168 -169 -170 172 173 -174 -176 -177 -178 -179 -180 -181 -182 -183 -184 186 -187 -188 -190 192 -194 -195 -196 -198 -199 -201 203 -204 -205 -206 -207 -208 -210 212 -213 215 -217 -219 -221 -223 -224 -225 -227 -229 -231 -232 234 -236 238 -239 -240 -242 244 246 248 -250 -252 -254 256 258 260 262 264 266 268 270 -272 -274 276 -278 140 146 150 156 158 160 162 164 171 175 185 189 191 193 197 200 202 209 211 214 216 218 220 222 226 228 230 233 235 237 241 243 245 247 249 251 253 255 257 259 261 263 265 267 269 271 273 275 277
0.139u 0.002s 0:00.15 86.6%	0+0k 0+0io 0pf+0w