| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 198 | 3600.1 | 3610.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| 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 | 186 |
| 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 | 479 |
| Total number of constraints | 479 |
| 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 | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| 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 | 479 |
| 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 | 479 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 479 #constraints 479 0.09/0.18 c bounds - >= 0 @ 0.001767 0.09/0.18 c bounds 235 >= 0 @ 0.126504 0.09/0.18 c bounds 235 >= 1 @ 0.126762 0.09/0.18 c bounds 235 >= 2 @ 0.12694 0.09/0.18 c bounds 235 >= 3 @ 0.127107 0.09/0.18 c bounds 235 >= 4 @ 0.127276 0.09/0.18 c bounds 235 >= 5 @ 0.12744 0.09/0.18 c bounds 235 >= 6 @ 0.127603 0.09/0.18 c bounds 235 >= 7 @ 0.127779 0.09/0.18 c bounds 235 >= 8 @ 0.127971 0.09/0.18 c bounds 235 >= 9 @ 0.128181 0.09/0.18 c bounds 235 >= 10 @ 0.128375 0.09/0.18 c bounds 235 >= 11 @ 0.128587 0.09/0.18 c bounds 235 >= 12 @ 0.128789 0.09/0.18 c bounds 235 >= 13 @ 0.128992 0.09/0.18 c bounds 235 >= 14 @ 0.129196 0.09/0.18 c bounds 235 >= 15 @ 0.129419 0.09/0.18 c bounds 235 >= 16 @ 0.129627 0.09/0.18 c bounds 235 >= 17 @ 0.129838 0.09/0.18 c bounds 235 >= 18 @ 0.129894 0.09/0.18 c bounds 235 >= 19 @ 0.129894 0.09/0.18 c bounds 235 >= 20 @ 0.129894 0.09/0.18 c bounds 235 >= 21 @ 0.129894 0.09/0.18 c bounds 235 >= 22 @ 0.130027 0.09/0.18 c bounds 235 >= 23 @ 0.130243 0.09/0.18 c bounds 235 >= 24 @ 0.130458 0.09/0.18 c bounds 235 >= 25 @ 0.130674 0.09/0.18 c bounds 235 >= 26 @ 0.130887 0.09/0.18 c bounds 234 >= 26 @ 0.145343 0.09/0.18 c bounds 234 >= 27 @ 0.145618 0.09/0.18 c bounds 234 >= 28 @ 0.145863 0.09/0.18 c bounds 234 >= 29 @ 0.14612 0.09/0.18 c bounds 234 >= 30 @ 0.146364 0.09/0.18 c bounds 234 >= 31 @ 0.146618 0.09/0.18 c bounds 234 >= 32 @ 0.146922 0.09/0.18 c bounds 234 >= 33 @ 0.147393 0.09/0.18 c bounds 234 >= 34 @ 0.147652 0.09/0.18 c bounds 234 >= 35 @ 0.147915 0.09/0.18 c bounds 234 >= 36 @ 0.148176 0.09/0.18 c bounds 234 >= 37 @ 0.148439 0.09/0.18 c bounds 234 >= 38 @ 0.148701 0.09/0.18 c bounds 234 >= 39 @ 0.148963 0.09/0.18 c bounds 234 >= 40 @ 0.149234 0.09/0.18 c bounds 234 >= 41 @ 0.149502 0.09/0.18 c bounds 234 >= 42 @ 0.149767 0.09/0.18 c bounds 234 >= 43 @ 0.150029 0.09/0.18 c bounds 234 >= 44 @ 0.150287 0.09/0.18 c bounds 234 >= 45 @ 0.150545 0.09/0.18 c bounds 234 >= 46 @ 0.150797 0.09/0.18 c bounds 234 >= 47 @ 0.15085 0.09/0.18 c bounds 234 >= 48 @ 0.15085 0.09/0.18 c bounds 234 >= 49 @ 0.15085 0.09/0.18 c bounds 234 >= 50 @ 0.15085 0.09/0.18 c bounds 234 >= 51 @ 0.150854 0.09/0.18 c bounds 234 >= 52 @ 0.150854 0.09/0.18 c bounds 234 >= 53 @ 0.150854 0.09/0.18 c bounds 234 >= 54 @ 0.150987 0.09/0.18 c bounds 234 >= 55 @ 0.151228 0.09/0.18 c bounds 234 >= 56 @ 0.151467 0.09/0.18 c bounds 234 >= 57 @ 0.151706 0.09/0.18 c bounds 234 >= 58 @ 0.15196 0.09/0.18 c bounds 234 >= 59 @ 0.15222 0.09/0.18 c bounds 234 >= 60 @ 0.152487 0.09/0.18 c bounds 234 >= 61 @ 0.152752 0.09/0.18 c bounds 234 >= 62 @ 0.152852 0.09/0.18 c bounds 234 >= 63 @ 0.152852 0.09/0.18 c bounds 234 >= 64 @ 0.152852 0.09/0.18 c bounds 234 >= 65 @ 0.152966 0.09/0.18 c bounds 234 >= 66 @ 0.153212 0.09/0.18 c bounds 234 >= 67 @ 0.153452 0.09/0.18 c bounds 234 >= 68 @ 0.153697 0.09/0.18 c bounds 234 >= 69 @ 0.153966 0.09/0.18 c bounds 234 >= 70 @ 0.154247 0.09/0.18 c bounds 234 >= 71 @ 0.154522 0.09/0.18 c bounds 234 >= 72 @ 0.154795 0.09/0.18 c bounds 234 >= 73 @ 0.154851 0.09/0.18 c bounds 234 >= 74 @ 0.154851 0.09/0.18 c bounds 234 >= 75 @ 0.154851 0.09/0.18 c bounds 234 >= 76 @ 0.154989 0.09/0.18 c bounds 234 >= 77 @ 0.15527 0.09/0.18 c bounds 234 >= 78 @ 0.155524 0.09/0.18 c bounds 234 >= 79 @ 0.155779 0.09/0.18 c bounds 234 >= 80 @ 0.156051 0.09/0.18 c bounds 234 >= 81 @ 0.156331 0.09/0.18 c bounds 234 >= 82 @ 0.156599 0.09/0.18 c bounds 234 >= 83 @ 0.156875 0.09/0.18 c bounds 234 >= 84 @ 0.157139 0.09/0.18 c bounds 234 >= 85 @ 0.157404 0.09/0.18 c bounds 234 >= 86 @ 0.157668 0.09/0.18 c bounds 234 >= 87 @ 0.157928 0.09/0.18 c bounds 234 >= 88 @ 0.158194 0.09/0.18 c bounds 234 >= 89 @ 0.158461 0.09/0.18 c bounds 234 >= 90 @ 0.158725 0.09/0.18 c bounds 234 >= 91 @ 0.158993 0.09/0.18 c bounds 234 >= 92 @ 0.159254 0.09/0.18 c bounds 234 >= 93 @ 0.159523 0.09/0.18 c bounds 234 >= 94 @ 0.159787 0.09/0.18 c bounds 234 >= 95 @ 0.15984 0.09/0.18 c bounds 234 >= 96 @ 0.15984 0.09/0.18 c bounds 234 >= 97 @ 0.15984 0.09/0.18 c bounds 234 >= 98 @ 0.159852 0.09/0.18 c bounds 234 >= 99 @ 0.160134 0.09/0.18 c bounds 234 >= 100 @ 0.160393 0.09/0.18 c bounds 234 >= 101 @ 0.16066 0.09/0.18 c bounds 234 >= 102 @ 0.160925 0.09/0.18 c bounds 234 >= 103 @ 0.161203 0.09/0.18 c bounds 234 >= 104 @ 0.161473 0.09/0.18 c bounds 234 >= 105 @ 0.161748 0.09/0.18 c bounds 234 >= 106 @ 0.161837 0.09/0.18 c bounds 234 >= 107 @ 0.161837 0.09/0.18 c bounds 234 >= 108 @ 0.161837 0.09/0.18 c bounds 234 >= 109 @ 0.16197 0.09/0.18 c bounds 234 >= 110 @ 0.162227 0.09/0.18 c bounds 234 >= 111 @ 0.162508 0.09/0.18 c bounds 234 >= 112 @ 0.162757 0.09/0.18 c bounds 234 >= 113 @ 0.163017 0.09/0.18 c bounds 234 >= 114 @ 0.1633 0.09/0.18 c bounds 234 >= 115 @ 0.16357 0.09/0.18 c bounds 234 >= 116 @ 0.163856 0.09/0.18 c bounds 234 >= 117 @ 0.164128 0.09/0.18 c bounds 234 >= 118 @ 0.164408 0.09/0.18 c bounds 234 >= 119 @ 0.164697 0.09/0.18 c bounds 234 >= 120 @ 0.164974 0.09/0.18 c bounds 234 >= 121 @ 0.165237 0.09/0.18 c bounds 234 >= 122 @ 0.165516 0.09/0.18 c bounds 234 >= 123 @ 0.165789 0.09/0.18 c bounds 234 >= 124 @ 0.166073 0.09/0.18 c bounds 234 >= 125 @ 0.166343 0.09/0.18 c bounds 234 >= 126 @ 0.16661 0.09/0.18 c bounds 234 >= 127 @ 0.166894 0.09/0.18 c bounds 234 >= 128 @ 0.167199 0.09/0.18 c bounds 234 >= 129 @ 0.167482 0.09/0.18 c bounds 234 >= 130 @ 0.167793 0.09/0.18 c bounds 234 >= 131 @ 0.167823 0.09/0.18 c bounds 234 >= 132 @ 0.167823 0.09/0.18 c bounds 234 >= 133 @ 0.167823 0.09/0.18 c bounds 234 >= 134 @ 0.167827 0.50/0.51 c bounds 234 >= 135 @ 0.167827 0.50/0.51 c bounds 234 >= 136 @ 0.167956 0.50/0.51 c bounds 234 >= 137 @ 0.168268 0.50/0.51 c bounds 234 >= 138 @ 0.168598 0.50/0.51 c bounds 234 >= 139 @ 0.168913 0.50/0.51 c bounds 234 >= 140 @ 0.16932 0.50/0.51 c bounds 234 >= 141 @ 0.169687 0.50/0.51 c bounds 234 >= 142 @ 0.170103 0.50/0.51 c bounds 234 >= 143 @ 0.170465 0.50/0.51 c bounds 234 >= 144 @ 0.170895 0.50/0.51 c bounds 234 >= 145 @ 0.171444 0.50/0.51 c bounds 234 >= 146 @ 0.172576 0.50/0.51 c bounds 234 >= 147 @ 0.174793 0.50/0.51 c bounds 234 >= 148 @ 0.178181 0.50/0.51 c bounds 234 >= 149 @ 0.183152 0.50/0.51 c bounds 233 >= 149 @ 0.189596 0.50/0.51 c bounds 233 >= 150 @ 0.20996 0.50/0.51 c bounds 232 >= 150 @ 0.211675 0.50/0.51 c bounds 231 >= 150 @ 0.212893 0.50/0.51 c bounds 230 >= 150 @ 0.215748 0.50/0.51 c bounds 229 >= 150 @ 0.217827 0.50/0.51 c bounds 228 >= 150 @ 0.228552 0.50/0.51 c bounds 227 >= 150 @ 0.23159 0.50/0.51 c bounds 226 >= 150 @ 0.235499 0.50/0.51 c bounds 225 >= 150 @ 0.266915 0.50/0.51 c #Conflicts: 1000 | #Constraints: 2237 0.50/0.51 c bounds 225 >= 151 @ 0.361981 0.50/0.51 c bounds 224 >= 151 @ 0.365354 0.50/0.51 c bounds 223 >= 151 @ 0.367942 0.50/0.51 c bounds 222 >= 151 @ 0.376165 0.50/0.51 c bounds 221 >= 151 @ 0.382086 0.50/0.51 c bounds 220 >= 151 @ 0.389104 0.50/0.51 c #Conflicts: 2000 | #Constraints: 3296 0.50/0.51 c INPROCESSING 0.50/0.51 c GARBAGE COLLECT 0.50/0.51 c rational objective 151 1.09/1.11 c bounds 219 >= 151 @ 0.466478 1.09/1.11 c bounds 218 >= 151 @ 0.468691 1.09/1.11 c bounds 217 >= 151 @ 0.470268 1.09/1.11 c bounds 216 >= 151 @ 0.478768 1.09/1.11 c bounds 215 >= 151 @ 0.530771 1.09/1.11 c #Conflicts: 3000 | #Constraints: 3142 1.09/1.11 c bounds 215 >= 152 @ 0.751743 1.09/1.11 c bounds 214 >= 152 @ 0.758636 1.09/1.11 c bounds 213 >= 152 @ 0.826442 1.09/1.11 c #Conflicts: 4000 | #Constraints: 4180 1.09/1.11 c INPROCESSING 1.09/1.11 c GARBAGE COLLECT 1.09/1.11 c rational objective 152 1.99/2.00 c bounds 212 >= 152 @ 1.06284 1.99/2.00 c #Conflicts: 5000 | #Constraints: 3587 1.99/2.00 c #Conflicts: 6000 | #Constraints: 4587 1.99/2.00 c bounds 212 >= 153 @ 1.6373 1.99/2.00 c bounds 211 >= 153 @ 1.64495 1.99/2.00 c bounds 210 >= 153 @ 1.64959 1.99/2.00 c INPROCESSING 1.99/2.00 c GARBAGE COLLECT 1.99/2.00 c rational objective 153 2.68/2.78 c #Conflicts: 7000 | #Constraints: 3649 2.68/2.78 c #Conflicts: 8000 | #Constraints: 4649 2.68/2.78 c #Conflicts: 9000 | #Constraints: 5649 2.68/2.78 c INPROCESSING 2.68/2.78 c GARBAGE COLLECT 2.68/2.78 c rational objective 153 3.98/4.02 c #Conflicts: 10000 | #Constraints: 4343 3.98/4.02 c #Conflicts: 11000 | #Constraints: 5343 3.98/4.02 c #Conflicts: 12000 | #Constraints: 6343 3.98/4.02 c INPROCESSING 3.98/4.02 c GARBAGE COLLECT 3.98/4.02 c rational objective 153 4.78/4.89 c bounds 209 >= 153 @ 3.83292 4.78/4.89 c bounds 208 >= 153 @ 3.85495 4.78/4.89 c bounds 207 >= 153 @ 3.99693 4.78/4.89 c #Conflicts: 13000 | #Constraints: 4853 4.78/4.89 c bounds 206 >= 153 @ 4.10496 4.78/4.89 c #Conflicts: 14000 | #Constraints: 5854 4.78/4.89 c #Conflicts: 15000 | #Constraints: 6854 4.78/4.89 c INPROCESSING 4.78/4.89 c GARBAGE COLLECT 4.78/4.89 c rational objective 153 6.28/6.35 c #Conflicts: 16000 | #Constraints: 5052 6.28/6.35 c #Conflicts: 17000 | #Constraints: 6052 6.28/6.35 c #Conflicts: 18000 | #Constraints: 7052 6.28/6.35 c INPROCESSING 6.28/6.35 c GARBAGE COLLECT 6.28/6.35 c rational objective 153 8.37/8.43 c #Conflicts: 19000 | #Constraints: 5057 8.37/8.43 c #Conflicts: 20000 | #Constraints: 6057 8.37/8.43 c #Conflicts: 21000 | #Constraints: 7057 8.37/8.43 c INPROCESSING 8.37/8.43 c GARBAGE COLLECT 8.37/8.43 c rational objective 153 17.65/17.77 c #Conflicts: 22000 | #Constraints: 4923 17.65/17.77 c bounds 205 >= 153 @ 8.14036 17.65/17.77 c bounds 204 >= 153 @ 8.19943 17.65/17.77 c #Conflicts: 23000 | #Constraints: 5925 17.65/17.77 c #Conflicts: 24000 | #Constraints: 6925 17.65/17.77 c #Conflicts: 25000 | #Constraints: 7925 17.65/17.77 c #Conflicts: 26000 | #Constraints: 8925 17.65/17.77 c #Conflicts: 27000 | #Constraints: 9925 17.65/17.77 c bounds 203 >= 153 @ 10.1921 17.65/17.77 c #Conflicts: 28000 | #Constraints: 10926 17.65/17.77 c #Conflicts: 29000 | #Constraints: 11926 17.65/17.77 c #Conflicts: 30000 | #Constraints: 12926 17.65/17.77 c bounds 203 >= 154 @ 15.0473 17.65/17.77 c #Conflicts: 31000 | #Constraints: 13974 17.65/17.77 c #Conflicts: 32000 | #Constraints: 14974 17.65/17.77 c #Conflicts: 33000 | #Constraints: 15974 17.65/17.77 c INPROCESSING 17.65/17.77 c GARBAGE COLLECT 17.65/17.77 c rational objective 154 20.54/20.65 c #Conflicts: 34000 | #Constraints: 9499 20.54/20.65 c #Conflicts: 35000 | #Constraints: 10499 20.54/20.65 c #Conflicts: 36000 | #Constraints: 11499 20.54/20.65 c #Conflicts: 37000 | #Constraints: 12499 20.54/20.65 c #Conflicts: 38000 | #Constraints: 13499 20.54/20.65 c INPROCESSING 20.54/20.65 c GARBAGE COLLECT 20.54/20.65 c rational objective 154 24.33/24.48 c #Conflicts: 39000 | #Constraints: 8414 24.33/24.48 c #Conflicts: 40000 | #Constraints: 9414 24.33/24.48 c #Conflicts: 41000 | #Constraints: 10414 24.33/24.48 c #Conflicts: 42000 | #Constraints: 11414 24.33/24.48 c INPROCESSING 24.33/24.48 c GARBAGE COLLECT 24.33/24.48 c rational objective 154 26.53/26.65 c bounds 202 >= 154 @ 23.6272 26.53/26.65 c #Conflicts: 43000 | #Constraints: 6945 26.53/26.65 c #Conflicts: 44000 | #Constraints: 7945 26.53/26.65 c #Conflicts: 45000 | #Constraints: 8945 26.53/26.65 c #Conflicts: 46000 | #Constraints: 9945 26.53/26.65 c #Conflicts: 47000 | #Constraints: 10945 26.53/26.65 c #Conflicts: 48000 | #Constraints: 11945 26.53/26.65 c INPROCESSING 26.53/26.65 c GARBAGE COLLECT 26.53/26.65 c rational objective 154 30.81/30.96 c #Conflicts: 49000 | #Constraints: 7627 30.81/30.96 c #Conflicts: 50000 | #Constraints: 8627 30.81/30.96 c #Conflicts: 51000 | #Constraints: 9627 30.81/30.96 c #Conflicts: 52000 | #Constraints: 10627 30.81/30.96 c #Conflicts: 53000 | #Constraints: 11627 30.81/30.96 c INPROCESSING 30.81/30.96 c GARBAGE COLLECT 30.81/30.96 c rational objective 154 49.66/49.80 c #Conflicts: 54000 | #Constraints: 7386 49.66/49.80 c bounds 201 >= 154 @ 30.3971 49.66/49.80 c #Conflicts: 55000 | #Constraints: 8387 49.66/49.80 c #Conflicts: 56000 | #Constraints: 9387 49.66/49.80 c #Conflicts: 57000 | #Constraints: 10387 49.66/49.80 c #Conflicts: 58000 | #Constraints: 11387 49.66/49.80 c #Conflicts: 59000 | #Constraints: 12387 49.66/49.80 c #Conflicts: 60000 | #Constraints: 13387 49.66/49.80 c #Conflicts: 61000 | #Constraints: 14387 49.66/49.80 c #Conflicts: 62000 | #Constraints: 15387 49.66/49.80 c #Conflicts: 63000 | #Constraints: 16387 49.66/49.80 c #Conflicts: 64000 | #Constraints: 17387 49.66/49.80 c #Conflicts: 65000 | #Constraints: 18387 49.66/49.80 c #Conflicts: 66000 | #Constraints: 19387 49.66/49.80 c #Conflicts: 67000 | #Constraints: 20387 49.66/49.80 c #Conflicts: 68000 | #Constraints: 21387 49.66/49.80 c #Conflicts: 69000 | #Constraints: 22387 49.66/49.80 c #Conflicts: 70000 | #Constraints: 23387 49.66/49.80 c #Conflicts: 71000 | #Constraints: 24387 49.66/49.80 c INPROCESSING 49.66/49.80 c GARBAGE COLLECT 49.66/49.80 c rational objective 154 67.20/67.42 c #Conflicts: 72000 | #Constraints: 13657 67.20/67.42 c #Conflicts: 73000 | #Constraints: 14657 67.20/67.42 c #Conflicts: 74000 | #Constraints: 15657 67.20/67.42 c #Conflicts: 75000 | #Constraints: 16657 67.20/67.42 c #Conflicts: 76000 | #Constraints: 17657 67.20/67.42 c #Conflicts: 77000 | #Constraints: 18657 67.20/67.42 c #Conflicts: 78000 | #Constraints: 19657 67.20/67.42 c INPROCESSING 67.20/67.42 c GARBAGE COLLECT 67.20/67.42 c rational objective 154 76.68/76.93 c #Conflicts: 79000 | #Constraints: 11567 76.68/76.93 c #Conflicts: 80000 | #Constraints: 12567 76.68/76.93 c #Conflicts: 81000 | #Constraints: 13567 76.68/76.93 c #Conflicts: 82000 | #Constraints: 14567 76.68/76.93 c #Conflicts: 83000 | #Constraints: 15567 76.68/76.93 c #Conflicts: 84000 | #Constraints: 16567 76.68/76.93 c INPROCESSING 76.68/76.93 c GARBAGE COLLECT 76.68/76.93 c rational objective 154 120.07/120.49 c #Conflicts: 85000 | #Constraints: 9619 120.07/120.49 c #Conflicts: 86000 | #Constraints: 10619 120.07/120.49 c #Conflicts: 87000 | #Constraints: 11619 120.07/120.49 c #Conflicts: 88000 | #Constraints: 12619 120.07/120.49 c #Conflicts: 89000 | #Constraints: 13619 120.07/120.49 c #Conflicts: 90000 | #Constraints: 14619 120.07/120.49 c #Conflicts: 91000 | #Constraints: 15619 120.07/120.49 c #Conflicts: 92000 | #Constraints: 16619 120.07/120.49 c #Conflicts: 93000 | #Constraints: 17619 120.07/120.49 c #Conflicts: 94000 | #Constraints: 18619 120.07/120.49 c #Conflicts: 95000 | #Constraints: 19619 120.07/120.49 c #Conflicts: 96000 | #Constraints: 20619 120.07/120.49 c #Conflicts: 97000 | #Constraints: 21619 120.07/120.49 c #Conflicts: 98000 | #Constraints: 22619 120.07/120.49 c #Conflicts: 99000 | #Constraints: 23619 120.07/120.49 c #Conflicts: 100000 | #Constraints: 24619 120.07/120.49 c #Conflicts: 101000 | #Constraints: 25619 120.07/120.49 c #Conflicts: 102000 | #Constraints: 26619 120.07/120.49 c #Conflicts: 103000 | #Constraints: 27619 120.07/120.49 c #Conflicts: 104000 | #Constraints: 28619 120.07/120.49 c #Conflicts: 105000 | #Constraints: 29619 120.07/120.49 c #Conflicts: 106000 | #Constraints: 30619 120.07/120.49 c bounds 200 >= 154 @ 111.755 120.07/120.49 c #Conflicts: 107000 | #Constraints: 31620 120.07/120.49 c INPROCESSING 120.07/120.49 c GARBAGE COLLECT 120.07/120.49 c rational objective 154 146.91/147.33 c #Conflicts: 108000 | #Constraints: 17495 146.91/147.33 c #Conflicts: 109000 | #Constraints: 18495 146.91/147.33 c #Conflicts: 110000 | #Constraints: 19495 146.91/147.33 c #Conflicts: 111000 | #Constraints: 20495 146.91/147.33 c #Conflicts: 112000 | #Constraints: 21495 146.91/147.33 c #Conflicts: 113000 | #Constraints: 22495 146.91/147.33 c #Conflicts: 114000 | #Constraints: 23495 146.91/147.33 c bounds 200 >= 155 @ 142.431 146.91/147.33 c #Conflicts: 115000 | #Constraints: 24543 146.91/147.33 c INPROCESSING 146.91/147.33 c GARBAGE COLLECT 146.91/147.33 c rational objective 155 159.47/159.97 c #Conflicts: 116000 | #Constraints: 13925 159.47/159.97 c #Conflicts: 117000 | #Constraints: 14925 159.47/159.97 c #Conflicts: 118000 | #Constraints: 15925 159.47/159.97 c #Conflicts: 119000 | #Constraints: 16925 159.47/159.97 c #Conflicts: 120000 | #Constraints: 17925 159.47/159.97 c #Conflicts: 121000 | #Constraints: 18925 159.47/159.97 c #Conflicts: 122000 | #Constraints: 19925 159.47/159.97 c #Conflicts: 123000 | #Constraints: 20925 159.47/159.97 c INPROCESSING 159.47/159.97 c GARBAGE COLLECT 159.47/159.97 c rational objective 155 228.06/228.72 c #Conflicts: 124000 | #Constraints: 11985 228.06/228.72 c #Conflicts: 125000 | #Constraints: 12985 228.06/228.72 c #Conflicts: 126000 | #Constraints: 13985 228.06/228.72 c #Conflicts: 127000 | #Constraints: 14985 228.06/228.72 c #Conflicts: 128000 | #Constraints: 15985 228.06/228.72 c #Conflicts: 129000 | #Constraints: 16985 228.06/228.72 c #Conflicts: 130000 | #Constraints: 17985 228.06/228.72 c #Conflicts: 131000 | #Constraints: 18985 228.06/228.72 c #Conflicts: 132000 | #Constraints: 19985 228.06/228.72 c #Conflicts: 133000 | #Constraints: 20985 228.06/228.72 c #Conflicts: 134000 | #Constraints: 21985 228.06/228.72 c #Conflicts: 135000 | #Constraints: 22985 228.06/228.72 c #Conflicts: 136000 | #Constraints: 23985 228.06/228.72 c #Conflicts: 137000 | #Constraints: 24985 228.06/228.72 c #Conflicts: 138000 | #Constraints: 25985 228.06/228.72 c #Conflicts: 139000 | #Constraints: 26985 228.06/228.72 c #Conflicts: 140000 | #Constraints: 27985 228.06/228.72 c #Conflicts: 141000 | #Constraints: 28985 228.06/228.72 c #Conflicts: 142000 | #Constraints: 29985 228.06/228.72 c #Conflicts: 143000 | #Constraints: 30985 228.06/228.72 c #Conflicts: 144000 | #Constraints: 31985 228.06/228.72 c #Conflicts: 145000 | #Constraints: 32985 228.06/228.72 c #Conflicts: 146000 | #Constraints: 33985 228.06/228.72 c #Conflicts: 147000 | #Constraints: 34985 228.06/228.72 c #Conflicts: 148000 | #Constraints: 35985 228.06/228.72 c #Conflicts: 149000 | #Constraints: 36985 228.06/228.72 c #Conflicts: 150000 | #Constraints: 37985 228.06/228.72 c INPROCESSING 228.06/228.72 c GARBAGE COLLECT 228.06/228.72 c rational objective 155 240.42/241.11 c #Conflicts: 151000 | #Constraints: 20762 240.42/241.11 c #Conflicts: 152000 | #Constraints: 21762 240.42/241.11 c #Conflicts: 153000 | #Constraints: 22762 240.42/241.11 c #Conflicts: 154000 | #Constraints: 23762 240.42/241.11 c #Conflicts: 155000 | #Constraints: 24762 240.42/241.11 c #Conflicts: 156000 | #Constraints: 25762 240.42/241.11 c #Conflicts: 157000 | #Constraints: 26762 240.42/241.11 c #Conflicts: 158000 | #Constraints: 27762 240.42/241.11 c #Conflicts: 159000 | #Constraints: 28762 240.42/241.11 c INPROCESSING 240.42/241.11 c GARBAGE COLLECT 240.42/241.11 c rational objective 155 306.01/306.99 c #Conflicts: 160000 | #Constraints: 15770 306.01/306.99 c #Conflicts: 161000 | #Constraints: 16770 306.01/306.99 c #Conflicts: 162000 | #Constraints: 17770 306.01/306.99 c #Conflicts: 163000 | #Constraints: 18770 306.01/306.99 c #Conflicts: 164000 | #Constraints: 19770 306.01/306.99 c #Conflicts: 165000 | #Constraints: 20770 306.01/306.99 c #Conflicts: 166000 | #Constraints: 21770 306.01/306.99 c #Conflicts: 167000 | #Constraints: 22770 306.01/306.99 c #Conflicts: 168000 | #Constraints: 23770 306.01/306.99 c #Conflicts: 169000 | #Constraints: 24770 306.01/306.99 c #Conflicts: 170000 | #Constraints: 25770 306.01/306.99 c #Conflicts: 171000 | #Constraints: 26770 306.01/306.99 c #Conflicts: 172000 | #Constraints: 27770 306.01/306.99 c #Conflicts: 173000 | #Constraints: 28770 306.01/306.99 c #Conflicts: 174000 | #Constraints: 29770 306.01/306.99 c #Conflicts: 175000 | #Constraints: 30770 306.01/306.99 c #Conflicts: 176000 | #Constraints: 31770 306.01/306.99 c #Conflicts: 177000 | #Constraints: 32770 306.01/306.99 c #Conflicts: 178000 | #Constraints: 33770 306.01/306.99 c #Conflicts: 179000 | #Constraints: 34770 306.01/306.99 c #Conflicts: 180000 | #Constraints: 35770 306.01/306.99 c #Conflicts: 181000 | #Constraints: 36770 306.01/306.99 c #Conflicts: 182000 | #Constraints: 37770 306.01/306.99 c #Conflicts: 183000 | #Constraints: 38770 306.01/306.99 c #Conflicts: 184000 | #Constraints: 39770 306.01/306.99 c #Conflicts: 185000 | #Constraints: 40770 306.01/306.99 c #Conflicts: 186000 | #Constraints: 41770 306.01/306.99 c #Conflicts: 187000 | #Constraints: 42770 306.01/306.99 c #Conflicts: 188000 | #Constraints: 43770 306.01/306.99 c #Conflicts: 189000 | #Constraints: 44770 306.01/306.99 c INPROCESSING 306.01/306.99 c GARBAGE COLLECT 306.01/306.99 c rational objective 155 362.21/363.34 c #Conflicts: 190000 | #Constraints: 23980 362.21/363.34 c #Conflicts: 191000 | #Constraints: 24980 362.21/363.34 c #Conflicts: 192000 | #Constraints: 25980 362.21/363.34 c #Conflicts: 193000 | #Constraints: 26980 362.21/363.34 c #Conflicts: 194000 | #Constraints: 27980 362.21/363.34 c #Conflicts: 195000 | #Constraints: 28980 362.21/363.34 c #Conflicts: 196000 | #Constraints: 29980 362.21/363.34 c #Conflicts: 197000 | #Constraints: 30980 362.21/363.34 c #Conflicts: 198000 | #Constraints: 31980 362.21/363.34 c #Conflicts: 199000 | #Constraints: 32980 362.21/363.34 c #Conflicts: 200000 | #Constraints: 33980 362.21/363.34 c INPROCESSING 362.21/363.34 c GARBAGE COLLECT 362.21/363.34 c rational objective 155 375.77/376.96 c #Conflicts: 201000 | #Constraints: 18714 375.77/376.96 c #Conflicts: 202000 | #Constraints: 19714 375.77/376.96 c bounds 199 >= 155 @ 359.783 375.77/376.96 c #Conflicts: 203000 | #Constraints: 20715 375.77/376.96 c #Conflicts: 204000 | #Constraints: 21715 375.77/376.96 c #Conflicts: 205000 | #Constraints: 22715 375.77/376.96 c #Conflicts: 206000 | #Constraints: 23715 375.77/376.96 c #Conflicts: 207000 | #Constraints: 24715 375.77/376.96 c #Conflicts: 208000 | #Constraints: 25715 375.77/376.96 c #Conflicts: 209000 | #Constraints: 26715 375.77/376.96 c #Conflicts: 210000 | #Constraints: 27715 375.77/376.96 c #Conflicts: 211000 | #Constraints: 28715 375.77/376.96 c INPROCESSING 375.77/376.96 c GARBAGE COLLECT 375.77/376.96 c rational objective 155 459.60/461.06 c #Conflicts: 212000 | #Constraints: 15939 459.60/461.06 c #Conflicts: 213000 | #Constraints: 16939 459.60/461.06 c #Conflicts: 214000 | #Constraints: 17939 459.60/461.06 c #Conflicts: 215000 | #Constraints: 18939 459.60/461.06 c #Conflicts: 216000 | #Constraints: 19939 459.60/461.06 c #Conflicts: 217000 | #Constraints: 20939 459.60/461.06 c #Conflicts: 218000 | #Constraints: 21939 459.60/461.06 c #Conflicts: 219000 | #Constraints: 22939 459.60/461.06 c #Conflicts: 220000 | #Constraints: 23939 459.60/461.06 c #Conflicts: 221000 | #Constraints: 24939 459.60/461.06 c #Conflicts: 222000 | #Constraints: 25939 459.60/461.06 c #Conflicts: 223000 | #Constraints: 26939 459.60/461.06 c #Conflicts: 224000 | #Constraints: 27939 459.60/461.06 c #Conflicts: 225000 | #Constraints: 28939 459.60/461.06 c #Conflicts: 226000 | #Constraints: 29939 459.60/461.06 c #Conflicts: 227000 | #Constraints: 30939 459.60/461.06 c #Conflicts: 228000 | #Constraints: 31939 459.60/461.06 c #Conflicts: 229000 | #Constraints: 32939 459.60/461.06 c #Conflicts: 230000 | #Constraints: 33939 459.60/461.06 c #Conflicts: 231000 | #Constraints: 34939 459.60/461.06 c #Conflicts: 232000 | #Constraints: 35939 459.60/461.06 c #Conflicts: 233000 | #Constraints: 36939 459.60/461.06 c #Conflicts: 234000 | #Constraints: 37939 459.60/461.06 c #Conflicts: 235000 | #Constraints: 38939 459.60/461.06 c #Conflicts: 236000 | #Constraints: 39939 459.60/461.06 c #Conflicts: 237000 | #Constraints: 40939 459.60/461.06 c #Conflicts: 238000 | #Constraints: 41939 459.60/461.06 c #Conflicts: 239000 | #Constraints: 42939 459.60/461.06 c #Conflicts: 240000 | #Constraints: 43939 459.60/461.06 c #Conflicts: 241000 | #Constraints: 44939 459.60/461.06 c #Conflicts: 242000 | #Constraints: 45939 459.60/461.06 c #Conflicts: 243000 | #Constraints: 46939 459.60/461.06 c #Conflicts: 244000 | #Constraints: 47939 459.60/461.06 c #Conflicts: 245000 | #Constraints: 48939 459.60/461.06 c INPROCESSING 459.60/461.06 c GARBAGE COLLECT 459.60/461.06 c rational objective 155 532.15/533.82 c #Conflicts: 246000 | #Constraints: 26161 532.15/533.82 c #Conflicts: 247000 | #Constraints: 27161 532.15/533.82 c #Conflicts: 248000 | #Constraints: 28161 532.15/533.82 c #Conflicts: 249000 | #Constraints: 29161 532.15/533.82 c #Conflicts: 250000 | #Constraints: 30161 532.15/533.82 c #Conflicts: 251000 | #Constraints: 31161 532.15/533.82 c #Conflicts: 252000 | #Constraints: 32161 532.15/533.82 c #Conflicts: 253000 | #Constraints: 33161 532.15/533.82 c #Conflicts: 254000 | #Constraints: 34161 532.15/533.82 c #Conflicts: 255000 | #Constraints: 35161 532.15/533.82 c #Conflicts: 256000 | #Constraints: 36161 532.15/533.82 c #Conflicts: 257000 | #Constraints: 37161 532.15/533.82 c INPROCESSING 532.15/533.82 c GARBAGE COLLECT 532.15/533.82 c rational objective 155 570.03/571.84 c #Conflicts: 258000 | #Constraints: 20135 570.03/571.84 c #Conflicts: 259000 | #Constraints: 21135 570.03/571.84 c #Conflicts: 260000 | #Constraints: 22135 570.03/571.84 c #Conflicts: 261000 | #Constraints: 23135 570.03/571.84 c #Conflicts: 262000 | #Constraints: 24135 570.03/571.84 c #Conflicts: 263000 | #Constraints: 25135 570.03/571.84 c #Conflicts: 264000 | #Constraints: 26135 570.03/571.84 c #Conflicts: 265000 | #Constraints: 27135 570.03/571.84 c #Conflicts: 266000 | #Constraints: 28135 570.03/571.84 c #Conflicts: 267000 | #Constraints: 29135 570.03/571.84 c #Conflicts: 268000 | #Constraints: 30135 570.03/571.84 c #Conflicts: 269000 | #Constraints: 31135 570.03/571.84 c #Conflicts: 270000 | #Constraints: 32135 570.03/571.84 c INPROCESSING 570.03/571.84 c GARBAGE COLLECT 570.03/571.84 c rational objective 155 738.77/741.06 c #Conflicts: 271000 | #Constraints: 18095 738.77/741.06 c #Conflicts: 272000 | #Constraints: 19095 738.77/741.06 c #Conflicts: 273000 | #Constraints: 20095 738.77/741.06 c #Conflicts: 274000 | #Constraints: 21095 738.77/741.06 c #Conflicts: 275000 | #Constraints: 22095 738.77/741.06 c #Conflicts: 276000 | #Constraints: 23095 738.77/741.06 c #Conflicts: 277000 | #Constraints: 24095 738.77/741.06 c #Conflicts: 278000 | #Constraints: 25095 738.77/741.06 c #Conflicts: 279000 | #Constraints: 26095 738.77/741.06 c #Conflicts: 280000 | #Constraints: 27095 738.77/741.06 c #Conflicts: 281000 | #Constraints: 28095 738.77/741.06 c #Conflicts: 282000 | #Constraints: 29095 738.77/741.06 c #Conflicts: 283000 | #Constraints: 30095 738.77/741.06 c #Conflicts: 284000 | #Constraints: 31095 738.77/741.06 c #Conflicts: 285000 | #Constraints: 32095 738.77/741.06 c #Conflicts: 286000 | #Constraints: 33095 738.77/741.06 c #Conflicts: 287000 | #Constraints: 34095 738.77/741.06 c #Conflicts: 288000 | #Constraints: 35095 738.77/741.06 c #Conflicts: 289000 | #Constraints: 36095 738.77/741.06 c #Conflicts: 290000 | #Constraints: 37095 738.77/741.06 c #Conflicts: 291000 | #Constraints: 38095 738.77/741.06 c #Conflicts: 292000 | #Constraints: 39095 738.77/741.06 c #Conflicts: 293000 | #Constraints: 40095 738.77/741.06 c #Conflicts: 294000 | #Constraints: 41095 738.77/741.06 c #Conflicts: 295000 | #Constraints: 42095 738.77/741.06 c #Conflicts: 296000 | #Constraints: 43095 738.77/741.06 c #Conflicts: 297000 | #Constraints: 44095 738.77/741.06 c #Conflicts: 298000 | #Constraints: 45095 738.77/741.06 c #Conflicts: 299000 | #Constraints: 46095 738.77/741.06 c #Conflicts: 300000 | #Constraints: 47095 738.77/741.06 c #Conflicts: 301000 | #Constraints: 48095 738.77/741.06 c #Conflicts: 302000 | #Constraints: 49095 738.77/741.06 c #Conflicts: 303000 | #Constraints: 50095 738.77/741.06 c #Conflicts: 304000 | #Constraints: 51095 738.77/741.06 c #Conflicts: 305000 | #Constraints: 52095 738.77/741.06 c #Conflicts: 306000 | #Constraints: 53095 738.77/741.06 c #Conflicts: 307000 | #Constraints: 54095 738.77/741.06 c #Conflicts: 308000 | #Constraints: 55095 738.77/741.06 c INPROCESSING 738.77/741.06 c GARBAGE COLLECT 738.77/741.06 c rational objective 155 768.40/770.70 c #Conflicts: 309000 | #Constraints: 29342 768.40/770.70 c #Conflicts: 310000 | #Constraints: 30342 768.40/770.70 c #Conflicts: 311000 | #Constraints: 31342 768.40/770.70 c #Conflicts: 312000 | #Constraints: 32342 768.40/770.70 c #Conflicts: 313000 | #Constraints: 33342 768.40/770.70 c #Conflicts: 314000 | #Constraints: 34342 768.40/770.70 c #Conflicts: 315000 | #Constraints: 35342 768.40/770.70 c #Conflicts: 316000 | #Constraints: 36342 768.40/770.70 c #Conflicts: 317000 | #Constraints: 37342 768.40/770.70 c #Conflicts: 318000 | #Constraints: 38342 768.40/770.70 c #Conflicts: 319000 | #Constraints: 39342 768.40/770.70 c #Conflicts: 320000 | #Constraints: 40342 768.40/770.70 c #Conflicts: 321000 | #Constraints: 41342 768.40/770.70 c INPROCESSING 768.40/770.70 c GARBAGE COLLECT 768.40/770.70 c rational objective 155 918.43/921.13 c #Conflicts: 322000 | #Constraints: 21911 918.43/921.13 c #Conflicts: 323000 | #Constraints: 22911 918.43/921.13 c #Conflicts: 324000 | #Constraints: 23911 918.43/921.13 c #Conflicts: 325000 | #Constraints: 24911 918.43/921.13 c #Conflicts: 326000 | #Constraints: 25911 918.43/921.13 c #Conflicts: 327000 | #Constraints: 26911 918.43/921.13 c #Conflicts: 328000 | #Constraints: 27911 918.43/921.13 c #Conflicts: 329000 | #Constraints: 28911 918.43/921.13 c #Conflicts: 330000 | #Constraints: 29911 918.43/921.13 c #Conflicts: 331000 | #Constraints: 30911 918.43/921.13 c #Conflicts: 332000 | #Constraints: 31911 918.43/921.13 c #Conflicts: 333000 | #Constraints: 32911 918.43/921.13 c #Conflicts: 334000 | #Constraints: 33911 918.43/921.13 c #Conflicts: 335000 | #Constraints: 34911 918.43/921.13 c #Conflicts: 336000 | #Constraints: 35911 918.43/921.13 c #Conflicts: 337000 | #Constraints: 36911 918.43/921.13 c #Conflicts: 338000 | #Constraints: 37911 918.43/921.13 c #Conflicts: 339000 | #Constraints: 38911 918.43/921.13 c #Conflicts: 340000 | #Constraints: 39911 918.43/921.13 c #Conflicts: 341000 | #Constraints: 40911 918.43/921.13 c #Conflicts: 342000 | #Constraints: 41911 918.43/921.13 c #Conflicts: 343000 | #Constraints: 42911 918.43/921.13 c #Conflicts: 344000 | #Constraints: 43911 918.43/921.13 c #Conflicts: 345000 | #Constraints: 44911 918.43/921.13 c #Conflicts: 346000 | #Constraints: 45911 918.43/921.13 c #Conflicts: 347000 | #Constraints: 46911 918.43/921.13 c #Conflicts: 348000 | #Constraints: 47911 918.43/921.13 c #Conflicts: 349000 | #Constraints: 48911 918.43/921.13 c #Conflicts: 350000 | #Constraints: 49911 918.43/921.13 c #Conflicts: 351000 | #Constraints: 50911 918.43/921.13 c #Conflicts: 352000 | #Constraints: 51911 918.43/921.13 c #Conflicts: 353000 | #Constraints: 52911 918.43/921.13 c #Conflicts: 354000 | #Constraints: 53911 918.43/921.13 c #Conflicts: 355000 | #Constraints: 54911 918.43/921.13 c #Conflicts: 356000 | #Constraints: 55911 918.43/921.13 c #Conflicts: 357000 | #Constraints: 56911 918.43/921.13 c #Conflicts: 358000 | #Constraints: 57911 918.43/921.13 c #Conflicts: 359000 | #Constraints: 58911 918.43/921.13 c #Conflicts: 360000 | #Constraints: 59911 918.43/921.13 c #Conflicts: 361000 | #Constraints: 60911 918.43/921.13 c #Conflicts: 362000 | #Constraints: 61911 918.43/921.13 c #Conflicts: 363000 | #Constraints: 62911 918.43/921.13 c INPROCESSING 918.43/921.13 c GARBAGE COLLECT 918.43/921.13 c rational objective 155 1036.21/1039.25 c #Conflicts: 364000 | #Constraints: 33150 1036.21/1039.25 c #Conflicts: 365000 | #Constraints: 34150 1036.21/1039.25 c #Conflicts: 366000 | #Constraints: 35150 1036.21/1039.25 c #Conflicts: 367000 | #Constraints: 36150 1036.21/1039.25 c #Conflicts: 368000 | #Constraints: 37150 1036.21/1039.25 c #Conflicts: 369000 | #Constraints: 38150 1036.21/1039.25 c #Conflicts: 370000 | #Constraints: 39150 1036.21/1039.25 c #Conflicts: 371000 | #Constraints: 40150 1036.21/1039.25 c #Conflicts: 372000 | #Constraints: 41150 1036.21/1039.25 c #Conflicts: 373000 | #Constraints: 42150 1036.21/1039.25 c #Conflicts: 374000 | #Constraints: 43150 1036.21/1039.25 c #Conflicts: 375000 | #Constraints: 44150 1036.21/1039.25 c #Conflicts: 376000 | #Constraints: 45150 1036.21/1039.25 c #Conflicts: 377000 | #Constraints: 46150 1036.21/1039.25 c #Conflicts: 378000 | #Constraints: 47150 1036.21/1039.25 c INPROCESSING 1036.21/1039.25 c GARBAGE COLLECT 1036.21/1039.25 c rational objective 155 1067.42/1070.52 c #Conflicts: 379000 | #Constraints: 25248 1067.42/1070.52 c #Conflicts: 380000 | #Constraints: 26248 1067.42/1070.52 c #Conflicts: 381000 | #Constraints: 27248 1067.42/1070.52 c #Conflicts: 382000 | #Constraints: 28248 1067.42/1070.52 c #Conflicts: 383000 | #Constraints: 29248 1067.42/1070.52 c #Conflicts: 384000 | #Constraints: 30248 1067.42/1070.52 c #Conflicts: 385000 | #Constraints: 31248 1067.42/1070.52 c #Conflicts: 386000 | #Constraints: 32248 1067.42/1070.52 c #Conflicts: 387000 | #Constraints: 33248 1067.42/1070.52 c #Conflicts: 388000 | #Constraints: 34248 1067.42/1070.52 c #Conflicts: 389000 | #Constraints: 35248 1067.42/1070.52 c #Conflicts: 390000 | #Constraints: 36248 1067.42/1070.52 c #Conflicts: 391000 | #Constraints: 37248 1067.42/1070.52 c #Conflicts: 392000 | #Constraints: 38248 1067.42/1070.52 c #Conflicts: 393000 | #Constraints: 39248 1067.42/1070.52 c INPROCESSING 1067.42/1070.52 c GARBAGE COLLECT 1067.42/1070.52 c rational objective 155 1345.88/1349.79 c #Conflicts: 394000 | #Constraints: 22861 1345.88/1349.79 c #Conflicts: 395000 | #Constraints: 23861 1345.88/1349.79 c #Conflicts: 396000 | #Constraints: 24861 1345.88/1349.79 c #Conflicts: 397000 | #Constraints: 25861 1345.88/1349.79 c #Conflicts: 398000 | #Constraints: 26861 1345.88/1349.79 c #Conflicts: 399000 | #Constraints: 27861 1345.88/1349.79 c #Conflicts: 400000 | #Constraints: 28861 1345.88/1349.79 c #Conflicts: 401000 | #Constraints: 29861 1345.88/1349.79 c #Conflicts: 402000 | #Constraints: 30861 1345.88/1349.79 c #Conflicts: 403000 | #Constraints: 31861 1345.88/1349.79 c #Conflicts: 404000 | #Constraints: 32861 1345.88/1349.79 c #Conflicts: 405000 | #Constraints: 33861 1345.88/1349.79 c #Conflicts: 406000 | #Constraints: 34861 1345.88/1349.79 c #Conflicts: 407000 | #Constraints: 35861 1345.88/1349.79 c #Conflicts: 408000 | #Constraints: 36861 1345.88/1349.79 c #Conflicts: 409000 | #Constraints: 37861 1345.88/1349.79 c #Conflicts: 410000 | #Constraints: 38861 1345.88/1349.79 c #Conflicts: 411000 | #Constraints: 39861 1345.88/1349.79 c #Conflicts: 412000 | #Constraints: 40861 1345.88/1349.79 c #Conflicts: 413000 | #Constraints: 41861 1345.88/1349.79 c #Conflicts: 414000 | #Constraints: 42861 1345.88/1349.79 c #Conflicts: 415000 | #Constraints: 43861 1345.88/1349.79 c #Conflicts: 416000 | #Constraints: 44861 1345.88/1349.79 c #Conflicts: 417000 | #Constraints: 45861 1345.88/1349.79 c #Conflicts: 418000 | #Constraints: 46861 1345.88/1349.79 c #Conflicts: 419000 | #Constraints: 47861 1345.88/1349.79 c #Conflicts: 420000 | #Constraints: 48861 1345.88/1349.79 c #Conflicts: 421000 | #Constraints: 49861 1345.88/1349.79 c #Conflicts: 422000 | #Constraints: 50861 1345.88/1349.79 c #Conflicts: 423000 | #Constraints: 51861 1345.88/1349.79 c #Conflicts: 424000 | #Constraints: 52861 1345.88/1349.79 c #Conflicts: 425000 | #Constraints: 53861 1345.88/1349.79 c #Conflicts: 426000 | #Constraints: 54861 1345.88/1349.79 c #Conflicts: 427000 | #Constraints: 55861 1345.88/1349.79 c #Conflicts: 428000 | #Constraints: 56861 1345.88/1349.79 c #Conflicts: 429000 | #Constraints: 57861 1345.88/1349.79 c #Conflicts: 430000 | #Constraints: 58861 1345.88/1349.79 c #Conflicts: 431000 | #Constraints: 59861 1345.88/1349.79 c #Conflicts: 432000 | #Constraints: 60861 1345.88/1349.79 c #Conflicts: 433000 | #Constraints: 61861 1345.88/1349.79 c #Conflicts: 434000 | #Constraints: 62861 1345.88/1349.79 c bounds 199 >= 156 @ 1325.38 1345.88/1349.79 c #Conflicts: 435000 | #Constraints: 63915 1345.88/1349.79 c #Conflicts: 436000 | #Constraints: 64915 1345.88/1349.79 c #Conflicts: 437000 | #Constraints: 65915 1345.88/1349.79 c #Conflicts: 438000 | #Constraints: 66915 1345.88/1349.79 c INPROCESSING 1345.88/1349.79 c GARBAGE COLLECT 1345.88/1349.79 c rational objective 156 1390.47/1394.45 c #Conflicts: 439000 | #Constraints: 34730 1390.47/1394.45 c #Conflicts: 440000 | #Constraints: 35730 1390.47/1394.45 c #Conflicts: 441000 | #Constraints: 36730 1390.47/1394.45 c #Conflicts: 442000 | #Constraints: 37730 1390.47/1394.45 c #Conflicts: 443000 | #Constraints: 38730 1390.47/1394.45 c #Conflicts: 444000 | #Constraints: 39730 1390.47/1394.45 c #Conflicts: 445000 | #Constraints: 40730 1390.47/1394.45 c #Conflicts: 446000 | #Constraints: 41730 1390.47/1394.45 c #Conflicts: 447000 | #Constraints: 42730 1390.47/1394.45 c #Conflicts: 448000 | #Constraints: 43730 1390.47/1394.45 c #Conflicts: 449000 | #Constraints: 44730 1390.47/1394.45 c #Conflicts: 450000 | #Constraints: 45730 1390.47/1394.45 c #Conflicts: 451000 | #Constraints: 46730 1390.47/1394.45 c #Conflicts: 452000 | #Constraints: 47730 1390.47/1394.45 c #Conflicts: 453000 | #Constraints: 48730 1390.47/1394.45 c #Conflicts: 454000 | #Constraints: 49730 1390.47/1394.45 c #Conflicts: 455000 | #Constraints: 50730 1390.47/1394.45 c INPROCESSING 1390.47/1394.45 c GARBAGE COLLECT 1390.47/1394.45 c rational objective 156 1608.78/1613.38 c #Conflicts: 456000 | #Constraints: 26782 1608.78/1613.38 c #Conflicts: 457000 | #Constraints: 27782 1608.78/1613.38 c #Conflicts: 458000 | #Constraints: 28782 1608.78/1613.38 c #Conflicts: 459000 | #Constraints: 29782 1608.78/1613.38 c #Conflicts: 460000 | #Constraints: 30782 1608.78/1613.38 c #Conflicts: 461000 | #Constraints: 31783 1608.78/1613.38 c #Conflicts: 462000 | #Constraints: 32783 1608.78/1613.38 c #Conflicts: 463000 | #Constraints: 33783 1608.78/1613.38 c #Conflicts: 464000 | #Constraints: 34783 1608.78/1613.38 c #Conflicts: 465000 | #Constraints: 35783 1608.78/1613.38 c #Conflicts: 466000 | #Constraints: 36783 1608.78/1613.38 c #Conflicts: 467000 | #Constraints: 37783 1608.78/1613.38 c #Conflicts: 468000 | #Constraints: 38783 1608.78/1613.38 c #Conflicts: 469000 | #Constraints: 39783 1608.78/1613.38 c #Conflicts: 470000 | #Constraints: 40783 1608.78/1613.38 c #Conflicts: 471000 | #Constraints: 41783 1608.78/1613.38 c #Conflicts: 472000 | #Constraints: 42783 1608.78/1613.38 c #Conflicts: 473000 | #Constraints: 43783 1608.78/1613.38 c #Conflicts: 474000 | #Constraints: 44783 1608.78/1613.38 c #Conflicts: 475000 | #Constraints: 45783 1608.78/1613.38 c #Conflicts: 476000 | #Constraints: 46783 1608.78/1613.38 c #Conflicts: 477000 | #Constraints: 47783 1608.78/1613.38 c #Conflicts: 478000 | #Constraints: 48783 1608.78/1613.38 c #Conflicts: 479000 | #Constraints: 49783 1608.78/1613.38 c #Conflicts: 480000 | #Constraints: 50783 1608.78/1613.38 c #Conflicts: 481000 | #Constraints: 51783 1608.78/1613.38 c #Conflicts: 482000 | #Constraints: 52783 1608.78/1613.38 c #Conflicts: 483000 | #Constraints: 53783 1608.78/1613.38 c #Conflicts: 484000 | #Constraints: 54783 1608.78/1613.38 c bounds 198 >= 156 @ 1485.11 1608.78/1613.38 c #Conflicts: 485000 | #Constraints: 55784 1608.78/1613.38 c #Conflicts: 486000 | #Constraints: 56784 1608.78/1613.38 c #Conflicts: 487000 | #Constraints: 57784 1608.78/1613.38 c #Conflicts: 488000 | #Constraints: 58784 1608.78/1613.38 c #Conflicts: 489000 | #Constraints: 59784 1608.78/1613.38 c #Conflicts: 490000 | #Constraints: 60784 1608.78/1613.38 c #Conflicts: 491000 | #Constraints: 61784 1608.78/1613.38 c #Conflicts: 492000 | #Constraints: 62784 1608.78/1613.38 c #Conflicts: 493000 | #Constraints: 63784 1608.78/1613.38 c #Conflicts: 494000 | #Constraints: 64784 1608.78/1613.38 c #Conflicts: 495000 | #Constraints: 65784 1608.78/1613.38 c #Conflicts: 496000 | #Constraints: 66784 1608.78/1613.38 c #Conflicts: 497000 | #Constraints: 67784 1608.78/1613.38 c #Conflicts: 498000 | #Constraints: 68784 1608.78/1613.38 c #Conflicts: 499000 | #Constraints: 69784 1608.78/1613.38 c #Conflicts: 500000 | #Constraints: 70784 1608.78/1613.38 c #Conflicts: 501000 | #Constraints: 71784 1608.78/1613.38 c #Conflicts: 502000 | #Constraints: 72784 1608.78/1613.38 c #Conflicts: 503000 | #Constraints: 73784 1608.78/1613.38 c #Conflicts: 504000 | #Constraints: 74784 1608.78/1613.38 c INPROCESSING 1608.78/1613.38 c GARBAGE COLLECT 1608.78/1613.38 c rational objective 156 1775.26/1780.25 c #Conflicts: 505000 | #Constraints: 39112 1775.26/1780.25 c #Conflicts: 506000 | #Constraints: 40112 1775.26/1780.25 c #Conflicts: 507000 | #Constraints: 41112 1775.26/1780.25 c #Conflicts: 508000 | #Constraints: 42112 1775.26/1780.25 c #Conflicts: 509000 | #Constraints: 43112 1775.26/1780.25 c #Conflicts: 510000 | #Constraints: 44112 1775.26/1780.25 c #Conflicts: 511000 | #Constraints: 45112 1775.26/1780.25 c #Conflicts: 512000 | #Constraints: 46112 1775.26/1780.25 c #Conflicts: 513000 | #Constraints: 47112 1775.26/1780.25 c #Conflicts: 514000 | #Constraints: 48112 1775.26/1780.25 c #Conflicts: 515000 | #Constraints: 49112 1775.26/1780.25 c #Conflicts: 516000 | #Constraints: 50112 1775.26/1780.25 c #Conflicts: 517000 | #Constraints: 51112 1775.26/1780.25 c #Conflicts: 518000 | #Constraints: 52112 1775.26/1780.25 c #Conflicts: 519000 | #Constraints: 53112 1775.26/1780.25 c #Conflicts: 520000 | #Constraints: 54112 1775.26/1780.25 c #Conflicts: 521000 | #Constraints: 55112 1775.26/1780.25 c #Conflicts: 522000 | #Constraints: 56112 1775.26/1780.25 c INPROCESSING 1775.26/1780.25 c GARBAGE COLLECT 1775.26/1780.25 c rational objective 156 2249.53/2255.70 c #Conflicts: 523000 | #Constraints: 29863 2249.53/2255.70 c #Conflicts: 524000 | #Constraints: 30863 2249.53/2255.70 c #Conflicts: 525000 | #Constraints: 31863 2249.53/2255.70 c #Conflicts: 526000 | #Constraints: 32863 2249.53/2255.70 c #Conflicts: 527000 | #Constraints: 33863 2249.53/2255.70 c #Conflicts: 528000 | #Constraints: 34863 2249.53/2255.70 c #Conflicts: 529000 | #Constraints: 35863 2249.53/2255.70 c #Conflicts: 530000 | #Constraints: 36863 2249.53/2255.70 c #Conflicts: 531000 | #Constraints: 37863 2249.53/2255.70 c #Conflicts: 532000 | #Constraints: 38863 2249.53/2255.70 c #Conflicts: 533000 | #Constraints: 39863 2249.53/2255.70 c #Conflicts: 534000 | #Constraints: 40863 2249.53/2255.70 c #Conflicts: 535000 | #Constraints: 41863 2249.53/2255.70 c #Conflicts: 536000 | #Constraints: 42863 2249.53/2255.70 c #Conflicts: 537000 | #Constraints: 43863 2249.53/2255.70 c #Conflicts: 538000 | #Constraints: 44863 2249.53/2255.70 c #Conflicts: 539000 | #Constraints: 45863 2249.53/2255.70 c #Conflicts: 540000 | #Constraints: 46863 2249.53/2255.70 c #Conflicts: 541000 | #Constraints: 47863 2249.53/2255.70 c #Conflicts: 542000 | #Constraints: 48863 2249.53/2255.70 c #Conflicts: 543000 | #Constraints: 49863 2249.53/2255.70 c #Conflicts: 544000 | #Constraints: 50863 2249.53/2255.70 c #Conflicts: 545000 | #Constraints: 51863 2249.53/2255.70 c #Conflicts: 546000 | #Constraints: 52863 2249.53/2255.70 c #Conflicts: 547000 | #Constraints: 53863 2249.53/2255.70 c #Conflicts: 548000 | #Constraints: 54863 2249.53/2255.70 c #Conflicts: 549000 | #Constraints: 55863 2249.53/2255.70 c #Conflicts: 550000 | #Constraints: 56863 2249.53/2255.70 c #Conflicts: 551000 | #Constraints: 57863 2249.53/2255.70 c #Conflicts: 552000 | #Constraints: 58863 2249.53/2255.70 c #Conflicts: 553000 | #Constraints: 59863 2249.53/2255.70 c #Conflicts: 554000 | #Constraints: 60863 2249.53/2255.70 c #Conflicts: 555000 | #Constraints: 61863 2249.53/2255.70 c #Conflicts: 556000 | #Constraints: 62863 2249.53/2255.70 c #Conflicts: 557000 | #Constraints: 63863 2249.53/2255.70 c #Conflicts: 558000 | #Constraints: 64863 2249.53/2255.70 c #Conflicts: 559000 | #Constraints: 65863 2249.53/2255.70 c #Conflicts: 560000 | #Constraints: 66864 2249.53/2255.70 c #Conflicts: 561000 | #Constraints: 67864 2249.53/2255.70 c #Conflicts: 562000 | #Constraints: 68864 2249.53/2255.70 c #Conflicts: 563000 | #Constraints: 69864 2249.53/2255.70 c #Conflicts: 564000 | #Constraints: 70864 2249.53/2255.70 c #Conflicts: 565000 | #Constraints: 71864 2249.53/2255.70 c #Conflicts: 566000 | #Constraints: 72864 2249.53/2255.70 c #Conflicts: 567000 | #Constraints: 73864 2249.53/2255.70 c #Conflicts: 568000 | #Constraints: 74864 2249.53/2255.70 c #Conflicts: 569000 | #Constraints: 75864 2249.53/2255.70 c #Conflicts: 570000 | #Constraints: 76864 2249.53/2255.70 c #Conflicts: 571000 | #Constraints: 77864 2249.53/2255.70 c #Conflicts: 572000 | #Constraints: 78864 2249.53/2255.70 c #Conflicts: 573000 | #Constraints: 79864 2249.53/2255.70 c INPROCESSING 2249.53/2255.70 c GARBAGE COLLECT 2249.53/2255.70 c rational objective 156 2467.94/2474.79 c #Conflicts: 574000 | #Constraints: 41397 2467.94/2474.79 c #Conflicts: 575000 | #Constraints: 42397 2467.94/2474.79 c #Conflicts: 576000 | #Constraints: 43397 2467.94/2474.79 c #Conflicts: 577000 | #Constraints: 44397 2467.94/2474.79 c #Conflicts: 578000 | #Constraints: 45397 2467.94/2474.79 c #Conflicts: 579000 | #Constraints: 46397 2467.94/2474.79 c #Conflicts: 580000 | #Constraints: 47397 2467.94/2474.79 c #Conflicts: 581000 | #Constraints: 48397 2467.94/2474.79 c #Conflicts: 582000 | #Constraints: 49397 2467.94/2474.79 c #Conflicts: 583000 | #Constraints: 50397 2467.94/2474.79 c #Conflicts: 584000 | #Constraints: 51397 2467.94/2474.79 c #Conflicts: 585000 | #Constraints: 52397 2467.94/2474.79 c #Conflicts: 586000 | #Constraints: 53397 2467.94/2474.79 c #Conflicts: 587000 | #Constraints: 54397 2467.94/2474.79 c #Conflicts: 588000 | #Constraints: 55397 2467.94/2474.79 c #Conflicts: 589000 | #Constraints: 56397 2467.94/2474.79 c #Conflicts: 590000 | #Constraints: 57397 2467.94/2474.79 c #Conflicts: 591000 | #Constraints: 58397 2467.94/2474.79 c #Conflicts: 592000 | #Constraints: 59397 2467.94/2474.79 c INPROCESSING 2467.94/2474.79 c GARBAGE COLLECT 2467.94/2474.79 c rational objective 156 2852.92/2860.79 c #Conflicts: 593000 | #Constraints: 31109 2852.92/2860.79 c #Conflicts: 594000 | #Constraints: 32109 2852.92/2860.79 c #Conflicts: 595000 | #Constraints: 33109 2852.92/2860.79 c #Conflicts: 596000 | #Constraints: 34109 2852.92/2860.79 c #Conflicts: 597000 | #Constraints: 35109 2852.92/2860.79 c #Conflicts: 598000 | #Constraints: 36109 2852.92/2860.79 c #Conflicts: 599000 | #Constraints: 37109 2852.92/2860.79 c #Conflicts: 600000 | #Constraints: 38109 2852.92/2860.79 c #Conflicts: 601000 | #Constraints: 39109 2852.92/2860.79 c #Conflicts: 602000 | #Constraints: 40109 2852.92/2860.79 c #Conflicts: 603000 | #Constraints: 41109 2852.92/2860.79 c #Conflicts: 604000 | #Constraints: 42109 2852.92/2860.79 c #Conflicts: 605000 | #Constraints: 43109 2852.92/2860.79 c #Conflicts: 606000 | #Constraints: 44109 2852.92/2860.79 c #Conflicts: 607000 | #Constraints: 45109 2852.92/2860.79 c #Conflicts: 608000 | #Constraints: 46109 2852.92/2860.79 c #Conflicts: 609000 | #Constraints: 47109 2852.92/2860.79 c #Conflicts: 610000 | #Constraints: 48109 2852.92/2860.79 c #Conflicts: 611000 | #Constraints: 49109 2852.92/2860.79 c #Conflicts: 612000 | #Constraints: 50109 2852.92/2860.79 c #Conflicts: 613000 | #Constraints: 51109 2852.92/2860.79 c #Conflicts: 614000 | #Constraints: 52109 2852.92/2860.79 c #Conflicts: 615000 | #Constraints: 53109 2852.92/2860.79 c #Conflicts: 616000 | #Constraints: 54109 2852.92/2860.79 c #Conflicts: 617000 | #Constraints: 55109 2852.92/2860.79 c #Conflicts: 618000 | #Constraints: 56109 2852.92/2860.79 c #Conflicts: 619000 | #Constraints: 57109 2852.92/2860.79 c #Conflicts: 620000 | #Constraints: 58109 2852.92/2860.79 c #Conflicts: 621000 | #Constraints: 59109 2852.92/2860.79 c #Conflicts: 622000 | #Constraints: 60109 2852.92/2860.79 c #Conflicts: 623000 | #Constraints: 61109 2852.92/2860.79 c #Conflicts: 624000 | #Constraints: 62109 2852.92/2860.79 c #Conflicts: 625000 | #Constraints: 63109 2852.92/2860.79 c #Conflicts: 626000 | #Constraints: 64109 2852.92/2860.79 c #Conflicts: 627000 | #Constraints: 65109 2852.92/2860.79 c #Conflicts: 628000 | #Constraints: 66109 2852.92/2860.79 c #Conflicts: 629000 | #Constraints: 67109 2852.92/2860.79 c #Conflicts: 630000 | #Constraints: 68109 2852.92/2860.79 c #Conflicts: 631000 | #Constraints: 69109 2852.92/2860.79 c #Conflicts: 632000 | #Constraints: 70109 2852.92/2860.79 c #Conflicts: 633000 | #Constraints: 71109 2852.92/2860.79 c #Conflicts: 634000 | #Constraints: 72109 2852.92/2860.79 c #Conflicts: 635000 | #Constraints: 73109 2852.92/2860.79 c #Conflicts: 636000 | #Constraints: 74109 2852.92/2860.79 c #Conflicts: 637000 | #Constraints: 75109 2852.92/2860.79 c #Conflicts: 638000 | #Constraints: 76109 2852.92/2860.79 c #Conflicts: 639000 | #Constraints: 77109 2852.92/2860.79 c #Conflicts: 640000 | #Constraints: 78109 2852.92/2860.79 c #Conflicts: 641000 | #Constraints: 79109 2852.92/2860.79 c #Conflicts: 642000 | #Constraints: 80109 2852.92/2860.79 c #Conflicts: 643000 | #Constraints: 81109 2852.92/2860.79 c #Conflicts: 644000 | #Constraints: 82109 2852.92/2860.79 c #Conflicts: 645000 | #Constraints: 83109 2852.92/2860.79 c #Conflicts: 646000 | #Constraints: 84109 2852.92/2860.79 c #Conflicts: 647000 | #Constraints: 85109 2852.92/2860.79 c INPROCESSING 2852.92/2860.79 c GARBAGE COLLECT 2852.92/2860.79 c rational objective 156 3000.28/3008.50 c #Conflicts: 648000 | #Constraints: 44177 3000.28/3008.50 c #Conflicts: 649000 | #Constraints: 45177 3000.28/3008.50 c #Conflicts: 650000 | #Constraints: 46177 3000.28/3008.50 c #Conflicts: 651000 | #Constraints: 47177 3000.28/3008.50 c #Conflicts: 652000 | #Constraints: 48177 3000.28/3008.50 c #Conflicts: 653000 | #Constraints: 49177 3000.28/3008.50 c #Conflicts: 654000 | #Constraints: 50177 3000.28/3008.50 c #Conflicts: 655000 | #Constraints: 51177 3000.28/3008.50 c #Conflicts: 656000 | #Constraints: 52177 3000.28/3008.50 c #Conflicts: 657000 | #Constraints: 53177 3000.28/3008.50 c #Conflicts: 658000 | #Constraints: 54177 3000.28/3008.50 c #Conflicts: 659000 | #Constraints: 55177 3000.28/3008.50 c #Conflicts: 660000 | #Constraints: 56177 3000.28/3008.50 c #Conflicts: 661000 | #Constraints: 57177 3000.28/3008.50 c #Conflicts: 662000 | #Constraints: 58177 3000.28/3008.50 c #Conflicts: 663000 | #Constraints: 59177 3000.28/3008.50 c #Conflicts: 664000 | #Constraints: 60177 3000.28/3008.50 c #Conflicts: 665000 | #Constraints: 61177 3000.28/3008.50 c #Conflicts: 666000 | #Constraints: 62177 3000.28/3008.50 c #Conflicts: 667000 | #Constraints: 63177 3000.28/3008.50 c #Conflicts: 668000 | #Constraints: 64177 3000.28/3008.50 c INPROCESSING 3000.28/3008.50 c GARBAGE COLLECT 3000.28/3008.50 c rational objective 156 3398.21/3407.66 c #Conflicts: 669000 | #Constraints: 37562 3398.21/3407.66 c #Conflicts: 670000 | #Constraints: 38562 3398.21/3407.66 c #Conflicts: 671000 | #Constraints: 39562 3398.21/3407.66 c #Conflicts: 672000 | #Constraints: 40562 3398.21/3407.66 c #Conflicts: 673000 | #Constraints: 41562 3398.21/3407.66 c #Conflicts: 674000 | #Constraints: 42562 3398.21/3407.66 c #Conflicts: 675000 | #Constraints: 43562 3398.21/3407.66 c #Conflicts: 676000 | #Constraints: 44562 3398.21/3407.66 c #Conflicts: 677000 | #Constraints: 45562 3398.21/3407.66 c #Conflicts: 678000 | #Constraints: 46562 3398.21/3407.66 c #Conflicts: 679000 | #Constraints: 47562 3398.21/3407.66 c #Conflicts: 680000 | #Constraints: 48562 3398.21/3407.66 c #Conflicts: 681000 | #Constraints: 49562 3398.21/3407.66 c #Conflicts: 682000 | #Constraints: 50562 3398.21/3407.66 c #Conflicts: 683000 | #Constraints: 51562 3398.21/3407.66 c #Conflicts: 684000 | #Constraints: 52562 3398.21/3407.66 c #Conflicts: 685000 | #Constraints: 53562 3398.21/3407.66 c #Conflicts: 686000 | #Constraints: 54562 3398.21/3407.66 c #Conflicts: 687000 | #Constraints: 55562 3398.21/3407.66 c #Conflicts: 688000 | #Constraints: 56562 3398.21/3407.66 c #Conflicts: 689000 | #Constraints: 57562 3398.21/3407.66 c #Conflicts: 690000 | #Constraints: 58562 3398.21/3407.66 c #Conflicts: 691000 | #Constraints: 59562 3398.21/3407.66 c #Conflicts: 692000 | #Constraints: 60562 3398.21/3407.66 c #Conflicts: 693000 | #Constraints: 61562 3398.21/3407.66 c #Conflicts: 694000 | #Constraints: 62562 3398.21/3407.66 c #Conflicts: 695000 | #Constraints: 63562 3398.21/3407.66 c #Conflicts: 696000 | #Constraints: 64562 3398.21/3407.66 c #Conflicts: 697000 | #Constraints: 65562 3398.21/3407.66 c #Conflicts: 698000 | #Constraints: 66562 3398.21/3407.66 c #Conflicts: 699000 | #Constraints: 67562 3398.21/3407.66 c #Conflicts: 700000 | #Constraints: 68562 3398.21/3407.66 c #Conflicts: 701000 | #Constraints: 69562 3398.21/3407.66 c #Conflicts: 702000 | #Constraints: 70562 3398.21/3407.66 c #Conflicts: 703000 | #Constraints: 71562 3398.21/3407.66 c #Conflicts: 704000 | #Constraints: 72562 3398.21/3407.66 c #Conflicts: 705000 | #Constraints: 73562 3398.21/3407.66 c #Conflicts: 706000 | #Constraints: 74562 3398.21/3407.66 c #Conflicts: 707000 | #Constraints: 75562 3398.21/3407.66 c #Conflicts: 708000 | #Constraints: 76562 3398.21/3407.66 c #Conflicts: 709000 | #Constraints: 77562 3398.21/3407.66 c #Conflicts: 710000 | #Constraints: 78562 3398.21/3407.66 c #Conflicts: 711000 | #Constraints: 79562 3398.21/3407.66 c #Conflicts: 712000 | #Constraints: 80562 3398.21/3407.66 c #Conflicts: 713000 | #Constraints: 81562 3398.21/3407.66 c #Conflicts: 714000 | #Constraints: 82562 3398.21/3407.66 c #Conflicts: 715000 | #Constraints: 83562 3398.21/3407.66 c #Conflicts: 716000 | #Constraints: 84562 3398.21/3407.66 c #Conflicts: 717000 | #Constraints: 85562 3398.21/3407.66 c #Conflicts: 718000 | #Constraints: 86562 3398.21/3407.66 c #Conflicts: 719000 | #Constraints: 87562 3398.21/3407.66 c #Conflicts: 720000 | #Constraints: 88562 3398.21/3407.66 c #Conflicts: 721000 | #Constraints: 89562 3398.21/3407.66 c #Conflicts: 722000 | #Constraints: 90562 3398.21/3407.66 c #Conflicts: 723000 | #Constraints: 91562 3398.21/3407.66 c #Conflicts: 724000 | #Constraints: 92562 3398.21/3407.66 c #Conflicts: 725000 | #Constraints: 93562 3398.21/3407.66 c INPROCESSING 3398.21/3407.66 c GARBAGE COLLECT 3398.21/3407.66 c rational objective 156 3600.09/3610.10 c #Conflicts: 726000 | #Constraints: 48158 3600.09/3610.10 c #Conflicts: 727000 | #Constraints: 49158 3600.09/3610.10 c #Conflicts: 728000 | #Constraints: 50158 3600.09/3610.10 c #Conflicts: 729000 | #Constraints: 51158 3600.09/3610.10 c #Conflicts: 730000 | #Constraints: 52158 3600.09/3610.10 c #Conflicts: 731000 | #Constraints: 53158 3600.09/3610.10 c #Conflicts: 732000 | #Constraints: 54158 3600.09/3610.10 c #Conflicts: 733000 | #Constraints: 55158 3600.09/3610.10 c #Conflicts: 734000 | #Constraints: 56158 3600.09/3610.10 c #Conflicts: 735000 | #Constraints: 57158 3600.09/3610.10 c #Conflicts: 736000 | #Constraints: 58158 3600.09/3610.10 c #Conflicts: 737000 | #Constraints: 59158 3600.09/3610.10 c #Conflicts: 738000 | #Constraints: 60158 3600.09/3610.10 c #Conflicts: 739000 | #Constraints: 61158 3600.09/3610.10 c #Conflicts: 740000 | #Constraints: 62158 3600.09/3610.10 c #Conflicts: 741000 | #Constraints: 63158 3600.09/3610.10 c #Conflicts: 742000 | #Constraints: 64158 3600.09/3610.10 c Program interrupted by user. 3600.09/3610.10 c cpu time 3583.27 s 3600.09/3610.10 c deterministic time 352284486938 3.52e+11 3600.09/3610.10 c optimization time 201.368 s 3600.09/3610.10 c total solve time 3381.91 s 3600.09/3610.10 c core-guided solve time 1788.22 s 3600.09/3610.10 c propagation time 3090.2 s 3600.09/3610.10 c conflict analysis time 460.925 s 3600.09/3610.10 c propagations 104171514 3600.09/3610.10 c resolve steps 6380919 3600.09/3610.10 c decisions 5778610 3600.09/3610.10 c conflicts 742986 3600.09/3610.10 c restarts 1536 3600.09/3610.10 c inprocessing phases 41 3600.09/3610.10 c input clauses 308 3600.09/3610.10 c input cardinalities 349 3600.09/3610.10 c input general constraints 886 3600.09/3610.10 c input average constraint length 66.86 3600.09/3610.10 c input average constraint degree 25.32 3600.09/3610.10 c learned clauses 254590 3600.09/3610.10 c learned cardinalities 5332 3600.09/3610.10 c learned general constraints 483086 3600.09/3610.10 c learned average constraint length 195.58 3600.09/3610.10 c learned average constraint degree 5031869.65 3600.09/3610.10 c watched constraints 317396 3600.09/3610.10 c counting constraints 166576 3600.09/3610.10 c gcd simplifications 98289 3600.09/3610.10 c detected cardinalities 2484 3600.09/3610.10 c weakened non-implied lits 32790866 3600.09/3610.10 c weakened non-implying lits 66245 3600.09/3610.10 c original variables 479 3600.09/3610.10 c clausal propagations 10836106 3600.09/3610.10 c cardinality propagations 7161361 3600.09/3610.10 c watched propagations 14093542 3600.09/3610.10 c counting propagations 70454511 3600.09/3610.10 c watch lookups 61356972966 3600.09/3610.10 c watch backjump lookups 55110564602 3600.09/3610.10 c watch checks 216181497707 3600.09/3610.10 c propagation checks 18838579522 3600.09/3610.10 c constraint additions 575472716 3600.09/3610.10 c trail pops 110692920 3600.09/3610.10 c formula constraints 479 3600.09/3610.10 c learned constraints 743002 3600.09/3610.10 c bound constraints 194 3600.09/3610.10 c core-guided constraints 870 3600.09/3610.10 c encountered formula constraints 1227519 3600.09/3610.10 c encountered learned constraints 5034311 3600.09/3610.10 c encountered bound constraints 76 3600.09/3610.10 c encountered core-guided constraints 861986 3600.09/3610.10 c LP total time 39.5954 s 3600.09/3610.10 c LP solve time 39.08 s 3600.09/3610.10 c LP constraints added 479 3600.09/3610.10 c LP constraints removed 0 3600.09/3610.10 c LP pivots internal 743168 3600.09/3610.10 c LP pivots root 13212 3600.09/3610.10 c LP calls 14120 3600.09/3610.10 c LP optimalities 14114 3600.09/3610.10 c LP no pivot count 990 3600.09/3610.10 c LP infeasibilities 3 3600.09/3610.10 c LP valid Farkas constraints 3 3600.09/3610.10 c LP learned Farkas constraints 3 3600.09/3610.10 c LP basis resets 0 3600.09/3610.10 c LP cycling count 0 3600.09/3610.10 c LP singular count 0 3600.09/3610.10 c LP no primal count 0 3600.09/3610.10 c LP no farkas count 0 3600.09/3610.10 c LP other issue count 0 3600.09/3610.10 c LP Gomory cuts 0 3600.09/3610.10 c LP learned cuts 0 3600.09/3610.10 c LP deleted cuts 0 3600.09/3610.10 c LP encountered Gomory constraints 0 3600.09/3610.10 c LP encountered Farkas constraints 3 3600.09/3610.10 c LP encountered learned Farkas constraints 7 3600.09/3610.10 c CG auxiliary variables introduced 342 3600.09/3610.10 c CG solutions found 38 3600.09/3610.10 c CG cores constructed 156 3600.09/3610.10 c CG core cardinality constraints returned 0 3600.09/3610.10 c CG unit cores 0 3600.09/3610.10 c CG single cores 155 3600.09/3610.10 c CG blocks removed during cardinality reduction 0 3600.09/3610.10 c CG first core best 0 3600.09/3610.10 c CG decision core best 0 3600.09/3610.10 c CG core reduction tie 1 3600.09/3610.10 c CG core degree average 1.00 3600.09/3610.10 c CG core slack average 3.74 3600.09/3610.10 s SATISFIABLE 3600.09/3610.10 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 -x135 x136 x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 -x158 x159 -x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 x169 x170 x171 x172 -x173 -x174 -x175 x176 -x177 x178 x179 x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 x197 x198 -x199 -x200 -x201 x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 x218 -x219 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 x234 -x235 -x236 -x237 x238 -x239 x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 x265 x266 -x267 x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 x278 x279 x280 -x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 -x290 -x291 x292 -x293 x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 x304 x305 x306 x307 x308 -x309 -x310 -x311 -x312 x313 x314 -x315 x316 -x317 -x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 x329 x330 x331 -x332 x333 x334 x335 -x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 x352 -x353 x354 x355 -x356 -x357 x358 -x359 x360 x361 -x362 -x363 x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 x375 x376 x377 x378 x379 x380 x381 -x382 x383 x384 x385 x386 -x387 x388 -x389 x390 x391 x392 x393 x394 x395 -x396 x397 x398 x399 x400 x401 x402 x403 -x404 x405 x406 x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 -x422 x423 x424 x425 x426 x427 -x428 x429 x430 -x431 -x432 x433 -x434 x435 -x436 x437 x438 -x439 x440 x441 -x442 x443 -x444 -x445 -x446 x447 x448 -x449 x450 x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 x468 x469 x470 x471 -x472 x473 -x474 x475 -x476 x477 -x478 -x479
OK 198
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: 63968 MiB (26200 MiB free)
memory of node 1: 64473 MiB (17141 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456752-1721769317/watcher-4456752-1721769317 -o /tmp/evaluation-result-4456752-1721769317/solver-4456752-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125874 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456752-1721769317 --lp-cut-gomory=0 HOME/instance-4456752-1721769317.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
solver pid=127876, runsolver pid=127873
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127877
/proc/meminfo: memFree=44377888/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=39044 memory=9020 CPUtime=0.09 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 687 0 0 0 9 0 0 0 20 0 1 0 13459989 39981056 2255 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 9761 2255 1781 992 0 1619 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 9020 KiB
[startup+0.205664 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127877
/proc/meminfo: memFree=44373008/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=40312 memory=10780 CPUtime=0.2 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 1135 0 0 0 18 2 0 0 20 0 1 0 13459989 41279488 2695 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 10078 2695 1829 992 0 1936 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40312 KiB
Current children cumulated memory: 10780 KiB
[startup+0.305524 s]*
/proc/loadavg: 4.10 4.11 4.09 5/259 127877
/proc/meminfo: memFree=44366284/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=41632 memory=14408 CPUtime=0.3 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 1501 0 0 0 27 3 0 0 20 0 1 0 13459989 42631168 3602 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 10408 3602 1829 992 0 2266 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41632 KiB
Current children cumulated memory: 14408 KiB
[startup+0.700153 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 127891
/proc/meminfo: memFree=46473676/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=44120 memory=17588 CPUtime=0.69 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 2223 0 0 0 63 6 0 0 20 0 1 0 13459989 45178880 4397 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 11030 4397 1903 992 0 2888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 17588 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 4/253 127908
/proc/meminfo: memFree=46479912/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=45196 memory=19096 CPUtime=1.49 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 2622 0 0 0 138 11 0 0 20 0 1 0 13459989 46280704 4774 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 11299 4774 1903 992 0 3157 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45196 KiB
Current children cumulated memory: 19096 KiB
[startup+3.10543 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 127943
/proc/meminfo: memFree=53870280/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=51360 memory=24816 CPUtime=3.09 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 4079 0 0 0 291 18 0 0 20 0 1 0 13459989 52592640 6204 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 12840 6204 1903 992 0 4698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51360 KiB
Current children cumulated memory: 24816 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 127969
/proc/meminfo: memFree=53762468/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=59024 memory=29888 CPUtime=6.28 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 5364 0 0 0 595 33 0 0 20 0 1 0 13459989 60440576 7472 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 14756 7472 1903 992 0 6614 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 59024 KiB
Current children cumulated memory: 29888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 127971
/proc/meminfo: memFree=53620948/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=76956 memory=46380 CPUtime=12.66 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 8447 0 0 0 1214 52 0 0 20 0 1 0 13459989 78802944 11595 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 19239 11595 1903 992 0 11097 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 76956 KiB
Current children cumulated memory: 46380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 127972
/proc/meminfo: memFree=53346220/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=96488 memory=60848 CPUtime=25.43 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 10534 0 0 0 2459 84 0 0 20 0 1 0 13459989 98803712 15212 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 24122 15212 1903 992 0 15980 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 96488 KiB
Current children cumulated memory: 60848 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 127977
/proc/meminfo: memFree=53037896/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=142036 memory=100588 CPUtime=50.96 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 16420 0 0 0 4964 132 0 0 20 0 1 0 13459989 145444864 25147 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 35509 25147 1903 992 0 27367 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 142036 KiB
Current children cumulated memory: 100588 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 127986
/proc/meminfo: memFree=52562076/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=151480 memory=117584 CPUtime=102.02 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 18233 0 0 0 10012 190 0 0 20 0 1 0 13459989 155115520 29396 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 37870 29396 1903 992 0 29728 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 151480 KiB
Current children cumulated memory: 117584 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 127996
/proc/meminfo: memFree=52164612/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=194908 memory=135452 CPUtime=161.87 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 21180 0 0 0 15946 241 0 0 20 0 1 0 13459989 199585792 33863 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 48727 33863 1903 992 0 40585 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 194908 KiB
Current children cumulated memory: 135452 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 128006
/proc/meminfo: memFree=51860800/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=200868 memory=138540 CPUtime=221.68 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 22132 0 0 0 21870 298 0 0 20 0 1 0 13459989 205688832 34635 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 50217 34635 1903 992 0 42075 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 200868 KiB
Current children cumulated memory: 138540 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 128016
/proc/meminfo: memFree=51485036/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=212092 memory=146588 CPUtime=281.49 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 24221 0 0 0 27790 359 0 0 20 0 1 0 13459989 217182208 36647 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 53023 36647 1903 992 0 44881 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 212092 KiB
Current children cumulated memory: 146588 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 128031
/proc/meminfo: memFree=51195784/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=222536 memory=166816 CPUtime=341.29 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 26406 0 0 0 33737 392 0 0 20 0 1 0 13459989 227876864 41704 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 55634 41704 1903 992 0 47492 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 166816 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 128043
/proc/meminfo: memFree=50923900/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=222700 memory=166868 CPUtime=401.09 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 26452 0 0 0 39660 449 0 0 20 0 1 0 13459989 228044800 41717 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 55675 41717 1903 992 0 47533 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 222700 KiB
Current children cumulated memory: 166868 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/257 128053
/proc/meminfo: memFree=50624628/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=233952 memory=183928 CPUtime=460.89 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 28809 0 0 0 45600 489 0 0 20 0 1 0 13459989 239566848 45982 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 58488 45982 1903 992 0 50346 0
################
# More data... #
################
Current children cumulated memory: 404916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.41 4.20 4.12 5/257 129683
/proc/meminfo: memFree=44787716/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=498424 memory=404916 CPUtime=2914.34 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 58816 0 0 0 289951 1483 0 0 20 0 1 0 13459989 510386176 101229 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 124606 101229 1919 992 0 116464 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 498424 KiB
Current children cumulated memory: 404916 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/256 129693
/proc/meminfo: memFree=44701188/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=498424 memory=404916 CPUtime=2974.16 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 58953 0 0 0 295913 1503 0 0 20 0 1 0 13459989 510386176 101229 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 124606 101229 1919 992 0 116464 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 498424 KiB
Current children cumulated memory: 404916 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/255 129706
/proc/meminfo: memFree=44583084/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=499008 memory=405336 CPUtime=3033.99 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 59201 0 0 0 301869 1530 0 0 20 0 1 0 13459989 510984192 101334 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 124752 101334 1919 992 0 116610 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 405336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 129716
/proc/meminfo: memFree=44479168/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=499008 memory=405376 CPUtime=3093.81 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 59368 0 0 0 307826 1555 0 0 20 0 1 0 13459989 510984192 101344 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 124752 101344 1919 992 0 116610 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 499008 KiB
Current children cumulated memory: 405376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 129741
/proc/meminfo: memFree=44374372/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=501136 memory=406500 CPUtime=3153.63 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 59853 0 0 0 313788 1575 0 0 20 0 1 0 13459989 513163264 101625 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 125284 101625 1919 992 0 117142 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 406500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 129978
/proc/meminfo: memFree=44274208/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=503808 memory=408192 CPUtime=3213.46 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 60450 0 0 0 319753 1593 0 0 20 0 1 0 13459989 515899392 102048 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 125952 102048 1919 992 0 117810 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 503808 KiB
Current children cumulated memory: 408192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 129988
/proc/meminfo: memFree=44171268/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=504864 memory=409020 CPUtime=3273.28 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 60830 0 0 0 325721 1607 0 0 20 0 1 0 13459989 516980736 102255 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 126216 102255 1919 992 0 118074 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 504864 KiB
Current children cumulated memory: 409020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 130289
/proc/meminfo: memFree=44118116/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=508212 memory=411060 CPUtime=3333.1 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 61655 0 0 0 331692 1618 0 0 20 0 1 0 13459989 520409088 102765 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 127053 102765 1919 992 0 118911 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 508212 KiB
Current children cumulated memory: 411060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 130302
/proc/meminfo: memFree=43992464/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=517912 memory=416680 CPUtime=3392.92 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 63371 0 0 0 337659 1633 0 0 20 0 1 0 13459989 530341888 104170 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129478 104170 1919 992 0 121336 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 517912 KiB
Current children cumulated memory: 416680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/257 130312
/proc/meminfo: memFree=43876920/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=519664 memory=420020 CPUtime=3452.74 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 63835 0 0 0 343626 1648 0 0 20 0 1 0 13459989 532135936 105005 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129916 105005 1919 992 0 121774 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 420020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 130323
/proc/meminfo: memFree=43804312/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=519664 memory=420020 CPUtime=3512.55 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 63980 0 0 0 349593 1662 0 0 20 0 1 0 13459989 532135936 105005 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129916 105005 1919 992 0 121774 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 420020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 130334
/proc/meminfo: memFree=43724792/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=519664 memory=420020 CPUtime=3572.37 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 64013 0 0 0 355561 1676 0 0 20 0 1 0 13459989 532135936 105005 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129916 105005 1919 992 0 121774 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 420020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 5/253 130386
/proc/meminfo: memFree=44048032/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=519664 memory=420020 CPUtime=3600.09 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 64127 0 0 0 358327 1682 0 0 20 0 1 0 13459989 532135936 105005 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129916 105005 1919 992 0 121774 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 420020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 127876 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.27 s, system=16.8302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.12 4.09 5/253 130386
/proc/meminfo: memFree=44048032/131524600 swapFree=131071728/131071996
[pid=127876] ppid=127873 vsize=519664 memory=420020 CPUtime=3600.09 cores=5,7
/proc/127876/stat : 127876 (roundingsat) R 127873 127876 125861 0 -1 4194304 64127 0 0 0 358327 1682 0 0 20 0 1 0 13459989 532135936 105005 134679101440 4194304 8254037 140726060900256 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 29601792 140726060909408 140726060909670 140726060909670 140726060916681 0
/proc/127876/statm: 129916 105005 1919 992 0 121774 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 519664 KiB
Current children cumulated memory: 420020 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3583.27
CPU system time (s): 16.8302
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 519664
Max. memory (cumulated for all children) (KiB): 420020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.27
system time used= 16.8302
maximum resident set size= 420020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4098496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 4852
# summary of solver processes directly reported to runsolver:
# pid: 127876
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.27
# total CPU system time (s): 16.8302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04065 second user time and 16.9446 second system time
The end
Begin job on nodeC027 at 2024-07-23 23:15:17 IDJOB=4456752 IDBENCH=147541 IDSOLVER=3085 FILE ID=nodeC027/4456752-1721769317 RUNJOBID= nodeC027-1721765707-125874 SLURM_JOB_ID= 7770674 Free space on /tmp= 890056 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.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-4456752-1721769317/watcher-4456752-1721769317 -o /tmp/evaluation-result-4456752-1721769317/solver-4456752-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721765707-125874 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456752-1721769317 --lp-cut-gomory=0 HOME/instance-4456752-1721769317.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=2007171220 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.658 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.152 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3617.418 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.407 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.920 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.875 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.584 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 44382148 kB MemAvailable: 120094544 kB Buffers: 190028 kB Cached: 76175632 kB SwapCached: 48 kB Active: 1209284 kB Inactive: 84993372 kB Active(anon): 1548 kB Inactive(anon): 9872728 kB Active(file): 1207736 kB Inactive(file): 75120644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 34080 kB Writeback: 0 kB AnonPages: 9834196 kB Mapped: 114364 kB Shmem: 37596 kB KReclaimable: 445424 kB Slab: 560984 kB SReclaimable: 445424 kB SUnreclaim: 115560 kB KernelStack: 4176 kB PageTables: 29776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11200380 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 4313088 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: 324308 kB DirectMap2M: 35100672 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 890060 MiB End job on nodeC027 at 2024-07-24 00:15:27