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_s2v100c1200_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1037
o 1034
o 1033
o 1032
o 1027
o 1020
o 1019
o 1018
o 1012
o 1010
o 1002
o 1000
o 998
o 997
o 988
o 987
o 986
o 985
o 979
o 971
o 968
o 966
o 965
o 964
o 962
o 961
o 960
o 959
o 958
o 956
o 947
o 945
o 943
o 942
o 940
o 935
o 933
o 930
o 923
o 917
o 911
o 909
o 907
o 901
o 895
o 894
o 893
o 889
o 885
o 882
o 881
o 876
c 3209 branches 2350 propagates
c total generalized unit propagation = 8636, success = 35.63%
s OPTIMUM FOUND
c Optimal Solution = 876
v -4 1 -5 -8 9 16 -31 33 38 -44 -48 50 51 -56 -57 59 67 72 -75 -85 -87 95 99 2 -7 -11 -12 -17 -19 28 49 52 63 -69 -70 71 -77 78 -80 -84 89 -91 -3 6 -18 -20 37 -40 -53 -54 74 -83 -90 93 97 -14 -15 21 30 34 -42 -88 96 13 23 -25 -29 -36 -46 58 60 -76 86 92 35 41 47 62 64 -100 -39 22 -24 -43 -61 -65 66 79 82 -94 26 98 10 73 -32 -55 -81 27 68 -45
19.371u 0.008s 0:19.39 99.8%	0+0k 0+0io 0pf+0w