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