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
c first lower bound: 623
o 935
o 933
o 932
o 927
o 926
o 920
o 917
o 916
o 915
o 914
o 912
o 907
o 904
o 903
o 902
o 901
o 900
o 899
o 896
o 894
o 893
o 892
o 891
o 888
o 885
o 884
o 881
o 874
o 872
o 871
o 869
o 867
o 866
o 864
o 863
o 862
o 861
o 856
o 855
o 853
o 852
o 850
o 847
o 844
o 841
o 839
o 833
o 832
o 831
o 829
o 824
o 823
o 822
o 821
o 815
o 812
o 810
o 809
o 804
o 798
o 797
o 795
o 787
o 781
o 779
o 776
o 774
c 1997 branches 4414 propagates
c total generalized unit propagation = 5426, success = 32.14%
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
8.521u 0.003s 0:08.55 99.6%	0+0k 0+0io 0pf+0w