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