Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1300_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 788
o 1068
o 1065
o 1064
o 1060
o 1059
o 1057
o 1053
o 1051
o 1046
o 1045
o 1040
o 1037
o 1036
o 1035
o 1020
o 1015
o 1012
o 1007
o 1006
o 995
o 993
o 992
o 990
o 988
o 986
o 981
o 978
o 976
o 972
o 971
c 1722 branches 1514 propagates
c total generalized unit propagation = 3973, success = 40.47%
s OPTIMUM FOUND
c Optimal Solution = 971
v 1 3 5 9 -11 17 18 21 -24 28 -29 -34 -35 -36 -38 41 -50 51 -59 65 -73 75 -76 -82 83 84 -92 4 -2 10 25 -30 -32 42 -46 -52 53 56 57 -60 -61 -79 86 -89 91 -6 7 -8 22 -33 39 -45 -62 -66 -71 -72 78 94 -95 -97 27 -43 -48 -55 70 74 -85 -90 96 -31 44 54 64 68 93 -12 -15 -40 -67 -80 98 19 20 -26 -47 58 87 -99 63 81 -100 16 -69 88 -23 -49 13 -14 77 -37
11.118u 0.002s 0:11.20 99.1%	0+0k 0+0io 0pf+0w