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