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_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-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16563
WARNING: Ubcsat not found.
o 16563
o 3292
o 3286
o 3284
o 3277
o 3273
o 3268
o 3258
o 3252
o 3244
o 3242
o 3241
o 3233
o 3230
o 3224
o 3212
o 3206
o 3201
o 3200
o 3199
o 3195
o 3193
o 3192
o 3191
o 3188
o 3185
o 3183
o 3179
o 3178
o 3170
o 3159
o 3158
o 3157
o 3155
o 3152
o 3151
o 3145
o 3137
o 3129
o 3121
o 3119
o 3118
o 3115
o 3110
o 3099
o 3097
o 3096
o 3088
o 3085
o 3080
o 3077
o 3074
o 3069
o 3068
o 3065
o 3062
o 3061
o 3058
o 3050
o 3049
o 3047
o 3045
o 3040
o 3035
o 3029
o 3027
o 3025
o 3024
o 3021
c Learned clauses = 1
c NB_MONO= 402, NB_BRANCHE= 1603, NB_BACK= 808 
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
6.842u 0.012s 0:07.20 95.1%	0+0k 0+0io 0pf+0w