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_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-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24731
WARNING: Ubcsat not found.
o 24731
o 5380
o 5374
o 5366
o 5360
o 5355
o 5349
o 5341
o 5335
o 5320
o 5317
o 5313
o 5312
o 5311
o 5309
o 5307
o 5304
o 5301
o 5299
o 5291
o 5288
o 5287
o 5284
o 5282
o 5280
o 5275
o 5272
o 5270
o 5269
o 5262
o 5261
o 5256
o 5248
o 5237
o 5236
o 5235
o 5231
o 5230
o 5227
o 5222
o 5219
o 5218
o 5206
o 5201
o 5197
o 5193
o 5191
o 5178
o 5177
o 5176
o 5174
o 5164
o 5162
o 5157
o 5147
o 5144
o 5132
o 5131
o 5123
o 5122
o 5115
o 5106
o 5102
o 5090
o 5081
o 5075
o 5071
o 5067
o 5059
o 5058
o 5055
o 5054
o 5051
o 5050
o 5043
o 5042
o 5035
o 5034
o 5030
o 5027
o 5026
o 5020
o 5017
o 5016
o 5010
o 5009
o 5008
o 5005
o 5004
o 4996
o 4995
o 4986
o 4977
o 4976
o 4974
o 4957
o 4951
o 4946
o 4939
o 4927
o 4923
o 4918
o 4914
o 4903
o 4901
o 4898
o 4896
o 4895
o 4891
o 4889
o 4886
o 4884
o 4883
o 4882
o 4879
o 4873
o 4872
o 4870
o 4869
o 4868
o 4866
o 4863
o 4862
o 4850
o 4849
o 4848
o 4842
o 4838
o 4835
o 4828
o 4820
o 4818
o 4814
o 4809
o 4801
o 4799
o 4798
o 4794
o 4790
o 4784
o 4782
o 4779
o 4777
o 4776
o 4773
o 4767
o 4764
o 4762
o 4761
o 4759
o 4750
o 4744
o 4738
o 4736
o 4735
o 4734
o 4732
o 4729
o 4727
o 4726
o 4725
o 4723
o 4716
o 4710
o 4708
o 4702
o 4701
o 4699
o 4695
o 4684
o 4678
o 4668
o 4662
o 4642
o 4641
o 4639
o 4637
o 4613
o 4611
o 4605
c Learned clauses = 0
c NB_MONO= 647, NB_BRANCHE= 17726, NB_BACK= 8920 
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
147.440u 0.007s 2:27.76 99.7%	0+0k 0+0io 0pf+0w