| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 189 | 3600.09 | 3610.12 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 179 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 470 |
| Total number of constraints | 470 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 470 #constraints 470 0.09/0.19 c bounds - >= 0 @ 0.002511 0.09/0.19 c bounds 224 >= 0 @ 0.127057 0.09/0.19 c bounds 224 >= 1 @ 0.127279 0.09/0.19 c bounds 224 >= 2 @ 0.12748 0.09/0.19 c bounds 224 >= 3 @ 0.127673 0.09/0.19 c bounds 224 >= 4 @ 0.127843 0.09/0.19 c bounds 224 >= 5 @ 0.128004 0.09/0.19 c bounds 224 >= 6 @ 0.128181 0.09/0.19 c bounds 224 >= 7 @ 0.128377 0.09/0.19 c bounds 224 >= 8 @ 0.128564 0.09/0.19 c bounds 224 >= 9 @ 0.128771 0.09/0.19 c bounds 224 >= 10 @ 0.128961 0.09/0.19 c bounds 224 >= 11 @ 0.129147 0.09/0.19 c bounds 224 >= 12 @ 0.129357 0.09/0.19 c bounds 224 >= 13 @ 0.12956 0.09/0.19 c bounds 224 >= 14 @ 0.129779 0.09/0.19 c bounds 224 >= 15 @ 0.129981 0.09/0.19 c bounds 224 >= 16 @ 0.130181 0.09/0.19 c bounds 224 >= 17 @ 0.130379 0.09/0.19 c bounds 224 >= 18 @ 0.130587 0.09/0.19 c bounds 224 >= 19 @ 0.130794 0.09/0.19 c bounds 224 >= 20 @ 0.131 0.09/0.19 c bounds 224 >= 21 @ 0.131204 0.09/0.19 c bounds 224 >= 22 @ 0.131414 0.09/0.19 c bounds 224 >= 23 @ 0.131633 0.09/0.19 c bounds 224 >= 24 @ 0.13188 0.09/0.19 c bounds 224 >= 25 @ 0.132092 0.09/0.19 c bounds 224 >= 26 @ 0.132303 0.09/0.19 c bounds 224 >= 27 @ 0.132518 0.09/0.19 c bounds 224 >= 28 @ 0.13273 0.09/0.19 c bounds 224 >= 29 @ 0.132942 0.09/0.19 c bounds 223 >= 29 @ 0.15066 0.09/0.19 c bounds 223 >= 30 @ 0.1509 0.09/0.19 c bounds 223 >= 31 @ 0.151131 0.09/0.19 c bounds 223 >= 32 @ 0.151358 0.09/0.19 c bounds 223 >= 33 @ 0.151586 0.09/0.19 c bounds 223 >= 34 @ 0.151821 0.09/0.19 c bounds 223 >= 35 @ 0.152057 0.09/0.19 c bounds 223 >= 36 @ 0.152299 0.09/0.19 c bounds 223 >= 37 @ 0.152523 0.09/0.19 c bounds 223 >= 38 @ 0.152752 0.09/0.19 c bounds 223 >= 39 @ 0.152996 0.09/0.19 c bounds 223 >= 40 @ 0.153275 0.09/0.19 c bounds 223 >= 41 @ 0.153768 0.09/0.19 c bounds 223 >= 42 @ 0.154009 0.09/0.19 c bounds 223 >= 43 @ 0.15424 0.09/0.19 c bounds 223 >= 44 @ 0.15424 0.09/0.19 c bounds 223 >= 45 @ 0.15424 0.09/0.19 c bounds 223 >= 46 @ 0.15424 0.09/0.19 c bounds 223 >= 47 @ 0.15424 0.09/0.19 c bounds 223 >= 48 @ 0.154407 0.09/0.19 c bounds 223 >= 49 @ 0.15465 0.09/0.19 c bounds 223 >= 50 @ 0.154883 0.09/0.19 c bounds 223 >= 51 @ 0.15512 0.09/0.19 c bounds 223 >= 52 @ 0.155383 0.09/0.19 c bounds 223 >= 53 @ 0.155644 0.09/0.19 c bounds 223 >= 54 @ 0.155895 0.09/0.19 c bounds 223 >= 55 @ 0.156156 0.09/0.19 c bounds 223 >= 56 @ 0.156241 0.09/0.19 c bounds 223 >= 57 @ 0.156241 0.09/0.19 c bounds 223 >= 58 @ 0.156241 0.09/0.19 c bounds 223 >= 59 @ 0.156241 0.09/0.19 c bounds 223 >= 60 @ 0.156511 0.09/0.19 c bounds 223 >= 61 @ 0.156778 0.09/0.19 c bounds 223 >= 62 @ 0.157056 0.09/0.19 c bounds 223 >= 63 @ 0.157331 0.09/0.19 c bounds 223 >= 64 @ 0.157623 0.09/0.19 c bounds 223 >= 65 @ 0.157896 0.09/0.19 c bounds 223 >= 66 @ 0.158169 0.09/0.19 c bounds 223 >= 67 @ 0.158439 0.09/0.19 c bounds 223 >= 68 @ 0.15871 0.09/0.19 c bounds 223 >= 69 @ 0.15899 0.09/0.19 c bounds 223 >= 70 @ 0.159258 0.09/0.19 c bounds 223 >= 71 @ 0.159539 0.09/0.19 c bounds 223 >= 72 @ 0.15982 0.09/0.19 c bounds 223 >= 73 @ 0.160106 0.09/0.19 c bounds 223 >= 74 @ 0.160394 0.09/0.19 c bounds 223 >= 75 @ 0.160674 0.09/0.19 c bounds 223 >= 76 @ 0.160964 0.09/0.19 c bounds 223 >= 77 @ 0.161245 0.09/0.19 c bounds 223 >= 78 @ 0.161528 0.09/0.19 c bounds 223 >= 79 @ 0.161808 0.09/0.19 c bounds 223 >= 80 @ 0.162094 0.09/0.19 c bounds 223 >= 81 @ 0.162378 0.09/0.19 c bounds 223 >= 82 @ 0.16266 0.09/0.19 c bounds 223 >= 83 @ 0.162967 0.09/0.19 c bounds 223 >= 84 @ 0.163264 0.09/0.19 c bounds 223 >= 85 @ 0.163556 0.09/0.19 c bounds 223 >= 86 @ 0.163849 0.09/0.19 c bounds 223 >= 87 @ 0.164135 0.09/0.19 c bounds 223 >= 88 @ 0.164224 0.09/0.19 c bounds 223 >= 89 @ 0.164224 0.09/0.19 c bounds 223 >= 90 @ 0.164224 0.09/0.19 c bounds 223 >= 91 @ 0.164357 0.09/0.19 c bounds 223 >= 92 @ 0.164619 0.09/0.19 c bounds 223 >= 93 @ 0.164879 0.09/0.19 c bounds 223 >= 94 @ 0.165134 0.09/0.19 c bounds 223 >= 95 @ 0.165227 0.09/0.19 c bounds 223 >= 96 @ 0.165227 0.09/0.19 c bounds 223 >= 97 @ 0.165227 0.09/0.19 c bounds 223 >= 98 @ 0.165366 0.09/0.19 c bounds 223 >= 99 @ 0.165668 0.09/0.19 c bounds 223 >= 100 @ 0.165953 0.09/0.19 c bounds 223 >= 101 @ 0.166242 0.09/0.19 c bounds 223 >= 102 @ 0.166544 0.09/0.19 c bounds 223 >= 103 @ 0.166855 0.09/0.19 c bounds 223 >= 104 @ 0.16716 0.09/0.19 c bounds 223 >= 105 @ 0.167227 0.09/0.19 c bounds 223 >= 106 @ 0.167227 0.09/0.19 c bounds 223 >= 107 @ 0.167227 0.09/0.19 c bounds 223 >= 108 @ 0.167399 0.09/0.19 c bounds 223 >= 109 @ 0.167699 0.09/0.19 c bounds 223 >= 110 @ 0.168016 0.09/0.19 c bounds 223 >= 111 @ 0.168331 0.09/0.19 c bounds 223 >= 112 @ 0.168663 0.09/0.19 c bounds 223 >= 113 @ 0.168987 0.09/0.19 c bounds 223 >= 114 @ 0.169307 0.09/0.19 c bounds 223 >= 115 @ 0.169619 0.09/0.19 c bounds 223 >= 116 @ 0.169939 0.09/0.19 c bounds 223 >= 117 @ 0.170261 0.09/0.19 c bounds 223 >= 118 @ 0.17058 0.09/0.19 c bounds 223 >= 119 @ 0.170878 0.09/0.19 c bounds 223 >= 120 @ 0.17117 0.09/0.19 c bounds 223 >= 121 @ 0.171472 0.09/0.19 c bounds 223 >= 122 @ 0.171779 0.09/0.19 c bounds 223 >= 123 @ 0.172091 0.09/0.19 c bounds 223 >= 124 @ 0.172451 0.09/0.19 c bounds 223 >= 125 @ 0.172799 0.09/0.19 c bounds 223 >= 126 @ 0.173156 0.09/0.19 c bounds 223 >= 127 @ 0.173505 0.09/0.19 c bounds 223 >= 128 @ 0.173871 0.09/0.19 c bounds 223 >= 129 @ 0.174261 0.09/0.19 c bounds 223 >= 130 @ 0.174636 0.09/0.19 c bounds 223 >= 131 @ 0.175017 0.09/0.19 c bounds 223 >= 132 @ 0.175207 0.09/0.19 c bounds 223 >= 133 @ 0.175207 0.09/0.19 c bounds 223 >= 134 @ 0.175365 0.49/0.52 c bounds 223 >= 135 @ 0.176022 0.49/0.52 c bounds 223 >= 136 @ 0.17621 0.49/0.52 c bounds 223 >= 137 @ 0.176347 0.49/0.52 c bounds 223 >= 138 @ 0.177173 0.49/0.52 c bounds 223 >= 139 @ 0.177213 0.49/0.52 c bounds 223 >= 140 @ 0.177957 0.49/0.52 c bounds 223 >= 141 @ 0.179207 0.49/0.52 c bounds 223 >= 142 @ 0.182722 0.49/0.52 c bounds 222 >= 142 @ 0.191698 0.49/0.52 c bounds 222 >= 143 @ 0.193987 0.49/0.52 c bounds 222 >= 144 @ 0.200901 0.49/0.52 c bounds 221 >= 144 @ 0.20258 0.49/0.52 c bounds 220 >= 144 @ 0.203216 0.49/0.52 c bounds 219 >= 144 @ 0.205249 0.49/0.52 c #Conflicts: 1000 | #Constraints: 2183 0.49/0.52 c bounds 219 >= 145 @ 0.259684 0.49/0.52 c bounds 218 >= 145 @ 0.261965 0.49/0.52 c bounds 217 >= 145 @ 0.27401 0.49/0.52 c bounds 216 >= 145 @ 0.29297 0.49/0.52 c bounds 215 >= 145 @ 0.322401 0.49/0.52 c #Conflicts: 2000 | #Constraints: 3271 0.49/0.52 c INPROCESSING 0.49/0.52 c GARBAGE COLLECT 0.49/0.52 c rational objective 145 1.38/1.40 c #Conflicts: 3000 | #Constraints: 3130 1.38/1.40 c bounds 215 >= 146 @ 0.894068 1.38/1.40 c #Conflicts: 4000 | #Constraints: 4172 1.38/1.40 c INPROCESSING 1.38/1.40 c GARBAGE COLLECT 1.38/1.40 c rational objective 146 2.09/2.15 c #Conflicts: 5000 | #Constraints: 3580 2.09/2.15 c #Conflicts: 6000 | #Constraints: 4580 2.09/2.15 c INPROCESSING 2.09/2.15 c GARBAGE COLLECT 2.09/2.15 c rational objective 146 2.77/2.88 c #Conflicts: 7000 | #Constraints: 3634 2.77/2.88 c bounds 214 >= 146 @ 2.09417 2.77/2.88 c bounds 213 >= 146 @ 2.10111 2.77/2.88 c #Conflicts: 8000 | #Constraints: 4636 2.77/2.88 c bounds 212 >= 146 @ 2.49648 2.77/2.88 c #Conflicts: 9000 | #Constraints: 5637 2.77/2.88 c INPROCESSING 2.77/2.88 c GARBAGE COLLECT 2.77/2.88 c rational objective 146 3.77/3.87 c #Conflicts: 10000 | #Constraints: 4314 3.77/3.87 c #Conflicts: 11000 | #Constraints: 5314 3.77/3.87 c #Conflicts: 12000 | #Constraints: 6314 3.77/3.87 c INPROCESSING 3.77/3.87 c GARBAGE COLLECT 3.77/3.87 c rational objective 146 5.37/5.40 c #Conflicts: 13000 | #Constraints: 4753 5.37/5.40 c #Conflicts: 14000 | #Constraints: 5753 5.37/5.40 c bounds 212 >= 147 @ 5.01552 5.37/5.40 c bounds 211 >= 147 @ 5.02773 5.37/5.40 c #Conflicts: 15000 | #Constraints: 6820 5.37/5.40 c INPROCESSING 5.37/5.40 c GARBAGE COLLECT 5.37/5.40 c rational objective 147 6.46/6.54 c #Conflicts: 16000 | #Constraints: 5042 6.46/6.54 c #Conflicts: 17000 | #Constraints: 6042 6.46/6.54 c bounds 210 >= 147 @ 5.8551 6.46/6.54 c #Conflicts: 18000 | #Constraints: 7043 6.46/6.54 c INPROCESSING 6.46/6.54 c GARBAGE COLLECT 6.46/6.54 c rational objective 147 8.16/8.20 c #Conflicts: 19000 | #Constraints: 5099 8.16/8.20 c #Conflicts: 20000 | #Constraints: 6099 8.16/8.20 c #Conflicts: 21000 | #Constraints: 7099 8.16/8.20 c INPROCESSING 8.16/8.20 c GARBAGE COLLECT 8.16/8.20 c rational objective 147 19.83/19.99 c bounds 209 >= 147 @ 7.90481 19.83/19.99 c #Conflicts: 22000 | #Constraints: 4937 19.83/19.99 c bounds 208 >= 147 @ 8.07851 19.83/19.99 c bounds 207 >= 147 @ 8.09683 19.83/19.99 c bounds 206 >= 147 @ 8.16064 19.83/19.99 c #Conflicts: 23000 | #Constraints: 5940 19.83/19.99 c bounds 205 >= 147 @ 8.51527 19.83/19.99 c #Conflicts: 24000 | #Constraints: 6941 19.83/19.99 c #Conflicts: 25000 | #Constraints: 7941 19.83/19.99 c #Conflicts: 26000 | #Constraints: 8941 19.83/19.99 c #Conflicts: 27000 | #Constraints: 9941 19.83/19.99 c #Conflicts: 28000 | #Constraints: 10941 19.83/19.99 c bounds 204 >= 147 @ 10.9741 19.83/19.99 c #Conflicts: 29000 | #Constraints: 11942 19.83/19.99 c bounds 204 >= 148 @ 11.9082 19.83/19.99 c #Conflicts: 30000 | #Constraints: 12984 19.83/19.99 c #Conflicts: 31000 | #Constraints: 13984 19.83/19.99 c #Conflicts: 32000 | #Constraints: 14984 19.83/19.99 c #Conflicts: 33000 | #Constraints: 15984 19.83/19.99 c INPROCESSING 19.83/19.99 c GARBAGE COLLECT 19.83/19.99 c rational objective 148 22.33/22.41 c bounds 203 >= 148 @ 19.3684 22.33/22.41 c bounds 202 >= 148 @ 19.371 22.33/22.41 c bounds 201 >= 148 @ 19.3981 22.33/22.41 c #Conflicts: 34000 | #Constraints: 9578 22.33/22.41 c #Conflicts: 35000 | #Constraints: 10578 22.33/22.41 c #Conflicts: 36000 | #Constraints: 11578 22.33/22.41 c #Conflicts: 37000 | #Constraints: 12578 22.33/22.41 c #Conflicts: 38000 | #Constraints: 13578 22.33/22.41 c INPROCESSING 22.33/22.41 c GARBAGE COLLECT 22.33/22.41 c rational objective 148 26.21/26.30 c #Conflicts: 39000 | #Constraints: 8448 26.21/26.30 c #Conflicts: 40000 | #Constraints: 9448 26.21/26.30 c #Conflicts: 41000 | #Constraints: 10448 26.21/26.30 c #Conflicts: 42000 | #Constraints: 11448 26.21/26.30 c INPROCESSING 26.21/26.30 c GARBAGE COLLECT 26.21/26.30 c rational objective 148 29.91/30.06 c #Conflicts: 43000 | #Constraints: 6940 29.91/30.06 c #Conflicts: 44000 | #Constraints: 7940 29.91/30.06 c #Conflicts: 45000 | #Constraints: 8940 29.91/30.06 c #Conflicts: 46000 | #Constraints: 9940 29.91/30.06 c #Conflicts: 47000 | #Constraints: 10940 29.91/30.06 c #Conflicts: 48000 | #Constraints: 11940 29.91/30.06 c INPROCESSING 29.91/30.06 c GARBAGE COLLECT 29.91/30.06 c rational objective 148 46.06/46.28 c #Conflicts: 49000 | #Constraints: 7698 46.06/46.28 c #Conflicts: 50000 | #Constraints: 8698 46.06/46.28 c #Conflicts: 51000 | #Constraints: 9698 46.06/46.28 c #Conflicts: 52000 | #Constraints: 10698 46.06/46.28 c #Conflicts: 53000 | #Constraints: 11698 46.06/46.28 c bounds 201 >= 149 @ 33.9079 46.06/46.28 c bounds 200 >= 149 @ 33.9157 46.06/46.28 c bounds 199 >= 149 @ 33.9223 46.06/46.28 c #Conflicts: 54000 | #Constraints: 12742 46.06/46.28 c bounds 198 >= 149 @ 34.046 46.06/46.28 c #Conflicts: 55000 | #Constraints: 13743 46.06/46.28 c bounds 197 >= 149 @ 34.6841 46.06/46.28 c #Conflicts: 56000 | #Constraints: 14744 46.06/46.28 c #Conflicts: 57000 | #Constraints: 15744 46.06/46.28 c bounds 196 >= 149 @ 35.553 46.06/46.28 c bounds 195 >= 149 @ 35.7464 46.06/46.28 c #Conflicts: 58000 | #Constraints: 16746 46.06/46.28 c #Conflicts: 59000 | #Constraints: 17746 46.06/46.28 c #Conflicts: 60000 | #Constraints: 18746 46.06/46.28 c #Conflicts: 61000 | #Constraints: 19746 46.06/46.28 c #Conflicts: 62000 | #Constraints: 20746 46.06/46.28 c #Conflicts: 63000 | #Constraints: 21746 46.06/46.28 c #Conflicts: 64000 | #Constraints: 22746 46.06/46.28 c bounds 194 >= 149 @ 42.3575 46.06/46.28 c #Conflicts: 65000 | #Constraints: 23747 46.06/46.28 c INPROCESSING 46.06/46.28 c GARBAGE COLLECT 46.06/46.28 c rational objective 149 53.44/53.67 c #Conflicts: 66000 | #Constraints: 13623 53.44/53.67 c #Conflicts: 67000 | #Constraints: 14623 53.44/53.67 c #Conflicts: 68000 | #Constraints: 15623 53.44/53.67 c #Conflicts: 69000 | #Constraints: 16623 53.44/53.67 c #Conflicts: 70000 | #Constraints: 17623 53.44/53.67 c #Conflicts: 71000 | #Constraints: 18623 53.44/53.67 c INPROCESSING 53.44/53.67 c GARBAGE COLLECT 53.44/53.67 c rational objective 149 57.63/57.88 c #Conflicts: 72000 | #Constraints: 10882 57.63/57.88 c #Conflicts: 73000 | #Constraints: 11882 57.63/57.88 c #Conflicts: 74000 | #Constraints: 12882 57.63/57.88 c #Conflicts: 75000 | #Constraints: 13882 57.63/57.88 c #Conflicts: 76000 | #Constraints: 14882 57.63/57.88 c #Conflicts: 77000 | #Constraints: 15882 57.63/57.88 c #Conflicts: 78000 | #Constraints: 16882 57.63/57.88 c INPROCESSING 57.63/57.88 c GARBAGE COLLECT 57.63/57.88 c rational objective 149 87.35/87.63 c #Conflicts: 79000 | #Constraints: 10135 87.35/87.63 c #Conflicts: 80000 | #Constraints: 11135 87.35/87.63 c #Conflicts: 81000 | #Constraints: 12135 87.35/87.63 c #Conflicts: 82000 | #Constraints: 13135 87.35/87.63 c #Conflicts: 83000 | #Constraints: 14135 87.35/87.63 c #Conflicts: 84000 | #Constraints: 15135 87.35/87.63 c #Conflicts: 85000 | #Constraints: 16135 87.35/87.63 c #Conflicts: 86000 | #Constraints: 17135 87.35/87.63 c #Conflicts: 87000 | #Constraints: 18135 87.35/87.63 c #Conflicts: 88000 | #Constraints: 19135 87.35/87.63 c #Conflicts: 89000 | #Constraints: 20135 87.35/87.63 c #Conflicts: 90000 | #Constraints: 21135 87.35/87.63 c #Conflicts: 91000 | #Constraints: 22135 87.35/87.63 c #Conflicts: 92000 | #Constraints: 23135 87.35/87.63 c #Conflicts: 93000 | #Constraints: 24135 87.35/87.63 c #Conflicts: 94000 | #Constraints: 25135 87.35/87.63 c #Conflicts: 95000 | #Constraints: 26136 87.35/87.63 c #Conflicts: 96000 | #Constraints: 27136 87.35/87.63 c #Conflicts: 97000 | #Constraints: 28136 87.35/87.63 c #Conflicts: 98000 | #Constraints: 29136 87.35/87.63 c #Conflicts: 99000 | #Constraints: 30136 87.35/87.63 c INPROCESSING 87.35/87.63 c GARBAGE COLLECT 87.35/87.63 c rational objective 149 109.59/109.98 c #Conflicts: 100000 | #Constraints: 16658 109.59/109.98 c #Conflicts: 101000 | #Constraints: 17658 109.59/109.98 c #Conflicts: 102000 | #Constraints: 18658 109.59/109.98 c #Conflicts: 103000 | #Constraints: 19658 109.59/109.98 c #Conflicts: 104000 | #Constraints: 20658 109.59/109.98 c #Conflicts: 105000 | #Constraints: 21658 109.59/109.98 c #Conflicts: 106000 | #Constraints: 22658 109.59/109.98 c #Conflicts: 107000 | #Constraints: 23658 109.59/109.98 c INPROCESSING 109.59/109.98 c GARBAGE COLLECT 109.59/109.98 c rational objective 149 121.66/122.06 c #Conflicts: 108000 | #Constraints: 13545 121.66/122.06 c #Conflicts: 109000 | #Constraints: 14545 121.66/122.06 c #Conflicts: 110000 | #Constraints: 15545 121.66/122.06 c #Conflicts: 111000 | #Constraints: 16545 121.66/122.06 c #Conflicts: 112000 | #Constraints: 17545 121.66/122.06 c #Conflicts: 113000 | #Constraints: 18545 121.66/122.06 c #Conflicts: 114000 | #Constraints: 19545 121.66/122.06 c #Conflicts: 115000 | #Constraints: 20545 121.66/122.06 c INPROCESSING 121.66/122.06 c GARBAGE COLLECT 121.66/122.06 c rational objective 149 175.90/176.46 c #Conflicts: 116000 | #Constraints: 11931 175.90/176.46 c #Conflicts: 117000 | #Constraints: 12931 175.90/176.46 c #Conflicts: 118000 | #Constraints: 13931 175.90/176.46 c #Conflicts: 119000 | #Constraints: 14931 175.90/176.46 c #Conflicts: 120000 | #Constraints: 15931 175.90/176.46 c #Conflicts: 121000 | #Constraints: 16931 175.90/176.46 c #Conflicts: 122000 | #Constraints: 17931 175.90/176.46 c #Conflicts: 123000 | #Constraints: 18931 175.90/176.46 c #Conflicts: 124000 | #Constraints: 19931 175.90/176.46 c #Conflicts: 125000 | #Constraints: 20931 175.90/176.46 c #Conflicts: 126000 | #Constraints: 21931 175.90/176.46 c #Conflicts: 127000 | #Constraints: 22931 175.90/176.46 c #Conflicts: 128000 | #Constraints: 23931 175.90/176.46 c #Conflicts: 129000 | #Constraints: 24931 175.90/176.46 c #Conflicts: 130000 | #Constraints: 25931 175.90/176.46 c #Conflicts: 131000 | #Constraints: 26931 175.90/176.46 c #Conflicts: 132000 | #Constraints: 27931 175.90/176.46 c #Conflicts: 133000 | #Constraints: 28931 175.90/176.46 c #Conflicts: 134000 | #Constraints: 29931 175.90/176.46 c #Conflicts: 135000 | #Constraints: 30931 175.90/176.46 c #Conflicts: 136000 | #Constraints: 31931 175.90/176.46 c #Conflicts: 137000 | #Constraints: 32931 175.90/176.46 c #Conflicts: 138000 | #Constraints: 33931 175.90/176.46 c bounds 194 >= 150 @ 171.932 175.90/176.46 c #Conflicts: 139000 | #Constraints: 34967 175.90/176.46 c #Conflicts: 140000 | #Constraints: 35967 175.90/176.46 c INPROCESSING 175.90/176.46 c GARBAGE COLLECT 175.90/176.46 c rational objective 150 186.47/187.10 c bounds 193 >= 150 @ 173.431 186.47/187.10 c #Conflicts: 141000 | #Constraints: 19385 186.47/187.10 c #Conflicts: 142000 | #Constraints: 20385 186.47/187.10 c #Conflicts: 143000 | #Constraints: 21385 186.47/187.10 c #Conflicts: 144000 | #Constraints: 22385 186.47/187.10 c #Conflicts: 145000 | #Constraints: 23385 186.47/187.10 c #Conflicts: 146000 | #Constraints: 24385 186.47/187.10 c #Conflicts: 147000 | #Constraints: 25385 186.47/187.10 c #Conflicts: 148000 | #Constraints: 26385 186.47/187.10 c #Conflicts: 149000 | #Constraints: 27385 186.47/187.10 c #Conflicts: 150000 | #Constraints: 28385 186.47/187.10 c INPROCESSING 186.47/187.10 c GARBAGE COLLECT 186.47/187.10 c rational objective 150 197.13/197.72 c #Conflicts: 151000 | #Constraints: 15886 197.13/197.72 c #Conflicts: 152000 | #Constraints: 16886 197.13/197.72 c #Conflicts: 153000 | #Constraints: 17886 197.13/197.72 c #Conflicts: 154000 | #Constraints: 18886 197.13/197.72 c #Conflicts: 155000 | #Constraints: 19886 197.13/197.72 c #Conflicts: 156000 | #Constraints: 20886 197.13/197.72 c #Conflicts: 157000 | #Constraints: 21886 197.13/197.72 c #Conflicts: 158000 | #Constraints: 22886 197.13/197.72 c #Conflicts: 159000 | #Constraints: 23886 197.13/197.72 c INPROCESSING 197.13/197.72 c GARBAGE COLLECT 197.13/197.72 c rational objective 150 274.47/275.32 c #Conflicts: 160000 | #Constraints: 13354 274.47/275.32 c #Conflicts: 161000 | #Constraints: 14354 274.47/275.32 c #Conflicts: 162000 | #Constraints: 15354 274.47/275.32 c #Conflicts: 163000 | #Constraints: 16354 274.47/275.32 c #Conflicts: 164000 | #Constraints: 17354 274.47/275.32 c #Conflicts: 165000 | #Constraints: 18354 274.47/275.32 c #Conflicts: 166000 | #Constraints: 19354 274.47/275.32 c bounds 192 >= 150 @ 201.119 274.47/275.32 c #Conflicts: 167000 | #Constraints: 20355 274.47/275.32 c #Conflicts: 168000 | #Constraints: 21355 274.47/275.32 c #Conflicts: 169000 | #Constraints: 22355 274.47/275.32 c #Conflicts: 170000 | #Constraints: 23355 274.47/275.32 c #Conflicts: 171000 | #Constraints: 24355 274.47/275.32 c #Conflicts: 172000 | #Constraints: 25355 274.47/275.32 c #Conflicts: 173000 | #Constraints: 26355 274.47/275.32 c #Conflicts: 174000 | #Constraints: 27355 274.47/275.32 c #Conflicts: 175000 | #Constraints: 28355 274.47/275.32 c #Conflicts: 176000 | #Constraints: 29355 274.47/275.32 c #Conflicts: 177000 | #Constraints: 30355 274.47/275.32 c #Conflicts: 178000 | #Constraints: 31355 274.47/275.32 c #Conflicts: 179000 | #Constraints: 32355 274.47/275.32 c #Conflicts: 180000 | #Constraints: 33355 274.47/275.32 c #Conflicts: 181000 | #Constraints: 34355 274.47/275.32 c #Conflicts: 182000 | #Constraints: 35355 274.47/275.32 c #Conflicts: 183000 | #Constraints: 36355 274.47/275.32 c #Conflicts: 184000 | #Constraints: 37355 274.47/275.32 c #Conflicts: 185000 | #Constraints: 38355 274.47/275.32 c #Conflicts: 186000 | #Constraints: 39355 274.47/275.32 c bounds 191 >= 150 @ 249.708 274.47/275.32 c #Conflicts: 187000 | #Constraints: 40356 274.47/275.32 c #Conflicts: 188000 | #Constraints: 41356 274.47/275.32 c #Conflicts: 189000 | #Constraints: 42356 274.47/275.32 c INPROCESSING 274.47/275.32 c GARBAGE COLLECT 274.47/275.32 c rational objective 150 323.21/324.22 c #Conflicts: 190000 | #Constraints: 22862 323.21/324.22 c #Conflicts: 191000 | #Constraints: 23862 323.21/324.22 c #Conflicts: 192000 | #Constraints: 24862 323.21/324.22 c #Conflicts: 193000 | #Constraints: 25862 323.21/324.22 c #Conflicts: 194000 | #Constraints: 26862 323.21/324.22 c #Conflicts: 195000 | #Constraints: 27862 323.21/324.22 c #Conflicts: 196000 | #Constraints: 28862 323.21/324.22 c #Conflicts: 197000 | #Constraints: 29862 323.21/324.22 c #Conflicts: 198000 | #Constraints: 30862 323.21/324.22 c #Conflicts: 199000 | #Constraints: 31862 323.21/324.22 c #Conflicts: 200000 | #Constraints: 32862 323.21/324.22 c INPROCESSING 323.21/324.22 c GARBAGE COLLECT 323.21/324.22 c rational objective 150 346.54/347.68 c #Conflicts: 201000 | #Constraints: 18166 346.54/347.68 c #Conflicts: 202000 | #Constraints: 19166 346.54/347.68 c #Conflicts: 203000 | #Constraints: 20166 346.54/347.68 c #Conflicts: 204000 | #Constraints: 21166 346.54/347.68 c #Conflicts: 205000 | #Constraints: 22166 346.54/347.68 c #Conflicts: 206000 | #Constraints: 23166 346.54/347.68 c #Conflicts: 207000 | #Constraints: 24166 346.54/347.68 c #Conflicts: 208000 | #Constraints: 25166 346.54/347.68 c #Conflicts: 209000 | #Constraints: 26166 346.54/347.68 c #Conflicts: 210000 | #Constraints: 27166 346.54/347.68 c #Conflicts: 211000 | #Constraints: 28166 346.54/347.68 c INPROCESSING 346.54/347.68 c GARBAGE COLLECT 346.54/347.68 c rational objective 150 470.74/472.26 c #Conflicts: 212000 | #Constraints: 15779 470.74/472.26 c #Conflicts: 213000 | #Constraints: 16779 470.74/472.26 c #Conflicts: 214000 | #Constraints: 17779 470.74/472.26 c #Conflicts: 215000 | #Constraints: 18779 470.74/472.26 c #Conflicts: 216000 | #Constraints: 19779 470.74/472.26 c #Conflicts: 217000 | #Constraints: 20779 470.74/472.26 c #Conflicts: 218000 | #Constraints: 21779 470.74/472.26 c #Conflicts: 219000 | #Constraints: 22779 470.74/472.26 c #Conflicts: 220000 | #Constraints: 23779 470.74/472.26 c #Conflicts: 221000 | #Constraints: 24779 470.74/472.26 c #Conflicts: 222000 | #Constraints: 25779 470.74/472.26 c #Conflicts: 223000 | #Constraints: 26779 470.74/472.26 c #Conflicts: 224000 | #Constraints: 27779 470.74/472.26 c #Conflicts: 225000 | #Constraints: 28779 470.74/472.26 c #Conflicts: 226000 | #Constraints: 29779 470.74/472.26 c #Conflicts: 227000 | #Constraints: 30779 470.74/472.26 c #Conflicts: 228000 | #Constraints: 31779 470.74/472.26 c #Conflicts: 229000 | #Constraints: 32779 470.74/472.26 c #Conflicts: 230000 | #Constraints: 33779 470.74/472.26 c #Conflicts: 231000 | #Constraints: 34779 470.74/472.26 c bounds 190 >= 150 @ 374.219 470.74/472.26 c #Conflicts: 232000 | #Constraints: 35780 470.74/472.26 c #Conflicts: 233000 | #Constraints: 36780 470.74/472.26 c #Conflicts: 234000 | #Constraints: 37780 470.74/472.26 c #Conflicts: 235000 | #Constraints: 38780 470.74/472.26 c #Conflicts: 236000 | #Constraints: 39780 470.74/472.26 c #Conflicts: 237000 | #Constraints: 40780 470.74/472.26 c #Conflicts: 238000 | #Constraints: 41780 470.74/472.26 c #Conflicts: 239000 | #Constraints: 42780 470.74/472.26 c #Conflicts: 240000 | #Constraints: 43780 470.74/472.26 c #Conflicts: 241000 | #Constraints: 44780 470.74/472.26 c #Conflicts: 242000 | #Constraints: 45780 470.74/472.26 c #Conflicts: 243000 | #Constraints: 46780 470.74/472.26 c #Conflicts: 244000 | #Constraints: 47780 470.74/472.26 c #Conflicts: 245000 | #Constraints: 48780 470.74/472.26 c INPROCESSING 470.74/472.26 c GARBAGE COLLECT 470.74/472.26 c rational objective 150 487.29/488.85 c #Conflicts: 246000 | #Constraints: 26171 487.29/488.85 c #Conflicts: 247000 | #Constraints: 27171 487.29/488.85 c #Conflicts: 248000 | #Constraints: 28171 487.29/488.85 c #Conflicts: 249000 | #Constraints: 29171 487.29/488.85 c #Conflicts: 250000 | #Constraints: 30171 487.29/488.85 c #Conflicts: 251000 | #Constraints: 31171 487.29/488.85 c #Conflicts: 252000 | #Constraints: 32171 487.29/488.85 c #Conflicts: 253000 | #Constraints: 33171 487.29/488.85 c #Conflicts: 254000 | #Constraints: 34171 487.29/488.85 c #Conflicts: 255000 | #Constraints: 35171 487.29/488.85 c #Conflicts: 256000 | #Constraints: 36171 487.29/488.85 c #Conflicts: 257000 | #Constraints: 37171 487.29/488.85 c INPROCESSING 487.29/488.85 c GARBAGE COLLECT 487.29/488.85 c rational objective 150 503.55/505.11 c #Conflicts: 258000 | #Constraints: 20090 503.55/505.11 c #Conflicts: 259000 | #Constraints: 21090 503.55/505.11 c #Conflicts: 260000 | #Constraints: 22090 503.55/505.11 c #Conflicts: 261000 | #Constraints: 23090 503.55/505.11 c #Conflicts: 262000 | #Constraints: 24090 503.55/505.11 c #Conflicts: 263000 | #Constraints: 25090 503.55/505.11 c #Conflicts: 264000 | #Constraints: 26090 503.55/505.11 c #Conflicts: 265000 | #Constraints: 27090 503.55/505.11 c #Conflicts: 266000 | #Constraints: 28090 503.55/505.11 c #Conflicts: 267000 | #Constraints: 29090 503.55/505.11 c #Conflicts: 268000 | #Constraints: 30090 503.55/505.11 c #Conflicts: 269000 | #Constraints: 31090 503.55/505.11 c #Conflicts: 270000 | #Constraints: 32090 503.55/505.11 c INPROCESSING 503.55/505.11 c GARBAGE COLLECT 503.55/505.11 c rational objective 150 652.06/654.01 c #Conflicts: 271000 | #Constraints: 17755 652.06/654.01 c #Conflicts: 272000 | #Constraints: 18755 652.06/654.01 c #Conflicts: 273000 | #Constraints: 19755 652.06/654.01 c #Conflicts: 274000 | #Constraints: 20755 652.06/654.01 c #Conflicts: 275000 | #Constraints: 21755 652.06/654.01 c #Conflicts: 276000 | #Constraints: 22755 652.06/654.01 c #Conflicts: 277000 | #Constraints: 23755 652.06/654.01 c #Conflicts: 278000 | #Constraints: 24755 652.06/654.01 c #Conflicts: 279000 | #Constraints: 25755 652.06/654.01 c #Conflicts: 280000 | #Constraints: 26755 652.06/654.01 c #Conflicts: 281000 | #Constraints: 27755 652.06/654.01 c #Conflicts: 282000 | #Constraints: 28755 652.06/654.01 c #Conflicts: 283000 | #Constraints: 29755 652.06/654.01 c #Conflicts: 284000 | #Constraints: 30755 652.06/654.01 c #Conflicts: 285000 | #Constraints: 31755 652.06/654.01 c #Conflicts: 286000 | #Constraints: 32755 652.06/654.01 c #Conflicts: 287000 | #Constraints: 33755 652.06/654.01 c #Conflicts: 288000 | #Constraints: 34755 652.06/654.01 c #Conflicts: 289000 | #Constraints: 35755 652.06/654.01 c #Conflicts: 290000 | #Constraints: 36755 652.06/654.01 c #Conflicts: 291000 | #Constraints: 37755 652.06/654.01 c #Conflicts: 292000 | #Constraints: 38755 652.06/654.01 c #Conflicts: 293000 | #Constraints: 39755 652.06/654.01 c #Conflicts: 294000 | #Constraints: 40755 652.06/654.01 c #Conflicts: 295000 | #Constraints: 41755 652.06/654.01 c #Conflicts: 296000 | #Constraints: 42755 652.06/654.01 c #Conflicts: 297000 | #Constraints: 43755 652.06/654.01 c #Conflicts: 298000 | #Constraints: 44755 652.06/654.01 c #Conflicts: 299000 | #Constraints: 45755 652.06/654.01 c #Conflicts: 300000 | #Constraints: 46755 652.06/654.01 c #Conflicts: 301000 | #Constraints: 47755 652.06/654.01 c #Conflicts: 302000 | #Constraints: 48755 652.06/654.01 c #Conflicts: 303000 | #Constraints: 49755 652.06/654.01 c #Conflicts: 304000 | #Constraints: 50755 652.06/654.01 c #Conflicts: 305000 | #Constraints: 51755 652.06/654.01 c #Conflicts: 306000 | #Constraints: 52755 652.06/654.01 c #Conflicts: 307000 | #Constraints: 53755 652.06/654.01 c #Conflicts: 308000 | #Constraints: 54755 652.06/654.01 c INPROCESSING 652.06/654.01 c GARBAGE COLLECT 652.06/654.01 c rational objective 150 684.17/686.20 c bounds 189 >= 150 @ 646.155 684.17/686.20 c #Conflicts: 309000 | #Constraints: 29181 684.17/686.20 c #Conflicts: 310000 | #Constraints: 30181 684.17/686.20 c #Conflicts: 311000 | #Constraints: 31181 684.17/686.20 c #Conflicts: 312000 | #Constraints: 32181 684.17/686.20 c #Conflicts: 313000 | #Constraints: 33181 684.17/686.20 c #Conflicts: 314000 | #Constraints: 34181 684.17/686.20 c #Conflicts: 315000 | #Constraints: 35181 684.17/686.20 c #Conflicts: 316000 | #Constraints: 36181 684.17/686.20 c #Conflicts: 317000 | #Constraints: 37181 684.17/686.20 c #Conflicts: 318000 | #Constraints: 38181 684.17/686.20 c #Conflicts: 319000 | #Constraints: 39181 684.17/686.20 c #Conflicts: 320000 | #Constraints: 40181 684.17/686.20 c #Conflicts: 321000 | #Constraints: 41181 684.17/686.20 c INPROCESSING 684.17/686.20 c GARBAGE COLLECT 684.17/686.20 c rational objective 150 709.60/711.74 c #Conflicts: 322000 | #Constraints: 21851 709.60/711.74 c #Conflicts: 323000 | #Constraints: 22851 709.60/711.74 c #Conflicts: 324000 | #Constraints: 23851 709.60/711.74 c #Conflicts: 325000 | #Constraints: 24851 709.60/711.74 c #Conflicts: 326000 | #Constraints: 25851 709.60/711.74 c #Conflicts: 327000 | #Constraints: 26851 709.60/711.74 c #Conflicts: 328000 | #Constraints: 27851 709.60/711.74 c #Conflicts: 329000 | #Constraints: 28851 709.60/711.74 c #Conflicts: 330000 | #Constraints: 29851 709.60/711.74 c #Conflicts: 331000 | #Constraints: 30851 709.60/711.74 c #Conflicts: 332000 | #Constraints: 31851 709.60/711.74 c #Conflicts: 333000 | #Constraints: 32851 709.60/711.74 c #Conflicts: 334000 | #Constraints: 33851 709.60/711.74 c #Conflicts: 335000 | #Constraints: 34851 709.60/711.74 c #Conflicts: 336000 | #Constraints: 35851 709.60/711.74 c INPROCESSING 709.60/711.74 c GARBAGE COLLECT 709.60/711.74 c rational objective 150 878.23/880.84 c #Conflicts: 337000 | #Constraints: 20052 878.23/880.84 c #Conflicts: 338000 | #Constraints: 21052 878.23/880.84 c #Conflicts: 339000 | #Constraints: 22052 878.23/880.84 c #Conflicts: 340000 | #Constraints: 23052 878.23/880.84 c #Conflicts: 341000 | #Constraints: 24052 878.23/880.84 c #Conflicts: 342000 | #Constraints: 25052 878.23/880.84 c #Conflicts: 343000 | #Constraints: 26052 878.23/880.84 c #Conflicts: 344000 | #Constraints: 27052 878.23/880.84 c #Conflicts: 345000 | #Constraints: 28052 878.23/880.84 c #Conflicts: 346000 | #Constraints: 29052 878.23/880.84 c #Conflicts: 347000 | #Constraints: 30052 878.23/880.84 c #Conflicts: 348000 | #Constraints: 31052 878.23/880.84 c #Conflicts: 349000 | #Constraints: 32052 878.23/880.84 c #Conflicts: 350000 | #Constraints: 33052 878.23/880.84 c #Conflicts: 351000 | #Constraints: 34052 878.23/880.84 c #Conflicts: 352000 | #Constraints: 35052 878.23/880.84 c #Conflicts: 353000 | #Constraints: 36052 878.23/880.84 c #Conflicts: 354000 | #Constraints: 37052 878.23/880.84 c #Conflicts: 355000 | #Constraints: 38052 878.23/880.84 c #Conflicts: 356000 | #Constraints: 39052 878.23/880.84 c #Conflicts: 357000 | #Constraints: 40052 878.23/880.84 c #Conflicts: 358000 | #Constraints: 41052 878.23/880.84 c #Conflicts: 359000 | #Constraints: 42052 878.23/880.84 c #Conflicts: 360000 | #Constraints: 43052 878.23/880.84 c #Conflicts: 361000 | #Constraints: 44052 878.23/880.84 c #Conflicts: 362000 | #Constraints: 45052 878.23/880.84 c #Conflicts: 363000 | #Constraints: 46052 878.23/880.84 c #Conflicts: 364000 | #Constraints: 47052 878.23/880.84 c #Conflicts: 365000 | #Constraints: 48052 878.23/880.84 c #Conflicts: 366000 | #Constraints: 49052 878.23/880.84 c #Conflicts: 367000 | #Constraints: 50052 878.23/880.84 c #Conflicts: 368000 | #Constraints: 51052 878.23/880.84 c #Conflicts: 369000 | #Constraints: 52052 878.23/880.84 c #Conflicts: 370000 | #Constraints: 53052 878.23/880.84 c #Conflicts: 371000 | #Constraints: 54052 878.23/880.84 c #Conflicts: 372000 | #Constraints: 55052 878.23/880.84 c #Conflicts: 373000 | #Constraints: 56052 878.23/880.84 c #Conflicts: 374000 | #Constraints: 57052 878.23/880.84 c #Conflicts: 375000 | #Constraints: 58052 878.23/880.84 c #Conflicts: 376000 | #Constraints: 59052 878.23/880.84 c #Conflicts: 377000 | #Constraints: 60052 878.23/880.84 c #Conflicts: 378000 | #Constraints: 61052 878.23/880.84 c INPROCESSING 878.23/880.84 c GARBAGE COLLECT 878.23/880.84 c rational objective 150 1007.26/1010.25 c #Conflicts: 379000 | #Constraints: 32143 1007.26/1010.25 c #Conflicts: 380000 | #Constraints: 33143 1007.26/1010.25 c #Conflicts: 381000 | #Constraints: 34143 1007.26/1010.25 c #Conflicts: 382000 | #Constraints: 35143 1007.26/1010.25 c #Conflicts: 383000 | #Constraints: 36143 1007.26/1010.25 c #Conflicts: 384000 | #Constraints: 37143 1007.26/1010.25 c #Conflicts: 385000 | #Constraints: 38143 1007.26/1010.25 c #Conflicts: 386000 | #Constraints: 39143 1007.26/1010.25 c #Conflicts: 387000 | #Constraints: 40143 1007.26/1010.25 c #Conflicts: 388000 | #Constraints: 41143 1007.26/1010.25 c #Conflicts: 389000 | #Constraints: 42143 1007.26/1010.25 c #Conflicts: 390000 | #Constraints: 43143 1007.26/1010.25 c #Conflicts: 391000 | #Constraints: 44143 1007.26/1010.25 c #Conflicts: 392000 | #Constraints: 45143 1007.26/1010.25 c #Conflicts: 393000 | #Constraints: 46143 1007.26/1010.25 c INPROCESSING 1007.26/1010.25 c GARBAGE COLLECT 1007.26/1010.25 c rational objective 150 1078.66/1081.85 c #Conflicts: 394000 | #Constraints: 24577 1078.66/1081.85 c #Conflicts: 395000 | #Constraints: 25577 1078.66/1081.85 c #Conflicts: 396000 | #Constraints: 26577 1078.66/1081.85 c #Conflicts: 397000 | #Constraints: 27577 1078.66/1081.85 c #Conflicts: 398000 | #Constraints: 28577 1078.66/1081.85 c #Conflicts: 399000 | #Constraints: 29577 1078.66/1081.85 c #Conflicts: 400000 | #Constraints: 30577 1078.66/1081.85 c #Conflicts: 401000 | #Constraints: 31577 1078.66/1081.85 c #Conflicts: 402000 | #Constraints: 32577 1078.66/1081.85 c #Conflicts: 403000 | #Constraints: 33577 1078.66/1081.85 c #Conflicts: 404000 | #Constraints: 34577 1078.66/1081.85 c #Conflicts: 405000 | #Constraints: 35577 1078.66/1081.85 c #Conflicts: 406000 | #Constraints: 36577 1078.66/1081.85 c #Conflicts: 407000 | #Constraints: 37577 1078.66/1081.85 c #Conflicts: 408000 | #Constraints: 38577 1078.66/1081.85 c #Conflicts: 409000 | #Constraints: 39577 1078.66/1081.85 c INPROCESSING 1078.66/1081.85 c GARBAGE COLLECT 1078.66/1081.85 c rational objective 150 1390.89/1394.91 c #Conflicts: 410000 | #Constraints: 22818 1390.89/1394.91 c #Conflicts: 411000 | #Constraints: 23818 1390.89/1394.91 c #Conflicts: 412000 | #Constraints: 24818 1390.89/1394.91 c #Conflicts: 413000 | #Constraints: 25818 1390.89/1394.91 c #Conflicts: 414000 | #Constraints: 26818 1390.89/1394.91 c #Conflicts: 415000 | #Constraints: 27818 1390.89/1394.91 c #Conflicts: 416000 | #Constraints: 28818 1390.89/1394.91 c #Conflicts: 417000 | #Constraints: 29818 1390.89/1394.91 c #Conflicts: 418000 | #Constraints: 30818 1390.89/1394.91 c #Conflicts: 419000 | #Constraints: 31818 1390.89/1394.91 c #Conflicts: 420000 | #Constraints: 32818 1390.89/1394.91 c #Conflicts: 421000 | #Constraints: 33818 1390.89/1394.91 c #Conflicts: 422000 | #Constraints: 34818 1390.89/1394.91 c #Conflicts: 423000 | #Constraints: 35818 1390.89/1394.91 c #Conflicts: 424000 | #Constraints: 36818 1390.89/1394.91 c #Conflicts: 425000 | #Constraints: 37818 1390.89/1394.91 c #Conflicts: 426000 | #Constraints: 38818 1390.89/1394.91 c #Conflicts: 427000 | #Constraints: 39818 1390.89/1394.91 c #Conflicts: 428000 | #Constraints: 40818 1390.89/1394.91 c #Conflicts: 429000 | #Constraints: 41818 1390.89/1394.91 c #Conflicts: 430000 | #Constraints: 42818 1390.89/1394.91 c #Conflicts: 431000 | #Constraints: 43818 1390.89/1394.91 c #Conflicts: 432000 | #Constraints: 44818 1390.89/1394.91 c #Conflicts: 433000 | #Constraints: 45818 1390.89/1394.91 c #Conflicts: 434000 | #Constraints: 46818 1390.89/1394.91 c #Conflicts: 435000 | #Constraints: 47818 1390.89/1394.91 c #Conflicts: 436000 | #Constraints: 48818 1390.89/1394.91 c #Conflicts: 437000 | #Constraints: 49818 1390.89/1394.91 c #Conflicts: 438000 | #Constraints: 50818 1390.89/1394.91 c #Conflicts: 439000 | #Constraints: 51818 1390.89/1394.91 c #Conflicts: 440000 | #Constraints: 52818 1390.89/1394.91 c #Conflicts: 441000 | #Constraints: 53818 1390.89/1394.91 c #Conflicts: 442000 | #Constraints: 54818 1390.89/1394.91 c #Conflicts: 443000 | #Constraints: 55818 1390.89/1394.91 c #Conflicts: 444000 | #Constraints: 56818 1390.89/1394.91 c #Conflicts: 445000 | #Constraints: 57818 1390.89/1394.91 c #Conflicts: 446000 | #Constraints: 58818 1390.89/1394.91 c #Conflicts: 447000 | #Constraints: 59818 1390.89/1394.91 c #Conflicts: 448000 | #Constraints: 60818 1390.89/1394.91 c #Conflicts: 449000 | #Constraints: 61818 1390.89/1394.91 c #Conflicts: 450000 | #Constraints: 62818 1390.89/1394.91 c #Conflicts: 451000 | #Constraints: 63818 1390.89/1394.91 c #Conflicts: 452000 | #Constraints: 64818 1390.89/1394.91 c #Conflicts: 453000 | #Constraints: 65818 1390.89/1394.91 c #Conflicts: 454000 | #Constraints: 66818 1390.89/1394.91 c #Conflicts: 455000 | #Constraints: 67818 1390.89/1394.91 c INPROCESSING 1390.89/1394.91 c GARBAGE COLLECT 1390.89/1394.91 c rational objective 150 1440.16/1444.31 c #Conflicts: 456000 | #Constraints: 35401 1440.16/1444.31 c #Conflicts: 457000 | #Constraints: 36401 1440.16/1444.31 c #Conflicts: 458000 | #Constraints: 37401 1440.16/1444.31 c #Conflicts: 459000 | #Constraints: 38401 1440.16/1444.31 c #Conflicts: 460000 | #Constraints: 39401 1440.16/1444.31 c #Conflicts: 461000 | #Constraints: 40401 1440.16/1444.31 c #Conflicts: 462000 | #Constraints: 41401 1440.16/1444.31 c #Conflicts: 463000 | #Constraints: 42401 1440.16/1444.31 c #Conflicts: 464000 | #Constraints: 43401 1440.16/1444.31 c #Conflicts: 465000 | #Constraints: 44401 1440.16/1444.31 c #Conflicts: 466000 | #Constraints: 45401 1440.16/1444.31 c #Conflicts: 467000 | #Constraints: 46401 1440.16/1444.31 c #Conflicts: 468000 | #Constraints: 47401 1440.16/1444.31 c #Conflicts: 469000 | #Constraints: 48401 1440.16/1444.31 c #Conflicts: 470000 | #Constraints: 49401 1440.16/1444.31 c #Conflicts: 471000 | #Constraints: 50401 1440.16/1444.31 c #Conflicts: 472000 | #Constraints: 51401 1440.16/1444.31 c INPROCESSING 1440.16/1444.31 c GARBAGE COLLECT 1440.16/1444.31 c rational objective 150 1605.20/1609.86 c #Conflicts: 473000 | #Constraints: 27161 1605.20/1609.86 c #Conflicts: 474000 | #Constraints: 28161 1605.20/1609.86 c #Conflicts: 475000 | #Constraints: 29161 1605.20/1609.86 c #Conflicts: 476000 | #Constraints: 30161 1605.20/1609.86 c #Conflicts: 477000 | #Constraints: 31161 1605.20/1609.86 c #Conflicts: 478000 | #Constraints: 32161 1605.20/1609.86 c #Conflicts: 479000 | #Constraints: 33161 1605.20/1609.86 c #Conflicts: 480000 | #Constraints: 34161 1605.20/1609.86 c #Conflicts: 481000 | #Constraints: 35161 1605.20/1609.86 c #Conflicts: 482000 | #Constraints: 36162 1605.20/1609.86 c #Conflicts: 483000 | #Constraints: 37162 1605.20/1609.86 c #Conflicts: 484000 | #Constraints: 38162 1605.20/1609.86 c #Conflicts: 485000 | #Constraints: 39162 1605.20/1609.86 c #Conflicts: 486000 | #Constraints: 40162 1605.20/1609.86 c #Conflicts: 487000 | #Constraints: 41162 1605.20/1609.86 c #Conflicts: 488000 | #Constraints: 42162 1605.20/1609.86 c #Conflicts: 489000 | #Constraints: 43162 1605.20/1609.86 c #Conflicts: 490000 | #Constraints: 44162 1605.20/1609.86 c #Conflicts: 491000 | #Constraints: 45162 1605.20/1609.86 c #Conflicts: 492000 | #Constraints: 46162 1605.20/1609.86 c #Conflicts: 493000 | #Constraints: 47162 1605.20/1609.86 c #Conflicts: 494000 | #Constraints: 48162 1605.20/1609.86 c #Conflicts: 495000 | #Constraints: 49162 1605.20/1609.86 c #Conflicts: 496000 | #Constraints: 50162 1605.20/1609.86 c #Conflicts: 497000 | #Constraints: 51162 1605.20/1609.86 c #Conflicts: 498000 | #Constraints: 52162 1605.20/1609.86 c #Conflicts: 499000 | #Constraints: 53162 1605.20/1609.86 c #Conflicts: 500000 | #Constraints: 54162 1605.20/1609.86 c #Conflicts: 501000 | #Constraints: 55162 1605.20/1609.86 c #Conflicts: 502000 | #Constraints: 56162 1605.20/1609.86 c #Conflicts: 503000 | #Constraints: 57162 1605.20/1609.86 c #Conflicts: 504000 | #Constraints: 58162 1605.20/1609.86 c #Conflicts: 505000 | #Constraints: 59162 1605.20/1609.86 c #Conflicts: 506000 | #Constraints: 60162 1605.20/1609.86 c #Conflicts: 507000 | #Constraints: 61162 1605.20/1609.86 c #Conflicts: 508000 | #Constraints: 62162 1605.20/1609.86 c #Conflicts: 509000 | #Constraints: 63162 1605.20/1609.86 c #Conflicts: 510000 | #Constraints: 64162 1605.20/1609.86 c #Conflicts: 511000 | #Constraints: 65162 1605.20/1609.86 c #Conflicts: 512000 | #Constraints: 66162 1605.20/1609.86 c #Conflicts: 513000 | #Constraints: 67162 1605.20/1609.86 c #Conflicts: 514000 | #Constraints: 68162 1605.20/1609.86 c #Conflicts: 515000 | #Constraints: 69162 1605.20/1609.86 c #Conflicts: 516000 | #Constraints: 70162 1605.20/1609.86 c #Conflicts: 517000 | #Constraints: 71162 1605.20/1609.86 c #Conflicts: 518000 | #Constraints: 72162 1605.20/1609.86 c #Conflicts: 519000 | #Constraints: 73162 1605.20/1609.86 c #Conflicts: 520000 | #Constraints: 74162 1605.20/1609.86 c #Conflicts: 521000 | #Constraints: 75162 1605.20/1609.86 c #Conflicts: 522000 | #Constraints: 76162 1605.20/1609.86 c INPROCESSING 1605.20/1609.86 c GARBAGE COLLECT 1605.20/1609.86 c rational objective 150 1665.45/1670.27 c #Conflicts: 523000 | #Constraints: 39796 1665.45/1670.27 c #Conflicts: 524000 | #Constraints: 40796 1665.45/1670.27 c #Conflicts: 525000 | #Constraints: 41796 1665.45/1670.27 c #Conflicts: 526000 | #Constraints: 42796 1665.45/1670.27 c #Conflicts: 527000 | #Constraints: 43796 1665.45/1670.27 c #Conflicts: 528000 | #Constraints: 44796 1665.45/1670.27 c #Conflicts: 529000 | #Constraints: 45796 1665.45/1670.27 c #Conflicts: 530000 | #Constraints: 46796 1665.45/1670.27 c #Conflicts: 531000 | #Constraints: 47796 1665.45/1670.27 c #Conflicts: 532000 | #Constraints: 48796 1665.45/1670.27 c #Conflicts: 533000 | #Constraints: 49796 1665.45/1670.27 c #Conflicts: 534000 | #Constraints: 50796 1665.45/1670.27 c #Conflicts: 535000 | #Constraints: 51796 1665.45/1670.27 c #Conflicts: 536000 | #Constraints: 52796 1665.45/1670.27 c #Conflicts: 537000 | #Constraints: 53796 1665.45/1670.27 c #Conflicts: 538000 | #Constraints: 54796 1665.45/1670.27 c #Conflicts: 539000 | #Constraints: 55796 1665.45/1670.27 c #Conflicts: 540000 | #Constraints: 56796 1665.45/1670.27 c INPROCESSING 1665.45/1670.27 c GARBAGE COLLECT 1665.45/1670.27 c rational objective 150 1786.13/1791.25 c #Conflicts: 541000 | #Constraints: 30014 1786.13/1791.25 c #Conflicts: 542000 | #Constraints: 31014 1786.13/1791.25 c #Conflicts: 543000 | #Constraints: 32014 1786.13/1791.25 c #Conflicts: 544000 | #Constraints: 33014 1786.13/1791.25 c #Conflicts: 545000 | #Constraints: 34014 1786.13/1791.25 c #Conflicts: 546000 | #Constraints: 35014 1786.13/1791.25 c #Conflicts: 547000 | #Constraints: 36014 1786.13/1791.25 c #Conflicts: 548000 | #Constraints: 37014 1786.13/1791.25 c #Conflicts: 549000 | #Constraints: 38014 1786.13/1791.25 c #Conflicts: 550000 | #Constraints: 39014 1786.13/1791.25 c #Conflicts: 551000 | #Constraints: 40014 1786.13/1791.25 c #Conflicts: 552000 | #Constraints: 41014 1786.13/1791.25 c #Conflicts: 553000 | #Constraints: 42014 1786.13/1791.25 c #Conflicts: 554000 | #Constraints: 43014 1786.13/1791.25 c #Conflicts: 555000 | #Constraints: 44014 1786.13/1791.25 c #Conflicts: 556000 | #Constraints: 45014 1786.13/1791.25 c #Conflicts: 557000 | #Constraints: 46014 1786.13/1791.25 c #Conflicts: 558000 | #Constraints: 47014 1786.13/1791.25 c INPROCESSING 1786.13/1791.25 c GARBAGE COLLECT 1786.13/1791.25 c rational objective 150 2028.68/2034.49 c #Conflicts: 559000 | #Constraints: 27716 2028.68/2034.49 c #Conflicts: 560000 | #Constraints: 28716 2028.68/2034.49 c #Conflicts: 561000 | #Constraints: 29716 2028.68/2034.49 c #Conflicts: 562000 | #Constraints: 30716 2028.68/2034.49 c #Conflicts: 563000 | #Constraints: 31716 2028.68/2034.49 c #Conflicts: 564000 | #Constraints: 32716 2028.68/2034.49 c #Conflicts: 565000 | #Constraints: 33716 2028.68/2034.49 c #Conflicts: 566000 | #Constraints: 34716 2028.68/2034.49 c #Conflicts: 567000 | #Constraints: 35716 2028.68/2034.49 c #Conflicts: 568000 | #Constraints: 36716 2028.68/2034.49 c #Conflicts: 569000 | #Constraints: 37716 2028.68/2034.49 c #Conflicts: 570000 | #Constraints: 38716 2028.68/2034.49 c #Conflicts: 571000 | #Constraints: 39716 2028.68/2034.49 c #Conflicts: 572000 | #Constraints: 40716 2028.68/2034.49 c #Conflicts: 573000 | #Constraints: 41716 2028.68/2034.49 c #Conflicts: 574000 | #Constraints: 42716 2028.68/2034.49 c #Conflicts: 575000 | #Constraints: 43716 2028.68/2034.49 c #Conflicts: 576000 | #Constraints: 44716 2028.68/2034.49 c #Conflicts: 577000 | #Constraints: 45716 2028.68/2034.49 c #Conflicts: 578000 | #Constraints: 46716 2028.68/2034.49 c #Conflicts: 579000 | #Constraints: 47716 2028.68/2034.49 c #Conflicts: 580000 | #Constraints: 48716 2028.68/2034.49 c #Conflicts: 581000 | #Constraints: 49716 2028.68/2034.49 c #Conflicts: 582000 | #Constraints: 50716 2028.68/2034.49 c #Conflicts: 583000 | #Constraints: 51716 2028.68/2034.49 c #Conflicts: 584000 | #Constraints: 52716 2028.68/2034.49 c #Conflicts: 585000 | #Constraints: 53716 2028.68/2034.49 c #Conflicts: 586000 | #Constraints: 54716 2028.68/2034.49 c #Conflicts: 587000 | #Constraints: 55716 2028.68/2034.49 c #Conflicts: 588000 | #Constraints: 56716 2028.68/2034.49 c #Conflicts: 589000 | #Constraints: 57716 2028.68/2034.49 c #Conflicts: 590000 | #Constraints: 58716 2028.68/2034.49 c #Conflicts: 591000 | #Constraints: 59716 2028.68/2034.49 c #Conflicts: 592000 | #Constraints: 60716 2028.68/2034.49 c #Conflicts: 593000 | #Constraints: 61716 2028.68/2034.49 c #Conflicts: 594000 | #Constraints: 62716 2028.68/2034.49 c #Conflicts: 595000 | #Constraints: 63716 2028.68/2034.49 c #Conflicts: 596000 | #Constraints: 64716 2028.68/2034.49 c #Conflicts: 597000 | #Constraints: 65716 2028.68/2034.49 c #Conflicts: 598000 | #Constraints: 66716 2028.68/2034.49 c #Conflicts: 599000 | #Constraints: 67716 2028.68/2034.49 c #Conflicts: 600000 | #Constraints: 68716 2028.68/2034.49 c #Conflicts: 601000 | #Constraints: 69716 2028.68/2034.49 c #Conflicts: 602000 | #Constraints: 70716 2028.68/2034.49 c #Conflicts: 603000 | #Constraints: 71716 2028.68/2034.49 c #Conflicts: 604000 | #Constraints: 72716 2028.68/2034.49 c #Conflicts: 605000 | #Constraints: 73716 2028.68/2034.49 c #Conflicts: 606000 | #Constraints: 74716 2028.68/2034.49 c #Conflicts: 607000 | #Constraints: 75716 2028.68/2034.49 c #Conflicts: 608000 | #Constraints: 76716 2028.68/2034.49 c #Conflicts: 609000 | #Constraints: 77716 2028.68/2034.49 c #Conflicts: 610000 | #Constraints: 78716 2028.68/2034.49 c #Conflicts: 611000 | #Constraints: 79716 2028.68/2034.49 c #Conflicts: 612000 | #Constraints: 80716 2028.68/2034.49 c INPROCESSING 2028.68/2034.49 c GARBAGE COLLECT 2028.68/2034.49 c rational objective 150 2235.11/2241.40 c #Conflicts: 613000 | #Constraints: 41924 2235.11/2241.40 c #Conflicts: 614000 | #Constraints: 42924 2235.11/2241.40 c #Conflicts: 615000 | #Constraints: 43924 2235.11/2241.40 c #Conflicts: 616000 | #Constraints: 44924 2235.11/2241.40 c #Conflicts: 617000 | #Constraints: 45924 2235.11/2241.40 c #Conflicts: 618000 | #Constraints: 46924 2235.11/2241.40 c #Conflicts: 619000 | #Constraints: 47924 2235.11/2241.40 c #Conflicts: 620000 | #Constraints: 48924 2235.11/2241.40 c #Conflicts: 621000 | #Constraints: 49924 2235.11/2241.40 c #Conflicts: 622000 | #Constraints: 50924 2235.11/2241.40 c #Conflicts: 623000 | #Constraints: 51924 2235.11/2241.40 c #Conflicts: 624000 | #Constraints: 52924 2235.11/2241.40 c #Conflicts: 625000 | #Constraints: 53924 2235.11/2241.40 c #Conflicts: 626000 | #Constraints: 54924 2235.11/2241.40 c #Conflicts: 627000 | #Constraints: 55924 2235.11/2241.40 c #Conflicts: 628000 | #Constraints: 56924 2235.11/2241.40 c #Conflicts: 629000 | #Constraints: 57924 2235.11/2241.40 c #Conflicts: 630000 | #Constraints: 58924 2235.11/2241.40 c #Conflicts: 631000 | #Constraints: 59924 2235.11/2241.40 c #Conflicts: 632000 | #Constraints: 60924 2235.11/2241.40 c INPROCESSING 2235.11/2241.40 c GARBAGE COLLECT 2235.11/2241.40 c rational objective 150 2377.33/2384.01 c #Conflicts: 633000 | #Constraints: 32266 2377.33/2384.01 c #Conflicts: 634000 | #Constraints: 33266 2377.33/2384.01 c #Conflicts: 635000 | #Constraints: 34266 2377.33/2384.01 c #Conflicts: 636000 | #Constraints: 35266 2377.33/2384.01 c #Conflicts: 637000 | #Constraints: 36266 2377.33/2384.01 c #Conflicts: 638000 | #Constraints: 37266 2377.33/2384.01 c #Conflicts: 639000 | #Constraints: 38266 2377.33/2384.01 c #Conflicts: 640000 | #Constraints: 39266 2377.33/2384.01 c #Conflicts: 641000 | #Constraints: 40266 2377.33/2384.01 c #Conflicts: 642000 | #Constraints: 41266 2377.33/2384.01 c #Conflicts: 643000 | #Constraints: 42266 2377.33/2384.01 c #Conflicts: 644000 | #Constraints: 43266 2377.33/2384.01 c #Conflicts: 645000 | #Constraints: 44266 2377.33/2384.01 c #Conflicts: 646000 | #Constraints: 45266 2377.33/2384.01 c #Conflicts: 647000 | #Constraints: 46266 2377.33/2384.01 c #Conflicts: 648000 | #Constraints: 47266 2377.33/2384.01 c #Conflicts: 649000 | #Constraints: 48266 2377.33/2384.01 c #Conflicts: 650000 | #Constraints: 49266 2377.33/2384.01 c #Conflicts: 651000 | #Constraints: 50266 2377.33/2384.01 c INPROCESSING 2377.33/2384.01 c GARBAGE COLLECT 2377.33/2384.01 c rational objective 150 2701.85/2709.42 c #Conflicts: 652000 | #Constraints: 30981 2701.85/2709.42 c #Conflicts: 653000 | #Constraints: 31981 2701.85/2709.42 c #Conflicts: 654000 | #Constraints: 32981 2701.85/2709.42 c #Conflicts: 655000 | #Constraints: 33981 2701.85/2709.42 c #Conflicts: 656000 | #Constraints: 34981 2701.85/2709.42 c #Conflicts: 657000 | #Constraints: 35981 2701.85/2709.42 c #Conflicts: 658000 | #Constraints: 36981 2701.85/2709.42 c #Conflicts: 659000 | #Constraints: 37981 2701.85/2709.42 c #Conflicts: 660000 | #Constraints: 38981 2701.85/2709.42 c #Conflicts: 661000 | #Constraints: 39981 2701.85/2709.42 c #Conflicts: 662000 | #Constraints: 40981 2701.85/2709.42 c #Conflicts: 663000 | #Constraints: 41981 2701.85/2709.42 c #Conflicts: 664000 | #Constraints: 42981 2701.85/2709.42 c #Conflicts: 665000 | #Constraints: 43981 2701.85/2709.42 c #Conflicts: 666000 | #Constraints: 44981 2701.85/2709.42 c #Conflicts: 667000 | #Constraints: 45981 2701.85/2709.42 c #Conflicts: 668000 | #Constraints: 46981 2701.85/2709.42 c #Conflicts: 669000 | #Constraints: 47981 2701.85/2709.42 c #Conflicts: 670000 | #Constraints: 48981 2701.85/2709.42 c #Conflicts: 671000 | #Constraints: 49981 2701.85/2709.42 c #Conflicts: 672000 | #Constraints: 50981 2701.85/2709.42 c #Conflicts: 673000 | #Constraints: 51981 2701.85/2709.42 c #Conflicts: 674000 | #Constraints: 52981 2701.85/2709.42 c #Conflicts: 675000 | #Constraints: 53981 2701.85/2709.42 c #Conflicts: 676000 | #Constraints: 54981 2701.85/2709.42 c #Conflicts: 677000 | #Constraints: 55981 2701.85/2709.42 c #Conflicts: 678000 | #Constraints: 56981 2701.85/2709.42 c #Conflicts: 679000 | #Constraints: 57981 2701.85/2709.42 c #Conflicts: 680000 | #Constraints: 58981 2701.85/2709.42 c #Conflicts: 681000 | #Constraints: 59981 2701.85/2709.42 c #Conflicts: 682000 | #Constraints: 60981 2701.85/2709.42 c #Conflicts: 683000 | #Constraints: 61981 2701.85/2709.42 c #Conflicts: 684000 | #Constraints: 62981 2701.85/2709.42 c #Conflicts: 685000 | #Constraints: 63981 2701.85/2709.42 c #Conflicts: 686000 | #Constraints: 64981 2701.85/2709.42 c #Conflicts: 687000 | #Constraints: 65981 2701.85/2709.42 c #Conflicts: 688000 | #Constraints: 66981 2701.85/2709.42 c #Conflicts: 689000 | #Constraints: 67981 2701.85/2709.42 c #Conflicts: 690000 | #Constraints: 68981 2701.85/2709.42 c #Conflicts: 691000 | #Constraints: 69981 2701.85/2709.42 c #Conflicts: 692000 | #Constraints: 70981 2701.85/2709.42 c #Conflicts: 693000 | #Constraints: 71981 2701.85/2709.42 c #Conflicts: 694000 | #Constraints: 72981 2701.85/2709.42 c #Conflicts: 695000 | #Constraints: 73981 2701.85/2709.42 c #Conflicts: 696000 | #Constraints: 74981 2701.85/2709.42 c #Conflicts: 697000 | #Constraints: 75981 2701.85/2709.42 c #Conflicts: 698000 | #Constraints: 76981 2701.85/2709.42 c #Conflicts: 699000 | #Constraints: 77981 2701.85/2709.42 c #Conflicts: 700000 | #Constraints: 78981 2701.85/2709.42 c #Conflicts: 701000 | #Constraints: 79981 2701.85/2709.42 c #Conflicts: 702000 | #Constraints: 80981 2701.85/2709.42 c #Conflicts: 703000 | #Constraints: 81981 2701.85/2709.42 c #Conflicts: 704000 | #Constraints: 82981 2701.85/2709.42 c #Conflicts: 705000 | #Constraints: 83981 2701.85/2709.42 c #Conflicts: 706000 | #Constraints: 84981 2701.85/2709.42 c #Conflicts: 707000 | #Constraints: 85981 2701.85/2709.42 c #Conflicts: 708000 | #Constraints: 86981 2701.85/2709.42 c #Conflicts: 709000 | #Constraints: 87981 2701.85/2709.42 c INPROCESSING 2701.85/2709.42 c GARBAGE COLLECT 2701.85/2709.42 c rational objective 150 2959.53/2967.88 c #Conflicts: 710000 | #Constraints: 45314 2959.53/2967.88 c #Conflicts: 711000 | #Constraints: 46314 2959.53/2967.88 c #Conflicts: 712000 | #Constraints: 47314 2959.53/2967.88 c #Conflicts: 713000 | #Constraints: 48314 2959.53/2967.88 c #Conflicts: 714000 | #Constraints: 49314 2959.53/2967.88 c #Conflicts: 715000 | #Constraints: 50314 2959.53/2967.88 c #Conflicts: 716000 | #Constraints: 51314 2959.53/2967.88 c #Conflicts: 717000 | #Constraints: 52314 2959.53/2967.88 c #Conflicts: 718000 | #Constraints: 53314 2959.53/2967.88 c #Conflicts: 719000 | #Constraints: 54314 2959.53/2967.88 c #Conflicts: 720000 | #Constraints: 55314 2959.53/2967.88 c #Conflicts: 721000 | #Constraints: 56314 2959.53/2967.88 c #Conflicts: 722000 | #Constraints: 57314 2959.53/2967.88 c #Conflicts: 723000 | #Constraints: 58314 2959.53/2967.88 c #Conflicts: 724000 | #Constraints: 59314 2959.53/2967.88 c #Conflicts: 725000 | #Constraints: 60314 2959.53/2967.88 c #Conflicts: 726000 | #Constraints: 61314 2959.53/2967.88 c #Conflicts: 727000 | #Constraints: 62314 2959.53/2967.88 c #Conflicts: 728000 | #Constraints: 63314 2959.53/2967.88 c #Conflicts: 729000 | #Constraints: 64314 2959.53/2967.88 c #Conflicts: 730000 | #Constraints: 65314 2959.53/2967.88 c #Conflicts: 731000 | #Constraints: 66314 2959.53/2967.88 c INPROCESSING 2959.53/2967.88 c GARBAGE COLLECT 2959.53/2967.88 c rational objective 150 3139.74/3148.56 c #Conflicts: 732000 | #Constraints: 34953 3139.74/3148.56 c #Conflicts: 733000 | #Constraints: 35953 3139.74/3148.56 c #Conflicts: 734000 | #Constraints: 36953 3139.74/3148.56 c #Conflicts: 735000 | #Constraints: 37953 3139.74/3148.56 c #Conflicts: 736000 | #Constraints: 38953 3139.74/3148.56 c #Conflicts: 737000 | #Constraints: 39953 3139.74/3148.56 c #Conflicts: 738000 | #Constraints: 40953 3139.74/3148.56 c #Conflicts: 739000 | #Constraints: 41953 3139.74/3148.56 c #Conflicts: 740000 | #Constraints: 42953 3139.74/3148.56 c #Conflicts: 741000 | #Constraints: 43953 3139.74/3148.56 c #Conflicts: 742000 | #Constraints: 44953 3139.74/3148.56 c #Conflicts: 743000 | #Constraints: 45953 3139.74/3148.56 c #Conflicts: 744000 | #Constraints: 46953 3139.74/3148.56 c #Conflicts: 745000 | #Constraints: 47953 3139.74/3148.56 c #Conflicts: 746000 | #Constraints: 48953 3139.74/3148.56 c #Conflicts: 747000 | #Constraints: 49953 3139.74/3148.56 c #Conflicts: 748000 | #Constraints: 50953 3139.74/3148.56 c #Conflicts: 749000 | #Constraints: 51953 3139.74/3148.56 c #Conflicts: 750000 | #Constraints: 52953 3139.74/3148.56 c #Conflicts: 751000 | #Constraints: 53953 3139.74/3148.56 c #Conflicts: 752000 | #Constraints: 54953 3139.74/3148.56 c INPROCESSING 3139.74/3148.56 c GARBAGE COLLECT 3139.74/3148.56 c rational objective 150 3600.08/3610.10 c #Conflicts: 753000 | #Constraints: 35338 3600.08/3610.10 c #Conflicts: 754000 | #Constraints: 36338 3600.08/3610.10 c #Conflicts: 755000 | #Constraints: 37338 3600.08/3610.10 c #Conflicts: 756000 | #Constraints: 38338 3600.08/3610.10 c #Conflicts: 757000 | #Constraints: 39338 3600.08/3610.10 c #Conflicts: 758000 | #Constraints: 40338 3600.08/3610.10 c #Conflicts: 759000 | #Constraints: 41338 3600.08/3610.10 c #Conflicts: 760000 | #Constraints: 42338 3600.08/3610.10 c #Conflicts: 761000 | #Constraints: 43338 3600.08/3610.10 c #Conflicts: 762000 | #Constraints: 44338 3600.08/3610.10 c #Conflicts: 763000 | #Constraints: 45338 3600.08/3610.10 c #Conflicts: 764000 | #Constraints: 46338 3600.08/3610.10 c #Conflicts: 765000 | #Constraints: 47338 3600.08/3610.10 c #Conflicts: 766000 | #Constraints: 48338 3600.08/3610.10 c #Conflicts: 767000 | #Constraints: 49338 3600.08/3610.10 c #Conflicts: 768000 | #Constraints: 50338 3600.08/3610.10 c #Conflicts: 769000 | #Constraints: 51338 3600.08/3610.10 c #Conflicts: 770000 | #Constraints: 52338 3600.08/3610.10 c #Conflicts: 771000 | #Constraints: 53338 3600.08/3610.10 c #Conflicts: 772000 | #Constraints: 54338 3600.08/3610.10 c #Conflicts: 773000 | #Constraints: 55338 3600.08/3610.10 c #Conflicts: 774000 | #Constraints: 56338 3600.08/3610.10 c #Conflicts: 775000 | #Constraints: 57338 3600.08/3610.10 c #Conflicts: 776000 | #Constraints: 58338 3600.08/3610.10 c #Conflicts: 777000 | #Constraints: 59338 3600.08/3610.10 c #Conflicts: 778000 | #Constraints: 60338 3600.08/3610.10 c #Conflicts: 779000 | #Constraints: 61338 3600.08/3610.10 c #Conflicts: 780000 | #Constraints: 62338 3600.08/3610.10 c #Conflicts: 781000 | #Constraints: 63338 3600.08/3610.10 c #Conflicts: 782000 | #Constraints: 64338 3600.08/3610.10 c #Conflicts: 783000 | #Constraints: 65338 3600.08/3610.10 c #Conflicts: 784000 | #Constraints: 66338 3600.08/3610.10 c #Conflicts: 785000 | #Constraints: 67338 3600.08/3610.10 c #Conflicts: 786000 | #Constraints: 68338 3600.08/3610.10 c #Conflicts: 787000 | #Constraints: 69338 3600.08/3610.10 c #Conflicts: 788000 | #Constraints: 70338 3600.08/3610.10 c #Conflicts: 789000 | #Constraints: 71338 3600.08/3610.10 c #Conflicts: 790000 | #Constraints: 72338 3600.08/3610.10 c #Conflicts: 791000 | #Constraints: 73338 3600.08/3610.10 c #Conflicts: 792000 | #Constraints: 74338 3600.08/3610.10 c #Conflicts: 793000 | #Constraints: 75338 3600.08/3610.10 c #Conflicts: 794000 | #Constraints: 76338 3600.08/3610.10 c Program interrupted by user. 3600.08/3610.10 c cpu time 3582.87 s 3600.08/3610.10 c deterministic time 321306404218 3.21e+11 3600.08/3610.10 c optimization time 459.135 s 3600.08/3610.10 c total solve time 3123.74 s 3600.08/3610.10 c core-guided solve time 1864.91 s 3600.08/3610.10 c propagation time 3071.25 s 3600.08/3610.10 c conflict analysis time 480.587 s 3600.08/3610.10 c propagations 110202654 3600.08/3610.10 c resolve steps 7191675 3600.08/3610.10 c decisions 5316475 3600.08/3610.10 c conflicts 794850 3600.08/3610.10 c restarts 1691 3600.08/3610.10 c inprocessing phases 44 3600.08/3610.10 c input clauses 296 3600.08/3610.10 c input cardinalities 335 3600.08/3610.10 c input general constraints 880 3600.08/3610.10 c input average constraint length 64.43 3600.08/3610.10 c input average constraint degree 24.58 3600.08/3610.10 c learned clauses 294452 3600.08/3610.10 c learned cardinalities 5472 3600.08/3610.10 c learned general constraints 494943 3600.08/3610.10 c learned average constraint length 186.03 3600.08/3610.10 c learned average constraint degree 4441161.13 3600.08/3610.10 c watched constraints 327090 3600.08/3610.10 c counting constraints 168733 3600.08/3610.10 c gcd simplifications 106079 3600.08/3610.10 c detected cardinalities 2567 3600.08/3610.10 c weakened non-implied lits 36964223 3600.08/3610.10 c weakened non-implying lits 65749 3600.08/3610.10 c original variables 470 3600.08/3610.10 c clausal propagations 13752409 3600.08/3610.10 c cardinality propagations 7050782 3600.08/3610.10 c watched propagations 13794368 3600.08/3610.10 c counting propagations 73703517 3600.08/3610.10 c watch lookups 65139977400 3600.08/3610.10 c watch backjump lookups 59930126752 3600.08/3610.10 c watch checks 176800495783 3600.08/3610.10 c propagation checks 18604927797 3600.08/3610.10 c constraint additions 598234884 3600.08/3610.10 c trail pops 116313831 3600.08/3610.10 c formula constraints 470 3600.08/3610.10 c learned constraints 794863 3600.08/3610.10 c bound constraints 186 3600.08/3610.10 c core-guided constraints 855 3600.08/3610.10 c encountered formula constraints 1256741 3600.08/3610.10 c encountered learned constraints 5777652 3600.08/3610.10 c encountered bound constraints 58 3600.08/3610.10 c encountered core-guided constraints 952060 3600.08/3610.10 c LP total time 43.7395 s 3600.08/3610.10 c LP solve time 42.47 s 3600.08/3610.10 c LP constraints added 470 3600.08/3610.10 c LP constraints removed 0 3600.08/3610.10 c LP pivots internal 795190 3600.08/3610.10 c LP pivots root 13451 3600.08/3610.10 c LP calls 10757 3600.08/3610.10 c LP optimalities 10752 3600.08/3610.10 c LP no pivot count 714 3600.08/3610.10 c LP infeasibilities 2 3600.08/3610.10 c LP valid Farkas constraints 2 3600.08/3610.10 c LP learned Farkas constraints 2 3600.08/3610.10 c LP basis resets 0 3600.08/3610.10 c LP cycling count 0 3600.08/3610.10 c LP singular count 0 3600.08/3610.10 c LP no primal count 0 3600.08/3610.10 c LP no farkas count 0 3600.08/3610.10 c LP other issue count 0 3600.08/3610.10 c LP Gomory cuts 0 3600.08/3610.10 c LP learned cuts 0 3600.08/3610.10 c LP deleted cuts 0 3600.08/3610.10 c LP encountered Gomory constraints 0 3600.08/3610.10 c LP encountered Farkas constraints 9 3600.08/3610.10 c LP encountered learned Farkas constraints 3 3600.08/3610.10 c CG auxiliary variables introduced 335 3600.08/3610.10 c CG solutions found 36 3600.08/3610.10 c CG cores constructed 150 3600.08/3610.10 c CG core cardinality constraints returned 0 3600.08/3610.10 c CG unit cores 0 3600.08/3610.10 c CG single cores 150 3600.08/3610.10 c CG blocks removed during cardinality reduction 0 3600.08/3610.10 c CG first core best 0 3600.08/3610.10 c CG decision core best 0 3600.08/3610.10 c CG core reduction tie 0 3600.08/3610.10 c CG core degree average 1.00 3600.08/3610.10 c CG core slack average 3.79 3600.08/3610.10 s SATISFIABLE 3600.08/3610.10 v -x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 x87 -x88 x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 x98 x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 x111 x112 -x113 -x114 x115 x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 -x155 x156 x157 x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 x188 x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 x205 x206 -x207 -x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 x222 -x223 x224 x225 -x226 x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 x237 x238 -x239 x240 x241 x242 x243 -x244 x245 -x246 x247 x248 -x249 x250 -x251 -x252 x253 x254 -x255 x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 x294 x295 -x296 x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 x309 x310 -x311 -x312 x313 x314 -x315 -x316 -x317 x318 -x319 x320 -x321 -x322 x323 -x324 x325 x326 -x327 x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 x343 x344 -x345 -x346 x347 x348 -x349 x350 x351 x352 x353 x354 -x355 -x356 x357 -x358 x359 -x360 -x361 x362 -x363 -x364 -x365 x366 -x367 x368 -x369 -x370 -x371 -x372 x373 x374 -x375 x376 x377 -x378 x379 -x380 -x381 x382 x383 x384 x385 x386 -x387 x388 -x389 -x390 x391 -x392 x393 -x394 x395 x396 x397 x398 -x399 -x400 -x401 x402 -x403 x404 x405 -x406 x407 x408 x409 x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 x418 x419 x420 x421 -x422 -x423 -x424 x425 -x426 x427 x428 x429 x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 x440 -x441 -x442 x443 x444 -x445 x446 -x447 -x448 x449 x450 x451 -x452 x453 -x454 -x455 x456 -x457 -x458 x459 -x460 -x461 -x462 x463 -x464 x465 -x466 x467 -x468 -x469 x470
OK 189
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (32762 MiB free)
memory of node 1: 64510 MiB (11116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456754-1721769318/watcher-4456754-1721769318 -o /tmp/evaluation-result-4456754-1721769318/solver-4456754-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133406 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456754-1721769318 --lp-cut-gomory=0 HOME/instance-4456754-1721769318.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=135747, runsolver pid=135744
[startup+0.100323 s]*
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44926016/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=38828 memory=8916 CPUtime=0.09 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 650 0 0 0 9 0 0 0 20 0 1 0 13460293 39759872 2229 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 9707 2229 1778 992 0 1565 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 8916 KiB
[startup+0.205324 s]*
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44919156/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=40348 memory=11216 CPUtime=0.2 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 1186 0 0 0 18 2 0 0 20 0 1 0 13460293 41316352 2804 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 10087 2804 1824 992 0 1945 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 11216 KiB
[startup+0.304846 s]*
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44914360/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=41000 memory=12464 CPUtime=0.29 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 1503 0 0 0 26 3 0 0 20 0 1 0 13460293 41984000 3116 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 10250 3116 1824 992 0 2108 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 12464 KiB
[startup+0.700167 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44904388/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=44564 memory=18020 CPUtime=0.68 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 2445 0 0 0 62 6 0 0 20 0 1 0 13460293 45633536 4505 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 11141 4505 1824 992 0 2999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 18020 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44893572/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=45556 memory=19800 CPUtime=1.47 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 2835 0 0 0 137 10 0 0 20 0 1 0 13460293 46649344 4950 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 11389 4950 1878 992 0 3247 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 19800 KiB
[startup+3.1055 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44839860/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=52132 memory=26032 CPUtime=3.08 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 3902 0 0 0 292 16 0 0 20 0 1 0 13460293 53383168 6508 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 13033 6508 1878 992 0 4891 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52132 KiB
Current children cumulated memory: 26032 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.15 4.09 5/261 135750
/proc/meminfo: memFree=44784824/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=60060 memory=29708 CPUtime=6.27 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 4824 0 0 0 600 27 0 0 20 0 1 0 13460293 61501440 7427 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 15015 7427 1878 992 0 6873 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60060 KiB
Current children cumulated memory: 29708 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.09 5/261 135750
/proc/meminfo: memFree=44657376/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=79272 memory=47968 CPUtime=12.65 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 7837 0 0 0 1216 49 0 0 20 0 1 0 13460293 81174528 11992 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 19818 11992 1878 992 0 11676 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79272 KiB
Current children cumulated memory: 47968 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.17 4.10 5/261 135751
/proc/meminfo: memFree=44501524/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=80964 memory=51572 CPUtime=25.42 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 8229 0 0 0 2469 73 0 0 20 0 1 0 13460293 82907136 12893 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 20241 12893 1878 992 0 12099 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 51572 KiB
[startup+51.1056 s]
/proc/loadavg: 4.41 4.22 4.12 6/259 135756
/proc/meminfo: memFree=44257316/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=105568 memory=75164 CPUtime=50.95 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 11694 0 0 0 4970 125 0 0 20 0 1 0 13460293 108101632 18791 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 26392 18791 1878 992 0 18250 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105568 KiB
Current children cumulated memory: 75164 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.20 4.11 5/259 135765
/proc/meminfo: memFree=43902512/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=141004 memory=105424 CPUtime=102 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 15778 0 0 0 10009 191 0 0 20 0 1 0 13460293 144388096 26356 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 35251 26356 1894 992 0 27109 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 141004 KiB
Current children cumulated memory: 105424 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.29 4.15 5/259 135775
/proc/meminfo: memFree=43563944/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=144744 memory=108540 CPUtime=161.84 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 16635 0 0 0 15928 256 0 0 20 0 1 0 13460293 148217856 27135 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 36186 27135 1894 992 0 28044 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 144744 KiB
Current children cumulated memory: 108540 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.25 4.14 5/258 135785
/proc/meminfo: memFree=43215320/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=157188 memory=117880 CPUtime=221.65 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 19130 0 0 0 21835 330 0 0 20 0 1 0 13460293 160960512 29470 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 39297 29470 1894 992 0 31155 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 157188 KiB
Current children cumulated memory: 117880 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.23 4.14 5/257 135796
/proc/meminfo: memFree=42957484/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=220584 memory=163700 CPUtime=281.45 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 26029 0 0 0 27780 365 0 0 20 0 1 0 13460293 225878016 40925 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 55146 40925 1894 992 0 47004 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 163700 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/260 135813
/proc/meminfo: memFree=42715896/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=220584 memory=163700 CPUtime=341.26 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 26034 0 0 0 33720 406 0 0 20 0 1 0 13460293 225878016 40925 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 55146 40925 1894 992 0 47004 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 163700 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/260 135824
/proc/meminfo: memFree=42515044/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=220584 memory=164548 CPUtime=401.06 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 26144 0 0 0 39648 458 0 0 20 0 1 0 13460293 225878016 41137 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 55146 41137 1894 992 0 47004 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 164548 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.17 4.13 5/260 135834
/proc/meminfo: memFree=42332328/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=221084 memory=181004 CPUtime=460.87 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 26389 0 0 0 45607 480 0 0 20 0 1 0 13460293 226390016 45251 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 55271 45251 1894 992 0 47129 0
################
# More data... #
################
Current children cumulated memory: 346588 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/263 137528
/proc/meminfo: memFree=16851604/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=2914.15 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52099 0 0 0 289870 1545 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/262 137539
/proc/meminfo: memFree=15597840/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=2973.99 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52207 0 0 0 295840 1559 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/261 137551
/proc/meminfo: memFree=14094996/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3033.83 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52298 0 0 0 301806 1577 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 137561
/proc/meminfo: memFree=12845080/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3093.67 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52392 0 0 0 307773 1594 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/260 137585
/proc/meminfo: memFree=11448292/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3153.51 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52488 0 0 0 313740 1611 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/262 137822
/proc/meminfo: memFree=10421236/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3213.35 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52579 0 0 0 319706 1629 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 137832
/proc/meminfo: memFree=9752008/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3273.18 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52674 0 0 0 325673 1645 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/265 138134
/proc/meminfo: memFree=8595796/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=471472 memory=346588 CPUtime=3333.02 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 52781 0 0 0 331639 1663 0 0 20 0 1 0 13460293 482787328 86647 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 117868 86647 1894 992 0 109726 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 346588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/265 138147
/proc/meminfo: memFree=7223736/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=478056 memory=350048 CPUtime=3392.85 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 53740 0 0 0 337609 1676 0 0 20 0 1 0 13460293 489529344 87512 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 119514 87512 1894 992 0 111372 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 478056 KiB
Current children cumulated memory: 350048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 138157
/proc/meminfo: memFree=5853132/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=479592 memory=351008 CPUtime=3452.69 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 54091 0 0 0 343577 1692 0 0 20 0 1 0 13460293 491102208 87752 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 119898 87752 1894 992 0 111756 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 479592 KiB
Current children cumulated memory: 351008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/261 138169
/proc/meminfo: memFree=4610524/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=481128 memory=352076 CPUtime=3512.52 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 54458 0 0 0 349548 1704 0 0 20 0 1 0 13460293 492675072 88019 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 120282 88019 1894 992 0 112140 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 481128 KiB
Current children cumulated memory: 352076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 138181
/proc/meminfo: memFree=3467248/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=481896 memory=352824 CPUtime=3572.35 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 54730 0 0 0 355518 1717 0 0 20 0 1 0 13460293 493461504 88206 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 120474 88206 1894 992 0 112332 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 481896 KiB
Current children cumulated memory: 352824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.41 4.21 4.13 4/260 138201
/proc/meminfo: memFree=3423132/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=482472 memory=353088 CPUtime=3600.08 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 54840 0 0 0 358287 1721 0 0 20 0 1 0 13460293 494051328 88272 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 120618 88272 1894 992 0 112476 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 482472 KiB
Current children cumulated memory: 353088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 135747 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.88 s, system=17.2162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.41 4.21 4.13 4/260 138201
/proc/meminfo: memFree=3423132/131524600 swapFree=131071996/131071996
[pid=135747] ppid=135744 vsize=482472 memory=353088 CPUtime=3600.08 cores=5,7
/proc/135747/stat : 135747 (roundingsat) R 135744 135747 133393 0 -1 4194304 54840 0 0 0 358287 1721 0 0 20 0 1 0 13460293 494051328 88272 134679101440 4194304 8254037 140729787573280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 37740544 140729787577180 140729787577442 140729787577442 140729787584457 0
/proc/135747/statm: 120618 88272 1894 992 0 112476 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 482472 KiB
Current children cumulated memory: 353088 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.09
CPU user time (s): 3582.88
CPU system time (s): 17.2162
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 482472
Max. memory (cumulated for all children) (KiB): 353088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.88
system time used= 17.2162
maximum resident set size= 353088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4241048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 4821
# summary of solver processes directly reported to runsolver:
# pid: 135747
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.88
# total CPU system time (s): 17.2162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6356 second user time and 13.8742 second system time
The end
Begin job on nodeC016 at 2024-07-23 23:15:18 IDJOB=4456754 IDBENCH=147543 IDSOLVER=3085 FILE ID=nodeC016/4456754-1721769318 RUNJOBID= nodeC016-1721765707-133406 SLURM_JOB_ID= 7770673 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456754-1721769318/watcher-4456754-1721769318 -o /tmp/evaluation-result-4456754-1721769318/solver-4456754-1721769318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133406 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456754-1721769318 --lp-cut-gomory=0 HOME/instance-4456754-1721769318.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=2007171220 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.912 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.790 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.702 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.868 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.903 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.645 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.947 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 44932712 kB MemAvailable: 129258984 kB Buffers: 195236 kB Cached: 84795168 kB SwapCached: 0 kB Active: 1293716 kB Inactive: 84384016 kB Active(anon): 1548 kB Inactive(anon): 731692 kB Active(file): 1292168 kB Inactive(file): 83652324 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19436 kB Writeback: 0 kB AnonPages: 687428 kB Mapped: 118032 kB Shmem: 45912 kB KReclaimable: 442856 kB Slab: 558508 kB SReclaimable: 442856 kB SUnreclaim: 115652 kB KernelStack: 4208 kB PageTables: 10860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1149340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21056 kB HardwareCorrupted: 0 kB AnonHugePages: 518144 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 342740 kB DirectMap2M: 36130816 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890044 MiB End job on nodeC016 at 2024-07-24 00:15:28