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