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_lo_file_rwms_wcnf_L3_V70_C500_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C500_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 51
o 51
c 3719 branches 133 propagates
c total generalized unit propagation = 7570, success = 49.11%
s OPTIMUM FOUND
c Optimal Solution = 51
v -28 -1 60 -45 -57 66 -43 -10 40 -27 -48 18 -47 8 -58 50 -55 -39 -36 46 -37 33 70 -64 17 68 5 16 -62 -61 -69 23 -2 -15 56 -11 49 20 -9 44 -35 12 -31 7 63 -19 -29 65 54 14 42 -59 6 26 34 -41 53 25 30 32 38 -22 -3 51 -24 -13 67 -52 21 4
3.577u 0.006s 0:03.61 98.8%	0+0k 0+0io 0pf+0w