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_lo_file_rpms_wcnf_L3_V100_C500_H100_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C500_H100_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 4
o 4
c 3071 branches 2221 propagates
c total generalized unit propagation = 8364, success = 36.73%
s OPTIMUM FOUND
c Optimal Solution = 4
v -9 7 99 -76 -33 -82 -75 -62 -67 93 -41 -95 53 -16 -60 -94 -81 61 -57 37 -48 -66 -1 -13 -36 50 89 64 59 28 -14 -2 23 46 70 55 31 -11 -25 -39 -56 -80 -51 -34 18 -85 97 40 -20 17 -58 87 -30 43 -77 -98 4 44 15 72 38 27 26 12 -78 71 -22 86 83 -52 54 84 -65 -6 88 -32 -49 8 -3 35 63 45 -69 90 100 -19 -42 -74 -79 91 10 -92 -96 -73 -5 -68 -21 47 24 29
2.290u 0.007s 0:02.31 99.1%	0+0k 0+0io 0pf+0w