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