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