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_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_ls/akmaxsat_ls
c initialized bestCost to 2
o 2
c 373 branches 204 propagates
c total generalized unit propagation = 950, success = 39.26%
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
0.417u 0.006s 0:00.43 95.3%	0+0k 0+0io 0pf+0w