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