Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_min3sat_c70v350l3_clq1-c2mv70c350l3g13.wcnf
Job file: /home/maxsat/benchmarks/pms_random/min3sat/c70v350l3/clq1-c2mv70c350l3g13.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
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
c 31893 branches 78962 propagates
c total generalized unit propagation = 142184, success = 22.28%
s OPTIMUM FOUND
c Optimal Solution = 46
v -54 84 -249 350 70 -157 22 -63 79 -89 56 -93 -210 264 323 -328 -15 -37 -329 40 -169 -68 97 -75 -98 289 -3 18 -111 -38 -165 259 82 -201 -282 -154 242 -275 -107 -138 236 -6 -220 -14 -234 21 -214 -215 -27 -269 304 -35 -46 -62 -69 -92 -178 104 -116 -267 -283 326 117 -166 -190 -41 127 -11 193 206 -319 -12 -186 237 19 -278 -96 -246 296 32 -317 -45 -87 -251 66 -118 -333 229 -232 -271 -168 320 -339 -1 2 -348 -23 286 -77 -173 -290 140 -272 -300 145 -241 -13 -112 150 -136 -183 239 -124 -164 301 -106 -250 338 47 -311 61 -114 -218 -265 4 -198 -335 -59 -305 156 -226 108 -170 -274 344 285 -308 -64 -252 295 -86 341 -123 -126 -291 309 -316 74 -181 -314 196 -268 -270 -81 223 26 -254 -258 -194 284 -24 200 -303 109 -199 -222 -158 175 287 -322 -141 -151 -188 121 -191 -99 192 -205 -25 334 -110 276 -294 49 -51 -298 -9 85 -120 131 159 -204 -225 240 -332 -58 -153 256 -128 288 -260 -349 -67 318 -91 139 -155 10 -299 -307 -34 -163 -342 -100 313 -31 244 44 -103 -302 101 -179 -137 -209 324 -180 -257 340 143 -211 -160 238 -261 310 16 -122 -212 -336 -28 -36 -327 174 -245 -130 330 -20 -50 -315 -60 -345 -148 -203 -266 -39 -219 -292 -147 152 -273 -55 -71 -331 -65 227 132 -263 -142 208 -83 -119 -172 -297 -195 -233 161 -197 -243 -5 -42 -187 280 -113 -346 -52 -146 216 129 -202 -230 -7 -277 76 -177 -189 -253 125 -279 8 -281 -33 -255 -17 -78 -217 115 -144 -207 -102 -325 176 -321 -94 -171 48 -135 -30 231 -167 -337 -43 -247 -72 -90 -262 -80 -248 -149 -162 -105 -347 -88 -213 -133 -185 -221 224 -57 -293 -53 -182 -95 -235 -184 -29 -134 343 -228 -306 -73 312
173.095u 0.010s 2:54.77 99.0%	0+0k 0+0io 6pf+0w