Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24575
WARNING: Ubcsat not found.
o 24575
o 5375
o 5369
o 5364
o 5362
o 5360
o 5354
o 5350
o 5344
o 5340
o 5336
o 5331
o 5329
o 5328
o 5326
o 5323
o 5322
o 5321
o 5317
o 5316
o 5312
o 5310
o 5303
o 5301
o 5296
o 5294
o 5293
o 5292
o 5291
o 5290
o 5283
o 5282
o 5281
o 5280
o 5278
o 5277
o 5276
o 5275
o 5273
o 5261
o 5253
o 5252
o 5251
o 5249
o 5247
o 5236
o 5234
o 5233
o 5230
o 5228
o 5223
o 5216
o 5212
o 5203
o 5197
o 5196
o 5192
o 5178
o 5175
o 5167
o 5163
o 5157
o 5153
o 5151
o 5132
o 5130
o 5107
o 5098
o 5097
o 5096
o 5085
o 5083
o 5073
o 5063
o 5056
o 5051
o 5050
o 5048
o 5047
o 5042
o 5041
o 5040
o 5039
o 5028
o 5018
o 5015
o 5013
o 5009
o 5006
o 5005
o 4985
o 4984
o 4977
o 4971
o 4967
o 4963
o 4962
o 4955
o 4948
o 4944
o 4938
o 4935
o 4934
o 4932
o 4925
o 4919
o 4914
o 4913
o 4906
o 4905
o 4902
o 4895
o 4891
o 4889
o 4888
o 4885
o 4879
o 4872
o 4871
o 4870
o 4864
o 4863
o 4860
o 4857
o 4850
o 4849
o 4843
o 4836
o 4833
o 4830
o 4826
o 4825
o 4823
o 4816
o 4814
o 4801
o 4799
o 4791
o 4788
o 4780
o 4777
o 4771
o 4769
o 4765
o 4760
o 4752
o 4751
o 4749
o 4748
o 4741
o 4740
o 4737
o 4736
o 4735
o 4734
o 4733
o 4721
o 4720
o 4717
o 4713
o 4708
o 4707
o 4704
o 4701
o 4690
o 4686
o 4685
o 4684
o 4683
o 4673
o 4672
o 4669
o 4668
o 4663
o 4658
o 4653
o 4651
o 4650
o 4644
o 4637
o 4636
o 4635
o 4630
o 4629
o 4623
o 4621
o 4617
o 4609
o 4603
o 4601
o 4594
o 4588
o 4585
o 4579
o 4578
o 4572
c Learned clauses = 0
c NB_MONO= 749, NB_BRANCHE= 52129, NB_BACK= 26142 
s OPTIMUM FOUND
c Optimal Solution = 4572
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
542.985u 0.012s 9:04.22 99.7%	0+0k 0+0io 0pf+0w