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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13859
WARNING: Ubcsat not found.
o 13859
o 2677
o 2674
o 2667
o 2660
o 2659
o 2658
o 2651
o 2649
o 2643
o 2642
o 2641
o 2638
o 2637
o 2636
o 2635
o 2634
o 2633
o 2632
o 2630
o 2629
o 2625
o 2624
o 2623
o 2622
o 2621
o 2620
o 2618
o 2617
o 2616
o 2615
o 2614
o 2613
o 2609
o 2608
o 2607
o 2604
o 2602
o 2601
o 2600
o 2591
o 2590
o 2589
o 2584
o 2583
o 2575
o 2565
o 2563
o 2559
o 2558
o 2556
o 2555
o 2548
o 2547
o 2546
o 2545
o 2542
o 2540
o 2539
o 2538
o 2537
o 2535
o 2532
o 2528
o 2526
o 2521
o 2518
o 2517
o 2511
o 2506
o 2505
o 2500
o 2497
o 2496
o 2495
o 2492
o 2489
o 2485
o 2482
o 2480
o 2479
o 2477
o 2474
o 2472
o 2471
o 2469
o 2463
o 2462
o 2457
o 2454
o 2452
o 2448
o 2447
o 2446
o 2443
o 2442
o 2441
o 2436
o 2433
o 2426
o 2424
o 2423
o 2422
o 2421
o 2420
o 2419
o 2416
o 2415
o 2414
o 2413
o 2412
o 2410
o 2408
o 2405
o 2404
o 2402
o 2400
o 2399
o 2398
o 2394
o 2390
o 2387
o 2386
o 2384
o 2380
o 2379
o 2378
o 2376
o 2375
o 2373
o 2371
o 2370
o 2368
o 2366
o 2356
o 2350
o 2342
o 2339
c Learned clauses = 0
c NB_MONO= 800, NB_BRANCHE= 2349, NB_BACK= 1196 
s OPTIMUM FOUND
c Optimal Solution = 2339
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
10.019u 0.011s 0:10.07 99.5%	0+0k 0+0io 0pf+0w