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