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_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24731
WARNING: Ubcsat not found.
o 24731
o 5338
o 5327
o 5325
o 5323
o 5316
o 5313
o 5310
o 5307
o 5282
o 5279
o 5274
o 5272
o 5262
o 5256
o 5254
o 5247
o 5240
o 5239
o 5236
o 5234
o 5228
o 5225
o 5224
o 5222
o 5221
o 5213
o 5212
o 5209
o 5208
o 5205
o 5204
o 5202
o 5201
o 5200
o 5199
o 5190
o 5188
o 5178
o 5177
o 5176
o 5166
o 5164
o 5162
o 5157
o 5156
o 5154
o 5153
o 5151
o 5150
o 5147
o 5132
o 5131
o 5128
o 5122
o 5121
o 5113
o 5111
o 5109
o 5103
o 5102
o 5098
o 5094
o 5087
o 5083
o 5076
o 5075
o 5060
o 5059
o 5058
o 5043
o 5042
o 5041
o 5035
o 5033
o 5032
o 5020
o 5016
o 5011
o 5008
o 5006
o 5002
o 4996
o 4992
o 4989
o 4987
o 4986
o 4977
o 4976
o 4974
o 4970
o 4957
o 4953
o 4951
o 4939
o 4935
o 4934
o 4927
o 4919
o 4908
o 4903
o 4901
o 4896
o 4889
o 4884
o 4883
o 4882
o 4869
o 4868
o 4866
o 4863
o 4862
o 4850
o 4849
o 4848
o 4842
o 4840
o 4839
o 4833
o 4831
o 4829
o 4828
o 4825
o 4824
o 4822
o 4821
o 4818
o 4817
o 4816
o 4809
o 4801
o 4799
o 4797
o 4781
o 4779
o 4777
o 4770
o 4768
o 4765
o 4762
o 4760
o 4756
o 4749
o 4743
o 4739
o 4738
o 4737
o 4736
o 4725
o 4723
o 4718
o 4713
o 4712
o 4708
o 4704
o 4702
o 4699
o 4695
o 4684
o 4678
o 4668
o 4662
o 4656
o 4644
o 4638
o 4637
o 4633
o 4631
o 4630
o 4620
o 4619
o 4613
o 4611
o 4607
o 4605
c Learned clauses = 0
c NB_MONO= 643, NB_BRANCHE= 5922, NB_BACK= 3010 
s OPTIMUM FOUND
c Optimal Solution = 4605
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
71.575u 0.007s 1:15.32 95.0%	0+0k 0+0io 0pf+0w