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_s2v100c1400_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1400_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 837
o 1160
o 1153
o 1149
o 1148
o 1145
o 1139
o 1137
o 1134
o 1128
o 1125
o 1123
o 1096
o 1091
o 1088
o 1085
o 1083
o 1081
o 1077
o 1074
o 1072
o 1070
o 1069
o 1068
o 1064
o 1054
o 1052
o 1051
o 1050
o 1040
o 1038
o 1036
o 1032
o 1022
o 1012
o 1011
o 1010
o 1009
o 1004
o 997
c 1071 branches 3038 propagates
c total generalized unit propagation = 2826, success = 31.71%
s OPTIMUM FOUND
c Optimal Solution = 997
v -6 -1 -15 -20 -23 29 36 42 -48 -50 -51 54 -55 57 -60 64 67 68 -72 -75 -79 -81 -82 -84 -87 91 -95 99 9 2 10 12 -14 -16 -19 22 24 31 -34 37 41 -45 47 58 -62 65 -71 78 -80 -92 -93 98 -7 -3 17 21 -33 35 -39 -44 -46 59 63 -73 86 100 4 18 -25 -30 -32 -49 -69 77 -89 5 -13 27 -43 -52 -97 -40 61 66 88 -90 -94 -96 26 -76 -8 -28 -85 56 -53 74 11 -38 83 70
5.404u 0.006s 0:05.45 99.0%	0+0k 0+0io 1pf+0w