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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 5000 27836
WARNING: Ubcsat not found.
o 27836
o 5926
o 5919
o 5912
o 5911
o 5905
o 5904
o 5898
o 5882
o 5878
o 5874
o 5872
o 5870
o 5868
o 5866
o 5862
o 5852
o 5850
o 5848
o 5846
o 5845
o 5839
o 5832
o 5818
o 5815
o 5798
o 5796
o 5791
o 5789
o 5787
o 5781
o 5777
o 5775
o 5773
o 5769
o 5767
o 5765
o 5759
o 5756
o 5754
o 5753
o 5751
o 5744
o 5741
o 5732
o 5731
o 5730
o 5726
o 5724
o 5721
o 5716
o 5714
o 5709
o 5706
o 5704
o 5701
o 5698
o 5691
o 5681
o 5672
o 5663
o 5656
o 5651
o 5649
o 5641
o 5640
o 5638
o 5637
o 5631
o 5628
o 5622
o 5621
o 5619
o 5618
o 5615
o 5614
o 5609
o 5605
o 5598
o 5594
o 5593
o 5591
o 5585
o 5583
o 5579
o 5575
o 5574
o 5573
o 5571
o 5565
o 5557
o 5555
o 5550
o 5548
o 5543
o 5542
o 5541
o 5532
o 5526
o 5523
o 5521
o 5520
o 5517
o 5512
o 5508
o 5507
o 5497
o 5494
o 5490
o 5482
o 5481
o 5475
o 5473
o 5471
o 5470
o 5469
o 5468
o 5467
o 5460
o 5456
o 5451
o 5444
o 5443
o 5441
o 5440
o 5436
o 5435
o 5431
o 5423
o 5412
o 5404
o 5399
o 5386
o 5384
o 5372
o 5366
o 5362
o 5360
o 5359
o 5357
o 5356
o 5355
o 5349
o 5343
o 5341
o 5333
o 5332
o 5328
o 5327
o 5324
o 5318
o 5315
o 5312
c Learned clauses = 0
c NB_MONO= 590, NB_BRANCHE= 7977, NB_BACK= 4076 
s OPTIMUM FOUND
c Optimal Solution = 5312
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
145.664u 0.008s 2:26.70 99.2%	0+0k 0+0io 0pf+0w