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