| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 97 | 3600.02 | 3613.66 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
| MD5SUM | 88220551ed2e54bab314d6806833f69c |
| 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 | 92 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| 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 | 1812 |
| Total number of constraints | 3443 |
| 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 | 3443 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1307 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.04 c #variables 1812 #constraints 3443 0.59/0.67 c bounds - >= 0 @ 0.033832 0.59/0.67 c #Conflicts: 1000 | #Constraints: 4442 0.59/0.67 c #Conflicts: 2000 | #Constraints: 5442 0.59/0.67 c INPROCESSING 0.59/0.67 c GARBAGE COLLECT 0.59/0.67 c rational objective 11 1.39/1.42 c bounds - >= 4 @ 0.632654 1.39/1.42 c bounds - >= 8 @ 0.633019 1.39/1.42 c bounds - >= 9 @ 0.633419 1.39/1.42 c bounds - >= 10 @ 0.633987 1.39/1.42 c bounds - >= 12 @ 0.634541 1.39/1.42 c bounds - >= 13 @ 0.635206 1.39/1.42 c bounds - >= 14 @ 0.637198 1.39/1.42 c bounds - >= 15 @ 0.638805 1.39/1.42 c bounds - >= 16 @ 0.640708 1.39/1.42 c bounds - >= 17 @ 0.642758 1.39/1.42 c bounds - >= 18 @ 0.646877 1.39/1.42 c bounds - >= 19 @ 0.650387 1.39/1.42 c bounds - >= 20 @ 0.654154 1.39/1.42 c bounds - >= 21 @ 0.69796 1.39/1.42 c bounds - >= 22 @ 0.713022 1.39/1.42 c bounds - >= 23 @ 0.727562 1.39/1.42 c bounds - >= 24 @ 0.743851 1.39/1.42 c bounds - >= 25 @ 0.781519 1.39/1.42 c bounds - >= 26 @ 0.938185 1.39/1.42 c #Conflicts: 3000 | #Constraints: 5568 1.39/1.42 c bounds - >= 27 @ 1.00646 1.39/1.42 c bounds - >= 28 @ 1.09362 1.39/1.42 c bounds 135 >= 28 @ 1.16441 1.39/1.42 c bounds 135 >= 29 @ 1.22839 1.39/1.42 c bounds 131 >= 29 @ 1.26499 1.39/1.42 c bounds 118 >= 29 @ 1.26994 1.39/1.42 c #Conflicts: 4000 | #Constraints: 6589 1.39/1.42 c bounds 110 >= 29 @ 1.32827 1.39/1.42 c INPROCESSING 1.39/1.42 c GARBAGE COLLECT 1.39/1.42 c rational objective 29 2.08/2.14 c bounds 110 >= 30 @ 1.46956 2.08/2.14 c #Conflicts: 5000 | #Constraints: 5887 2.08/2.14 c bounds 109 >= 30 @ 1.65689 2.08/2.14 c bounds 109 >= 31 @ 1.84252 2.08/2.14 c #Conflicts: 6000 | #Constraints: 6894 2.08/2.14 c bounds 108 >= 31 @ 1.91751 2.08/2.14 c INPROCESSING 2.08/2.14 c GARBAGE COLLECT 2.08/2.14 c rational objective 31 2.88/2.98 c #Conflicts: 7000 | #Constraints: 5953 2.88/2.98 c #Conflicts: 8000 | #Constraints: 6953 2.88/2.98 c #Conflicts: 9000 | #Constraints: 7953 2.88/2.98 c INPROCESSING 2.88/2.98 c GARBAGE COLLECT 2.88/2.98 c rational objective 31 3.98/4.05 c bounds 108 >= 32 @ 3.16298 3.98/4.05 c #Conflicts: 10000 | #Constraints: 6693 3.98/4.05 c bounds 108 >= 33 @ 3.43611 3.98/4.05 c #Conflicts: 11000 | #Constraints: 7699 3.98/4.05 c #Conflicts: 12000 | #Constraints: 8699 3.98/4.05 c INPROCESSING 3.98/4.05 c GARBAGE COLLECT 3.98/4.05 c rational objective 33 5.08/5.11 c #Conflicts: 13000 | #Constraints: 7158 5.08/5.11 c bounds 105 >= 33 @ 4.5253 5.08/5.11 c #Conflicts: 14000 | #Constraints: 8159 5.08/5.11 c bounds 105 >= 34 @ 4.8187 5.08/5.11 c #Conflicts: 15000 | #Constraints: 9165 5.08/5.11 c INPROCESSING 5.08/5.11 c GARBAGE COLLECT 5.08/5.11 c rational objective 34 6.07/6.16 c #Conflicts: 16000 | #Constraints: 7397 6.07/6.16 c #Conflicts: 17000 | #Constraints: 8397 6.07/6.16 c #Conflicts: 18000 | #Constraints: 9397 6.07/6.16 c INPROCESSING 6.07/6.16 c GARBAGE COLLECT 6.07/6.16 c rational objective 34 7.66/7.79 c #Conflicts: 19000 | #Constraints: 7422 7.66/7.79 c bounds 105 >= 35 @ 6.54351 7.66/7.79 c #Conflicts: 20000 | #Constraints: 8434 7.66/7.79 c #Conflicts: 21000 | #Constraints: 9434 7.66/7.79 c INPROCESSING 7.66/7.79 c GARBAGE COLLECT 7.66/7.79 c rational objective 35 9.16/9.21 c #Conflicts: 22000 | #Constraints: 7237 9.16/9.21 c #Conflicts: 23000 | #Constraints: 8237 9.16/9.21 c #Conflicts: 24000 | #Constraints: 9237 9.16/9.21 c #Conflicts: 25000 | #Constraints: 10237 9.16/9.21 c INPROCESSING 9.16/9.21 c GARBAGE COLLECT 9.16/9.21 c rational objective 35 10.85/10.92 c #Conflicts: 26000 | #Constraints: 7842 10.85/10.92 c #Conflicts: 27000 | #Constraints: 8842 10.85/10.92 c #Conflicts: 28000 | #Constraints: 9842 10.85/10.92 c bounds 105 >= 36 @ 10.4077 10.85/10.92 c #Conflicts: 29000 | #Constraints: 10848 10.85/10.92 c INPROCESSING 10.85/10.92 c GARBAGE COLLECT 10.85/10.92 c rational objective 36 19.62/19.77 c #Conflicts: 30000 | #Constraints: 8248 19.62/19.77 c #Conflicts: 31000 | #Constraints: 9248 19.62/19.77 c #Conflicts: 32000 | #Constraints: 10248 19.62/19.77 c #Conflicts: 33000 | #Constraints: 11248 19.62/19.77 c #Conflicts: 34000 | #Constraints: 12248 19.62/19.77 c #Conflicts: 35000 | #Constraints: 13248 19.62/19.77 c #Conflicts: 36000 | #Constraints: 14248 19.62/19.77 c #Conflicts: 37000 | #Constraints: 15248 19.62/19.77 c #Conflicts: 38000 | #Constraints: 16248 19.62/19.77 c #Conflicts: 39000 | #Constraints: 17248 19.62/19.77 c #Conflicts: 40000 | #Constraints: 18248 19.62/19.77 c #Conflicts: 41000 | #Constraints: 19248 19.62/19.77 c #Conflicts: 42000 | #Constraints: 20248 19.62/19.77 c INPROCESSING 19.62/19.77 c GARBAGE COLLECT 19.62/19.77 c rational objective 36 23.11/23.28 c #Conflicts: 43000 | #Constraints: 12540 23.11/23.28 c #Conflicts: 44000 | #Constraints: 13540 23.11/23.28 c #Conflicts: 45000 | #Constraints: 14540 23.11/23.28 c #Conflicts: 46000 | #Constraints: 15540 23.11/23.28 c #Conflicts: 47000 | #Constraints: 16540 23.11/23.28 c bounds 105 >= 37 @ 22.1899 23.11/23.28 c #Conflicts: 48000 | #Constraints: 17552 23.11/23.28 c INPROCESSING 23.11/23.28 c GARBAGE COLLECT 23.11/23.28 c rational objective 37 27.30/27.46 c #Conflicts: 49000 | #Constraints: 11604 27.30/27.46 c #Conflicts: 50000 | #Constraints: 12604 27.30/27.46 c #Conflicts: 51000 | #Constraints: 13604 27.30/27.46 c #Conflicts: 52000 | #Constraints: 14604 27.30/27.46 c bounds 105 >= 38 @ 26.4605 27.30/27.46 c #Conflicts: 53000 | #Constraints: 15619 27.30/27.46 c INPROCESSING 27.30/27.46 c GARBAGE COLLECT 27.30/27.46 c rational objective 38 31.18/31.36 c #Conflicts: 54000 | #Constraints: 10497 31.18/31.36 c #Conflicts: 55000 | #Constraints: 11497 31.18/31.36 c #Conflicts: 56000 | #Constraints: 12497 31.18/31.36 c #Conflicts: 57000 | #Constraints: 13497 31.18/31.36 c bounds 105 >= 39 @ 29.9761 31.18/31.36 c #Conflicts: 58000 | #Constraints: 14509 31.18/31.36 c INPROCESSING 31.18/31.36 c GARBAGE COLLECT 31.18/31.36 c rational objective 39 34.47/34.65 c #Conflicts: 59000 | #Constraints: 9692 34.47/34.65 c bounds 104 >= 39 @ 30.8491 34.47/34.65 c #Conflicts: 60000 | #Constraints: 10693 34.47/34.65 c #Conflicts: 61000 | #Constraints: 11693 34.47/34.65 c #Conflicts: 62000 | #Constraints: 12693 34.47/34.65 c #Conflicts: 63000 | #Constraints: 13693 34.47/34.65 c #Conflicts: 64000 | #Constraints: 14693 34.47/34.65 c INPROCESSING 34.47/34.65 c GARBAGE COLLECT 34.47/34.65 c rational objective 39 38.63/38.83 c #Conflicts: 65000 | #Constraints: 9945 38.63/38.83 c #Conflicts: 66000 | #Constraints: 10945 38.63/38.83 c #Conflicts: 67000 | #Constraints: 11945 38.63/38.83 c #Conflicts: 68000 | #Constraints: 12945 38.63/38.83 c #Conflicts: 69000 | #Constraints: 13945 38.63/38.83 c #Conflicts: 70000 | #Constraints: 14945 38.63/38.83 c INPROCESSING 38.63/38.83 c GARBAGE COLLECT 38.63/38.83 c rational objective 39 56.12/56.49 c #Conflicts: 71000 | #Constraints: 10117 56.12/56.49 c bounds 102 >= 39 @ 38.3384 56.12/56.49 c #Conflicts: 72000 | #Constraints: 11118 56.12/56.49 c #Conflicts: 73000 | #Constraints: 12118 56.12/56.49 c #Conflicts: 74000 | #Constraints: 13118 56.12/56.49 c #Conflicts: 75000 | #Constraints: 14118 56.12/56.49 c #Conflicts: 76000 | #Constraints: 15118 56.12/56.49 c #Conflicts: 77000 | #Constraints: 16118 56.12/56.49 c #Conflicts: 78000 | #Constraints: 17118 56.12/56.49 c #Conflicts: 79000 | #Constraints: 18118 56.12/56.49 c #Conflicts: 80000 | #Constraints: 19118 56.12/56.49 c #Conflicts: 81000 | #Constraints: 20118 56.12/56.49 c #Conflicts: 82000 | #Constraints: 21118 56.12/56.49 c #Conflicts: 83000 | #Constraints: 22118 56.12/56.49 c #Conflicts: 84000 | #Constraints: 23118 56.12/56.49 c #Conflicts: 85000 | #Constraints: 24118 56.12/56.49 c #Conflicts: 86000 | #Constraints: 25118 56.12/56.49 c #Conflicts: 87000 | #Constraints: 26118 56.12/56.49 c #Conflicts: 88000 | #Constraints: 27118 56.12/56.49 c #Conflicts: 89000 | #Constraints: 28118 56.12/56.49 c #Conflicts: 90000 | #Constraints: 29118 56.12/56.49 c #Conflicts: 91000 | #Constraints: 30118 56.12/56.49 c INPROCESSING 56.12/56.49 c GARBAGE COLLECT 56.12/56.49 c rational objective 39 63.30/63.67 c #Conflicts: 92000 | #Constraints: 17516 63.30/63.67 c #Conflicts: 93000 | #Constraints: 18516 63.30/63.67 c #Conflicts: 94000 | #Constraints: 19516 63.30/63.67 c #Conflicts: 95000 | #Constraints: 20516 63.30/63.67 c #Conflicts: 96000 | #Constraints: 21516 63.30/63.67 c #Conflicts: 97000 | #Constraints: 22516 63.30/63.67 c #Conflicts: 98000 | #Constraints: 23516 63.30/63.67 c bounds 102 >= 40 @ 61.2572 63.30/63.67 c #Conflicts: 99000 | #Constraints: 24525 63.30/63.67 c INPROCESSING 63.30/63.67 c GARBAGE COLLECT 63.30/63.67 c rational objective 40 71.03/71.47 c #Conflicts: 100000 | #Constraints: 15111 71.03/71.47 c #Conflicts: 101000 | #Constraints: 16111 71.03/71.47 c #Conflicts: 102000 | #Constraints: 17111 71.03/71.47 c #Conflicts: 103000 | #Constraints: 18111 71.03/71.47 c #Conflicts: 104000 | #Constraints: 19111 71.03/71.47 c #Conflicts: 105000 | #Constraints: 20111 71.03/71.47 c bounds 102 >= 41 @ 68.6632 71.03/71.47 c #Conflicts: 106000 | #Constraints: 21123 71.03/71.47 c INPROCESSING 71.03/71.47 c GARBAGE COLLECT 71.03/71.47 c rational objective 41 77.01/77.43 c #Conflicts: 107000 | #Constraints: 13217 77.01/77.43 c #Conflicts: 108000 | #Constraints: 14217 77.01/77.43 c #Conflicts: 109000 | #Constraints: 15217 77.01/77.43 c #Conflicts: 110000 | #Constraints: 16217 77.01/77.43 c #Conflicts: 111000 | #Constraints: 17217 77.01/77.43 c bounds 101 >= 41 @ 73.7682 77.01/77.43 c #Conflicts: 112000 | #Constraints: 18218 77.01/77.43 c #Conflicts: 113000 | #Constraints: 19218 77.01/77.43 c #Conflicts: 114000 | #Constraints: 20218 77.01/77.43 c INPROCESSING 77.01/77.43 c GARBAGE COLLECT 77.01/77.43 c rational objective 41 83.99/84.43 c #Conflicts: 115000 | #Constraints: 12964 83.99/84.43 c #Conflicts: 116000 | #Constraints: 13964 83.99/84.43 c #Conflicts: 117000 | #Constraints: 14964 83.99/84.43 c #Conflicts: 118000 | #Constraints: 15964 83.99/84.43 c #Conflicts: 119000 | #Constraints: 16964 83.99/84.43 c #Conflicts: 120000 | #Constraints: 17964 83.99/84.43 c #Conflicts: 121000 | #Constraints: 18964 83.99/84.43 c INPROCESSING 83.99/84.43 c GARBAGE COLLECT 83.99/84.43 c rational objective 41 119.95/120.59 c #Conflicts: 122000 | #Constraints: 11938 119.95/120.59 c #Conflicts: 123000 | #Constraints: 12938 119.95/120.59 c #Conflicts: 124000 | #Constraints: 13938 119.95/120.59 c #Conflicts: 125000 | #Constraints: 14938 119.95/120.59 c #Conflicts: 126000 | #Constraints: 15938 119.95/120.59 c #Conflicts: 127000 | #Constraints: 16938 119.95/120.59 c #Conflicts: 128000 | #Constraints: 17938 119.95/120.59 c #Conflicts: 129000 | #Constraints: 18938 119.95/120.59 c #Conflicts: 130000 | #Constraints: 19938 119.95/120.59 c #Conflicts: 131000 | #Constraints: 20938 119.95/120.59 c #Conflicts: 132000 | #Constraints: 21938 119.95/120.59 c #Conflicts: 133000 | #Constraints: 22938 119.95/120.59 c #Conflicts: 134000 | #Constraints: 23938 119.95/120.59 c #Conflicts: 135000 | #Constraints: 24938 119.95/120.59 c #Conflicts: 136000 | #Constraints: 25938 119.95/120.59 c #Conflicts: 137000 | #Constraints: 26938 119.95/120.59 c #Conflicts: 138000 | #Constraints: 27938 119.95/120.59 c #Conflicts: 139000 | #Constraints: 28938 119.95/120.59 c #Conflicts: 140000 | #Constraints: 29938 119.95/120.59 c #Conflicts: 141000 | #Constraints: 30938 119.95/120.59 c #Conflicts: 142000 | #Constraints: 31938 119.95/120.59 c #Conflicts: 143000 | #Constraints: 32938 119.95/120.59 c #Conflicts: 144000 | #Constraints: 33938 119.95/120.59 c #Conflicts: 145000 | #Constraints: 34938 119.95/120.59 c #Conflicts: 146000 | #Constraints: 35938 119.95/120.59 c #Conflicts: 147000 | #Constraints: 36938 119.95/120.59 c #Conflicts: 148000 | #Constraints: 37938 119.95/120.59 c #Conflicts: 149000 | #Constraints: 38938 119.95/120.59 c INPROCESSING 119.95/120.59 c GARBAGE COLLECT 119.95/120.59 c rational objective 41 131.07/131.76 c #Conflicts: 150000 | #Constraints: 22075 131.07/131.76 c #Conflicts: 151000 | #Constraints: 23075 131.07/131.76 c #Conflicts: 152000 | #Constraints: 24075 131.07/131.76 c #Conflicts: 153000 | #Constraints: 25075 131.07/131.76 c bounds 101 >= 42 @ 122.769 131.07/131.76 c #Conflicts: 154000 | #Constraints: 26087 131.07/131.76 c #Conflicts: 155000 | #Constraints: 27087 131.07/131.76 c #Conflicts: 156000 | #Constraints: 28087 131.07/131.76 c #Conflicts: 157000 | #Constraints: 29087 131.07/131.76 c #Conflicts: 158000 | #Constraints: 30087 131.07/131.76 c INPROCESSING 131.07/131.76 c GARBAGE COLLECT 131.07/131.76 c rational objective 42 141.74/142.47 c #Conflicts: 159000 | #Constraints: 17565 141.74/142.47 c #Conflicts: 160000 | #Constraints: 18565 141.74/142.47 c #Conflicts: 161000 | #Constraints: 19565 141.74/142.47 c #Conflicts: 162000 | #Constraints: 20565 141.74/142.47 c #Conflicts: 163000 | #Constraints: 21565 141.74/142.47 c bounds 101 >= 43 @ 134.109 141.74/142.47 c #Conflicts: 164000 | #Constraints: 22574 141.74/142.47 c #Conflicts: 165000 | #Constraints: 23574 141.74/142.47 c #Conflicts: 166000 | #Constraints: 24574 141.74/142.47 c #Conflicts: 167000 | #Constraints: 25574 141.74/142.47 c #Conflicts: 168000 | #Constraints: 26574 141.74/142.47 c INPROCESSING 141.74/142.47 c GARBAGE COLLECT 141.74/142.47 c rational objective 43 153.50/154.21 c #Conflicts: 169000 | #Constraints: 16156 153.50/154.21 c #Conflicts: 170000 | #Constraints: 17156 153.50/154.21 c #Conflicts: 171000 | #Constraints: 18156 153.50/154.21 c #Conflicts: 172000 | #Constraints: 19156 153.50/154.21 c #Conflicts: 173000 | #Constraints: 20156 153.50/154.21 c #Conflicts: 174000 | #Constraints: 21156 153.50/154.21 c #Conflicts: 175000 | #Constraints: 22156 153.50/154.21 c #Conflicts: 176000 | #Constraints: 23156 153.50/154.21 c #Conflicts: 177000 | #Constraints: 24156 153.50/154.21 c INPROCESSING 153.50/154.21 c GARBAGE COLLECT 153.50/154.21 c rational objective 43 200.58/201.54 c #Conflicts: 178000 | #Constraints: 14698 200.58/201.54 c #Conflicts: 179000 | #Constraints: 15698 200.58/201.54 c #Conflicts: 180000 | #Constraints: 16698 200.58/201.54 c #Conflicts: 181000 | #Constraints: 17698 200.58/201.54 c #Conflicts: 182000 | #Constraints: 18698 200.58/201.54 c #Conflicts: 183000 | #Constraints: 19698 200.58/201.54 c #Conflicts: 184000 | #Constraints: 20698 200.58/201.54 c #Conflicts: 185000 | #Constraints: 21698 200.58/201.54 c #Conflicts: 186000 | #Constraints: 22698 200.58/201.54 c #Conflicts: 187000 | #Constraints: 23698 200.58/201.54 c #Conflicts: 188000 | #Constraints: 24698 200.58/201.54 c #Conflicts: 189000 | #Constraints: 25698 200.58/201.54 c #Conflicts: 190000 | #Constraints: 26698 200.58/201.54 c #Conflicts: 191000 | #Constraints: 27698 200.58/201.54 c #Conflicts: 192000 | #Constraints: 28698 200.58/201.54 c #Conflicts: 193000 | #Constraints: 29698 200.58/201.54 c #Conflicts: 194000 | #Constraints: 30698 200.58/201.54 c #Conflicts: 195000 | #Constraints: 31698 200.58/201.54 c #Conflicts: 196000 | #Constraints: 32698 200.58/201.54 c #Conflicts: 197000 | #Constraints: 33698 200.58/201.54 c #Conflicts: 198000 | #Constraints: 34698 200.58/201.54 c #Conflicts: 199000 | #Constraints: 35698 200.58/201.54 c #Conflicts: 200000 | #Constraints: 36698 200.58/201.54 c #Conflicts: 201000 | #Constraints: 37698 200.58/201.54 c #Conflicts: 202000 | #Constraints: 38698 200.58/201.54 c #Conflicts: 203000 | #Constraints: 39698 200.58/201.54 c #Conflicts: 204000 | #Constraints: 40698 200.58/201.54 c #Conflicts: 205000 | #Constraints: 41698 200.58/201.54 c #Conflicts: 206000 | #Constraints: 42698 200.58/201.54 c #Conflicts: 207000 | #Constraints: 43698 200.58/201.54 c #Conflicts: 208000 | #Constraints: 44698 200.58/201.54 c #Conflicts: 209000 | #Constraints: 45698 200.58/201.54 c #Conflicts: 210000 | #Constraints: 46698 200.58/201.54 c INPROCESSING 200.58/201.54 c GARBAGE COLLECT 200.58/201.54 c rational objective 43 216.13/217.14 c #Conflicts: 211000 | #Constraints: 25952 216.13/217.14 c #Conflicts: 212000 | #Constraints: 26952 216.13/217.14 c #Conflicts: 213000 | #Constraints: 27952 216.13/217.14 c #Conflicts: 214000 | #Constraints: 28952 216.13/217.14 c #Conflicts: 215000 | #Constraints: 29952 216.13/217.14 c #Conflicts: 216000 | #Constraints: 30952 216.13/217.14 c #Conflicts: 217000 | #Constraints: 31952 216.13/217.14 c #Conflicts: 218000 | #Constraints: 32952 216.13/217.14 c #Conflicts: 219000 | #Constraints: 33952 216.13/217.14 c #Conflicts: 220000 | #Constraints: 34952 216.13/217.14 c #Conflicts: 221000 | #Constraints: 35952 216.13/217.14 c INPROCESSING 216.13/217.14 c GARBAGE COLLECT 216.13/217.14 c rational objective 43 235.52/236.60 c #Conflicts: 222000 | #Constraints: 20657 235.52/236.60 c #Conflicts: 223000 | #Constraints: 21657 235.52/236.60 c #Conflicts: 224000 | #Constraints: 22657 235.52/236.60 c #Conflicts: 225000 | #Constraints: 23657 235.52/236.60 c #Conflicts: 226000 | #Constraints: 24657 235.52/236.60 c #Conflicts: 227000 | #Constraints: 25657 235.52/236.60 c #Conflicts: 228000 | #Constraints: 26657 235.52/236.60 c #Conflicts: 229000 | #Constraints: 27657 235.52/236.60 c bounds 101 >= 44 @ 227.184 235.52/236.60 c #Conflicts: 230000 | #Constraints: 28666 235.52/236.60 c #Conflicts: 231000 | #Constraints: 29666 235.52/236.60 c #Conflicts: 232000 | #Constraints: 30666 235.52/236.60 c INPROCESSING 235.52/236.60 c GARBAGE COLLECT 235.52/236.60 c rational objective 44 314.09/315.52 c #Conflicts: 233000 | #Constraints: 18001 314.09/315.52 c #Conflicts: 234000 | #Constraints: 19001 314.09/315.52 c #Conflicts: 235000 | #Constraints: 20001 314.09/315.52 c #Conflicts: 236000 | #Constraints: 21001 314.09/315.52 c #Conflicts: 237000 | #Constraints: 22001 314.09/315.52 c #Conflicts: 238000 | #Constraints: 23001 314.09/315.52 c #Conflicts: 239000 | #Constraints: 24001 314.09/315.52 c #Conflicts: 240000 | #Constraints: 25001 314.09/315.52 c #Conflicts: 241000 | #Constraints: 26001 314.09/315.52 c #Conflicts: 242000 | #Constraints: 27001 314.09/315.52 c #Conflicts: 243000 | #Constraints: 28001 314.09/315.52 c #Conflicts: 244000 | #Constraints: 29001 314.09/315.52 c #Conflicts: 245000 | #Constraints: 30001 314.09/315.52 c #Conflicts: 246000 | #Constraints: 31001 314.09/315.52 c #Conflicts: 247000 | #Constraints: 32001 314.09/315.52 c #Conflicts: 248000 | #Constraints: 33001 314.09/315.52 c #Conflicts: 249000 | #Constraints: 34001 314.09/315.52 c #Conflicts: 250000 | #Constraints: 35001 314.09/315.52 c #Conflicts: 251000 | #Constraints: 36001 314.09/315.52 c #Conflicts: 252000 | #Constraints: 37001 314.09/315.52 c #Conflicts: 253000 | #Constraints: 38001 314.09/315.52 c #Conflicts: 254000 | #Constraints: 39001 314.09/315.52 c bounds 101 >= 45 @ 276.421 314.09/315.52 c #Conflicts: 255000 | #Constraints: 40013 314.09/315.52 c #Conflicts: 256000 | #Constraints: 41013 314.09/315.52 c #Conflicts: 257000 | #Constraints: 42013 314.09/315.52 c #Conflicts: 258000 | #Constraints: 43013 314.09/315.52 c #Conflicts: 259000 | #Constraints: 44013 314.09/315.52 c #Conflicts: 260000 | #Constraints: 45013 314.09/315.52 c #Conflicts: 261000 | #Constraints: 46013 314.09/315.52 c #Conflicts: 262000 | #Constraints: 47013 314.09/315.52 c #Conflicts: 263000 | #Constraints: 48013 314.09/315.52 c #Conflicts: 264000 | #Constraints: 49013 314.09/315.52 c #Conflicts: 265000 | #Constraints: 50013 314.09/315.52 c #Conflicts: 266000 | #Constraints: 51013 314.09/315.52 c #Conflicts: 267000 | #Constraints: 52013 314.09/315.52 c #Conflicts: 268000 | #Constraints: 53013 314.09/315.52 c #Conflicts: 269000 | #Constraints: 54013 314.09/315.52 c INPROCESSING 314.09/315.52 c GARBAGE COLLECT 314.09/315.52 c rational objective 45 343.66/345.21 c #Conflicts: 270000 | #Constraints: 29549 343.66/345.21 c #Conflicts: 271000 | #Constraints: 30549 343.66/345.21 c #Conflicts: 272000 | #Constraints: 31549 343.66/345.21 c #Conflicts: 273000 | #Constraints: 32549 343.66/345.21 c #Conflicts: 274000 | #Constraints: 33549 343.66/345.21 c #Conflicts: 275000 | #Constraints: 34549 343.66/345.21 c #Conflicts: 276000 | #Constraints: 35549 343.66/345.21 c #Conflicts: 277000 | #Constraints: 36549 343.66/345.21 c #Conflicts: 278000 | #Constraints: 37549 343.66/345.21 c #Conflicts: 279000 | #Constraints: 38549 343.66/345.21 c #Conflicts: 280000 | #Constraints: 39549 343.66/345.21 c #Conflicts: 281000 | #Constraints: 40549 343.66/345.21 c #Conflicts: 282000 | #Constraints: 41549 343.66/345.21 c INPROCESSING 343.66/345.21 c GARBAGE COLLECT 343.66/345.21 c rational objective 45 367.98/369.65 c #Conflicts: 283000 | #Constraints: 23667 367.98/369.65 c #Conflicts: 284000 | #Constraints: 24667 367.98/369.65 c #Conflicts: 285000 | #Constraints: 25667 367.98/369.65 c #Conflicts: 286000 | #Constraints: 26667 367.98/369.65 c #Conflicts: 287000 | #Constraints: 27667 367.98/369.65 c #Conflicts: 288000 | #Constraints: 28667 367.98/369.65 c #Conflicts: 289000 | #Constraints: 29667 367.98/369.65 c #Conflicts: 290000 | #Constraints: 30667 367.98/369.65 c #Conflicts: 291000 | #Constraints: 31667 367.98/369.65 c #Conflicts: 292000 | #Constraints: 32667 367.98/369.65 c #Conflicts: 293000 | #Constraints: 33667 367.98/369.65 c #Conflicts: 294000 | #Constraints: 34667 367.98/369.65 c INPROCESSING 367.98/369.65 c GARBAGE COLLECT 367.98/369.65 c rational objective 45 467.89/469.98 c #Conflicts: 295000 | #Constraints: 19967 467.89/469.98 c #Conflicts: 296000 | #Constraints: 20967 467.89/469.98 c #Conflicts: 297000 | #Constraints: 21967 467.89/469.98 c #Conflicts: 298000 | #Constraints: 22967 467.89/469.98 c #Conflicts: 299000 | #Constraints: 23967 467.89/469.98 c #Conflicts: 300000 | #Constraints: 24967 467.89/469.98 c #Conflicts: 301000 | #Constraints: 25967 467.89/469.98 c #Conflicts: 302000 | #Constraints: 26967 467.89/469.98 c #Conflicts: 303000 | #Constraints: 27967 467.89/469.98 c #Conflicts: 304000 | #Constraints: 28967 467.89/469.98 c #Conflicts: 305000 | #Constraints: 29967 467.89/469.98 c bounds 101 >= 46 @ 384.815 467.89/469.98 c #Conflicts: 306000 | #Constraints: 30973 467.89/469.98 c #Conflicts: 307000 | #Constraints: 31973 467.89/469.98 c #Conflicts: 308000 | #Constraints: 32973 467.89/469.98 c #Conflicts: 309000 | #Constraints: 33973 467.89/469.98 c #Conflicts: 310000 | #Constraints: 34973 467.89/469.98 c #Conflicts: 311000 | #Constraints: 35973 467.89/469.98 c #Conflicts: 312000 | #Constraints: 36973 467.89/469.98 c #Conflicts: 313000 | #Constraints: 37973 467.89/469.98 c #Conflicts: 314000 | #Constraints: 38973 467.89/469.98 c #Conflicts: 315000 | #Constraints: 39973 467.89/469.98 c #Conflicts: 316000 | #Constraints: 40973 467.89/469.98 c #Conflicts: 317000 | #Constraints: 41973 467.89/469.98 c #Conflicts: 318000 | #Constraints: 42973 467.89/469.98 c #Conflicts: 319000 | #Constraints: 43973 467.89/469.98 c #Conflicts: 320000 | #Constraints: 44973 467.89/469.98 c #Conflicts: 321000 | #Constraints: 45973 467.89/469.98 c #Conflicts: 322000 | #Constraints: 46973 467.89/469.98 c #Conflicts: 323000 | #Constraints: 47973 467.89/469.98 c #Conflicts: 324000 | #Constraints: 48973 467.89/469.98 c #Conflicts: 325000 | #Constraints: 49973 467.89/469.98 c #Conflicts: 326000 | #Constraints: 50973 467.89/469.98 c #Conflicts: 327000 | #Constraints: 51973 467.89/469.98 c #Conflicts: 328000 | #Constraints: 52974 467.89/469.98 c #Conflicts: 329000 | #Constraints: 53974 467.89/469.98 c #Conflicts: 330000 | #Constraints: 54974 467.89/469.98 c #Conflicts: 331000 | #Constraints: 55974 467.89/469.98 c #Conflicts: 332000 | #Constraints: 56974 467.89/469.98 c #Conflicts: 333000 | #Constraints: 57974 467.89/469.98 c #Conflicts: 334000 | #Constraints: 58974 467.89/469.98 c #Conflicts: 335000 | #Constraints: 59974 467.89/469.98 c #Conflicts: 336000 | #Constraints: 60974 467.89/469.98 c INPROCESSING 467.89/469.98 c GARBAGE COLLECT 467.89/469.98 c rational objective 46 506.65/508.82 c #Conflicts: 337000 | #Constraints: 33389 506.65/508.82 c #Conflicts: 338000 | #Constraints: 34389 506.65/508.82 c #Conflicts: 339000 | #Constraints: 35389 506.65/508.82 c #Conflicts: 340000 | #Constraints: 36389 506.65/508.82 c #Conflicts: 341000 | #Constraints: 37389 506.65/508.82 c #Conflicts: 342000 | #Constraints: 38389 506.65/508.82 c #Conflicts: 343000 | #Constraints: 39389 506.65/508.82 c #Conflicts: 344000 | #Constraints: 40389 506.65/508.82 c #Conflicts: 345000 | #Constraints: 41389 506.65/508.82 c #Conflicts: 346000 | #Constraints: 42389 506.65/508.82 c #Conflicts: 347000 | #Constraints: 43389 506.65/508.82 c #Conflicts: 348000 | #Constraints: 44389 506.65/508.82 c #Conflicts: 349000 | #Constraints: 45389 506.65/508.82 c INPROCESSING 506.65/508.82 c GARBAGE COLLECT 506.65/508.82 c rational objective 46 542.33/544.67 c #Conflicts: 350000 | #Constraints: 25177 542.33/544.67 c #Conflicts: 351000 | #Constraints: 26177 542.33/544.67 c #Conflicts: 352000 | #Constraints: 27177 542.33/544.67 c #Conflicts: 353000 | #Constraints: 28177 542.33/544.67 c #Conflicts: 354000 | #Constraints: 29177 542.33/544.67 c #Conflicts: 355000 | #Constraints: 30177 542.33/544.67 c #Conflicts: 356000 | #Constraints: 31177 542.33/544.67 c #Conflicts: 357000 | #Constraints: 32177 542.33/544.67 c #Conflicts: 358000 | #Constraints: 33177 542.33/544.67 c #Conflicts: 359000 | #Constraints: 34177 542.33/544.67 c #Conflicts: 360000 | #Constraints: 35177 542.33/544.67 c #Conflicts: 361000 | #Constraints: 36177 542.33/544.67 c #Conflicts: 362000 | #Constraints: 37177 542.33/544.67 c #Conflicts: 363000 | #Constraints: 38177 542.33/544.67 c INPROCESSING 542.33/544.67 c GARBAGE COLLECT 542.33/544.67 c rational objective 46 662.21/664.99 c #Conflicts: 364000 | #Constraints: 21572 662.21/664.99 c #Conflicts: 365000 | #Constraints: 22572 662.21/664.99 c #Conflicts: 366000 | #Constraints: 23572 662.21/664.99 c #Conflicts: 367000 | #Constraints: 24572 662.21/664.99 c #Conflicts: 368000 | #Constraints: 25572 662.21/664.99 c #Conflicts: 369000 | #Constraints: 26572 662.21/664.99 c #Conflicts: 370000 | #Constraints: 27572 662.21/664.99 c #Conflicts: 371000 | #Constraints: 28572 662.21/664.99 c #Conflicts: 372000 | #Constraints: 29572 662.21/664.99 c #Conflicts: 373000 | #Constraints: 30572 662.21/664.99 c #Conflicts: 374000 | #Constraints: 31572 662.21/664.99 c #Conflicts: 375000 | #Constraints: 32572 662.21/664.99 c #Conflicts: 376000 | #Constraints: 33572 662.21/664.99 c #Conflicts: 377000 | #Constraints: 34572 662.21/664.99 c #Conflicts: 378000 | #Constraints: 35572 662.21/664.99 c #Conflicts: 379000 | #Constraints: 36572 662.21/664.99 c #Conflicts: 380000 | #Constraints: 37572 662.21/664.99 c #Conflicts: 381000 | #Constraints: 38572 662.21/664.99 c #Conflicts: 382000 | #Constraints: 39572 662.21/664.99 c #Conflicts: 383000 | #Constraints: 40572 662.21/664.99 c #Conflicts: 384000 | #Constraints: 41572 662.21/664.99 c #Conflicts: 385000 | #Constraints: 42572 662.21/664.99 c #Conflicts: 386000 | #Constraints: 43572 662.21/664.99 c #Conflicts: 387000 | #Constraints: 44572 662.21/664.99 c #Conflicts: 388000 | #Constraints: 45572 662.21/664.99 c bounds 100 >= 46 @ 595.431 662.21/664.99 c #Conflicts: 389000 | #Constraints: 46573 662.21/664.99 c #Conflicts: 390000 | #Constraints: 47573 662.21/664.99 c #Conflicts: 391000 | #Constraints: 48573 662.21/664.99 c #Conflicts: 392000 | #Constraints: 49573 662.21/664.99 c #Conflicts: 393000 | #Constraints: 50573 662.21/664.99 c #Conflicts: 394000 | #Constraints: 51573 662.21/664.99 c #Conflicts: 395000 | #Constraints: 52573 662.21/664.99 c #Conflicts: 396000 | #Constraints: 53573 662.21/664.99 c #Conflicts: 397000 | #Constraints: 54573 662.21/664.99 c #Conflicts: 398000 | #Constraints: 55573 662.21/664.99 c #Conflicts: 399000 | #Constraints: 56573 662.21/664.99 c bounds 100 >= 47 @ 621.347 662.21/664.99 c #Conflicts: 400000 | #Constraints: 57582 662.21/664.99 c #Conflicts: 401000 | #Constraints: 58582 662.21/664.99 c #Conflicts: 402000 | #Constraints: 59582 662.21/664.99 c #Conflicts: 403000 | #Constraints: 60582 662.21/664.99 c #Conflicts: 404000 | #Constraints: 61582 662.21/664.99 c #Conflicts: 405000 | #Constraints: 62582 662.21/664.99 c #Conflicts: 406000 | #Constraints: 63582 662.21/664.99 c #Conflicts: 407000 | #Constraints: 64582 662.21/664.99 c #Conflicts: 408000 | #Constraints: 65582 662.21/664.99 c #Conflicts: 409000 | #Constraints: 66582 662.21/664.99 c INPROCESSING 662.21/664.99 c GARBAGE COLLECT 662.21/664.99 c rational objective 47 710.24/713.19 c #Conflicts: 410000 | #Constraints: 35928 710.24/713.19 c #Conflicts: 411000 | #Constraints: 36928 710.24/713.19 c #Conflicts: 412000 | #Constraints: 37928 710.24/713.19 c #Conflicts: 413000 | #Constraints: 38928 710.24/713.19 c #Conflicts: 414000 | #Constraints: 39928 710.24/713.19 c #Conflicts: 415000 | #Constraints: 40928 710.24/713.19 c #Conflicts: 416000 | #Constraints: 41928 710.24/713.19 c #Conflicts: 417000 | #Constraints: 42928 710.24/713.19 c #Conflicts: 418000 | #Constraints: 43928 710.24/713.19 c #Conflicts: 419000 | #Constraints: 44928 710.24/713.19 c #Conflicts: 420000 | #Constraints: 45928 710.24/713.19 c #Conflicts: 421000 | #Constraints: 46928 710.24/713.19 c #Conflicts: 422000 | #Constraints: 47928 710.24/713.19 c #Conflicts: 423000 | #Constraints: 48928 710.24/713.19 c bounds 99 >= 47 @ 699.834 710.24/713.19 c #Conflicts: 424000 | #Constraints: 49929 710.24/713.19 c INPROCESSING 710.24/713.19 c GARBAGE COLLECT 710.24/713.19 c rational objective 47 758.97/762.05 c #Conflicts: 425000 | #Constraints: 27456 758.97/762.05 c #Conflicts: 426000 | #Constraints: 28456 758.97/762.05 c #Conflicts: 427000 | #Constraints: 29456 758.97/762.05 c #Conflicts: 428000 | #Constraints: 30456 758.97/762.05 c #Conflicts: 429000 | #Constraints: 31456 758.97/762.05 c #Conflicts: 430000 | #Constraints: 32456 758.97/762.05 c #Conflicts: 431000 | #Constraints: 33456 758.97/762.05 c #Conflicts: 432000 | #Constraints: 34456 758.97/762.05 c #Conflicts: 433000 | #Constraints: 35456 758.97/762.05 c #Conflicts: 434000 | #Constraints: 36456 758.97/762.05 c #Conflicts: 435000 | #Constraints: 37456 758.97/762.05 c #Conflicts: 436000 | #Constraints: 38456 758.97/762.05 c #Conflicts: 437000 | #Constraints: 39456 758.97/762.05 c #Conflicts: 438000 | #Constraints: 40456 758.97/762.05 c #Conflicts: 439000 | #Constraints: 41456 758.97/762.05 c #Conflicts: 440000 | #Constraints: 42456 758.97/762.05 c INPROCESSING 758.97/762.05 c GARBAGE COLLECT 758.97/762.05 c rational objective 47 876.84/880.34 c #Conflicts: 441000 | #Constraints: 23964 876.84/880.34 c #Conflicts: 442000 | #Constraints: 24964 876.84/880.34 c #Conflicts: 443000 | #Constraints: 25964 876.84/880.34 c #Conflicts: 444000 | #Constraints: 26964 876.84/880.34 c #Conflicts: 445000 | #Constraints: 27964 876.84/880.34 c #Conflicts: 446000 | #Constraints: 28964 876.84/880.34 c #Conflicts: 447000 | #Constraints: 29964 876.84/880.34 c #Conflicts: 448000 | #Constraints: 30964 876.84/880.34 c #Conflicts: 449000 | #Constraints: 31964 876.84/880.34 c #Conflicts: 450000 | #Constraints: 32964 876.84/880.34 c #Conflicts: 451000 | #Constraints: 33964 876.84/880.34 c #Conflicts: 452000 | #Constraints: 34964 876.84/880.34 c #Conflicts: 453000 | #Constraints: 35964 876.84/880.34 c #Conflicts: 454000 | #Constraints: 36964 876.84/880.34 c #Conflicts: 455000 | #Constraints: 37964 876.84/880.34 c #Conflicts: 456000 | #Constraints: 38964 876.84/880.34 c #Conflicts: 457000 | #Constraints: 39964 876.84/880.34 c #Conflicts: 458000 | #Constraints: 40964 876.84/880.34 c #Conflicts: 459000 | #Constraints: 41964 876.84/880.34 c #Conflicts: 460000 | #Constraints: 42964 876.84/880.34 c #Conflicts: 461000 | #Constraints: 43964 876.84/880.34 c #Conflicts: 462000 | #Constraints: 44964 876.84/880.34 c #Conflicts: 463000 | #Constraints: 45964 876.84/880.34 c #Conflicts: 464000 | #Constraints: 46964 876.84/880.34 c #Conflicts: 465000 | #Constraints: 47964 876.84/880.34 c #Conflicts: 466000 | #Constraints: 48964 876.84/880.34 c bounds 98 >= 47 @ 800.958 876.84/880.34 c #Conflicts: 467000 | #Constraints: 49965 876.84/880.34 c #Conflicts: 468000 | #Constraints: 50965 876.84/880.34 c #Conflicts: 469000 | #Constraints: 51965 876.84/880.34 c bounds 98 >= 48 @ 808.906 876.84/880.34 c #Conflicts: 470000 | #Constraints: 52971 876.84/880.34 c #Conflicts: 471000 | #Constraints: 53971 876.84/880.34 c #Conflicts: 472000 | #Constraints: 54971 876.84/880.34 c #Conflicts: 473000 | #Constraints: 55971 876.84/880.34 c #Conflicts: 474000 | #Constraints: 56971 876.84/880.34 c #Conflicts: 475000 | #Constraints: 57971 876.84/880.34 c #Conflicts: 476000 | #Constraints: 58971 876.84/880.34 c #Conflicts: 477000 | #Constraints: 59971 876.84/880.34 c #Conflicts: 478000 | #Constraints: 60971 876.84/880.34 c #Conflicts: 479000 | #Constraints: 61971 876.84/880.34 c #Conflicts: 480000 | #Constraints: 62971 876.84/880.34 c #Conflicts: 481000 | #Constraints: 63971 876.84/880.34 c #Conflicts: 482000 | #Constraints: 64971 876.84/880.34 c #Conflicts: 483000 | #Constraints: 65971 876.84/880.34 c #Conflicts: 484000 | #Constraints: 66971 876.84/880.34 c #Conflicts: 485000 | #Constraints: 67971 876.84/880.34 c #Conflicts: 486000 | #Constraints: 68971 876.84/880.34 c #Conflicts: 487000 | #Constraints: 69971 876.84/880.34 c #Conflicts: 488000 | #Constraints: 70971 876.84/880.34 c #Conflicts: 489000 | #Constraints: 71971 876.84/880.34 c bounds 98 >= 49 @ 866.549 876.84/880.34 c #Conflicts: 490000 | #Constraints: 72980 876.84/880.34 c INPROCESSING 876.84/880.34 c GARBAGE COLLECT 876.84/880.34 c rational objective 49 923.97/927.68 c #Conflicts: 491000 | #Constraints: 39298 923.97/927.68 c #Conflicts: 492000 | #Constraints: 40298 923.97/927.68 c #Conflicts: 493000 | #Constraints: 41298 923.97/927.68 c #Conflicts: 494000 | #Constraints: 42298 923.97/927.68 c #Conflicts: 495000 | #Constraints: 43298 923.97/927.68 c #Conflicts: 496000 | #Constraints: 44298 923.97/927.68 c #Conflicts: 497000 | #Constraints: 45298 923.97/927.68 c #Conflicts: 498000 | #Constraints: 46298 923.97/927.68 c #Conflicts: 499000 | #Constraints: 47298 923.97/927.68 c #Conflicts: 500000 | #Constraints: 48298 923.97/927.68 c #Conflicts: 501000 | #Constraints: 49298 923.97/927.68 c #Conflicts: 502000 | #Constraints: 50298 923.97/927.68 c #Conflicts: 503000 | #Constraints: 51298 923.97/927.68 c #Conflicts: 504000 | #Constraints: 52298 923.97/927.68 c #Conflicts: 505000 | #Constraints: 53298 923.97/927.68 c #Conflicts: 506000 | #Constraints: 54298 923.97/927.68 c #Conflicts: 507000 | #Constraints: 55298 923.97/927.68 c INPROCESSING 923.97/927.68 c GARBAGE COLLECT 923.97/927.68 c rational objective 49 959.35/963.17 c #Conflicts: 508000 | #Constraints: 30564 959.35/963.17 c #Conflicts: 509000 | #Constraints: 31564 959.35/963.17 c #Conflicts: 510000 | #Constraints: 32564 959.35/963.17 c #Conflicts: 511000 | #Constraints: 33564 959.35/963.17 c #Conflicts: 512000 | #Constraints: 34564 959.35/963.17 c #Conflicts: 513000 | #Constraints: 35564 959.35/963.17 c #Conflicts: 514000 | #Constraints: 36564 959.35/963.17 c #Conflicts: 515000 | #Constraints: 37564 959.35/963.17 c #Conflicts: 516000 | #Constraints: 38564 959.35/963.17 c #Conflicts: 517000 | #Constraints: 39564 959.35/963.17 c #Conflicts: 518000 | #Constraints: 40564 959.35/963.17 c #Conflicts: 519000 | #Constraints: 41564 959.35/963.17 c #Conflicts: 520000 | #Constraints: 42564 959.35/963.17 c #Conflicts: 521000 | #Constraints: 43564 959.35/963.17 c #Conflicts: 522000 | #Constraints: 44564 959.35/963.17 c #Conflicts: 523000 | #Constraints: 45564 959.35/963.17 c #Conflicts: 524000 | #Constraints: 46564 959.35/963.17 c INPROCESSING 959.35/963.17 c GARBAGE COLLECT 959.35/963.17 c rational objective 49 1106.50/1110.78 c #Conflicts: 525000 | #Constraints: 26183 1106.50/1110.78 c #Conflicts: 526000 | #Constraints: 27183 1106.50/1110.78 c #Conflicts: 527000 | #Constraints: 28183 1106.50/1110.78 c #Conflicts: 528000 | #Constraints: 29183 1106.50/1110.78 c #Conflicts: 529000 | #Constraints: 30183 1106.50/1110.78 c #Conflicts: 530000 | #Constraints: 31183 1106.50/1110.78 c #Conflicts: 531000 | #Constraints: 32183 1106.50/1110.78 c #Conflicts: 532000 | #Constraints: 33183 1106.50/1110.78 c #Conflicts: 533000 | #Constraints: 34183 1106.50/1110.78 c #Conflicts: 534000 | #Constraints: 35183 1106.50/1110.78 c #Conflicts: 535000 | #Constraints: 36183 1106.50/1110.78 c #Conflicts: 536000 | #Constraints: 37183 1106.50/1110.78 c #Conflicts: 537000 | #Constraints: 38183 1106.50/1110.78 c #Conflicts: 538000 | #Constraints: 39183 1106.50/1110.78 c #Conflicts: 539000 | #Constraints: 40183 1106.50/1110.78 c #Conflicts: 540000 | #Constraints: 41183 1106.50/1110.78 c #Conflicts: 541000 | #Constraints: 42183 1106.50/1110.78 c #Conflicts: 542000 | #Constraints: 43183 1106.50/1110.78 c #Conflicts: 543000 | #Constraints: 44183 1106.50/1110.78 c #Conflicts: 544000 | #Constraints: 45183 1106.50/1110.78 c #Conflicts: 545000 | #Constraints: 46183 1106.50/1110.78 c #Conflicts: 546000 | #Constraints: 47183 1106.50/1110.78 c #Conflicts: 547000 | #Constraints: 48183 1106.50/1110.78 c #Conflicts: 548000 | #Constraints: 49183 1106.50/1110.78 c #Conflicts: 549000 | #Constraints: 50183 1106.50/1110.78 c #Conflicts: 550000 | #Constraints: 51183 1106.50/1110.78 c #Conflicts: 551000 | #Constraints: 52183 1106.50/1110.78 c #Conflicts: 552000 | #Constraints: 53183 1106.50/1110.78 c #Conflicts: 553000 | #Constraints: 54183 1106.50/1110.78 c #Conflicts: 554000 | #Constraints: 55183 1106.50/1110.78 c #Conflicts: 555000 | #Constraints: 56183 1106.50/1110.78 c #Conflicts: 556000 | #Constraints: 57183 1106.50/1110.78 c #Conflicts: 557000 | #Constraints: 58183 1106.50/1110.78 c #Conflicts: 558000 | #Constraints: 59183 1106.50/1110.78 c #Conflicts: 559000 | #Constraints: 60183 1106.50/1110.78 c #Conflicts: 560000 | #Constraints: 61183 1106.50/1110.78 c #Conflicts: 561000 | #Constraints: 62183 1106.50/1110.78 c #Conflicts: 562000 | #Constraints: 63183 1106.50/1110.78 c #Conflicts: 563000 | #Constraints: 64183 1106.50/1110.78 c #Conflicts: 564000 | #Constraints: 65183 1106.50/1110.78 c #Conflicts: 565000 | #Constraints: 66183 1106.50/1110.78 c #Conflicts: 566000 | #Constraints: 67183 1106.50/1110.78 c #Conflicts: 567000 | #Constraints: 68183 1106.50/1110.78 c #Conflicts: 568000 | #Constraints: 69183 1106.50/1110.78 c #Conflicts: 569000 | #Constraints: 70183 1106.50/1110.78 c #Conflicts: 570000 | #Constraints: 71183 1106.50/1110.78 c #Conflicts: 571000 | #Constraints: 72183 1106.50/1110.78 c #Conflicts: 572000 | #Constraints: 73183 1106.50/1110.78 c #Conflicts: 573000 | #Constraints: 74183 1106.50/1110.78 c #Conflicts: 574000 | #Constraints: 75183 1106.50/1110.78 c #Conflicts: 575000 | #Constraints: 76183 1106.50/1110.78 c #Conflicts: 576000 | #Constraints: 77183 1106.50/1110.78 c #Conflicts: 577000 | #Constraints: 78183 1106.50/1110.78 c #Conflicts: 578000 | #Constraints: 79183 1106.50/1110.78 c INPROCESSING 1106.50/1110.78 c GARBAGE COLLECT 1106.50/1110.78 c rational objective 49 1147.87/1152.27 c #Conflicts: 579000 | #Constraints: 42491 1147.87/1152.27 c #Conflicts: 580000 | #Constraints: 43491 1147.87/1152.27 c #Conflicts: 581000 | #Constraints: 44491 1147.87/1152.27 c #Conflicts: 582000 | #Constraints: 45491 1147.87/1152.27 c #Conflicts: 583000 | #Constraints: 46491 1147.87/1152.27 c #Conflicts: 584000 | #Constraints: 47491 1147.87/1152.27 c #Conflicts: 585000 | #Constraints: 48491 1147.87/1152.27 c #Conflicts: 586000 | #Constraints: 49491 1147.87/1152.27 c #Conflicts: 587000 | #Constraints: 50491 1147.87/1152.27 c #Conflicts: 588000 | #Constraints: 51491 1147.87/1152.27 c #Conflicts: 589000 | #Constraints: 52491 1147.87/1152.27 c #Conflicts: 590000 | #Constraints: 53491 1147.87/1152.27 c #Conflicts: 591000 | #Constraints: 54491 1147.87/1152.27 c #Conflicts: 592000 | #Constraints: 55491 1147.87/1152.27 c #Conflicts: 593000 | #Constraints: 56491 1147.87/1152.27 c #Conflicts: 594000 | #Constraints: 57491 1147.87/1152.27 c #Conflicts: 595000 | #Constraints: 58491 1147.87/1152.27 c #Conflicts: 596000 | #Constraints: 59491 1147.87/1152.27 c INPROCESSING 1147.87/1152.27 c GARBAGE COLLECT 1147.87/1152.27 c rational objective 49 1192.83/1197.30 c #Conflicts: 597000 | #Constraints: 32451 1192.83/1197.30 c #Conflicts: 598000 | #Constraints: 33451 1192.83/1197.30 c #Conflicts: 599000 | #Constraints: 34451 1192.83/1197.30 c #Conflicts: 600000 | #Constraints: 35451 1192.83/1197.30 c #Conflicts: 601000 | #Constraints: 36451 1192.83/1197.30 c #Conflicts: 602000 | #Constraints: 37451 1192.83/1197.30 c #Conflicts: 603000 | #Constraints: 38451 1192.83/1197.30 c #Conflicts: 604000 | #Constraints: 39451 1192.83/1197.30 c #Conflicts: 605000 | #Constraints: 40451 1192.83/1197.30 c #Conflicts: 606000 | #Constraints: 41451 1192.83/1197.30 c #Conflicts: 607000 | #Constraints: 42451 1192.83/1197.30 c #Conflicts: 608000 | #Constraints: 43451 1192.83/1197.30 c #Conflicts: 609000 | #Constraints: 44451 1192.83/1197.30 c #Conflicts: 610000 | #Constraints: 45451 1192.83/1197.30 c #Conflicts: 611000 | #Constraints: 46451 1192.83/1197.30 c #Conflicts: 612000 | #Constraints: 47451 1192.83/1197.30 c #Conflicts: 613000 | #Constraints: 48451 1192.83/1197.30 c #Conflicts: 614000 | #Constraints: 49451 1192.83/1197.30 c INPROCESSING 1192.83/1197.30 c GARBAGE COLLECT 1192.83/1197.30 c rational objective 49 1230.12/1234.75 c #Conflicts: 615000 | #Constraints: 27176 1230.12/1234.75 c #Conflicts: 616000 | #Constraints: 28176 1230.12/1234.75 c #Conflicts: 617000 | #Constraints: 29176 1230.12/1234.75 c #Conflicts: 618000 | #Constraints: 30176 1230.12/1234.75 c #Conflicts: 619000 | #Constraints: 31176 1230.12/1234.75 c #Conflicts: 620000 | #Constraints: 32176 1230.12/1234.75 c #Conflicts: 621000 | #Constraints: 33176 1230.12/1234.75 c #Conflicts: 622000 | #Constraints: 34176 1230.12/1234.75 c #Conflicts: 623000 | #Constraints: 35176 1230.12/1234.75 c #Conflicts: 624000 | #Constraints: 36176 1230.12/1234.75 c #Conflicts: 625000 | #Constraints: 37176 1230.12/1234.75 c #Conflicts: 626000 | #Constraints: 38176 1230.12/1234.75 c #Conflicts: 627000 | #Constraints: 39176 1230.12/1234.75 c #Conflicts: 628000 | #Constraints: 40176 1230.12/1234.75 c #Conflicts: 629000 | #Constraints: 41176 1230.12/1234.75 c #Conflicts: 630000 | #Constraints: 42176 1230.12/1234.75 c #Conflicts: 631000 | #Constraints: 43176 1230.12/1234.75 c #Conflicts: 632000 | #Constraints: 44176 1230.12/1234.75 c #Conflicts: 633000 | #Constraints: 45176 1230.12/1234.75 c INPROCESSING 1230.12/1234.75 c GARBAGE COLLECT 1230.12/1234.75 c rational objective 49 1378.44/1383.50 c #Conflicts: 634000 | #Constraints: 25190 1378.44/1383.50 c #Conflicts: 635000 | #Constraints: 26190 1378.44/1383.50 c #Conflicts: 636000 | #Constraints: 27190 1378.44/1383.50 c #Conflicts: 637000 | #Constraints: 28190 1378.44/1383.50 c #Conflicts: 638000 | #Constraints: 29190 1378.44/1383.50 c #Conflicts: 639000 | #Constraints: 30190 1378.44/1383.50 c #Conflicts: 640000 | #Constraints: 31190 1378.44/1383.50 c #Conflicts: 641000 | #Constraints: 32190 1378.44/1383.50 c #Conflicts: 642000 | #Constraints: 33190 1378.44/1383.50 c #Conflicts: 643000 | #Constraints: 34190 1378.44/1383.50 c #Conflicts: 644000 | #Constraints: 35190 1378.44/1383.50 c #Conflicts: 645000 | #Constraints: 36190 1378.44/1383.50 c #Conflicts: 646000 | #Constraints: 37190 1378.44/1383.50 c #Conflicts: 647000 | #Constraints: 38190 1378.44/1383.50 c #Conflicts: 648000 | #Constraints: 39190 1378.44/1383.50 c #Conflicts: 649000 | #Constraints: 40190 1378.44/1383.50 c #Conflicts: 650000 | #Constraints: 41190 1378.44/1383.50 c #Conflicts: 651000 | #Constraints: 42190 1378.44/1383.50 c #Conflicts: 652000 | #Constraints: 43190 1378.44/1383.50 c #Conflicts: 653000 | #Constraints: 44190 1378.44/1383.50 c #Conflicts: 654000 | #Constraints: 45190 1378.44/1383.50 c #Conflicts: 655000 | #Constraints: 46190 1378.44/1383.50 c #Conflicts: 656000 | #Constraints: 47190 1378.44/1383.50 c #Conflicts: 657000 | #Constraints: 48190 1378.44/1383.50 c #Conflicts: 658000 | #Constraints: 49190 1378.44/1383.50 c #Conflicts: 659000 | #Constraints: 50190 1378.44/1383.50 c #Conflicts: 660000 | #Constraints: 51190 1378.44/1383.50 c #Conflicts: 661000 | #Constraints: 52190 1378.44/1383.50 c #Conflicts: 662000 | #Constraints: 53190 1378.44/1383.50 c #Conflicts: 663000 | #Constraints: 54190 1378.44/1383.50 c #Conflicts: 664000 | #Constraints: 55190 1378.44/1383.50 c #Conflicts: 665000 | #Constraints: 56190 1378.44/1383.50 c #Conflicts: 666000 | #Constraints: 57190 1378.44/1383.50 c #Conflicts: 667000 | #Constraints: 58190 1378.44/1383.50 c bounds 97 >= 49 @ 1301.68 1378.44/1383.50 c #Conflicts: 668000 | #Constraints: 59191 1378.44/1383.50 c #Conflicts: 669000 | #Constraints: 60191 1378.44/1383.50 c #Conflicts: 670000 | #Constraints: 61191 1378.44/1383.50 c #Conflicts: 671000 | #Constraints: 62191 1378.44/1383.50 c #Conflicts: 672000 | #Constraints: 63191 1378.44/1383.50 c #Conflicts: 673000 | #Constraints: 64191 1378.44/1383.50 c #Conflicts: 674000 | #Constraints: 65191 1378.44/1383.50 c #Conflicts: 675000 | #Constraints: 66191 1378.44/1383.50 c #Conflicts: 676000 | #Constraints: 67191 1378.44/1383.50 c #Conflicts: 677000 | #Constraints: 68191 1378.44/1383.50 c #Conflicts: 678000 | #Constraints: 69191 1378.44/1383.50 c #Conflicts: 679000 | #Constraints: 70191 1378.44/1383.50 c #Conflicts: 680000 | #Constraints: 71191 1378.44/1383.50 c #Conflicts: 681000 | #Constraints: 72191 1378.44/1383.50 c #Conflicts: 682000 | #Constraints: 73191 1378.44/1383.50 c #Conflicts: 683000 | #Constraints: 74191 1378.44/1383.50 c #Conflicts: 684000 | #Constraints: 75191 1378.44/1383.50 c #Conflicts: 685000 | #Constraints: 76191 1378.44/1383.50 c #Conflicts: 686000 | #Constraints: 77191 1378.44/1383.50 c #Conflicts: 687000 | #Constraints: 78191 1378.44/1383.50 c #Conflicts: 688000 | #Constraints: 79191 1378.44/1383.50 c #Conflicts: 689000 | #Constraints: 80191 1378.44/1383.50 c #Conflicts: 690000 | #Constraints: 81191 1378.44/1383.50 c #Conflicts: 691000 | #Constraints: 82191 1378.44/1383.50 c #Conflicts: 692000 | #Constraints: 83191 1378.44/1383.50 c #Conflicts: 693000 | #Constraints: 84191 1378.44/1383.50 c INPROCESSING 1378.44/1383.50 c GARBAGE COLLECT 1378.44/1383.50 c rational objective 49 1439.93/1445.25 c #Conflicts: 694000 | #Constraints: 44994 1439.93/1445.25 c #Conflicts: 695000 | #Constraints: 45994 1439.93/1445.25 c #Conflicts: 696000 | #Constraints: 46994 1439.93/1445.25 c #Conflicts: 697000 | #Constraints: 47994 1439.93/1445.25 c #Conflicts: 698000 | #Constraints: 48994 1439.93/1445.25 c #Conflicts: 699000 | #Constraints: 49994 1439.93/1445.25 c #Conflicts: 700000 | #Constraints: 50994 1439.93/1445.25 c #Conflicts: 701000 | #Constraints: 51994 1439.93/1445.25 c #Conflicts: 702000 | #Constraints: 52994 1439.93/1445.25 c #Conflicts: 703000 | #Constraints: 53994 1439.93/1445.25 c #Conflicts: 704000 | #Constraints: 54994 1439.93/1445.25 c #Conflicts: 705000 | #Constraints: 55994 1439.93/1445.25 c #Conflicts: 706000 | #Constraints: 56994 1439.93/1445.25 c #Conflicts: 707000 | #Constraints: 57994 1439.93/1445.25 c #Conflicts: 708000 | #Constraints: 58994 1439.93/1445.25 c #Conflicts: 709000 | #Constraints: 59994 1439.93/1445.25 c #Conflicts: 710000 | #Constraints: 60994 1439.93/1445.25 c #Conflicts: 711000 | #Constraints: 61994 1439.93/1445.25 c #Conflicts: 712000 | #Constraints: 62994 1439.93/1445.25 c #Conflicts: 713000 | #Constraints: 63994 1439.93/1445.25 c INPROCESSING 1439.93/1445.25 c GARBAGE COLLECT 1439.93/1445.25 c rational objective 49 1472.21/1477.68 c #Conflicts: 714000 | #Constraints: 34898 1472.21/1477.68 c #Conflicts: 715000 | #Constraints: 35898 1472.21/1477.68 c #Conflicts: 716000 | #Constraints: 36898 1472.21/1477.68 c #Conflicts: 717000 | #Constraints: 37898 1472.21/1477.68 c #Conflicts: 718000 | #Constraints: 38898 1472.21/1477.68 c #Conflicts: 719000 | #Constraints: 39898 1472.21/1477.68 c #Conflicts: 720000 | #Constraints: 40898 1472.21/1477.68 c #Conflicts: 721000 | #Constraints: 41898 1472.21/1477.68 c #Conflicts: 722000 | #Constraints: 42898 1472.21/1477.68 c #Conflicts: 723000 | #Constraints: 43898 1472.21/1477.68 c #Conflicts: 724000 | #Constraints: 44898 1472.21/1477.68 c #Conflicts: 725000 | #Constraints: 45898 1472.21/1477.68 c #Conflicts: 726000 | #Constraints: 46898 1472.21/1477.68 c #Conflicts: 727000 | #Constraints: 47898 1472.21/1477.68 c #Conflicts: 728000 | #Constraints: 48898 1472.21/1477.68 c #Conflicts: 729000 | #Constraints: 49898 1472.21/1477.68 c #Conflicts: 730000 | #Constraints: 50898 1472.21/1477.68 c #Conflicts: 731000 | #Constraints: 51898 1472.21/1477.68 c #Conflicts: 732000 | #Constraints: 52898 1472.21/1477.68 c #Conflicts: 733000 | #Constraints: 53898 1472.21/1477.68 c INPROCESSING 1472.21/1477.68 c GARBAGE COLLECT 1472.21/1477.68 c rational objective 49 1504.50/1510.08 c #Conflicts: 734000 | #Constraints: 29771 1504.50/1510.08 c #Conflicts: 735000 | #Constraints: 30771 1504.50/1510.08 c #Conflicts: 736000 | #Constraints: 31771 1504.50/1510.08 c #Conflicts: 737000 | #Constraints: 32771 1504.50/1510.08 c #Conflicts: 738000 | #Constraints: 33771 1504.50/1510.08 c #Conflicts: 739000 | #Constraints: 34771 1504.50/1510.08 c #Conflicts: 740000 | #Constraints: 35771 1504.50/1510.08 c #Conflicts: 741000 | #Constraints: 36771 1504.50/1510.08 c #Conflicts: 742000 | #Constraints: 37771 1504.50/1510.08 c #Conflicts: 743000 | #Constraints: 38771 1504.50/1510.08 c #Conflicts: 744000 | #Constraints: 39771 1504.50/1510.08 c #Conflicts: 745000 | #Constraints: 40771 1504.50/1510.08 c #Conflicts: 746000 | #Constraints: 41771 1504.50/1510.08 c #Conflicts: 747000 | #Constraints: 42771 1504.50/1510.08 c #Conflicts: 748000 | #Constraints: 43771 1504.50/1510.08 c #Conflicts: 749000 | #Constraints: 44771 1504.50/1510.08 c #Conflicts: 750000 | #Constraints: 45771 1504.50/1510.08 c #Conflicts: 751000 | #Constraints: 46771 1504.50/1510.08 c #Conflicts: 752000 | #Constraints: 47771 1504.50/1510.08 c #Conflicts: 753000 | #Constraints: 48771 1504.50/1510.08 c INPROCESSING 1504.50/1510.08 c GARBAGE COLLECT 1504.50/1510.08 c rational objective 49 1678.40/1684.53 c #Conflicts: 754000 | #Constraints: 27023 1678.40/1684.53 c #Conflicts: 755000 | #Constraints: 28023 1678.40/1684.53 c #Conflicts: 756000 | #Constraints: 29023 1678.40/1684.53 c #Conflicts: 757000 | #Constraints: 30023 1678.40/1684.53 c #Conflicts: 758000 | #Constraints: 31023 1678.40/1684.53 c #Conflicts: 759000 | #Constraints: 32023 1678.40/1684.53 c #Conflicts: 760000 | #Constraints: 33023 1678.40/1684.53 c #Conflicts: 761000 | #Constraints: 34023 1678.40/1684.53 c #Conflicts: 762000 | #Constraints: 35023 1678.40/1684.53 c #Conflicts: 763000 | #Constraints: 36023 1678.40/1684.53 c #Conflicts: 764000 | #Constraints: 37023 1678.40/1684.53 c #Conflicts: 765000 | #Constraints: 38023 1678.40/1684.53 c #Conflicts: 766000 | #Constraints: 39023 1678.40/1684.53 c #Conflicts: 767000 | #Constraints: 40023 1678.40/1684.53 c #Conflicts: 768000 | #Constraints: 41023 1678.40/1684.53 c #Conflicts: 769000 | #Constraints: 42023 1678.40/1684.53 c #Conflicts: 770000 | #Constraints: 43023 1678.40/1684.53 c #Conflicts: 771000 | #Constraints: 44023 1678.40/1684.53 c #Conflicts: 772000 | #Constraints: 45023 1678.40/1684.53 c #Conflicts: 773000 | #Constraints: 46023 1678.40/1684.53 c #Conflicts: 774000 | #Constraints: 47023 1678.40/1684.53 c #Conflicts: 775000 | #Constraints: 48023 1678.40/1684.53 c #Conflicts: 776000 | #Constraints: 49023 1678.40/1684.53 c #Conflicts: 777000 | #Constraints: 50023 1678.40/1684.53 c #Conflicts: 778000 | #Constraints: 51023 1678.40/1684.53 c #Conflicts: 779000 | #Constraints: 52023 1678.40/1684.53 c #Conflicts: 780000 | #Constraints: 53023 1678.40/1684.53 c #Conflicts: 781000 | #Constraints: 54023 1678.40/1684.53 c #Conflicts: 782000 | #Constraints: 55023 1678.40/1684.53 c #Conflicts: 783000 | #Constraints: 56023 1678.40/1684.53 c #Conflicts: 784000 | #Constraints: 57023 1678.40/1684.53 c #Conflicts: 785000 | #Constraints: 58023 1678.40/1684.53 c #Conflicts: 786000 | #Constraints: 59023 1678.40/1684.53 c #Conflicts: 787000 | #Constraints: 60023 1678.40/1684.53 c #Conflicts: 788000 | #Constraints: 61023 1678.40/1684.53 c #Conflicts: 789000 | #Constraints: 62023 1678.40/1684.53 c #Conflicts: 790000 | #Constraints: 63023 1678.40/1684.53 c #Conflicts: 791000 | #Constraints: 64023 1678.40/1684.53 c #Conflicts: 792000 | #Constraints: 65023 1678.40/1684.53 c #Conflicts: 793000 | #Constraints: 66023 1678.40/1684.53 c #Conflicts: 794000 | #Constraints: 67023 1678.40/1684.53 c #Conflicts: 795000 | #Constraints: 68023 1678.40/1684.53 c #Conflicts: 796000 | #Constraints: 69023 1678.40/1684.53 c bounds 97 >= 50 @ 1606.7 1678.40/1684.53 c #Conflicts: 797000 | #Constraints: 70032 1678.40/1684.53 c #Conflicts: 798000 | #Constraints: 71032 1678.40/1684.53 c #Conflicts: 799000 | #Constraints: 72032 1678.40/1684.53 c #Conflicts: 800000 | #Constraints: 73032 1678.40/1684.53 c #Conflicts: 801000 | #Constraints: 74032 1678.40/1684.53 c #Conflicts: 802000 | #Constraints: 75032 1678.40/1684.53 c #Conflicts: 803000 | #Constraints: 76032 1678.40/1684.53 c #Conflicts: 804000 | #Constraints: 77032 1678.40/1684.53 c #Conflicts: 805000 | #Constraints: 78032 1678.40/1684.53 c #Conflicts: 806000 | #Constraints: 79032 1678.40/1684.53 c #Conflicts: 807000 | #Constraints: 80032 1678.40/1684.53 c #Conflicts: 808000 | #Constraints: 81032 1678.40/1684.53 c #Conflicts: 809000 | #Constraints: 82032 1678.40/1684.53 c #Conflicts: 810000 | #Constraints: 83032 1678.40/1684.53 c #Conflicts: 811000 | #Constraints: 84032 1678.40/1684.53 c #Conflicts: 812000 | #Constraints: 85032 1678.40/1684.53 c #Conflicts: 813000 | #Constraints: 86032 1678.40/1684.53 c #Conflicts: 814000 | #Constraints: 87032 1678.40/1684.53 c #Conflicts: 815000 | #Constraints: 88032 1678.40/1684.53 c #Conflicts: 816000 | #Constraints: 89032 1678.40/1684.53 c #Conflicts: 817000 | #Constraints: 90032 1678.40/1684.53 c #Conflicts: 818000 | #Constraints: 91032 1678.40/1684.53 c INPROCESSING 1678.40/1684.53 c GARBAGE COLLECT 1678.40/1684.53 c rational objective 50 1729.93/1736.26 c #Conflicts: 819000 | #Constraints: 48293 1729.93/1736.26 c #Conflicts: 820000 | #Constraints: 49293 1729.93/1736.26 c #Conflicts: 821000 | #Constraints: 50293 1729.93/1736.26 c #Conflicts: 822000 | #Constraints: 51293 1729.93/1736.26 c #Conflicts: 823000 | #Constraints: 52293 1729.93/1736.26 c #Conflicts: 824000 | #Constraints: 53293 1729.93/1736.26 c #Conflicts: 825000 | #Constraints: 54293 1729.93/1736.26 c #Conflicts: 826000 | #Constraints: 55293 1729.93/1736.26 c #Conflicts: 827000 | #Constraints: 56293 1729.93/1736.26 c #Conflicts: 828000 | #Constraints: 57293 1729.93/1736.26 c #Conflicts: 829000 | #Constraints: 58293 1729.93/1736.26 c #Conflicts: 830000 | #Constraints: 59293 1729.93/1736.26 c #Conflicts: 831000 | #Constraints: 60293 1729.93/1736.26 c #Conflicts: 832000 | #Constraints: 61293 1729.93/1736.26 c #Conflicts: 833000 | #Constraints: 62293 1729.93/1736.26 c #Conflicts: 834000 | #Constraints: 63293 1729.93/1736.26 c #Conflicts: 835000 | #Constraints: 64293 1729.93/1736.26 c #Conflicts: 836000 | #Constraints: 65293 1729.93/1736.26 c #Conflicts: 837000 | #Constraints: 66293 1729.93/1736.26 c #Conflicts: 838000 | #Constraints: 67293 1729.93/1736.26 c #Conflicts: 839000 | #Constraints: 68293 1729.93/1736.26 c #Conflicts: 840000 | #Constraints: 69293 1729.93/1736.26 c INPROCESSING 1729.93/1736.26 c GARBAGE COLLECT 1729.93/1736.26 c rational objective 50 1790.62/1797.11 c #Conflicts: 841000 | #Constraints: 37581 1790.62/1797.11 c #Conflicts: 842000 | #Constraints: 38581 1790.62/1797.11 c #Conflicts: 843000 | #Constraints: 39581 1790.62/1797.11 c #Conflicts: 844000 | #Constraints: 40581 1790.62/1797.11 c #Conflicts: 845000 | #Constraints: 41581 1790.62/1797.11 c #Conflicts: 846000 | #Constraints: 42581 1790.62/1797.11 c #Conflicts: 847000 | #Constraints: 43581 1790.62/1797.11 c #Conflicts: 848000 | #Constraints: 44581 1790.62/1797.11 c #Conflicts: 849000 | #Constraints: 45581 1790.62/1797.11 c #Conflicts: 850000 | #Constraints: 46581 1790.62/1797.11 c #Conflicts: 851000 | #Constraints: 47581 1790.62/1797.11 c #Conflicts: 852000 | #Constraints: 48581 1790.62/1797.11 c #Conflicts: 853000 | #Constraints: 49581 1790.62/1797.11 c #Conflicts: 854000 | #Constraints: 50581 1790.62/1797.11 c #Conflicts: 855000 | #Constraints: 51581 1790.62/1797.11 c #Conflicts: 856000 | #Constraints: 52581 1790.62/1797.11 c #Conflicts: 857000 | #Constraints: 53581 1790.62/1797.11 c #Conflicts: 858000 | #Constraints: 54581 1790.62/1797.11 c #Conflicts: 859000 | #Constraints: 55581 1790.62/1797.11 c #Conflicts: 860000 | #Constraints: 56581 1790.62/1797.11 c #Conflicts: 861000 | #Constraints: 57581 1790.62/1797.11 c INPROCESSING 1790.62/1797.11 c GARBAGE COLLECT 1790.62/1797.11 c rational objective 50 1827.59/1834.25 c #Conflicts: 862000 | #Constraints: 31248 1827.59/1834.25 c #Conflicts: 863000 | #Constraints: 32248 1827.59/1834.25 c #Conflicts: 864000 | #Constraints: 33248 1827.59/1834.25 c #Conflicts: 865000 | #Constraints: 34248 1827.59/1834.25 c #Conflicts: 866000 | #Constraints: 35248 1827.59/1834.25 c #Conflicts: 867000 | #Constraints: 36248 1827.59/1834.25 c #Conflicts: 868000 | #Constraints: 37248 1827.59/1834.25 c #Conflicts: 869000 | #Constraints: 38248 1827.59/1834.25 c #Conflicts: 870000 | #Constraints: 39248 1827.59/1834.25 c #Conflicts: 871000 | #Constraints: 40248 1827.59/1834.25 c #Conflicts: 872000 | #Constraints: 41248 1827.59/1834.25 c #Conflicts: 873000 | #Constraints: 42248 1827.59/1834.25 c #Conflicts: 874000 | #Constraints: 43248 1827.59/1834.25 c #Conflicts: 875000 | #Constraints: 44248 1827.59/1834.25 c #Conflicts: 876000 | #Constraints: 45248 1827.59/1834.25 c #Conflicts: 877000 | #Constraints: 46248 1827.59/1834.25 c #Conflicts: 878000 | #Constraints: 47248 1827.59/1834.25 c #Conflicts: 879000 | #Constraints: 48248 1827.59/1834.25 c #Conflicts: 880000 | #Constraints: 49248 1827.59/1834.25 c #Conflicts: 881000 | #Constraints: 50248 1827.59/1834.25 c #Conflicts: 882000 | #Constraints: 51248 1827.59/1834.25 c #Conflicts: 883000 | #Constraints: 52248 1827.59/1834.25 c #Conflicts: 884000 | #Constraints: 53248 1827.59/1834.25 c INPROCESSING 1827.59/1834.25 c GARBAGE COLLECT 1827.59/1834.25 c rational objective 50 2015.47/2022.78 c #Conflicts: 885000 | #Constraints: 29520 2015.47/2022.78 c #Conflicts: 886000 | #Constraints: 30520 2015.47/2022.78 c #Conflicts: 887000 | #Constraints: 31520 2015.47/2022.78 c #Conflicts: 888000 | #Constraints: 32520 2015.47/2022.78 c #Conflicts: 889000 | #Constraints: 33520 2015.47/2022.78 c #Conflicts: 890000 | #Constraints: 34520 2015.47/2022.78 c #Conflicts: 891000 | #Constraints: 35520 2015.47/2022.78 c #Conflicts: 892000 | #Constraints: 36520 2015.47/2022.78 c #Conflicts: 893000 | #Constraints: 37520 2015.47/2022.78 c #Conflicts: 894000 | #Constraints: 38520 2015.47/2022.78 c #Conflicts: 895000 | #Constraints: 39520 2015.47/2022.78 c #Conflicts: 896000 | #Constraints: 40520 2015.47/2022.78 c #Conflicts: 897000 | #Constraints: 41520 2015.47/2022.78 c #Conflicts: 898000 | #Constraints: 42520 2015.47/2022.78 c #Conflicts: 899000 | #Constraints: 43520 2015.47/2022.78 c #Conflicts: 900000 | #Constraints: 44520 2015.47/2022.78 c #Conflicts: 901000 | #Constraints: 45520 2015.47/2022.78 c #Conflicts: 902000 | #Constraints: 46520 2015.47/2022.78 c #Conflicts: 903000 | #Constraints: 47520 2015.47/2022.78 c #Conflicts: 904000 | #Constraints: 48520 2015.47/2022.78 c #Conflicts: 905000 | #Constraints: 49520 2015.47/2022.78 c #Conflicts: 906000 | #Constraints: 50520 2015.47/2022.78 c #Conflicts: 907000 | #Constraints: 51520 2015.47/2022.78 c #Conflicts: 908000 | #Constraints: 52520 2015.47/2022.78 c #Conflicts: 909000 | #Constraints: 53520 2015.47/2022.78 c #Conflicts: 910000 | #Constraints: 54520 2015.47/2022.78 c #Conflicts: 911000 | #Constraints: 55520 2015.47/2022.78 c #Conflicts: 912000 | #Constraints: 56520 2015.47/2022.78 c #Conflicts: 913000 | #Constraints: 57520 2015.47/2022.78 c #Conflicts: 914000 | #Constraints: 58520 2015.47/2022.78 c #Conflicts: 915000 | #Constraints: 59520 2015.47/2022.78 c #Conflicts: 916000 | #Constraints: 60520 2015.47/2022.78 c #Conflicts: 917000 | #Constraints: 61520 2015.47/2022.78 c #Conflicts: 918000 | #Constraints: 62520 2015.47/2022.78 c #Conflicts: 919000 | #Constraints: 63520 2015.47/2022.78 c #Conflicts: 920000 | #Constraints: 64520 2015.47/2022.78 c #Conflicts: 921000 | #Constraints: 65520 2015.47/2022.78 c #Conflicts: 922000 | #Constraints: 66520 2015.47/2022.78 c #Conflicts: 923000 | #Constraints: 67520 2015.47/2022.78 c #Conflicts: 924000 | #Constraints: 68520 2015.47/2022.78 c #Conflicts: 925000 | #Constraints: 69520 2015.47/2022.78 c #Conflicts: 926000 | #Constraints: 70520 2015.47/2022.78 c #Conflicts: 927000 | #Constraints: 71520 2015.47/2022.78 c #Conflicts: 928000 | #Constraints: 72520 2015.47/2022.78 c #Conflicts: 929000 | #Constraints: 73520 2015.47/2022.78 c #Conflicts: 930000 | #Constraints: 74520 2015.47/2022.78 c #Conflicts: 931000 | #Constraints: 75520 2015.47/2022.78 c #Conflicts: 932000 | #Constraints: 76520 2015.47/2022.78 c #Conflicts: 933000 | #Constraints: 77520 2015.47/2022.78 c #Conflicts: 934000 | #Constraints: 78520 2015.47/2022.78 c #Conflicts: 935000 | #Constraints: 79520 2015.47/2022.78 c #Conflicts: 936000 | #Constraints: 80520 2015.47/2022.78 c #Conflicts: 937000 | #Constraints: 81520 2015.47/2022.78 c #Conflicts: 938000 | #Constraints: 82520 2015.47/2022.78 c #Conflicts: 939000 | #Constraints: 83520 2015.47/2022.78 c #Conflicts: 940000 | #Constraints: 84520 2015.47/2022.78 c #Conflicts: 941000 | #Constraints: 85520 2015.47/2022.78 c #Conflicts: 942000 | #Constraints: 86520 2015.47/2022.78 c #Conflicts: 943000 | #Constraints: 87520 2015.47/2022.78 c #Conflicts: 944000 | #Constraints: 88520 2015.47/2022.78 c #Conflicts: 945000 | #Constraints: 89520 2015.47/2022.78 c #Conflicts: 946000 | #Constraints: 90520 2015.47/2022.78 c #Conflicts: 947000 | #Constraints: 91520 2015.47/2022.78 c #Conflicts: 948000 | #Constraints: 92520 2015.47/2022.78 c #Conflicts: 949000 | #Constraints: 93520 2015.47/2022.78 c #Conflicts: 950000 | #Constraints: 94520 2015.47/2022.78 c #Conflicts: 951000 | #Constraints: 95520 2015.47/2022.78 c #Conflicts: 952000 | #Constraints: 96520 2015.47/2022.78 c #Conflicts: 953000 | #Constraints: 97520 2015.47/2022.78 c #Conflicts: 954000 | #Constraints: 98520 2015.47/2022.78 c INPROCESSING 2015.47/2022.78 c GARBAGE COLLECT 2015.47/2022.78 c rational objective 50 2091.02/2098.52 c #Conflicts: 955000 | #Constraints: 52191 2091.02/2098.52 c #Conflicts: 956000 | #Constraints: 53191 2091.02/2098.52 c #Conflicts: 957000 | #Constraints: 54191 2091.02/2098.52 c #Conflicts: 958000 | #Constraints: 55191 2091.02/2098.52 c #Conflicts: 959000 | #Constraints: 56191 2091.02/2098.52 c #Conflicts: 960000 | #Constraints: 57191 2091.02/2098.52 c #Conflicts: 961000 | #Constraints: 58191 2091.02/2098.52 c #Conflicts: 962000 | #Constraints: 59191 2091.02/2098.52 c #Conflicts: 963000 | #Constraints: 60191 2091.02/2098.52 c #Conflicts: 964000 | #Constraints: 61191 2091.02/2098.52 c #Conflicts: 965000 | #Constraints: 62191 2091.02/2098.52 c #Conflicts: 966000 | #Constraints: 63191 2091.02/2098.52 c #Conflicts: 967000 | #Constraints: 64191 2091.02/2098.52 c #Conflicts: 968000 | #Constraints: 65191 2091.02/2098.52 c #Conflicts: 969000 | #Constraints: 66191 2091.02/2098.52 c #Conflicts: 970000 | #Constraints: 67191 2091.02/2098.52 c #Conflicts: 971000 | #Constraints: 68191 2091.02/2098.52 c #Conflicts: 972000 | #Constraints: 69191 2091.02/2098.52 c #Conflicts: 973000 | #Constraints: 70191 2091.02/2098.52 c #Conflicts: 974000 | #Constraints: 71191 2091.02/2098.52 c #Conflicts: 975000 | #Constraints: 72191 2091.02/2098.52 c #Conflicts: 976000 | #Constraints: 73191 2091.02/2098.52 c #Conflicts: 977000 | #Constraints: 74191 2091.02/2098.52 c INPROCESSING 2091.02/2098.52 c GARBAGE COLLECT 2091.02/2098.52 c rational objective 50 2168.94/2176.76 c #Conflicts: 978000 | #Constraints: 39810 2168.94/2176.76 c #Conflicts: 979000 | #Constraints: 40810 2168.94/2176.76 c #Conflicts: 980000 | #Constraints: 41810 2168.94/2176.76 c #Conflicts: 981000 | #Constraints: 42810 2168.94/2176.76 c #Conflicts: 982000 | #Constraints: 43810 2168.94/2176.76 c #Conflicts: 983000 | #Constraints: 44810 2168.94/2176.76 c #Conflicts: 984000 | #Constraints: 45810 2168.94/2176.76 c #Conflicts: 985000 | #Constraints: 46810 2168.94/2176.76 c #Conflicts: 986000 | #Constraints: 47810 2168.94/2176.76 c #Conflicts: 987000 | #Constraints: 48810 2168.94/2176.76 c #Conflicts: 988000 | #Constraints: 49810 2168.94/2176.76 c #Conflicts: 989000 | #Constraints: 50810 2168.94/2176.76 c #Conflicts: 990000 | #Constraints: 51810 2168.94/2176.76 c #Conflicts: 991000 | #Constraints: 52810 2168.94/2176.76 c #Conflicts: 992000 | #Constraints: 53810 2168.94/2176.76 c #Conflicts: 993000 | #Constraints: 54810 2168.94/2176.76 c #Conflicts: 994000 | #Constraints: 55810 2168.94/2176.76 c #Conflicts: 995000 | #Constraints: 56810 2168.94/2176.76 c #Conflicts: 996000 | #Constraints: 57810 2168.94/2176.76 c #Conflicts: 997000 | #Constraints: 58810 2168.94/2176.76 c #Conflicts: 998000 | #Constraints: 59810 2168.94/2176.76 c #Conflicts: 999000 | #Constraints: 60810 2168.94/2176.76 c #Conflicts: 1000000 | #Constraints: 61810 2168.94/2176.76 c #Conflicts: 1001000 | #Constraints: 62810 2168.94/2176.76 c INPROCESSING 2168.94/2176.76 c GARBAGE COLLECT 2168.94/2176.76 c rational objective 50 2443.05/2451.83 c #Conflicts: 1002000 | #Constraints: 34318 2443.05/2451.83 c #Conflicts: 1003000 | #Constraints: 35318 2443.05/2451.83 c #Conflicts: 1004000 | #Constraints: 36318 2443.05/2451.83 c #Conflicts: 1005000 | #Constraints: 37318 2443.05/2451.83 c #Conflicts: 1006000 | #Constraints: 38318 2443.05/2451.83 c #Conflicts: 1007000 | #Constraints: 39318 2443.05/2451.83 c #Conflicts: 1008000 | #Constraints: 40318 2443.05/2451.83 c #Conflicts: 1009000 | #Constraints: 41318 2443.05/2451.83 c #Conflicts: 1010000 | #Constraints: 42318 2443.05/2451.83 c #Conflicts: 1011000 | #Constraints: 43318 2443.05/2451.83 c #Conflicts: 1012000 | #Constraints: 44318 2443.05/2451.83 c #Conflicts: 1013000 | #Constraints: 45318 2443.05/2451.83 c #Conflicts: 1014000 | #Constraints: 46318 2443.05/2451.83 c #Conflicts: 1015000 | #Constraints: 47318 2443.05/2451.83 c #Conflicts: 1016000 | #Constraints: 48318 2443.05/2451.83 c #Conflicts: 1017000 | #Constraints: 49318 2443.05/2451.83 c bounds 97 >= 51 @ 2201.23 2443.05/2451.83 c #Conflicts: 1018000 | #Constraints: 50330 2443.05/2451.83 c #Conflicts: 1019000 | #Constraints: 51330 2443.05/2451.83 c #Conflicts: 1020000 | #Constraints: 52330 2443.05/2451.83 c #Conflicts: 1021000 | #Constraints: 53330 2443.05/2451.83 c #Conflicts: 1022000 | #Constraints: 54330 2443.05/2451.83 c #Conflicts: 1023000 | #Constraints: 55330 2443.05/2451.83 c #Conflicts: 1024000 | #Constraints: 56330 2443.05/2451.83 c #Conflicts: 1025000 | #Constraints: 57330 2443.05/2451.83 c #Conflicts: 1026000 | #Constraints: 58330 2443.05/2451.83 c #Conflicts: 1027000 | #Constraints: 59330 2443.05/2451.83 c #Conflicts: 1028000 | #Constraints: 60330 2443.05/2451.83 c #Conflicts: 1029000 | #Constraints: 61330 2443.05/2451.83 c #Conflicts: 1030000 | #Constraints: 62330 2443.05/2451.83 c #Conflicts: 1031000 | #Constraints: 63330 2443.05/2451.83 c #Conflicts: 1032000 | #Constraints: 64330 2443.05/2451.83 c #Conflicts: 1033000 | #Constraints: 65330 2443.05/2451.83 c #Conflicts: 1034000 | #Constraints: 66330 2443.05/2451.83 c #Conflicts: 1035000 | #Constraints: 67330 2443.05/2451.83 c #Conflicts: 1036000 | #Constraints: 68330 2443.05/2451.83 c #Conflicts: 1037000 | #Constraints: 69330 2443.05/2451.83 c #Conflicts: 1038000 | #Constraints: 70330 2443.05/2451.83 c #Conflicts: 1039000 | #Constraints: 71330 2443.05/2451.83 c #Conflicts: 1040000 | #Constraints: 72330 2443.05/2451.83 c #Conflicts: 1041000 | #Constraints: 73330 2443.05/2451.83 c #Conflicts: 1042000 | #Constraints: 74330 2443.05/2451.83 c #Conflicts: 1043000 | #Constraints: 75330 2443.05/2451.83 c #Conflicts: 1044000 | #Constraints: 76330 2443.05/2451.83 c #Conflicts: 1045000 | #Constraints: 77330 2443.05/2451.83 c #Conflicts: 1046000 | #Constraints: 78330 2443.05/2451.83 c #Conflicts: 1047000 | #Constraints: 79330 2443.05/2451.83 c #Conflicts: 1048000 | #Constraints: 80330 2443.05/2451.83 c #Conflicts: 1049000 | #Constraints: 81330 2443.05/2451.83 c #Conflicts: 1050000 | #Constraints: 82330 2443.05/2451.83 c #Conflicts: 1051000 | #Constraints: 83330 2443.05/2451.83 c #Conflicts: 1052000 | #Constraints: 84330 2443.05/2451.83 c #Conflicts: 1053000 | #Constraints: 85330 2443.05/2451.83 c #Conflicts: 1054000 | #Constraints: 86330 2443.05/2451.83 c #Conflicts: 1055000 | #Constraints: 87330 2443.05/2451.83 c #Conflicts: 1056000 | #Constraints: 88330 2443.05/2451.83 c #Conflicts: 1057000 | #Constraints: 89330 2443.05/2451.83 c #Conflicts: 1058000 | #Constraints: 90330 2443.05/2451.83 c #Conflicts: 1059000 | #Constraints: 91330 2443.05/2451.83 c #Conflicts: 1060000 | #Constraints: 92330 2443.05/2451.83 c #Conflicts: 1061000 | #Constraints: 93330 2443.05/2451.83 c #Conflicts: 1062000 | #Constraints: 94330 2443.05/2451.83 c #Conflicts: 1063000 | #Constraints: 95330 2443.05/2451.83 c #Conflicts: 1064000 | #Constraints: 96330 2443.05/2451.83 c #Conflicts: 1065000 | #Constraints: 97330 2443.05/2451.83 c #Conflicts: 1066000 | #Constraints: 98330 2443.05/2451.83 c #Conflicts: 1067000 | #Constraints: 99330 2443.05/2451.83 c #Conflicts: 1068000 | #Constraints: 100330 2443.05/2451.83 c #Conflicts: 1069000 | #Constraints: 101330 2443.05/2451.83 c #Conflicts: 1070000 | #Constraints: 102330 2443.05/2451.83 c #Conflicts: 1071000 | #Constraints: 103330 2443.05/2451.83 c #Conflicts: 1072000 | #Constraints: 104330 2443.05/2451.83 c #Conflicts: 1073000 | #Constraints: 105330 2443.05/2451.83 c #Conflicts: 1074000 | #Constraints: 106330 2443.05/2451.83 c #Conflicts: 1075000 | #Constraints: 107330 2443.05/2451.83 c INPROCESSING 2443.05/2451.83 c GARBAGE COLLECT 2443.05/2451.83 c rational objective 51 2590.13/2599.66 c #Conflicts: 1076000 | #Constraints: 56499 2590.13/2599.66 c #Conflicts: 1077000 | #Constraints: 57499 2590.13/2599.66 c #Conflicts: 1078000 | #Constraints: 58499 2590.13/2599.66 c #Conflicts: 1079000 | #Constraints: 59499 2590.13/2599.66 c #Conflicts: 1080000 | #Constraints: 60499 2590.13/2599.66 c #Conflicts: 1081000 | #Constraints: 61499 2590.13/2599.66 c #Conflicts: 1082000 | #Constraints: 62499 2590.13/2599.66 c #Conflicts: 1083000 | #Constraints: 63499 2590.13/2599.66 c #Conflicts: 1084000 | #Constraints: 64499 2590.13/2599.66 c #Conflicts: 1085000 | #Constraints: 65499 2590.13/2599.66 c #Conflicts: 1086000 | #Constraints: 66499 2590.13/2599.66 c #Conflicts: 1087000 | #Constraints: 67499 2590.13/2599.66 c #Conflicts: 1088000 | #Constraints: 68499 2590.13/2599.66 c #Conflicts: 1089000 | #Constraints: 69499 2590.13/2599.66 c #Conflicts: 1090000 | #Constraints: 70499 2590.13/2599.66 c #Conflicts: 1091000 | #Constraints: 71499 2590.13/2599.66 c #Conflicts: 1092000 | #Constraints: 72499 2590.13/2599.66 c #Conflicts: 1093000 | #Constraints: 73499 2590.13/2599.66 c #Conflicts: 1094000 | #Constraints: 74499 2590.13/2599.66 c #Conflicts: 1095000 | #Constraints: 75499 2590.13/2599.66 c #Conflicts: 1096000 | #Constraints: 76499 2590.13/2599.66 c #Conflicts: 1097000 | #Constraints: 77499 2590.13/2599.66 c #Conflicts: 1098000 | #Constraints: 78499 2590.13/2599.66 c #Conflicts: 1099000 | #Constraints: 79499 2590.13/2599.66 c #Conflicts: 1100000 | #Constraints: 80499 2590.13/2599.66 c INPROCESSING 2590.13/2599.66 c GARBAGE COLLECT 2590.13/2599.66 c rational objective 51 2732.64/2742.76 c #Conflicts: 1101000 | #Constraints: 43120 2732.64/2742.76 c #Conflicts: 1102000 | #Constraints: 44120 2732.64/2742.76 c #Conflicts: 1103000 | #Constraints: 45120 2732.64/2742.76 c #Conflicts: 1104000 | #Constraints: 46120 2732.64/2742.76 c #Conflicts: 1105000 | #Constraints: 47120 2732.64/2742.76 c #Conflicts: 1106000 | #Constraints: 48120 2732.64/2742.76 c #Conflicts: 1107000 | #Constraints: 49120 2732.64/2742.76 c #Conflicts: 1108000 | #Constraints: 50120 2732.64/2742.76 c #Conflicts: 1109000 | #Constraints: 51120 2732.64/2742.76 c #Conflicts: 1110000 | #Constraints: 52120 2732.64/2742.76 c #Conflicts: 1111000 | #Constraints: 53120 2732.64/2742.76 c #Conflicts: 1112000 | #Constraints: 54120 2732.64/2742.76 c #Conflicts: 1113000 | #Constraints: 55120 2732.64/2742.76 c #Conflicts: 1114000 | #Constraints: 56120 2732.64/2742.76 c #Conflicts: 1115000 | #Constraints: 57120 2732.64/2742.76 c #Conflicts: 1116000 | #Constraints: 58120 2732.64/2742.76 c #Conflicts: 1117000 | #Constraints: 59120 2732.64/2742.76 c #Conflicts: 1118000 | #Constraints: 60120 2732.64/2742.76 c #Conflicts: 1119000 | #Constraints: 61120 2732.64/2742.76 c #Conflicts: 1120000 | #Constraints: 62120 2732.64/2742.76 c #Conflicts: 1121000 | #Constraints: 63120 2732.64/2742.76 c #Conflicts: 1122000 | #Constraints: 64120 2732.64/2742.76 c #Conflicts: 1123000 | #Constraints: 65120 2732.64/2742.76 c #Conflicts: 1124000 | #Constraints: 66120 2732.64/2742.76 c #Conflicts: 1125000 | #Constraints: 67120 2732.64/2742.76 c INPROCESSING 2732.64/2742.76 c GARBAGE COLLECT 2732.64/2742.76 c rational objective 51 3092.08/3103.76 c #Conflicts: 1126000 | #Constraints: 36380 3092.08/3103.76 c #Conflicts: 1127000 | #Constraints: 37380 3092.08/3103.76 c #Conflicts: 1128000 | #Constraints: 38380 3092.08/3103.76 c #Conflicts: 1129000 | #Constraints: 39380 3092.08/3103.76 c #Conflicts: 1130000 | #Constraints: 40380 3092.08/3103.76 c #Conflicts: 1131000 | #Constraints: 41380 3092.08/3103.76 c #Conflicts: 1132000 | #Constraints: 42380 3092.08/3103.76 c #Conflicts: 1133000 | #Constraints: 43380 3092.08/3103.76 c #Conflicts: 1134000 | #Constraints: 44380 3092.08/3103.76 c #Conflicts: 1135000 | #Constraints: 45380 3092.08/3103.76 c #Conflicts: 1136000 | #Constraints: 46380 3092.08/3103.76 c #Conflicts: 1137000 | #Constraints: 47380 3092.08/3103.76 c #Conflicts: 1138000 | #Constraints: 48380 3092.08/3103.76 c #Conflicts: 1139000 | #Constraints: 49380 3092.08/3103.76 c #Conflicts: 1140000 | #Constraints: 50380 3092.08/3103.76 c #Conflicts: 1141000 | #Constraints: 51380 3092.08/3103.76 c #Conflicts: 1142000 | #Constraints: 52380 3092.08/3103.76 c #Conflicts: 1143000 | #Constraints: 53380 3092.08/3103.76 c #Conflicts: 1144000 | #Constraints: 54380 3092.08/3103.76 c #Conflicts: 1145000 | #Constraints: 55380 3092.08/3103.76 c #Conflicts: 1146000 | #Constraints: 56380 3092.08/3103.76 c #Conflicts: 1147000 | #Constraints: 57380 3092.08/3103.76 c #Conflicts: 1148000 | #Constraints: 58380 3092.08/3103.76 c #Conflicts: 1149000 | #Constraints: 59380 3092.08/3103.76 c #Conflicts: 1150000 | #Constraints: 60380 3092.08/3103.76 c #Conflicts: 1151000 | #Constraints: 61380 3092.08/3103.76 c #Conflicts: 1152000 | #Constraints: 62380 3092.08/3103.76 c #Conflicts: 1153000 | #Constraints: 63380 3092.08/3103.76 c #Conflicts: 1154000 | #Constraints: 64380 3092.08/3103.76 c #Conflicts: 1155000 | #Constraints: 65380 3092.08/3103.76 c #Conflicts: 1156000 | #Constraints: 66380 3092.08/3103.76 c #Conflicts: 1157000 | #Constraints: 67380 3092.08/3103.76 c #Conflicts: 1158000 | #Constraints: 68380 3092.08/3103.76 c #Conflicts: 1159000 | #Constraints: 69380 3092.08/3103.76 c #Conflicts: 1160000 | #Constraints: 70380 3092.08/3103.76 c #Conflicts: 1161000 | #Constraints: 71380 3092.08/3103.76 c #Conflicts: 1162000 | #Constraints: 72380 3092.08/3103.76 c #Conflicts: 1163000 | #Constraints: 73380 3092.08/3103.76 c #Conflicts: 1164000 | #Constraints: 74380 3092.08/3103.76 c #Conflicts: 1165000 | #Constraints: 75380 3092.08/3103.76 c #Conflicts: 1166000 | #Constraints: 76380 3092.08/3103.76 c #Conflicts: 1167000 | #Constraints: 77380 3092.08/3103.76 c #Conflicts: 1168000 | #Constraints: 78380 3092.08/3103.76 c #Conflicts: 1169000 | #Constraints: 79380 3092.08/3103.76 c #Conflicts: 1170000 | #Constraints: 80380 3092.08/3103.76 c #Conflicts: 1171000 | #Constraints: 81380 3092.08/3103.76 c #Conflicts: 1172000 | #Constraints: 82380 3092.08/3103.76 c #Conflicts: 1173000 | #Constraints: 83380 3092.08/3103.76 c #Conflicts: 1174000 | #Constraints: 84380 3092.08/3103.76 c #Conflicts: 1175000 | #Constraints: 85380 3092.08/3103.76 c #Conflicts: 1176000 | #Constraints: 86380 3092.08/3103.76 c #Conflicts: 1177000 | #Constraints: 87380 3092.08/3103.76 c #Conflicts: 1178000 | #Constraints: 88380 3092.08/3103.76 c #Conflicts: 1179000 | #Constraints: 89380 3092.08/3103.76 c #Conflicts: 1180000 | #Constraints: 90380 3092.08/3103.76 c #Conflicts: 1181000 | #Constraints: 91380 3092.08/3103.76 c #Conflicts: 1182000 | #Constraints: 92380 3092.08/3103.76 c #Conflicts: 1183000 | #Constraints: 93380 3092.08/3103.76 c #Conflicts: 1184000 | #Constraints: 94380 3092.08/3103.76 c #Conflicts: 1185000 | #Constraints: 95380 3092.08/3103.76 c #Conflicts: 1186000 | #Constraints: 96380 3092.08/3103.76 c #Conflicts: 1187000 | #Constraints: 97380 3092.08/3103.76 c #Conflicts: 1188000 | #Constraints: 98380 3092.08/3103.76 c #Conflicts: 1189000 | #Constraints: 99380 3092.08/3103.76 c #Conflicts: 1190000 | #Constraints: 100380 3092.08/3103.76 c #Conflicts: 1191000 | #Constraints: 101380 3092.08/3103.76 c #Conflicts: 1192000 | #Constraints: 102380 3092.08/3103.76 c #Conflicts: 1193000 | #Constraints: 103380 3092.08/3103.76 c #Conflicts: 1194000 | #Constraints: 104380 3092.08/3103.76 c #Conflicts: 1195000 | #Constraints: 105380 3092.08/3103.76 c #Conflicts: 1196000 | #Constraints: 106380 3092.08/3103.76 c #Conflicts: 1197000 | #Constraints: 107380 3092.08/3103.76 c #Conflicts: 1198000 | #Constraints: 108380 3092.08/3103.76 c #Conflicts: 1199000 | #Constraints: 109380 3092.08/3103.76 c #Conflicts: 1200000 | #Constraints: 110380 3092.08/3103.76 c #Conflicts: 1201000 | #Constraints: 111380 3092.08/3103.76 c #Conflicts: 1202000 | #Constraints: 112380 3092.08/3103.76 c #Conflicts: 1203000 | #Constraints: 113380 3092.08/3103.76 c INPROCESSING 3092.08/3103.76 c GARBAGE COLLECT 3092.08/3103.76 c rational objective 51 3232.71/3244.93 c #Conflicts: 1204000 | #Constraints: 59347 3232.71/3244.93 c #Conflicts: 1205000 | #Constraints: 60347 3232.71/3244.93 c #Conflicts: 1206000 | #Constraints: 61347 3232.71/3244.93 c #Conflicts: 1207000 | #Constraints: 62347 3232.71/3244.93 c #Conflicts: 1208000 | #Constraints: 63347 3232.71/3244.93 c #Conflicts: 1209000 | #Constraints: 64347 3232.71/3244.93 c #Conflicts: 1210000 | #Constraints: 65347 3232.71/3244.93 c #Conflicts: 1211000 | #Constraints: 66347 3232.71/3244.93 c #Conflicts: 1212000 | #Constraints: 67347 3232.71/3244.93 c #Conflicts: 1213000 | #Constraints: 68347 3232.71/3244.93 c #Conflicts: 1214000 | #Constraints: 69347 3232.71/3244.93 c #Conflicts: 1215000 | #Constraints: 70347 3232.71/3244.93 c #Conflicts: 1216000 | #Constraints: 71347 3232.71/3244.93 c #Conflicts: 1217000 | #Constraints: 72347 3232.71/3244.93 c #Conflicts: 1218000 | #Constraints: 73347 3232.71/3244.93 c #Conflicts: 1219000 | #Constraints: 74347 3232.71/3244.93 c #Conflicts: 1220000 | #Constraints: 75347 3232.71/3244.93 c #Conflicts: 1221000 | #Constraints: 76347 3232.71/3244.93 c #Conflicts: 1222000 | #Constraints: 77347 3232.71/3244.93 c #Conflicts: 1223000 | #Constraints: 78347 3232.71/3244.93 c #Conflicts: 1224000 | #Constraints: 79347 3232.71/3244.93 c #Conflicts: 1225000 | #Constraints: 80347 3232.71/3244.93 c #Conflicts: 1226000 | #Constraints: 81347 3232.71/3244.93 c #Conflicts: 1227000 | #Constraints: 82347 3232.71/3244.93 c #Conflicts: 1228000 | #Constraints: 83347 3232.71/3244.93 c #Conflicts: 1229000 | #Constraints: 84347 3232.71/3244.93 c #Conflicts: 1230000 | #Constraints: 85347 3232.71/3244.93 c INPROCESSING 3232.71/3244.93 c GARBAGE COLLECT 3232.71/3244.93 c rational objective 51 3373.52/3386.31 c #Conflicts: 1231000 | #Constraints: 45594 3373.52/3386.31 c #Conflicts: 1232000 | #Constraints: 46594 3373.52/3386.31 c #Conflicts: 1233000 | #Constraints: 47594 3373.52/3386.31 c #Conflicts: 1234000 | #Constraints: 48594 3373.52/3386.31 c #Conflicts: 1235000 | #Constraints: 49594 3373.52/3386.31 c #Conflicts: 1236000 | #Constraints: 50594 3373.52/3386.31 c #Conflicts: 1237000 | #Constraints: 51594 3373.52/3386.31 c #Conflicts: 1238000 | #Constraints: 52594 3373.52/3386.31 c #Conflicts: 1239000 | #Constraints: 53594 3373.52/3386.31 c #Conflicts: 1240000 | #Constraints: 54594 3373.52/3386.31 c #Conflicts: 1241000 | #Constraints: 55594 3373.52/3386.31 c #Conflicts: 1242000 | #Constraints: 56594 3373.52/3386.31 c #Conflicts: 1243000 | #Constraints: 57594 3373.52/3386.31 c #Conflicts: 1244000 | #Constraints: 58594 3373.52/3386.31 c #Conflicts: 1245000 | #Constraints: 59594 3373.52/3386.31 c #Conflicts: 1246000 | #Constraints: 60594 3373.52/3386.31 c #Conflicts: 1247000 | #Constraints: 61594 3373.52/3386.31 c #Conflicts: 1248000 | #Constraints: 62594 3373.52/3386.31 c #Conflicts: 1249000 | #Constraints: 63594 3373.52/3386.31 c #Conflicts: 1250000 | #Constraints: 64594 3373.52/3386.31 c #Conflicts: 1251000 | #Constraints: 65594 3373.52/3386.31 c #Conflicts: 1252000 | #Constraints: 66594 3373.52/3386.31 c #Conflicts: 1253000 | #Constraints: 67594 3373.52/3386.31 c #Conflicts: 1254000 | #Constraints: 68594 3373.52/3386.31 c #Conflicts: 1255000 | #Constraints: 69594 3373.52/3386.31 c #Conflicts: 1256000 | #Constraints: 70594 3373.52/3386.31 c INPROCESSING 3373.52/3386.31 c GARBAGE COLLECT 3373.52/3386.31 c rational objective 51 3600.01/3613.60 c #Conflicts: 1257000 | #Constraints: 37918 3600.01/3613.60 c #Conflicts: 1258000 | #Constraints: 38918 3600.01/3613.60 c #Conflicts: 1259000 | #Constraints: 39918 3600.01/3613.60 c #Conflicts: 1260000 | #Constraints: 40918 3600.01/3613.60 c #Conflicts: 1261000 | #Constraints: 41918 3600.01/3613.60 c #Conflicts: 1262000 | #Constraints: 42918 3600.01/3613.60 c #Conflicts: 1263000 | #Constraints: 43918 3600.01/3613.60 c #Conflicts: 1264000 | #Constraints: 44918 3600.01/3613.60 c #Conflicts: 1265000 | #Constraints: 45918 3600.01/3613.60 c #Conflicts: 1266000 | #Constraints: 46918 3600.01/3613.60 c #Conflicts: 1267000 | #Constraints: 47918 3600.01/3613.60 c #Conflicts: 1268000 | #Constraints: 48918 3600.01/3613.60 c #Conflicts: 1269000 | #Constraints: 49918 3600.01/3613.60 c #Conflicts: 1270000 | #Constraints: 50918 3600.01/3613.60 c #Conflicts: 1271000 | #Constraints: 51918 3600.01/3613.60 c #Conflicts: 1272000 | #Constraints: 52918 3600.01/3613.60 c #Conflicts: 1273000 | #Constraints: 53918 3600.01/3613.60 c #Conflicts: 1274000 | #Constraints: 54918 3600.01/3613.60 c #Conflicts: 1275000 | #Constraints: 55918 3600.01/3613.60 c #Conflicts: 1276000 | #Constraints: 56918 3600.01/3613.60 c #Conflicts: 1277000 | #Constraints: 57918 3600.01/3613.60 c #Conflicts: 1278000 | #Constraints: 58918 3600.01/3613.60 c #Conflicts: 1279000 | #Constraints: 59918 3600.01/3613.60 c #Conflicts: 1280000 | #Constraints: 60918 3600.01/3613.60 c #Conflicts: 1281000 | #Constraints: 61918 3600.01/3613.60 c #Conflicts: 1282000 | #Constraints: 62918 3600.01/3613.60 c #Conflicts: 1283000 | #Constraints: 63918 3600.01/3613.60 c #Conflicts: 1284000 | #Constraints: 64918 3600.01/3613.60 c #Conflicts: 1285000 | #Constraints: 65918 3600.01/3613.60 c #Conflicts: 1286000 | #Constraints: 66918 3600.01/3613.60 c #Conflicts: 1287000 | #Constraints: 67918 3600.01/3613.60 c #Conflicts: 1288000 | #Constraints: 68918 3600.01/3613.60 c #Conflicts: 1289000 | #Constraints: 69918 3600.01/3613.60 c #Conflicts: 1290000 | #Constraints: 70918 3600.01/3613.60 c #Conflicts: 1291000 | #Constraints: 71918 3600.01/3613.60 c #Conflicts: 1292000 | #Constraints: 72918 3600.01/3613.60 c #Conflicts: 1293000 | #Constraints: 73918 3600.01/3613.60 c #Conflicts: 1294000 | #Constraints: 74918 3600.01/3613.60 c #Conflicts: 1295000 | #Constraints: 75918 3600.01/3613.60 c #Conflicts: 1296000 | #Constraints: 76918 3600.01/3613.60 c #Conflicts: 1297000 | #Constraints: 77918 3600.01/3613.60 c #Conflicts: 1298000 | #Constraints: 78918 3600.01/3613.60 c #Conflicts: 1299000 | #Constraints: 79918 3600.01/3613.60 c #Conflicts: 1300000 | #Constraints: 80918 3600.01/3613.60 c #Conflicts: 1301000 | #Constraints: 81918 3600.01/3613.60 c #Conflicts: 1302000 | #Constraints: 82918 3600.01/3613.60 c Program interrupted by user. 3600.01/3613.60 c cpu time 3581.02 s 3600.01/3613.60 c deterministic time 405304766239 4.05e+11 3600.01/3613.60 c optimization time 225.572 s 3600.01/3613.60 c total solve time 3355.42 s 3600.01/3613.60 c core-guided solve time 1679.64 s 3600.01/3613.60 c propagation time 3359.92 s 3600.01/3613.60 c conflict analysis time 200.399 s 3600.01/3613.60 c propagations 361571662 3600.01/3613.60 c resolve steps 6466555 3600.01/3613.60 c decisions 4717714 3600.01/3613.60 c conflicts 1302722 3600.01/3613.60 c restarts 2530 3600.01/3613.60 c inprocessing phases 61 3600.01/3613.60 c input clauses 103 3600.01/3613.60 c input cardinalities 44 3600.01/3613.60 c input general constraints 3640 3600.01/3613.60 c input average constraint length 27.07 3600.01/3613.60 c input average constraint degree 430.46 3600.01/3613.60 c learned clauses 441075 3600.01/3613.60 c learned cardinalities 2 3600.01/3613.60 c learned general constraints 861645 3600.01/3613.60 c learned average constraint length 41.52 3600.01/3613.60 c learned average constraint degree 2041505.09 3600.01/3613.60 c watched constraints 863846 3600.01/3613.60 c counting constraints 1439 3600.01/3613.60 c gcd simplifications 11738 3600.01/3613.60 c detected cardinalities 2 3600.01/3613.60 c weakened non-implied lits 3771277 3600.01/3613.60 c weakened non-implying lits 4825 3600.01/3613.60 c original variables 1812 3600.01/3613.60 c clausal propagations 2557183 3600.01/3613.60 c cardinality propagations 55734 3600.01/3613.60 c watched propagations 349258978 3600.01/3613.60 c counting propagations 8962494 3600.01/3613.60 c watch lookups 70644096834 3600.01/3613.60 c watch backjump lookups 62399947308 3600.01/3613.60 c watch checks 187358591228 3600.01/3613.60 c propagation checks 83940134383 3600.01/3613.60 c constraint additions 226802097 3600.01/3613.60 c trail pops 367591299 3600.01/3613.60 c formula constraints 3443 3600.01/3613.60 c learned constraints 1302720 3600.01/3613.60 c bound constraints 58 3600.01/3613.60 c core-guided constraints 286 3600.01/3613.60 c encountered formula constraints 4741359 3600.01/3613.60 c encountered learned constraints 3019023 3600.01/3613.60 c encountered bound constraints 7090 3600.01/3613.60 c encountered core-guided constraints 1803 3600.01/3613.60 c LP total time 46.3512 s 3600.01/3613.60 c LP solve time 43.09 s 3600.01/3613.60 c LP constraints added 3678 3600.01/3613.60 c LP constraints removed 232 3600.01/3613.60 c LP pivots internal 1302782 3600.01/3613.60 c LP pivots root 10931 3600.01/3613.60 c LP calls 8858 3600.01/3613.60 c LP optimalities 8856 3600.01/3613.60 c LP no pivot count 1317 3600.01/3613.60 c LP infeasibilities 1 3600.01/3613.60 c LP valid Farkas constraints 1 3600.01/3613.60 c LP learned Farkas constraints 1 3600.01/3613.60 c LP basis resets 0 3600.01/3613.60 c LP cycling count 0 3600.01/3613.60 c LP singular count 0 3600.01/3613.60 c LP no primal count 0 3600.01/3613.60 c LP no farkas count 0 3600.01/3613.60 c LP other issue count 0 3600.01/3613.60 c LP Gomory cuts 0 3600.01/3613.60 c LP learned cuts 235 3600.01/3613.60 c LP deleted cuts 232 3600.01/3613.60 c LP encountered Gomory constraints 0 3600.01/3613.60 c LP encountered Farkas constraints 0 3600.01/3613.60 c LP encountered learned Farkas constraints 1 3600.01/3613.60 c CG auxiliary variables introduced 110 3600.01/3613.60 c CG solutions found 14 3600.01/3613.60 c CG cores constructed 44 3600.01/3613.60 c CG core cardinality constraints returned 0 3600.01/3613.60 c CG unit cores 0 3600.01/3613.60 c CG single cores 44 3600.01/3613.60 c CG blocks removed during cardinality reduction 2 3600.01/3613.60 c CG first core best 0 3600.01/3613.60 c CG decision core best 0 3600.01/3613.60 c CG core reduction tie 0 3600.01/3613.60 c CG core degree average 1.00 3600.01/3613.60 c CG core slack average 3.20 3600.01/3613.60 s SATISFIABLE 3600.01/3613.60 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 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 x546 -x547 x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 -x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 -x706 x707 x708 x709 x710 -x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 -x728 -x729 x730 x731 x732 x733 x734 x735 -x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 -x749 -x750 -x751 x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 -x778 x779 x780 x781 x782 x783 x784 -x785 -x786 x787 x788 x789 x790 x791 -x792 -x793 x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 -x838 -x839 x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 -x868 -x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 x899 x900 x901 x902 x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 x960 x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 -x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 -x1041 -x1042 x1043 x1044 x1045 x1046 x1047 x1048 -x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 -x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 x1078 x1079 x1080 x1081 x1082 x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 -x1091 -x1092 x1093 x1094 x1095 x1096 x1097 -x1098 -x1099 x1100 x1101 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 x1159 x1160 x1161 x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 x1194 x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 x1277 x1278 x1279 x1280 -x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 x1312 x1313 x1314 x1315 -x1316 x1317 x1318 x1319 x1320 x1321 x1322 -x1323 x1324 x1325 x1326 x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 x1346 x1347 x1348 x1349 -x1350 x1351 x1352 x1353 x1354 x1355 -x1356 -x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 -x1490 x1491 x1492 x1493 x1494 -x1495 x1496 x1497 x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 -x1517 -x1518 x1519 x1520 x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 x1534 x1535 x1536 -x1537 -x1538 x1539 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 x1559 x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 -x1632 x1633 x1634 x1635 x1636 -x1637 x1638 x1639 x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 x1765 x1766 -x1767 x1768 x1769 x1770 x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 x1795 x1796 x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812
OK 97
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 (61290 MiB free)
memory of node 1: 64473 MiB (62379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460197-1722064839/watcher-4460197-1722064839 -o /tmp/evaluation-result-4460197-1722064839/solver-4460197-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372811 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460197-1722064839 --lp-cut-gomory=0 HOME/instance-4460197-1722064839.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=373017, runsolver pid=373013
[startup+0.100099 s]*
/proc/loadavg: 0.41 0.16 0.11 4/261 373030
/proc/meminfo: memFree=126613212/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=50864 memory=23592 CPUtime=0.1 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 5564 0 0 0 9 1 0 0 20 0 1 0 43007865 52084736 5898 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 12716 5898 1800 992 0 4574 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 23592 KiB
[startup+0.205741 s]*
/proc/loadavg: 0.41 0.16 0.11 4/258 373038
/proc/meminfo: memFree=126614180/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=50864 memory=23592 CPUtime=0.2 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 5564 0 0 0 19 1 0 0 20 0 1 0 43007865 52084736 5898 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 12716 5898 1800 992 0 4574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 23592 KiB
[startup+0.305721 s]*
/proc/loadavg: 0.41 0.16 0.11 5/258 373038
/proc/meminfo: memFree=126612264/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=50864 memory=23592 CPUtime=0.3 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 5564 0 0 0 28 2 0 0 20 0 1 0 43007865 52084736 5898 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 12716 5898 1800 992 0 4574 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 23592 KiB
[startup+0.700225 s]
/proc/loadavg: 0.41 0.16 0.11 4/260 373044
/proc/meminfo: memFree=126608212/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=52756 memory=24032 CPUtime=0.68 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 5656 0 0 0 65 3 0 0 20 0 1 0 43007865 54022144 6008 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 13189 6008 1847 992 0 5047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52756 KiB
Current children cumulated memory: 24032 KiB
[startup+1.50022 s]
/proc/loadavg: 0.41 0.16 0.11 7/259 373113
/proc/meminfo: memFree=126577048/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=55052 memory=27832 CPUtime=1.49 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 7536 0 0 0 143 6 0 0 20 0 1 0 43007865 56373248 6958 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 13763 6958 1847 992 0 5621 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55052 KiB
Current children cumulated memory: 27832 KiB
[startup+3.10546 s]
/proc/loadavg: 0.70 0.23 0.13 5/263 373124
/proc/meminfo: memFree=126105644/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=55052 memory=27832 CPUtime=3.09 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 7538 0 0 0 298 11 0 0 20 0 1 0 43007865 56373248 6958 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 13763 6958 1847 992 0 5621 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55052 KiB
Current children cumulated memory: 27832 KiB
[startup+6.30021 s]
/proc/loadavg: 0.70 0.23 0.13 5/263 373124
/proc/meminfo: memFree=125914488/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=55052 memory=28320 CPUtime=6.27 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 7554 0 0 0 608 19 0 0 20 0 1 0 43007865 56373248 7080 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 13763 7080 1911 992 0 5621 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55052 KiB
Current children cumulated memory: 28320 KiB
[startup+12.7002 s]
/proc/loadavg: 0.96 0.29 0.15 5/263 373126
/proc/meminfo: memFree=125627920/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=56328 memory=29840 CPUtime=12.64 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 7999 0 0 0 1230 34 0 0 20 0 1 0 43007865 57679872 7460 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 14082 7460 1911 992 0 5940 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56328 KiB
Current children cumulated memory: 29840 KiB
[startup+25.5002 s]
/proc/loadavg: 1.86 0.52 0.23 5/263 373174
/proc/meminfo: memFree=125030228/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=63152 memory=37124 CPUtime=25.4 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 9263 0 0 0 2486 54 0 0 20 0 1 0 43007865 64667648 9281 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 15788 9281 1911 992 0 7646 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 63152 KiB
Current children cumulated memory: 37124 KiB
[startup+51.1058 s]
/proc/loadavg: 2.91 0.88 0.36 5/266 373182
/proc/meminfo: memFree=123329192/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=72864 memory=41980 CPUtime=50.84 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 10571 0 0 0 4985 99 0 0 20 0 1 0 43007865 74612736 10495 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 18216 10495 1911 992 0 10074 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 72864 KiB
Current children cumulated memory: 41980 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 1.40 0.56 5/266 373191
/proc/meminfo: memFree=121438528/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=73664 memory=45596 CPUtime=101.81 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 10966 0 0 0 10011 170 0 0 20 0 1 0 43007865 75431936 11399 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 18416 11399 1911 992 0 10274 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 73664 KiB
Current children cumulated memory: 45596 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 1.90 0.79 5/266 373202
/proc/meminfo: memFree=119828696/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=87100 memory=52532 CPUtime=161.55 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 12734 0 0 0 15916 239 0 0 20 0 1 0 43007865 89190400 13133 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 21775 13133 1911 992 0 13633 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 87100 KiB
Current children cumulated memory: 52532 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 2.36 1.02 5/266 373213
/proc/meminfo: memFree=118034508/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=87720 memory=57664 CPUtime=221.31 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 12969 0 0 0 21833 298 0 0 20 0 1 0 43007865 89825280 14416 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 21930 14416 1911 992 0 13788 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 87720 KiB
Current children cumulated memory: 57664 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 2.69 1.22 5/266 373607
/proc/meminfo: memFree=117020880/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=89888 memory=59172 CPUtime=281.03 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 13409 0 0 0 27749 354 0 0 20 0 1 0 43007865 92045312 14793 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 22472 14793 1911 992 0 14330 0
Current children cumulated CPU time: 281.03 s
Current children cumulated vsize: 89888 KiB
Current children cumulated memory: 59172 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 2.98 1.41 5/262 373620
/proc/meminfo: memFree=115688184/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=92328 memory=63008 CPUtime=340.77 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 14337 0 0 0 33675 402 0 0 20 0 1 0 43007865 94543872 15752 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 23082 15752 1911 992 0 14940 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 92328 KiB
Current children cumulated memory: 63008 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.17 1.58 5/262 373632
/proc/meminfo: memFree=114009920/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=92588 memory=63268 CPUtime=400.53 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 14406 0 0 0 39600 453 0 0 20 0 1 0 43007865 94810112 15817 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 23147 15817 1911 992 0 15005 0
Current children cumulated CPU time: 400.53 s
Current children cumulated vsize: 92588 KiB
Current children cumulated memory: 63268 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 3.38 1.75 5/262 373642
/proc/meminfo: memFree=112818256/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=93344 memory=65152 CPUtime=460.32 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 14900 0 0 0 45544 488 0 0 20 0 1 0 43007865 95584256 16288 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 23336 16288 1927 992 0 15194 0
################
# More data... #
################
Current children cumulated memory: 109948 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.17 4.01 5/264 375089
/proc/meminfo: memFree=86311604/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=149340 memory=109948 CPUtime=2851.68 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 21779 0 0 0 283546 1622 0 0 20 0 1 0 43007865 152924160 27487 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37335 27487 1927 992 0 29193 0
Current children cumulated CPU time: 2851.68 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 109948 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.01 5/264 375099
/proc/meminfo: memFree=83701520/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=149340 memory=109948 CPUtime=2911.42 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 21805 0 0 0 289498 1644 0 0 20 0 1 0 43007865 152924160 27487 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37335 27487 1927 992 0 29193 0
Current children cumulated CPU time: 2911.42 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 109948 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.01 5/267 375117
/proc/meminfo: memFree=82680956/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=149340 memory=109948 CPUtime=2971.17 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 21835 0 0 0 295452 1665 0 0 20 0 1 0 43007865 152924160 27487 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37335 27487 1927 992 0 29193 0
Current children cumulated CPU time: 2971.17 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 109948 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.02 5/267 375127
/proc/meminfo: memFree=80990236/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=149340 memory=110048 CPUtime=3030.92 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 21894 0 0 0 301408 1684 0 0 20 0 1 0 43007865 152924160 27512 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37335 27512 1927 992 0 29193 0
Current children cumulated CPU time: 3030.92 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 110048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.02 5/265 375138
/proc/meminfo: memFree=79710900/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=149340 memory=110140 CPUtime=3090.68 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 21946 0 0 0 307368 1700 0 0 20 0 1 0 43007865 152924160 27535 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37335 27535 1927 992 0 29193 0
Current children cumulated CPU time: 3090.68 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 110140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.02 5/265 375149
/proc/meminfo: memFree=78464412/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=111716 CPUtime=3150.46 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22391 0 0 0 313321 1725 0 0 20 0 1 0 43007865 154828800 27929 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 27929 1927 992 0 29658 0
Current children cumulated CPU time: 3150.46 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 111716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/261 375189
/proc/meminfo: memFree=78317044/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=111848 CPUtime=3210.21 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22417 0 0 0 319273 1748 0 0 20 0 1 0 43007865 154828800 27962 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 27962 1927 992 0 29658 0
Current children cumulated CPU time: 3210.21 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 111848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/265 375203
/proc/meminfo: memFree=76489960/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3269.97 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22490 0 0 0 325225 1772 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3269.97 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.20 4.06 5/261 375213
/proc/meminfo: memFree=73959420/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3329.72 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22516 0 0 0 331176 1796 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3329.72 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.19 4.06 5/261 375226
/proc/meminfo: memFree=71878768/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3389.47 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22542 0 0 0 337125 1822 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3389.47 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.06 5/260 375237
/proc/meminfo: memFree=70146996/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3449.24 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22568 0 0 0 343074 1850 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3449.24 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/261 375248
/proc/meminfo: memFree=68623980/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3509.01 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22594 0 0 0 349027 1874 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3509.01 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.07 5/260 375264
/proc/meminfo: memFree=66296136/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3568.81 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22620 0 0 0 354990 1891 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3568.81 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.16 4.15 4.07 5/260 375269
/proc/meminfo: memFree=65068916/131524600 swapFree=131056796/131071996
[pid=373017] ppid=373013 vsize=151200 memory=112036 CPUtime=3600.01 cores=0,2
/proc/373017/stat : 373017 (roundingsat) R 373013 373017 372801 0 -1 4194304 22620 0 0 0 358102 1899 0 0 20 0 1 0 43007865 154828800 28009 134679101440 4194304 8254357 140723180953680 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 34582528 140723180962651 140723180962913 140723180962913 140723180969929 0
/proc/373017/statm: 37800 28009 1927 992 0 29658 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 151200 KiB
Current children cumulated memory: 112036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.66 s]
# the end of solver process 373017 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.03 s, system=18.9911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.66
CPU time (s): 3600.02
CPU user time (s): 3581.03
CPU system time (s): 18.9911
CPU usage (%): 99.6225
Max. virtual memory (cumulated for all children) (KiB): 151200
Max. memory (cumulated for all children) (KiB): 112036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.03
system time used= 18.9911
maximum resident set size= 112036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1505640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 25524
# summary of solver processes directly reported to runsolver:
# pid: 373017
# total CPU time (s): 3600.02
# total CPU user time (s): 3581.03
# total CPU system time (s): 18.9911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19436 second user time and 16.4375 second system time
The end
Begin job on nodeC030 at 2024-07-27 09:20:39 IDJOB=4460197 IDBENCH=147622 IDSOLVER=3086 FILE ID=nodeC030/4460197-1722064839 RUNJOBID= nodeC030-1722064836-372811 SLURM_JOB_ID= 8248098 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.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-4460197-1722064839/watcher-4460197-1722064839 -o /tmp/evaluation-result-4460197-1722064839/solver-4460197-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722064836-372811 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460197-1722064839 --lp-cut-gomory=0 HOME/instance-4460197-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c RANDOM SEED=1859590444 nodeC030.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 : 3655.396 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.45 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 : 3061.011 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.46 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 : 3647.881 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.45 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 : 3077.937 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.46 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 : 3684.330 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.45 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 : 3669.917 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.46 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 : 3649.908 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.45 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 : 3661.197 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126638508 kB MemAvailable: 129496200 kB Buffers: 357580 kB Cached: 3291020 kB SwapCached: 212 kB Active: 2683176 kB Inactive: 1521444 kB Active(anon): 2236 kB Inactive(anon): 606108 kB Active(file): 2680940 kB Inactive(file): 915336 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056796 kB Dirty: 43220 kB Writeback: 0 kB AnonPages: 552016 kB Mapped: 116696 kB Shmem: 52912 kB KReclaimable: 202476 kB Slab: 325196 kB SReclaimable: 202476 kB SUnreclaim: 122720 kB KernelStack: 4136 kB PageTables: 10100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1023440 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18176 kB HardwareCorrupted: 0 kB AnonHugePages: 325632 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: 344788 kB DirectMap2M: 39274496 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890052 MiB End job on nodeC030 at 2024-07-27 10:20:53