Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-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-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2500 13859
WARNING: Ubcsat not found.
o 13859
o 2712
o 2711
o 2709
o 2703
o 2699
o 2698
o 2697
o 2696
o 2693
o 2692
o 2691
o 2690
o 2689
o 2685
o 2684
o 2681
o 2680
o 2679
o 2677
o 2676
o 2670
o 2668
o 2667
o 2662
o 2659
o 2656
o 2654
o 2652
o 2649
o 2647
o 2640
o 2638
o 2636
o 2630
o 2626
o 2624
o 2621
o 2617
o 2613
o 2608
o 2606
o 2605
o 2603
o 2600
o 2598
o 2594
o 2589
o 2587
o 2585
o 2584
o 2581
o 2579
o 2578
o 2576
o 2575
o 2572
o 2570
o 2567
o 2564
o 2563
o 2555
o 2553
o 2550
o 2546
o 2542
o 2533
o 2526
o 2524
o 2520
o 2519
o 2518
o 2511
o 2509
o 2504
o 2499
o 2498
o 2494
o 2491
o 2490
o 2489
o 2484
o 2480
o 2478
o 2474
o 2473
o 2472
o 2470
o 2468
o 2467
o 2466
o 2461
o 2460
o 2456
o 2455
o 2454
o 2453
o 2448
o 2447
o 2445
o 2443
o 2442
o 2441
o 2437
o 2433
o 2432
o 2429
o 2428
o 2426
o 2425
o 2423
o 2422
o 2421
o 2417
o 2416
o 2415
o 2414
o 2413
o 2412
o 2408
o 2407
o 2405
o 2404
o 2402
o 2401
o 2396
o 2394
o 2390
o 2387
o 2386
o 2384
o 2380
o 2379
o 2376
o 2370
o 2368
o 2367
o 2356
o 2342
o 2339
c Learned clauses = 0
c NB_MONO= 947, NB_BRANCHE= 2623, NB_BACK= 1336 
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.843u 0.010s 0:10.93 99.2%	0+0k 0+0io 0pf+0w