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