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_C2500_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13760
WARNING: Ubcsat not found.
o 13760
o 2628
o 2625
o 2614
o 2611
o 2600
o 2595
o 2594
o 2591
o 2585
o 2580
o 2575
o 2572
o 2566
o 2563
o 2560
o 2555
o 2547
o 2546
o 2543
o 2542
o 2539
o 2535
o 2532
o 2530
o 2522
o 2519
o 2515
o 2512
o 2505
o 2501
o 2499
o 2498
o 2494
o 2492
o 2485
o 2483
o 2482
o 2477
o 2476
o 2473
o 2472
o 2466
o 2465
o 2464
o 2463
o 2457
o 2456
o 2449
o 2444
o 2442
o 2439
o 2437
o 2436
o 2435
o 2426
o 2424
o 2420
o 2419
o 2418
o 2412
o 2410
o 2408
o 2404
o 2403
o 2398
o 2396
o 2395
o 2392
o 2390
o 2389
o 2388
o 2387
o 2386
o 2384
o 2383
o 2382
o 2379
o 2377
o 2376
o 2374
o 2373
o 2369
o 2367
o 2363
o 2361
o 2359
o 2356
o 2354
o 2353
o 2351
o 2350
o 2349
o 2348
o 2337
o 2333
o 2329
o 2326
o 2323
o 2315
o 2314
o 2311
o 2309
o 2307
o 2304
o 2302
o 2299
o 2298
o 2295
o 2294
o 2291
o 2290
o 2283
o 2276
o 2274
o 2273
o 2268
o 2266
o 2265
o 2264
o 2261
o 2260
o 2259
o 2258
o 2253
o 2247
o 2244
o 2243
o 2241
c Learned clauses = 0
c NB_MONO= 823, NB_BRANCHE= 3248, NB_BACK= 1665 
s OPTIMUM FOUND
c Optimal Solution = 2241
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
13.901u 0.008s 0:14.03 99.0%	0+0k 0+0io 0pf+0w