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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 24879
o 5442
o 5430
o 5420
o 5417
o 5414
o 5410
o 5408
o 5407
o 5405
o 5402
o 5401
o 5399
o 5398
o 5396
o 5392
o 5391
o 5389
o 5387
o 5385
o 5383
o 5382
o 5379
o 5377
o 5373
o 5370
o 5369
o 5357
o 5354
o 5351
o 5349
o 5348
o 5342
o 5334
o 5333
o 5328
o 5321
o 5315
o 5312
o 5310
o 5306
o 5301
o 5300
o 5299
o 5285
o 5283
o 5280
o 5279
o 5274
o 5271
o 5266
o 5259
o 5251
o 5239
o 5237
o 5236
o 5235
o 5234
o 5232
o 5228
o 5226
o 5224
o 5219
o 5204
o 5198
o 5197
o 5193
o 5192
o 5188
o 5184
o 5175
o 5173
o 5171
o 5168
o 5161
o 5159
o 5155
o 5154
o 5153
o 5152
o 5140
o 5138
o 5136
o 5135
o 5132
o 5125
o 5124
o 5122
o 5121
o 5119
o 5105
o 5104
o 5102
o 5100
o 5099
o 5097
o 5096
o 5093
o 5087
o 5086
o 5084
o 5083
o 5082
o 5080
o 5078
o 5074
o 5073
o 5072
o 5063
o 5062
o 5058
o 5057
o 5049
o 5045
o 5043
o 5041
o 5033
o 5030
o 5024
o 5023
o 5015
o 5009
o 5005
o 5001
o 5000
o 4996
o 4990
o 4989
o 4988
o 4986
o 4983
o 4981
o 4977
o 4976
o 4974
o 4969
o 4964
o 4960
o 4959
o 4958
o 4952
o 4949
o 4945
s OPTIMUM FOUND
c Optimal Solution = 4945
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 62.230 seconds.
62.224u 0.019s 1:02.37 99.7%	0+0k 0+0io 0pf+0w