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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13561
WARNING: Ubcsat not found.
o 13561
o 2656
o 2651
o 2648
o 2644
o 2640
o 2634
o 2632
o 2629
o 2626
o 2624
o 2623
o 2618
o 2616
o 2609
o 2601
o 2600
o 2595
o 2592
o 2586
o 2584
o 2577
o 2569
o 2568
o 2565
o 2562
o 2561
o 2560
o 2555
o 2552
o 2547
o 2546
o 2540
o 2539
o 2537
o 2533
o 2531
o 2530
o 2528
o 2525
o 2523
o 2522
o 2519
o 2516
o 2515
o 2514
o 2509
o 2506
o 2502
o 2500
o 2498
o 2492
o 2486
o 2484
o 2483
o 2481
o 2480
o 2479
o 2473
o 2472
o 2467
o 2466
o 2463
o 2460
o 2459
o 2457
o 2456
o 2451
o 2449
o 2447
o 2446
o 2443
o 2442
o 2440
o 2438
o 2437
o 2435
o 2430
o 2429
o 2428
o 2422
o 2416
o 2415
o 2414
o 2410
o 2408
o 2407
o 2405
o 2403
o 2402
o 2401
o 2393
o 2390
o 2388
o 2387
o 2385
o 2373
o 2372
o 2369
o 2367
o 2355
o 2354
o 2353
o 2351
o 2348
o 2346
o 2336
o 2330
o 2325
o 2324
o 2323
o 2322
o 2319
o 2304
o 2302
o 2300
o 2298
o 2291
o 2290
o 2287
o 2286
o 2285
o 2281
o 2279
o 2278
o 2276
o 2274
o 2271
o 2270
o 2266
o 2265
o 2262
o 2261
o 2260
o 2259
o 2256
o 2254
o 2253
o 2251
o 2248
o 2245
o 2243
o 2242
o 2240
o 2237
o 2236
o 2228
o 2226
o 2224
o 2218
o 2213
o 2211
o 2210
o 2205
o 2202
o 2200
o 2194
o 2192
o 2186
o 2184
o 2182
o 2180
o 2179
o 2178
o 2177
o 2176
o 2171
o 2169
o 2164
o 2163
o 2161
o 2150
o 2145
o 2144
o 2138
o 2133
o 2128
o 2126
o 2125
o 2123
o 2121
o 2118
o 2113
c Learned clauses = 0
c NB_MONO= 1110, NB_BRANCHE= 3520, NB_BACK= 1793 
s OPTIMUM FOUND
c Optimal Solution = 2113
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
12.901u 0.013s 0:12.92 99.9%	0+0k 0+0io 0pf+0w