Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-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-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 100 1462 0
WARNING: Ubcsat not found.
o 7988
o 1247
o 1244
o 1241
o 1240
o 1237
o 1236
o 1235
o 1234
o 1230
o 1228
o 1227
o 1226
o 1225
o 1224
o 1223
o 1218
o 1217
o 1216
o 1215
o 1209
o 1208
o 1206
o 1202
o 1200
o 1193
o 1191
o 1189
o 1187
o 1186
o 1185
o 1184
o 1182
o 1181
o 1178
o 1176
o 1175
o 1173
o 1172
o 1171
o 1170
o 1168
o 1166
o 1165
o 1164
o 1162
o 1160
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= 324, NB_BRANCHE= 52873, NB_BACK= 26452 
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.147u 0.011s 5:05.73 99.4%	0+0k 0+0io 0pf+0w