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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_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.082u 0.003s 0:00.09 88.8%	0+0k 0+0io 0pf+0w