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_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24632
WARNING: Ubcsat not found.
o 24632
o 4959
o 4956
o 4949
o 4947
o 4944
o 4932
o 4929
o 4928
o 4926
o 4925
o 4919
o 4914
o 4913
o 4912
o 4910
o 4909
o 4907
o 4906
o 4905
o 4901
o 4900
o 4894
o 4893
o 4889
o 4887
o 4878
o 4877
o 4872
o 4868
o 4867
o 4864
o 4863
o 4856
o 4852
o 4850
o 4849
o 4837
o 4829
o 4828
o 4824
o 4822
o 4815
o 4813
o 4810
o 4808
o 4795
o 4794
o 4792
o 4791
o 4788
o 4786
o 4783
o 4781
o 4780
o 4777
o 4772
o 4771
o 4770
o 4767
o 4766
o 4765
o 4761
o 4758
o 4757
o 4742
o 4736
o 4733
o 4732
o 4729
o 4724
o 4723
o 4720
o 4716
o 4715
o 4714
o 4703
o 4701
o 4697
o 4696
o 4695
o 4692
o 4690
o 4688
o 4685
o 4680
o 4677
o 4676
o 4671
o 4670
o 4668
o 4667
o 4666
o 4664
o 4662
o 4661
o 4654
o 4652
o 4651
o 4650
o 4645
o 4642
o 4638
o 4637
o 4635
o 4634
o 4627
o 4626
o 4623
o 4614
c Learned clauses = 0
c NB_MONO= 518, NB_BRANCHE= 2420, NB_BACK= 1220 
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
17.242u 0.012s 0:17.29 99.7%	0+0k 0+0io 0pf+0w