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