Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16313
WARNING: Ubcsat not found.
o 16313
o 3241
o 3238
o 3235
o 3227
o 3223
o 3221
o 3220
o 3217
o 3215
o 3212
o 3210
o 3209
o 3208
o 3207
o 3206
o 3204
o 3203
o 3202
o 3201
o 3199
o 3198
o 3196
o 3195
o 3193
o 3191
o 3187
o 3185
o 3184
o 3182
o 3181
o 3176
o 3175
o 3172
o 3171
o 3170
o 3169
o 3168
o 3167
o 3166
o 3165
o 3164
o 3161
o 3159
o 3158
o 3156
o 3155
o 3154
o 3151
o 3148
o 3147
o 3145
o 3144
o 3136
o 3132
o 3130
o 3128
o 3127
o 3126
o 3122
o 3117
o 3115
o 3113
o 3111
o 3109
o 3107
o 3103
o 3102
o 3101
o 3099
o 3098
o 3097
o 3089
o 3088
o 3086
o 3085
o 3084
o 3083
o 3079
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 3024
o 3023
o 3022
o 3017
o 3015
o 3013
o 3011
o 3008
o 3005
o 3004
o 3003
o 3002
o 3001
o 3000
o 2996
o 2995
o 2993
o 2992
o 2989
o 2987
o 2983
o 2982
o 2977
o 2972
o 2969
o 2964
o 2962
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 2920
o 2919
o 2917
o 2915
o 2910
o 2909
o 2907
o 2906
o 2905
o 2897
o 2896
o 2895
o 2894
o 2891
o 2889
o 2885
c Learned clauses = 0
c NB_MONO= 886, NB_BRANCHE= 7472, NB_BACK= 3785 
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
52.603u 0.009s 0:52.72 99.7%	0+0k 0+0io 0pf+0w