Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 3000 16581
WARNING: Ubcsat not found.
o 16581
o 3537
o 3533
o 3531
o 3526
o 3524
o 3522
o 3515
o 3496
o 3493
o 3490
o 3487
o 3484
o 3469
o 3461
o 3460
o 3458
o 3457
o 3455
o 3450
o 3446
o 3443
o 3440
o 3439
o 3437
o 3427
o 3424
o 3421
o 3418
o 3417
o 3413
o 3410
o 3405
o 3402
o 3399
o 3398
o 3396
o 3392
o 3390
o 3383
o 3382
o 3380
o 3375
o 3374
o 3367
o 3363
o 3361
o 3358
o 3357
o 3356
o 3355
o 3352
o 3351
o 3348
o 3346
o 3345
o 3337
o 3336
o 3331
o 3325
o 3323
o 3320
o 3317
o 3316
o 3313
o 3310
o 3304
o 3298
o 3296
o 3293
o 3291
o 3289
o 3287
o 3281
o 3280
o 3277
o 3276
o 3275
o 3263
o 3262
o 3261
o 3260
o 3259
o 3258
o 3255
o 3254
o 3253
o 3250
o 3248
o 3247
o 3246
o 3243
o 3237
o 3233
o 3231
o 3230
o 3227
o 3218
o 3215
o 3207
o 3206
o 3203
o 3202
o 3200
o 3199
o 3197
o 3195
o 3192
o 3188
o 3183
o 3178
o 3176
o 3174
o 3173
o 3170
o 3167
o 3165
o 3164
o 3163
o 3161
o 3160
o 3158
o 3156
o 3154
o 3152
o 3151
o 3149
o 3143
o 3126
o 3115
o 3114
o 3110
o 3109
o 3107
o 3098
o 3093
o 3088
o 3084
o 3080
o 3074
o 3070
o 3069
o 3068
o 3064
o 3062
o 3058
o 3048
o 3043
o 3042
o 3041
o 3035
o 3033
o 3031
o 3030
o 3026
o 3024
o 3017
o 3011
o 3005
o 3003
o 2996
o 2990
o 2989
o 2987
o 2985
o 2984
o 2983
o 2982
o 2980
o 2979
o 2978
o 2977
o 2973
o 2966
o 2964
o 2963
o 2959
o 2957
o 2952
c Learned clauses = 0
c NB_MONO= 979, NB_BRANCHE= 3877, NB_BACK= 1966 
s OPTIMUM FOUND
c Optimal Solution = 2952
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
17.560u 0.013s 0:17.57 100.0%	0+0k 0+0io 0pf+0w