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_7.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 719
o 1060
o 1056
o 1054
o 1050
o 1045
o 1042
o 1032
o 1031
o 1030
o 1027
o 1026
o 1024
o 1013
o 1010
o 1006
o 1005
o 1004
o 1003
o 997
o 993
o 992
o 989
o 986
o 985
o 984
o 978
o 975
o 970
o 968
o 967
o 965
o 964
o 962
o 956
o 951
o 949
o 947
o 945
o 943
o 940
o 937
o 934
o 931
o 930
o 929
o 925
o 924
o 922
o 919
o 918
o 916
o 914
o 905
o 899
o 896
o 895
o 892
o 891
o 889
o 887
o 884
o 880
o 879
o 878
o 877
c 2812 branches 4281 propagates
c total generalized unit propagation = 7077, success = 36.81%
s OPTIMUM FOUND
c Optimal Solution = 877
v -3 1 -6 9 10 -11 12 18 -29 33 38 39 -40 42 -48 50 52 58 -61 -63 -64 67 73 -78 -83 89 92 -96 2 13 15 30 31 34 35 37 45 -51 60 -65 -72 77 79 -81 -84 94 -95 -97 -98 100 16 23 -32 -36 -41 54 -55 57 4 14 -19 24 -28 -44 -66 -71 75 87 -90 93 5 22 26 49 -53 82 -85 -99 47 59 -76 -91 7 -21 88 8 20 43 -70 80 17 68 69 -86 46 74 25 62 -56 -27
14.144u 0.003s 0:14.15 99.9%	0+0k 0+0io 0pf+0w