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