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