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