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_140v_s2v140c1500_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1500_8.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 140 1500 0
WARNING: Ubcsat not found.
o 8203
o 1145
o 1143
o 1142
o 1141
o 1139
o 1138
o 1137
o 1134
o 1133
o 1132
o 1130
o 1129
o 1125
o 1124
o 1123
o 1121
o 1120
o 1119
o 1117
o 1115
o 1112
o 1108
o 1106
o 1103
o 1102
o 1098
o 1097
o 1096
o 1095
o 1094
o 1091
o 1090
o 1088
o 1086
o 1083
o 1080
o 1079
o 1077
o 1075
o 1073
o 1071
o 1070
o 1069
o 1068
o 1067
o 1062
o 1061
o 1059
o 1058
o 1055
o 1054
o 1050
o 1049
o 1047
o 1045
c Learned clauses = 0
c NB_MONO= 524, NB_BRANCHE= 105351, NB_BACK= 52681 
s OPTIMUM FOUND
c Optimal Solution = 1045
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 121 -122 123 124 125 126 127 128 129 130 -131 132 133 134 135 -136 -137 -138 -139 -140 0
649.575u 0.026s 10:50.36 99.8%	0+0k 0+0io 0pf+0w