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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24661
WARNING: Ubcsat not found.
o 24661
o 5231
o 5229
o 5204
o 5201
o 5195
o 5193
o 5191
o 5190
o 5179
o 5172
o 5161
o 5159
o 5150
o 5139
o 5134
o 5120
o 5117
o 5116
o 5114
o 5103
o 5100
o 5096
o 5092
o 5082
o 5077
o 5075
o 5072
o 5071
o 5069
o 5063
o 5055
o 5054
o 5053
o 5042
o 5040
o 5039
o 5037
o 5036
o 5026
o 5025
o 5022
o 5020
o 5011
o 5000
o 4999
o 4994
o 4988
o 4987
o 4982
o 4980
o 4977
o 4974
o 4968
o 4967
o 4963
o 4954
o 4948
o 4947
o 4935
o 4933
o 4926
o 4925
o 4922
o 4918
o 4917
o 4916
o 4911
o 4910
o 4899
o 4898
o 4897
o 4891
o 4887
o 4884
o 4878
o 4875
o 4863
o 4861
o 4859
o 4855
o 4853
o 4852
o 4848
o 4846
o 4844
o 4834
o 4831
o 4830
o 4829
o 4828
o 4827
o 4817
o 4815
o 4812
o 4810
o 4808
o 4807
o 4802
o 4799
o 4794
o 4782
o 4776
o 4775
o 4774
o 4767
o 4763
o 4762
o 4761
o 4760
o 4759
o 4758
o 4754
o 4753
o 4752
o 4746
o 4745
o 4740
o 4736
o 4734
o 4723
o 4719
o 4710
c Learned clauses = 0
c NB_MONO= 497, NB_BRANCHE= 4098, NB_BACK= 2098 
s OPTIMUM FOUND
c Optimal Solution = 4710
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
57.509u 0.009s 0:57.59 99.8%	0+0k 0+0io 0pf+0w