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