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