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_hi_file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27555
WARNING: Ubcsat not found.
o 27555
o 5850
o 5848
o 5836
o 5834
o 5832
o 5825
o 5822
o 5821
o 5816
o 5812
o 5810
o 5808
o 5807
o 5806
o 5790
o 5786
o 5782
o 5780
o 5772
o 5769
o 5761
o 5751
o 5747
o 5735
o 5732
o 5728
o 5721
o 5700
o 5696
o 5694
o 5688
o 5682
o 5674
o 5673
o 5671
o 5669
o 5665
o 5656
o 5652
o 5648
o 5644
o 5638
o 5634
o 5629
o 5625
o 5623
o 5614
o 5608
o 5606
o 5604
o 5599
o 5598
o 5597
o 5588
o 5577
o 5567
o 5565
o 5561
o 5558
o 5551
o 5550
o 5549
o 5536
o 5535
o 5534
o 5530
o 5528
o 5523
o 5522
o 5518
o 5510
o 5507
o 5506
o 5505
o 5504
o 5503
o 5500
o 5489
o 5486
o 5485
o 5481
o 5472
o 5468
o 5467
o 5464
o 5463
o 5462
o 5460
o 5458
o 5455
o 5449
o 5447
o 5442
o 5439
o 5438
o 5435
o 5427
o 5425
o 5421
o 5418
o 5415
o 5413
o 5411
o 5408
o 5397
o 5396
o 5386
o 5385
o 5383
o 5376
c Learned clauses = 0
c NB_MONO= 341, NB_BRANCHE= 2619, NB_BACK= 1326 
s OPTIMUM FOUND
c Optimal Solution = 5376
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
27.240u 0.012s 0:27.28 99.8%	0+0k 0+0io 0pf+0w