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