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
o 1033
o 1027
o 1024
o 1020
o 1016
o 1013
o 1004
o 1002
o 999
o 997
o 996
o 993
o 991
o 989
o 988
o 985
o 983
o 981
o 979
o 975
o 973
o 969
o 968
o 961
o 956
o 954
o 950
o 948
o 944
o 943
o 942
o 934
o 932
o 931
o 928
o 923
o 921
o 916
o 915
o 914
o 910
o 908
o 903
o 900
o 897
o 893
o 885
o 884
o 879
o 877
o 876
o 874
o 872
o 869
o 868
o 865
c 3167 branches 3082 propagates
c total generalized unit propagation = 9255, success = 32.48%
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
18.233u 0.000s 0:18.35 99.3%	0+0k 0+0io 0pf+0w