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