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_120v_s2v120c1400_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 822
o 1147
o 1141
o 1140
o 1139
o 1135
o 1134
o 1133
o 1132
o 1131
o 1121
o 1117
o 1115
o 1113
o 1111
o 1110
o 1108
o 1106
o 1105
o 1104
o 1102
o 1100
o 1099
o 1098
o 1097
o 1095
o 1094
o 1089
o 1088
o 1087
o 1085
o 1082
o 1080
o 1079
o 1077
o 1076
o 1075
o 1074
o 1072
o 1071
o 1067
o 1066
o 1065
o 1064
o 1063
o 1061
o 1057
o 1055
o 1051
o 1049
o 1047
o 1046
o 1038
o 1032
o 1031
o 1029
o 1025
c 7499 branches 4226 propagates
c total generalized unit propagation = 16958, success = 43.15%
s OPTIMUM FOUND
c Optimal Solution = 1025
v -120 -116 118 115 111 -113 -108 -107 -117 106 105 104 112 -103 -101 -100 -99 -98 -97 96 -95 94 114 93 -102 92 91 -89 -88 110 -87 -109 119 -86 85 84 90 83 -82 -81 -80 79 78 77 -76 -75 74 -73 72 -71 -70 -69 68 -67 -66 -65 -64 63 -62 61 -60 -59 -58 57 56 55 54 53 52 -51 50 49 48 47 -46 -45 -44 -43 -42 -41 40 -39 -38 -37 -36 -35 34 -33 -32 -31 -30 29 -28 -27 -26 25 -24 23 -22 21 20 -19 18 -17 16 -15 14 13 12 -11 -10 -9 8 7 6 5 -4 -3 2 -1
50.331u 0.005s 0:50.66 99.3%	0+0k 0+0io 0pf+0w