Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-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/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 24575
o 5353
o 5350
o 5348
o 5338
o 5337
o 5336
o 5332
o 5327
o 5326
o 5315
o 5313
o 5312
o 5309
o 5306
o 5304
o 5300
o 5297
o 5295
o 5290
o 5283
o 5282
o 5278
o 5277
o 5275
o 5273
o 5269
o 5266
o 5265
o 5257
o 5252
o 5251
o 5249
o 5247
o 5245
o 5241
o 5236
o 5234
o 5233
o 5230
o 5228
o 5225
o 5223
o 5216
o 5215
o 5204
o 5202
o 5201
o 5187
o 5178
o 5167
o 5163
o 5157
o 5155
o 5153
o 5151
o 5146
o 5132
o 5131
o 5128
o 5127
o 5109
o 5107
o 5098
o 5090
o 5087
o 5084
o 5078
o 5075
o 5070
o 5069
o 5063
o 5050
o 5049
o 5048
o 5041
o 5040
o 5039
o 5036
o 5028
o 5025
o 5024
o 5018
o 5011
o 5006
o 4990
o 4985
o 4984
o 4977
o 4971
o 4967
o 4966
o 4962
o 4956
o 4955
o 4949
o 4940
o 4934
o 4933
o 4927
o 4921
o 4919
o 4913
o 4906
o 4905
o 4902
o 4895
o 4893
o 4892
o 4890
o 4889
o 4879
o 4871
o 4870
o 4866
o 4864
o 4863
o 4860
o 4857
o 4850
o 4849
o 4843
o 4836
o 4833
o 4831
o 4829
o 4823
o 4816
o 4813
o 4807
o 4805
o 4802
o 4801
o 4797
o 4791
o 4790
o 4777
o 4775
o 4774
o 4767
o 4765
o 4764
o 4749
o 4748
o 4735
o 4734
o 4730
o 4723
o 4719
o 4712
o 4711
o 4704
o 4701
o 4699
o 4696
o 4695
o 4690
o 4686
o 4685
o 4684
o 4681
o 4678
o 4672
o 4669
o 4663
o 4660
o 4652
o 4650
o 4648
o 4643
o 4642
o 4638
o 4637
o 4636
o 4635
o 4630
o 4629
o 4623
o 4621
o 4620
o 4619
o 4618
o 4617
o 4609
o 4608
o 4605
o 4601
o 4596
o 4594
o 4588
o 4572
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
c Program terminated in 749.400 seconds.
749.286u 0.131s 12:30.45 99.8%	0+0k 0+0io 0pf+0w