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