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_120v_s2v120c1500_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1500_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 120 1500 0
WARNING: Ubcsat not found.
o 8294
o 1285
o 1283
o 1279
o 1276
o 1275
o 1273
o 1271
o 1268
o 1259
o 1255
o 1253
o 1252
o 1249
o 1241
o 1239
o 1233
o 1229
o 1225
o 1221
o 1220
o 1218
o 1216
o 1213
o 1211
o 1207
o 1202
o 1200
o 1199
o 1195
o 1193
o 1192
o 1188
o 1186
o 1185
o 1184
o 1182
o 1176
o 1175
o 1173
o 1172
o 1168
o 1165
o 1163
o 1162
o 1161
o 1158
o 1156
o 1153
o 1152
o 1151
o 1147
o 1146
o 1145
o 1144
o 1143
o 1142
o 1138
o 1136
c Learned clauses = 0
c NB_MONO= 535, NB_BRANCHE= 67369, NB_BACK= 33698 
s OPTIMUM FOUND
c Optimal Solution = 1136
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 -101 -102 -103 -104 -105 106 107 108 109 -110 111 -112 113 -114 -115 -116 117 118 -119 -120 0
423.327u 0.019s 7:05.07 99.5%	0+0k 0+0io 0pf+0w