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