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