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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13573
WARNING: Ubcsat not found.
o 13573
o 2743
o 2741
o 2737
o 2735
o 2732
o 2726
o 2723
o 2719
o 2710
o 2708
o 2704
o 2702
o 2691
o 2690
o 2683
o 2682
o 2681
o 2678
o 2676
o 2663
o 2661
o 2653
o 2652
o 2650
o 2648
o 2642
o 2639
o 2631
o 2628
o 2620
o 2616
o 2614
o 2613
o 2603
o 2602
o 2592
o 2589
o 2587
o 2581
o 2579
o 2577
o 2572
o 2570
o 2566
o 2564
o 2558
o 2553
o 2550
o 2545
o 2543
o 2537
o 2535
o 2534
o 2532
o 2528
o 2524
o 2519
o 2518
o 2515
o 2514
o 2512
o 2510
o 2507
o 2503
o 2497
o 2496
o 2495
o 2487
o 2482
o 2477
o 2476
o 2475
o 2473
o 2472
o 2471
o 2468
o 2466
o 2464
o 2461
o 2458
o 2456
o 2454
o 2453
o 2452
o 2448
o 2440
o 2433
o 2429
o 2427
o 2426
o 2423
o 2422
o 2421
o 2418
o 2409
o 2408
o 2403
o 2398
o 2397
o 2391
o 2389
o 2387
o 2385
o 2382
o 2380
o 2379
o 2376
o 2372
o 2367
o 2366
o 2363
o 2362
o 2359
o 2357
o 2356
o 2353
c Learned clauses = 1
c NB_MONO= 735, NB_BRANCHE= 2562, NB_BACK= 1286 
s OPTIMUM FOUND
c Optimal Solution = 2353
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.046u 0.012s 0:12.09 99.6%	0+0k 0+0io 0pf+0w