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_hi_file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24632
WARNING: Ubcsat not found.
o 24632
o 4968
o 4967
o 4964
o 4956
o 4952
o 4950
o 4949
o 4947
o 4944
o 4942
o 4939
o 4935
o 4932
o 4931
o 4927
o 4926
o 4925
o 4921
o 4918
o 4913
o 4912
o 4911
o 4906
o 4905
o 4901
o 4900
o 4894
o 4893
o 4889
o 4886
o 4884
o 4877
o 4876
o 4874
o 4873
o 4872
o 4864
o 4863
o 4857
o 4856
o 4855
o 4852
o 4850
o 4849
o 4841
o 4831
o 4829
o 4822
o 4817
o 4813
o 4810
o 4808
o 4797
o 4795
o 4794
o 4792
o 4791
o 4788
o 4786
o 4781
o 4780
o 4778
o 4777
o 4772
o 4770
o 4769
o 4766
o 4765
o 4761
o 4758
o 4757
o 4748
o 4744
o 4742
o 4736
o 4733
o 4732
o 4730
o 4729
o 4724
o 4723
o 4721
o 4719
o 4717
o 4716
o 4715
o 4714
o 4703
o 4701
o 4697
o 4696
o 4695
o 4690
o 4688
o 4685
o 4680
o 4677
o 4671
o 4668
o 4667
o 4666
o 4659
o 4651
o 4650
o 4648
o 4645
o 4642
o 4638
o 4637
o 4633
o 4629
o 4620
o 4616
o 4614
c Learned clauses = 0
c NB_MONO= 535, NB_BRANCHE= 2488, NB_BACK= 1259 
s OPTIMUM FOUND
c Optimal Solution = 4614
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
16.937u 0.007s 0:16.95 99.8%	0+0k 0+0io 0pf+0w