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_hi_file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 80
o 80
c 25648 branches 17964 propagates
c total generalized unit propagation = 69261, success = 37.03%
s OPTIMUM FOUND
c Optimal Solution = 80
v 60 -34 44 -65 23 76 -43 -69 88 31 95 85 38 58 99 -39 -86 17 14 89 91 74 -3 -97 -40 46 98 75 -2 93 -16 -8 1 100 -13 32 36 -18 -42 7 92 -68 77 -22 -90 -70 63 19 -55 -81 -47 41 48 -9 -96 -72 29 25 -20 4 11 -28 79 -80 82 -71 73 -57 -52 -66 -94 -78 -30 -64 -62 37 45 35 54 59 -56 61 -6 -87 49 24 -21 27 -12 15 67 -10 51 5 33 84 50 -83 26 53
75.581u 0.006s 1:16.15 99.2%	0+0k 0+0io 0pf+0w