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_s2v100c1400_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1400_5.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 100 1371 0
WARNING: Ubcsat not found.
o 7429
o 1231
o 1229
o 1224
o 1222
o 1218
o 1214
o 1212
o 1208
o 1207
o 1203
o 1191
o 1188
o 1184
o 1182
o 1181
o 1180
o 1178
o 1176
o 1173
o 1172
o 1171
o 1170
o 1169
o 1168
o 1167
o 1166
o 1165
o 1162
o 1160
o 1157
o 1156
o 1151
o 1150
o 1148
o 1146
o 1144
o 1139
o 1138
o 1137
o 1135
o 1130
o 1129
o 1126
o 1125
o 1123
o 1121
o 1120
o 1119
o 1114
o 1110
o 1107
o 1103
o 1098
o 1095
o 1091
o 1087
o 1084
o 1082
o 1079
o 1077
o 1076
o 1072
o 1069
o 1068
o 1063
o 1062
o 1058
o 1057
o 1055
o 1053
o 1052
o 1050
o 1049
o 1048
o 1047
o 1046
o 1044
o 1042
o 1040
o 1039
o 1031
o 1028
o 1024
o 1023
o 1020
o 1018
c Learned clauses = 0
c NB_MONO= 496, NB_BRANCHE= 30225, NB_BACK= 15138 
s OPTIMUM FOUND
c Optimal Solution = 1018
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
163.978u 0.012s 2:44.17 99.8%	0+0k 0+0io 0pf+0w