Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 25
o 24
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
o 13
o 12
o 11
o 10
o 9
o 8
o 7
c 7537 branches 12872 propagates
c total generalized unit propagation = 16081, success = 46.42%
s OPTIMUM FOUND
c Optimal Solution = 7
v 28 -30 -78 -76 -77 -45 17 -40 85 19 94 68 10 25 -44 -39 4 -35 3 -57 -60 22 6 51 -97 -65 52 -7 -71 -62 -50 -81 66 47 55 -90 -42 -54 9 -73 67 75 18 -23 95 43 84 -83 96 98 -82 -49 36 53 80 -5 93 100 -31 74 -27 12 15 -87 -32 21 -61 -1 69 63 20 26 70 -79 92 -11 58 -2 88 48 8 -16 37 -72 -34 -89 59 -56 -46 33 24 -91 -99 64 29 -14 -38 -13 41 86
3.477u 0.001s 0:03.48 99.7%	0+0k 0+0io 0pf+0w