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