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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16572
WARNING: Ubcsat not found.
o 16572
o 3274
o 3273
o 3268
o 3252
o 3250
o 3244
o 3232
o 3230
o 3229
o 3227
o 3221
o 3219
o 3218
o 3217
o 3216
o 3215
o 3211
o 3210
o 3209
o 3206
o 3201
o 3200
o 3198
o 3197
o 3196
o 3194
o 3190
o 3188
o 3187
o 3186
o 3182
o 3181
o 3179
o 3177
o 3175
o 3173
o 3171
o 3161
o 3160
o 3158
o 3153
o 3151
o 3150
o 3147
o 3146
o 3144
o 3140
o 3139
o 3135
o 3134
o 3130
o 3129
o 3124
o 3119
o 3114
o 3112
o 3109
o 3108
o 3107
o 3105
o 3104
o 3103
o 3100
o 3097
o 3094
o 3090
o 3087
o 3079
o 3076
o 3073
o 3066
o 3061
o 3058
o 3054
o 3046
o 3042
o 3039
o 3036
o 3035
o 3033
o 3031
o 3028
o 3026
o 3021
o 3011
o 3009
o 3006
o 3005
o 2997
o 2991
o 2986
o 2980
o 2976
o 2974
o 2972
o 2966
o 2959
o 2956
o 2953
o 2949
o 2948
o 2939
o 2938
o 2937
o 2936
o 2934
o 2932
o 2927
o 2923
o 2920
o 2917
o 2916
o 2915
o 2914
o 2906
o 2904
o 2903
o 2902
o 2892
o 2890
o 2886
o 2884
o 2881
o 2879
o 2876
o 2875
o 2865
o 2864
o 2858
o 2854
o 2850
o 2849
o 2838
o 2836
o 2831
o 2829
o 2828
o 2825
o 2823
o 2820
o 2818
o 2815
c Learned clauses = 1
c NB_MONO= 795, NB_BRANCHE= 2748, NB_BACK= 1404 
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.235u 0.007s 0:15.28 99.6%	0+0k 0+0io 0pf+0w