Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16668
WARNING: Ubcsat not found.
o 16668
o 3469
o 3468
o 3460
o 3454
o 3451
o 3445
o 3443
o 3440
o 3434
o 3433
o 3430
o 3426
o 3425
o 3423
o 3422
o 3420
o 3419
o 3412
o 3410
o 3409
o 3405
o 3402
o 3399
o 3396
o 3392
o 3391
o 3390
o 3387
o 3380
o 3377
o 3374
o 3370
o 3369
o 3366
o 3364
o 3363
o 3361
o 3356
o 3351
o 3350
o 3347
o 3346
o 3344
o 3342
o 3341
o 3340
o 3339
o 3338
o 3337
o 3334
o 3332
o 3331
o 3329
o 3328
o 3327
o 3326
o 3321
o 3318
o 3311
o 3307
o 3306
o 3304
o 3302
o 3299
o 3297
o 3296
o 3295
o 3293
o 3292
o 3291
o 3289
o 3286
o 3283
o 3282
o 3277
o 3276
o 3275
o 3273
o 3272
o 3271
o 3270
o 3267
o 3266
o 3264
o 3263
o 3258
o 3256
o 3255
o 3250
o 3249
o 3240
o 3230
o 3229
o 3228
o 3227
o 3220
o 3219
o 3215
o 3213
o 3211
o 3210
o 3204
o 3203
o 3202
o 3200
o 3199
o 3197
o 3195
o 3193
o 3192
o 3190
o 3188
o 3187
o 3183
o 3179
o 3177
o 3176
o 3173
o 3171
o 3169
o 3165
o 3163
o 3161
o 3156
o 3154
o 3153
o 3151
o 3147
o 3145
o 3142
o 3134
o 3133
o 3128
o 3121
o 3118
o 3113
o 3111
o 3110
o 3108
o 3103
o 3092
o 3088
o 3085
o 3084
o 3082
o 3079
o 3078
o 3068
o 3060
o 3051
o 3049
o 3048
o 3047
o 3044
o 3041
o 3034
o 3033
o 3025
c Learned clauses = 1
c NB_MONO= 740, NB_BRANCHE= 5925, NB_BACK= 3018 
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
40.209u 0.008s 0:40.48 99.3%	0+0k 0+0io 0pf+0w