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_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16681
WARNING: Ubcsat not found.
o 16681
o 3522
o 3520
o 3505
o 3504
o 3497
o 3496
o 3494
o 3493
o 3490
o 3488
o 3486
o 3485
o 3479
o 3477
o 3476
o 3470
o 3465
o 3462
o 3460
o 3453
o 3450
o 3449
o 3447
o 3442
o 3438
o 3437
o 3435
o 3432
o 3424
o 3415
o 3413
o 3402
o 3400
o 3397
o 3389
o 3380
o 3379
o 3377
o 3375
o 3374
o 3373
o 3370
o 3368
o 3363
o 3356
o 3352
o 3351
o 3350
o 3345
o 3330
o 3328
o 3327
o 3325
o 3323
o 3322
o 3321
o 3320
o 3318
o 3313
o 3312
o 3311
o 3307
o 3305
o 3304
o 3303
o 3302
o 3300
o 3299
o 3297
o 3294
o 3293
o 3289
o 3288
o 3283
o 3277
o 3275
o 3273
o 3272
o 3270
o 3268
o 3267
o 3261
o 3260
o 3255
o 3254
o 3253
o 3251
o 3248
o 3245
o 3242
o 3237
o 3232
o 3231
o 3227
o 3212
o 3211
o 3208
o 3206
o 3204
o 3202
o 3199
o 3198
o 3195
o 3194
o 3191
o 3187
o 3184
o 3183
o 3169
o 3168
o 3167
o 3166
o 3165
o 3163
o 3160
o 3156
o 3153
o 3148
o 3145
o 3144
o 3143
o 3141
o 3138
o 3133
o 3130
o 3128
o 3127
o 3126
o 3124
o 3121
o 3119
o 3116
o 3113
o 3112
o 3111
o 3103
o 3102
o 3101
o 3095
o 3092
o 3091
o 3087
o 3084
o 3082
o 3080
o 3079
o 3071
o 3070
o 3069
o 3067
o 3064
o 3063
o 3059
o 3058
o 3052
o 3046
o 3045
c Learned clauses = 0
c NB_MONO= 725, NB_BRANCHE= 5426, NB_BACK= 2760 
s OPTIMUM FOUND
c Optimal Solution = 3045
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
34.371u 0.015s 0:34.40 99.9%	0+0k 0+0io 0pf+0w