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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16668
WARNING: Ubcsat not found.
o 16668
o 3505
o 3504
o 3500
o 3499
o 3498
o 3490
o 3489
o 3484
o 3481
o 3475
o 3467
o 3462
o 3458
o 3457
o 3454
o 3449
o 3444
o 3440
o 3437
o 3435
o 3427
o 3422
o 3418
o 3414
o 3405
o 3399
o 3397
o 3395
o 3391
o 3390
o 3386
o 3384
o 3378
o 3375
o 3369
o 3368
o 3365
o 3364
o 3363
o 3360
o 3359
o 3355
o 3353
o 3352
o 3351
o 3349
o 3348
o 3347
o 3346
o 3344
o 3342
o 3341
o 3339
o 3338
o 3333
o 3326
o 3325
o 3321
o 3319
o 3316
o 3314
o 3312
o 3311
o 3309
o 3307
o 3305
o 3304
o 3296
o 3295
o 3293
o 3289
o 3287
o 3286
o 3282
o 3280
o 3279
o 3277
o 3276
o 3273
o 3272
o 3271
o 3269
o 3267
o 3265
o 3262
o 3260
o 3259
o 3256
o 3255
o 3252
o 3251
o 3250
o 3246
o 3243
o 3242
o 3241
o 3239
o 3234
o 3233
o 3232
o 3231
o 3229
o 3225
o 3224
o 3222
o 3220
o 3219
o 3216
o 3213
o 3210
o 3207
o 3206
o 3203
o 3201
o 3200
o 3197
o 3193
o 3190
o 3187
o 3185
o 3182
o 3179
o 3176
o 3175
o 3172
o 3170
o 3169
o 3168
o 3167
o 3166
o 3165
o 3164
o 3159
o 3158
o 3157
o 3156
o 3154
o 3153
o 3152
o 3151
o 3150
o 3149
o 3148
o 3146
o 3144
o 3141
o 3140
o 3139
o 3138
o 3137
o 3135
o 3131
o 3127
o 3121
o 3118
o 3116
o 3113
o 3112
o 3111
o 3110
o 3109
o 3108
o 3107
o 3105
o 3104
o 3103
o 3102
o 3094
o 3093
o 3092
o 3089
o 3088
o 3085
o 3079
o 3078
o 3076
o 3070
o 3068
o 3067
o 3060
o 3058
o 3057
o 3051
o 3050
o 3046
o 3045
o 3041
o 3039
o 3035
o 3033
o 3028
o 3026
o 3025
c Learned clauses = 1
c NB_MONO= 980, NB_BRANCHE= 16331, NB_BACK= 8249 
s OPTIMUM FOUND
c Optimal Solution = 3025
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
105.808u 0.005s 1:46.05 99.7%	0+0k 0+0io 0pf+0w