Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16563
WARNING: Ubcsat not found.
o 16563
o 3306
o 3296
o 3288
o 3283
o 3277
o 3276
o 3272
o 3269
o 3264
o 3258
o 3255
o 3254
o 3248
o 3246
o 3245
o 3242
o 3241
o 3240
o 3239
o 3231
o 3229
o 3228
o 3226
o 3223
o 3222
o 3220
o 3219
o 3217
o 3211
o 3203
o 3200
o 3199
o 3195
o 3190
o 3189
o 3182
o 3179
o 3178
o 3169
o 3166
o 3158
o 3152
o 3151
o 3148
o 3145
o 3142
o 3141
o 3137
o 3129
o 3122
o 3121
o 3116
o 3111
o 3110
o 3104
o 3099
o 3097
o 3095
o 3094
o 3088
o 3080
o 3078
o 3076
o 3073
o 3069
o 3068
o 3065
o 3062
o 3061
o 3058
o 3050
o 3049
o 3046
o 3045
o 3044
o 3042
o 3035
o 3034
o 3029
o 3025
o 3024
o 3021
c Learned clauses = 2
c NB_MONO= 453, NB_BRANCHE= 2164, NB_BACK= 1091 
s OPTIMUM FOUND
c Optimal Solution = 3021
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
10.463u 0.008s 0:10.52 99.4%	0+0k 0+0io 0pf+0w