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_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 698
o 1006
o 1003
o 994
o 990
o 985
o 982
o 975
o 973
o 972
o 967
o 966
o 963
o 962
o 961
o 957
o 954
o 950
o 945
o 943
o 932
o 926
o 925
o 923
o 921
o 920
o 915
o 914
o 910
o 908
o 904
o 899
o 897
o 895
o 888
o 886
o 884
o 879
o 878
o 877
o 876
o 872
o 869
o 868
o 865
c 2355 branches 3413 propagates
c total generalized unit propagation = 5979, success = 36.68%
s OPTIMUM FOUND
c Optimal Solution = 865
v 1 2 -4 -8 14 21 27 33 37 39 -41 -48 54 -59 -62 68 74 75 -76 -77 -84 88 -96 100 -6 -10 -16 17 -20 -23 -25 -28 42 44 51 -57 -61 65 -71 87 -89 -91 92 5 3 -13 -29 -35 36 53 -64 66 83 -9 12 15 24 31 34 38 55 -79 81 -7 22 46 -50 -63 73 82 26 49 -58 -67 93 -30 -70 -90 99 -19 -45 -47 -52 -32 -40 -78 -94 -11 -18 -43 -60 -72 -97 80 85 -95 -69 56 -98 86
11.404u 0.001s 0:11.43 99.7%	0+0k 0+0io 0pf+0w