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