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