Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1300_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 962
o 962
c first lower bound: 754
c 2153 branches 93 propagates
c total generalized unit propagation = 4400, success = 48.95%
s OPTIMUM FOUND
c Optimal Solution = 962
v -1 3 15 -16 -17 21 23 -30 35 -46 56 -60 -64 -65 -66 -67 68 -69 74 76 -78 79 -86 88 2 6 -14 -29 31 -44 -47 48 -49 -50 -54 55 62 87 -89 97 99 4 5 7 24 -32 -37 57 71 72 83 93 19 22 25 33 39 -40 42 -59 63 77 92 -96 98 9 -11 -34 -41 43 51 53 -61 82 100 -13 26 -28 58 -73 81 -85 12 -84 8 91 94 -36 -80 -90 -95 -10 -27 -70 18 52 -20 38 45 -75
16.345u 0.002s 0:16.39 99.6%	0+0k 0+0io 0pf+0w