Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 7
o 7
c 3219 branches 2577 propagates
c total generalized unit propagation = 9016, success = 35.71%
s OPTIMUM FOUND
c Optimal Solution = 7
v 28 -30 -78 -76 -77 -45 17 -40 85 19 94 68 10 25 -44 -39 4 -35 3 -57 -60 22 6 51 -97 -65 52 -7 -71 -62 -50 -81 66 47 55 -90 -42 -54 9 -73 67 75 18 -23 95 43 84 -83 96 98 -82 -49 36 53 80 -5 93 100 -31 74 -27 12 15 -87 -32 -21 -61 -1 69 -63 20 26 70 -79 92 -11 58 -2 88 48 8 -16 37 -72 -34 -89 59 -56 -46 33 24 -91 -99 64 29 -14 -38 -13 41 86
3.022u 0.007s 0:03.05 99.0%	0+0k 0+0io 0pf+0w