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_7.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 24661 o 5316 o 5314 o 5310 o 5304 o 5303 o 5302 o 5298 o 5297 o 5285 o 5283 o 5280 o 5277 o 5263 o 5255 o 5252 o 5251 o 5247 o 5244 o 5243 o 5241 o 5217 o 5216 o 5215 o 5213 o 5211 o 5191 o 5188 o 5182 o 5168 o 5165 o 5164 o 5162 o 5161 o 5160 o 5138 o 5129 o 5111 o 5107 o 5106 o 5105 o 5093 o 5089 o 5084 o 5081 o 5079 o 5074 o 5072 o 5071 o 5070 o 5067 o 5056 o 5054 o 5049 o 5045 o 5027 o 5014 o 5012 o 5006 o 5005 o 5001 o 4989 o 4984 o 4982 o 4972 o 4970 o 4967 o 4966 o 4963 o 4959 o 4956 o 4954 o 4948 o 4947 o 4936 o 4935 o 4933 o 4925 o 4918 o 4917 o 4916 o 4898 o 4897 o 4890 o 4887 o 4884 o 4878 o 4863 o 4854 o 4852 o 4848 o 4846 o 4843 o 4842 o 4839 o 4837 o 4836 o 4832 o 4819 o 4816 o 4814 o 4807 o 4800 o 4789 o 4782 o 4776 o 4775 o 4771 o 4761 o 4759 o 4752 o 4751 o 4749 o 4739 o 4736 o 4734 o 4731 o 4727 o 4717 o 4712 o 4710 s OPTIMUM FOUND c Optimal Solution = 4710 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 231.050 seconds. 231.016u 0.007s 6:39.06 57.8% 0+0k 0+0io 0pf+0w