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