Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C700_H100_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C700_H100_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 12
o 12
c first lower bound: 0
c 41336 branches 58869 propagates
c total generalized unit propagation = 85151, success = 48.55%
s OPTIMUM FOUND
c Optimal Solution = 12
v -99 -58 -85 -83 -47 -72 -91 -81 23 -82 -27 17 -71 48 -89 -84 -12 -53 33 90 -41 -77 -28 6 -66 -30 -36 68 5 -65 -22 45 50 64 -54 1 55 42 -78 37 -10 56 93 16 -15 -75 -80 -61 -46 -97 25 -88 -74 44 -62 73 -11 94 -4 100 -24 2 43 -29 60 -52 -87 -86 -57 92 -35 -31 -76 34 13 -32 -51 -7 49 98 -95 40 -21 -20 -69 63 -38 -19 79 -14 8 -18 59 -26 9 39 -96 3 -67 -70
24.390u 0.013s 0:24.50 99.5%	0+0k 0+0io 0pf+0w