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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16572
WARNING: Ubcsat not found.
o 16572
o 3271
o 3262
o 3252
o 3246
o 3244
o 3241
o 3240
o 3239
o 3232
o 3228
o 3227
o 3221
o 3220
o 3218
o 3217
o 3216
o 3215
o 3214
o 3211
o 3210
o 3206
o 3201
o 3200
o 3198
o 3197
o 3196
o 3194
o 3190
o 3188
o 3186
o 3182
o 3181
o 3179
o 3177
o 3175
o 3173
o 3171
o 3161
o 3153
o 3151
o 3150
o 3147
o 3146
o 3144
o 3143
o 3140
o 3139
o 3135
o 3133
o 3130
o 3129
o 3124
o 3119
o 3115
o 3112
o 3109
o 3108
o 3107
o 3105
o 3102
o 3100
o 3097
o 3094
o 3093
o 3090
o 3087
o 3084
o 3083
o 3079
o 3076
o 3073
o 3058
o 3056
o 3054
o 3040
o 3039
o 3037
o 3036
o 3035
o 3033
o 3031
o 3028
o 3026
o 3024
o 3021
o 3010
o 3009
o 3006
o 3002
o 3000
o 2997
o 2991
o 2986
o 2980
o 2976
o 2974
o 2972
o 2969
o 2968
o 2966
o 2959
o 2956
o 2953
o 2949
o 2948
o 2939
o 2938
o 2937
o 2936
o 2934
o 2933
o 2931
o 2929
o 2927
o 2922
o 2917
o 2916
o 2915
o 2914
o 2906
o 2904
o 2903
o 2902
o 2892
o 2891
o 2890
o 2886
o 2884
o 2881
o 2879
o 2876
o 2875
o 2869
o 2865
o 2864
o 2858
o 2854
o 2850
o 2849
o 2846
o 2842
o 2838
o 2836
o 2831
o 2830
o 2825
o 2823
o 2820
o 2818
o 2815
c Learned clauses = 1
c NB_MONO= 820, NB_BRANCHE= 2751, NB_BACK= 1403 
s OPTIMUM FOUND
c Optimal Solution = 2815
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
15.025u 0.011s 0:15.04 99.9%	0+0k 0+0io 0pf+0w