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_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 869
o 1199
o 1194
o 1193
o 1192
o 1191
o 1189
o 1188
o 1186
o 1184
o 1183
o 1182
o 1179
o 1178
o 1176
o 1175
o 1172
o 1166
o 1165
o 1164
o 1163
o 1162
o 1161
o 1159
o 1155
o 1154
o 1153
o 1151
o 1150
o 1148
o 1147
o 1145
o 1144
o 1142
o 1139
o 1138
o 1137
o 1136
o 1134
o 1130
o 1127
o 1122
o 1119
o 1116
o 1115
o 1114
o 1112
o 1111
o 1110
o 1108
c 39301 branches 5419 propagates
c total generalized unit propagation = 81620, success = 47.98%
s OPTIMUM FOUND
c Optimal Solution = 1108
v 118 117 -114 115 -111 -112 108 107 116 -119 106 -109 105 110 102 -103 104 101 120 -100 -97 96 95 -94 99 -93 92 113 -91 -98 -90 -89 88 -87 86 -85 -84 -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
294.598u 0.000s 4:54.67 99.9%	0+0k 0+0io 0pf+0w