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_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 749
o 1101
o 1098
o 1090
o 1089
o 1087
o 1085
o 1081
o 1075
o 1072
o 1071
o 1069
o 1064
o 1057
o 1047
o 1041
o 1036
o 1031
o 1030
o 1029
o 1022
o 1020
o 1014
o 1011
o 1009
o 1003
o 999
o 996
o 995
o 992
o 989
o 986
o 983
o 979
o 978
o 969
o 966
o 965
o 961
o 960
o 958
o 954
o 951
o 947
o 945
o 944
o 942
o 935
o 934
o 930
c 3554 branches 2626 propagates
c total generalized unit propagation = 8160, success = 41.41%
s OPTIMUM FOUND
c Optimal Solution = 930
v 1 6 -7 9 12 20 -22 -26 30 -34 -39 -40 -43 46 50 -66 67 70 -72 85 -86 -87 92 -2 11 -24 27 28 42 -48 -49 -53 56 -59 60 65 68 71 77 80 81 -82 83 -88 99 -3 -8 -13 -14 -15 -23 35 -38 -55 -75 89 90 -91 -95 -100 -4 -33 -61 -63 -64 76 96 -97 -5 -32 54 -62 73 78 17 -25 45 -57 -74 10 -16 18 21 52 98 29 37 69 79 19 41 -47 -94 84 -31 -44 -51 58 -36 93
20.854u 0.004s 0:20.86 99.9%	0+0k 0+0io 0pf+0w