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
o 1009
o 1008
o 993
o 992
o 986
o 983
o 978
o 976
o 975
o 974
o 968
o 966
o 963
o 961
o 952
o 949
o 946
o 944
o 936
o 934
o 931
o 930
o 924
o 922
o 920
o 919
o 914
o 911
o 909
o 906
o 899
o 893
o 892
o 891
o 890
o 889
o 883
o 879
o 877
c 3279 branches 2381 propagates
c total generalized unit propagation = 8826, success = 35.87%
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
21.593u 0.003s 0:21.73 99.3%	0+0k 0+0io 0pf+0w