Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1500_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1500_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 100 1462 0
WARNING: Ubcsat not found.
o 7988
o 1226
o 1223
o 1222
o 1213
o 1209
o 1206
o 1202
o 1199
o 1193
o 1192
o 1191
o 1187
o 1185
o 1184
o 1183
o 1182
o 1181
o 1180
o 1179
o 1178
o 1177
o 1173
o 1172
o 1171
o 1170
o 1168
o 1165
o 1163
o 1161
o 1160
o 1158
o 1157
o 1156
o 1155
o 1153
o 1152
o 1149
o 1144
o 1143
o 1141
o 1133
o 1128
o 1127
o 1125
c Learned clauses = 0
c NB_MONO= 247, NB_BRANCHE= 52423, NB_BACK= 26230 
s OPTIMUM FOUND
c Optimal Solution = 1125
v -1 2 -3 -4 5 -6 7 -8 -9 10 -11 -12 -13 -14 -15 16 -17 18 -19 -20 -21 -22 -23 24 -25 -26 27 -28 -29 30 31 32 33 34 35 -36 -37 -38 39 -40 -41 -42 -43 44 -45 -46 -47 48 49 50 51 -52 -53 54 -55 56 -57 -58 -59 -60 61 62 63 -64 -65 -66 67 -68 69 70 71 72 73 -74 75 -76 -77 78 -79 -80 81 -82 -83 84 -85 -86 87 88 -89 -90 -91 -92 -93 94 95 -96 97 98 99 100 0
304.205u 0.015s 5:05.40 99.6%	0+0k 0+0io 0pf+0w