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