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_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 900
o 898
o 896
o 894
o 892
o 890
o 889
o 887
o 880
o 877
o 874
o 872
o 871
o 869
o 866
o 863
o 862
o 861
o 858
o 855
o 854
o 848
o 847
o 846
o 841
o 838
o 836
o 834
o 832
o 831
o 830
o 829
o 828
o 827
o 826
o 825
o 824
o 818
o 816
o 815
o 812
o 811
o 808
o 807
o 805
o 803
o 800
o 798
o 797
o 795
o 792
o 787
o 781
o 779
o 776
o 774
c 2386 branches 2890 propagates
c total generalized unit propagation = 7522, success = 29.86%
s OPTIMUM FOUND
c Optimal Solution = 774
v 1 -3 -4 5 7 -13 17 19 -26 -28 36 38 -53 54 61 -62 64 65 73 76 78 -80 -85 -90 -93 -96 97 100 -2 -18 -30 -40 -52 63 -70 74 75 -87 -89 -91 99 6 8 -22 24 -47 51 -60 66 -67 -69 -71 79 82 92 -94 9 -11 -15 16 -25 27 -32 42 -46 -55 -56 -57 59 72 -81 -20 -31 -37 -39 41 83 -84 -98 14 -23 35 43 -44 -49 -86 88 10 -29 -34 48 -58 -95 -50 21 68 77 12 33 -45
12.660u 0.002s 0:12.67 99.9%	0+0k 0+0io 0pf+0w