| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.06 | 3613.84 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| 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 | 180 |
| 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 | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.03 c #variables 473 #constraints 473 0.68/0.71 c bounds - >= 0 @ 0.005683 0.68/0.71 c bounds 230 >= 0 @ 0.384025 0.68/0.71 c bounds 230 >= 1 @ 0.384025 0.68/0.71 c bounds 230 >= 2 @ 0.384369 0.68/0.71 c bounds 230 >= 3 @ 0.384747 0.68/0.71 c bounds 230 >= 4 @ 0.385119 0.68/0.71 c bounds 230 >= 5 @ 0.385475 0.68/0.71 c bounds 230 >= 6 @ 0.385853 0.68/0.71 c bounds 230 >= 7 @ 0.386233 0.68/0.71 c bounds 230 >= 8 @ 0.386619 0.68/0.71 c bounds 230 >= 9 @ 0.387 0.68/0.71 c bounds 230 >= 10 @ 0.3874 0.68/0.71 c bounds 230 >= 11 @ 0.387802 0.68/0.71 c bounds 230 >= 12 @ 0.388231 0.68/0.71 c bounds 230 >= 13 @ 0.388656 0.68/0.71 c bounds 230 >= 14 @ 0.389095 0.68/0.71 c bounds 230 >= 15 @ 0.389532 0.68/0.71 c bounds 230 >= 16 @ 0.389985 0.68/0.71 c bounds 230 >= 17 @ 0.390436 0.68/0.71 c bounds 230 >= 18 @ 0.390898 0.68/0.71 c bounds 230 >= 19 @ 0.390982 0.68/0.71 c bounds 230 >= 20 @ 0.390982 0.68/0.71 c bounds 230 >= 21 @ 0.391302 0.68/0.71 c bounds 230 >= 22 @ 0.391783 0.68/0.71 c bounds 230 >= 23 @ 0.392252 0.68/0.71 c bounds 230 >= 24 @ 0.392736 0.68/0.71 c bounds 230 >= 25 @ 0.393249 0.68/0.71 c bounds 230 >= 26 @ 0.393766 0.68/0.71 c bounds 230 >= 27 @ 0.394246 0.68/0.71 c bounds 229 >= 27 @ 0.405751 0.68/0.71 c bounds 229 >= 28 @ 0.40628 0.68/0.71 c bounds 229 >= 29 @ 0.406779 0.68/0.71 c bounds 229 >= 30 @ 0.406896 0.68/0.71 c bounds 229 >= 31 @ 0.406896 0.68/0.71 c bounds 229 >= 32 @ 0.407234 0.68/0.71 c bounds 229 >= 33 @ 0.407706 0.68/0.71 c bounds 229 >= 34 @ 0.408194 0.68/0.71 c bounds 229 >= 35 @ 0.408681 0.68/0.71 c bounds 229 >= 36 @ 0.408883 0.68/0.71 c bounds 229 >= 37 @ 0.408883 0.68/0.71 c bounds 229 >= 38 @ 0.409286 0.68/0.71 c bounds 229 >= 39 @ 0.410082 0.68/0.71 c bounds 229 >= 40 @ 0.410648 0.68/0.71 c bounds 229 >= 41 @ 0.411155 0.68/0.71 c bounds 229 >= 42 @ 0.411709 0.68/0.71 c bounds 229 >= 43 @ 0.411863 0.68/0.71 c bounds 229 >= 44 @ 0.411863 0.68/0.71 c bounds 229 >= 45 @ 0.411863 0.68/0.71 c bounds 229 >= 46 @ 0.411863 0.68/0.71 c bounds 229 >= 47 @ 0.412307 0.68/0.71 c bounds 229 >= 48 @ 0.412838 0.68/0.71 c bounds 229 >= 49 @ 0.413367 0.68/0.71 c bounds 229 >= 50 @ 0.413894 0.68/0.71 c bounds 229 >= 51 @ 0.414418 0.68/0.71 c bounds 229 >= 52 @ 0.414961 0.68/0.71 c bounds 229 >= 53 @ 0.415493 0.68/0.71 c bounds 229 >= 54 @ 0.416038 0.68/0.71 c bounds 229 >= 55 @ 0.416585 0.68/0.71 c bounds 229 >= 56 @ 0.417113 0.68/0.71 c bounds 229 >= 57 @ 0.41764 0.68/0.71 c bounds 229 >= 58 @ 0.417828 0.68/0.71 c bounds 229 >= 59 @ 0.417828 0.68/0.71 c bounds 229 >= 60 @ 0.417828 0.68/0.71 c bounds 229 >= 61 @ 0.417828 0.68/0.71 c bounds 229 >= 62 @ 0.417828 0.68/0.71 c bounds 229 >= 63 @ 0.418028 0.68/0.71 c bounds 229 >= 64 @ 0.418522 0.68/0.71 c bounds 229 >= 65 @ 0.419029 0.68/0.71 c bounds 229 >= 66 @ 0.419563 0.68/0.71 c bounds 229 >= 67 @ 0.420098 0.68/0.71 c bounds 229 >= 68 @ 0.420639 0.68/0.71 c bounds 229 >= 69 @ 0.42081 0.68/0.71 c bounds 229 >= 70 @ 0.42081 0.68/0.71 c bounds 229 >= 71 @ 0.42081 0.68/0.71 c bounds 229 >= 72 @ 0.42095 0.68/0.71 c bounds 229 >= 73 @ 0.42142 0.68/0.71 c bounds 229 >= 74 @ 0.42195 0.68/0.71 c bounds 229 >= 75 @ 0.4225 0.68/0.71 c bounds 229 >= 76 @ 0.423038 0.68/0.71 c bounds 229 >= 77 @ 0.423588 0.68/0.71 c bounds 229 >= 78 @ 0.423792 0.68/0.71 c bounds 229 >= 79 @ 0.423792 0.68/0.71 c bounds 229 >= 80 @ 0.423792 0.68/0.71 c bounds 229 >= 81 @ 0.423949 0.68/0.71 c bounds 229 >= 82 @ 0.424463 0.68/0.71 c bounds 229 >= 83 @ 0.42502 0.68/0.71 c bounds 229 >= 84 @ 0.425589 0.68/0.71 c bounds 229 >= 85 @ 0.42616 0.68/0.71 c bounds 229 >= 86 @ 0.42674 0.68/0.71 c bounds 229 >= 87 @ 0.426775 0.68/0.71 c bounds 229 >= 88 @ 0.427057 0.68/0.71 c bounds 229 >= 89 @ 0.427577 0.68/0.71 c bounds 229 >= 90 @ 0.428139 0.68/0.71 c bounds 229 >= 91 @ 0.428728 0.68/0.71 c bounds 229 >= 92 @ 0.428763 0.68/0.71 c bounds 229 >= 93 @ 0.428999 0.68/0.71 c bounds 229 >= 94 @ 0.429553 0.68/0.71 c bounds 229 >= 95 @ 0.429757 0.68/0.71 c bounds 229 >= 96 @ 0.429757 0.68/0.71 c bounds 229 >= 97 @ 0.430343 0.68/0.71 c bounds 229 >= 98 @ 0.430945 0.68/0.71 c bounds 229 >= 99 @ 0.43158 0.68/0.71 c bounds 229 >= 100 @ 0.431746 0.68/0.71 c bounds 229 >= 101 @ 0.431911 0.68/0.71 c bounds 229 >= 102 @ 0.432462 0.68/0.71 c bounds 229 >= 103 @ 0.433037 0.68/0.71 c bounds 229 >= 104 @ 0.433654 0.68/0.71 c bounds 229 >= 105 @ 0.434351 0.68/0.71 c bounds 229 >= 106 @ 0.434979 0.68/0.71 c bounds 229 >= 107 @ 0.435603 0.68/0.71 c bounds 229 >= 108 @ 0.436217 0.68/0.71 c bounds 229 >= 109 @ 0.436867 0.68/0.71 c bounds 229 >= 110 @ 0.43749 0.68/0.71 c bounds 229 >= 111 @ 0.437712 0.68/0.71 c bounds 229 >= 112 @ 0.437862 0.68/0.71 c bounds 229 >= 113 @ 0.438439 0.68/0.71 c bounds 229 >= 114 @ 0.439052 0.68/0.71 c bounds 229 >= 115 @ 0.439675 0.68/0.71 c bounds 229 >= 116 @ 0.439701 0.68/0.71 c bounds 229 >= 117 @ 0.440005 0.68/0.71 c bounds 229 >= 118 @ 0.440625 0.68/0.71 c bounds 229 >= 119 @ 0.440696 0.68/0.71 c bounds 228 >= 119 @ 0.610917 0.68/0.71 c bounds 228 >= 120 @ 0.611809 0.68/0.71 c bounds 228 >= 121 @ 0.612578 0.68/0.71 c bounds 228 >= 122 @ 0.612728 0.68/0.71 c bounds 228 >= 123 @ 0.613196 0.68/0.71 c bounds 228 >= 124 @ 0.614006 0.68/0.71 c bounds 228 >= 125 @ 0.614775 0.68/0.71 c bounds 228 >= 126 @ 0.615529 0.68/0.71 c bounds 228 >= 127 @ 0.615714 0.68/0.71 c bounds 228 >= 128 @ 0.615714 0.68/0.71 c bounds 228 >= 129 @ 0.615714 0.68/0.71 c bounds 228 >= 130 @ 0.615714 0.68/0.71 c bounds 228 >= 131 @ 0.615714 0.68/0.71 c bounds 228 >= 132 @ 0.616412 0.68/0.71 c bounds 228 >= 133 @ 0.616704 1.27/1.35 c bounds 228 >= 134 @ 0.619358 1.27/1.35 c bounds 228 >= 135 @ 0.621815 1.27/1.35 c bounds 228 >= 136 @ 0.62546 1.27/1.35 c bounds 228 >= 137 @ 0.627237 1.27/1.35 c bounds 228 >= 138 @ 0.632859 1.27/1.35 c bounds 228 >= 139 @ 0.638352 1.27/1.35 c bounds 228 >= 140 @ 0.650307 1.27/1.35 c bounds 228 >= 141 @ 0.69816 1.27/1.35 c #Conflicts: 1000 | #Constraints: 2200 1.27/1.35 c bounds 228 >= 142 @ 0.99564 1.27/1.35 c #Conflicts: 2000 | #Constraints: 3263 1.27/1.35 c INPROCESSING 1.27/1.35 c GARBAGE COLLECT 1.27/1.35 c rational objective 142 2.08/2.17 c bounds 227 >= 142 @ 1.23955 2.08/2.17 c bounds 226 >= 142 @ 1.24664 2.08/2.17 c bounds 225 >= 142 @ 1.25122 2.08/2.17 c bounds 224 >= 142 @ 1.26138 2.08/2.17 c bounds 223 >= 142 @ 1.27103 2.08/2.17 c bounds 222 >= 142 @ 1.29129 2.08/2.17 c bounds 221 >= 142 @ 1.35714 2.08/2.17 c #Conflicts: 3000 | #Constraints: 3159 2.08/2.17 c bounds 220 >= 142 @ 1.45039 2.08/2.17 c bounds 219 >= 142 @ 1.49577 2.08/2.17 c #Conflicts: 4000 | #Constraints: 4161 2.08/2.17 c INPROCESSING 2.08/2.17 c GARBAGE COLLECT 2.08/2.17 c rational objective 142 2.86/2.96 c bounds 218 >= 142 @ 1.97618 2.86/2.96 c bounds 217 >= 142 @ 2.01477 2.86/2.96 c bounds 216 >= 142 @ 2.02742 2.86/2.96 c bounds 215 >= 142 @ 2.07677 2.86/2.96 c bounds 214 >= 142 @ 2.09926 2.86/2.96 c #Conflicts: 5000 | #Constraints: 3580 2.86/2.96 c bounds 213 >= 142 @ 2.10573 2.86/2.96 c bounds 212 >= 142 @ 2.11103 2.86/2.96 c bounds 211 >= 142 @ 2.11526 2.86/2.96 c bounds 210 >= 142 @ 2.11969 2.86/2.96 c #Conflicts: 6000 | #Constraints: 4584 2.86/2.96 c INPROCESSING 2.86/2.96 c GARBAGE COLLECT 2.86/2.96 c rational objective 142 3.97/4.07 c #Conflicts: 7000 | #Constraints: 3565 3.97/4.07 c #Conflicts: 8000 | #Constraints: 4565 3.97/4.07 c #Conflicts: 9000 | #Constraints: 5565 3.97/4.07 c INPROCESSING 3.97/4.07 c GARBAGE COLLECT 3.97/4.07 c rational objective 142 4.75/4.89 c bounds 209 >= 142 @ 3.77628 4.75/4.89 c bounds 208 >= 142 @ 3.77828 4.75/4.89 c bounds 207 >= 142 @ 3.77926 4.75/4.89 c bounds 206 >= 142 @ 3.79414 4.75/4.89 c bounds 205 >= 142 @ 3.79774 4.75/4.89 c #Conflicts: 10000 | #Constraints: 4292 4.75/4.89 c bounds 204 >= 142 @ 4.01509 4.75/4.89 c #Conflicts: 11000 | #Constraints: 5293 4.75/4.89 c #Conflicts: 12000 | #Constraints: 6293 4.75/4.89 c INPROCESSING 4.75/4.89 c GARBAGE COLLECT 4.75/4.89 c rational objective 142 6.25/6.31 c bounds 203 >= 142 @ 4.60519 6.25/6.31 c bounds 202 >= 142 @ 4.76804 6.25/6.31 c #Conflicts: 13000 | #Constraints: 4733 6.25/6.31 c bounds 202 >= 143 @ 4.847 6.25/6.31 c bounds 201 >= 143 @ 5.0059 6.25/6.31 c #Conflicts: 14000 | #Constraints: 5782 6.25/6.31 c #Conflicts: 15000 | #Constraints: 6782 6.25/6.31 c INPROCESSING 6.25/6.31 c GARBAGE COLLECT 6.25/6.31 c rational objective 143 7.25/7.35 c #Conflicts: 16000 | #Constraints: 5046 7.25/7.35 c bounds 200 >= 143 @ 6.33123 7.25/7.35 c #Conflicts: 17000 | #Constraints: 6047 7.25/7.35 c #Conflicts: 18000 | #Constraints: 7047 7.25/7.35 c INPROCESSING 7.25/7.35 c GARBAGE COLLECT 7.25/7.35 c rational objective 143 9.06/9.19 c #Conflicts: 19000 | #Constraints: 5034 9.06/9.19 c #Conflicts: 20000 | #Constraints: 6034 9.06/9.19 c #Conflicts: 21000 | #Constraints: 7034 9.06/9.19 c INPROCESSING 9.06/9.19 c GARBAGE COLLECT 9.06/9.19 c rational objective 143 10.44/10.55 c #Conflicts: 22000 | #Constraints: 4888 10.44/10.55 c #Conflicts: 23000 | #Constraints: 5888 10.44/10.55 c #Conflicts: 24000 | #Constraints: 6888 10.44/10.55 c bounds 199 >= 143 @ 9.83673 10.44/10.55 c #Conflicts: 25000 | #Constraints: 7889 10.44/10.55 c INPROCESSING 10.44/10.55 c GARBAGE COLLECT 10.44/10.55 c rational objective 143 11.95/12.06 c #Conflicts: 26000 | #Constraints: 5454 11.95/12.06 c #Conflicts: 27000 | #Constraints: 6454 11.95/12.06 c #Conflicts: 28000 | #Constraints: 7454 11.95/12.06 c #Conflicts: 29000 | #Constraints: 8454 11.95/12.06 c INPROCESSING 11.95/12.06 c GARBAGE COLLECT 11.95/12.06 c rational objective 143 14.32/14.44 c #Conflicts: 30000 | #Constraints: 5834 14.32/14.44 c #Conflicts: 31000 | #Constraints: 6834 14.32/14.44 c #Conflicts: 32000 | #Constraints: 7834 14.32/14.44 c #Conflicts: 33000 | #Constraints: 8834 14.32/14.44 c INPROCESSING 14.32/14.44 c GARBAGE COLLECT 14.32/14.44 c rational objective 143 15.94/16.01 c #Conflicts: 34000 | #Constraints: 6086 15.94/16.01 c #Conflicts: 35000 | #Constraints: 7086 15.94/16.01 c #Conflicts: 36000 | #Constraints: 8086 15.94/16.01 c #Conflicts: 37000 | #Constraints: 9086 15.94/16.01 c INPROCESSING 15.94/16.01 c GARBAGE COLLECT 15.94/16.01 c rational objective 143 20.61/20.74 c #Conflicts: 38000 | #Constraints: 6059 20.61/20.74 c #Conflicts: 39000 | #Constraints: 7059 20.61/20.74 c bounds 199 >= 144 @ 16.4287 20.61/20.74 c #Conflicts: 40000 | #Constraints: 8125 20.61/20.74 c #Conflicts: 41000 | #Constraints: 9125 20.61/20.74 c INPROCESSING 20.61/20.74 c GARBAGE COLLECT 20.61/20.74 c rational objective 144 23.40/23.50 c #Conflicts: 42000 | #Constraints: 5901 23.40/23.50 c #Conflicts: 43000 | #Constraints: 6901 23.40/23.50 c #Conflicts: 44000 | #Constraints: 7901 23.40/23.50 c #Conflicts: 45000 | #Constraints: 8901 23.40/23.50 c #Conflicts: 46000 | #Constraints: 9901 23.40/23.50 c INPROCESSING 23.40/23.50 c GARBAGE COLLECT 23.40/23.50 c rational objective 144 42.44/42.62 c #Conflicts: 47000 | #Constraints: 6564 42.44/42.62 c #Conflicts: 48000 | #Constraints: 7564 42.44/42.62 c #Conflicts: 49000 | #Constraints: 8564 42.44/42.62 c #Conflicts: 50000 | #Constraints: 9564 42.44/42.62 c #Conflicts: 51000 | #Constraints: 10564 42.44/42.62 c #Conflicts: 52000 | #Constraints: 11564 42.44/42.62 c #Conflicts: 53000 | #Constraints: 12564 42.44/42.62 c #Conflicts: 54000 | #Constraints: 13564 42.44/42.62 c bounds 199 >= 145 @ 28.9445 42.44/42.62 c #Conflicts: 55000 | #Constraints: 14606 42.44/42.62 c #Conflicts: 56000 | #Constraints: 15606 42.44/42.62 c bounds 198 >= 145 @ 30.1198 42.44/42.62 c #Conflicts: 57000 | #Constraints: 16607 42.44/42.62 c #Conflicts: 58000 | #Constraints: 17607 42.44/42.62 c #Conflicts: 59000 | #Constraints: 18607 42.44/42.62 c bounds 197 >= 145 @ 33.2201 42.44/42.62 c #Conflicts: 60000 | #Constraints: 19608 42.44/42.62 c #Conflicts: 61000 | #Constraints: 20608 42.44/42.62 c #Conflicts: 62000 | #Constraints: 21608 42.44/42.62 c #Conflicts: 63000 | #Constraints: 22608 42.44/42.62 c #Conflicts: 64000 | #Constraints: 23608 42.44/42.62 c INPROCESSING 42.44/42.62 c GARBAGE COLLECT 42.44/42.62 c rational objective 145 48.83/49.07 c #Conflicts: 65000 | #Constraints: 13219 48.83/49.07 c #Conflicts: 66000 | #Constraints: 14219 48.83/49.07 c #Conflicts: 67000 | #Constraints: 15219 48.83/49.07 c #Conflicts: 68000 | #Constraints: 16219 48.83/49.07 c #Conflicts: 69000 | #Constraints: 17219 48.83/49.07 c #Conflicts: 70000 | #Constraints: 18219 48.83/49.07 c INPROCESSING 48.83/49.07 c GARBAGE COLLECT 48.83/49.07 c rational objective 145 54.20/54.40 c #Conflicts: 71000 | #Constraints: 10635 54.20/54.40 c #Conflicts: 72000 | #Constraints: 11635 54.20/54.40 c #Conflicts: 73000 | #Constraints: 12635 54.20/54.40 c #Conflicts: 74000 | #Constraints: 13635 54.20/54.40 c #Conflicts: 75000 | #Constraints: 14635 54.20/54.40 c #Conflicts: 76000 | #Constraints: 15635 54.20/54.40 c INPROCESSING 54.20/54.40 c GARBAGE COLLECT 54.20/54.40 c rational objective 145 87.08/87.44 c #Conflicts: 77000 | #Constraints: 9301 87.08/87.44 c #Conflicts: 78000 | #Constraints: 10301 87.08/87.44 c #Conflicts: 79000 | #Constraints: 11301 87.08/87.44 c #Conflicts: 80000 | #Constraints: 12301 87.08/87.44 c #Conflicts: 81000 | #Constraints: 13301 87.08/87.44 c #Conflicts: 82000 | #Constraints: 14301 87.08/87.44 c #Conflicts: 83000 | #Constraints: 15301 87.08/87.44 c #Conflicts: 84000 | #Constraints: 16301 87.08/87.44 c #Conflicts: 85000 | #Constraints: 17301 87.08/87.44 c #Conflicts: 86000 | #Constraints: 18301 87.08/87.44 c #Conflicts: 87000 | #Constraints: 19301 87.08/87.44 c #Conflicts: 88000 | #Constraints: 20301 87.08/87.44 c #Conflicts: 89000 | #Constraints: 21301 87.08/87.44 c #Conflicts: 90000 | #Constraints: 22301 87.08/87.44 c #Conflicts: 91000 | #Constraints: 23301 87.08/87.44 c #Conflicts: 92000 | #Constraints: 24301 87.08/87.44 c #Conflicts: 93000 | #Constraints: 25301 87.08/87.44 c #Conflicts: 94000 | #Constraints: 26301 87.08/87.44 c #Conflicts: 95000 | #Constraints: 27301 87.08/87.44 c #Conflicts: 96000 | #Constraints: 28301 87.08/87.44 c #Conflicts: 97000 | #Constraints: 29301 87.08/87.44 c #Conflicts: 98000 | #Constraints: 30301 87.08/87.44 c #Conflicts: 99000 | #Constraints: 31301 87.08/87.44 c INPROCESSING 87.08/87.44 c GARBAGE COLLECT 87.08/87.44 c rational objective 145 107.31/107.73 c #Conflicts: 100000 | #Constraints: 17329 107.31/107.73 c #Conflicts: 101000 | #Constraints: 18329 107.31/107.73 c #Conflicts: 102000 | #Constraints: 19329 107.31/107.73 c #Conflicts: 103000 | #Constraints: 20329 107.31/107.73 c #Conflicts: 104000 | #Constraints: 21329 107.31/107.73 c #Conflicts: 105000 | #Constraints: 22329 107.31/107.73 c #Conflicts: 106000 | #Constraints: 23329 107.31/107.73 c INPROCESSING 107.31/107.73 c GARBAGE COLLECT 107.31/107.73 c rational objective 145 117.77/118.28 c #Conflicts: 107000 | #Constraints: 13200 117.77/118.28 c #Conflicts: 108000 | #Constraints: 14200 117.77/118.28 c #Conflicts: 109000 | #Constraints: 15200 117.77/118.28 c #Conflicts: 110000 | #Constraints: 16200 117.77/118.28 c #Conflicts: 111000 | #Constraints: 17200 117.77/118.28 c #Conflicts: 112000 | #Constraints: 18200 117.77/118.28 c #Conflicts: 113000 | #Constraints: 19200 117.77/118.28 c #Conflicts: 114000 | #Constraints: 20200 117.77/118.28 c INPROCESSING 117.77/118.28 c GARBAGE COLLECT 117.77/118.28 c rational objective 145 157.74/158.30 c #Conflicts: 115000 | #Constraints: 11831 157.74/158.30 c #Conflicts: 116000 | #Constraints: 12831 157.74/158.30 c #Conflicts: 117000 | #Constraints: 13831 157.74/158.30 c #Conflicts: 118000 | #Constraints: 14831 157.74/158.30 c #Conflicts: 119000 | #Constraints: 15831 157.74/158.30 c #Conflicts: 120000 | #Constraints: 16831 157.74/158.30 c #Conflicts: 121000 | #Constraints: 17831 157.74/158.30 c #Conflicts: 122000 | #Constraints: 18831 157.74/158.30 c #Conflicts: 123000 | #Constraints: 19831 157.74/158.30 c #Conflicts: 124000 | #Constraints: 20831 157.74/158.30 c #Conflicts: 125000 | #Constraints: 21831 157.74/158.30 c #Conflicts: 126000 | #Constraints: 22831 157.74/158.30 c #Conflicts: 127000 | #Constraints: 23831 157.74/158.30 c #Conflicts: 128000 | #Constraints: 24831 157.74/158.30 c bounds 197 >= 146 @ 138.823 157.74/158.30 c bounds 196 >= 146 @ 139.006 157.74/158.30 c #Conflicts: 129000 | #Constraints: 25877 157.74/158.30 c #Conflicts: 130000 | #Constraints: 26877 157.74/158.30 c #Conflicts: 131000 | #Constraints: 27877 157.74/158.30 c #Conflicts: 132000 | #Constraints: 28877 157.74/158.30 c #Conflicts: 133000 | #Constraints: 29877 157.74/158.31 c #Conflicts: 134000 | #Constraints: 30877 157.74/158.31 c #Conflicts: 135000 | #Constraints: 31877 157.74/158.31 c #Conflicts: 136000 | #Constraints: 32877 157.74/158.31 c #Conflicts: 137000 | #Constraints: 33877 157.74/158.31 c #Conflicts: 138000 | #Constraints: 34877 157.74/158.31 c #Conflicts: 139000 | #Constraints: 35877 157.74/158.31 c #Conflicts: 140000 | #Constraints: 36877 157.74/158.31 c INPROCESSING 157.74/158.31 c GARBAGE COLLECT 157.74/158.31 c rational objective 146 175.39/176.11 c #Conflicts: 141000 | #Constraints: 19786 175.39/176.11 c #Conflicts: 142000 | #Constraints: 20786 175.39/176.11 c #Conflicts: 143000 | #Constraints: 21786 175.39/176.11 c #Conflicts: 144000 | #Constraints: 22786 175.39/176.11 c #Conflicts: 145000 | #Constraints: 23786 175.39/176.11 c #Conflicts: 146000 | #Constraints: 24786 175.39/176.11 c #Conflicts: 147000 | #Constraints: 25786 175.39/176.11 c #Conflicts: 148000 | #Constraints: 26786 175.39/176.11 c #Conflicts: 149000 | #Constraints: 27786 175.39/176.11 c INPROCESSING 175.39/176.11 c GARBAGE COLLECT 175.39/176.11 c rational objective 146 184.64/185.37 c #Conflicts: 150000 | #Constraints: 15366 184.64/185.37 c #Conflicts: 151000 | #Constraints: 16366 184.64/185.37 c #Conflicts: 152000 | #Constraints: 17366 184.64/185.37 c #Conflicts: 153000 | #Constraints: 18366 184.64/185.37 c #Conflicts: 154000 | #Constraints: 19366 184.64/185.37 c #Conflicts: 155000 | #Constraints: 20366 184.64/185.37 c #Conflicts: 156000 | #Constraints: 21366 184.64/185.37 c #Conflicts: 157000 | #Constraints: 22366 184.64/185.37 c #Conflicts: 158000 | #Constraints: 23366 184.64/185.37 c INPROCESSING 184.64/185.37 c GARBAGE COLLECT 184.64/185.37 c rational objective 146 252.26/253.11 c #Conflicts: 159000 | #Constraints: 13022 252.26/253.11 c #Conflicts: 160000 | #Constraints: 14022 252.26/253.11 c #Conflicts: 161000 | #Constraints: 15022 252.26/253.11 c #Conflicts: 162000 | #Constraints: 16022 252.26/253.11 c #Conflicts: 163000 | #Constraints: 17022 252.26/253.11 c #Conflicts: 164000 | #Constraints: 18022 252.26/253.11 c #Conflicts: 165000 | #Constraints: 19022 252.26/253.11 c #Conflicts: 166000 | #Constraints: 20022 252.26/253.11 c #Conflicts: 167000 | #Constraints: 21022 252.26/253.11 c #Conflicts: 168000 | #Constraints: 22022 252.26/253.11 c #Conflicts: 169000 | #Constraints: 23022 252.26/253.11 c #Conflicts: 170000 | #Constraints: 24022 252.26/253.11 c #Conflicts: 171000 | #Constraints: 25022 252.26/253.11 c #Conflicts: 172000 | #Constraints: 26022 252.26/253.11 c #Conflicts: 173000 | #Constraints: 27022 252.26/253.11 c #Conflicts: 174000 | #Constraints: 28022 252.26/253.11 c #Conflicts: 175000 | #Constraints: 29022 252.26/253.11 c #Conflicts: 176000 | #Constraints: 30022 252.26/253.11 c #Conflicts: 177000 | #Constraints: 31022 252.26/253.11 c #Conflicts: 178000 | #Constraints: 32022 252.26/253.11 c #Conflicts: 179000 | #Constraints: 33022 252.26/253.11 c #Conflicts: 180000 | #Constraints: 34022 252.26/253.11 c #Conflicts: 181000 | #Constraints: 35022 252.26/253.11 c #Conflicts: 182000 | #Constraints: 36022 252.26/253.11 c #Conflicts: 183000 | #Constraints: 37022 252.26/253.11 c #Conflicts: 184000 | #Constraints: 38022 252.26/253.11 c #Conflicts: 185000 | #Constraints: 39022 252.26/253.11 c #Conflicts: 186000 | #Constraints: 40022 252.26/253.11 c #Conflicts: 187000 | #Constraints: 41022 252.26/253.11 c #Conflicts: 188000 | #Constraints: 42022 252.26/253.11 c #Conflicts: 189000 | #Constraints: 43022 252.26/253.11 c INPROCESSING 252.26/253.11 c GARBAGE COLLECT 252.26/253.11 c rational objective 146 264.71/265.63 c bounds 195 >= 146 @ 248.353 264.71/265.63 c #Conflicts: 190000 | #Constraints: 22991 264.71/265.63 c #Conflicts: 191000 | #Constraints: 23991 264.71/265.63 c #Conflicts: 192000 | #Constraints: 24991 264.71/265.63 c #Conflicts: 193000 | #Constraints: 25991 264.71/265.63 c #Conflicts: 194000 | #Constraints: 26991 264.71/265.63 c #Conflicts: 195000 | #Constraints: 27991 264.71/265.63 c #Conflicts: 196000 | #Constraints: 28991 264.71/265.63 c #Conflicts: 197000 | #Constraints: 29991 264.71/265.63 c #Conflicts: 198000 | #Constraints: 30991 264.71/265.63 c #Conflicts: 199000 | #Constraints: 31991 264.71/265.63 c #Conflicts: 200000 | #Constraints: 32991 264.71/265.63 c INPROCESSING 264.71/265.63 c GARBAGE COLLECT 264.71/265.63 c rational objective 146 338.21/339.32 c #Conflicts: 201000 | #Constraints: 18194 338.21/339.32 c #Conflicts: 202000 | #Constraints: 19194 338.21/339.32 c #Conflicts: 203000 | #Constraints: 20194 338.21/339.32 c #Conflicts: 204000 | #Constraints: 21194 338.21/339.32 c #Conflicts: 205000 | #Constraints: 22194 338.21/339.32 c #Conflicts: 206000 | #Constraints: 23194 338.21/339.32 c #Conflicts: 207000 | #Constraints: 24194 338.21/339.32 c #Conflicts: 208000 | #Constraints: 25194 338.21/339.32 c #Conflicts: 209000 | #Constraints: 26194 338.21/339.32 c #Conflicts: 210000 | #Constraints: 27194 338.21/339.32 c #Conflicts: 211000 | #Constraints: 28194 338.21/339.32 c #Conflicts: 212000 | #Constraints: 29194 338.21/339.32 c #Conflicts: 213000 | #Constraints: 30194 338.21/339.32 c #Conflicts: 214000 | #Constraints: 31194 338.21/339.32 c #Conflicts: 215000 | #Constraints: 32194 338.21/339.32 c #Conflicts: 216000 | #Constraints: 33194 338.21/339.32 c #Conflicts: 217000 | #Constraints: 34194 338.21/339.32 c #Conflicts: 218000 | #Constraints: 35194 338.21/339.32 c #Conflicts: 219000 | #Constraints: 36194 338.21/339.32 c #Conflicts: 220000 | #Constraints: 37194 338.21/339.32 c #Conflicts: 221000 | #Constraints: 38194 338.21/339.32 c #Conflicts: 222000 | #Constraints: 39194 338.21/339.32 c #Conflicts: 223000 | #Constraints: 40194 338.21/339.32 c #Conflicts: 224000 | #Constraints: 41194 338.21/339.32 c #Conflicts: 225000 | #Constraints: 42194 338.21/339.32 c #Conflicts: 226000 | #Constraints: 43194 338.21/339.32 c #Conflicts: 227000 | #Constraints: 44194 338.21/339.32 c #Conflicts: 228000 | #Constraints: 45194 338.21/339.32 c #Conflicts: 229000 | #Constraints: 46194 338.21/339.32 c #Conflicts: 230000 | #Constraints: 47194 338.21/339.32 c #Conflicts: 231000 | #Constraints: 48194 338.21/339.32 c #Conflicts: 232000 | #Constraints: 49194 338.21/339.32 c #Conflicts: 233000 | #Constraints: 50194 338.21/339.32 c #Conflicts: 234000 | #Constraints: 51194 338.21/339.32 c INPROCESSING 338.21/339.32 c GARBAGE COLLECT 338.21/339.32 c rational objective 146 383.80/385.09 c #Conflicts: 235000 | #Constraints: 27289 383.80/385.09 c #Conflicts: 236000 | #Constraints: 28289 383.80/385.09 c #Conflicts: 237000 | #Constraints: 29289 383.80/385.09 c #Conflicts: 238000 | #Constraints: 30289 383.80/385.09 c #Conflicts: 239000 | #Constraints: 31289 383.80/385.09 c #Conflicts: 240000 | #Constraints: 32289 383.80/385.09 c #Conflicts: 241000 | #Constraints: 33289 383.80/385.09 c #Conflicts: 242000 | #Constraints: 34289 383.80/385.09 c #Conflicts: 243000 | #Constraints: 35289 383.80/385.09 c #Conflicts: 244000 | #Constraints: 36289 383.80/385.09 c #Conflicts: 245000 | #Constraints: 37289 383.80/385.09 c INPROCESSING 383.80/385.09 c GARBAGE COLLECT 383.80/385.09 c rational objective 146 410.51/411.81 c #Conflicts: 246000 | #Constraints: 20065 410.51/411.81 c #Conflicts: 247000 | #Constraints: 21065 410.51/411.81 c #Conflicts: 248000 | #Constraints: 22065 410.51/411.81 c #Conflicts: 249000 | #Constraints: 23065 410.51/411.81 c #Conflicts: 250000 | #Constraints: 24065 410.51/411.81 c #Conflicts: 251000 | #Constraints: 25065 410.51/411.81 c #Conflicts: 252000 | #Constraints: 26065 410.51/411.81 c #Conflicts: 253000 | #Constraints: 27065 410.51/411.81 c #Conflicts: 254000 | #Constraints: 28065 410.51/411.81 c #Conflicts: 255000 | #Constraints: 29065 410.51/411.81 c #Conflicts: 256000 | #Constraints: 30065 410.51/411.81 c #Conflicts: 257000 | #Constraints: 31065 410.51/411.81 c INPROCESSING 410.51/411.81 c GARBAGE COLLECT 410.51/411.81 c rational objective 146 498.38/499.99 c #Conflicts: 258000 | #Constraints: 19116 498.38/499.99 c #Conflicts: 259000 | #Constraints: 20116 498.38/499.99 c #Conflicts: 260000 | #Constraints: 21116 498.38/499.99 c #Conflicts: 261000 | #Constraints: 22116 498.38/499.99 c #Conflicts: 262000 | #Constraints: 23116 498.38/499.99 c #Conflicts: 263000 | #Constraints: 24116 498.38/499.99 c #Conflicts: 264000 | #Constraints: 25116 498.38/499.99 c #Conflicts: 265000 | #Constraints: 26116 498.38/499.99 c #Conflicts: 266000 | #Constraints: 27116 498.38/499.99 c #Conflicts: 267000 | #Constraints: 28116 498.38/499.99 c #Conflicts: 268000 | #Constraints: 29116 498.38/499.99 c #Conflicts: 269000 | #Constraints: 30116 498.38/499.99 c #Conflicts: 270000 | #Constraints: 31116 498.38/499.99 c #Conflicts: 271000 | #Constraints: 32116 498.38/499.99 c #Conflicts: 272000 | #Constraints: 33116 498.38/499.99 c #Conflicts: 273000 | #Constraints: 34116 498.38/499.99 c #Conflicts: 274000 | #Constraints: 35116 498.38/499.99 c #Conflicts: 275000 | #Constraints: 36116 498.38/499.99 c #Conflicts: 276000 | #Constraints: 37116 498.38/499.99 c #Conflicts: 277000 | #Constraints: 38116 498.38/499.99 c #Conflicts: 278000 | #Constraints: 39116 498.38/499.99 c #Conflicts: 279000 | #Constraints: 40116 498.38/499.99 c #Conflicts: 280000 | #Constraints: 41116 498.38/499.99 c #Conflicts: 281000 | #Constraints: 42116 498.38/499.99 c #Conflicts: 282000 | #Constraints: 43116 498.38/499.99 c #Conflicts: 283000 | #Constraints: 44116 498.38/499.99 c #Conflicts: 284000 | #Constraints: 45116 498.38/499.99 c #Conflicts: 285000 | #Constraints: 46116 498.38/499.99 c #Conflicts: 286000 | #Constraints: 47116 498.38/499.99 c #Conflicts: 287000 | #Constraints: 48116 498.38/499.99 c #Conflicts: 288000 | #Constraints: 49116 498.38/499.99 c #Conflicts: 289000 | #Constraints: 50116 498.38/499.99 c #Conflicts: 290000 | #Constraints: 51116 498.38/499.99 c #Conflicts: 291000 | #Constraints: 52116 498.38/499.99 c #Conflicts: 292000 | #Constraints: 53116 498.38/499.99 c #Conflicts: 293000 | #Constraints: 54116 498.38/499.99 c #Conflicts: 294000 | #Constraints: 55116 498.38/499.99 c #Conflicts: 295000 | #Constraints: 56116 498.38/499.99 c INPROCESSING 498.38/499.99 c GARBAGE COLLECT 498.38/499.99 c rational objective 146 565.80/567.52 c #Conflicts: 296000 | #Constraints: 29354 565.80/567.52 c #Conflicts: 297000 | #Constraints: 30354 565.80/567.52 c #Conflicts: 298000 | #Constraints: 31354 565.80/567.52 c #Conflicts: 299000 | #Constraints: 32354 565.80/567.52 c #Conflicts: 300000 | #Constraints: 33354 565.80/567.52 c #Conflicts: 301000 | #Constraints: 34354 565.80/567.52 c #Conflicts: 302000 | #Constraints: 35354 565.80/567.52 c #Conflicts: 303000 | #Constraints: 36354 565.80/567.52 c #Conflicts: 304000 | #Constraints: 37354 565.80/567.52 c #Conflicts: 305000 | #Constraints: 38354 565.80/567.52 c #Conflicts: 306000 | #Constraints: 39354 565.80/567.52 c #Conflicts: 307000 | #Constraints: 40354 565.80/567.52 c #Conflicts: 308000 | #Constraints: 41354 565.80/567.52 c #Conflicts: 309000 | #Constraints: 42354 565.80/567.52 c INPROCESSING 565.80/567.52 c GARBAGE COLLECT 565.80/567.52 c rational objective 146 605.50/607.37 c #Conflicts: 310000 | #Constraints: 22969 605.50/607.37 c #Conflicts: 311000 | #Constraints: 23969 605.50/607.37 c #Conflicts: 312000 | #Constraints: 24969 605.50/607.37 c #Conflicts: 313000 | #Constraints: 25969 605.50/607.37 c #Conflicts: 314000 | #Constraints: 26969 605.50/607.37 c #Conflicts: 315000 | #Constraints: 27969 605.50/607.37 c #Conflicts: 316000 | #Constraints: 28969 605.50/607.37 c #Conflicts: 317000 | #Constraints: 29969 605.50/607.37 c #Conflicts: 318000 | #Constraints: 30969 605.50/607.37 c #Conflicts: 319000 | #Constraints: 31969 605.50/607.37 c #Conflicts: 320000 | #Constraints: 32969 605.50/607.37 c #Conflicts: 321000 | #Constraints: 33969 605.50/607.37 c #Conflicts: 322000 | #Constraints: 34969 605.50/607.37 c INPROCESSING 605.50/607.37 c GARBAGE COLLECT 605.50/607.37 c rational objective 146 795.01/797.34 c #Conflicts: 323000 | #Constraints: 22355 795.01/797.34 c #Conflicts: 324000 | #Constraints: 23355 795.01/797.34 c #Conflicts: 325000 | #Constraints: 24355 795.01/797.34 c #Conflicts: 326000 | #Constraints: 25355 795.01/797.34 c #Conflicts: 327000 | #Constraints: 26355 795.01/797.34 c #Conflicts: 328000 | #Constraints: 27355 795.01/797.34 c #Conflicts: 329000 | #Constraints: 28355 795.01/797.34 c #Conflicts: 330000 | #Constraints: 29355 795.01/797.34 c #Conflicts: 331000 | #Constraints: 30355 795.01/797.34 c #Conflicts: 332000 | #Constraints: 31355 795.01/797.34 c #Conflicts: 333000 | #Constraints: 32355 795.01/797.34 c #Conflicts: 334000 | #Constraints: 33355 795.01/797.34 c #Conflicts: 335000 | #Constraints: 34355 795.01/797.34 c #Conflicts: 336000 | #Constraints: 35355 795.01/797.34 c #Conflicts: 337000 | #Constraints: 36355 795.01/797.34 c #Conflicts: 338000 | #Constraints: 37355 795.01/797.34 c #Conflicts: 339000 | #Constraints: 38355 795.01/797.34 c #Conflicts: 340000 | #Constraints: 39355 795.01/797.34 c #Conflicts: 341000 | #Constraints: 40355 795.01/797.34 c #Conflicts: 342000 | #Constraints: 41355 795.01/797.34 c #Conflicts: 343000 | #Constraints: 42355 795.01/797.34 c #Conflicts: 344000 | #Constraints: 43355 795.01/797.34 c #Conflicts: 345000 | #Constraints: 44355 795.01/797.34 c #Conflicts: 346000 | #Constraints: 45355 795.01/797.34 c #Conflicts: 347000 | #Constraints: 46355 795.01/797.34 c #Conflicts: 348000 | #Constraints: 47355 795.01/797.34 c #Conflicts: 349000 | #Constraints: 48355 795.01/797.34 c #Conflicts: 350000 | #Constraints: 49355 795.01/797.34 c #Conflicts: 351000 | #Constraints: 50355 795.01/797.34 c #Conflicts: 352000 | #Constraints: 51355 795.01/797.34 c #Conflicts: 353000 | #Constraints: 52355 795.01/797.34 c #Conflicts: 354000 | #Constraints: 53355 795.01/797.34 c #Conflicts: 355000 | #Constraints: 54355 795.01/797.34 c #Conflicts: 356000 | #Constraints: 55355 795.01/797.34 c #Conflicts: 357000 | #Constraints: 56355 795.01/797.34 c #Conflicts: 358000 | #Constraints: 57355 795.01/797.34 c #Conflicts: 359000 | #Constraints: 58355 795.01/797.34 c #Conflicts: 360000 | #Constraints: 59355 795.01/797.34 c #Conflicts: 361000 | #Constraints: 60355 795.01/797.34 c bounds 195 >= 147 @ 779.679 795.01/797.34 c #Conflicts: 362000 | #Constraints: 61394 795.01/797.34 c #Conflicts: 363000 | #Constraints: 62394 795.01/797.34 c #Conflicts: 364000 | #Constraints: 63394 795.01/797.34 c INPROCESSING 795.01/797.34 c GARBAGE COLLECT 795.01/797.34 c rational objective 147 826.64/829.11 c #Conflicts: 365000 | #Constraints: 33005 826.64/829.11 c #Conflicts: 366000 | #Constraints: 34005 826.64/829.11 c #Conflicts: 367000 | #Constraints: 35005 826.64/829.11 c #Conflicts: 368000 | #Constraints: 36005 826.64/829.11 c #Conflicts: 369000 | #Constraints: 37005 826.64/829.11 c #Conflicts: 370000 | #Constraints: 38005 826.64/829.11 c #Conflicts: 371000 | #Constraints: 39005 826.64/829.11 c #Conflicts: 372000 | #Constraints: 40005 826.64/829.11 c #Conflicts: 373000 | #Constraints: 41005 826.64/829.11 c #Conflicts: 374000 | #Constraints: 42005 826.64/829.11 c #Conflicts: 375000 | #Constraints: 43005 826.64/829.11 c #Conflicts: 376000 | #Constraints: 44005 826.64/829.11 c #Conflicts: 377000 | #Constraints: 45005 826.64/829.11 c #Conflicts: 378000 | #Constraints: 46005 826.64/829.11 c #Conflicts: 379000 | #Constraints: 47005 826.64/829.11 c INPROCESSING 826.64/829.11 c GARBAGE COLLECT 826.64/829.11 c rational objective 147 1008.94/1011.83 c #Conflicts: 380000 | #Constraints: 25211 1008.94/1011.83 c #Conflicts: 381000 | #Constraints: 26211 1008.94/1011.83 c #Conflicts: 382000 | #Constraints: 27211 1008.94/1011.83 c #Conflicts: 383000 | #Constraints: 28211 1008.94/1011.83 c #Conflicts: 384000 | #Constraints: 29211 1008.94/1011.83 c #Conflicts: 385000 | #Constraints: 30211 1008.94/1011.83 c #Conflicts: 386000 | #Constraints: 31211 1008.94/1011.83 c #Conflicts: 387000 | #Constraints: 32211 1008.94/1011.83 c #Conflicts: 388000 | #Constraints: 33211 1008.94/1011.83 c #Conflicts: 389000 | #Constraints: 34211 1008.94/1011.83 c #Conflicts: 390000 | #Constraints: 35211 1008.94/1011.83 c #Conflicts: 391000 | #Constraints: 36211 1008.94/1011.83 c #Conflicts: 392000 | #Constraints: 37211 1008.94/1011.83 c #Conflicts: 393000 | #Constraints: 38211 1008.94/1011.83 c #Conflicts: 394000 | #Constraints: 39211 1008.94/1011.83 c #Conflicts: 395000 | #Constraints: 40211 1008.94/1011.83 c #Conflicts: 396000 | #Constraints: 41211 1008.94/1011.83 c #Conflicts: 397000 | #Constraints: 42211 1008.94/1011.83 c #Conflicts: 398000 | #Constraints: 43211 1008.94/1011.83 c bounds 194 >= 147 @ 864.006 1008.94/1011.83 c #Conflicts: 399000 | #Constraints: 44212 1008.94/1011.83 c #Conflicts: 400000 | #Constraints: 45212 1008.94/1011.83 c #Conflicts: 401000 | #Constraints: 46212 1008.94/1011.83 c bounds 193 >= 147 @ 874.314 1008.94/1011.83 c #Conflicts: 402000 | #Constraints: 47213 1008.94/1011.83 c #Conflicts: 403000 | #Constraints: 48213 1008.94/1011.83 c #Conflicts: 404000 | #Constraints: 49213 1008.94/1011.83 c #Conflicts: 405000 | #Constraints: 50213 1008.94/1011.83 c #Conflicts: 406000 | #Constraints: 51213 1008.94/1011.83 c #Conflicts: 407000 | #Constraints: 52213 1008.94/1011.83 c #Conflicts: 408000 | #Constraints: 53213 1008.94/1011.83 c #Conflicts: 409000 | #Constraints: 54213 1008.94/1011.83 c #Conflicts: 410000 | #Constraints: 55213 1008.94/1011.83 c #Conflicts: 411000 | #Constraints: 56213 1008.94/1011.83 c #Conflicts: 412000 | #Constraints: 57213 1008.94/1011.83 c #Conflicts: 413000 | #Constraints: 58213 1008.94/1011.83 c #Conflicts: 414000 | #Constraints: 59213 1008.94/1011.83 c #Conflicts: 415000 | #Constraints: 60213 1008.94/1011.83 c #Conflicts: 416000 | #Constraints: 61213 1008.94/1011.83 c #Conflicts: 417000 | #Constraints: 62213 1008.94/1011.83 c #Conflicts: 418000 | #Constraints: 63213 1008.94/1011.83 c #Conflicts: 419000 | #Constraints: 64213 1008.94/1011.83 c #Conflicts: 420000 | #Constraints: 65213 1008.94/1011.83 c #Conflicts: 421000 | #Constraints: 66213 1008.94/1011.83 c #Conflicts: 422000 | #Constraints: 67213 1008.94/1011.83 c #Conflicts: 423000 | #Constraints: 68213 1008.94/1011.83 c #Conflicts: 424000 | #Constraints: 69213 1008.94/1011.83 c #Conflicts: 425000 | #Constraints: 70213 1008.94/1011.83 c INPROCESSING 1008.94/1011.83 c GARBAGE COLLECT 1008.94/1011.83 c rational objective 147 1124.33/1127.53 c #Conflicts: 426000 | #Constraints: 36821 1124.33/1127.53 c #Conflicts: 427000 | #Constraints: 37821 1124.33/1127.53 c #Conflicts: 428000 | #Constraints: 38821 1124.33/1127.53 c #Conflicts: 429000 | #Constraints: 39821 1124.33/1127.53 c #Conflicts: 430000 | #Constraints: 40821 1124.33/1127.53 c #Conflicts: 431000 | #Constraints: 41821 1124.33/1127.53 c #Conflicts: 432000 | #Constraints: 42821 1124.33/1127.53 c #Conflicts: 433000 | #Constraints: 43821 1124.33/1127.53 c #Conflicts: 434000 | #Constraints: 44821 1124.33/1127.53 c #Conflicts: 435000 | #Constraints: 45821 1124.33/1127.53 c #Conflicts: 436000 | #Constraints: 46821 1124.33/1127.53 c #Conflicts: 437000 | #Constraints: 47821 1124.33/1127.53 c #Conflicts: 438000 | #Constraints: 48821 1124.33/1127.53 c #Conflicts: 439000 | #Constraints: 49821 1124.33/1127.53 c #Conflicts: 440000 | #Constraints: 50821 1124.33/1127.53 c #Conflicts: 441000 | #Constraints: 51821 1124.33/1127.53 c INPROCESSING 1124.33/1127.53 c GARBAGE COLLECT 1124.33/1127.53 c rational objective 147 1542.43/1546.70 c #Conflicts: 442000 | #Constraints: 28055 1542.43/1546.70 c #Conflicts: 443000 | #Constraints: 29055 1542.43/1546.70 c #Conflicts: 444000 | #Constraints: 30055 1542.43/1546.70 c #Conflicts: 445000 | #Constraints: 31055 1542.43/1546.70 c #Conflicts: 446000 | #Constraints: 32055 1542.43/1546.70 c #Conflicts: 447000 | #Constraints: 33055 1542.43/1546.70 c #Conflicts: 448000 | #Constraints: 34055 1542.43/1546.70 c #Conflicts: 449000 | #Constraints: 35055 1542.43/1546.70 c #Conflicts: 450000 | #Constraints: 36055 1542.43/1546.70 c #Conflicts: 451000 | #Constraints: 37055 1542.43/1546.70 c #Conflicts: 452000 | #Constraints: 38055 1542.43/1546.70 c #Conflicts: 453000 | #Constraints: 39055 1542.43/1546.70 c #Conflicts: 454000 | #Constraints: 40055 1542.43/1546.70 c #Conflicts: 455000 | #Constraints: 41055 1542.43/1546.70 c #Conflicts: 456000 | #Constraints: 42055 1542.43/1546.70 c #Conflicts: 457000 | #Constraints: 43055 1542.43/1546.70 c #Conflicts: 458000 | #Constraints: 44055 1542.43/1546.70 c #Conflicts: 459000 | #Constraints: 45055 1542.43/1546.70 c #Conflicts: 460000 | #Constraints: 46055 1542.43/1546.70 c #Conflicts: 461000 | #Constraints: 47055 1542.43/1546.70 c #Conflicts: 462000 | #Constraints: 48055 1542.43/1546.70 c #Conflicts: 463000 | #Constraints: 49055 1542.43/1546.70 c #Conflicts: 464000 | #Constraints: 50055 1542.43/1546.70 c #Conflicts: 465000 | #Constraints: 51055 1542.43/1546.70 c #Conflicts: 466000 | #Constraints: 52055 1542.43/1546.70 c #Conflicts: 467000 | #Constraints: 53055 1542.43/1546.70 c #Conflicts: 468000 | #Constraints: 54055 1542.43/1546.70 c #Conflicts: 469000 | #Constraints: 55055 1542.43/1546.70 c #Conflicts: 470000 | #Constraints: 56055 1542.43/1546.70 c #Conflicts: 471000 | #Constraints: 57055 1542.43/1546.70 c #Conflicts: 472000 | #Constraints: 58055 1542.43/1546.70 c #Conflicts: 473000 | #Constraints: 59055 1542.43/1546.70 c #Conflicts: 474000 | #Constraints: 60055 1542.43/1546.70 c #Conflicts: 475000 | #Constraints: 61055 1542.43/1546.70 c #Conflicts: 476000 | #Constraints: 62055 1542.43/1546.70 c #Conflicts: 477000 | #Constraints: 63055 1542.43/1546.70 c #Conflicts: 478000 | #Constraints: 64055 1542.43/1546.70 c #Conflicts: 479000 | #Constraints: 65055 1542.43/1546.70 c #Conflicts: 480000 | #Constraints: 66055 1542.43/1546.70 c #Conflicts: 481000 | #Constraints: 67055 1542.43/1546.70 c #Conflicts: 482000 | #Constraints: 68055 1542.43/1546.70 c #Conflicts: 483000 | #Constraints: 69055 1542.43/1546.70 c #Conflicts: 484000 | #Constraints: 70055 1542.43/1546.70 c #Conflicts: 485000 | #Constraints: 71055 1542.43/1546.70 c #Conflicts: 486000 | #Constraints: 72055 1542.43/1546.70 c #Conflicts: 487000 | #Constraints: 73055 1542.43/1546.70 c #Conflicts: 488000 | #Constraints: 74055 1542.43/1546.70 c #Conflicts: 489000 | #Constraints: 75055 1542.43/1546.70 c INPROCESSING 1542.43/1546.70 c GARBAGE COLLECT 1542.43/1546.70 c rational objective 147 1707.88/1712.65 c #Conflicts: 490000 | #Constraints: 38941 1707.88/1712.65 c #Conflicts: 491000 | #Constraints: 39941 1707.88/1712.65 c #Conflicts: 492000 | #Constraints: 40941 1707.88/1712.65 c #Conflicts: 493000 | #Constraints: 41941 1707.88/1712.65 c #Conflicts: 494000 | #Constraints: 42941 1707.88/1712.65 c #Conflicts: 495000 | #Constraints: 43941 1707.88/1712.65 c #Conflicts: 496000 | #Constraints: 44941 1707.88/1712.65 c #Conflicts: 497000 | #Constraints: 45941 1707.88/1712.65 c #Conflicts: 498000 | #Constraints: 46941 1707.88/1712.65 c #Conflicts: 499000 | #Constraints: 47941 1707.88/1712.65 c #Conflicts: 500000 | #Constraints: 48941 1707.88/1712.65 c #Conflicts: 501000 | #Constraints: 49941 1707.88/1712.65 c #Conflicts: 502000 | #Constraints: 50941 1707.88/1712.65 c #Conflicts: 503000 | #Constraints: 51941 1707.88/1712.65 c #Conflicts: 504000 | #Constraints: 52941 1707.88/1712.65 c #Conflicts: 505000 | #Constraints: 53941 1707.88/1712.65 c #Conflicts: 506000 | #Constraints: 54941 1707.88/1712.65 c INPROCESSING 1707.88/1712.65 c GARBAGE COLLECT 1707.88/1712.65 c rational objective 147 2008.03/2013.67 c #Conflicts: 507000 | #Constraints: 29387 2008.03/2013.67 c #Conflicts: 508000 | #Constraints: 30387 2008.03/2013.67 c #Conflicts: 509000 | #Constraints: 31387 2008.03/2013.67 c #Conflicts: 510000 | #Constraints: 32387 2008.03/2013.67 c #Conflicts: 511000 | #Constraints: 33387 2008.03/2013.67 c #Conflicts: 512000 | #Constraints: 34387 2008.03/2013.67 c #Conflicts: 513000 | #Constraints: 35387 2008.03/2013.67 c #Conflicts: 514000 | #Constraints: 36387 2008.03/2013.67 c #Conflicts: 515000 | #Constraints: 37387 2008.03/2013.67 c #Conflicts: 516000 | #Constraints: 38387 2008.03/2013.67 c #Conflicts: 517000 | #Constraints: 39387 2008.03/2013.67 c #Conflicts: 518000 | #Constraints: 40387 2008.03/2013.67 c #Conflicts: 519000 | #Constraints: 41387 2008.03/2013.67 c #Conflicts: 520000 | #Constraints: 42387 2008.03/2013.67 c #Conflicts: 521000 | #Constraints: 43387 2008.03/2013.67 c #Conflicts: 522000 | #Constraints: 44387 2008.03/2013.67 c #Conflicts: 523000 | #Constraints: 45387 2008.03/2013.67 c #Conflicts: 524000 | #Constraints: 46387 2008.03/2013.67 c #Conflicts: 525000 | #Constraints: 47387 2008.03/2013.67 c #Conflicts: 526000 | #Constraints: 48387 2008.03/2013.67 c #Conflicts: 527000 | #Constraints: 49387 2008.03/2013.67 c #Conflicts: 528000 | #Constraints: 50387 2008.03/2013.67 c #Conflicts: 529000 | #Constraints: 51387 2008.03/2013.67 c #Conflicts: 530000 | #Constraints: 52387 2008.03/2013.67 c #Conflicts: 531000 | #Constraints: 53387 2008.03/2013.67 c #Conflicts: 532000 | #Constraints: 54387 2008.03/2013.67 c #Conflicts: 533000 | #Constraints: 55387 2008.03/2013.67 c #Conflicts: 534000 | #Constraints: 56387 2008.03/2013.67 c #Conflicts: 535000 | #Constraints: 57387 2008.03/2013.67 c #Conflicts: 536000 | #Constraints: 58387 2008.03/2013.67 c #Conflicts: 537000 | #Constraints: 59387 2008.03/2013.67 c #Conflicts: 538000 | #Constraints: 60387 2008.03/2013.67 c #Conflicts: 539000 | #Constraints: 61387 2008.03/2013.67 c #Conflicts: 540000 | #Constraints: 62387 2008.03/2013.67 c #Conflicts: 541000 | #Constraints: 63387 2008.03/2013.67 c #Conflicts: 542000 | #Constraints: 64387 2008.03/2013.67 c #Conflicts: 543000 | #Constraints: 65387 2008.03/2013.67 c #Conflicts: 544000 | #Constraints: 66387 2008.03/2013.67 c #Conflicts: 545000 | #Constraints: 67387 2008.03/2013.67 c #Conflicts: 546000 | #Constraints: 68387 2008.03/2013.68 c #Conflicts: 547000 | #Constraints: 69387 2008.03/2013.68 c #Conflicts: 548000 | #Constraints: 70387 2008.03/2013.68 c #Conflicts: 549000 | #Constraints: 71387 2008.03/2013.68 c #Conflicts: 550000 | #Constraints: 72387 2008.03/2013.68 c #Conflicts: 551000 | #Constraints: 73387 2008.03/2013.68 c #Conflicts: 552000 | #Constraints: 74387 2008.03/2013.68 c #Conflicts: 553000 | #Constraints: 75387 2008.03/2013.68 c #Conflicts: 554000 | #Constraints: 76387 2008.03/2013.68 c #Conflicts: 555000 | #Constraints: 77387 2008.03/2013.68 c #Conflicts: 556000 | #Constraints: 78387 2008.03/2013.68 c #Conflicts: 557000 | #Constraints: 79387 2008.03/2013.68 c #Conflicts: 558000 | #Constraints: 80387 2008.03/2013.68 c INPROCESSING 2008.03/2013.68 c GARBAGE COLLECT 2008.03/2013.68 c rational objective 147 2113.36/2119.29 c #Conflicts: 559000 | #Constraints: 41698 2113.36/2119.29 c #Conflicts: 560000 | #Constraints: 42698 2113.36/2119.29 c #Conflicts: 561000 | #Constraints: 43698 2113.36/2119.29 c #Conflicts: 562000 | #Constraints: 44698 2113.36/2119.29 c #Conflicts: 563000 | #Constraints: 45698 2113.36/2119.29 c #Conflicts: 564000 | #Constraints: 46698 2113.36/2119.29 c #Conflicts: 565000 | #Constraints: 47698 2113.36/2119.29 c #Conflicts: 566000 | #Constraints: 48698 2113.36/2119.29 c #Conflicts: 567000 | #Constraints: 49698 2113.36/2119.29 c #Conflicts: 568000 | #Constraints: 50698 2113.36/2119.29 c #Conflicts: 569000 | #Constraints: 51698 2113.36/2119.29 c #Conflicts: 570000 | #Constraints: 52698 2113.36/2119.29 c #Conflicts: 571000 | #Constraints: 53698 2113.36/2119.29 c #Conflicts: 572000 | #Constraints: 54698 2113.36/2119.29 c #Conflicts: 573000 | #Constraints: 55698 2113.36/2119.29 c #Conflicts: 574000 | #Constraints: 56698 2113.36/2119.29 c #Conflicts: 575000 | #Constraints: 57698 2113.36/2119.29 c #Conflicts: 576000 | #Constraints: 58698 2113.36/2119.29 c #Conflicts: 577000 | #Constraints: 59698 2113.36/2119.29 c INPROCESSING 2113.36/2119.29 c GARBAGE COLLECT 2113.36/2119.29 c rational objective 147 2514.08/2521.05 c #Conflicts: 578000 | #Constraints: 35985 2514.08/2521.05 c #Conflicts: 579000 | #Constraints: 36985 2514.08/2521.05 c #Conflicts: 580000 | #Constraints: 37985 2514.08/2521.05 c #Conflicts: 581000 | #Constraints: 38985 2514.08/2521.05 c #Conflicts: 582000 | #Constraints: 39985 2514.08/2521.05 c #Conflicts: 583000 | #Constraints: 40985 2514.08/2521.05 c #Conflicts: 584000 | #Constraints: 41985 2514.08/2521.05 c #Conflicts: 585000 | #Constraints: 42985 2514.08/2521.05 c #Conflicts: 586000 | #Constraints: 43985 2514.08/2521.05 c #Conflicts: 587000 | #Constraints: 44985 2514.08/2521.05 c #Conflicts: 588000 | #Constraints: 45985 2514.08/2521.05 c #Conflicts: 589000 | #Constraints: 46985 2514.08/2521.05 c #Conflicts: 590000 | #Constraints: 47985 2514.08/2521.05 c #Conflicts: 591000 | #Constraints: 48985 2514.08/2521.05 c #Conflicts: 592000 | #Constraints: 49985 2514.08/2521.05 c #Conflicts: 593000 | #Constraints: 50985 2514.08/2521.05 c #Conflicts: 594000 | #Constraints: 51985 2514.08/2521.05 c #Conflicts: 595000 | #Constraints: 52985 2514.08/2521.05 c #Conflicts: 596000 | #Constraints: 53985 2514.08/2521.05 c #Conflicts: 597000 | #Constraints: 54985 2514.08/2521.05 c #Conflicts: 598000 | #Constraints: 55985 2514.08/2521.05 c #Conflicts: 599000 | #Constraints: 56985 2514.08/2521.05 c #Conflicts: 600000 | #Constraints: 57985 2514.08/2521.05 c #Conflicts: 601000 | #Constraints: 58985 2514.08/2521.05 c #Conflicts: 602000 | #Constraints: 59985 2514.08/2521.05 c #Conflicts: 603000 | #Constraints: 60985 2514.08/2521.05 c #Conflicts: 604000 | #Constraints: 61985 2514.08/2521.05 c #Conflicts: 605000 | #Constraints: 62985 2514.08/2521.05 c #Conflicts: 606000 | #Constraints: 63985 2514.08/2521.05 c #Conflicts: 607000 | #Constraints: 64985 2514.08/2521.05 c #Conflicts: 608000 | #Constraints: 65985 2514.08/2521.05 c #Conflicts: 609000 | #Constraints: 66985 2514.08/2521.05 c #Conflicts: 610000 | #Constraints: 67985 2514.08/2521.05 c #Conflicts: 611000 | #Constraints: 68985 2514.08/2521.05 c #Conflicts: 612000 | #Constraints: 69985 2514.08/2521.05 c #Conflicts: 613000 | #Constraints: 70985 2514.08/2521.05 c #Conflicts: 614000 | #Constraints: 71985 2514.08/2521.05 c #Conflicts: 615000 | #Constraints: 72985 2514.08/2521.05 c #Conflicts: 616000 | #Constraints: 73985 2514.08/2521.05 c #Conflicts: 617000 | #Constraints: 74985 2514.08/2521.05 c #Conflicts: 618000 | #Constraints: 75985 2514.08/2521.05 c #Conflicts: 619000 | #Constraints: 76985 2514.08/2521.05 c #Conflicts: 620000 | #Constraints: 77985 2514.08/2521.05 c #Conflicts: 621000 | #Constraints: 78985 2514.08/2521.05 c #Conflicts: 622000 | #Constraints: 79985 2514.08/2521.05 c #Conflicts: 623000 | #Constraints: 80985 2514.08/2521.05 c #Conflicts: 624000 | #Constraints: 81985 2514.08/2521.05 c #Conflicts: 625000 | #Constraints: 82985 2514.08/2521.05 c #Conflicts: 626000 | #Constraints: 83985 2514.08/2521.05 c #Conflicts: 627000 | #Constraints: 84985 2514.08/2521.05 c #Conflicts: 628000 | #Constraints: 85985 2514.08/2521.05 c #Conflicts: 629000 | #Constraints: 86985 2514.08/2521.05 c #Conflicts: 630000 | #Constraints: 87985 2514.08/2521.05 c #Conflicts: 631000 | #Constraints: 88985 2514.08/2521.05 c #Conflicts: 632000 | #Constraints: 89985 2514.08/2521.05 c INPROCESSING 2514.08/2521.05 c GARBAGE COLLECT 2514.08/2521.05 c rational objective 147 2587.24/2594.48 c #Conflicts: 633000 | #Constraints: 46804 2587.24/2594.48 c #Conflicts: 634000 | #Constraints: 47804 2587.24/2594.48 c #Conflicts: 635000 | #Constraints: 48804 2587.24/2594.48 c #Conflicts: 636000 | #Constraints: 49804 2587.24/2594.48 c #Conflicts: 637000 | #Constraints: 50804 2587.24/2594.48 c #Conflicts: 638000 | #Constraints: 51804 2587.24/2594.48 c #Conflicts: 639000 | #Constraints: 52804 2587.24/2594.48 c #Conflicts: 640000 | #Constraints: 53804 2587.24/2594.48 c #Conflicts: 641000 | #Constraints: 54804 2587.24/2594.48 c #Conflicts: 642000 | #Constraints: 55804 2587.24/2594.48 c #Conflicts: 643000 | #Constraints: 56804 2587.24/2594.48 c #Conflicts: 644000 | #Constraints: 57804 2587.24/2594.48 c #Conflicts: 645000 | #Constraints: 58804 2587.24/2594.48 c #Conflicts: 646000 | #Constraints: 59804 2587.24/2594.48 c #Conflicts: 647000 | #Constraints: 60804 2587.24/2594.48 c #Conflicts: 648000 | #Constraints: 61804 2587.24/2594.48 c #Conflicts: 649000 | #Constraints: 62804 2587.24/2594.48 c #Conflicts: 650000 | #Constraints: 63804 2587.24/2594.48 c #Conflicts: 651000 | #Constraints: 64804 2587.24/2594.48 c INPROCESSING 2587.24/2594.48 c GARBAGE COLLECT 2587.24/2594.48 c rational objective 147 2949.02/2957.38 c #Conflicts: 652000 | #Constraints: 39902 2949.02/2957.38 c #Conflicts: 653000 | #Constraints: 40902 2949.02/2957.38 c #Conflicts: 654000 | #Constraints: 41902 2949.02/2957.38 c #Conflicts: 655000 | #Constraints: 42902 2949.02/2957.38 c #Conflicts: 656000 | #Constraints: 43902 2949.02/2957.38 c #Conflicts: 657000 | #Constraints: 44902 2949.02/2957.38 c #Conflicts: 658000 | #Constraints: 45902 2949.02/2957.38 c #Conflicts: 659000 | #Constraints: 46902 2949.02/2957.38 c #Conflicts: 660000 | #Constraints: 47902 2949.02/2957.38 c #Conflicts: 661000 | #Constraints: 48902 2949.02/2957.38 c #Conflicts: 662000 | #Constraints: 49902 2949.02/2957.38 c #Conflicts: 663000 | #Constraints: 50902 2949.02/2957.38 c #Conflicts: 664000 | #Constraints: 51902 2949.02/2957.38 c #Conflicts: 665000 | #Constraints: 52902 2949.02/2957.38 c #Conflicts: 666000 | #Constraints: 53902 2949.02/2957.38 c #Conflicts: 667000 | #Constraints: 54902 2949.02/2957.38 c #Conflicts: 668000 | #Constraints: 55902 2949.02/2957.38 c #Conflicts: 669000 | #Constraints: 56902 2949.02/2957.38 c #Conflicts: 670000 | #Constraints: 57902 2949.02/2957.38 c #Conflicts: 671000 | #Constraints: 58902 2949.02/2957.38 c #Conflicts: 672000 | #Constraints: 59902 2949.02/2957.38 c #Conflicts: 673000 | #Constraints: 60902 2949.02/2957.38 c #Conflicts: 674000 | #Constraints: 61902 2949.02/2957.38 c #Conflicts: 675000 | #Constraints: 62902 2949.02/2957.38 c #Conflicts: 676000 | #Constraints: 63902 2949.02/2957.38 c #Conflicts: 677000 | #Constraints: 64902 2949.02/2957.38 c #Conflicts: 678000 | #Constraints: 65902 2949.02/2957.38 c #Conflicts: 679000 | #Constraints: 66902 2949.02/2957.38 c #Conflicts: 680000 | #Constraints: 67902 2949.02/2957.38 c #Conflicts: 681000 | #Constraints: 68902 2949.02/2957.38 c #Conflicts: 682000 | #Constraints: 69902 2949.02/2957.38 c #Conflicts: 683000 | #Constraints: 70902 2949.02/2957.38 c #Conflicts: 684000 | #Constraints: 71902 2949.02/2957.38 c #Conflicts: 685000 | #Constraints: 72902 2949.02/2957.38 c #Conflicts: 686000 | #Constraints: 73902 2949.02/2957.38 c #Conflicts: 687000 | #Constraints: 74902 2949.02/2957.38 c #Conflicts: 688000 | #Constraints: 75902 2949.02/2957.38 c #Conflicts: 689000 | #Constraints: 76902 2949.02/2957.38 c #Conflicts: 690000 | #Constraints: 77902 2949.02/2957.38 c #Conflicts: 691000 | #Constraints: 78902 2949.02/2957.38 c #Conflicts: 692000 | #Constraints: 79902 2949.02/2957.38 c #Conflicts: 693000 | #Constraints: 80902 2949.02/2957.38 c #Conflicts: 694000 | #Constraints: 81902 2949.02/2957.38 c #Conflicts: 695000 | #Constraints: 82903 2949.02/2957.38 c #Conflicts: 696000 | #Constraints: 83903 2949.02/2957.38 c #Conflicts: 697000 | #Constraints: 84903 2949.02/2957.38 c #Conflicts: 698000 | #Constraints: 85903 2949.02/2957.38 c #Conflicts: 699000 | #Constraints: 86903 2949.02/2957.38 c #Conflicts: 700000 | #Constraints: 87903 2949.02/2957.38 c #Conflicts: 701000 | #Constraints: 88903 2949.02/2957.38 c #Conflicts: 702000 | #Constraints: 89903 2949.02/2957.38 c #Conflicts: 703000 | #Constraints: 90903 2949.02/2957.38 c #Conflicts: 704000 | #Constraints: 91903 2949.02/2957.38 c #Conflicts: 705000 | #Constraints: 92903 2949.02/2957.38 c #Conflicts: 706000 | #Constraints: 93903 2949.02/2957.38 c #Conflicts: 707000 | #Constraints: 94903 2949.02/2957.38 c #Conflicts: 708000 | #Constraints: 95903 2949.02/2957.38 c #Conflicts: 709000 | #Constraints: 96903 2949.02/2957.38 c INPROCESSING 2949.02/2957.38 c GARBAGE COLLECT 2949.02/2957.38 c rational objective 147 3174.10/3183.04 c #Conflicts: 710000 | #Constraints: 49776 3174.10/3183.04 c #Conflicts: 711000 | #Constraints: 50776 3174.10/3183.04 c #Conflicts: 712000 | #Constraints: 51776 3174.10/3183.04 c #Conflicts: 713000 | #Constraints: 52776 3174.10/3183.04 c #Conflicts: 714000 | #Constraints: 53776 3174.10/3183.04 c #Conflicts: 715000 | #Constraints: 54776 3174.10/3183.04 c #Conflicts: 716000 | #Constraints: 55776 3174.10/3183.04 c #Conflicts: 717000 | #Constraints: 56776 3174.10/3183.04 c #Conflicts: 718000 | #Constraints: 57776 3174.10/3183.04 c #Conflicts: 719000 | #Constraints: 58776 3174.10/3183.04 c #Conflicts: 720000 | #Constraints: 59776 3174.10/3183.04 c #Conflicts: 721000 | #Constraints: 60776 3174.10/3183.04 c #Conflicts: 722000 | #Constraints: 61776 3174.10/3183.04 c #Conflicts: 723000 | #Constraints: 62776 3174.10/3183.04 c #Conflicts: 724000 | #Constraints: 63776 3174.10/3183.04 c #Conflicts: 725000 | #Constraints: 64776 3174.10/3183.04 c #Conflicts: 726000 | #Constraints: 65776 3174.10/3183.04 c #Conflicts: 727000 | #Constraints: 66776 3174.10/3183.04 c #Conflicts: 728000 | #Constraints: 67776 3174.10/3183.04 c #Conflicts: 729000 | #Constraints: 68776 3174.10/3183.04 c #Conflicts: 730000 | #Constraints: 69776 3174.10/3183.04 c #Conflicts: 731000 | #Constraints: 70776 3174.10/3183.04 c INPROCESSING 3174.10/3183.04 c GARBAGE COLLECT 3174.10/3183.04 c rational objective 147 3600.05/3610.11 c #Conflicts: 732000 | #Constraints: 43016 3600.05/3610.11 c #Conflicts: 733000 | #Constraints: 44016 3600.05/3610.11 c #Conflicts: 734000 | #Constraints: 45016 3600.05/3610.11 c #Conflicts: 735000 | #Constraints: 46016 3600.05/3610.11 c #Conflicts: 736000 | #Constraints: 47016 3600.05/3610.11 c #Conflicts: 737000 | #Constraints: 48016 3600.05/3610.11 c #Conflicts: 738000 | #Constraints: 49016 3600.05/3610.11 c #Conflicts: 739000 | #Constraints: 50016 3600.05/3610.11 c #Conflicts: 740000 | #Constraints: 51016 3600.05/3610.11 c #Conflicts: 741000 | #Constraints: 52016 3600.05/3610.11 c #Conflicts: 742000 | #Constraints: 53016 3600.05/3610.11 c #Conflicts: 743000 | #Constraints: 54016 3600.05/3610.11 c #Conflicts: 744000 | #Constraints: 55016 3600.05/3610.11 c #Conflicts: 745000 | #Constraints: 56016 3600.05/3610.11 c #Conflicts: 746000 | #Constraints: 57016 3600.05/3610.11 c #Conflicts: 747000 | #Constraints: 58016 3600.05/3610.11 c #Conflicts: 748000 | #Constraints: 59016 3600.05/3610.11 c #Conflicts: 749000 | #Constraints: 60016 3600.05/3610.11 c #Conflicts: 750000 | #Constraints: 61016 3600.05/3610.11 c #Conflicts: 751000 | #Constraints: 62016 3600.05/3610.11 c #Conflicts: 752000 | #Constraints: 63016 3600.05/3610.11 c #Conflicts: 753000 | #Constraints: 64016 3600.05/3610.11 c #Conflicts: 754000 | #Constraints: 65016 3600.05/3610.11 c #Conflicts: 755000 | #Constraints: 66016 3600.05/3610.11 c #Conflicts: 756000 | #Constraints: 67016 3600.05/3610.11 c #Conflicts: 757000 | #Constraints: 68016 3600.05/3610.11 c #Conflicts: 758000 | #Constraints: 69016 3600.05/3610.11 c #Conflicts: 759000 | #Constraints: 70016 3600.05/3610.11 c #Conflicts: 760000 | #Constraints: 71016 3600.05/3610.11 c #Conflicts: 761000 | #Constraints: 72016 3600.05/3610.11 c #Conflicts: 762000 | #Constraints: 73016 3600.05/3610.11 c #Conflicts: 763000 | #Constraints: 74016 3600.05/3610.11 c #Conflicts: 764000 | #Constraints: 75016 3600.05/3610.11 c #Conflicts: 765000 | #Constraints: 76016 3600.05/3610.11 c #Conflicts: 766000 | #Constraints: 77016 3600.05/3610.11 c #Conflicts: 767000 | #Constraints: 78016 3600.05/3610.11 c #Conflicts: 768000 | #Constraints: 79016 3600.05/3610.11 c #Conflicts: 769000 | #Constraints: 80016 3600.05/3610.11 c #Conflicts: 770000 | #Constraints: 81016 3600.05/3610.11 c #Conflicts: 771000 | #Constraints: 82016 3600.05/3610.11 c #Conflicts: 772000 | #Constraints: 83016 3600.05/3610.11 c #Conflicts: 773000 | #Constraints: 84016 3600.05/3610.11 c #Conflicts: 774000 | #Constraints: 85016 3600.05/3610.11 c #Conflicts: 775000 | #Constraints: 86016 3600.05/3610.11 c #Conflicts: 776000 | #Constraints: 87016 3600.05/3610.11 c #Conflicts: 777000 | #Constraints: 88016 3600.05/3610.11 c #Conflicts: 778000 | #Constraints: 89016 3600.05/3610.11 c #Conflicts: 779000 | #Constraints: 90016 3600.05/3610.11 c Program interrupted by user. 3600.05/3610.11 c cpu time 3581.79 s 3600.05/3610.11 c deterministic time 347311264431 3.47e+11 3600.05/3610.11 c optimization time 424.646 s 3600.05/3610.11 c total solve time 3157.14 s 3600.05/3610.11 c core-guided solve time 1833.07 s 3600.05/3610.11 c propagation time 3107.15 s 3600.05/3610.11 c conflict analysis time 444.32 s 3600.05/3610.11 c propagations 107891288 3600.05/3610.11 c resolve steps 6998871 3600.05/3610.11 c decisions 5788121 3600.05/3610.11 c conflicts 779530 3600.05/3610.11 c restarts 1659 3600.05/3610.11 c inprocessing phases 43 3600.05/3610.11 c input clauses 308 3600.05/3610.11 c input cardinalities 331 3600.05/3610.11 c input general constraints 892 3600.05/3610.11 c input average constraint length 63.94 3600.05/3610.11 c input average constraint degree 24.48 3600.05/3610.11 c learned clauses 276437 3600.05/3610.11 c learned cardinalities 4486 3600.05/3610.11 c learned general constraints 498616 3600.05/3610.11 c learned average constraint length 175.02 3600.05/3610.11 c learned average constraint degree 6120843.48 3600.05/3610.11 c watched constraints 344266 3600.05/3610.11 c counting constraints 155242 3600.05/3610.11 c gcd simplifications 91997 3600.05/3610.11 c detected cardinalities 1818 3600.05/3610.11 c weakened non-implied lits 31068513 3600.05/3610.11 c weakened non-implying lits 67492 3600.05/3610.11 c original variables 473 3600.05/3610.11 c clausal propagations 12978858 3600.05/3610.11 c cardinality propagations 5621001 3600.05/3610.11 c watched propagations 17230152 3600.05/3610.11 c counting propagations 70518054 3600.05/3610.11 c watch lookups 61082794479 3600.05/3610.11 c watch backjump lookups 54746754257 3600.05/3610.11 c watch checks 212489035034 3600.05/3610.11 c propagation checks 18203305984 3600.05/3610.11 c constraint additions 560435724 3600.05/3610.11 c trail pops 114458841 3600.05/3610.11 c formula constraints 473 3600.05/3610.11 c learned constraints 779537 3600.05/3610.11 c bound constraints 185 3600.05/3610.11 c core-guided constraints 873 3600.05/3610.11 c encountered formula constraints 1115387 3600.05/3610.11 c encountered learned constraints 5608788 3600.05/3610.11 c encountered bound constraints 74 3600.05/3610.11 c encountered core-guided constraints 1054150 3600.05/3610.11 c LP total time 49.898 s 3600.05/3610.11 c LP solve time 48.96 s 3600.05/3610.11 c LP constraints added 473 3600.05/3610.11 c LP constraints removed 0 3600.05/3610.11 c LP pivots internal 780553 3600.05/3610.11 c LP pivots root 20149 3600.05/3610.11 c LP calls 7329 3600.05/3610.11 c LP optimalities 7325 3600.05/3610.11 c LP no pivot count 366 3600.05/3610.11 c LP infeasibilities 1 3600.05/3610.11 c LP valid Farkas constraints 1 3600.05/3610.11 c LP learned Farkas constraints 1 3600.05/3610.11 c LP basis resets 0 3600.05/3610.11 c LP cycling count 0 3600.05/3610.11 c LP singular count 0 3600.05/3610.11 c LP no primal count 0 3600.05/3610.11 c LP no farkas count 0 3600.05/3610.11 c LP other issue count 0 3600.05/3610.11 c LP Gomory cuts 0 3600.05/3610.11 c LP learned cuts 0 3600.05/3610.11 c LP deleted cuts 0 3600.05/3610.11 c LP encountered Gomory constraints 0 3600.05/3610.11 c LP encountered Farkas constraints 0 3600.05/3610.11 c LP encountered learned Farkas constraints 1 3600.05/3610.11 c CG auxiliary variables introduced 340 3600.05/3610.11 c CG solutions found 38 3600.05/3610.11 c CG cores constructed 147 3600.05/3610.11 c CG core cardinality constraints returned 0 3600.05/3610.11 c CG unit cores 0 3600.05/3610.11 c CG single cores 147 3600.05/3610.11 c CG blocks removed during cardinality reduction 0 3600.05/3610.11 c CG first core best 0 3600.05/3610.11 c CG decision core best 0 3600.05/3610.11 c CG core reduction tie 0 3600.05/3610.11 c CG core degree average 1.00 3600.05/3610.11 c CG core slack average 4.01 3600.05/3610.11 s SATISFIABLE 3600.05/3610.11 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
ERROR: no interpretation found !
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: 64059 MiB (24627 MiB free)
memory of node 1: 64510 MiB (59158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460164-1722064838/watcher-4460164-1722064838 -o /tmp/evaluation-result-4460164-1722064838/solver-4460164-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359140 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460164-1722064838 --lp-cut-gomory=0 HOME/instance-4460164-1722064838.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=359187, runsolver pid=359181
[startup+0.100095 s]*
/proc/loadavg: 0.04 0.08 0.08 5/245 359200
/proc/meminfo: memFree=85788468/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=38724 memory=8512 CPUtime=0.09 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 605 0 0 0 8 1 0 0 20 0 1 0 42473375 39653376 2128 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 9681 2128 1761 992 0 1539 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 8512 KiB
[startup+0.215361 s]*
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85787108/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=39072 memory=8776 CPUtime=0.21 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 653 0 0 0 19 2 0 0 20 0 1 0 42473375 40009728 2194 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 9768 2194 1761 992 0 1626 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 8776 KiB
[startup+0.314237 s]*
/proc/loadavg: 0.04 0.08 0.08 5/245 359200
/proc/meminfo: memFree=85786608/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=39072 memory=8776 CPUtime=0.3 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 665 0 0 0 28 2 0 0 20 0 1 0 42473375 40009728 2194 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 9768 2194 1761 992 0 1626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 8776 KiB
[startup+0.700275 s]
/proc/loadavg: 0.04 0.08 0.08 5/245 359200
/proc/meminfo: memFree=85779772/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=41436 memory=14092 CPUtime=0.68 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 1390 0 0 0 61 7 0 0 20 0 1 0 42473375 42430464 3523 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 10359 3523 1809 992 0 2217 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41436 KiB
Current children cumulated memory: 14092 KiB
[startup+1.50027 s]
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85749964/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=43072 memory=15904 CPUtime=1.46 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 1878 0 0 0 133 13 0 0 20 0 1 0 42473375 44105728 3976 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 10768 3976 1873 992 0 2626 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43072 KiB
Current children cumulated memory: 15904 KiB
[startup+3.11375 s]
/proc/loadavg: 0.36 0.15 0.11 5/245 359200
/proc/meminfo: memFree=85692000/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=51720 memory=24936 CPUtime=3.07 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 4181 0 0 0 285 22 0 0 20 0 1 0 42473375 52961280 6234 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 12930 6234 1873 992 0 4788 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51720 KiB
Current children cumulated memory: 24936 KiB
[startup+6.30031 s]
/proc/loadavg: 0.36 0.15 0.11 5/250 359207
/proc/meminfo: memFree=85609852/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=59556 memory=28700 CPUtime=6.25 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 5131 0 0 0 589 36 0 0 20 0 1 0 42473375 60985344 7175 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 14889 7175 1873 992 0 6747 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59556 KiB
Current children cumulated memory: 28700 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.31 0.16 5/250 359207
/proc/meminfo: memFree=85458040/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=63324 memory=35752 CPUtime=12.63 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 6380 0 0 0 1205 58 0 0 20 0 1 0 42473375 64843776 8938 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 15831 8938 1873 992 0 7689 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 35752 KiB
[startup+25.5004 s]
/proc/loadavg: 1.52 0.43 0.20 5/250 359208
/proc/meminfo: memFree=85215700/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=66796 memory=38912 CPUtime=25.39 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 7136 0 0 0 2438 101 0 0 20 0 1 0 42473375 68399104 9728 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 16699 9728 1873 992 0 8557 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 66796 KiB
Current children cumulated memory: 38912 KiB
[startup+51.1138 s]
/proc/loadavg: 2.37 0.72 0.30 5/250 359214
/proc/meminfo: memFree=84906188/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=127220 memory=77828 CPUtime=50.92 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 13531 0 0 0 4937 155 0 0 20 0 1 0 42473375 130273280 19457 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 31805 19457 1873 992 0 23663 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 127220 KiB
Current children cumulated memory: 77828 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.30 0.53 5/250 359222
/proc/meminfo: memFree=84442816/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=182972 memory=119740 CPUtime=101.94 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 19407 0 0 0 9975 219 0 0 20 0 1 0 42473375 187363328 29935 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 45743 29935 1873 992 0 37601 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 182972 KiB
Current children cumulated memory: 119740 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.81 0.75 5/250 359232
/proc/meminfo: memFree=84009912/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=185040 memory=122004 CPUtime=161.72 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 20037 0 0 0 15872 300 0 0 20 0 1 0 42473375 189480960 30501 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 46260 30501 1873 992 0 38118 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 185040 KiB
Current children cumulated memory: 122004 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.96 5/250 359243
/proc/meminfo: memFree=83679412/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=186988 memory=132520 CPUtime=221.53 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 20533 0 0 0 21774 379 0 0 20 0 1 0 42473375 191475712 33130 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 46747 33130 1873 992 0 38605 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 186988 KiB
Current children cumulated memory: 132520 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.57 1.16 5/250 359253
/proc/meminfo: memFree=83350140/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=193368 memory=136716 CPUtime=281.36 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 21817 0 0 0 27695 441 0 0 20 0 1 0 42473375 198008832 34179 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 48342 34179 1873 992 0 40200 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 193368 KiB
Current children cumulated memory: 136716 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 5/247 359646
/proc/meminfo: memFree=82938156/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=221552 memory=173316 CPUtime=341.2 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 26440 0 0 0 33639 481 0 0 20 0 1 0 42473375 226869248 43329 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 55388 43329 1873 992 0 47246 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 221552 KiB
Current children cumulated memory: 173316 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.12 1.54 5/247 359657
/proc/meminfo: memFree=82709460/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=221552 memory=173424 CPUtime=401.04 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 26504 0 0 0 39581 523 0 0 20 0 1 0 42473375 226869248 43356 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 55388 43356 1873 992 0 47246 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 221552 KiB
Current children cumulated memory: 173424 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.31 1.71 5/247 359667
/proc/meminfo: memFree=82399124/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=226944 memory=176552 CPUtime=460.89 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 27362 0 0 0 45513 576 0 0 20 0 1 0 42473375 232390656 44138 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 56736 44138 1873 992 0 48594 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.02 5/248 360951
/proc/meminfo: memFree=75792548/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3153.44 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 59409 0 0 0 313655 1689 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/247 360961
/proc/meminfo: memFree=75685332/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3213.28 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 59563 0 0 0 319616 1712 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/247 360973
/proc/meminfo: memFree=75588032/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3273.12 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 59705 0 0 0 325578 1734 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/245 360983
/proc/meminfo: memFree=75481480/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3332.95 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 59849 0 0 0 331544 1751 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/247 360995
/proc/meminfo: memFree=75408160/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3392.79 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 59995 0 0 0 337510 1769 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/247 361005
/proc/meminfo: memFree=75328576/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3452.62 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 60143 0 0 0 343475 1787 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/247 361016
/proc/meminfo: memFree=75222932/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3512.47 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 60293 0 0 0 349444 1803 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.11 4.03 5/247 361026
/proc/meminfo: memFree=75124112/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3572.3 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 60444 0 0 0 355410 1820 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.13 4.10 4.03 4/246 361049
/proc/meminfo: memFree=75458672/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) R 359181 359187 359127 0 -1 4194304 60470 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.12 4.10 4.03 2/243 361061
/proc/meminfo: memFree=75458500/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) D 359181 359187 359127 0 -1 4194304 60477 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
??? kill 359187 sig 9
??? end of watcher thread
[startup+3613.84 s]
# the end of solver process 359187 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.79 s, system=18.2668 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.10 4.03 2/243 361061
/proc/meminfo: memFree=75458808/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) D 359181 359187 359127 0 -1 4194304 60477 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3611.6 s]
/proc/loadavg: 4.13 4.10 4.03 2/243 361061
/proc/meminfo: memFree=75458808/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) D 359181 359187 359127 0 -1 4194304 60477 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3612 s]*
/proc/loadavg: 4.12 4.10 4.03 2/243 361061
/proc/meminfo: memFree=75458596/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) D 359181 359187 359127 0 -1 4194304 60477 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
[startup+3612.11 s]
/proc/loadavg: 4.12 4.10 4.03 2/243 361061
/proc/meminfo: memFree=75458596/131655788 swapFree=131058856/131071996
[pid=359187] ppid=359181 vsize=507576 memory=420400 CPUtime=3600.05 cores=5,7
/proc/359187/stat : 359187 (roundingsat) D 359181 359187 359127 0 -1 4194304 60477 0 0 0 358179 1826 0 0 20 0 1 0 42473375 519757824 105100 134679101440 4194304 8254357 140724181755136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23330816 140724181762907 140724181763169 140724181763169 140724181770185 0
/proc/359187/statm: 126894 105100 1889 992 0 118752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 507576 KiB
Current children cumulated memory: 420400 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.84
CPU time (s): 3600.06
CPU user time (s): 3581.79
CPU system time (s): 18.2668
CPU usage (%): 99.6188
Max. virtual memory (cumulated for all children) (KiB): 507576
Max. memory (cumulated for all children) (KiB): 420400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.79
system time used= 18.2668
maximum resident set size= 420764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146
involuntary context switches= 8468
# summary of solver processes directly reported to runsolver:
# pid: 359187
# total CPU time (s): 3600.06
# total CPU user time (s): 3581.79
# total CPU system time (s): 18.2668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1294 second user time and 32.0018 second system time
The end
Begin job on nodeC010 at 2024-07-27 09:20:38 IDJOB=4460164 IDBENCH=147549 IDSOLVER=3086 FILE ID=nodeC010/4460164-1722064838 RUNJOBID= nodeC010-1722064838-359140 SLURM_JOB_ID= 8248112 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.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-4460164-1722064838/watcher-4460164-1722064838 -o /tmp/evaluation-result-4460164-1722064838/solver-4460164-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359140 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460164-1722064838 --lp-cut-gomory=0 HOME/instance-4460164-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=1957297555 nodeC010.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 : 0xb00001f cpu MHz : 1197.211 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.223 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.214 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.217 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.209 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.217 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.215 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.202 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85799180 kB MemAvailable: 129804796 kB Buffers: 362196 kB Cached: 43969960 kB SwapCached: 192 kB Active: 2303828 kB Inactive: 42333768 kB Active(anon): 1924 kB Inactive(anon): 357040 kB Active(file): 2301904 kB Inactive(file): 41976728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22880 kB Writeback: 0 kB AnonPages: 305384 kB Mapped: 101212 kB Shmem: 53520 kB KReclaimable: 788728 kB Slab: 910396 kB SReclaimable: 788728 kB SUnreclaim: 121668 kB KernelStack: 3696 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 677260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723752 MiB End job on nodeC010 at 2024-07-27 10:20:52