Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax3sat_hi_file_rwms_wcnf_L3_V70_C700_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C700_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 102
o 102
c first lower bound: 0
c 12247 branches 20 propagates
c total generalized unit propagation = 24515, success = 49.96%
s OPTIMUM FOUND
c Optimal Solution = 102
v 6 40 -63 -58 50 -56 -69 -10 -2 4 -44 -65 -23 43 -61 -53 51 66 62 52 22 -54 -15 -13 -14 60 27 19 12 3 39 45 -67 29 36 -17 55 -41 16 -26 -7 -42 -64 -59 -57 -30 -38 68 -47 21 35 -48 20 37 9 -70 18 46 -5 49 -1 11 -34 31 32 -28 -8 -33 -25 24
16.206u 0.008s 0:16.21 99.9%	0+0k 0+0io 0pf+0w