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