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_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1500_2.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 8133
o 1134
o 1129
o 1125
o 1123
o 1122
o 1121
o 1120
o 1119
o 1113
o 1112
o 1110
o 1108
o 1101
o 1097
o 1096
o 1093
o 1089
o 1083
o 1080
o 1078
o 1073
o 1071
o 1069
o 1066
o 1065
o 1064
o 1059
o 1058
o 1056
o 1051
o 1050
o 1048
o 1047
o 1046
o 1043
o 1041
o 1038
o 1037
o 1033
o 1029
o 1027
o 1026
o 1025
o 1023
o 1019
o 1018
o 1017
o 1016
o 1015
o 1014
o 1013
o 1012
o 1008
o 1007
o 1006
o 1005
o 1002
o 1001
o 1000
o 998
c Learned clauses = 0
c NB_MONO= 773, NB_BRANCHE= 75034, NB_BACK= 37526 
s OPTIMUM FOUND
c Optimal Solution = 998
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
473.398u 0.018s 7:56.34 99.3%	0+0k 0+0io 0pf+0w