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_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/akmaxsat
c first lower bound: 0
o 30
o 29
o 27
o 26
o 25
o 24
o 23
o 22
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
c 20393 branches 29587 propagates
c total generalized unit propagation = 43417, success = 46.75%
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
10.373u 0.000s 0:10.37 100.0%	0+0k 0+0io 0pf+0w