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