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