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_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_ls/akmaxsat_ls
c initialized bestCost to 3
o 3
c 1196 branches 768 propagates
c total generalized unit propagation = 3161, success = 37.87%
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
1.008u 0.004s 0:01.01 99.0%	0+0k 0+0io 0pf+0w