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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16313
WARNING: Ubcsat not found.
o 16313
o 3210
o 3208
o 3205
o 3193
o 3191
o 3188
o 3183
o 3182
o 3179
o 3177
o 3172
o 3171
o 3167
o 3166
o 3162
o 3161
o 3159
o 3157
o 3153
o 3150
o 3147
o 3146
o 3144
o 3138
o 3136
o 3130
o 3128
o 3126
o 3125
o 3117
o 3115
o 3114
o 3113
o 3107
o 3105
o 3104
o 3103
o 3102
o 3101
o 3098
o 3097
o 3096
o 3089
o 3088
o 3086
o 3085
o 3084
o 3083
o 3079
o 3078
o 3076
o 3073
o 3071
o 3070
o 3068
o 3065
o 3060
o 3059
o 3058
o 3054
o 3050
o 3049
o 3048
o 3047
o 3044
o 3039
o 3037
o 3036
o 3032
o 3031
o 3030
o 3029
o 3028
o 3025
o 3024
o 3023
o 3021
o 3019
o 3018
o 3017
o 3015
o 3013
o 3011
o 3009
o 3008
o 3005
o 3004
o 3003
o 3002
o 3001
o 3000
o 2996
o 2995
o 2992
o 2990
o 2989
o 2987
o 2983
o 2982
o 2981
o 2977
o 2975
o 2974
o 2969
o 2966
o 2965
o 2964
o 2962
o 2957
o 2955
o 2953
o 2951
o 2948
o 2947
o 2944
o 2942
o 2941
o 2937
o 2936
o 2934
o 2933
o 2932
o 2930
o 2929
o 2927
o 2924
o 2922
o 2921
o 2919
o 2917
o 2910
o 2909
o 2907
o 2906
o 2905
o 2902
o 2897
o 2895
o 2894
o 2891
o 2889
o 2885
c Learned clauses = 0
c NB_MONO= 770, NB_BRANCHE= 6025, NB_BACK= 3066 
s OPTIMUM FOUND
c Optimal Solution = 2885
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
45.930u 0.018s 0:46.11 99.6%	0+0k 0+0io 0pf+0w