Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-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-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24575
WARNING: Ubcsat not found.
o 24575
o 5364
o 5363
o 5362
o 5354
o 5344
o 5340
o 5336
o 5335
o 5331
o 5329
o 5323
o 5316
o 5312
o 5310
o 5303
o 5301
o 5296
o 5295
o 5294
o 5292
o 5290
o 5288
o 5284
o 5281
o 5277
o 5274
o 5272
o 5265
o 5264
o 5261
o 5257
o 5252
o 5249
o 5244
o 5240
o 5239
o 5238
o 5236
o 5233
o 5232
o 5228
o 5223
o 5216
o 5202
o 5198
o 5196
o 5193
o 5192
o 5188
o 5181
o 5180
o 5178
o 5167
o 5157
o 5155
o 5153
o 5151
o 5132
o 5130
o 5107
o 5104
o 5100
o 5085
o 5083
o 5064
o 5063
o 5051
o 5047
o 5036
o 5028
o 5027
o 5026
o 5007
o 5006
o 5001
o 4987
o 4985
o 4984
o 4967
o 4963
o 4962
o 4956
o 4955
o 4945
o 4940
o 4934
o 4931
o 4930
o 4927
o 4921
o 4919
o 4917
o 4913
o 4905
o 4899
o 4898
o 4895
o 4891
o 4889
o 4888
o 4882
o 4879
o 4876
o 4874
o 4870
o 4864
o 4863
o 4860
o 4857
o 4850
o 4849
o 4836
o 4833
o 4830
o 4823
o 4816
o 4809
o 4801
o 4799
o 4791
o 4788
o 4786
o 4782
o 4780
o 4779
o 4778
o 4769
o 4768
o 4762
o 4754
o 4752
o 4740
o 4736
o 4734
o 4731
o 4729
o 4727
o 4718
o 4717
o 4714
o 4713
o 4711
o 4708
o 4707
o 4704
o 4701
o 4690
o 4688
o 4685
o 4684
o 4682
o 4681
o 4678
o 4677
o 4672
o 4669
o 4663
o 4660
o 4656
o 4652
o 4650
o 4643
o 4642
o 4638
o 4637
o 4636
o 4635
o 4629
o 4623
o 4621
o 4620
o 4616
o 4612
o 4610
o 4609
o 4605
o 4601
o 4596
o 4594
o 4588
o 4583
o 4581
o 4572
c Learned clauses = 0
c NB_MONO= 587, NB_BRANCHE= 8528, NB_BACK= 4352 
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
139.883u 0.010s 2:19.91 99.9%	0+0k 0+0io 0pf+0w