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_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/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 24731
o 5388
o 5384
o 5382
o 5379
o 5371
o 5368
o 5364
o 5356
o 5350
o 5349
o 5347
o 5346
o 5344
o 5342
o 5341
o 5340
o 5339
o 5333
o 5332
o 5331
o 5330
o 5327
o 5326
o 5325
o 5314
o 5308
o 5306
o 5304
o 5303
o 5298
o 5294
o 5291
o 5290
o 5289
o 5278
o 5277
o 5268
o 5263
o 5259
o 5257
o 5254
o 5252
o 5249
o 5238
o 5224
o 5221
o 5216
o 5215
o 5213
o 5203
o 5201
o 5200
o 5198
o 5195
o 5191
o 5187
o 5186
o 5184
o 5181
o 5178
o 5177
o 5170
o 5168
o 5166
o 5165
o 5164
o 5163
o 5161
o 5156
o 5154
o 5148
o 5145
o 5142
o 5133
o 5130
o 5121
o 5120
o 5115
o 5111
o 5104
o 5099
o 5098
o 5088
o 5082
o 5078
o 5068
o 5066
o 5055
o 5038
o 5037
o 5034
o 5030
o 5028
o 5026
o 5025
o 5024
o 5015
o 5011
o 5006
o 5000
o 4999
o 4998
o 4994
o 4990
o 4988
o 4984
o 4983
o 4981
o 4968
o 4957
o 4955
o 4951
o 4939
o 4934
o 4927
o 4926
o 4920
o 4915
o 4910
o 4908
o 4903
o 4901
o 4896
o 4891
o 4889
o 4883
o 4882
o 4877
o 4876
o 4872
o 4871
o 4870
o 4869
o 4868
o 4866
o 4863
o 4862
o 4855
o 4850
o 4849
o 4842
o 4839
o 4837
o 4836
o 4830
o 4826
o 4820
o 4819
o 4818
o 4815
o 4814
o 4809
o 4801
o 4800
o 4799
o 4798
o 4794
o 4784
o 4782
o 4779
o 4777
o 4767
o 4762
o 4757
o 4756
o 4749
o 4747
o 4743
o 4739
o 4734
o 4732
o 4728
o 4725
o 4723
o 4710
o 4708
o 4702
o 4699
o 4695
o 4684
o 4678
o 4668
o 4644
o 4642
o 4637
o 4625
o 4623
o 4619
o 4613
o 4611
o 4607
o 4605
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
c Program terminated in 193.470 seconds.
193.447u 0.033s 3:13.90 99.7%	0+0k 0+0io 0pf+0w