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