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_0.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C400_H100_0.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 85 54 5 91 -61 -75 -46 69 73 -100 -55 7 9 -13 23 93 -51 -99 -57 39 87 52 8 -18 41 31 -90 59 56 95 21 6 -80 -29 48 82 -98 67 16 96 -77 -64 -58 -66 -79 44 -35 -94 86 -68 25 -3 43 42 -37 -83 -15 -32 -89 71 -30 11 28 12 62 -19 78 47 -33 -17 53 -49 63 -60 -10 -84 -45 -20 2 26 -70 81 -72 -40 -50 65 -24 14 88 -22 -74 34 -97 36 4 -76 27 92 -1 -38
0.021u 0.004s 0:00.03 66.6%	0+0k 0+0io 0pf+0w