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