| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.06 | 3612.61 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb |
| MD5SUM | ad731be7af81a11cebcddac40b738f1a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.61995 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2688 |
| Total number of constraints | 1408 |
| 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 | 1408 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 84 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2199023255552 |
| Number of bits of the biggest number in a constraint | 42 |
| Biggest sum of numbers in a constraint | 8796093022207 |
| Number of bits of the biggest sum of numbers | 43 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 2688 #constraints 2815 0.00/0.01 c rational objective 4.54747e-13 0.20/0.24 c #Conflicts: 1000 | #Constraints: 3815 0.20/0.24 c #Conflicts: 2000 | #Constraints: 4816 0.20/0.24 c INPROCESSING 0.20/0.24 c GARBAGE COLLECT 0.20/0.24 c rational objective 5 0.50/0.54 c #Conflicts: 3000 | #Constraints: 4862 0.50/0.54 c #Conflicts: 4000 | #Constraints: 5864 0.50/0.54 c INPROCESSING 0.50/0.54 c GARBAGE COLLECT 0.50/0.54 c rational objective 5 1.99/2.02 c #Conflicts: 5000 | #Constraints: 5310 1.99/2.02 c #Conflicts: 6000 | #Constraints: 6313 1.99/2.02 c INPROCESSING 1.99/2.02 c GARBAGE COLLECT 1.99/2.02 c #Conflicts: 7000 | #Constraints: 5352 1.99/2.02 c #Conflicts: 8000 | #Constraints: 6352 1.99/2.02 c #Conflicts: 9000 | #Constraints: 7353 1.99/2.02 c INPROCESSING 1.99/2.02 c GARBAGE COLLECT 1.99/2.02 c rational objective 5.00292 2.28/2.37 c #Conflicts: 10000 | #Constraints: 6080 2.28/2.37 c #Conflicts: 11000 | #Constraints: 7080 2.28/2.37 c #Conflicts: 12000 | #Constraints: 8080 2.28/2.37 c INPROCESSING 2.28/2.37 c GARBAGE COLLECT 2.28/2.37 c rational objective 5.15608 5.47/5.59 c #Conflicts: 13000 | #Constraints: 6538 5.47/5.59 c #Conflicts: 14000 | #Constraints: 7538 5.47/5.59 c #Conflicts: 15000 | #Constraints: 8539 5.47/5.59 c INPROCESSING 5.47/5.59 c GARBAGE COLLECT 5.47/5.59 c #Conflicts: 16000 | #Constraints: 6788 5.47/5.59 c #Conflicts: 17000 | #Constraints: 7788 5.47/5.59 c #Conflicts: 18000 | #Constraints: 8788 5.47/5.59 c INPROCESSING 5.47/5.59 c GARBAGE COLLECT 5.47/5.59 c rational objective 5.36018 14.95/15.09 c #Conflicts: 19000 | #Constraints: 6818 14.95/15.09 c #Conflicts: 20000 | #Constraints: 7818 14.95/15.09 c #Conflicts: 21000 | #Constraints: 8819 14.95/15.09 c INPROCESSING 14.95/15.09 c GARBAGE COLLECT 14.95/15.09 c #Conflicts: 22000 | #Constraints: 6642 14.95/15.09 c #Conflicts: 23000 | #Constraints: 7642 14.95/15.09 c #Conflicts: 24000 | #Constraints: 8643 14.95/15.09 c #Conflicts: 25000 | #Constraints: 9643 14.95/15.09 c INPROCESSING 14.95/15.09 c GARBAGE COLLECT 14.95/15.09 c #Conflicts: 26000 | #Constraints: 7266 14.95/15.09 c #Conflicts: 27000 | #Constraints: 8272 14.95/15.09 c #Conflicts: 28000 | #Constraints: 9273 14.95/15.09 c #Conflicts: 29000 | #Constraints: 10275 14.95/15.09 c INPROCESSING 14.95/15.09 c GARBAGE COLLECT 14.95/15.09 c #Conflicts: 30000 | #Constraints: 7672 14.95/15.09 c #Conflicts: 31000 | #Constraints: 8672 14.95/15.09 c #Conflicts: 32000 | #Constraints: 9673 14.95/15.09 c #Conflicts: 33000 | #Constraints: 10674 14.95/15.09 c INPROCESSING 14.95/15.09 c GARBAGE COLLECT 14.95/15.09 c #Conflicts: 34000 | #Constraints: 7880 14.95/15.09 c #Conflicts: 35000 | #Constraints: 8880 14.95/15.09 c #Conflicts: 36000 | #Constraints: 9880 14.95/15.09 c #Conflicts: 37000 | #Constraints: 10881 14.95/15.09 c INPROCESSING 14.95/15.09 c GARBAGE COLLECT 14.95/15.09 c rational objective 5.8842 19.13/19.25 c #Conflicts: 38000 | #Constraints: 7885 19.13/19.25 c #Conflicts: 39000 | #Constraints: 8885 19.13/19.25 c #Conflicts: 40000 | #Constraints: 9885 19.13/19.25 c #Conflicts: 41000 | #Constraints: 10885 19.13/19.25 c INPROCESSING 19.13/19.25 c GARBAGE COLLECT 19.13/19.25 c #Conflicts: 42000 | #Constraints: 7689 19.13/19.25 c #Conflicts: 43000 | #Constraints: 8691 19.13/19.25 c #Conflicts: 44000 | #Constraints: 9691 19.13/19.25 c #Conflicts: 45000 | #Constraints: 10691 19.13/19.25 c #Conflicts: 46000 | #Constraints: 11692 19.13/19.25 c INPROCESSING 19.13/19.25 c GARBAGE COLLECT 19.13/19.25 c #Conflicts: 47000 | #Constraints: 8290 19.13/19.25 c #Conflicts: 48000 | #Constraints: 9290 19.13/19.25 c #Conflicts: 49000 | #Constraints: 10290 19.13/19.25 c #Conflicts: 50000 | #Constraints: 11290 19.13/19.25 c #Conflicts: 51000 | #Constraints: 12290 19.13/19.25 c INPROCESSING 19.13/19.25 c GARBAGE COLLECT 19.13/19.25 c rational objective 5.99959 23.31/23.49 c #Conflicts: 52000 | #Constraints: 8710 23.31/23.49 c #Conflicts: 53000 | #Constraints: 9711 23.31/23.49 c #Conflicts: 54000 | #Constraints: 10712 23.31/23.49 c #Conflicts: 55000 | #Constraints: 11713 23.31/23.49 c #Conflicts: 56000 | #Constraints: 12714 23.31/23.49 c INPROCESSING 23.31/23.49 c GARBAGE COLLECT 23.31/23.49 c #Conflicts: 57000 | #Constraints: 8921 23.31/23.49 c #Conflicts: 58000 | #Constraints: 9921 23.31/23.49 c #Conflicts: 59000 | #Constraints: 10921 23.31/23.49 c #Conflicts: 60000 | #Constraints: 11921 23.31/23.49 c #Conflicts: 61000 | #Constraints: 12921 23.31/23.49 c INPROCESSING 23.31/23.49 c GARBAGE COLLECT 23.31/23.49 c rational objective 5.99961 27.70/27.88 c #Conflicts: 62000 | #Constraints: 8920 27.70/27.88 c #Conflicts: 63000 | #Constraints: 9920 27.70/27.88 c #Conflicts: 64000 | #Constraints: 10921 27.70/27.88 c #Conflicts: 65000 | #Constraints: 11922 27.70/27.88 c #Conflicts: 66000 | #Constraints: 12923 27.70/27.88 c INPROCESSING 27.70/27.88 c GARBAGE COLLECT 27.70/27.88 c #Conflicts: 67000 | #Constraints: 8713 27.70/27.88 c #Conflicts: 68000 | #Constraints: 9713 27.70/27.88 c #Conflicts: 69000 | #Constraints: 10713 27.70/27.88 c #Conflicts: 70000 | #Constraints: 11714 27.70/27.88 c #Conflicts: 71000 | #Constraints: 12715 27.70/27.88 c #Conflicts: 72000 | #Constraints: 13715 27.70/27.88 c INPROCESSING 27.70/27.88 c GARBAGE COLLECT 27.70/27.88 c rational objective 7.0376 35.98/36.11 c #Conflicts: 73000 | #Constraints: 9324 35.98/36.11 c #Conflicts: 74000 | #Constraints: 10324 35.98/36.11 c #Conflicts: 75000 | #Constraints: 11325 35.98/36.11 c #Conflicts: 76000 | #Constraints: 12326 35.98/36.11 c #Conflicts: 77000 | #Constraints: 13327 35.98/36.11 c #Conflicts: 78000 | #Constraints: 14329 35.98/36.11 c INPROCESSING 35.98/36.11 c GARBAGE COLLECT 35.98/36.11 c #Conflicts: 79000 | #Constraints: 9746 35.98/36.11 c #Conflicts: 80000 | #Constraints: 10749 35.98/36.11 c #Conflicts: 81000 | #Constraints: 11749 35.98/36.11 c #Conflicts: 82000 | #Constraints: 12749 35.98/36.11 c #Conflicts: 83000 | #Constraints: 13751 35.98/36.11 c #Conflicts: 84000 | #Constraints: 14751 35.98/36.11 c INPROCESSING 35.98/36.11 c GARBAGE COLLECT 35.98/36.11 c #Conflicts: 85000 | #Constraints: 9957 35.98/36.11 c #Conflicts: 86000 | #Constraints: 10957 35.98/36.11 c #Conflicts: 87000 | #Constraints: 11957 35.98/36.11 c #Conflicts: 88000 | #Constraints: 12959 35.98/36.11 c #Conflicts: 89000 | #Constraints: 13963 35.98/36.11 c #Conflicts: 90000 | #Constraints: 14964 35.98/36.11 c INPROCESSING 35.98/36.11 c GARBAGE COLLECT 35.98/36.11 c rational objective 7.03793 46.35/46.60 c #Conflicts: 91000 | #Constraints: 9942 46.35/46.60 c #Conflicts: 92000 | #Constraints: 10942 46.35/46.60 c #Conflicts: 93000 | #Constraints: 11942 46.35/46.60 c #Conflicts: 94000 | #Constraints: 12943 46.35/46.60 c #Conflicts: 95000 | #Constraints: 13944 46.35/46.60 c #Conflicts: 96000 | #Constraints: 14945 46.35/46.60 c INPROCESSING 46.35/46.60 c GARBAGE COLLECT 46.35/46.60 c #Conflicts: 97000 | #Constraints: 9745 46.35/46.60 c #Conflicts: 98000 | #Constraints: 10746 46.35/46.60 c #Conflicts: 99000 | #Constraints: 11747 46.35/46.60 c #Conflicts: 100000 | #Constraints: 12750 46.35/46.60 c #Conflicts: 101000 | #Constraints: 13751 46.35/46.60 c #Conflicts: 102000 | #Constraints: 14753 46.35/46.60 c #Conflicts: 103000 | #Constraints: 15755 46.35/46.60 c INPROCESSING 46.35/46.60 c GARBAGE COLLECT 46.35/46.60 c #Conflicts: 104000 | #Constraints: 10364 46.35/46.60 c #Conflicts: 105000 | #Constraints: 11364 46.35/46.60 c #Conflicts: 106000 | #Constraints: 12364 46.35/46.60 c #Conflicts: 107000 | #Constraints: 13365 46.35/46.60 c #Conflicts: 108000 | #Constraints: 14365 46.35/46.60 c #Conflicts: 109000 | #Constraints: 15365 46.35/46.60 c #Conflicts: 110000 | #Constraints: 16365 46.35/46.60 c INPROCESSING 46.35/46.60 c GARBAGE COLLECT 46.35/46.60 c rational objective 7.03797 79.46/79.74 c #Conflicts: 111000 | #Constraints: 10755 79.46/79.74 c #Conflicts: 112000 | #Constraints: 11755 79.46/79.74 c #Conflicts: 113000 | #Constraints: 12755 79.46/79.74 c #Conflicts: 114000 | #Constraints: 13755 79.46/79.74 c #Conflicts: 115000 | #Constraints: 14755 79.46/79.74 c #Conflicts: 116000 | #Constraints: 15755 79.46/79.74 c #Conflicts: 117000 | #Constraints: 16756 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 118000 | #Constraints: 10949 79.46/79.74 c #Conflicts: 119000 | #Constraints: 11950 79.46/79.74 c #Conflicts: 120000 | #Constraints: 12950 79.46/79.74 c #Conflicts: 121000 | #Constraints: 13950 79.46/79.74 c #Conflicts: 122000 | #Constraints: 14950 79.46/79.74 c #Conflicts: 123000 | #Constraints: 15950 79.46/79.74 c #Conflicts: 124000 | #Constraints: 16950 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 125000 | #Constraints: 10953 79.46/79.74 c #Conflicts: 126000 | #Constraints: 11954 79.46/79.74 c #Conflicts: 127000 | #Constraints: 12954 79.46/79.74 c #Conflicts: 128000 | #Constraints: 13955 79.46/79.74 c #Conflicts: 129000 | #Constraints: 14956 79.46/79.74 c #Conflicts: 130000 | #Constraints: 15957 79.46/79.74 c #Conflicts: 131000 | #Constraints: 16958 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 132000 | #Constraints: 10761 79.46/79.74 c #Conflicts: 133000 | #Constraints: 11761 79.46/79.74 c #Conflicts: 134000 | #Constraints: 12761 79.46/79.74 c #Conflicts: 135000 | #Constraints: 13761 79.46/79.74 c #Conflicts: 136000 | #Constraints: 14761 79.46/79.74 c #Conflicts: 137000 | #Constraints: 15766 79.46/79.74 c #Conflicts: 138000 | #Constraints: 16769 79.46/79.74 c #Conflicts: 139000 | #Constraints: 17770 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 140000 | #Constraints: 11359 79.46/79.74 c #Conflicts: 141000 | #Constraints: 12360 79.46/79.74 c #Conflicts: 142000 | #Constraints: 13360 79.46/79.74 c #Conflicts: 143000 | #Constraints: 14362 79.46/79.74 c #Conflicts: 144000 | #Constraints: 15363 79.46/79.74 c #Conflicts: 145000 | #Constraints: 16369 79.46/79.74 c #Conflicts: 146000 | #Constraints: 17374 79.46/79.74 c #Conflicts: 147000 | #Constraints: 18377 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 148000 | #Constraints: 11784 79.46/79.74 c #Conflicts: 149000 | #Constraints: 12785 79.46/79.74 c #Conflicts: 150000 | #Constraints: 13785 79.46/79.74 c #Conflicts: 151000 | #Constraints: 14785 79.46/79.74 c #Conflicts: 152000 | #Constraints: 15786 79.46/79.74 c #Conflicts: 153000 | #Constraints: 16787 79.46/79.74 c #Conflicts: 154000 | #Constraints: 17790 79.46/79.74 c #Conflicts: 155000 | #Constraints: 18791 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 156000 | #Constraints: 12002 79.46/79.74 c #Conflicts: 157000 | #Constraints: 13003 79.46/79.74 c #Conflicts: 158000 | #Constraints: 14005 79.46/79.74 c #Conflicts: 159000 | #Constraints: 15006 79.46/79.74 c #Conflicts: 160000 | #Constraints: 16006 79.46/79.74 c #Conflicts: 161000 | #Constraints: 17006 79.46/79.74 c #Conflicts: 162000 | #Constraints: 18006 79.46/79.74 c #Conflicts: 163000 | #Constraints: 19006 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 164000 | #Constraints: 11973 79.46/79.74 c #Conflicts: 165000 | #Constraints: 12973 79.46/79.74 c #Conflicts: 166000 | #Constraints: 13973 79.46/79.74 c #Conflicts: 167000 | #Constraints: 14973 79.46/79.74 c #Conflicts: 168000 | #Constraints: 15973 79.46/79.74 c #Conflicts: 169000 | #Constraints: 16973 79.46/79.74 c #Conflicts: 170000 | #Constraints: 17973 79.46/79.74 c #Conflicts: 171000 | #Constraints: 18973 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c #Conflicts: 172000 | #Constraints: 11760 79.46/79.74 c #Conflicts: 173000 | #Constraints: 12760 79.46/79.74 c #Conflicts: 174000 | #Constraints: 13760 79.46/79.74 c #Conflicts: 175000 | #Constraints: 14760 79.46/79.74 c #Conflicts: 176000 | #Constraints: 15761 79.46/79.74 c #Conflicts: 177000 | #Constraints: 16761 79.46/79.74 c #Conflicts: 178000 | #Constraints: 17761 79.46/79.74 c #Conflicts: 179000 | #Constraints: 18761 79.46/79.74 c #Conflicts: 180000 | #Constraints: 19762 79.46/79.74 c INPROCESSING 79.46/79.74 c GARBAGE COLLECT 79.46/79.74 c rational objective 7.03803 85.84/86.13 c #Conflicts: 181000 | #Constraints: 12357 85.84/86.13 c #Conflicts: 182000 | #Constraints: 13358 85.84/86.13 c #Conflicts: 183000 | #Constraints: 14358 85.84/86.13 c #Conflicts: 184000 | #Constraints: 15359 85.84/86.13 c #Conflicts: 185000 | #Constraints: 16359 85.84/86.13 c #Conflicts: 186000 | #Constraints: 17360 85.84/86.13 c #Conflicts: 187000 | #Constraints: 18360 85.84/86.13 c #Conflicts: 188000 | #Constraints: 19360 85.84/86.13 c #Conflicts: 189000 | #Constraints: 20360 85.84/86.13 c INPROCESSING 85.84/86.13 c GARBAGE COLLECT 85.84/86.13 c rational objective 7.03803 94.31/94.61 c #Conflicts: 190000 | #Constraints: 12779 94.31/94.61 c #Conflicts: 191000 | #Constraints: 13779 94.31/94.61 c #Conflicts: 192000 | #Constraints: 14779 94.31/94.61 c #Conflicts: 193000 | #Constraints: 15779 94.31/94.61 c #Conflicts: 194000 | #Constraints: 16780 94.31/94.61 c #Conflicts: 195000 | #Constraints: 17782 94.31/94.61 c #Conflicts: 196000 | #Constraints: 18783 94.31/94.61 c #Conflicts: 197000 | #Constraints: 19784 94.31/94.61 c #Conflicts: 198000 | #Constraints: 20784 94.31/94.61 c INPROCESSING 94.31/94.61 c GARBAGE COLLECT 94.31/94.61 c #Conflicts: 199000 | #Constraints: 12991 94.31/94.61 c #Conflicts: 200000 | #Constraints: 13991 94.31/94.61 c #Conflicts: 201000 | #Constraints: 14997 94.31/94.61 c #Conflicts: 202000 | #Constraints: 16004 94.31/94.61 c #Conflicts: 203000 | #Constraints: 17009 94.31/94.61 c #Conflicts: 204000 | #Constraints: 18010 94.31/94.61 c #Conflicts: 205000 | #Constraints: 19013 94.31/94.61 c #Conflicts: 206000 | #Constraints: 20013 94.31/94.61 c #Conflicts: 207000 | #Constraints: 21015 94.31/94.61 c INPROCESSING 94.31/94.61 c GARBAGE COLLECT 94.31/94.61 c rational objective 5.00012 106.58/106.97 c #Conflicts: 208000 | #Constraints: 13004 106.58/106.97 c #Conflicts: 209000 | #Constraints: 14005 106.58/106.97 c #Conflicts: 210000 | #Constraints: 15017 106.58/106.97 c #Conflicts: 211000 | #Constraints: 16028 106.58/106.97 c #Conflicts: 212000 | #Constraints: 17029 106.58/106.97 c #Conflicts: 213000 | #Constraints: 18041 106.58/106.97 c #Conflicts: 214000 | #Constraints: 19043 106.58/106.97 c #Conflicts: 215000 | #Constraints: 20043 106.58/106.97 c #Conflicts: 216000 | #Constraints: 21043 106.58/106.97 c INPROCESSING 106.58/106.97 c GARBAGE COLLECT 106.58/106.97 c rational objective 5.53834 109.67/110.09 c #Conflicts: 217000 | #Constraints: 12830 109.67/110.09 c #Conflicts: 218000 | #Constraints: 13830 109.67/110.09 c #Conflicts: 219000 | #Constraints: 14831 109.67/110.09 c #Conflicts: 220000 | #Constraints: 15831 109.67/110.09 c #Conflicts: 221000 | #Constraints: 16831 109.67/110.09 c #Conflicts: 222000 | #Constraints: 17832 109.67/110.09 c #Conflicts: 223000 | #Constraints: 18833 109.67/110.09 c #Conflicts: 224000 | #Constraints: 19839 109.67/110.09 c #Conflicts: 225000 | #Constraints: 20840 109.67/110.09 c #Conflicts: 226000 | #Constraints: 21843 109.67/110.09 c INPROCESSING 109.67/110.09 c GARBAGE COLLECT 109.67/110.09 c rational objective 5.23976 122.52/122.95 c #Conflicts: 227000 | #Constraints: 13410 122.52/122.95 c #Conflicts: 228000 | #Constraints: 14410 122.52/122.95 c #Conflicts: 229000 | #Constraints: 15410 122.52/122.95 c #Conflicts: 230000 | #Constraints: 16410 122.52/122.95 c #Conflicts: 231000 | #Constraints: 17411 122.52/122.95 c #Conflicts: 232000 | #Constraints: 18411 122.52/122.95 c #Conflicts: 233000 | #Constraints: 19411 122.52/122.95 c #Conflicts: 234000 | #Constraints: 20412 122.52/122.95 c #Conflicts: 235000 | #Constraints: 21412 122.52/122.95 c #Conflicts: 236000 | #Constraints: 22412 122.52/122.95 c INPROCESSING 122.52/122.95 c GARBAGE COLLECT 122.52/122.95 c #Conflicts: 237000 | #Constraints: 13776 122.52/122.95 c #Conflicts: 238000 | #Constraints: 14778 122.52/122.95 c #Conflicts: 239000 | #Constraints: 15779 122.52/122.95 c #Conflicts: 240000 | #Constraints: 16779 122.52/122.95 c #Conflicts: 241000 | #Constraints: 17780 122.52/122.95 c #Conflicts: 242000 | #Constraints: 18781 122.52/122.95 c #Conflicts: 243000 | #Constraints: 19781 122.52/122.95 c #Conflicts: 244000 | #Constraints: 20783 122.52/122.95 c #Conflicts: 245000 | #Constraints: 21784 122.52/122.95 c #Conflicts: 246000 | #Constraints: 22785 122.52/122.95 c INPROCESSING 122.52/122.95 c GARBAGE COLLECT 122.52/122.95 c rational objective 5.24543 135.89/136.35 c #Conflicts: 247000 | #Constraints: 14005 135.89/136.35 c #Conflicts: 248000 | #Constraints: 15005 135.89/136.35 c #Conflicts: 249000 | #Constraints: 16005 135.89/136.35 c #Conflicts: 250000 | #Constraints: 17006 135.89/136.35 c #Conflicts: 251000 | #Constraints: 18008 135.89/136.35 c #Conflicts: 252000 | #Constraints: 19009 135.89/136.35 c #Conflicts: 253000 | #Constraints: 20010 135.89/136.35 c #Conflicts: 254000 | #Constraints: 21011 135.89/136.35 c #Conflicts: 255000 | #Constraints: 22016 135.89/136.35 c #Conflicts: 256000 | #Constraints: 23019 135.89/136.35 c INPROCESSING 135.89/136.35 c GARBAGE COLLECT 135.89/136.35 c #Conflicts: 257000 | #Constraints: 14016 135.89/136.35 c #Conflicts: 258000 | #Constraints: 15016 135.89/136.35 c #Conflicts: 259000 | #Constraints: 16016 135.89/136.35 c #Conflicts: 260000 | #Constraints: 17018 135.89/136.35 c #Conflicts: 261000 | #Constraints: 18018 135.89/136.35 c #Conflicts: 262000 | #Constraints: 19019 135.89/136.35 c #Conflicts: 263000 | #Constraints: 20019 135.89/136.35 c #Conflicts: 264000 | #Constraints: 21021 135.89/136.35 c #Conflicts: 265000 | #Constraints: 22022 135.89/136.35 c #Conflicts: 266000 | #Constraints: 23022 135.89/136.35 c INPROCESSING 135.89/136.35 c GARBAGE COLLECT 135.89/136.35 c #Conflicts: 267000 | #Constraints: 13810 135.89/136.35 c #Conflicts: 268000 | #Constraints: 14811 135.89/136.35 c #Conflicts: 269000 | #Constraints: 15812 135.89/136.35 c #Conflicts: 270000 | #Constraints: 16812 135.89/136.35 c #Conflicts: 271000 | #Constraints: 17813 135.89/136.35 c #Conflicts: 272000 | #Constraints: 18813 135.89/136.35 c #Conflicts: 273000 | #Constraints: 19813 135.89/136.35 c #Conflicts: 274000 | #Constraints: 20816 135.89/136.35 c #Conflicts: 275000 | #Constraints: 21817 135.89/136.35 c #Conflicts: 276000 | #Constraints: 22817 135.89/136.35 c #Conflicts: 277000 | #Constraints: 23817 135.89/136.35 c INPROCESSING 135.89/136.35 c GARBAGE COLLECT 135.89/136.35 c rational objective 5.24745 144.16/144.64 c #Conflicts: 278000 | #Constraints: 14407 144.16/144.64 c #Conflicts: 279000 | #Constraints: 15408 144.16/144.64 c #Conflicts: 280000 | #Constraints: 16408 144.16/144.64 c #Conflicts: 281000 | #Constraints: 17412 144.16/144.64 c #Conflicts: 282000 | #Constraints: 18414 144.16/144.64 c #Conflicts: 283000 | #Constraints: 19415 144.16/144.64 c #Conflicts: 284000 | #Constraints: 20415 144.16/144.64 c #Conflicts: 285000 | #Constraints: 21415 144.16/144.64 c #Conflicts: 286000 | #Constraints: 22415 144.16/144.64 c #Conflicts: 287000 | #Constraints: 23417 144.16/144.64 c #Conflicts: 288000 | #Constraints: 24418 144.16/144.64 c INPROCESSING 144.16/144.64 c GARBAGE COLLECT 144.16/144.64 c rational objective 5.69875 169.87/170.45 c #Conflicts: 289000 | #Constraints: 14798 169.87/170.45 c #Conflicts: 290000 | #Constraints: 15799 169.87/170.45 c #Conflicts: 291000 | #Constraints: 16800 169.87/170.45 c #Conflicts: 292000 | #Constraints: 17800 169.87/170.45 c #Conflicts: 293000 | #Constraints: 18802 169.87/170.45 c #Conflicts: 294000 | #Constraints: 19803 169.87/170.45 c #Conflicts: 295000 | #Constraints: 20811 169.87/170.45 c #Conflicts: 296000 | #Constraints: 21812 169.87/170.45 c #Conflicts: 297000 | #Constraints: 22812 169.87/170.45 c #Conflicts: 298000 | #Constraints: 23812 169.87/170.45 c #Conflicts: 299000 | #Constraints: 24813 169.87/170.45 c INPROCESSING 169.87/170.45 c GARBAGE COLLECT 169.87/170.45 c #Conflicts: 300000 | #Constraints: 15020 169.87/170.45 c #Conflicts: 301000 | #Constraints: 16020 169.87/170.45 c #Conflicts: 302000 | #Constraints: 17021 169.87/170.45 c #Conflicts: 303000 | #Constraints: 18025 169.87/170.45 c #Conflicts: 304000 | #Constraints: 19026 169.87/170.45 c #Conflicts: 305000 | #Constraints: 20027 169.87/170.45 c #Conflicts: 306000 | #Constraints: 21027 169.87/170.45 c #Conflicts: 307000 | #Constraints: 22027 169.87/170.45 c #Conflicts: 308000 | #Constraints: 23028 169.87/170.45 c #Conflicts: 309000 | #Constraints: 24028 169.87/170.45 c #Conflicts: 310000 | #Constraints: 25029 169.87/170.45 c INPROCESSING 169.87/170.45 c GARBAGE COLLECT 169.87/170.45 c #Conflicts: 311000 | #Constraints: 15012 169.87/170.45 c #Conflicts: 312000 | #Constraints: 16016 169.87/170.45 c #Conflicts: 313000 | #Constraints: 17023 169.87/170.45 c #Conflicts: 314000 | #Constraints: 18024 169.87/170.45 c #Conflicts: 315000 | #Constraints: 19025 169.87/170.45 c #Conflicts: 316000 | #Constraints: 20025 169.87/170.45 c #Conflicts: 317000 | #Constraints: 21025 169.87/170.45 c #Conflicts: 318000 | #Constraints: 22025 169.87/170.45 c #Conflicts: 319000 | #Constraints: 23025 169.87/170.45 c #Conflicts: 320000 | #Constraints: 24025 169.87/170.45 c #Conflicts: 321000 | #Constraints: 25026 169.87/170.45 c INPROCESSING 169.87/170.45 c GARBAGE COLLECT 169.87/170.45 c #Conflicts: 322000 | #Constraints: 14840 169.87/170.45 c #Conflicts: 323000 | #Constraints: 15841 169.87/170.45 c #Conflicts: 324000 | #Constraints: 16841 169.87/170.45 c #Conflicts: 325000 | #Constraints: 17843 169.87/170.45 c #Conflicts: 326000 | #Constraints: 18847 169.87/170.45 c #Conflicts: 327000 | #Constraints: 19848 169.87/170.45 c #Conflicts: 328000 | #Constraints: 20849 169.87/170.45 c #Conflicts: 329000 | #Constraints: 21850 169.87/170.45 c #Conflicts: 330000 | #Constraints: 22852 169.87/170.45 c #Conflicts: 331000 | #Constraints: 23853 169.87/170.45 c #Conflicts: 332000 | #Constraints: 24854 169.87/170.45 c #Conflicts: 333000 | #Constraints: 25855 169.87/170.45 c INPROCESSING 169.87/170.45 c GARBAGE COLLECT 169.87/170.45 c #Conflicts: 334000 | #Constraints: 15424 169.87/170.45 c #Conflicts: 335000 | #Constraints: 16424 169.87/170.45 c #Conflicts: 336000 | #Constraints: 17424 169.87/170.45 c #Conflicts: 337000 | #Constraints: 18426 169.87/170.45 c #Conflicts: 338000 | #Constraints: 19426 169.87/170.45 c #Conflicts: 339000 | #Constraints: 20426 169.87/170.45 c #Conflicts: 340000 | #Constraints: 21427 169.87/170.45 c #Conflicts: 341000 | #Constraints: 22427 169.87/170.45 c #Conflicts: 342000 | #Constraints: 23427 169.87/170.45 c #Conflicts: 343000 | #Constraints: 24428 169.87/170.45 c #Conflicts: 344000 | #Constraints: 25428 169.87/170.45 c #Conflicts: 345000 | #Constraints: 26428 169.87/170.45 c INPROCESSING 169.87/170.45 c GARBAGE COLLECT 169.87/170.45 c rational objective 5.27476 174.76/175.38 c #Conflicts: 346000 | #Constraints: 15809 174.76/175.38 c #Conflicts: 347000 | #Constraints: 16811 174.76/175.38 c #Conflicts: 348000 | #Constraints: 17811 174.76/175.38 c #Conflicts: 349000 | #Constraints: 18813 174.76/175.38 c #Conflicts: 350000 | #Constraints: 19813 174.76/175.38 c #Conflicts: 351000 | #Constraints: 20813 174.76/175.38 c #Conflicts: 352000 | #Constraints: 21813 174.76/175.38 c #Conflicts: 353000 | #Constraints: 22813 174.76/175.38 c #Conflicts: 354000 | #Constraints: 23813 174.76/175.38 c #Conflicts: 355000 | #Constraints: 24813 174.76/175.38 c #Conflicts: 356000 | #Constraints: 25813 174.76/175.38 c #Conflicts: 357000 | #Constraints: 26813 174.76/175.38 c INPROCESSING 174.76/175.38 c GARBAGE COLLECT 174.76/175.38 c rational objective 5.30765 205.26/205.90 c #Conflicts: 358000 | #Constraints: 16014 205.26/205.90 c #Conflicts: 359000 | #Constraints: 17014 205.26/205.90 c #Conflicts: 360000 | #Constraints: 18015 205.26/205.90 c #Conflicts: 361000 | #Constraints: 19016 205.26/205.90 c #Conflicts: 362000 | #Constraints: 20016 205.26/205.90 c #Conflicts: 363000 | #Constraints: 21017 205.26/205.90 c #Conflicts: 364000 | #Constraints: 22017 205.26/205.90 c #Conflicts: 365000 | #Constraints: 23019 205.26/205.90 c #Conflicts: 366000 | #Constraints: 24019 205.26/205.90 c #Conflicts: 367000 | #Constraints: 25019 205.26/205.90 c #Conflicts: 368000 | #Constraints: 26020 205.26/205.90 c #Conflicts: 369000 | #Constraints: 27020 205.26/205.90 c INPROCESSING 205.26/205.90 c GARBAGE COLLECT 205.26/205.90 c #Conflicts: 370000 | #Constraints: 16016 205.26/205.90 c #Conflicts: 371000 | #Constraints: 17016 205.26/205.90 c #Conflicts: 372000 | #Constraints: 18019 205.26/205.90 c #Conflicts: 373000 | #Constraints: 19020 205.26/205.90 c #Conflicts: 374000 | #Constraints: 20025 205.26/205.90 c #Conflicts: 375000 | #Constraints: 21025 205.26/205.90 c #Conflicts: 376000 | #Constraints: 22026 205.26/205.90 c #Conflicts: 377000 | #Constraints: 23026 205.26/205.90 c #Conflicts: 378000 | #Constraints: 24027 205.26/205.90 c #Conflicts: 379000 | #Constraints: 25027 205.26/205.90 c #Conflicts: 380000 | #Constraints: 26028 205.26/205.90 c #Conflicts: 381000 | #Constraints: 27029 205.26/205.90 c INPROCESSING 205.26/205.90 c GARBAGE COLLECT 205.26/205.90 c #Conflicts: 382000 | #Constraints: 15798 205.26/205.90 c #Conflicts: 383000 | #Constraints: 16799 205.26/205.90 c #Conflicts: 384000 | #Constraints: 17799 205.26/205.90 c #Conflicts: 385000 | #Constraints: 18799 205.26/205.90 c #Conflicts: 386000 | #Constraints: 19799 205.26/205.90 c #Conflicts: 387000 | #Constraints: 20799 205.26/205.90 c #Conflicts: 388000 | #Constraints: 21800 205.26/205.90 c #Conflicts: 389000 | #Constraints: 22800 205.26/205.90 c #Conflicts: 390000 | #Constraints: 23800 205.26/205.90 c #Conflicts: 391000 | #Constraints: 24800 205.26/205.90 c #Conflicts: 392000 | #Constraints: 25800 205.26/205.90 c #Conflicts: 393000 | #Constraints: 26800 205.26/205.90 c #Conflicts: 394000 | #Constraints: 27800 205.26/205.90 c INPROCESSING 205.26/205.90 c GARBAGE COLLECT 205.26/205.90 c #Conflicts: 395000 | #Constraints: 16408 205.26/205.90 c #Conflicts: 396000 | #Constraints: 17408 205.26/205.90 c #Conflicts: 397000 | #Constraints: 18408 205.26/205.90 c #Conflicts: 398000 | #Constraints: 19408 205.26/205.90 c #Conflicts: 399000 | #Constraints: 20408 205.26/205.90 c #Conflicts: 400000 | #Constraints: 21408 205.26/205.90 c #Conflicts: 401000 | #Constraints: 22408 205.26/205.90 c #Conflicts: 402000 | #Constraints: 23408 205.26/205.90 c #Conflicts: 403000 | #Constraints: 24408 205.26/205.90 c #Conflicts: 404000 | #Constraints: 25408 205.26/205.90 c #Conflicts: 405000 | #Constraints: 26409 205.26/205.90 c #Conflicts: 406000 | #Constraints: 27409 205.26/205.90 c #Conflicts: 407000 | #Constraints: 28411 205.26/205.90 c INPROCESSING 205.26/205.90 c GARBAGE COLLECT 205.26/205.90 c rational objective 5.32421 296.73/297.79 c #Conflicts: 408000 | #Constraints: 16800 296.73/297.79 c #Conflicts: 409000 | #Constraints: 17801 296.73/297.79 c #Conflicts: 410000 | #Constraints: 18801 296.73/297.79 c #Conflicts: 411000 | #Constraints: 19801 296.73/297.79 c #Conflicts: 412000 | #Constraints: 20802 296.73/297.79 c #Conflicts: 413000 | #Constraints: 21802 296.73/297.79 c #Conflicts: 414000 | #Constraints: 22802 296.73/297.79 c #Conflicts: 415000 | #Constraints: 23802 296.73/297.79 c #Conflicts: 416000 | #Constraints: 24802 296.73/297.79 c #Conflicts: 417000 | #Constraints: 25802 296.73/297.79 c #Conflicts: 418000 | #Constraints: 26802 296.73/297.79 c #Conflicts: 419000 | #Constraints: 27802 296.73/297.79 c #Conflicts: 420000 | #Constraints: 28802 296.73/297.79 c INPROCESSING 296.73/297.79 c GARBAGE COLLECT 296.73/297.79 c #Conflicts: 421000 | #Constraints: 17017 296.73/297.79 c #Conflicts: 422000 | #Constraints: 18017 296.73/297.79 c #Conflicts: 423000 | #Constraints: 19017 296.73/297.79 c #Conflicts: 424000 | #Constraints: 20018 296.73/297.79 c #Conflicts: 425000 | #Constraints: 21018 296.73/297.79 c #Conflicts: 426000 | #Constraints: 22019 296.73/297.79 c #Conflicts: 427000 | #Constraints: 23020 296.73/297.79 c #Conflicts: 428000 | #Constraints: 24020 296.73/297.79 c #Conflicts: 429000 | #Constraints: 25020 296.73/297.79 c #Conflicts: 430000 | #Constraints: 26020 296.73/297.79 c #Conflicts: 431000 | #Constraints: 27022 296.73/297.79 c #Conflicts: 432000 | #Constraints: 28023 296.73/297.79 c #Conflicts: 433000 | #Constraints: 29028 296.73/297.79 c INPROCESSING 296.73/297.79 c GARBAGE COLLECT 296.73/297.79 c #Conflicts: 434000 | #Constraints: 17029 296.73/297.79 c #Conflicts: 435000 | #Constraints: 18030 296.73/297.79 c #Conflicts: 436000 | #Constraints: 19031 296.73/297.79 c #Conflicts: 437000 | #Constraints: 20032 296.73/297.79 c #Conflicts: 438000 | #Constraints: 21033 296.73/297.79 c #Conflicts: 439000 | #Constraints: 22033 296.73/297.79 c #Conflicts: 440000 | #Constraints: 23033 296.73/297.79 c #Conflicts: 441000 | #Constraints: 24033 296.73/297.79 c #Conflicts: 442000 | #Constraints: 25034 296.73/297.79 c #Conflicts: 443000 | #Constraints: 26035 296.73/297.79 c #Conflicts: 444000 | #Constraints: 27040 296.73/297.79 c #Conflicts: 445000 | #Constraints: 28041 296.73/297.79 c #Conflicts: 446000 | #Constraints: 29042 296.73/297.79 c INPROCESSING 296.73/297.79 c GARBAGE COLLECT 296.73/297.79 c #Conflicts: 447000 | #Constraints: 16841 296.73/297.79 c #Conflicts: 448000 | #Constraints: 17842 296.73/297.79 c #Conflicts: 449000 | #Constraints: 18843 296.73/297.79 c #Conflicts: 450000 | #Constraints: 19844 296.73/297.79 c #Conflicts: 451000 | #Constraints: 20847 296.73/297.79 c #Conflicts: 452000 | #Constraints: 21848 296.73/297.79 c #Conflicts: 453000 | #Constraints: 22849 296.73/297.79 c #Conflicts: 454000 | #Constraints: 23849 296.73/297.79 c #Conflicts: 455000 | #Constraints: 24849 296.73/297.79 c #Conflicts: 456000 | #Constraints: 25850 296.73/297.79 c #Conflicts: 457000 | #Constraints: 26851 296.73/297.79 c #Conflicts: 458000 | #Constraints: 27852 296.73/297.79 c #Conflicts: 459000 | #Constraints: 28853 296.73/297.79 c #Conflicts: 460000 | #Constraints: 29856 296.73/297.79 c INPROCESSING 296.73/297.79 c GARBAGE COLLECT 296.73/297.79 c #Conflicts: 461000 | #Constraints: 17442 296.73/297.79 c #Conflicts: 462000 | #Constraints: 18442 296.73/297.79 c #Conflicts: 463000 | #Constraints: 19442 296.73/297.79 c #Conflicts: 464000 | #Constraints: 20444 296.73/297.79 c #Conflicts: 465000 | #Constraints: 21444 296.73/297.79 c #Conflicts: 466000 | #Constraints: 22446 296.73/297.79 c #Conflicts: 467000 | #Constraints: 23447 296.73/297.79 c #Conflicts: 468000 | #Constraints: 24448 296.73/297.79 c #Conflicts: 469000 | #Constraints: 25454 296.73/297.79 c #Conflicts: 470000 | #Constraints: 26456 296.73/297.79 c #Conflicts: 471000 | #Constraints: 27458 296.73/297.79 c #Conflicts: 472000 | #Constraints: 28459 296.73/297.79 c #Conflicts: 473000 | #Constraints: 29459 296.73/297.79 c #Conflicts: 474000 | #Constraints: 30462 296.73/297.79 c INPROCESSING 296.73/297.79 c GARBAGE COLLECT 296.73/297.79 c #Conflicts: 475000 | #Constraints: 17854 296.73/297.79 c #Conflicts: 476000 | #Constraints: 18854 296.73/297.79 c #Conflicts: 477000 | #Constraints: 19854 296.73/297.79 c #Conflicts: 478000 | #Constraints: 20854 296.73/297.79 c #Conflicts: 479000 | #Constraints: 21854 296.73/297.79 c #Conflicts: 480000 | #Constraints: 22854 296.73/297.79 c #Conflicts: 481000 | #Constraints: 23855 296.73/297.79 c #Conflicts: 482000 | #Constraints: 24855 296.73/297.79 c #Conflicts: 483000 | #Constraints: 25856 332.40/333.59 c #Conflicts: 484000 | #Constraints: 26857 332.40/333.59 c #Conflicts: 485000 | #Constraints: 27857 332.40/333.59 c #Conflicts: 486000 | #Constraints: 28857 332.40/333.59 c #Conflicts: 487000 | #Constraints: 29857 332.40/333.59 c #Conflicts: 488000 | #Constraints: 30857 332.40/333.59 c INPROCESSING 332.40/333.59 c GARBAGE COLLECT 332.40/333.59 c #Conflicts: 489000 | #Constraints: 18041 332.40/333.59 c #Conflicts: 490000 | #Constraints: 19041 332.40/333.59 c #Conflicts: 491000 | #Constraints: 20042 332.40/333.59 c #Conflicts: 492000 | #Constraints: 21042 332.40/333.59 c #Conflicts: 493000 | #Constraints: 22043 332.40/333.59 c #Conflicts: 494000 | #Constraints: 23043 332.40/333.59 c #Conflicts: 495000 | #Constraints: 24043 332.40/333.59 c #Conflicts: 496000 | #Constraints: 25043 332.40/333.59 c #Conflicts: 497000 | #Constraints: 26043 332.40/333.59 c #Conflicts: 498000 | #Constraints: 27043 332.40/333.59 c #Conflicts: 499000 | #Constraints: 28043 332.40/333.59 c #Conflicts: 500000 | #Constraints: 29043 332.40/333.59 c #Conflicts: 501000 | #Constraints: 30043 332.40/333.59 c #Conflicts: 502000 | #Constraints: 31044 332.40/333.59 c INPROCESSING 332.40/333.59 c GARBAGE COLLECT 332.40/333.59 c #Conflicts: 503000 | #Constraints: 18032 332.40/333.59 c #Conflicts: 504000 | #Constraints: 19033 332.40/333.59 c #Conflicts: 505000 | #Constraints: 20035 332.40/333.59 c #Conflicts: 506000 | #Constraints: 21038 332.40/333.59 c #Conflicts: 507000 | #Constraints: 22042 332.40/333.59 c #Conflicts: 508000 | #Constraints: 23043 332.40/333.59 c #Conflicts: 509000 | #Constraints: 24043 332.40/333.59 c #Conflicts: 510000 | #Constraints: 25046 332.40/333.59 c #Conflicts: 511000 | #Constraints: 26047 332.40/333.59 c #Conflicts: 512000 | #Constraints: 27048 332.40/333.59 c #Conflicts: 513000 | #Constraints: 28050 332.40/333.59 c #Conflicts: 514000 | #Constraints: 29050 332.40/333.59 c #Conflicts: 515000 | #Constraints: 30050 332.40/333.59 c #Conflicts: 516000 | #Constraints: 31050 332.40/333.59 c INPROCESSING 332.40/333.59 c GARBAGE COLLECT 332.40/333.59 c #Conflicts: 517000 | #Constraints: 17836 332.40/333.59 c #Conflicts: 518000 | #Constraints: 18837 332.40/333.59 c #Conflicts: 519000 | #Constraints: 19837 332.40/333.59 c #Conflicts: 520000 | #Constraints: 20838 332.40/333.59 c #Conflicts: 521000 | #Constraints: 21838 332.40/333.59 c #Conflicts: 522000 | #Constraints: 22838 332.40/333.59 c #Conflicts: 523000 | #Constraints: 23838 332.40/333.59 c #Conflicts: 524000 | #Constraints: 24838 332.40/333.59 c #Conflicts: 525000 | #Constraints: 25838 332.40/333.59 c #Conflicts: 526000 | #Constraints: 26838 332.40/333.59 c #Conflicts: 527000 | #Constraints: 27838 332.40/333.59 c #Conflicts: 528000 | #Constraints: 28838 332.40/333.59 c #Conflicts: 529000 | #Constraints: 29838 332.40/333.59 c #Conflicts: 530000 | #Constraints: 30838 332.40/333.59 c #Conflicts: 531000 | #Constraints: 31838 332.40/333.59 c INPROCESSING 332.40/333.59 c GARBAGE COLLECT 332.40/333.59 c #Conflicts: 532000 | #Constraints: 18441 332.40/333.59 c #Conflicts: 533000 | #Constraints: 19441 332.40/333.59 c #Conflicts: 534000 | #Constraints: 20441 332.40/333.59 c #Conflicts: 535000 | #Constraints: 21453 332.40/333.59 c #Conflicts: 536000 | #Constraints: 22453 332.40/333.59 c #Conflicts: 537000 | #Constraints: 23454 332.40/333.59 c #Conflicts: 538000 | #Constraints: 24454 332.40/333.59 c #Conflicts: 539000 | #Constraints: 25455 332.40/333.59 c #Conflicts: 540000 | #Constraints: 26455 332.40/333.59 c #Conflicts: 541000 | #Constraints: 27455 332.40/333.59 c #Conflicts: 542000 | #Constraints: 28455 332.40/333.59 c #Conflicts: 543000 | #Constraints: 29455 332.40/333.59 c #Conflicts: 544000 | #Constraints: 30455 332.40/333.59 c #Conflicts: 545000 | #Constraints: 31457 332.40/333.59 c #Conflicts: 546000 | #Constraints: 32458 332.40/333.59 c INPROCESSING 332.40/333.59 c GARBAGE COLLECT 332.40/333.59 c rational objective 5.371 357.72/358.93 c #Conflicts: 547000 | #Constraints: 18838 357.72/358.93 c #Conflicts: 548000 | #Constraints: 19838 357.72/358.93 c #Conflicts: 549000 | #Constraints: 20838 357.72/358.93 c #Conflicts: 550000 | #Constraints: 21838 357.72/358.93 c #Conflicts: 551000 | #Constraints: 22838 357.72/358.93 c #Conflicts: 552000 | #Constraints: 23838 357.72/358.93 c #Conflicts: 553000 | #Constraints: 24838 357.72/358.93 c #Conflicts: 554000 | #Constraints: 25839 357.72/358.93 c #Conflicts: 555000 | #Constraints: 26840 357.72/358.93 c #Conflicts: 556000 | #Constraints: 27840 357.72/358.93 c #Conflicts: 557000 | #Constraints: 28842 357.72/358.93 c #Conflicts: 558000 | #Constraints: 29843 357.72/358.93 c #Conflicts: 559000 | #Constraints: 30844 357.72/358.93 c #Conflicts: 560000 | #Constraints: 31846 357.72/358.93 c #Conflicts: 561000 | #Constraints: 32849 357.72/358.93 c INPROCESSING 357.72/358.93 c GARBAGE COLLECT 357.72/358.93 c #Conflicts: 562000 | #Constraints: 19050 357.72/358.93 c #Conflicts: 563000 | #Constraints: 20050 357.72/358.93 c #Conflicts: 564000 | #Constraints: 21050 357.72/358.93 c #Conflicts: 565000 | #Constraints: 22050 357.72/358.93 c #Conflicts: 566000 | #Constraints: 23050 357.72/358.94 c #Conflicts: 567000 | #Constraints: 24050 357.72/358.94 c #Conflicts: 568000 | #Constraints: 25051 357.72/358.94 c #Conflicts: 569000 | #Constraints: 26051 357.72/358.94 c #Conflicts: 570000 | #Constraints: 27051 357.72/358.94 c #Conflicts: 571000 | #Constraints: 28051 357.72/358.94 c #Conflicts: 572000 | #Constraints: 29051 357.72/358.94 c #Conflicts: 573000 | #Constraints: 30051 357.72/358.94 c #Conflicts: 574000 | #Constraints: 31052 357.72/358.94 c #Conflicts: 575000 | #Constraints: 32052 357.72/358.94 c #Conflicts: 576000 | #Constraints: 33052 357.72/358.94 c INPROCESSING 357.72/358.94 c GARBAGE COLLECT 357.72/358.94 c rational objective 6.50385 382.54/383.87 c #Conflicts: 577000 | #Constraints: 19058 382.54/383.87 c #Conflicts: 578000 | #Constraints: 20059 382.54/383.87 c #Conflicts: 579000 | #Constraints: 21059 382.54/383.87 c #Conflicts: 580000 | #Constraints: 22060 382.54/383.87 c #Conflicts: 581000 | #Constraints: 23060 382.54/383.87 c #Conflicts: 582000 | #Constraints: 24061 382.54/383.87 c #Conflicts: 583000 | #Constraints: 25062 382.54/383.87 c #Conflicts: 584000 | #Constraints: 26069 382.54/383.87 c #Conflicts: 585000 | #Constraints: 27069 382.54/383.87 c #Conflicts: 586000 | #Constraints: 28070 382.54/383.87 c #Conflicts: 587000 | #Constraints: 29071 382.54/383.87 c #Conflicts: 588000 | #Constraints: 30072 382.54/383.87 c #Conflicts: 589000 | #Constraints: 31076 382.54/383.87 c #Conflicts: 590000 | #Constraints: 32077 382.54/383.87 c #Conflicts: 591000 | #Constraints: 33077 382.54/383.87 c INPROCESSING 382.54/383.87 c GARBAGE COLLECT 382.54/383.87 c #Conflicts: 592000 | #Constraints: 18869 382.54/383.87 c #Conflicts: 593000 | #Constraints: 19869 382.54/383.87 c #Conflicts: 594000 | #Constraints: 20869 382.54/383.87 c #Conflicts: 595000 | #Constraints: 21869 382.54/383.87 c #Conflicts: 596000 | #Constraints: 22869 382.54/383.87 c #Conflicts: 597000 | #Constraints: 23869 382.54/383.87 c #Conflicts: 598000 | #Constraints: 24869 382.54/383.87 c #Conflicts: 599000 | #Constraints: 25869 382.54/383.87 c #Conflicts: 600000 | #Constraints: 26869 382.54/383.87 c #Conflicts: 601000 | #Constraints: 27869 382.54/383.87 c #Conflicts: 602000 | #Constraints: 28869 382.54/383.87 c #Conflicts: 603000 | #Constraints: 29869 382.54/383.87 c #Conflicts: 604000 | #Constraints: 30869 382.54/383.87 c #Conflicts: 605000 | #Constraints: 31869 382.54/383.87 c #Conflicts: 606000 | #Constraints: 32869 382.54/383.87 c #Conflicts: 607000 | #Constraints: 33870 382.54/383.87 c INPROCESSING 382.54/383.87 c GARBAGE COLLECT 382.54/383.87 c rational objective 5.70528 688.05/690.33 c #Conflicts: 608000 | #Constraints: 19466 688.05/690.33 c #Conflicts: 609000 | #Constraints: 20468 688.05/690.33 c #Conflicts: 610000 | #Constraints: 21471 688.05/690.33 c #Conflicts: 611000 | #Constraints: 22472 688.05/690.33 c #Conflicts: 612000 | #Constraints: 23476 688.05/690.33 c #Conflicts: 613000 | #Constraints: 24478 688.05/690.33 c #Conflicts: 614000 | #Constraints: 25480 688.05/690.33 c #Conflicts: 615000 | #Constraints: 26480 688.05/690.33 c #Conflicts: 616000 | #Constraints: 27481 688.05/690.33 c #Conflicts: 617000 | #Constraints: 28481 688.05/690.33 c #Conflicts: 618000 | #Constraints: 29481 688.05/690.33 c #Conflicts: 619000 | #Constraints: 30482 688.05/690.33 c #Conflicts: 620000 | #Constraints: 31482 688.05/690.33 c #Conflicts: 621000 | #Constraints: 32482 688.05/690.33 c #Conflicts: 622000 | #Constraints: 33482 688.05/690.33 c #Conflicts: 623000 | #Constraints: 34482 688.05/690.33 c #Conflicts: 624000 | #Constraints: 35482 688.05/690.33 c #Conflicts: 625000 | #Constraints: 36482 688.05/690.33 c #Conflicts: 626000 | #Constraints: 37482 688.05/690.33 c #Conflicts: 627000 | #Constraints: 38485 688.05/690.33 c #Conflicts: 628000 | #Constraints: 39487 688.05/690.33 c #Conflicts: 629000 | #Constraints: 40488 688.05/690.33 c #Conflicts: 630000 | #Constraints: 41488 688.05/690.33 c #Conflicts: 631000 | #Constraints: 42490 688.05/690.33 c #Conflicts: 632000 | #Constraints: 43491 688.05/690.33 c #Conflicts: 633000 | #Constraints: 44493 688.05/690.33 c #Conflicts: 634000 | #Constraints: 45494 688.05/690.33 c #Conflicts: 635000 | #Constraints: 46495 688.05/690.33 c #Conflicts: 636000 | #Constraints: 47495 688.05/690.33 c #Conflicts: 637000 | #Constraints: 48495 688.05/690.33 c #Conflicts: 638000 | #Constraints: 49496 688.05/690.33 c #Conflicts: 639000 | #Constraints: 50497 688.05/690.33 c #Conflicts: 640000 | #Constraints: 51498 688.05/690.33 c #Conflicts: 641000 | #Constraints: 52498 688.05/690.33 c #Conflicts: 642000 | #Constraints: 53498 688.05/690.33 c #Conflicts: 643000 | #Constraints: 54498 688.05/690.33 c #Conflicts: 644000 | #Constraints: 55498 688.05/690.33 c #Conflicts: 645000 | #Constraints: 56499 688.05/690.33 c #Conflicts: 646000 | #Constraints: 57499 688.05/690.33 c #Conflicts: 647000 | #Constraints: 58499 688.05/690.33 c #Conflicts: 648000 | #Constraints: 59499 688.05/690.33 c #Conflicts: 649000 | #Constraints: 60500 688.05/690.33 c #Conflicts: 650000 | #Constraints: 61500 688.05/690.33 c #Conflicts: 651000 | #Constraints: 62500 688.05/690.33 c #Conflicts: 652000 | #Constraints: 63501 688.05/690.33 c #Conflicts: 653000 | #Constraints: 64501 688.05/690.33 c #Conflicts: 654000 | #Constraints: 65502 688.05/690.33 c #Conflicts: 655000 | #Constraints: 66502 688.05/690.33 c #Conflicts: 656000 | #Constraints: 67502 688.05/690.33 c #Conflicts: 657000 | #Constraints: 68505 688.05/690.33 c #Conflicts: 658000 | #Constraints: 69507 688.05/690.33 c #Conflicts: 659000 | #Constraints: 70509 688.05/690.33 c #Conflicts: 660000 | #Constraints: 71510 688.05/690.33 c #Conflicts: 661000 | #Constraints: 72511 688.05/690.33 c #Conflicts: 662000 | #Constraints: 73511 688.05/690.33 c #Conflicts: 663000 | #Constraints: 74512 688.05/690.33 c #Conflicts: 664000 | #Constraints: 75512 688.05/690.33 c #Conflicts: 665000 | #Constraints: 76512 688.05/690.33 c #Conflicts: 666000 | #Constraints: 77513 688.05/690.33 c #Conflicts: 667000 | #Constraints: 78514 688.05/690.33 c #Conflicts: 668000 | #Constraints: 79515 688.05/690.33 c #Conflicts: 669000 | #Constraints: 80515 688.05/690.33 c #Conflicts: 670000 | #Constraints: 81516 688.05/690.33 c #Conflicts: 671000 | #Constraints: 82516 688.05/690.33 c #Conflicts: 672000 | #Constraints: 83516 688.05/690.33 c #Conflicts: 673000 | #Constraints: 84516 688.05/690.33 c #Conflicts: 674000 | #Constraints: 85516 688.05/690.33 c #Conflicts: 675000 | #Constraints: 86516 688.05/690.33 c #Conflicts: 676000 | #Constraints: 87516 688.05/690.33 c #Conflicts: 677000 | #Constraints: 88516 688.05/690.33 c #Conflicts: 678000 | #Constraints: 89516 688.05/690.33 c #Conflicts: 679000 | #Constraints: 90516 688.05/690.33 c #Conflicts: 680000 | #Constraints: 91517 688.05/690.33 c #Conflicts: 681000 | #Constraints: 92517 688.05/690.33 c #Conflicts: 682000 | #Constraints: 93517 688.05/690.33 c #Conflicts: 683000 | #Constraints: 94517 688.05/690.33 c #Conflicts: 684000 | #Constraints: 95518 688.05/690.33 c #Conflicts: 685000 | #Constraints: 96519 688.05/690.33 c #Conflicts: 686000 | #Constraints: 97520 688.94/691.27 c INPROCESSING 688.94/691.27 c GARBAGE COLLECT 688.94/691.27 c rational objective 6.06728 741.88/744.39 c #Conflicts: 687000 | #Constraints: 51386 741.88/744.39 c #Conflicts: 688000 | #Constraints: 52387 741.88/744.39 c #Conflicts: 689000 | #Constraints: 53387 741.88/744.39 c #Conflicts: 690000 | #Constraints: 54637 741.88/744.39 c #Conflicts: 691000 | #Constraints: 55638 741.88/744.39 c #Conflicts: 692000 | #Constraints: 56638 741.88/744.39 c #Conflicts: 693000 | #Constraints: 57638 741.88/744.39 c #Conflicts: 694000 | #Constraints: 58639 741.88/744.39 c #Conflicts: 695000 | #Constraints: 59641 741.88/744.39 c #Conflicts: 696000 | #Constraints: 60649 741.88/744.39 c #Conflicts: 697000 | #Constraints: 61651 741.88/744.39 c #Conflicts: 698000 | #Constraints: 62791 741.88/744.39 c #Conflicts: 699000 | #Constraints: 63791 741.88/744.39 c #Conflicts: 700000 | #Constraints: 64791 741.88/744.39 c #Conflicts: 701000 | #Constraints: 65791 741.88/744.39 c #Conflicts: 702000 | #Constraints: 66791 741.88/744.39 c INPROCESSING 741.88/744.39 c GARBAGE COLLECT 741.88/744.39 c rational objective 5.79291 863.28/866.18 c #Conflicts: 703000 | #Constraints: 35574 863.28/866.18 c #Conflicts: 704000 | #Constraints: 36574 863.28/866.18 c #Conflicts: 705000 | #Constraints: 37648 863.28/866.18 c #Conflicts: 706000 | #Constraints: 38648 863.28/866.18 c #Conflicts: 707000 | #Constraints: 39649 863.28/866.18 c #Conflicts: 708000 | #Constraints: 40649 863.28/866.18 c #Conflicts: 709000 | #Constraints: 41651 863.28/866.18 c #Conflicts: 710000 | #Constraints: 42653 863.28/866.18 c #Conflicts: 711000 | #Constraints: 43653 863.28/866.18 c #Conflicts: 712000 | #Constraints: 44653 863.28/866.18 c #Conflicts: 713000 | #Constraints: 45653 863.28/866.18 c #Conflicts: 714000 | #Constraints: 46653 863.28/866.18 c #Conflicts: 715000 | #Constraints: 47653 863.28/866.18 c #Conflicts: 716000 | #Constraints: 48653 863.28/866.18 c #Conflicts: 717000 | #Constraints: 49653 863.28/866.18 c #Conflicts: 718000 | #Constraints: 50653 863.28/866.18 c #Conflicts: 719000 | #Constraints: 51654 863.28/866.18 c #Conflicts: 720000 | #Constraints: 52655 863.28/866.18 c INPROCESSING 863.28/866.18 c GARBAGE COLLECT 863.28/866.18 c #Conflicts: 721000 | #Constraints: 28962 863.28/866.18 c #Conflicts: 722000 | #Constraints: 29963 863.28/866.18 c #Conflicts: 723000 | #Constraints: 30963 863.28/866.18 c #Conflicts: 724000 | #Constraints: 31963 863.28/866.18 c #Conflicts: 725000 | #Constraints: 32968 863.28/866.18 c #Conflicts: 726000 | #Constraints: 33969 863.28/866.18 c #Conflicts: 727000 | #Constraints: 34969 863.28/866.18 c #Conflicts: 728000 | #Constraints: 35969 863.28/866.18 c #Conflicts: 729000 | #Constraints: 36970 863.28/866.18 c #Conflicts: 730000 | #Constraints: 37970 863.28/866.18 c #Conflicts: 731000 | #Constraints: 38972 863.28/866.18 c #Conflicts: 732000 | #Constraints: 39972 863.28/866.18 c #Conflicts: 733000 | #Constraints: 40972 863.28/866.18 c #Conflicts: 734000 | #Constraints: 41972 863.28/866.18 c #Conflicts: 735000 | #Constraints: 42972 863.28/866.18 c #Conflicts: 736000 | #Constraints: 43976 863.28/866.18 c #Conflicts: 737000 | #Constraints: 44978 863.28/866.18 c INPROCESSING 863.28/866.18 c GARBAGE COLLECT 863.28/866.18 c #Conflicts: 738000 | #Constraints: 24995 863.28/866.18 c #Conflicts: 739000 | #Constraints: 25996 863.28/866.18 c #Conflicts: 740000 | #Constraints: 27042 863.28/866.18 c #Conflicts: 741000 | #Constraints: 28042 863.28/866.18 c #Conflicts: 742000 | #Constraints: 29042 863.28/866.18 c #Conflicts: 743000 | #Constraints: 30042 863.28/866.18 c #Conflicts: 744000 | #Constraints: 31043 863.28/866.18 c #Conflicts: 745000 | #Constraints: 32044 863.28/866.18 c #Conflicts: 746000 | #Constraints: 33044 863.28/866.18 c #Conflicts: 747000 | #Constraints: 34045 863.28/866.18 c #Conflicts: 748000 | #Constraints: 35045 863.28/866.18 c #Conflicts: 749000 | #Constraints: 36047 863.28/866.18 c #Conflicts: 750000 | #Constraints: 37047 863.28/866.18 c #Conflicts: 751000 | #Constraints: 38047 863.28/866.18 c #Conflicts: 752000 | #Constraints: 39047 863.28/866.18 c #Conflicts: 753000 | #Constraints: 40047 863.28/866.18 c #Conflicts: 754000 | #Constraints: 41048 863.28/866.18 c INPROCESSING 863.28/866.18 c GARBAGE COLLECT 863.28/866.18 c #Conflicts: 755000 | #Constraints: 22751 863.28/866.18 c #Conflicts: 756000 | #Constraints: 23751 863.28/866.18 c #Conflicts: 757000 | #Constraints: 24751 863.28/866.18 c #Conflicts: 758000 | #Constraints: 25752 863.28/866.18 c #Conflicts: 759000 | #Constraints: 26752 863.28/866.18 c #Conflicts: 760000 | #Constraints: 27752 863.28/866.18 c #Conflicts: 761000 | #Constraints: 28752 863.28/866.18 c #Conflicts: 762000 | #Constraints: 29753 863.28/866.18 c #Conflicts: 763000 | #Constraints: 30753 863.28/866.18 c #Conflicts: 764000 | #Constraints: 31753 863.28/866.18 c #Conflicts: 765000 | #Constraints: 32753 863.28/866.18 c #Conflicts: 766000 | #Constraints: 33753 863.28/866.18 c #Conflicts: 767000 | #Constraints: 34753 863.28/866.18 c #Conflicts: 768000 | #Constraints: 35753 863.28/866.18 c #Conflicts: 769000 | #Constraints: 36753 863.28/866.18 c #Conflicts: 770000 | #Constraints: 37753 863.28/866.18 c #Conflicts: 771000 | #Constraints: 38753 863.28/866.18 c #Conflicts: 772000 | #Constraints: 39753 863.28/866.18 c INPROCESSING 863.28/866.18 c GARBAGE COLLECT 863.28/866.18 c #Conflicts: 773000 | #Constraints: 22266 863.28/866.18 c #Conflicts: 774000 | #Constraints: 23267 863.28/866.18 c #Conflicts: 775000 | #Constraints: 24268 863.28/866.18 c #Conflicts: 776000 | #Constraints: 25268 863.28/866.18 c #Conflicts: 777000 | #Constraints: 26269 863.28/866.18 c #Conflicts: 778000 | #Constraints: 27274 863.28/866.18 c #Conflicts: 779000 | #Constraints: 28274 1272.25/1276.50 c #Conflicts: 780000 | #Constraints: 29274 1272.25/1276.50 c #Conflicts: 781000 | #Constraints: 30274 1272.25/1276.50 c #Conflicts: 782000 | #Constraints: 31274 1272.25/1276.50 c #Conflicts: 783000 | #Constraints: 32274 1272.25/1276.50 c #Conflicts: 784000 | #Constraints: 33274 1272.25/1276.50 c #Conflicts: 785000 | #Constraints: 34275 1272.25/1276.50 c #Conflicts: 786000 | #Constraints: 35275 1272.25/1276.50 c #Conflicts: 787000 | #Constraints: 36277 1272.25/1276.50 c #Conflicts: 788000 | #Constraints: 37283 1272.25/1276.50 c #Conflicts: 789000 | #Constraints: 38284 1272.25/1276.50 c #Conflicts: 790000 | #Constraints: 39284 1272.25/1276.50 c INPROCESSING 1272.25/1276.50 c GARBAGE COLLECT 1272.25/1276.50 c #Conflicts: 791000 | #Constraints: 22082 1272.25/1276.50 c #Conflicts: 792000 | #Constraints: 23082 1272.25/1276.50 c #Conflicts: 793000 | #Constraints: 24083 1272.25/1276.50 c #Conflicts: 794000 | #Constraints: 25084 1272.25/1276.50 c #Conflicts: 795000 | #Constraints: 26084 1272.25/1276.50 c #Conflicts: 796000 | #Constraints: 27084 1272.25/1276.50 c #Conflicts: 797000 | #Constraints: 28084 1272.25/1276.50 c #Conflicts: 798000 | #Constraints: 29084 1272.25/1276.50 c #Conflicts: 799000 | #Constraints: 30084 1272.25/1276.50 c #Conflicts: 800000 | #Constraints: 31084 1272.25/1276.50 c #Conflicts: 801000 | #Constraints: 32084 1272.25/1276.50 c #Conflicts: 802000 | #Constraints: 33084 1272.25/1276.50 c #Conflicts: 803000 | #Constraints: 34085 1272.25/1276.50 c #Conflicts: 804000 | #Constraints: 35085 1272.25/1276.50 c #Conflicts: 805000 | #Constraints: 36086 1272.25/1276.50 c #Conflicts: 806000 | #Constraints: 37086 1272.25/1276.50 c #Conflicts: 807000 | #Constraints: 38087 1272.25/1276.50 c #Conflicts: 808000 | #Constraints: 39088 1272.25/1276.50 c #Conflicts: 809000 | #Constraints: 40088 1272.25/1276.50 c #Conflicts: 810000 | #Constraints: 41088 1272.25/1276.50 c #Conflicts: 811000 | #Constraints: 42088 1272.25/1276.50 c #Conflicts: 812000 | #Constraints: 43088 1272.25/1276.50 c #Conflicts: 813000 | #Constraints: 44088 1272.25/1276.50 c #Conflicts: 814000 | #Constraints: 45089 1272.25/1276.50 c #Conflicts: 815000 | #Constraints: 46089 1272.25/1276.50 c #Conflicts: 816000 | #Constraints: 47089 1272.25/1276.50 c #Conflicts: 817000 | #Constraints: 48090 1272.25/1276.50 c #Conflicts: 818000 | #Constraints: 49090 1272.25/1276.50 c #Conflicts: 819000 | #Constraints: 50090 1272.25/1276.50 c #Conflicts: 820000 | #Constraints: 51091 1272.25/1276.50 c #Conflicts: 821000 | #Constraints: 52097 1272.25/1276.50 c #Conflicts: 822000 | #Constraints: 53097 1272.25/1276.50 c #Conflicts: 823000 | #Constraints: 54098 1272.25/1276.50 c #Conflicts: 824000 | #Constraints: 55098 1272.25/1276.50 c #Conflicts: 825000 | #Constraints: 56098 1272.25/1276.50 c #Conflicts: 826000 | #Constraints: 57098 1272.25/1276.50 c #Conflicts: 827000 | #Constraints: 58098 1272.25/1276.50 c #Conflicts: 828000 | #Constraints: 59099 1272.25/1276.50 c #Conflicts: 829000 | #Constraints: 60100 1272.25/1276.50 c #Conflicts: 830000 | #Constraints: 61100 1272.25/1276.50 c #Conflicts: 831000 | #Constraints: 62100 1272.25/1276.50 c #Conflicts: 832000 | #Constraints: 63100 1272.25/1276.50 c #Conflicts: 833000 | #Constraints: 64100 1272.25/1276.50 c #Conflicts: 834000 | #Constraints: 65100 1272.25/1276.50 c #Conflicts: 835000 | #Constraints: 66100 1272.25/1276.50 c #Conflicts: 836000 | #Constraints: 67100 1272.25/1276.50 c #Conflicts: 837000 | #Constraints: 68103 1272.25/1276.50 c #Conflicts: 838000 | #Constraints: 69107 1272.25/1276.50 c #Conflicts: 839000 | #Constraints: 70108 1272.25/1276.50 c #Conflicts: 840000 | #Constraints: 71108 1272.25/1276.50 c #Conflicts: 841000 | #Constraints: 72108 1272.25/1276.50 c #Conflicts: 842000 | #Constraints: 73108 1272.25/1276.50 c #Conflicts: 843000 | #Constraints: 74108 1272.25/1276.50 c #Conflicts: 844000 | #Constraints: 75109 1272.25/1276.50 c #Conflicts: 845000 | #Constraints: 76110 1272.25/1276.50 c #Conflicts: 846000 | #Constraints: 77111 1272.25/1276.50 c #Conflicts: 847000 | #Constraints: 78111 1272.25/1276.50 c #Conflicts: 848000 | #Constraints: 79112 1272.25/1276.50 c #Conflicts: 849000 | #Constraints: 80120 1272.25/1276.50 c #Conflicts: 850000 | #Constraints: 81120 1272.25/1276.50 c #Conflicts: 851000 | #Constraints: 82121 1272.25/1276.50 c #Conflicts: 852000 | #Constraints: 83121 1272.25/1276.50 c #Conflicts: 853000 | #Constraints: 84121 1272.25/1276.50 c #Conflicts: 854000 | #Constraints: 85122 1272.25/1276.50 c #Conflicts: 855000 | #Constraints: 86122 1272.25/1276.50 c #Conflicts: 856000 | #Constraints: 87124 1272.25/1276.50 c #Conflicts: 857000 | #Constraints: 88125 1818.10/1824.38 c #Conflicts: 858000 | #Constraints: 89126 1818.10/1824.38 c #Conflicts: 859000 | #Constraints: 90128 1818.10/1824.38 c #Conflicts: 860000 | #Constraints: 91128 1818.10/1824.38 c #Conflicts: 861000 | #Constraints: 92128 1818.10/1824.38 c #Conflicts: 862000 | #Constraints: 93129 1818.10/1824.38 c #Conflicts: 863000 | #Constraints: 94132 1818.10/1824.38 c #Conflicts: 864000 | #Constraints: 95139 1818.10/1824.38 c #Conflicts: 865000 | #Constraints: 96140 1818.10/1824.38 c #Conflicts: 866000 | #Constraints: 97140 1818.10/1824.38 c #Conflicts: 867000 | #Constraints: 98141 1818.10/1824.38 c #Conflicts: 868000 | #Constraints: 99141 1818.10/1824.38 c #Conflicts: 869000 | #Constraints: 100144 1818.10/1824.38 c #Conflicts: 870000 | #Constraints: 101144 1818.10/1824.38 c #Conflicts: 871000 | #Constraints: 102150 1818.10/1824.38 c #Conflicts: 872000 | #Constraints: 103150 1818.10/1824.38 c #Conflicts: 873000 | #Constraints: 104150 1818.10/1824.38 c #Conflicts: 874000 | #Constraints: 105150 1818.10/1824.38 c #Conflicts: 875000 | #Constraints: 106151 1818.10/1824.38 c #Conflicts: 876000 | #Constraints: 107151 1818.10/1824.38 c #Conflicts: 877000 | #Constraints: 108151 1818.10/1824.38 c INPROCESSING 1818.10/1824.38 c GARBAGE COLLECT 1818.10/1824.38 c #Conflicts: 878000 | #Constraints: 56316 1818.10/1824.38 c #Conflicts: 879000 | #Constraints: 57316 1818.10/1824.38 c #Conflicts: 880000 | #Constraints: 58316 1818.10/1824.38 c #Conflicts: 881000 | #Constraints: 59316 1818.10/1824.38 c #Conflicts: 882000 | #Constraints: 60317 1818.10/1824.38 c #Conflicts: 883000 | #Constraints: 61317 1818.10/1824.38 c #Conflicts: 884000 | #Constraints: 62317 1818.10/1824.38 c #Conflicts: 885000 | #Constraints: 63318 1818.10/1824.38 c #Conflicts: 886000 | #Constraints: 64318 1818.10/1824.38 c #Conflicts: 887000 | #Constraints: 65319 1818.10/1824.38 c #Conflicts: 888000 | #Constraints: 66319 1818.10/1824.38 c #Conflicts: 889000 | #Constraints: 67319 1818.10/1824.38 c #Conflicts: 890000 | #Constraints: 68319 1818.10/1824.38 c #Conflicts: 891000 | #Constraints: 69319 1818.10/1824.38 c #Conflicts: 892000 | #Constraints: 70320 1818.10/1824.38 c #Conflicts: 893000 | #Constraints: 71320 1818.10/1824.38 c #Conflicts: 894000 | #Constraints: 72320 1818.10/1824.38 c #Conflicts: 895000 | #Constraints: 73321 1818.10/1824.38 c #Conflicts: 896000 | #Constraints: 74322 1818.10/1824.38 c #Conflicts: 897000 | #Constraints: 75323 1818.10/1824.38 c INPROCESSING 1818.10/1824.38 c GARBAGE COLLECT 1818.10/1824.38 c #Conflicts: 898000 | #Constraints: 40314 1818.10/1824.38 c #Conflicts: 899000 | #Constraints: 41315 1818.10/1824.38 c #Conflicts: 900000 | #Constraints: 42317 1818.10/1824.38 c #Conflicts: 901000 | #Constraints: 43317 1818.10/1824.38 c #Conflicts: 902000 | #Constraints: 44317 1818.10/1824.38 c #Conflicts: 903000 | #Constraints: 45317 1818.10/1824.38 c #Conflicts: 904000 | #Constraints: 46332 1818.10/1824.38 c #Conflicts: 905000 | #Constraints: 47334 1818.10/1824.38 c #Conflicts: 906000 | #Constraints: 48334 1818.10/1824.38 c #Conflicts: 907000 | #Constraints: 49334 1818.10/1824.38 c #Conflicts: 908000 | #Constraints: 50334 1818.10/1824.38 c #Conflicts: 909000 | #Constraints: 51334 1818.10/1824.38 c #Conflicts: 910000 | #Constraints: 52335 1818.10/1824.38 c #Conflicts: 911000 | #Constraints: 53337 1818.10/1824.38 c #Conflicts: 912000 | #Constraints: 54337 1818.10/1824.38 c #Conflicts: 913000 | #Constraints: 55337 1818.10/1824.38 c #Conflicts: 914000 | #Constraints: 56337 1818.10/1824.38 c #Conflicts: 915000 | #Constraints: 57337 1818.10/1824.38 c #Conflicts: 916000 | #Constraints: 58338 1818.10/1824.38 c INPROCESSING 1818.10/1824.38 c GARBAGE COLLECT 1818.10/1824.38 c #Conflicts: 917000 | #Constraints: 31600 1818.10/1824.38 c #Conflicts: 918000 | #Constraints: 32600 1818.10/1824.38 c #Conflicts: 919000 | #Constraints: 33600 1818.10/1824.38 c #Conflicts: 920000 | #Constraints: 34600 1818.10/1824.38 c #Conflicts: 921000 | #Constraints: 35600 1818.10/1824.38 c #Conflicts: 922000 | #Constraints: 36600 1818.10/1824.38 c #Conflicts: 923000 | #Constraints: 37600 1818.10/1824.38 c #Conflicts: 924000 | #Constraints: 38600 1818.10/1824.38 c #Conflicts: 925000 | #Constraints: 39601 1818.10/1824.38 c #Conflicts: 926000 | #Constraints: 40601 1818.10/1824.38 c #Conflicts: 927000 | #Constraints: 41601 1818.10/1824.38 c #Conflicts: 928000 | #Constraints: 42601 1818.10/1824.38 c #Conflicts: 929000 | #Constraints: 43601 1818.10/1824.38 c #Conflicts: 930000 | #Constraints: 44602 1818.10/1824.38 c #Conflicts: 931000 | #Constraints: 45602 1818.10/1824.38 c #Conflicts: 932000 | #Constraints: 46603 1818.10/1824.38 c #Conflicts: 933000 | #Constraints: 47603 1818.10/1824.38 c #Conflicts: 934000 | #Constraints: 48604 1987.38/1994.20 c #Conflicts: 935000 | #Constraints: 49606 1987.38/1994.20 c #Conflicts: 936000 | #Constraints: 50606 1987.38/1994.20 c INPROCESSING 1987.38/1994.20 c GARBAGE COLLECT 1987.38/1994.20 c #Conflicts: 937000 | #Constraints: 27935 1987.38/1994.20 c #Conflicts: 938000 | #Constraints: 28935 1987.38/1994.20 c #Conflicts: 939000 | #Constraints: 29935 1987.38/1994.20 c #Conflicts: 940000 | #Constraints: 30936 1987.38/1994.20 c #Conflicts: 941000 | #Constraints: 31938 1987.38/1994.20 c #Conflicts: 942000 | #Constraints: 32938 1987.38/1994.20 c #Conflicts: 943000 | #Constraints: 33939 1987.38/1994.20 c #Conflicts: 944000 | #Constraints: 34939 1987.38/1994.20 c #Conflicts: 945000 | #Constraints: 35939 1987.38/1994.20 c #Conflicts: 946000 | #Constraints: 36941 1987.38/1994.20 c #Conflicts: 947000 | #Constraints: 37942 1987.38/1994.20 c #Conflicts: 948000 | #Constraints: 38942 1987.38/1994.20 c #Conflicts: 949000 | #Constraints: 39942 1987.38/1994.20 c #Conflicts: 950000 | #Constraints: 40942 1987.38/1994.20 c #Conflicts: 951000 | #Constraints: 41943 1987.38/1994.20 c #Conflicts: 952000 | #Constraints: 42943 1987.38/1994.20 c #Conflicts: 953000 | #Constraints: 43944 1987.38/1994.20 c #Conflicts: 954000 | #Constraints: 44945 1987.38/1994.20 c #Conflicts: 955000 | #Constraints: 45947 1987.38/1994.20 c INPROCESSING 1987.38/1994.20 c GARBAGE COLLECT 1987.38/1994.20 c #Conflicts: 956000 | #Constraints: 25217 1987.38/1994.20 c #Conflicts: 957000 | #Constraints: 26217 1987.38/1994.20 c #Conflicts: 958000 | #Constraints: 27217 1987.38/1994.20 c #Conflicts: 959000 | #Constraints: 28218 1987.38/1994.20 c #Conflicts: 960000 | #Constraints: 29219 1987.38/1994.20 c #Conflicts: 961000 | #Constraints: 30222 1987.38/1994.20 c #Conflicts: 962000 | #Constraints: 31222 1987.38/1994.20 c #Conflicts: 963000 | #Constraints: 32222 1987.38/1994.20 c #Conflicts: 964000 | #Constraints: 33222 1987.38/1994.20 c #Conflicts: 965000 | #Constraints: 34222 1987.38/1994.20 c #Conflicts: 966000 | #Constraints: 35222 1987.38/1994.20 c #Conflicts: 967000 | #Constraints: 36222 1987.38/1994.20 c #Conflicts: 968000 | #Constraints: 37222 1987.38/1994.20 c #Conflicts: 969000 | #Constraints: 38222 1987.38/1994.20 c #Conflicts: 970000 | #Constraints: 39223 1987.38/1994.20 c #Conflicts: 971000 | #Constraints: 40223 1987.38/1994.20 c #Conflicts: 972000 | #Constraints: 41225 1987.38/1994.20 c #Conflicts: 973000 | #Constraints: 42225 1987.38/1994.20 c #Conflicts: 974000 | #Constraints: 43225 1987.38/1994.20 c #Conflicts: 975000 | #Constraints: 44225 1987.38/1994.20 c INPROCESSING 1987.38/1994.20 c GARBAGE COLLECT 1987.38/1994.20 c #Conflicts: 976000 | #Constraints: 24347 1987.38/1994.20 c #Conflicts: 977000 | #Constraints: 25347 1987.38/1994.20 c #Conflicts: 978000 | #Constraints: 26347 1987.38/1994.20 c #Conflicts: 979000 | #Constraints: 27348 1987.38/1994.20 c #Conflicts: 980000 | #Constraints: 28351 1987.38/1994.20 c #Conflicts: 981000 | #Constraints: 29354 1987.38/1994.20 c #Conflicts: 982000 | #Constraints: 30354 1987.38/1994.20 c #Conflicts: 983000 | #Constraints: 31355 1987.38/1994.20 c #Conflicts: 984000 | #Constraints: 32356 1987.38/1994.20 c #Conflicts: 985000 | #Constraints: 33365 1987.38/1994.20 c #Conflicts: 986000 | #Constraints: 34366 1987.38/1994.20 c #Conflicts: 987000 | #Constraints: 35368 1987.38/1994.20 c #Conflicts: 988000 | #Constraints: 36378 1987.38/1994.20 c #Conflicts: 989000 | #Constraints: 37444 1987.38/1994.20 c #Conflicts: 990000 | #Constraints: 38444 1987.38/1994.20 c #Conflicts: 991000 | #Constraints: 39444 1987.38/1994.20 c #Conflicts: 992000 | #Constraints: 40444 1987.38/1994.20 c #Conflicts: 993000 | #Constraints: 41445 1987.38/1994.20 c #Conflicts: 994000 | #Constraints: 42470 1987.38/1994.20 c #Conflicts: 995000 | #Constraints: 43582 1987.38/1994.20 c #Conflicts: 996000 | #Constraints: 44582 1987.38/1994.20 c #Conflicts: 997000 | #Constraints: 45582 1987.38/1994.20 c #Conflicts: 998000 | #Constraints: 46584 1987.38/1994.20 c #Conflicts: 999000 | #Constraints: 47600 1987.38/1994.20 c #Conflicts: 1000000 | #Constraints: 48600 1987.38/1994.20 c #Conflicts: 1001000 | #Constraints: 49600 1987.38/1994.20 c #Conflicts: 1002000 | #Constraints: 50600 1987.38/1994.20 c #Conflicts: 1003000 | #Constraints: 51600 1987.38/1994.20 c #Conflicts: 1004000 | #Constraints: 52600 1987.38/1994.20 c #Conflicts: 1005000 | #Constraints: 53600 1987.38/1994.20 c #Conflicts: 1006000 | #Constraints: 54600 1987.38/1994.20 c #Conflicts: 1007000 | #Constraints: 55600 1987.38/1994.20 c #Conflicts: 1008000 | #Constraints: 56600 1987.38/1994.20 c #Conflicts: 1009000 | #Constraints: 57600 1987.38/1994.20 c #Conflicts: 1010000 | #Constraints: 58606 1987.38/1994.20 c #Conflicts: 1011000 | #Constraints: 59606 2160.06/2167.54 c #Conflicts: 1012000 | #Constraints: 60612 2160.06/2167.54 c #Conflicts: 1013000 | #Constraints: 61618 2160.06/2167.54 c #Conflicts: 1014000 | #Constraints: 62626 2160.06/2167.54 c #Conflicts: 1015000 | #Constraints: 63629 2160.06/2167.54 c #Conflicts: 1016000 | #Constraints: 64632 2160.06/2167.54 c #Conflicts: 1017000 | #Constraints: 65637 2160.06/2167.54 c #Conflicts: 1018000 | #Constraints: 66647 2160.06/2167.54 c #Conflicts: 1019000 | #Constraints: 67656 2160.06/2167.54 c #Conflicts: 1020000 | #Constraints: 68736 2160.06/2167.54 c #Conflicts: 1021000 | #Constraints: 69808 2160.06/2167.54 c #Conflicts: 1022000 | #Constraints: 71005 2160.06/2167.54 c #Conflicts: 1023000 | #Constraints: 72005 2160.06/2167.54 c #Conflicts: 1024000 | #Constraints: 73007 2160.06/2167.54 c #Conflicts: 1025000 | #Constraints: 74010 2160.06/2167.54 c #Conflicts: 1026000 | #Constraints: 75010 2160.06/2167.54 c #Conflicts: 1027000 | #Constraints: 76010 2160.06/2167.54 c #Conflicts: 1028000 | #Constraints: 77015 2160.06/2167.54 c #Conflicts: 1029000 | #Constraints: 78020 2160.06/2167.54 c #Conflicts: 1030000 | #Constraints: 79020 2160.06/2167.54 c #Conflicts: 1031000 | #Constraints: 80022 2160.06/2167.54 c #Conflicts: 1032000 | #Constraints: 81071 2160.06/2167.54 c #Conflicts: 1033000 | #Constraints: 82641 2160.06/2167.54 c #Conflicts: 1034000 | #Constraints: 84234 2160.06/2167.54 c #Conflicts: 1035000 | #Constraints: 85323 2160.06/2167.54 c #Conflicts: 1036000 | #Constraints: 86323 2160.06/2167.54 c #Conflicts: 1037000 | #Constraints: 87323 2160.06/2167.54 c #Conflicts: 1038000 | #Constraints: 88323 2160.06/2167.54 c #Conflicts: 1039000 | #Constraints: 89323 2160.06/2167.54 c #Conflicts: 1040000 | #Constraints: 90323 2160.06/2167.54 c #Conflicts: 1041000 | #Constraints: 91323 2160.06/2167.54 c #Conflicts: 1042000 | #Constraints: 92356 2160.06/2167.54 c #Conflicts: 1043000 | #Constraints: 93356 2160.06/2167.54 c #Conflicts: 1044000 | #Constraints: 94803 2160.06/2167.54 c #Conflicts: 1045000 | #Constraints: 96402 2160.06/2167.54 c #Conflicts: 1046000 | #Constraints: 97963 2160.06/2167.54 c #Conflicts: 1047000 | #Constraints: 99545 2160.06/2167.54 c #Conflicts: 1048000 | #Constraints: 101140 2160.06/2167.54 c #Conflicts: 1049000 | #Constraints: 102932 2160.06/2167.54 c #Conflicts: 1050000 | #Constraints: 104688 2160.06/2167.54 c #Conflicts: 1051000 | #Constraints: 106055 2160.06/2167.54 c #Conflicts: 1052000 | #Constraints: 107056 2160.06/2167.54 c #Conflicts: 1053000 | #Constraints: 108577 2160.06/2167.54 c #Conflicts: 1054000 | #Constraints: 109689 2160.06/2167.54 c #Conflicts: 1055000 | #Constraints: 111305 2160.06/2167.54 c #Conflicts: 1056000 | #Constraints: 112916 2160.06/2167.54 c #Conflicts: 1057000 | #Constraints: 114481 2160.06/2167.54 c #Conflicts: 1058000 | #Constraints: 116036 2160.06/2167.54 c #Conflicts: 1059000 | #Constraints: 117588 2160.06/2167.54 c #Conflicts: 1060000 | #Constraints: 119124 2160.06/2167.54 c #Conflicts: 1061000 | #Constraints: 120674 2160.06/2167.54 c #Conflicts: 1062000 | #Constraints: 122227 2160.06/2167.54 c #Conflicts: 1063000 | #Constraints: 123805 2160.06/2167.54 c #Conflicts: 1064000 | #Constraints: 125371 2160.06/2167.54 c #Conflicts: 1065000 | #Constraints: 126925 2160.06/2167.54 c #Conflicts: 1066000 | #Constraints: 128459 2160.06/2167.54 c #Conflicts: 1067000 | #Constraints: 130000 2160.06/2167.54 c #Conflicts: 1068000 | #Constraints: 131558 2160.06/2167.54 c #Conflicts: 1069000 | #Constraints: 133128 2160.06/2167.54 c #Conflicts: 1070000 | #Constraints: 134713 2160.06/2167.54 c INPROCESSING 2160.06/2167.54 c GARBAGE COLLECT 2160.06/2167.54 c #Conflicts: 1071000 | #Constraints: 70121 2160.06/2167.54 c #Conflicts: 1072000 | #Constraints: 71945 2160.06/2167.54 c #Conflicts: 1073000 | #Constraints: 73569 2160.06/2167.54 c #Conflicts: 1074000 | #Constraints: 75501 2160.06/2167.54 c #Conflicts: 1075000 | #Constraints: 77432 2160.06/2167.54 c #Conflicts: 1076000 | #Constraints: 79342 2160.06/2167.54 c #Conflicts: 1077000 | #Constraints: 81311 2160.06/2167.54 c #Conflicts: 1078000 | #Constraints: 83269 2160.06/2167.54 c #Conflicts: 1079000 | #Constraints: 85168 2160.06/2167.54 c #Conflicts: 1080000 | #Constraints: 87117 2160.06/2167.54 c #Conflicts: 1081000 | #Constraints: 89095 2160.06/2167.54 c #Conflicts: 1082000 | #Constraints: 91056 2160.06/2167.54 c #Conflicts: 1083000 | #Constraints: 93020 2160.06/2167.54 c #Conflicts: 1084000 | #Constraints: 94935 2160.06/2167.54 c #Conflicts: 1085000 | #Constraints: 96878 2160.06/2167.54 c #Conflicts: 1086000 | #Constraints: 98854 2160.06/2167.54 c #Conflicts: 1087000 | #Constraints: 100828 2160.06/2167.54 c #Conflicts: 1088000 | #Constraints: 102807 2160.06/2167.54 c #Conflicts: 1089000 | #Constraints: 104790 2460.03/2468.59 c #Conflicts: 1090000 | #Constraints: 106767 2460.03/2468.59 c #Conflicts: 1091000 | #Constraints: 108755 2460.03/2468.59 c #Conflicts: 1092000 | #Constraints: 110712 2460.03/2468.59 c INPROCESSING 2460.03/2468.59 c GARBAGE COLLECT 2460.03/2468.59 c #Conflicts: 1093000 | #Constraints: 57992 2460.03/2468.59 c #Conflicts: 1094000 | #Constraints: 58992 2460.03/2468.59 c #Conflicts: 1095000 | #Constraints: 59992 2460.03/2468.59 c #Conflicts: 1096000 | #Constraints: 60992 2460.03/2468.59 c #Conflicts: 1097000 | #Constraints: 61992 2460.03/2468.59 c #Conflicts: 1098000 | #Constraints: 62992 2460.03/2468.59 c #Conflicts: 1099000 | #Constraints: 63992 2460.03/2468.59 c #Conflicts: 1100000 | #Constraints: 64992 2460.03/2468.59 c #Conflicts: 1101000 | #Constraints: 65996 2460.03/2468.59 c #Conflicts: 1102000 | #Constraints: 67035 2460.03/2468.59 c #Conflicts: 1103000 | #Constraints: 68036 2460.03/2468.59 c #Conflicts: 1104000 | #Constraints: 69044 2460.03/2468.59 c #Conflicts: 1105000 | #Constraints: 70055 2460.03/2468.59 c #Conflicts: 1106000 | #Constraints: 71114 2460.03/2468.59 c #Conflicts: 1107000 | #Constraints: 72115 2460.03/2468.59 c #Conflicts: 1108000 | #Constraints: 73116 2460.03/2468.59 c #Conflicts: 1109000 | #Constraints: 74116 2460.03/2468.59 c #Conflicts: 1110000 | #Constraints: 75116 2460.03/2468.59 c #Conflicts: 1111000 | #Constraints: 76116 2460.03/2468.59 c #Conflicts: 1112000 | #Constraints: 77116 2460.03/2468.59 c #Conflicts: 1113000 | #Constraints: 78116 2460.03/2468.59 c INPROCESSING 2460.03/2468.59 c GARBAGE COLLECT 2460.03/2468.59 c #Conflicts: 1114000 | #Constraints: 41443 2460.03/2468.59 c #Conflicts: 1115000 | #Constraints: 42443 2460.03/2468.59 c #Conflicts: 1116000 | #Constraints: 43443 2460.03/2468.59 c #Conflicts: 1117000 | #Constraints: 44443 2460.03/2468.59 c #Conflicts: 1118000 | #Constraints: 45443 2460.03/2468.59 c #Conflicts: 1119000 | #Constraints: 46443 2460.03/2468.59 c #Conflicts: 1120000 | #Constraints: 47443 2460.03/2468.59 c #Conflicts: 1121000 | #Constraints: 48443 2460.03/2468.59 c #Conflicts: 1122000 | #Constraints: 49443 2460.03/2468.59 c #Conflicts: 1123000 | #Constraints: 50444 2460.03/2468.59 c #Conflicts: 1124000 | #Constraints: 51954 2460.03/2468.59 c #Conflicts: 1125000 | #Constraints: 53936 2460.03/2468.59 c #Conflicts: 1126000 | #Constraints: 54937 2460.03/2468.59 c #Conflicts: 1127000 | #Constraints: 55938 2460.03/2468.59 c #Conflicts: 1128000 | #Constraints: 56938 2460.03/2468.59 c #Conflicts: 1129000 | #Constraints: 57939 2460.03/2468.59 c #Conflicts: 1130000 | #Constraints: 58942 2460.03/2468.59 c #Conflicts: 1131000 | #Constraints: 59943 2460.03/2468.59 c #Conflicts: 1132000 | #Constraints: 60943 2460.03/2468.59 c #Conflicts: 1133000 | #Constraints: 61943 2460.03/2468.59 c #Conflicts: 1134000 | #Constraints: 62943 2460.03/2468.59 c #Conflicts: 1135000 | #Constraints: 63943 2460.03/2468.59 c INPROCESSING 2460.03/2468.59 c GARBAGE COLLECT 2460.03/2468.59 c #Conflicts: 1136000 | #Constraints: 34497 2460.03/2468.59 c #Conflicts: 1137000 | #Constraints: 35497 2460.03/2468.59 c #Conflicts: 1138000 | #Constraints: 36499 2460.03/2468.59 c #Conflicts: 1139000 | #Constraints: 37500 2460.03/2468.59 c #Conflicts: 1140000 | #Constraints: 38501 2460.03/2468.59 c #Conflicts: 1141000 | #Constraints: 39505 2460.03/2468.59 c #Conflicts: 1142000 | #Constraints: 40507 2460.03/2468.59 c #Conflicts: 1143000 | #Constraints: 41515 2460.03/2468.59 c #Conflicts: 1144000 | #Constraints: 42516 2460.03/2468.59 c #Conflicts: 1145000 | #Constraints: 43518 2460.03/2468.59 c #Conflicts: 1146000 | #Constraints: 44519 2460.03/2468.59 c #Conflicts: 1147000 | #Constraints: 45519 2460.03/2468.59 c #Conflicts: 1148000 | #Constraints: 46520 2460.03/2468.59 c #Conflicts: 1149000 | #Constraints: 47521 2460.03/2468.59 c #Conflicts: 1150000 | #Constraints: 48521 2460.03/2468.59 c #Conflicts: 1151000 | #Constraints: 49522 2460.03/2468.59 c #Conflicts: 1152000 | #Constraints: 50522 2460.03/2468.59 c #Conflicts: 1153000 | #Constraints: 51522 2460.03/2468.59 c #Conflicts: 1154000 | #Constraints: 52522 2460.03/2468.59 c #Conflicts: 1155000 | #Constraints: 53522 2460.03/2468.59 c #Conflicts: 1156000 | #Constraints: 54523 2460.03/2468.59 c #Conflicts: 1157000 | #Constraints: 55524 2460.03/2468.59 c INPROCESSING 2460.03/2468.59 c GARBAGE COLLECT 2460.03/2468.59 c #Conflicts: 1158000 | #Constraints: 30339 2460.03/2468.59 c #Conflicts: 1159000 | #Constraints: 31339 2460.03/2468.59 c #Conflicts: 1160000 | #Constraints: 32339 2460.03/2468.59 c #Conflicts: 1161000 | #Constraints: 33340 2460.03/2468.59 c #Conflicts: 1162000 | #Constraints: 34342 2460.03/2468.59 c #Conflicts: 1163000 | #Constraints: 35342 2460.03/2468.59 c #Conflicts: 1164000 | #Constraints: 36343 2460.03/2468.59 c #Conflicts: 1165000 | #Constraints: 37344 2486.84/2495.40 c #Conflicts: 1166000 | #Constraints: 38345 2486.84/2495.40 c #Conflicts: 1167000 | #Constraints: 39345 2486.84/2495.40 c #Conflicts: 1168000 | #Constraints: 40345 2486.84/2495.40 c #Conflicts: 1169000 | #Constraints: 41346 2486.84/2495.40 c #Conflicts: 1170000 | #Constraints: 42349 2486.84/2495.40 c #Conflicts: 1171000 | #Constraints: 43355 2486.84/2495.40 c #Conflicts: 1172000 | #Constraints: 44357 2486.84/2495.40 c #Conflicts: 1173000 | #Constraints: 45357 2486.84/2495.40 c #Conflicts: 1174000 | #Constraints: 46357 2486.84/2495.40 c #Conflicts: 1175000 | #Constraints: 47368 2486.84/2495.40 c #Conflicts: 1176000 | #Constraints: 48368 2486.84/2495.40 c #Conflicts: 1177000 | #Constraints: 49368 2486.84/2495.40 c #Conflicts: 1178000 | #Constraints: 50368 2486.84/2495.40 c #Conflicts: 1179000 | #Constraints: 51369 2486.84/2495.40 c INPROCESSING 2486.84/2495.40 c GARBAGE COLLECT 2486.84/2495.40 c rational objective 5.79567 2532.99/2541.74 c #Conflicts: 1180000 | #Constraints: 28227 2532.99/2541.74 c #Conflicts: 1181000 | #Constraints: 29228 2532.99/2541.74 c #Conflicts: 1182000 | #Constraints: 30228 2532.99/2541.74 c #Conflicts: 1183000 | #Constraints: 31229 2532.99/2541.74 c #Conflicts: 1184000 | #Constraints: 32229 2532.99/2541.74 c #Conflicts: 1185000 | #Constraints: 33230 2532.99/2541.74 c #Conflicts: 1186000 | #Constraints: 34230 2532.99/2541.74 c #Conflicts: 1187000 | #Constraints: 35231 2532.99/2541.74 c #Conflicts: 1188000 | #Constraints: 36231 2532.99/2541.74 c #Conflicts: 1189000 | #Constraints: 37231 2532.99/2541.74 c #Conflicts: 1190000 | #Constraints: 38231 2532.99/2541.74 c #Conflicts: 1191000 | #Constraints: 39231 2532.99/2541.74 c #Conflicts: 1192000 | #Constraints: 40231 2532.99/2541.74 c #Conflicts: 1193000 | #Constraints: 41231 2532.99/2541.74 c #Conflicts: 1194000 | #Constraints: 42232 2532.99/2541.74 c #Conflicts: 1195000 | #Constraints: 43233 2532.99/2541.74 c #Conflicts: 1196000 | #Constraints: 44233 2532.99/2541.74 c #Conflicts: 1197000 | #Constraints: 45233 2532.99/2541.74 c #Conflicts: 1198000 | #Constraints: 46233 2532.99/2541.74 c #Conflicts: 1199000 | #Constraints: 47233 2532.99/2541.74 c #Conflicts: 1200000 | #Constraints: 48233 2532.99/2541.74 c #Conflicts: 1201000 | #Constraints: 49233 2532.99/2541.74 c INPROCESSING 2532.99/2541.74 c GARBAGE COLLECT 2532.99/2541.74 c rational objective 5.95165 2592.39/2601.34 c #Conflicts: 1202000 | #Constraints: 27004 2592.39/2601.34 c #Conflicts: 1203000 | #Constraints: 28004 2592.39/2601.34 c #Conflicts: 1204000 | #Constraints: 29004 2592.39/2601.34 c #Conflicts: 1205000 | #Constraints: 30004 2592.39/2601.34 c #Conflicts: 1206000 | #Constraints: 31004 2592.39/2601.34 c #Conflicts: 1207000 | #Constraints: 32004 2592.39/2601.34 c #Conflicts: 1208000 | #Constraints: 33005 2592.39/2601.34 c #Conflicts: 1209000 | #Constraints: 34005 2592.39/2601.34 c #Conflicts: 1210000 | #Constraints: 35005 2592.39/2601.34 c #Conflicts: 1211000 | #Constraints: 36006 2592.39/2601.34 c #Conflicts: 1212000 | #Constraints: 37008 2592.39/2601.34 c #Conflicts: 1213000 | #Constraints: 38008 2592.39/2601.34 c #Conflicts: 1214000 | #Constraints: 39008 2592.39/2601.34 c #Conflicts: 1215000 | #Constraints: 40009 2592.39/2601.34 c #Conflicts: 1216000 | #Constraints: 41009 2592.39/2601.34 c #Conflicts: 1217000 | #Constraints: 42009 2592.39/2601.34 c #Conflicts: 1218000 | #Constraints: 43010 2592.39/2601.34 c #Conflicts: 1219000 | #Constraints: 44010 2592.39/2601.34 c #Conflicts: 1220000 | #Constraints: 45011 2592.39/2601.34 c #Conflicts: 1221000 | #Constraints: 46011 2592.39/2601.34 c #Conflicts: 1222000 | #Constraints: 47012 2592.39/2601.34 c #Conflicts: 1223000 | #Constraints: 48012 2592.39/2601.34 c #Conflicts: 1224000 | #Constraints: 49014 2592.39/2601.34 c INPROCESSING 2592.39/2601.34 c GARBAGE COLLECT 2592.39/2601.34 c rational objective 6.09992 2635.44/2644.54 c #Conflicts: 1225000 | #Constraints: 27155 2635.44/2644.54 c #Conflicts: 1226000 | #Constraints: 28155 2635.44/2644.54 c #Conflicts: 1227000 | #Constraints: 29155 2635.44/2644.54 c #Conflicts: 1228000 | #Constraints: 30155 2635.44/2644.54 c #Conflicts: 1229000 | #Constraints: 31155 2635.44/2644.54 c #Conflicts: 1230000 | #Constraints: 32155 2635.44/2644.54 c #Conflicts: 1231000 | #Constraints: 33156 2635.44/2644.54 c #Conflicts: 1232000 | #Constraints: 34156 2635.44/2644.54 c #Conflicts: 1233000 | #Constraints: 35156 2635.44/2644.54 c #Conflicts: 1234000 | #Constraints: 36156 2635.44/2644.54 c #Conflicts: 1235000 | #Constraints: 37156 2635.44/2644.54 c #Conflicts: 1236000 | #Constraints: 38156 2635.44/2644.54 c #Conflicts: 1237000 | #Constraints: 39158 2635.44/2644.54 c #Conflicts: 1238000 | #Constraints: 40158 2635.44/2644.54 c #Conflicts: 1239000 | #Constraints: 41159 2635.44/2644.54 c #Conflicts: 1240000 | #Constraints: 42160 2635.44/2644.54 c #Conflicts: 1241000 | #Constraints: 43160 2635.44/2644.54 c #Conflicts: 1242000 | #Constraints: 44160 2635.44/2644.54 c #Conflicts: 1243000 | #Constraints: 45160 2635.44/2644.54 c #Conflicts: 1244000 | #Constraints: 46160 2635.44/2644.54 c #Conflicts: 1245000 | #Constraints: 47161 2635.44/2644.54 c #Conflicts: 1246000 | #Constraints: 48161 2635.44/2644.54 c INPROCESSING 2635.44/2644.54 c GARBAGE COLLECT 2635.44/2644.54 c rational objective 6.12059 3396.51/3408.34 c #Conflicts: 1247000 | #Constraints: 26366 3396.51/3408.34 c #Conflicts: 1248000 | #Constraints: 27366 3396.51/3408.34 c #Conflicts: 1249000 | #Constraints: 28366 3396.51/3408.34 c #Conflicts: 1250000 | #Constraints: 29367 3396.51/3408.34 c #Conflicts: 1251000 | #Constraints: 30367 3396.51/3408.34 c #Conflicts: 1252000 | #Constraints: 31368 3396.51/3408.34 c #Conflicts: 1253000 | #Constraints: 32368 3396.51/3408.34 c #Conflicts: 1254000 | #Constraints: 33368 3396.51/3408.34 c #Conflicts: 1255000 | #Constraints: 34368 3396.51/3408.34 c #Conflicts: 1256000 | #Constraints: 35368 3396.51/3408.34 c #Conflicts: 1257000 | #Constraints: 36368 3396.51/3408.34 c #Conflicts: 1258000 | #Constraints: 37368 3396.51/3408.34 c #Conflicts: 1259000 | #Constraints: 38369 3396.51/3408.34 c #Conflicts: 1260000 | #Constraints: 39369 3396.51/3408.34 c #Conflicts: 1261000 | #Constraints: 40370 3396.51/3408.34 c #Conflicts: 1262000 | #Constraints: 41371 3396.51/3408.34 c #Conflicts: 1263000 | #Constraints: 42372 3396.51/3408.34 c #Conflicts: 1264000 | #Constraints: 43372 3396.51/3408.34 c #Conflicts: 1265000 | #Constraints: 44373 3396.51/3408.34 c #Conflicts: 1266000 | #Constraints: 45375 3396.51/3408.34 c #Conflicts: 1267000 | #Constraints: 46375 3396.51/3408.34 c #Conflicts: 1268000 | #Constraints: 47376 3396.51/3408.34 c #Conflicts: 1269000 | #Constraints: 48376 3396.51/3408.34 c #Conflicts: 1270000 | #Constraints: 49377 3396.51/3408.34 c #Conflicts: 1271000 | #Constraints: 50378 3396.51/3408.34 c #Conflicts: 1272000 | #Constraints: 51379 3396.51/3408.34 c #Conflicts: 1273000 | #Constraints: 52379 3396.51/3408.34 c #Conflicts: 1274000 | #Constraints: 53381 3396.51/3408.34 c #Conflicts: 1275000 | #Constraints: 54381 3396.51/3408.34 c #Conflicts: 1276000 | #Constraints: 55382 3396.51/3408.34 c #Conflicts: 1277000 | #Constraints: 56383 3396.51/3408.34 c #Conflicts: 1278000 | #Constraints: 57383 3396.51/3408.34 c #Conflicts: 1279000 | #Constraints: 58383 3396.51/3408.34 c #Conflicts: 1280000 | #Constraints: 59383 3396.51/3408.34 c #Conflicts: 1281000 | #Constraints: 60383 3396.51/3408.34 c #Conflicts: 1282000 | #Constraints: 61383 3396.51/3408.34 c #Conflicts: 1283000 | #Constraints: 62383 3396.51/3408.34 c #Conflicts: 1284000 | #Constraints: 63383 3396.51/3408.34 c #Conflicts: 1285000 | #Constraints: 64383 3396.51/3408.34 c #Conflicts: 1286000 | #Constraints: 65383 3396.51/3408.34 c #Conflicts: 1287000 | #Constraints: 66383 3396.51/3408.34 c #Conflicts: 1288000 | #Constraints: 67383 3396.51/3408.34 c #Conflicts: 1289000 | #Constraints: 68383 3396.51/3408.34 c #Conflicts: 1290000 | #Constraints: 69383 3396.51/3408.34 c #Conflicts: 1291000 | #Constraints: 70383 3396.51/3408.34 c #Conflicts: 1292000 | #Constraints: 71383 3396.51/3408.34 c #Conflicts: 1293000 | #Constraints: 72383 3396.51/3408.34 c #Conflicts: 1294000 | #Constraints: 73383 3396.51/3408.34 c #Conflicts: 1295000 | #Constraints: 74384 3396.51/3408.34 c #Conflicts: 1296000 | #Constraints: 75385 3396.51/3408.34 c #Conflicts: 1297000 | #Constraints: 76385 3396.51/3408.34 c #Conflicts: 1298000 | #Constraints: 77385 3396.51/3408.34 c #Conflicts: 1299000 | #Constraints: 78386 3396.51/3408.34 c #Conflicts: 1300000 | #Constraints: 79386 3396.51/3408.34 c #Conflicts: 1301000 | #Constraints: 80387 3396.51/3408.34 c #Conflicts: 1302000 | #Constraints: 81387 3396.51/3408.34 c #Conflicts: 1303000 | #Constraints: 82387 3396.51/3408.34 c #Conflicts: 1304000 | #Constraints: 83388 3396.51/3408.34 c #Conflicts: 1305000 | #Constraints: 84389 3396.51/3408.34 c #Conflicts: 1306000 | #Constraints: 85390 3396.51/3408.34 c #Conflicts: 1307000 | #Constraints: 86391 3396.51/3408.34 c #Conflicts: 1308000 | #Constraints: 87393 3396.51/3408.34 c #Conflicts: 1309000 | #Constraints: 88393 3396.51/3408.34 c #Conflicts: 1310000 | #Constraints: 89393 3396.51/3408.34 c #Conflicts: 1311000 | #Constraints: 90393 3396.51/3408.34 c #Conflicts: 1312000 | #Constraints: 91393 3396.51/3408.34 c #Conflicts: 1313000 | #Constraints: 92393 3396.51/3408.34 c #Conflicts: 1314000 | #Constraints: 93393 3396.51/3408.34 c #Conflicts: 1315000 | #Constraints: 94393 3396.51/3408.34 c #Conflicts: 1316000 | #Constraints: 95393 3396.51/3408.34 c #Conflicts: 1317000 | #Constraints: 96393 3396.51/3408.34 c #Conflicts: 1318000 | #Constraints: 97393 3396.51/3408.34 c #Conflicts: 1319000 | #Constraints: 98393 3396.51/3408.34 c #Conflicts: 1320000 | #Constraints: 99393 3396.51/3408.34 c #Conflicts: 1321000 | #Constraints: 100393 3396.51/3408.34 c #Conflicts: 1322000 | #Constraints: 101393 3396.51/3408.34 c #Conflicts: 1323000 | #Constraints: 102393 3396.51/3408.34 c #Conflicts: 1324000 | #Constraints: 103393 3396.51/3408.34 c #Conflicts: 1325000 | #Constraints: 104394 3600.04/3612.60 c #Conflicts: 1326000 | #Constraints: 105394 3600.04/3612.60 c #Conflicts: 1327000 | #Constraints: 106394 3600.04/3612.60 c #Conflicts: 1328000 | #Constraints: 107394 3600.04/3612.60 c #Conflicts: 1329000 | #Constraints: 108394 3600.04/3612.60 c #Conflicts: 1330000 | #Constraints: 109395 3600.04/3612.60 c Program interrupted by user. 3600.04/3612.60 c cpu time 3569.88 s 3600.04/3612.60 c deterministic time 344443363773 3.44e+11 3600.04/3612.60 c optimization time 961.896 s 3600.04/3612.60 c total solve time 2607.98 s 3600.04/3612.60 c core-guided solve time 0 s 3600.04/3612.60 c propagation time 3270.24 s 3600.04/3612.60 c conflict analysis time 113.716 s 3600.04/3612.60 c propagations 70495804 3600.04/3612.60 c resolve steps 7538763 3600.04/3612.60 c decisions 10930880 3600.04/3612.60 c conflicts 1330453 3600.04/3612.60 c restarts 2556 3600.04/3612.60 c inprocessing phases 91 3600.04/3612.60 c input clauses 1134 3600.04/3612.60 c input cardinalities 0 3600.04/3612.60 c input general constraints 1681 3600.04/3612.60 c input average constraint length 3.79 3600.04/3612.60 c input average constraint degree 1562361107.37 3600.04/3612.60 c learned clauses 381635 3600.04/3612.60 c learned cardinalities 4778 3600.04/3612.60 c learned general constraints 983736 3600.04/3612.60 c learned average constraint length 83.50 3600.04/3612.60 c learned average constraint degree 343909596.61 3600.04/3612.60 c watched constraints 885329 3600.04/3612.60 c counting constraints 100088 3600.04/3612.60 c gcd simplifications 73914 3600.04/3612.60 c detected cardinalities 1336 3600.04/3612.60 c weakened non-implied lits 6914565 3600.04/3612.60 c weakened non-implying lits 515375 3600.04/3612.60 c original variables 2688 3600.04/3612.60 c clausal propagations 17303760 3600.04/3612.60 c cardinality propagations 111854 3600.04/3612.60 c watched propagations 12028608 3600.04/3612.60 c counting propagations 40263227 3600.04/3612.60 c watch lookups 56316225016 3600.04/3612.60 c watch backjump lookups 53958676205 3600.04/3612.60 c watch checks 117755133039 3600.04/3612.60 c propagation checks 115911238447 3600.04/3612.60 c constraint additions 335359867 3600.04/3612.60 c trail pops 82756207 3600.04/3612.60 c formula constraints 2815 3600.04/3612.60 c learned constraints 1330335 3600.04/3612.60 c bound constraints 0 3600.04/3612.60 c core-guided constraints 0 3600.04/3612.60 c encountered formula constraints 3859739 3600.04/3612.60 c encountered learned constraints 4995217 3600.04/3612.60 c encountered bound constraints 0 3600.04/3612.60 c encountered core-guided constraints 0 3600.04/3612.60 c LP total time 449.052 s 3600.04/3612.60 c LP solve time 430.65 s 3600.04/3612.60 c LP constraints added 2999 3600.04/3612.60 c LP constraints removed 151 3600.04/3612.60 c LP pivots internal 1330680 3600.04/3612.60 c LP pivots root 1217627 3600.04/3612.60 c LP calls 40066 3600.04/3612.60 c LP optimalities 333 3600.04/3612.60 c LP no pivot count 88 3600.04/3612.60 c LP infeasibilities 39670 3600.04/3612.60 c LP valid Farkas constraints 39651 3600.04/3612.60 c LP learned Farkas constraints 118 3600.04/3612.60 c LP basis resets 71 3600.04/3612.60 c LP cycling count 12 3600.04/3612.60 c LP singular count 42 3600.04/3612.60 c LP no primal count 0 3600.04/3612.60 c LP no farkas count 16 3600.04/3612.60 c LP other issue count 1 3600.04/3612.60 c LP Gomory cuts 45 3600.04/3612.60 c LP learned cuts 139 3600.04/3612.60 c LP deleted cuts 151 3600.04/3612.60 c LP encountered Gomory constraints 148 3600.04/3612.60 c LP encountered Farkas constraints 11898 3600.04/3612.60 c LP encountered learned Farkas constraints 2096 3600.04/3612.60 c CG auxiliary variables introduced 0 3600.04/3612.60 c CG solutions found 0 3600.04/3612.60 c CG cores constructed 0 3600.04/3612.60 c CG core cardinality constraints returned 0 3600.04/3612.60 c CG unit cores 0 3600.04/3612.60 c CG single cores 0 3600.04/3612.60 c CG blocks removed during cardinality reduction 0 3600.04/3612.60 c CG first core best 0 3600.04/3612.60 c CG decision core best 0 3600.04/3612.60 c CG core reduction tie 0 3600.04/3612.60 c CG core degree average 0.00 3600.04/3612.60 c CG core slack average 0.00 3600.04/3612.60 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62698 MiB free)
memory of node 1: 64473 MiB (62632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455840-1721469003/watcher-4455840-1721469003 -o /tmp/evaluation-result-4455840-1721469003/solver-4455840-1721469003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721465399-1050995 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455840-1721469003.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=1053677, runsolver pid=1053674
[startup+0.100588 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128330940/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=42836 memory=14820 CPUtime=0.09 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 1835 0 0 0 8 1 0 0 20 0 1 0 199066981 43864064 3705 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 10709 3705 1740 922 0 2661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 14820 KiB
[startup+0.205375 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128330136/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=43516 memory=15556 CPUtime=0.2 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 1979 0 0 0 17 3 0 0 20 0 1 0 199066981 44560384 3889 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 10879 3889 1798 922 0 2831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43516 KiB
Current children cumulated memory: 15556 KiB
[startup+0.304464 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128329352/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=44012 memory=15820 CPUtime=0.29 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 2070 0 0 0 26 3 0 0 20 0 1 0 199066981 45068288 3955 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 11003 3955 1798 922 0 2955 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 15820 KiB
[startup+0.700154 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128328508/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=45016 memory=16876 CPUtime=0.69 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 2322 0 0 0 62 7 0 0 20 0 1 0 199066981 46096384 4219 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 11254 4219 1798 922 0 3206 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45016 KiB
Current children cumulated memory: 16876 KiB
[startup+1.50015 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128326440/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=45368 memory=17404 CPUtime=1.48 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 2455 0 0 0 137 11 0 0 20 0 1 0 199066981 46456832 4351 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 11342 4351 1798 922 0 3294 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45368 KiB
Current children cumulated memory: 17404 KiB
[startup+3.10563 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128319492/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=47968 memory=19776 CPUtime=3.08 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 3037 0 0 0 289 19 0 0 20 0 1 0 199066981 49119232 4944 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 11992 4944 1798 922 0 3944 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47968 KiB
Current children cumulated memory: 19776 KiB
[startup+6.30014 s]
/proc/loadavg: 4.03 4.09 4.10 5/257 1053680
/proc/meminfo: memFree=128314316/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=48204 memory=20764 CPUtime=6.27 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 3432 0 0 0 595 32 0 0 20 0 1 0 199066981 49360896 5191 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 12051 5191 1926 922 0 4003 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48204 KiB
Current children cumulated memory: 20764 KiB
[startup+12.7001 s]
/proc/loadavg: 4.03 4.09 4.10 5/257 1053680
/proc/meminfo: memFree=128304768/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=49160 memory=21856 CPUtime=12.65 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 3800 0 0 0 1208 57 0 0 20 0 1 0 199066981 50339840 5464 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 12290 5464 1942 922 0 4242 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 49160 KiB
Current children cumulated memory: 21856 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1053681
/proc/meminfo: memFree=128290856/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=51856 memory=26300 CPUtime=25.41 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 5027 0 0 0 2439 102 0 0 20 0 1 0 199066981 53100544 6575 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 12964 6575 1942 922 0 4916 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 51856 KiB
Current children cumulated memory: 26300 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1053687
/proc/meminfo: memFree=128245124/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=63676 memory=35724 CPUtime=50.94 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 7844 0 0 0 4905 189 0 0 20 0 1 0 199066981 65204224 8931 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 15919 8931 1942 922 0 7871 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 63676 KiB
Current children cumulated memory: 35724 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.08 4.09 5/257 1053695
/proc/meminfo: memFree=128199156/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=82332 memory=53408 CPUtime=101.99 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 11939 0 0 0 9865 334 0 0 20 0 1 0 199066981 84307968 13352 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 20583 13352 1942 922 0 12535 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 82332 KiB
Current children cumulated memory: 53408 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 1053797
/proc/meminfo: memFree=128091284/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=92980 memory=65556 CPUtime=161.8 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 16545 0 0 0 15656 524 0 0 20 0 1 0 199066981 95211520 16389 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 23245 16389 1942 922 0 15197 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 92980 KiB
Current children cumulated memory: 65556 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 1053808
/proc/meminfo: memFree=128070152/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=101380 memory=73036 CPUtime=221.6 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 18623 0 0 0 21466 694 0 0 20 0 1 0 199066981 103813120 18259 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 25345 18259 1942 922 0 17297 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 101380 KiB
Current children cumulated memory: 73036 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1053819
/proc/meminfo: memFree=128030756/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=115216 memory=84532 CPUtime=281.39 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 19490 0 0 0 27340 799 0 0 20 0 1 0 199066981 117981184 21133 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 28804 21133 1942 922 0 20756 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 115216 KiB
Current children cumulated memory: 84532 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1054213
/proc/meminfo: memFree=128012472/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=127496 memory=95916 CPUtime=341.18 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 22725 0 0 0 33189 929 0 0 20 0 1 0 199066981 130555904 23979 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 31874 23979 1942 922 0 23826 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 127496 KiB
Current children cumulated memory: 95916 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1054224
/proc/meminfo: memFree=127992112/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=131804 memory=103568 CPUtime=400.99 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 24739 0 0 0 39042 1057 0 0 20 0 1 0 199066981 134967296 25892 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 32951 25892 1942 922 0 24903 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 131804 KiB
Current children cumulated memory: 103568 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1054237
/proc/meminfo: memFree=127950584/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=156224 memory=113256 CPUtime=460.8 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 26249 0 0 0 44967 1113 0 0 20 0 1 0 199066981 159973376 28314 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 39056 28314 1942 922 0 31008 0
################
# More data... #
################
Current children cumulated memory: 237860 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 1055465
/proc/meminfo: memFree=127500736/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=270584 memory=237864 CPUtime=2852.46 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 50237 0 0 0 282343 2903 0 0 20 0 1 0 199066981 277078016 59466 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 67646 59466 1942 922 0 59598 0
Current children cumulated CPU time: 2852.46 s
Current children cumulated vsize: 270584 KiB
Current children cumulated memory: 237864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1055475
/proc/meminfo: memFree=127479252/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=270584 memory=237864 CPUtime=2912.25 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 50333 0 0 0 288307 2918 0 0 20 0 1 0 199066981 277078016 59466 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 67646 59466 1942 922 0 59598 0
Current children cumulated CPU time: 2912.25 s
Current children cumulated vsize: 270584 KiB
Current children cumulated memory: 237864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1055485
/proc/meminfo: memFree=127472600/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=270584 memory=237868 CPUtime=2972.04 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 50431 0 0 0 294274 2930 0 0 20 0 1 0 199066981 277078016 59467 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 67646 59467 1942 922 0 59598 0
Current children cumulated CPU time: 2972.04 s
Current children cumulated vsize: 270584 KiB
Current children cumulated memory: 237868 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1055501
/proc/meminfo: memFree=127466648/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=271864 memory=238460 CPUtime=3031.85 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 50700 0 0 0 300239 2946 0 0 20 0 1 0 199066981 278388736 59615 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 67966 59615 1942 922 0 59918 0
Current children cumulated CPU time: 3031.85 s
Current children cumulated vsize: 271864 KiB
Current children cumulated memory: 238460 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1055511
/proc/meminfo: memFree=127462784/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=272888 memory=239728 CPUtime=3091.64 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 50942 0 0 0 306204 2960 0 0 20 0 1 0 199066981 279437312 59932 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 68222 59932 1942 922 0 60174 0
Current children cumulated CPU time: 3091.64 s
Current children cumulated vsize: 272888 KiB
Current children cumulated memory: 239728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1055522
/proc/meminfo: memFree=127450548/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=274424 memory=240568 CPUtime=3151.42 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 51257 0 0 0 312177 2965 0 0 20 0 1 0 199066981 281010176 60142 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 68606 60142 1942 922 0 60558 0
Current children cumulated CPU time: 3151.42 s
Current children cumulated vsize: 274424 KiB
Current children cumulated memory: 240568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1055533
/proc/meminfo: memFree=127445872/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=277496 memory=242328 CPUtime=3211.2 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 51824 0 0 0 318146 2974 0 0 20 0 1 0 199066981 284155904 60582 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 69374 60582 1942 922 0 61326 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 277496 KiB
Current children cumulated memory: 242328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 1055544
/proc/meminfo: memFree=127435692/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=279288 memory=243500 CPUtime=3270.98 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 52214 0 0 0 324118 2980 0 0 20 0 1 0 199066981 285990912 60875 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 69822 60875 1942 922 0 61774 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 279288 KiB
Current children cumulated memory: 243500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1055555
/proc/meminfo: memFree=127430988/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=280056 memory=244204 CPUtime=3330.76 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 52486 0 0 0 330090 2986 0 0 20 0 1 0 199066981 286777344 61051 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 70014 61051 1942 922 0 61966 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 280056 KiB
Current children cumulated memory: 244204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 1055565
/proc/meminfo: memFree=127427124/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=282012 memory=246408 CPUtime=3390.53 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 53145 0 0 0 336059 2994 0 0 20 0 1 0 199066981 288780288 61602 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 70503 61602 1942 922 0 62455 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 282012 KiB
Current children cumulated memory: 246408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 1055577
/proc/meminfo: memFree=127424532/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=282012 memory=246648 CPUtime=3450.31 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 53314 0 0 0 342029 3002 0 0 20 0 1 0 199066981 288780288 61662 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 70503 61662 1942 922 0 62455 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 282012 KiB
Current children cumulated memory: 246648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 1055587
/proc/meminfo: memFree=127423380/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=283128 memory=247328 CPUtime=3510.08 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 53625 0 0 0 348000 3008 0 0 20 0 1 0 199066981 289923072 61832 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 70782 61832 1942 922 0 62734 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 283128 KiB
Current children cumulated memory: 247328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 1055597
/proc/meminfo: memFree=127421444/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=285688 memory=248988 CPUtime=3569.86 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 54135 0 0 0 353972 3014 0 0 20 0 1 0 199066981 292544512 62247 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 71422 62247 1942 922 0 63374 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 285688 KiB
Current children cumulated memory: 248988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 3.86 4.05 4.07 3/244 1055669
/proc/meminfo: memFree=127854992/131524600 swapFree=131071996/131071996
[pid=1053677] ppid=1053674 vsize=286200 memory=249252 CPUtime=3600.04 cores=0,2
/proc/1053677/stat : 1053677 (roundingsat) R 1053674 1053677 1050985 0 -1 4194304 54227 0 0 0 356987 3017 0 0 20 0 1 0 199066981 293068800 62313 134679101440 4194304 7968373 140727766295168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33890304 140727766303676 140727766303840 140727766303840 140727766310857 0
/proc/1053677/statm: 71550 62313 1942 922 0 63502 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 286200 KiB
Current children cumulated memory: 249252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 1053677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3569.88 s, system=30.1771 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.61
CPU time (s): 3600.06
CPU user time (s): 3569.88
CPU system time (s): 30.1771
CPU usage (%): 99.6525
Max. virtual memory (cumulated for all children) (KiB): 286200
Max. memory (cumulated for all children) (KiB): 249252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.88
system time used= 30.1771
maximum resident set size= 249252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 24804
# summary of solver processes directly reported to runsolver:
# pid: 1053677
# total CPU time (s): 3600.06
# total CPU user time (s): 3569.88
# total CPU system time (s): 30.1771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98862 second user time and 17.7283 second system time
The end
Begin job on nodeC027 at 2024-07-20 11:50:16 IDJOB=4455840 IDBENCH=176041 IDSOLVER=3084 FILE ID=nodeC027/4455840-1721469003 RUNJOBID= nodeC027-1721465399-1050995 SLURM_JOB_ID= 7545716 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455840-1721469003/watcher-4455840-1721469003 -o /tmp/evaluation-result-4455840-1721469003/solver-4455840-1721469003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721465399-1050995 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455840-1721469003.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a RANDOM SEED=270201359 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.660 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 : 7000.36 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 : 3685.203 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 : 7006.29 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 : 3654.485 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 : 7000.36 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 : 3600.613 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 : 7006.29 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 : 3655.755 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 : 7000.36 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 : 3685.462 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 : 7006.29 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 : 3600.694 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 : 7000.36 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 : 3600.486 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 : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128339496 kB MemAvailable: 129679520 kB Buffers: 542920 kB Cached: 1640276 kB SwapCached: 0 kB Active: 1041760 kB Inactive: 1528060 kB Active(anon): 1560 kB Inactive(anon): 430648 kB Active(file): 1040200 kB Inactive(file): 1097412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21584 kB Writeback: 0 kB AnonPages: 386292 kB Mapped: 116956 kB Shmem: 45912 kB KReclaimable: 84472 kB Slab: 196628 kB SReclaimable: 84472 kB SUnreclaim: 112156 kB KernelStack: 4092 kB PageTables: 10188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 774744 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72192 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 193236 kB DirectMap2M: 15308800 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890068 MiB End job on nodeC027 at 2024-07-20 12:50:29