Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16597
WARNING: Ubcsat not found.
o 16597
o 3254
o 3249
o 3248
o 3245
o 3244
o 3241
o 3240
o 3239
o 3238
o 3237
o 3229
o 3226
o 3219
o 3207
o 3205
o 3204
o 3201
o 3200
o 3197
o 3194
o 3193
o 3191
o 3188
o 3184
o 3183
o 3181
o 3178
o 3177
o 3175
o 3167
o 3166
o 3165
o 3163
o 3160
o 3157
o 3155
o 3154
o 3153
o 3150
o 3149
o 3146
o 3143
o 3141
o 3133
o 3132
o 3112
o 3111
o 3110
o 3097
o 3095
o 3090
o 3088
o 3087
o 3084
o 3081
o 3079
o 3078
o 3076
o 3072
o 3069
o 3068
o 3067
o 3066
o 3064
o 3063
o 3051
o 3049
o 3048
o 3046
o 3045
o 3044
o 3034
o 3030
o 3029
o 3027
o 3015
o 3013
o 3011
o 3010
o 3005
o 3003
o 3002
o 2997
o 2994
o 2993
o 2992
o 2985
o 2984
o 2978
o 2966
o 2953
o 2945
o 2944
o 2943
o 2939
o 2938
o 2937
o 2936
o 2935
o 2929
o 2928
o 2924
o 2920
o 2918
c Learned clauses = 0
c NB_MONO= 460, NB_BRANCHE= 3641, NB_BACK= 1843 
s OPTIMUM FOUND
c Optimal Solution = 2918
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 141 142 143 -144 145 -146 -147 -148 149 150 0
28.029u 0.011s 0:28.11 99.7%	0+0k 0+0io 0pf+0w