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