| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.02 | 3610.61 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K85.opb |
| MD5SUM | 29274947006e0854b43dfb210bf5d295 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1332.8 |
| 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 | 5780 |
| Total number of constraints | 5952 |
| Number of constraints which are clauses | 5867 |
| Number of constraints which are cardinality constraints (but not clauses) | 85 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 85 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 86 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.34 c #variables 5780 #constraints 5952 10.35/10.74 c #Conflicts: 1000 | #Constraints: 6951 10.35/10.74 c #Conflicts: 2000 | #Constraints: 7951 10.35/10.74 c INPROCESSING 10.35/10.74 c GARBAGE COLLECT 10.35/10.74 c #Conflicts: 3000 | #Constraints: 7649 10.35/10.74 c #Conflicts: 4000 | #Constraints: 8649 10.35/10.74 c INPROCESSING 10.35/10.74 c GARBAGE COLLECT 10.35/10.74 c #Conflicts: 5000 | #Constraints: 8098 10.35/10.74 c #Conflicts: 6000 | #Constraints: 9098 10.35/10.74 c INPROCESSING 10.35/10.74 c GARBAGE COLLECT 10.35/10.74 c rational objective 85 23.12/23.56 c #Conflicts: 7000 | #Constraints: 8144 23.12/23.56 c #Conflicts: 8000 | #Constraints: 9144 23.12/23.56 c #Conflicts: 9000 | #Constraints: 10144 23.12/23.56 c INPROCESSING 23.12/23.56 c GARBAGE COLLECT 23.12/23.56 c #Conflicts: 10000 | #Constraints: 8875 23.12/23.56 c #Conflicts: 11000 | #Constraints: 9875 23.12/23.56 c #Conflicts: 12000 | #Constraints: 10875 23.12/23.56 c INPROCESSING 23.12/23.56 c GARBAGE COLLECT 23.12/23.56 c #Conflicts: 13000 | #Constraints: 9336 23.12/23.56 c #Conflicts: 14000 | #Constraints: 10337 23.12/23.56 c #Conflicts: 15000 | #Constraints: 11337 23.12/23.56 c INPROCESSING 23.12/23.56 c GARBAGE COLLECT 23.12/23.56 c #Conflicts: 16000 | #Constraints: 9609 23.12/23.56 c #Conflicts: 17000 | #Constraints: 10609 23.12/23.56 c #Conflicts: 18000 | #Constraints: 11609 23.12/23.56 c INPROCESSING 23.12/23.56 c GARBAGE COLLECT 23.12/23.56 c rational objective 85 37.09/37.58 c #Conflicts: 19000 | #Constraints: 9675 37.09/37.58 c #Conflicts: 20000 | #Constraints: 10675 37.09/37.58 c #Conflicts: 21000 | #Constraints: 11675 37.09/37.58 c INPROCESSING 37.09/37.58 c GARBAGE COLLECT 37.09/37.58 c #Conflicts: 22000 | #Constraints: 9504 37.09/37.58 c #Conflicts: 23000 | #Constraints: 10505 37.09/37.58 c #Conflicts: 24000 | #Constraints: 11505 37.09/37.58 c #Conflicts: 25000 | #Constraints: 12505 37.09/37.58 c INPROCESSING 37.09/37.58 c GARBAGE COLLECT 37.09/37.58 c #Conflicts: 26000 | #Constraints: 10126 37.09/37.58 c #Conflicts: 27000 | #Constraints: 11126 37.09/37.58 c #Conflicts: 28000 | #Constraints: 12126 37.09/37.58 c #Conflicts: 29000 | #Constraints: 13126 37.09/37.58 c INPROCESSING 37.09/37.58 c GARBAGE COLLECT 37.09/37.58 c #Conflicts: 30000 | #Constraints: 10539 37.09/37.58 c #Conflicts: 31000 | #Constraints: 11539 37.09/37.58 c #Conflicts: 32000 | #Constraints: 12540 37.09/37.58 c #Conflicts: 33000 | #Constraints: 13540 37.09/37.58 c INPROCESSING 37.09/37.58 c GARBAGE COLLECT 37.09/37.58 c rational objective 85 54.14/54.60 c #Conflicts: 34000 | #Constraints: 10760 54.14/54.60 c #Conflicts: 35000 | #Constraints: 11761 54.14/54.60 c #Conflicts: 36000 | #Constraints: 12761 54.14/54.60 c #Conflicts: 37000 | #Constraints: 13761 54.14/54.60 c INPROCESSING 54.14/54.60 c GARBAGE COLLECT 54.14/54.60 c #Conflicts: 38000 | #Constraints: 10786 54.14/54.60 c #Conflicts: 39000 | #Constraints: 11786 54.14/54.60 c #Conflicts: 40000 | #Constraints: 12786 54.14/54.60 c #Conflicts: 41000 | #Constraints: 13786 54.14/54.60 c INPROCESSING 54.14/54.60 c GARBAGE COLLECT 54.14/54.60 c #Conflicts: 42000 | #Constraints: 10560 54.14/54.60 c #Conflicts: 43000 | #Constraints: 11561 54.14/54.60 c #Conflicts: 44000 | #Constraints: 12561 54.14/54.60 c #Conflicts: 45000 | #Constraints: 13561 54.14/54.60 c #Conflicts: 46000 | #Constraints: 14561 54.14/54.60 c INPROCESSING 54.14/54.60 c GARBAGE COLLECT 54.14/54.60 c rational objective 85 73.19/73.79 c #Conflicts: 47000 | #Constraints: 11188 73.19/73.79 c #Conflicts: 48000 | #Constraints: 12189 73.19/73.79 c #Conflicts: 49000 | #Constraints: 13189 73.19/73.79 c #Conflicts: 50000 | #Constraints: 14189 73.19/73.79 c #Conflicts: 51000 | #Constraints: 15189 73.19/73.79 c INPROCESSING 73.19/73.79 c GARBAGE COLLECT 73.19/73.79 c #Conflicts: 52000 | #Constraints: 11609 73.19/73.79 c #Conflicts: 53000 | #Constraints: 12609 73.19/73.79 c #Conflicts: 54000 | #Constraints: 13609 73.19/73.79 c #Conflicts: 55000 | #Constraints: 14609 73.19/73.79 c #Conflicts: 56000 | #Constraints: 15609 73.19/73.79 c INPROCESSING 73.19/73.79 c GARBAGE COLLECT 73.19/73.79 c #Conflicts: 57000 | #Constraints: 11824 73.19/73.79 c #Conflicts: 58000 | #Constraints: 12824 73.19/73.79 c #Conflicts: 59000 | #Constraints: 13825 73.19/73.79 c #Conflicts: 60000 | #Constraints: 14825 73.19/73.79 c #Conflicts: 61000 | #Constraints: 15825 73.19/73.79 c INPROCESSING 73.19/73.79 c GARBAGE COLLECT 73.19/73.79 c rational objective 85 110.41/111.08 c #Conflicts: 62000 | #Constraints: 11847 110.41/111.08 c #Conflicts: 63000 | #Constraints: 12847 110.41/111.08 c #Conflicts: 64000 | #Constraints: 13847 110.41/111.08 c #Conflicts: 65000 | #Constraints: 14847 110.41/111.08 c #Conflicts: 66000 | #Constraints: 15847 110.41/111.08 c INPROCESSING 110.41/111.08 c GARBAGE COLLECT 110.41/111.08 c #Conflicts: 67000 | #Constraints: 11684 110.41/111.08 c #Conflicts: 68000 | #Constraints: 12684 110.41/111.08 c #Conflicts: 69000 | #Constraints: 13684 110.41/111.08 c #Conflicts: 70000 | #Constraints: 14684 110.41/111.08 c #Conflicts: 71000 | #Constraints: 15684 110.41/111.08 c #Conflicts: 72000 | #Constraints: 16684 110.41/111.08 c INPROCESSING 110.41/111.08 c GARBAGE COLLECT 110.41/111.08 c #Conflicts: 73000 | #Constraints: 12282 110.41/111.08 c #Conflicts: 74000 | #Constraints: 13282 110.41/111.08 c #Conflicts: 75000 | #Constraints: 14283 110.41/111.08 c #Conflicts: 76000 | #Constraints: 15283 110.41/111.08 c #Conflicts: 77000 | #Constraints: 16283 110.41/111.08 c #Conflicts: 78000 | #Constraints: 17283 110.41/111.08 c INPROCESSING 110.41/111.08 c GARBAGE COLLECT 110.41/111.08 c #Conflicts: 79000 | #Constraints: 12699 110.41/111.08 c #Conflicts: 80000 | #Constraints: 13699 110.41/111.08 c #Conflicts: 81000 | #Constraints: 14699 110.41/111.08 c #Conflicts: 82000 | #Constraints: 15699 110.41/111.08 c #Conflicts: 83000 | #Constraints: 16699 110.41/111.08 c #Conflicts: 84000 | #Constraints: 17699 110.41/111.08 c INPROCESSING 110.41/111.08 c GARBAGE COLLECT 110.41/111.08 c #Conflicts: 85000 | #Constraints: 12906 110.41/111.08 c #Conflicts: 86000 | #Constraints: 13907 110.41/111.08 c #Conflicts: 87000 | #Constraints: 14907 110.41/111.08 c #Conflicts: 88000 | #Constraints: 15907 110.41/111.08 c #Conflicts: 89000 | #Constraints: 16907 110.41/111.08 c #Conflicts: 90000 | #Constraints: 17907 110.41/111.08 c INPROCESSING 110.41/111.08 c GARBAGE COLLECT 110.41/111.08 c rational objective 85 152.99/153.70 c #Conflicts: 91000 | #Constraints: 12895 152.99/153.70 c #Conflicts: 92000 | #Constraints: 13895 152.99/153.70 c #Conflicts: 93000 | #Constraints: 14895 152.99/153.70 c #Conflicts: 94000 | #Constraints: 15895 152.99/153.70 c #Conflicts: 95000 | #Constraints: 16895 152.99/153.70 c #Conflicts: 96000 | #Constraints: 17895 152.99/153.70 c INPROCESSING 152.99/153.70 c GARBAGE COLLECT 152.99/153.70 c #Conflicts: 97000 | #Constraints: 12700 152.99/153.70 c #Conflicts: 98000 | #Constraints: 13700 152.99/153.70 c #Conflicts: 99000 | #Constraints: 14701 152.99/153.70 c #Conflicts: 100000 | #Constraints: 15701 152.99/153.70 c #Conflicts: 101000 | #Constraints: 16701 152.99/153.70 c #Conflicts: 102000 | #Constraints: 17701 152.99/153.70 c #Conflicts: 103000 | #Constraints: 18701 152.99/153.70 c #Conflicts: 104000 | #Constraints: 19701 152.99/153.70 c #Conflicts: 105000 | #Constraints: 20701 152.99/153.70 c #Conflicts: 106000 | #Constraints: 21701 152.99/153.70 c #Conflicts: 107000 | #Constraints: 22701 152.99/153.70 c #Conflicts: 108000 | #Constraints: 23701 152.99/153.70 c #Conflicts: 109000 | #Constraints: 24701 152.99/153.70 c #Conflicts: 110000 | #Constraints: 25701 152.99/153.70 c #Conflicts: 111000 | #Constraints: 26701 152.99/153.70 c #Conflicts: 112000 | #Constraints: 27701 152.99/153.70 c #Conflicts: 113000 | #Constraints: 28701 152.99/153.70 c #Conflicts: 114000 | #Constraints: 29701 152.99/153.70 c #Conflicts: 115000 | #Constraints: 30701 152.99/153.70 c #Conflicts: 116000 | #Constraints: 31701 152.99/153.70 c #Conflicts: 117000 | #Constraints: 32702 152.99/153.70 c #Conflicts: 118000 | #Constraints: 33702 152.99/153.70 c #Conflicts: 119000 | #Constraints: 34702 152.99/153.70 c #Conflicts: 120000 | #Constraints: 35702 152.99/153.70 c #Conflicts: 121000 | #Constraints: 36702 152.99/153.70 c #Conflicts: 122000 | #Constraints: 37702 152.99/153.70 c #Conflicts: 123000 | #Constraints: 38702 152.99/153.70 c #Conflicts: 124000 | #Constraints: 39702 152.99/153.70 c INPROCESSING 152.99/153.70 c GARBAGE COLLECT 152.99/153.70 c rational objective 85 160.18/160.94 c #Conflicts: 125000 | #Constraints: 23557 160.18/160.94 c #Conflicts: 126000 | #Constraints: 24557 160.18/160.94 c #Conflicts: 127000 | #Constraints: 25557 160.18/160.94 c #Conflicts: 128000 | #Constraints: 26557 160.18/160.94 c #Conflicts: 129000 | #Constraints: 27557 160.18/160.94 c #Conflicts: 130000 | #Constraints: 28557 160.18/160.94 c #Conflicts: 131000 | #Constraints: 29557 160.18/160.94 c #Conflicts: 132000 | #Constraints: 30557 160.18/160.94 c INPROCESSING 160.18/160.94 c GARBAGE COLLECT 160.18/160.94 c rational objective 85 172.74/173.56 c #Conflicts: 133000 | #Constraints: 19147 172.74/173.56 c #Conflicts: 134000 | #Constraints: 20147 172.74/173.56 c #Conflicts: 135000 | #Constraints: 21147 172.74/173.56 c #Conflicts: 136000 | #Constraints: 22147 172.74/173.56 c #Conflicts: 137000 | #Constraints: 23147 172.74/173.56 c #Conflicts: 138000 | #Constraints: 24147 172.74/173.56 c #Conflicts: 139000 | #Constraints: 25147 172.74/173.56 c #Conflicts: 140000 | #Constraints: 26147 172.74/173.56 c INPROCESSING 172.74/173.56 c GARBAGE COLLECT 172.74/173.56 c rational objective 85 191.70/192.51 c #Conflicts: 141000 | #Constraints: 17025 191.70/192.51 c #Conflicts: 142000 | #Constraints: 18025 191.70/192.51 c #Conflicts: 143000 | #Constraints: 19025 191.70/192.51 c #Conflicts: 144000 | #Constraints: 20026 191.70/192.51 c #Conflicts: 145000 | #Constraints: 21026 191.70/192.51 c #Conflicts: 146000 | #Constraints: 22026 191.70/192.51 c #Conflicts: 147000 | #Constraints: 23026 191.70/192.51 c #Conflicts: 148000 | #Constraints: 24026 191.70/192.51 c INPROCESSING 191.70/192.51 c GARBAGE COLLECT 191.70/192.51 c rational objective 85 199.47/200.33 c #Conflicts: 149000 | #Constraints: 15970 199.47/200.33 c #Conflicts: 150000 | #Constraints: 16970 199.47/200.33 c #Conflicts: 151000 | #Constraints: 17971 199.47/200.33 c #Conflicts: 152000 | #Constraints: 18972 199.47/200.33 c #Conflicts: 153000 | #Constraints: 19972 199.47/200.33 c #Conflicts: 154000 | #Constraints: 20972 199.47/200.33 c #Conflicts: 155000 | #Constraints: 21972 199.47/200.33 c #Conflicts: 156000 | #Constraints: 22972 199.47/200.33 c INPROCESSING 199.47/200.33 c GARBAGE COLLECT 199.47/200.33 c rational objective 85 207.86/208.70 c #Conflicts: 157000 | #Constraints: 15264 207.86/208.70 c #Conflicts: 158000 | #Constraints: 16264 207.86/208.70 c #Conflicts: 159000 | #Constraints: 17264 207.86/208.70 c #Conflicts: 160000 | #Constraints: 18264 207.86/208.70 c #Conflicts: 161000 | #Constraints: 19264 207.86/208.70 c #Conflicts: 162000 | #Constraints: 20264 207.86/208.70 c #Conflicts: 163000 | #Constraints: 21264 207.86/208.70 c #Conflicts: 164000 | #Constraints: 22264 207.86/208.70 c #Conflicts: 165000 | #Constraints: 23266 207.86/208.70 c INPROCESSING 207.86/208.70 c GARBAGE COLLECT 207.86/208.70 c rational objective 85 261.03/262.07 c #Conflicts: 166000 | #Constraints: 15645 261.03/262.07 c #Conflicts: 167000 | #Constraints: 16645 261.03/262.07 c #Conflicts: 168000 | #Constraints: 17645 261.03/262.07 c #Conflicts: 169000 | #Constraints: 18645 261.03/262.07 c #Conflicts: 170000 | #Constraints: 19645 261.03/262.07 c #Conflicts: 171000 | #Constraints: 20645 261.03/262.07 c #Conflicts: 172000 | #Constraints: 21645 261.03/262.07 c #Conflicts: 173000 | #Constraints: 22645 261.03/262.07 c #Conflicts: 174000 | #Constraints: 23645 261.03/262.07 c #Conflicts: 175000 | #Constraints: 24645 261.03/262.07 c #Conflicts: 176000 | #Constraints: 25645 261.03/262.07 c #Conflicts: 177000 | #Constraints: 26645 261.03/262.07 c #Conflicts: 178000 | #Constraints: 27645 261.03/262.07 c #Conflicts: 179000 | #Constraints: 28645 261.03/262.07 c #Conflicts: 180000 | #Constraints: 29645 261.03/262.07 c #Conflicts: 181000 | #Constraints: 30645 261.03/262.07 c #Conflicts: 182000 | #Constraints: 31645 261.03/262.07 c #Conflicts: 183000 | #Constraints: 32645 261.03/262.07 c #Conflicts: 184000 | #Constraints: 33645 261.03/262.07 c #Conflicts: 185000 | #Constraints: 34645 261.03/262.07 c #Conflicts: 186000 | #Constraints: 35645 261.03/262.07 c #Conflicts: 187000 | #Constraints: 36646 261.03/262.07 c #Conflicts: 188000 | #Constraints: 37646 261.03/262.07 c #Conflicts: 189000 | #Constraints: 38646 261.03/262.07 c #Conflicts: 190000 | #Constraints: 39646 261.03/262.07 c #Conflicts: 191000 | #Constraints: 40646 261.03/262.07 c #Conflicts: 192000 | #Constraints: 41646 261.03/262.07 c #Conflicts: 193000 | #Constraints: 42646 261.03/262.07 c #Conflicts: 194000 | #Constraints: 43646 261.03/262.07 c #Conflicts: 195000 | #Constraints: 44647 261.03/262.07 c #Conflicts: 196000 | #Constraints: 45647 261.03/262.07 c #Conflicts: 197000 | #Constraints: 46647 261.03/262.07 c #Conflicts: 198000 | #Constraints: 47647 261.03/262.07 c #Conflicts: 199000 | #Constraints: 48647 261.03/262.07 c #Conflicts: 200000 | #Constraints: 49647 261.03/262.07 c #Conflicts: 201000 | #Constraints: 50647 261.03/262.07 c INPROCESSING 261.03/262.07 c GARBAGE COLLECT 261.03/262.07 c rational objective 85 279.08/280.16 c #Conflicts: 202000 | #Constraints: 29496 279.08/280.16 c #Conflicts: 203000 | #Constraints: 30496 279.08/280.16 c #Conflicts: 204000 | #Constraints: 31496 279.08/280.16 c #Conflicts: 205000 | #Constraints: 32496 279.08/280.16 c #Conflicts: 206000 | #Constraints: 33496 279.08/280.16 c #Conflicts: 207000 | #Constraints: 34497 279.08/280.16 c #Conflicts: 208000 | #Constraints: 35497 279.08/280.16 c #Conflicts: 209000 | #Constraints: 36497 279.08/280.16 c #Conflicts: 210000 | #Constraints: 37497 279.08/280.16 c INPROCESSING 279.08/280.16 c GARBAGE COLLECT 279.08/280.16 c rational objective 85 294.94/296.03 c #Conflicts: 211000 | #Constraints: 22481 294.94/296.03 c #Conflicts: 212000 | #Constraints: 23481 294.94/296.03 c #Conflicts: 213000 | #Constraints: 24481 294.94/296.03 c #Conflicts: 214000 | #Constraints: 25481 294.94/296.03 c #Conflicts: 215000 | #Constraints: 26481 294.94/296.03 c #Conflicts: 216000 | #Constraints: 27481 294.94/296.03 c #Conflicts: 217000 | #Constraints: 28481 294.94/296.03 c #Conflicts: 218000 | #Constraints: 29481 294.94/296.03 c #Conflicts: 219000 | #Constraints: 30481 294.94/296.03 c #Conflicts: 220000 | #Constraints: 31481 294.94/296.03 c INPROCESSING 294.94/296.03 c GARBAGE COLLECT 294.94/296.03 c rational objective 85 308.31/309.42 c #Conflicts: 221000 | #Constraints: 19539 308.31/309.42 c #Conflicts: 222000 | #Constraints: 20539 308.31/309.42 c #Conflicts: 223000 | #Constraints: 21539 308.31/309.42 c #Conflicts: 224000 | #Constraints: 22540 308.31/309.42 c #Conflicts: 225000 | #Constraints: 23540 308.31/309.42 c #Conflicts: 226000 | #Constraints: 24540 308.31/309.42 c #Conflicts: 227000 | #Constraints: 25541 308.31/309.42 c #Conflicts: 228000 | #Constraints: 26541 308.31/309.42 c #Conflicts: 229000 | #Constraints: 27541 308.31/309.42 c #Conflicts: 230000 | #Constraints: 28541 308.31/309.42 c #Conflicts: 231000 | #Constraints: 29541 308.31/309.42 c INPROCESSING 308.31/309.42 c GARBAGE COLLECT 308.31/309.42 c rational objective 85 319.18/320.38 c #Conflicts: 232000 | #Constraints: 18991 319.18/320.38 c #Conflicts: 233000 | #Constraints: 19991 319.18/320.38 c #Conflicts: 234000 | #Constraints: 20991 319.18/320.38 c #Conflicts: 235000 | #Constraints: 21991 319.18/320.38 c #Conflicts: 236000 | #Constraints: 22991 319.18/320.38 c #Conflicts: 237000 | #Constraints: 23991 319.18/320.38 c #Conflicts: 238000 | #Constraints: 24991 319.18/320.38 c #Conflicts: 239000 | #Constraints: 25991 319.18/320.38 c #Conflicts: 240000 | #Constraints: 26992 319.18/320.38 c #Conflicts: 241000 | #Constraints: 27992 319.18/320.38 c INPROCESSING 319.18/320.38 c GARBAGE COLLECT 319.18/320.38 c rational objective 85 339.43/340.68 c #Conflicts: 242000 | #Constraints: 17985 339.43/340.68 c #Conflicts: 243000 | #Constraints: 18986 339.43/340.68 c #Conflicts: 244000 | #Constraints: 19986 339.43/340.68 c #Conflicts: 245000 | #Constraints: 20986 339.43/340.68 c #Conflicts: 246000 | #Constraints: 21986 339.43/340.68 c #Conflicts: 247000 | #Constraints: 22986 339.43/340.68 c #Conflicts: 248000 | #Constraints: 23986 339.43/340.68 c #Conflicts: 249000 | #Constraints: 24986 339.43/340.68 c #Conflicts: 250000 | #Constraints: 25986 339.43/340.68 c #Conflicts: 251000 | #Constraints: 26986 339.43/340.68 c #Conflicts: 252000 | #Constraints: 27987 339.43/340.68 c INPROCESSING 339.43/340.68 c GARBAGE COLLECT 339.43/340.68 c rational objective 85 403.16/404.52 c #Conflicts: 253000 | #Constraints: 18186 403.16/404.52 c #Conflicts: 254000 | #Constraints: 19186 403.16/404.52 c #Conflicts: 255000 | #Constraints: 20186 403.16/404.52 c #Conflicts: 256000 | #Constraints: 21186 403.16/404.52 c #Conflicts: 257000 | #Constraints: 22186 403.16/404.52 c #Conflicts: 258000 | #Constraints: 23186 403.16/404.52 c #Conflicts: 259000 | #Constraints: 24186 403.16/404.52 c #Conflicts: 260000 | #Constraints: 25186 403.16/404.52 c #Conflicts: 261000 | #Constraints: 26186 403.16/404.52 c #Conflicts: 262000 | #Constraints: 27186 403.16/404.52 c #Conflicts: 263000 | #Constraints: 28186 403.16/404.52 c #Conflicts: 264000 | #Constraints: 29186 403.16/404.52 c #Conflicts: 265000 | #Constraints: 30186 403.16/404.52 c #Conflicts: 266000 | #Constraints: 31186 403.16/404.52 c #Conflicts: 267000 | #Constraints: 32186 403.16/404.52 c #Conflicts: 268000 | #Constraints: 33186 403.16/404.52 c #Conflicts: 269000 | #Constraints: 34186 403.16/404.52 c #Conflicts: 270000 | #Constraints: 35186 403.16/404.52 c #Conflicts: 271000 | #Constraints: 36186 403.16/404.52 c #Conflicts: 272000 | #Constraints: 37186 403.16/404.52 c #Conflicts: 273000 | #Constraints: 38186 403.16/404.52 c #Conflicts: 274000 | #Constraints: 39186 403.16/404.52 c #Conflicts: 275000 | #Constraints: 40186 403.16/404.52 c #Conflicts: 276000 | #Constraints: 41186 403.16/404.52 c #Conflicts: 277000 | #Constraints: 42187 403.16/404.52 c #Conflicts: 278000 | #Constraints: 43187 403.16/404.52 c #Conflicts: 279000 | #Constraints: 44187 403.16/404.52 c #Conflicts: 280000 | #Constraints: 45188 403.16/404.52 c #Conflicts: 281000 | #Constraints: 46188 403.16/404.52 c #Conflicts: 282000 | #Constraints: 47188 403.16/404.52 c #Conflicts: 283000 | #Constraints: 48188 403.16/404.52 c #Conflicts: 284000 | #Constraints: 49188 403.16/404.52 c #Conflicts: 285000 | #Constraints: 50188 403.16/404.52 c #Conflicts: 286000 | #Constraints: 51188 403.16/404.52 c #Conflicts: 287000 | #Constraints: 52188 403.16/404.52 c #Conflicts: 288000 | #Constraints: 53189 403.16/404.52 c #Conflicts: 289000 | #Constraints: 54189 403.16/404.52 c #Conflicts: 290000 | #Constraints: 55189 403.16/404.52 c #Conflicts: 291000 | #Constraints: 56189 403.16/404.52 c #Conflicts: 292000 | #Constraints: 57190 403.16/404.52 c #Conflicts: 293000 | #Constraints: 58190 403.16/404.52 c #Conflicts: 294000 | #Constraints: 59190 403.16/404.52 c #Conflicts: 295000 | #Constraints: 60191 403.16/404.52 c INPROCESSING 403.16/404.52 c GARBAGE COLLECT 403.16/404.52 c rational objective 85 420.91/422.33 c #Conflicts: 296000 | #Constraints: 34247 420.91/422.33 c #Conflicts: 297000 | #Constraints: 35247 420.91/422.33 c #Conflicts: 298000 | #Constraints: 36247 420.91/422.33 c #Conflicts: 299000 | #Constraints: 37247 420.91/422.33 c #Conflicts: 300000 | #Constraints: 38247 420.91/422.33 c #Conflicts: 301000 | #Constraints: 39247 420.91/422.33 c #Conflicts: 302000 | #Constraints: 40247 420.91/422.33 c #Conflicts: 303000 | #Constraints: 41247 420.91/422.33 c #Conflicts: 304000 | #Constraints: 42247 420.91/422.33 c #Conflicts: 305000 | #Constraints: 43247 420.91/422.33 c #Conflicts: 306000 | #Constraints: 44247 420.91/422.33 c #Conflicts: 307000 | #Constraints: 45247 420.91/422.33 c INPROCESSING 420.91/422.33 c GARBAGE COLLECT 420.91/422.33 c rational objective 85 444.26/445.77 c #Conflicts: 308000 | #Constraints: 26749 444.26/445.77 c #Conflicts: 309000 | #Constraints: 27749 444.26/445.77 c #Conflicts: 310000 | #Constraints: 28750 444.26/445.77 c #Conflicts: 311000 | #Constraints: 29750 444.26/445.77 c #Conflicts: 312000 | #Constraints: 30750 444.26/445.77 c #Conflicts: 313000 | #Constraints: 31750 444.26/445.77 c #Conflicts: 314000 | #Constraints: 32750 444.26/445.77 c #Conflicts: 315000 | #Constraints: 33750 444.26/445.77 c #Conflicts: 316000 | #Constraints: 34750 444.26/445.77 c #Conflicts: 317000 | #Constraints: 35750 444.26/445.77 c #Conflicts: 318000 | #Constraints: 36750 444.26/445.77 c #Conflicts: 319000 | #Constraints: 37751 444.26/445.77 c INPROCESSING 444.26/445.77 c GARBAGE COLLECT 444.26/445.77 c rational objective 85 456.33/457.81 c #Conflicts: 320000 | #Constraints: 23073 456.33/457.81 c #Conflicts: 321000 | #Constraints: 24073 456.33/457.81 c #Conflicts: 322000 | #Constraints: 25073 456.33/457.81 c #Conflicts: 323000 | #Constraints: 26073 456.33/457.81 c #Conflicts: 324000 | #Constraints: 27073 456.33/457.81 c #Conflicts: 325000 | #Constraints: 28073 456.33/457.81 c #Conflicts: 326000 | #Constraints: 29073 456.33/457.81 c #Conflicts: 327000 | #Constraints: 30073 456.33/457.81 c #Conflicts: 328000 | #Constraints: 31073 456.33/457.81 c #Conflicts: 329000 | #Constraints: 32073 456.33/457.81 c #Conflicts: 330000 | #Constraints: 33073 456.33/457.81 c #Conflicts: 331000 | #Constraints: 34074 456.33/457.81 c INPROCESSING 456.33/457.81 c GARBAGE COLLECT 456.33/457.81 c rational objective 85 474.08/475.68 c #Conflicts: 332000 | #Constraints: 21008 474.08/475.68 c #Conflicts: 333000 | #Constraints: 22008 474.08/475.68 c #Conflicts: 334000 | #Constraints: 23008 474.08/475.68 c #Conflicts: 335000 | #Constraints: 24008 474.08/475.68 c #Conflicts: 336000 | #Constraints: 25008 474.08/475.68 c #Conflicts: 337000 | #Constraints: 26008 474.08/475.68 c #Conflicts: 338000 | #Constraints: 27009 474.08/475.68 c #Conflicts: 339000 | #Constraints: 28009 474.08/475.68 c #Conflicts: 340000 | #Constraints: 29009 474.08/475.68 c #Conflicts: 341000 | #Constraints: 30009 474.08/475.68 c #Conflicts: 342000 | #Constraints: 31009 474.08/475.68 c #Conflicts: 343000 | #Constraints: 32009 474.08/475.68 c #Conflicts: 344000 | #Constraints: 33009 474.08/475.68 c INPROCESSING 474.08/475.68 c GARBAGE COLLECT 474.08/475.68 c rational objective 85 554.05/555.80 c #Conflicts: 345000 | #Constraints: 20707 554.05/555.80 c #Conflicts: 346000 | #Constraints: 21707 554.05/555.80 c #Conflicts: 347000 | #Constraints: 22707 554.05/555.80 c #Conflicts: 348000 | #Constraints: 23707 554.05/555.80 c #Conflicts: 349000 | #Constraints: 24707 554.05/555.80 c #Conflicts: 350000 | #Constraints: 25707 554.05/555.80 c #Conflicts: 351000 | #Constraints: 26707 554.05/555.80 c #Conflicts: 352000 | #Constraints: 27707 554.05/555.80 c #Conflicts: 353000 | #Constraints: 28707 554.05/555.80 c #Conflicts: 354000 | #Constraints: 29707 554.05/555.80 c #Conflicts: 355000 | #Constraints: 30707 554.05/555.80 c #Conflicts: 356000 | #Constraints: 31707 554.05/555.80 c #Conflicts: 357000 | #Constraints: 32707 554.05/555.80 c #Conflicts: 358000 | #Constraints: 33708 554.05/555.80 c #Conflicts: 359000 | #Constraints: 34708 554.05/555.80 c #Conflicts: 360000 | #Constraints: 35708 554.05/555.80 c #Conflicts: 361000 | #Constraints: 36708 554.05/555.80 c #Conflicts: 362000 | #Constraints: 37708 554.05/555.80 c #Conflicts: 363000 | #Constraints: 38708 554.05/555.80 c #Conflicts: 364000 | #Constraints: 39708 554.05/555.80 c #Conflicts: 365000 | #Constraints: 40708 554.05/555.80 c #Conflicts: 366000 | #Constraints: 41708 554.05/555.80 c #Conflicts: 367000 | #Constraints: 42708 554.05/555.80 c #Conflicts: 368000 | #Constraints: 43708 554.05/555.80 c #Conflicts: 369000 | #Constraints: 44708 554.05/555.80 c #Conflicts: 370000 | #Constraints: 45708 554.05/555.80 c #Conflicts: 371000 | #Constraints: 46708 554.05/555.80 c #Conflicts: 372000 | #Constraints: 47708 554.05/555.80 c #Conflicts: 373000 | #Constraints: 48708 554.05/555.80 c #Conflicts: 374000 | #Constraints: 49708 554.05/555.80 c #Conflicts: 375000 | #Constraints: 50709 554.05/555.80 c #Conflicts: 376000 | #Constraints: 51709 554.05/555.80 c #Conflicts: 377000 | #Constraints: 52709 554.05/555.80 c #Conflicts: 378000 | #Constraints: 53709 554.05/555.80 c #Conflicts: 379000 | #Constraints: 54709 554.05/555.80 c #Conflicts: 380000 | #Constraints: 55709 554.05/555.80 c #Conflicts: 381000 | #Constraints: 56709 554.05/555.80 c #Conflicts: 382000 | #Constraints: 57709 554.05/555.80 c #Conflicts: 383000 | #Constraints: 58709 554.05/555.80 c #Conflicts: 384000 | #Constraints: 59709 554.05/555.80 c #Conflicts: 385000 | #Constraints: 60709 554.05/555.80 c #Conflicts: 386000 | #Constraints: 61709 554.05/555.80 c #Conflicts: 387000 | #Constraints: 62709 554.05/555.80 c #Conflicts: 388000 | #Constraints: 63709 554.05/555.80 c #Conflicts: 389000 | #Constraints: 64709 554.05/555.80 c #Conflicts: 390000 | #Constraints: 65709 554.05/555.80 c #Conflicts: 391000 | #Constraints: 66709 554.05/555.80 c #Conflicts: 392000 | #Constraints: 67709 554.05/555.80 c #Conflicts: 393000 | #Constraints: 68709 554.05/555.80 c INPROCESSING 554.05/555.80 c GARBAGE COLLECT 554.05/555.80 c rational objective 85 577.50/579.36 c #Conflicts: 394000 | #Constraints: 38301 577.50/579.36 c #Conflicts: 395000 | #Constraints: 39302 577.50/579.36 c #Conflicts: 396000 | #Constraints: 40302 577.50/579.36 c #Conflicts: 397000 | #Constraints: 41302 577.50/579.36 c #Conflicts: 398000 | #Constraints: 42302 577.50/579.36 c #Conflicts: 399000 | #Constraints: 43302 577.50/579.36 c #Conflicts: 400000 | #Constraints: 44302 577.50/579.36 c #Conflicts: 401000 | #Constraints: 45302 577.50/579.36 c #Conflicts: 402000 | #Constraints: 46302 577.50/579.36 c #Conflicts: 403000 | #Constraints: 47302 577.50/579.36 c #Conflicts: 404000 | #Constraints: 48302 577.50/579.36 c #Conflicts: 405000 | #Constraints: 49302 577.50/579.36 c #Conflicts: 406000 | #Constraints: 50302 577.50/579.36 c #Conflicts: 407000 | #Constraints: 51302 577.50/579.36 c INPROCESSING 577.50/579.36 c GARBAGE COLLECT 577.50/579.36 c rational objective 85 595.86/597.76 c #Conflicts: 408000 | #Constraints: 29743 595.86/597.76 c #Conflicts: 409000 | #Constraints: 30743 595.86/597.76 c #Conflicts: 410000 | #Constraints: 31743 595.86/597.76 c #Conflicts: 411000 | #Constraints: 32743 595.86/597.76 c #Conflicts: 412000 | #Constraints: 33743 595.86/597.76 c #Conflicts: 413000 | #Constraints: 34743 595.86/597.76 c #Conflicts: 414000 | #Constraints: 35743 595.86/597.76 c #Conflicts: 415000 | #Constraints: 36744 595.86/597.76 c #Conflicts: 416000 | #Constraints: 37744 595.86/597.76 c #Conflicts: 417000 | #Constraints: 38746 595.86/597.76 c #Conflicts: 418000 | #Constraints: 39746 595.86/597.76 c #Conflicts: 419000 | #Constraints: 40746 595.86/597.76 c #Conflicts: 420000 | #Constraints: 41746 595.86/597.76 c #Conflicts: 421000 | #Constraints: 42746 595.86/597.76 c INPROCESSING 595.86/597.76 c GARBAGE COLLECT 595.86/597.76 c rational objective 85 621.39/623.36 c #Conflicts: 422000 | #Constraints: 25451 621.39/623.36 c #Conflicts: 423000 | #Constraints: 26451 621.39/623.36 c #Conflicts: 424000 | #Constraints: 27451 621.39/623.36 c #Conflicts: 425000 | #Constraints: 28451 621.39/623.36 c #Conflicts: 426000 | #Constraints: 29451 621.39/623.36 c #Conflicts: 427000 | #Constraints: 30451 621.39/623.36 c #Conflicts: 428000 | #Constraints: 31451 621.39/623.36 c #Conflicts: 429000 | #Constraints: 32451 621.39/623.36 c #Conflicts: 430000 | #Constraints: 33451 621.39/623.36 c #Conflicts: 431000 | #Constraints: 34452 621.39/623.36 c #Conflicts: 432000 | #Constraints: 35454 621.39/623.36 c #Conflicts: 433000 | #Constraints: 36454 621.39/623.36 c #Conflicts: 434000 | #Constraints: 37455 621.39/623.36 c #Conflicts: 435000 | #Constraints: 38456 621.39/623.36 c INPROCESSING 621.39/623.36 c GARBAGE COLLECT 621.39/623.36 c rational objective 85 642.05/644.01 c #Conflicts: 436000 | #Constraints: 23210 642.05/644.01 c #Conflicts: 437000 | #Constraints: 24210 642.05/644.01 c #Conflicts: 438000 | #Constraints: 25210 642.05/644.01 c #Conflicts: 439000 | #Constraints: 26210 642.05/644.01 c #Conflicts: 440000 | #Constraints: 27210 642.05/644.01 c #Conflicts: 441000 | #Constraints: 28211 642.05/644.01 c #Conflicts: 442000 | #Constraints: 29211 642.05/644.01 c #Conflicts: 443000 | #Constraints: 30211 642.05/644.01 c #Conflicts: 444000 | #Constraints: 31211 642.05/644.01 c #Conflicts: 445000 | #Constraints: 32211 642.05/644.01 c #Conflicts: 446000 | #Constraints: 33211 642.05/644.01 c #Conflicts: 447000 | #Constraints: 34211 642.05/644.01 c #Conflicts: 448000 | #Constraints: 35211 642.05/644.01 c #Conflicts: 449000 | #Constraints: 36211 642.05/644.01 c #Conflicts: 450000 | #Constraints: 37212 642.05/644.01 c INPROCESSING 642.05/644.01 c GARBAGE COLLECT 642.05/644.01 c rational objective 85 734.51/736.78 c #Conflicts: 451000 | #Constraints: 22881 734.51/736.78 c #Conflicts: 452000 | #Constraints: 23881 734.51/736.78 c #Conflicts: 453000 | #Constraints: 24881 734.51/736.78 c #Conflicts: 454000 | #Constraints: 25881 734.51/736.78 c #Conflicts: 455000 | #Constraints: 26881 734.51/736.78 c #Conflicts: 456000 | #Constraints: 27881 734.51/736.78 c #Conflicts: 457000 | #Constraints: 28881 734.51/736.78 c #Conflicts: 458000 | #Constraints: 29881 734.51/736.78 c #Conflicts: 459000 | #Constraints: 30881 734.51/736.78 c #Conflicts: 460000 | #Constraints: 31881 734.51/736.78 c #Conflicts: 461000 | #Constraints: 32881 734.51/736.78 c #Conflicts: 462000 | #Constraints: 33881 734.51/736.78 c #Conflicts: 463000 | #Constraints: 34881 734.51/736.78 c #Conflicts: 464000 | #Constraints: 35881 734.51/736.78 c #Conflicts: 465000 | #Constraints: 36881 734.51/736.78 c #Conflicts: 466000 | #Constraints: 37881 734.51/736.78 c #Conflicts: 467000 | #Constraints: 38881 734.51/736.78 c #Conflicts: 468000 | #Constraints: 39881 734.51/736.78 c #Conflicts: 469000 | #Constraints: 40881 734.51/736.78 c #Conflicts: 470000 | #Constraints: 41881 734.51/736.78 c #Conflicts: 471000 | #Constraints: 42881 734.51/736.78 c #Conflicts: 472000 | #Constraints: 43881 734.51/736.78 c #Conflicts: 473000 | #Constraints: 44881 734.51/736.78 c #Conflicts: 474000 | #Constraints: 45881 734.51/736.78 c #Conflicts: 475000 | #Constraints: 46881 734.51/736.78 c #Conflicts: 476000 | #Constraints: 47881 734.51/736.78 c #Conflicts: 477000 | #Constraints: 48881 734.51/736.78 c #Conflicts: 478000 | #Constraints: 49881 734.51/736.78 c #Conflicts: 479000 | #Constraints: 50881 734.51/736.78 c #Conflicts: 480000 | #Constraints: 51881 734.51/736.78 c #Conflicts: 481000 | #Constraints: 52881 734.51/736.78 c #Conflicts: 482000 | #Constraints: 53881 734.51/736.78 c #Conflicts: 483000 | #Constraints: 54881 734.51/736.78 c #Conflicts: 484000 | #Constraints: 55881 734.51/736.78 c #Conflicts: 485000 | #Constraints: 56881 734.51/736.78 c #Conflicts: 486000 | #Constraints: 57881 734.51/736.78 c #Conflicts: 487000 | #Constraints: 58881 734.51/736.78 c #Conflicts: 488000 | #Constraints: 59882 734.51/736.78 c #Conflicts: 489000 | #Constraints: 60882 734.51/736.78 c #Conflicts: 490000 | #Constraints: 61883 734.51/736.78 c #Conflicts: 491000 | #Constraints: 62885 734.51/736.78 c #Conflicts: 492000 | #Constraints: 63886 734.51/736.78 c #Conflicts: 493000 | #Constraints: 64887 734.51/736.78 c #Conflicts: 494000 | #Constraints: 65891 734.51/736.78 c #Conflicts: 495000 | #Constraints: 66891 734.51/736.78 c #Conflicts: 496000 | #Constraints: 67891 734.51/736.78 c #Conflicts: 497000 | #Constraints: 68891 734.51/736.78 c #Conflicts: 498000 | #Constraints: 69891 734.51/736.78 c #Conflicts: 499000 | #Constraints: 70891 734.51/736.78 c #Conflicts: 500000 | #Constraints: 71891 734.51/736.78 c #Conflicts: 501000 | #Constraints: 72891 734.51/736.78 c #Conflicts: 502000 | #Constraints: 73891 734.51/736.78 c #Conflicts: 503000 | #Constraints: 74891 734.51/736.78 c #Conflicts: 504000 | #Constraints: 75891 734.51/736.78 c #Conflicts: 505000 | #Constraints: 76891 734.51/736.78 c #Conflicts: 506000 | #Constraints: 77891 734.51/736.78 c INPROCESSING 734.51/736.78 c GARBAGE COLLECT 734.51/736.78 c rational objective 85 769.42/771.74 c #Conflicts: 507000 | #Constraints: 43223 769.42/771.74 c #Conflicts: 508000 | #Constraints: 44224 769.42/771.74 c #Conflicts: 509000 | #Constraints: 45224 769.42/771.74 c #Conflicts: 510000 | #Constraints: 46225 769.42/771.74 c #Conflicts: 511000 | #Constraints: 47225 769.42/771.74 c #Conflicts: 512000 | #Constraints: 48225 769.42/771.74 c #Conflicts: 513000 | #Constraints: 49225 769.42/771.74 c #Conflicts: 514000 | #Constraints: 50225 769.42/771.74 c #Conflicts: 515000 | #Constraints: 51225 769.42/771.74 c #Conflicts: 516000 | #Constraints: 52225 769.42/771.74 c #Conflicts: 517000 | #Constraints: 53225 769.42/771.74 c #Conflicts: 518000 | #Constraints: 54225 769.42/771.74 c #Conflicts: 519000 | #Constraints: 55225 769.42/771.74 c #Conflicts: 520000 | #Constraints: 56225 769.42/771.74 c #Conflicts: 521000 | #Constraints: 57225 769.42/771.74 c INPROCESSING 769.42/771.74 c GARBAGE COLLECT 769.42/771.74 c rational objective 85 796.95/799.38 c #Conflicts: 522000 | #Constraints: 32522 796.95/799.38 c #Conflicts: 523000 | #Constraints: 33523 796.95/799.38 c #Conflicts: 524000 | #Constraints: 34523 796.95/799.38 c #Conflicts: 525000 | #Constraints: 35523 796.95/799.38 c #Conflicts: 526000 | #Constraints: 36523 796.95/799.38 c #Conflicts: 527000 | #Constraints: 37523 796.95/799.38 c #Conflicts: 528000 | #Constraints: 38523 796.95/799.38 c #Conflicts: 529000 | #Constraints: 39523 796.95/799.38 c #Conflicts: 530000 | #Constraints: 40523 796.95/799.38 c #Conflicts: 531000 | #Constraints: 41523 796.95/799.38 c #Conflicts: 532000 | #Constraints: 42523 796.95/799.38 c #Conflicts: 533000 | #Constraints: 43523 796.95/799.38 c #Conflicts: 534000 | #Constraints: 44523 796.95/799.38 c #Conflicts: 535000 | #Constraints: 45523 796.95/799.38 c #Conflicts: 536000 | #Constraints: 46523 796.95/799.38 c #Conflicts: 537000 | #Constraints: 47524 796.95/799.38 c INPROCESSING 796.95/799.38 c GARBAGE COLLECT 796.95/799.38 c rational objective 85 816.61/819.04 c #Conflicts: 538000 | #Constraints: 27792 816.61/819.04 c #Conflicts: 539000 | #Constraints: 28792 816.61/819.04 c #Conflicts: 540000 | #Constraints: 29792 816.61/819.04 c #Conflicts: 541000 | #Constraints: 30792 816.61/819.04 c #Conflicts: 542000 | #Constraints: 31792 816.61/819.04 c #Conflicts: 543000 | #Constraints: 32792 816.61/819.04 c #Conflicts: 544000 | #Constraints: 33792 816.61/819.04 c #Conflicts: 545000 | #Constraints: 34792 816.61/819.04 c #Conflicts: 546000 | #Constraints: 35792 816.61/819.04 c #Conflicts: 547000 | #Constraints: 36792 816.61/819.04 c #Conflicts: 548000 | #Constraints: 37792 816.61/819.04 c #Conflicts: 549000 | #Constraints: 38792 816.61/819.04 c #Conflicts: 550000 | #Constraints: 39792 816.61/819.04 c #Conflicts: 551000 | #Constraints: 40792 816.61/819.04 c #Conflicts: 552000 | #Constraints: 41792 816.61/819.04 c #Conflicts: 553000 | #Constraints: 42792 816.61/819.04 c INPROCESSING 816.61/819.04 c GARBAGE COLLECT 816.61/819.04 c rational objective 85 839.55/842.09 c #Conflicts: 554000 | #Constraints: 25407 839.55/842.09 c #Conflicts: 555000 | #Constraints: 26407 839.55/842.09 c #Conflicts: 556000 | #Constraints: 27407 839.55/842.09 c #Conflicts: 557000 | #Constraints: 28407 839.55/842.09 c #Conflicts: 558000 | #Constraints: 29407 839.55/842.09 c #Conflicts: 559000 | #Constraints: 30407 839.55/842.09 c #Conflicts: 560000 | #Constraints: 31407 839.55/842.09 c #Conflicts: 561000 | #Constraints: 32407 839.55/842.09 c #Conflicts: 562000 | #Constraints: 33407 839.55/842.09 c #Conflicts: 563000 | #Constraints: 34407 839.55/842.09 c #Conflicts: 564000 | #Constraints: 35407 839.55/842.09 c #Conflicts: 565000 | #Constraints: 36407 839.55/842.09 c #Conflicts: 566000 | #Constraints: 37407 839.55/842.09 c #Conflicts: 567000 | #Constraints: 38408 839.55/842.09 c #Conflicts: 568000 | #Constraints: 39408 839.55/842.09 c #Conflicts: 569000 | #Constraints: 40408 839.55/842.09 c #Conflicts: 570000 | #Constraints: 41408 839.55/842.09 c INPROCESSING 839.55/842.09 c GARBAGE COLLECT 839.55/842.09 c rational objective 85 961.21/964.03 c #Conflicts: 571000 | #Constraints: 24948 961.21/964.03 c #Conflicts: 572000 | #Constraints: 25948 961.21/964.03 c #Conflicts: 573000 | #Constraints: 26948 961.21/964.03 c #Conflicts: 574000 | #Constraints: 27948 961.21/964.03 c #Conflicts: 575000 | #Constraints: 28948 961.21/964.03 c #Conflicts: 576000 | #Constraints: 29948 961.21/964.03 c #Conflicts: 577000 | #Constraints: 30948 961.21/964.03 c #Conflicts: 578000 | #Constraints: 31948 961.21/964.03 c #Conflicts: 579000 | #Constraints: 32948 961.21/964.03 c #Conflicts: 580000 | #Constraints: 33948 961.21/964.03 c #Conflicts: 581000 | #Constraints: 34948 961.21/964.03 c #Conflicts: 582000 | #Constraints: 35950 961.21/964.03 c #Conflicts: 583000 | #Constraints: 36950 961.21/964.03 c #Conflicts: 584000 | #Constraints: 37950 961.21/964.03 c #Conflicts: 585000 | #Constraints: 38950 961.21/964.03 c #Conflicts: 586000 | #Constraints: 39950 961.21/964.03 c #Conflicts: 587000 | #Constraints: 40950 961.21/964.03 c #Conflicts: 588000 | #Constraints: 41951 961.21/964.03 c #Conflicts: 589000 | #Constraints: 42951 961.21/964.03 c #Conflicts: 590000 | #Constraints: 43951 961.21/964.03 c #Conflicts: 591000 | #Constraints: 44952 961.21/964.03 c #Conflicts: 592000 | #Constraints: 45953 961.21/964.03 c #Conflicts: 593000 | #Constraints: 46953 961.21/964.03 c #Conflicts: 594000 | #Constraints: 47953 961.21/964.03 c #Conflicts: 595000 | #Constraints: 48953 961.21/964.03 c #Conflicts: 596000 | #Constraints: 49953 961.21/964.03 c #Conflicts: 597000 | #Constraints: 50953 961.21/964.03 c #Conflicts: 598000 | #Constraints: 51954 961.21/964.03 c #Conflicts: 599000 | #Constraints: 52954 961.21/964.03 c #Conflicts: 600000 | #Constraints: 53955 961.21/964.03 c #Conflicts: 601000 | #Constraints: 54955 961.21/964.03 c #Conflicts: 602000 | #Constraints: 55956 961.21/964.03 c #Conflicts: 603000 | #Constraints: 56957 961.21/964.03 c #Conflicts: 604000 | #Constraints: 57957 961.21/964.03 c #Conflicts: 605000 | #Constraints: 58957 961.21/964.03 c #Conflicts: 606000 | #Constraints: 59957 961.21/964.03 c #Conflicts: 607000 | #Constraints: 60957 961.21/964.03 c #Conflicts: 608000 | #Constraints: 61957 961.21/964.03 c #Conflicts: 609000 | #Constraints: 62957 961.21/964.03 c #Conflicts: 610000 | #Constraints: 63957 961.21/964.04 c #Conflicts: 611000 | #Constraints: 64957 961.21/964.04 c #Conflicts: 612000 | #Constraints: 65957 961.21/964.04 c #Conflicts: 613000 | #Constraints: 66957 961.21/964.04 c #Conflicts: 614000 | #Constraints: 67957 961.21/964.04 c #Conflicts: 615000 | #Constraints: 68957 961.21/964.04 c #Conflicts: 616000 | #Constraints: 69957 961.21/964.04 c #Conflicts: 617000 | #Constraints: 70957 961.21/964.04 c #Conflicts: 618000 | #Constraints: 71957 961.21/964.04 c #Conflicts: 619000 | #Constraints: 72957 961.21/964.04 c #Conflicts: 620000 | #Constraints: 73957 961.21/964.04 c #Conflicts: 621000 | #Constraints: 74957 961.21/964.04 c #Conflicts: 622000 | #Constraints: 75957 961.21/964.04 c #Conflicts: 623000 | #Constraints: 76957 961.21/964.04 c #Conflicts: 624000 | #Constraints: 77957 961.21/964.04 c #Conflicts: 625000 | #Constraints: 78957 961.21/964.04 c #Conflicts: 626000 | #Constraints: 79957 961.21/964.04 c #Conflicts: 627000 | #Constraints: 80957 961.21/964.04 c #Conflicts: 628000 | #Constraints: 81957 961.21/964.04 c #Conflicts: 629000 | #Constraints: 82957 961.21/964.04 c #Conflicts: 630000 | #Constraints: 83957 961.21/964.04 c #Conflicts: 631000 | #Constraints: 84957 961.21/964.04 c #Conflicts: 632000 | #Constraints: 85957 961.21/964.04 c INPROCESSING 961.21/964.04 c GARBAGE COLLECT 961.21/964.04 c rational objective 85 993.81/996.74 c #Conflicts: 633000 | #Constraints: 47063 993.81/996.74 c #Conflicts: 634000 | #Constraints: 48063 993.81/996.74 c #Conflicts: 635000 | #Constraints: 49063 993.81/996.74 c #Conflicts: 636000 | #Constraints: 50063 993.81/996.74 c #Conflicts: 637000 | #Constraints: 51063 993.81/996.74 c #Conflicts: 638000 | #Constraints: 52063 993.81/996.74 c #Conflicts: 639000 | #Constraints: 53063 993.81/996.74 c #Conflicts: 640000 | #Constraints: 54063 993.81/996.74 c #Conflicts: 641000 | #Constraints: 55063 993.81/996.74 c #Conflicts: 642000 | #Constraints: 56063 993.81/996.74 c #Conflicts: 643000 | #Constraints: 57063 993.81/996.74 c #Conflicts: 644000 | #Constraints: 58063 993.81/996.74 c #Conflicts: 645000 | #Constraints: 59063 993.81/996.74 c #Conflicts: 646000 | #Constraints: 60063 993.81/996.74 c #Conflicts: 647000 | #Constraints: 61063 993.81/996.74 c #Conflicts: 648000 | #Constraints: 62063 993.81/996.74 c #Conflicts: 649000 | #Constraints: 63063 993.81/996.74 c #Conflicts: 650000 | #Constraints: 64063 993.81/996.74 c INPROCESSING 993.81/996.74 c GARBAGE COLLECT 993.81/996.74 c rational objective 85 1025.80/1028.80 c #Conflicts: 651000 | #Constraints: 36366 1025.80/1028.80 c #Conflicts: 652000 | #Constraints: 37367 1025.80/1028.80 c #Conflicts: 653000 | #Constraints: 38367 1025.80/1028.80 c #Conflicts: 654000 | #Constraints: 39368 1025.80/1028.80 c #Conflicts: 655000 | #Constraints: 40369 1025.80/1028.80 c #Conflicts: 656000 | #Constraints: 41369 1025.80/1028.80 c #Conflicts: 657000 | #Constraints: 42369 1025.80/1028.80 c #Conflicts: 658000 | #Constraints: 43369 1025.80/1028.80 c #Conflicts: 659000 | #Constraints: 44369 1025.80/1028.80 c #Conflicts: 660000 | #Constraints: 45369 1025.80/1028.80 c #Conflicts: 661000 | #Constraints: 46369 1025.80/1028.80 c #Conflicts: 662000 | #Constraints: 47369 1025.80/1028.80 c #Conflicts: 663000 | #Constraints: 48370 1025.80/1028.80 c #Conflicts: 664000 | #Constraints: 49370 1025.80/1028.80 c #Conflicts: 665000 | #Constraints: 50371 1025.80/1028.80 c #Conflicts: 666000 | #Constraints: 51371 1025.80/1028.80 c #Conflicts: 667000 | #Constraints: 52371 1025.80/1028.80 c INPROCESSING 1025.80/1028.80 c GARBAGE COLLECT 1025.80/1028.80 c rational objective 85 1053.42/1056.50 c #Conflicts: 668000 | #Constraints: 30118 1053.42/1056.50 c #Conflicts: 669000 | #Constraints: 31118 1053.42/1056.50 c #Conflicts: 670000 | #Constraints: 32118 1053.42/1056.50 c #Conflicts: 671000 | #Constraints: 33118 1053.42/1056.50 c #Conflicts: 672000 | #Constraints: 34118 1053.42/1056.50 c #Conflicts: 673000 | #Constraints: 35118 1053.42/1056.50 c #Conflicts: 674000 | #Constraints: 36118 1053.42/1056.50 c #Conflicts: 675000 | #Constraints: 37119 1053.42/1056.50 c #Conflicts: 676000 | #Constraints: 38120 1053.42/1056.50 c #Conflicts: 677000 | #Constraints: 39120 1053.42/1056.50 c #Conflicts: 678000 | #Constraints: 40120 1053.42/1056.50 c #Conflicts: 679000 | #Constraints: 41120 1053.42/1056.50 c #Conflicts: 680000 | #Constraints: 42120 1053.42/1056.50 c #Conflicts: 681000 | #Constraints: 43120 1053.42/1056.50 c #Conflicts: 682000 | #Constraints: 44121 1053.42/1056.50 c #Conflicts: 683000 | #Constraints: 45121 1053.42/1056.50 c #Conflicts: 684000 | #Constraints: 46121 1053.42/1056.50 c #Conflicts: 685000 | #Constraints: 47121 1053.42/1056.50 c INPROCESSING 1053.42/1056.50 c GARBAGE COLLECT 1053.42/1056.50 c rational objective 85 1074.35/1077.52 c #Conflicts: 686000 | #Constraints: 27470 1074.35/1077.52 c #Conflicts: 687000 | #Constraints: 28470 1074.35/1077.52 c #Conflicts: 688000 | #Constraints: 29470 1074.35/1077.52 c #Conflicts: 689000 | #Constraints: 30470 1074.35/1077.52 c #Conflicts: 690000 | #Constraints: 31470 1074.35/1077.52 c #Conflicts: 691000 | #Constraints: 32470 1074.35/1077.52 c #Conflicts: 692000 | #Constraints: 33470 1074.35/1077.52 c #Conflicts: 693000 | #Constraints: 34470 1074.35/1077.52 c #Conflicts: 694000 | #Constraints: 35471 1074.35/1077.52 c #Conflicts: 695000 | #Constraints: 36471 1074.35/1077.52 c #Conflicts: 696000 | #Constraints: 37471 1074.35/1077.52 c #Conflicts: 697000 | #Constraints: 38472 1074.35/1077.52 c #Conflicts: 698000 | #Constraints: 39472 1074.35/1077.52 c #Conflicts: 699000 | #Constraints: 40472 1074.35/1077.52 c #Conflicts: 700000 | #Constraints: 41472 1074.35/1077.52 c #Conflicts: 701000 | #Constraints: 42472 1074.35/1077.52 c #Conflicts: 702000 | #Constraints: 43472 1074.35/1077.52 c #Conflicts: 703000 | #Constraints: 44472 1074.35/1077.52 c #Conflicts: 704000 | #Constraints: 45472 1074.35/1077.52 c INPROCESSING 1074.35/1077.52 c GARBAGE COLLECT 1074.35/1077.52 c rational objective 85 1229.95/1233.68 c #Conflicts: 705000 | #Constraints: 27066 1229.95/1233.68 c #Conflicts: 706000 | #Constraints: 28066 1229.95/1233.68 c #Conflicts: 707000 | #Constraints: 29066 1229.95/1233.68 c #Conflicts: 708000 | #Constraints: 30066 1229.95/1233.68 c #Conflicts: 709000 | #Constraints: 31066 1229.95/1233.68 c #Conflicts: 710000 | #Constraints: 32066 1229.95/1233.68 c #Conflicts: 711000 | #Constraints: 33066 1229.95/1233.68 c #Conflicts: 712000 | #Constraints: 34066 1229.95/1233.68 c #Conflicts: 713000 | #Constraints: 35066 1229.95/1233.68 c #Conflicts: 714000 | #Constraints: 36066 1229.95/1233.68 c #Conflicts: 715000 | #Constraints: 37066 1229.95/1233.68 c #Conflicts: 716000 | #Constraints: 38066 1229.95/1233.68 c #Conflicts: 717000 | #Constraints: 39066 1229.95/1233.68 c #Conflicts: 718000 | #Constraints: 40066 1229.95/1233.68 c #Conflicts: 719000 | #Constraints: 41066 1229.95/1233.68 c #Conflicts: 720000 | #Constraints: 42066 1229.95/1233.68 c #Conflicts: 721000 | #Constraints: 43066 1229.95/1233.68 c #Conflicts: 722000 | #Constraints: 44066 1229.95/1233.68 c #Conflicts: 723000 | #Constraints: 45066 1229.95/1233.68 c #Conflicts: 724000 | #Constraints: 46067 1229.95/1233.68 c #Conflicts: 725000 | #Constraints: 47067 1229.95/1233.68 c #Conflicts: 726000 | #Constraints: 48067 1229.95/1233.68 c #Conflicts: 727000 | #Constraints: 49067 1229.95/1233.68 c #Conflicts: 728000 | #Constraints: 50067 1229.95/1233.68 c #Conflicts: 729000 | #Constraints: 51067 1229.95/1233.68 c #Conflicts: 730000 | #Constraints: 52067 1229.95/1233.68 c #Conflicts: 731000 | #Constraints: 53067 1229.95/1233.68 c #Conflicts: 732000 | #Constraints: 54067 1229.95/1233.68 c #Conflicts: 733000 | #Constraints: 55067 1229.95/1233.68 c #Conflicts: 734000 | #Constraints: 56067 1229.95/1233.68 c #Conflicts: 735000 | #Constraints: 57067 1229.95/1233.68 c #Conflicts: 736000 | #Constraints: 58067 1229.95/1233.68 c #Conflicts: 737000 | #Constraints: 59067 1229.95/1233.68 c #Conflicts: 738000 | #Constraints: 60067 1229.95/1233.68 c #Conflicts: 739000 | #Constraints: 61067 1229.95/1233.68 c #Conflicts: 740000 | #Constraints: 62067 1229.95/1233.68 c #Conflicts: 741000 | #Constraints: 63067 1229.95/1233.68 c #Conflicts: 742000 | #Constraints: 64067 1229.95/1233.68 c #Conflicts: 743000 | #Constraints: 65067 1229.95/1233.68 c #Conflicts: 744000 | #Constraints: 66067 1229.95/1233.68 c #Conflicts: 745000 | #Constraints: 67067 1229.95/1233.68 c #Conflicts: 746000 | #Constraints: 68067 1229.95/1233.68 c #Conflicts: 747000 | #Constraints: 69067 1229.95/1233.68 c #Conflicts: 748000 | #Constraints: 70068 1229.95/1233.68 c #Conflicts: 749000 | #Constraints: 71068 1229.95/1233.68 c #Conflicts: 750000 | #Constraints: 72068 1229.95/1233.68 c #Conflicts: 751000 | #Constraints: 73069 1229.95/1233.68 c #Conflicts: 752000 | #Constraints: 74069 1229.95/1233.68 c #Conflicts: 753000 | #Constraints: 75069 1229.95/1233.68 c #Conflicts: 754000 | #Constraints: 76069 1229.95/1233.68 c #Conflicts: 755000 | #Constraints: 77069 1229.95/1233.68 c #Conflicts: 756000 | #Constraints: 78069 1229.95/1233.68 c #Conflicts: 757000 | #Constraints: 79069 1229.95/1233.68 c #Conflicts: 758000 | #Constraints: 80069 1229.95/1233.68 c #Conflicts: 759000 | #Constraints: 81069 1229.95/1233.68 c #Conflicts: 760000 | #Constraints: 82069 1229.95/1233.68 c #Conflicts: 761000 | #Constraints: 83069 1229.95/1233.68 c #Conflicts: 762000 | #Constraints: 84069 1229.95/1233.68 c #Conflicts: 763000 | #Constraints: 85070 1229.95/1233.68 c #Conflicts: 764000 | #Constraints: 86070 1229.95/1233.68 c #Conflicts: 765000 | #Constraints: 87070 1229.95/1233.68 c #Conflicts: 766000 | #Constraints: 88070 1229.95/1233.68 c #Conflicts: 767000 | #Constraints: 89070 1229.95/1233.68 c #Conflicts: 768000 | #Constraints: 90070 1229.95/1233.68 c #Conflicts: 769000 | #Constraints: 91070 1229.95/1233.68 c #Conflicts: 770000 | #Constraints: 92071 1229.95/1233.68 c #Conflicts: 771000 | #Constraints: 93072 1229.95/1233.68 c #Conflicts: 772000 | #Constraints: 94073 1229.95/1233.68 c INPROCESSING 1229.95/1233.68 c GARBAGE COLLECT 1229.95/1233.68 c rational objective 85 1271.42/1275.20 c #Conflicts: 773000 | #Constraints: 51032 1271.42/1275.20 c #Conflicts: 774000 | #Constraints: 52032 1271.42/1275.20 c #Conflicts: 775000 | #Constraints: 53032 1271.42/1275.20 c #Conflicts: 776000 | #Constraints: 54032 1271.42/1275.20 c #Conflicts: 777000 | #Constraints: 55033 1271.42/1275.20 c #Conflicts: 778000 | #Constraints: 56033 1271.42/1275.20 c #Conflicts: 779000 | #Constraints: 57033 1271.42/1275.20 c #Conflicts: 780000 | #Constraints: 58033 1271.42/1275.20 c #Conflicts: 781000 | #Constraints: 59033 1271.42/1275.20 c #Conflicts: 782000 | #Constraints: 60033 1271.42/1275.20 c #Conflicts: 783000 | #Constraints: 61033 1271.42/1275.20 c #Conflicts: 784000 | #Constraints: 62033 1271.42/1275.20 c #Conflicts: 785000 | #Constraints: 63034 1271.42/1275.20 c #Conflicts: 786000 | #Constraints: 64034 1271.42/1275.20 c #Conflicts: 787000 | #Constraints: 65034 1271.42/1275.20 c #Conflicts: 788000 | #Constraints: 66034 1271.42/1275.20 c #Conflicts: 789000 | #Constraints: 67034 1271.42/1275.20 c #Conflicts: 790000 | #Constraints: 68034 1271.42/1275.20 c #Conflicts: 791000 | #Constraints: 69034 1271.42/1275.20 c #Conflicts: 792000 | #Constraints: 70034 1271.42/1275.20 c INPROCESSING 1271.42/1275.20 c GARBAGE COLLECT 1271.42/1275.20 c rational objective 85 1302.91/1306.88 c #Conflicts: 793000 | #Constraints: 39213 1302.91/1306.88 c #Conflicts: 794000 | #Constraints: 40213 1302.91/1306.88 c #Conflicts: 795000 | #Constraints: 41213 1302.91/1306.88 c #Conflicts: 796000 | #Constraints: 42213 1302.91/1306.88 c #Conflicts: 797000 | #Constraints: 43213 1302.91/1306.88 c #Conflicts: 798000 | #Constraints: 44213 1302.91/1306.88 c #Conflicts: 799000 | #Constraints: 45213 1302.91/1306.88 c #Conflicts: 800000 | #Constraints: 46213 1302.91/1306.88 c #Conflicts: 801000 | #Constraints: 47213 1302.91/1306.88 c #Conflicts: 802000 | #Constraints: 48213 1302.91/1306.88 c #Conflicts: 803000 | #Constraints: 49214 1302.91/1306.88 c #Conflicts: 804000 | #Constraints: 50214 1302.91/1306.88 c #Conflicts: 805000 | #Constraints: 51214 1302.91/1306.88 c #Conflicts: 806000 | #Constraints: 52214 1302.91/1306.88 c #Conflicts: 807000 | #Constraints: 53214 1302.91/1306.88 c #Conflicts: 808000 | #Constraints: 54214 1302.91/1306.88 c #Conflicts: 809000 | #Constraints: 55215 1302.91/1306.88 c #Conflicts: 810000 | #Constraints: 56215 1302.91/1306.88 c #Conflicts: 811000 | #Constraints: 57215 1302.91/1306.88 c #Conflicts: 812000 | #Constraints: 58215 1302.91/1306.88 c INPROCESSING 1302.91/1306.88 c GARBAGE COLLECT 1302.91/1306.88 c rational objective 85 1328.63/1332.60 c #Conflicts: 813000 | #Constraints: 33501 1328.63/1332.60 c #Conflicts: 814000 | #Constraints: 34501 1328.63/1332.60 c #Conflicts: 815000 | #Constraints: 35502 1328.63/1332.60 c #Conflicts: 816000 | #Constraints: 36503 1328.63/1332.60 c #Conflicts: 817000 | #Constraints: 37503 1328.63/1332.60 c #Conflicts: 818000 | #Constraints: 38503 1328.63/1332.60 c #Conflicts: 819000 | #Constraints: 39503 1328.63/1332.60 c #Conflicts: 820000 | #Constraints: 40503 1328.63/1332.60 c #Conflicts: 821000 | #Constraints: 41504 1328.63/1332.60 c #Conflicts: 822000 | #Constraints: 42504 1328.63/1332.60 c #Conflicts: 823000 | #Constraints: 43504 1328.63/1332.60 c #Conflicts: 824000 | #Constraints: 44504 1328.63/1332.60 c #Conflicts: 825000 | #Constraints: 45504 1328.63/1332.60 c #Conflicts: 826000 | #Constraints: 46504 1328.63/1332.60 c #Conflicts: 827000 | #Constraints: 47504 1328.63/1332.60 c #Conflicts: 828000 | #Constraints: 48504 1328.63/1332.60 c #Conflicts: 829000 | #Constraints: 49504 1328.63/1332.60 c #Conflicts: 830000 | #Constraints: 50504 1328.63/1332.60 c #Conflicts: 831000 | #Constraints: 51504 1328.63/1332.60 c INPROCESSING 1328.63/1332.60 c GARBAGE COLLECT 1328.63/1332.60 c rational objective 85 1365.82/1369.95 c #Conflicts: 832000 | #Constraints: 29680 1365.82/1369.95 c #Conflicts: 833000 | #Constraints: 30681 1365.82/1369.95 c #Conflicts: 834000 | #Constraints: 31681 1365.82/1369.95 c #Conflicts: 835000 | #Constraints: 32681 1365.82/1369.95 c #Conflicts: 836000 | #Constraints: 33682 1365.82/1369.95 c #Conflicts: 837000 | #Constraints: 34682 1365.82/1369.95 c #Conflicts: 838000 | #Constraints: 35682 1365.82/1369.95 c #Conflicts: 839000 | #Constraints: 36682 1365.82/1369.95 c #Conflicts: 840000 | #Constraints: 37682 1365.82/1369.95 c #Conflicts: 841000 | #Constraints: 38682 1365.82/1369.95 c #Conflicts: 842000 | #Constraints: 39682 1365.82/1369.95 c #Conflicts: 843000 | #Constraints: 40682 1365.82/1369.95 c #Conflicts: 844000 | #Constraints: 41682 1365.82/1369.95 c #Conflicts: 845000 | #Constraints: 42682 1365.82/1369.95 c #Conflicts: 846000 | #Constraints: 43682 1365.82/1369.95 c #Conflicts: 847000 | #Constraints: 44682 1365.82/1369.95 c #Conflicts: 848000 | #Constraints: 45683 1365.82/1369.95 c #Conflicts: 849000 | #Constraints: 46683 1365.82/1369.95 c #Conflicts: 850000 | #Constraints: 47683 1365.82/1369.95 c #Conflicts: 851000 | #Constraints: 48683 1365.82/1369.95 c #Conflicts: 852000 | #Constraints: 49683 1365.82/1369.95 c INPROCESSING 1365.82/1369.95 c GARBAGE COLLECT 1365.82/1369.95 c rational objective 85 1550.03/1554.73 c #Conflicts: 853000 | #Constraints: 29231 1550.03/1554.73 c #Conflicts: 854000 | #Constraints: 30231 1550.03/1554.73 c #Conflicts: 855000 | #Constraints: 31231 1550.03/1554.73 c #Conflicts: 856000 | #Constraints: 32231 1550.03/1554.73 c #Conflicts: 857000 | #Constraints: 33231 1550.03/1554.73 c #Conflicts: 858000 | #Constraints: 34231 1550.03/1554.73 c #Conflicts: 859000 | #Constraints: 35231 1550.03/1554.73 c #Conflicts: 860000 | #Constraints: 36231 1550.03/1554.73 c #Conflicts: 861000 | #Constraints: 37231 1550.03/1554.73 c #Conflicts: 862000 | #Constraints: 38231 1550.03/1554.73 c #Conflicts: 863000 | #Constraints: 39231 1550.03/1554.73 c #Conflicts: 864000 | #Constraints: 40231 1550.03/1554.73 c #Conflicts: 865000 | #Constraints: 41231 1550.03/1554.73 c #Conflicts: 866000 | #Constraints: 42231 1550.03/1554.73 c #Conflicts: 867000 | #Constraints: 43232 1550.03/1554.73 c #Conflicts: 868000 | #Constraints: 44232 1550.03/1554.73 c #Conflicts: 869000 | #Constraints: 45232 1550.03/1554.73 c #Conflicts: 870000 | #Constraints: 46232 1550.03/1554.73 c #Conflicts: 871000 | #Constraints: 47232 1550.03/1554.73 c #Conflicts: 872000 | #Constraints: 48232 1550.03/1554.73 c #Conflicts: 873000 | #Constraints: 49232 1550.03/1554.73 c #Conflicts: 874000 | #Constraints: 50232 1550.03/1554.73 c #Conflicts: 875000 | #Constraints: 51232 1550.03/1554.73 c #Conflicts: 876000 | #Constraints: 52232 1550.03/1554.73 c #Conflicts: 877000 | #Constraints: 53232 1550.03/1554.73 c #Conflicts: 878000 | #Constraints: 54232 1550.03/1554.73 c #Conflicts: 879000 | #Constraints: 55232 1550.03/1554.73 c #Conflicts: 880000 | #Constraints: 56232 1550.03/1554.73 c #Conflicts: 881000 | #Constraints: 57233 1550.03/1554.73 c #Conflicts: 882000 | #Constraints: 58233 1550.03/1554.73 c #Conflicts: 883000 | #Constraints: 59233 1550.03/1554.73 c #Conflicts: 884000 | #Constraints: 60233 1550.03/1554.73 c #Conflicts: 885000 | #Constraints: 61233 1550.03/1554.73 c #Conflicts: 886000 | #Constraints: 62233 1550.03/1554.73 c #Conflicts: 887000 | #Constraints: 63233 1550.03/1554.73 c #Conflicts: 888000 | #Constraints: 64233 1550.03/1554.73 c #Conflicts: 889000 | #Constraints: 65233 1550.03/1554.73 c #Conflicts: 890000 | #Constraints: 66233 1550.03/1554.73 c #Conflicts: 891000 | #Constraints: 67233 1550.03/1554.73 c #Conflicts: 892000 | #Constraints: 68233 1550.03/1554.73 c #Conflicts: 893000 | #Constraints: 69233 1550.03/1554.73 c #Conflicts: 894000 | #Constraints: 70233 1550.03/1554.73 c #Conflicts: 895000 | #Constraints: 71233 1550.03/1554.73 c #Conflicts: 896000 | #Constraints: 72233 1550.03/1554.73 c #Conflicts: 897000 | #Constraints: 73233 1550.03/1554.73 c #Conflicts: 898000 | #Constraints: 74233 1550.03/1554.73 c #Conflicts: 899000 | #Constraints: 75233 1550.03/1554.73 c #Conflicts: 900000 | #Constraints: 76233 1550.03/1554.73 c #Conflicts: 901000 | #Constraints: 77234 1550.03/1554.73 c #Conflicts: 902000 | #Constraints: 78234 1550.03/1554.73 c #Conflicts: 903000 | #Constraints: 79235 1550.03/1554.73 c #Conflicts: 904000 | #Constraints: 80235 1550.03/1554.73 c #Conflicts: 905000 | #Constraints: 81235 1550.03/1554.73 c #Conflicts: 906000 | #Constraints: 82235 1550.03/1554.73 c #Conflicts: 907000 | #Constraints: 83235 1550.03/1554.73 c #Conflicts: 908000 | #Constraints: 84235 1550.03/1554.73 c #Conflicts: 909000 | #Constraints: 85235 1550.03/1554.73 c #Conflicts: 910000 | #Constraints: 86235 1550.03/1554.73 c #Conflicts: 911000 | #Constraints: 87235 1550.03/1554.73 c #Conflicts: 912000 | #Constraints: 88235 1550.03/1554.73 c #Conflicts: 913000 | #Constraints: 89235 1550.03/1554.73 c #Conflicts: 914000 | #Constraints: 90235 1550.03/1554.73 c #Conflicts: 915000 | #Constraints: 91236 1550.03/1554.73 c #Conflicts: 916000 | #Constraints: 92236 1550.03/1554.73 c #Conflicts: 917000 | #Constraints: 93236 1550.03/1554.73 c #Conflicts: 918000 | #Constraints: 94236 1550.03/1554.73 c #Conflicts: 919000 | #Constraints: 95236 1550.03/1554.73 c #Conflicts: 920000 | #Constraints: 96236 1550.03/1554.73 c #Conflicts: 921000 | #Constraints: 97236 1550.03/1554.73 c #Conflicts: 922000 | #Constraints: 98237 1550.03/1554.73 c #Conflicts: 923000 | #Constraints: 99237 1550.03/1554.73 c #Conflicts: 924000 | #Constraints: 100237 1550.03/1554.73 c #Conflicts: 925000 | #Constraints: 101237 1550.03/1554.73 c #Conflicts: 926000 | #Constraints: 102237 1550.03/1554.73 c #Conflicts: 927000 | #Constraints: 103237 1550.03/1554.73 c INPROCESSING 1550.03/1554.73 c GARBAGE COLLECT 1550.03/1554.73 c rational objective 85 1601.86/1606.78 c #Conflicts: 928000 | #Constraints: 55846 1601.86/1606.78 c #Conflicts: 929000 | #Constraints: 56846 1601.86/1606.78 c #Conflicts: 930000 | #Constraints: 57846 1601.86/1606.78 c #Conflicts: 931000 | #Constraints: 58846 1601.86/1606.78 c #Conflicts: 932000 | #Constraints: 59846 1601.86/1606.78 c #Conflicts: 933000 | #Constraints: 60846 1601.86/1606.78 c #Conflicts: 934000 | #Constraints: 61846 1601.86/1606.78 c #Conflicts: 935000 | #Constraints: 62846 1601.86/1606.78 c #Conflicts: 936000 | #Constraints: 63846 1601.86/1606.78 c #Conflicts: 937000 | #Constraints: 64846 1601.86/1606.78 c #Conflicts: 938000 | #Constraints: 65847 1601.86/1606.78 c #Conflicts: 939000 | #Constraints: 66847 1601.86/1606.78 c #Conflicts: 940000 | #Constraints: 67847 1601.86/1606.78 c #Conflicts: 941000 | #Constraints: 68848 1601.86/1606.78 c #Conflicts: 942000 | #Constraints: 69848 1601.86/1606.78 c #Conflicts: 943000 | #Constraints: 70848 1601.86/1606.78 c #Conflicts: 944000 | #Constraints: 71848 1601.86/1606.78 c #Conflicts: 945000 | #Constraints: 72848 1601.86/1606.78 c #Conflicts: 946000 | #Constraints: 73848 1601.86/1606.78 c #Conflicts: 947000 | #Constraints: 74848 1601.86/1606.78 c #Conflicts: 948000 | #Constraints: 75848 1601.86/1606.78 c INPROCESSING 1601.86/1606.78 c GARBAGE COLLECT 1601.86/1606.78 c rational objective 85 1653.49/1658.54 c #Conflicts: 949000 | #Constraints: 42042 1653.49/1658.54 c #Conflicts: 950000 | #Constraints: 43042 1653.49/1658.54 c #Conflicts: 951000 | #Constraints: 44042 1653.49/1658.54 c #Conflicts: 952000 | #Constraints: 45042 1653.49/1658.54 c #Conflicts: 953000 | #Constraints: 46042 1653.49/1658.54 c #Conflicts: 954000 | #Constraints: 47042 1653.49/1658.54 c #Conflicts: 955000 | #Constraints: 48042 1653.49/1658.54 c #Conflicts: 956000 | #Constraints: 49042 1653.49/1658.54 c #Conflicts: 957000 | #Constraints: 50042 1653.49/1658.54 c #Conflicts: 958000 | #Constraints: 51042 1653.49/1658.54 c #Conflicts: 959000 | #Constraints: 52043 1653.49/1658.54 c #Conflicts: 960000 | #Constraints: 53043 1653.49/1658.54 c #Conflicts: 961000 | #Constraints: 54043 1653.49/1658.54 c #Conflicts: 962000 | #Constraints: 55043 1653.49/1658.54 c #Conflicts: 963000 | #Constraints: 56043 1653.49/1658.54 c #Conflicts: 964000 | #Constraints: 57043 1653.49/1658.54 c #Conflicts: 965000 | #Constraints: 58044 1653.49/1658.54 c #Conflicts: 966000 | #Constraints: 59044 1653.49/1658.54 c #Conflicts: 967000 | #Constraints: 60044 1653.49/1658.54 c #Conflicts: 968000 | #Constraints: 61044 1653.49/1658.54 c #Conflicts: 969000 | #Constraints: 62044 1653.49/1658.54 c #Conflicts: 970000 | #Constraints: 63044 1653.49/1658.54 c INPROCESSING 1653.49/1658.54 c GARBAGE COLLECT 1653.49/1658.54 c rational objective 85 1697.07/1702.28 c #Conflicts: 971000 | #Constraints: 35762 1697.07/1702.28 c #Conflicts: 972000 | #Constraints: 36762 1697.07/1702.28 c #Conflicts: 973000 | #Constraints: 37762 1697.07/1702.28 c #Conflicts: 974000 | #Constraints: 38762 1697.07/1702.28 c #Conflicts: 975000 | #Constraints: 39762 1697.07/1702.28 c #Conflicts: 976000 | #Constraints: 40762 1697.07/1702.28 c #Conflicts: 977000 | #Constraints: 41762 1697.07/1702.28 c #Conflicts: 978000 | #Constraints: 42762 1697.07/1702.28 c #Conflicts: 979000 | #Constraints: 43762 1697.07/1702.28 c #Conflicts: 980000 | #Constraints: 44762 1697.07/1702.28 c #Conflicts: 981000 | #Constraints: 45762 1697.07/1702.28 c #Conflicts: 982000 | #Constraints: 46762 1697.07/1702.28 c #Conflicts: 983000 | #Constraints: 47762 1697.07/1702.28 c #Conflicts: 984000 | #Constraints: 48762 1697.07/1702.28 c #Conflicts: 985000 | #Constraints: 49763 1697.07/1702.28 c #Conflicts: 986000 | #Constraints: 50763 1697.07/1702.28 c #Conflicts: 987000 | #Constraints: 51763 1697.07/1702.28 c #Conflicts: 988000 | #Constraints: 52763 1697.07/1702.28 c #Conflicts: 989000 | #Constraints: 53763 1697.07/1702.28 c #Conflicts: 990000 | #Constraints: 54763 1697.07/1702.28 c #Conflicts: 991000 | #Constraints: 55764 1697.07/1702.28 c #Conflicts: 992000 | #Constraints: 56764 1697.07/1702.28 c INPROCESSING 1697.07/1702.28 c GARBAGE COLLECT 1697.07/1702.28 c rational objective 85 1730.56/1735.82 c #Conflicts: 993000 | #Constraints: 32786 1730.56/1735.82 c #Conflicts: 994000 | #Constraints: 33786 1730.56/1735.82 c #Conflicts: 995000 | #Constraints: 34786 1730.56/1735.82 c #Conflicts: 996000 | #Constraints: 35786 1730.56/1735.82 c #Conflicts: 997000 | #Constraints: 36786 1730.56/1735.82 c #Conflicts: 998000 | #Constraints: 37786 1730.56/1735.82 c #Conflicts: 999000 | #Constraints: 38786 1730.56/1735.82 c #Conflicts: 1000000 | #Constraints: 39786 1730.56/1735.82 c #Conflicts: 1001000 | #Constraints: 40786 1730.56/1735.82 c #Conflicts: 1002000 | #Constraints: 41786 1730.56/1735.82 c #Conflicts: 1003000 | #Constraints: 42786 1730.56/1735.82 c #Conflicts: 1004000 | #Constraints: 43786 1730.56/1735.82 c #Conflicts: 1005000 | #Constraints: 44786 1730.56/1735.82 c #Conflicts: 1006000 | #Constraints: 45786 1730.56/1735.82 c #Conflicts: 1007000 | #Constraints: 46786 1730.56/1735.82 c #Conflicts: 1008000 | #Constraints: 47786 1730.56/1735.82 c #Conflicts: 1009000 | #Constraints: 48786 1730.56/1735.82 c #Conflicts: 1010000 | #Constraints: 49787 1730.56/1735.82 c #Conflicts: 1011000 | #Constraints: 50787 1730.56/1735.82 c #Conflicts: 1012000 | #Constraints: 51788 1730.56/1735.82 c #Conflicts: 1013000 | #Constraints: 52788 1730.56/1735.82 c #Conflicts: 1014000 | #Constraints: 53788 1730.56/1735.82 c INPROCESSING 1730.56/1735.82 c GARBAGE COLLECT 1730.56/1735.82 c rational objective 85 1910.53/1916.35 c #Conflicts: 1015000 | #Constraints: 31302 1910.53/1916.35 c #Conflicts: 1016000 | #Constraints: 32302 1910.53/1916.35 c #Conflicts: 1017000 | #Constraints: 33302 1910.53/1916.35 c #Conflicts: 1018000 | #Constraints: 34302 1910.53/1916.35 c #Conflicts: 1019000 | #Constraints: 35302 1910.53/1916.35 c #Conflicts: 1020000 | #Constraints: 36302 1910.53/1916.35 c #Conflicts: 1021000 | #Constraints: 37302 1910.53/1916.35 c #Conflicts: 1022000 | #Constraints: 38302 1910.53/1916.35 c #Conflicts: 1023000 | #Constraints: 39302 1910.53/1916.35 c #Conflicts: 1024000 | #Constraints: 40303 1910.53/1916.35 c #Conflicts: 1025000 | #Constraints: 41303 1910.53/1916.35 c #Conflicts: 1026000 | #Constraints: 42303 1910.53/1916.35 c #Conflicts: 1027000 | #Constraints: 43303 1910.53/1916.35 c #Conflicts: 1028000 | #Constraints: 44303 1910.53/1916.35 c #Conflicts: 1029000 | #Constraints: 45304 1910.53/1916.35 c #Conflicts: 1030000 | #Constraints: 46305 1910.53/1916.35 c #Conflicts: 1031000 | #Constraints: 47305 1910.53/1916.35 c #Conflicts: 1032000 | #Constraints: 48306 1910.53/1916.35 c #Conflicts: 1033000 | #Constraints: 49308 1910.53/1916.35 c #Conflicts: 1034000 | #Constraints: 50311 1910.53/1916.35 c #Conflicts: 1035000 | #Constraints: 51312 1910.53/1916.35 c #Conflicts: 1036000 | #Constraints: 52312 1910.53/1916.35 c #Conflicts: 1037000 | #Constraints: 53312 1910.53/1916.35 c #Conflicts: 1038000 | #Constraints: 54313 1910.53/1916.35 c #Conflicts: 1039000 | #Constraints: 55313 1910.53/1916.35 c #Conflicts: 1040000 | #Constraints: 56313 1910.53/1916.35 c #Conflicts: 1041000 | #Constraints: 57313 1910.53/1916.35 c #Conflicts: 1042000 | #Constraints: 58313 1910.53/1916.35 c #Conflicts: 1043000 | #Constraints: 59313 1910.53/1916.35 c #Conflicts: 1044000 | #Constraints: 60313 1910.53/1916.35 c #Conflicts: 1045000 | #Constraints: 61313 1910.53/1916.35 c #Conflicts: 1046000 | #Constraints: 62313 1910.53/1916.35 c #Conflicts: 1047000 | #Constraints: 63313 1910.53/1916.35 c #Conflicts: 1048000 | #Constraints: 64313 1910.53/1916.35 c #Conflicts: 1049000 | #Constraints: 65313 1910.53/1916.35 c #Conflicts: 1050000 | #Constraints: 66313 1910.53/1916.35 c #Conflicts: 1051000 | #Constraints: 67314 1910.53/1916.35 c #Conflicts: 1052000 | #Constraints: 68314 1910.53/1916.35 c #Conflicts: 1053000 | #Constraints: 69314 1910.53/1916.35 c #Conflicts: 1054000 | #Constraints: 70314 1910.53/1916.35 c #Conflicts: 1055000 | #Constraints: 71314 1910.53/1916.35 c #Conflicts: 1056000 | #Constraints: 72314 1910.53/1916.35 c #Conflicts: 1057000 | #Constraints: 73314 1910.53/1916.35 c #Conflicts: 1058000 | #Constraints: 74314 1910.53/1916.35 c #Conflicts: 1059000 | #Constraints: 75314 1910.53/1916.35 c #Conflicts: 1060000 | #Constraints: 76314 1910.53/1916.35 c #Conflicts: 1061000 | #Constraints: 77314 1910.53/1916.35 c #Conflicts: 1062000 | #Constraints: 78314 1910.53/1916.35 c #Conflicts: 1063000 | #Constraints: 79314 1910.53/1916.35 c #Conflicts: 1064000 | #Constraints: 80314 1910.53/1916.35 c #Conflicts: 1065000 | #Constraints: 81314 1910.53/1916.35 c #Conflicts: 1066000 | #Constraints: 82314 1910.53/1916.35 c #Conflicts: 1067000 | #Constraints: 83314 1910.53/1916.35 c #Conflicts: 1068000 | #Constraints: 84314 1910.53/1916.35 c #Conflicts: 1069000 | #Constraints: 85314 1910.53/1916.35 c #Conflicts: 1070000 | #Constraints: 86314 1910.53/1916.35 c #Conflicts: 1071000 | #Constraints: 87314 1910.53/1916.35 c #Conflicts: 1072000 | #Constraints: 88314 1910.53/1916.35 c #Conflicts: 1073000 | #Constraints: 89314 1910.53/1916.35 c #Conflicts: 1074000 | #Constraints: 90314 1910.53/1916.35 c #Conflicts: 1075000 | #Constraints: 91314 1910.53/1916.35 c #Conflicts: 1076000 | #Constraints: 92314 1910.53/1916.35 c #Conflicts: 1077000 | #Constraints: 93314 1910.53/1916.35 c #Conflicts: 1078000 | #Constraints: 94314 1910.53/1916.35 c #Conflicts: 1079000 | #Constraints: 95314 1910.53/1916.35 c #Conflicts: 1080000 | #Constraints: 96314 1910.53/1916.35 c #Conflicts: 1081000 | #Constraints: 97314 1910.53/1916.35 c #Conflicts: 1082000 | #Constraints: 98314 1910.53/1916.35 c #Conflicts: 1083000 | #Constraints: 99314 1910.53/1916.35 c #Conflicts: 1084000 | #Constraints: 100314 1910.53/1916.35 c #Conflicts: 1085000 | #Constraints: 101315 1910.53/1916.35 c #Conflicts: 1086000 | #Constraints: 102315 1910.53/1916.35 c #Conflicts: 1087000 | #Constraints: 103315 1910.53/1916.35 c #Conflicts: 1088000 | #Constraints: 104315 1910.53/1916.35 c #Conflicts: 1089000 | #Constraints: 105315 1910.53/1916.35 c #Conflicts: 1090000 | #Constraints: 106315 1910.53/1916.35 c #Conflicts: 1091000 | #Constraints: 107316 1910.53/1916.35 c #Conflicts: 1092000 | #Constraints: 108316 1910.53/1916.35 c #Conflicts: 1093000 | #Constraints: 109317 1926.49/1932.39 c #Conflicts: 1094000 | #Constraints: 110320 1926.49/1932.39 c #Conflicts: 1095000 | #Constraints: 111324 1926.49/1932.39 c INPROCESSING 1926.49/1932.39 c GARBAGE COLLECT 1926.49/1932.39 c rational objective 85 1981.85/1987.89 c #Conflicts: 1096000 | #Constraints: 59812 1981.85/1987.89 c #Conflicts: 1097000 | #Constraints: 60813 1981.85/1987.89 c #Conflicts: 1098000 | #Constraints: 61813 1981.85/1987.89 c #Conflicts: 1099000 | #Constraints: 62813 1981.85/1987.89 c #Conflicts: 1100000 | #Constraints: 63813 1981.85/1987.89 c #Conflicts: 1101000 | #Constraints: 64813 1981.85/1987.89 c #Conflicts: 1102000 | #Constraints: 65813 1981.85/1987.89 c #Conflicts: 1103000 | #Constraints: 66813 1981.85/1987.89 c #Conflicts: 1104000 | #Constraints: 67813 1981.85/1987.89 c #Conflicts: 1105000 | #Constraints: 68813 1981.85/1987.89 c #Conflicts: 1106000 | #Constraints: 69813 1981.85/1987.89 c #Conflicts: 1107000 | #Constraints: 70813 1981.85/1987.89 c #Conflicts: 1108000 | #Constraints: 71813 1981.85/1987.89 c #Conflicts: 1109000 | #Constraints: 72813 1981.85/1987.89 c #Conflicts: 1110000 | #Constraints: 73813 1981.85/1987.89 c #Conflicts: 1111000 | #Constraints: 74813 1981.85/1987.89 c #Conflicts: 1112000 | #Constraints: 75813 1981.85/1987.89 c #Conflicts: 1113000 | #Constraints: 76813 1981.85/1987.89 c #Conflicts: 1114000 | #Constraints: 77813 1981.85/1987.89 c #Conflicts: 1115000 | #Constraints: 78813 1981.85/1987.89 c #Conflicts: 1116000 | #Constraints: 79813 1981.85/1987.89 c #Conflicts: 1117000 | #Constraints: 80813 1981.85/1987.89 c #Conflicts: 1118000 | #Constraints: 81813 1981.85/1987.89 c INPROCESSING 1981.85/1987.89 c GARBAGE COLLECT 1981.85/1987.89 c rational objective 85 2021.05/2027.15 c #Conflicts: 1119000 | #Constraints: 44820 2021.05/2027.15 c #Conflicts: 1120000 | #Constraints: 45820 2021.05/2027.15 c #Conflicts: 1121000 | #Constraints: 46820 2021.05/2027.15 c #Conflicts: 1122000 | #Constraints: 47820 2021.05/2027.15 c #Conflicts: 1123000 | #Constraints: 48820 2021.05/2027.15 c #Conflicts: 1124000 | #Constraints: 49820 2021.05/2027.15 c #Conflicts: 1125000 | #Constraints: 50820 2021.05/2027.15 c #Conflicts: 1126000 | #Constraints: 51820 2021.05/2027.15 c #Conflicts: 1127000 | #Constraints: 52820 2021.05/2027.15 c #Conflicts: 1128000 | #Constraints: 53820 2021.05/2027.15 c #Conflicts: 1129000 | #Constraints: 54820 2021.05/2027.15 c #Conflicts: 1130000 | #Constraints: 55821 2021.05/2027.15 c #Conflicts: 1131000 | #Constraints: 56821 2021.05/2027.15 c #Conflicts: 1132000 | #Constraints: 57821 2021.05/2027.15 c #Conflicts: 1133000 | #Constraints: 58821 2021.05/2027.15 c #Conflicts: 1134000 | #Constraints: 59821 2021.05/2027.15 c #Conflicts: 1135000 | #Constraints: 60821 2021.05/2027.15 c #Conflicts: 1136000 | #Constraints: 61821 2021.05/2027.15 c #Conflicts: 1137000 | #Constraints: 62821 2021.05/2027.15 c #Conflicts: 1138000 | #Constraints: 63821 2021.05/2027.15 c #Conflicts: 1139000 | #Constraints: 64821 2021.05/2027.15 c #Conflicts: 1140000 | #Constraints: 65821 2021.05/2027.15 c #Conflicts: 1141000 | #Constraints: 66821 2021.05/2027.15 c #Conflicts: 1142000 | #Constraints: 67821 2021.05/2027.15 c INPROCESSING 2021.05/2027.15 c GARBAGE COLLECT 2021.05/2027.15 c rational objective 85 2057.75/2063.99 c #Conflicts: 1143000 | #Constraints: 38094 2057.75/2063.99 c #Conflicts: 1144000 | #Constraints: 39094 2057.75/2063.99 c #Conflicts: 1145000 | #Constraints: 40094 2057.75/2063.99 c #Conflicts: 1146000 | #Constraints: 41094 2057.75/2063.99 c #Conflicts: 1147000 | #Constraints: 42094 2057.75/2063.99 c #Conflicts: 1148000 | #Constraints: 43094 2057.75/2063.99 c #Conflicts: 1149000 | #Constraints: 44094 2057.75/2063.99 c #Conflicts: 1150000 | #Constraints: 45094 2057.75/2063.99 c #Conflicts: 1151000 | #Constraints: 46094 2057.75/2063.99 c #Conflicts: 1152000 | #Constraints: 47094 2057.75/2063.99 c #Conflicts: 1153000 | #Constraints: 48094 2057.75/2063.99 c #Conflicts: 1154000 | #Constraints: 49094 2057.75/2063.99 c #Conflicts: 1155000 | #Constraints: 50095 2057.75/2063.99 c #Conflicts: 1156000 | #Constraints: 51095 2057.75/2063.99 c #Conflicts: 1157000 | #Constraints: 52096 2057.75/2063.99 c #Conflicts: 1158000 | #Constraints: 53096 2057.75/2063.99 c #Conflicts: 1159000 | #Constraints: 54096 2057.75/2063.99 c #Conflicts: 1160000 | #Constraints: 55096 2057.75/2063.99 c #Conflicts: 1161000 | #Constraints: 56096 2057.75/2063.99 c #Conflicts: 1162000 | #Constraints: 57096 2057.75/2063.99 c #Conflicts: 1163000 | #Constraints: 58096 2057.75/2063.99 c #Conflicts: 1164000 | #Constraints: 59096 2057.75/2063.99 c #Conflicts: 1165000 | #Constraints: 60096 2057.75/2063.99 c #Conflicts: 1166000 | #Constraints: 61096 2057.75/2063.99 c INPROCESSING 2057.75/2063.99 c GARBAGE COLLECT 2057.75/2063.99 c rational objective 85 2099.85/2106.15 c #Conflicts: 1167000 | #Constraints: 34888 2099.85/2106.15 c #Conflicts: 1168000 | #Constraints: 35888 2099.85/2106.15 c #Conflicts: 1169000 | #Constraints: 36889 2099.85/2106.15 c #Conflicts: 1170000 | #Constraints: 37889 2099.85/2106.15 c #Conflicts: 1171000 | #Constraints: 38889 2099.85/2106.15 c #Conflicts: 1172000 | #Constraints: 39889 2099.85/2106.15 c #Conflicts: 1173000 | #Constraints: 40889 2099.85/2106.15 c #Conflicts: 1174000 | #Constraints: 41889 2099.85/2106.15 c #Conflicts: 1175000 | #Constraints: 42889 2099.85/2106.15 c #Conflicts: 1176000 | #Constraints: 43889 2099.85/2106.15 c #Conflicts: 1177000 | #Constraints: 44889 2099.85/2106.15 c #Conflicts: 1178000 | #Constraints: 45889 2099.85/2106.15 c #Conflicts: 1179000 | #Constraints: 46889 2099.85/2106.15 c #Conflicts: 1180000 | #Constraints: 47889 2099.85/2106.15 c #Conflicts: 1181000 | #Constraints: 48889 2099.85/2106.15 c #Conflicts: 1182000 | #Constraints: 49889 2099.85/2106.15 c #Conflicts: 1183000 | #Constraints: 50889 2099.85/2106.15 c #Conflicts: 1184000 | #Constraints: 51890 2099.85/2106.15 c #Conflicts: 1185000 | #Constraints: 52890 2099.85/2106.15 c #Conflicts: 1186000 | #Constraints: 53890 2099.85/2106.15 c #Conflicts: 1187000 | #Constraints: 54890 2099.85/2106.15 c #Conflicts: 1188000 | #Constraints: 55890 2099.85/2106.15 c #Conflicts: 1189000 | #Constraints: 56890 2099.85/2106.15 c #Conflicts: 1190000 | #Constraints: 57890 2099.85/2106.15 c INPROCESSING 2099.85/2106.15 c GARBAGE COLLECT 2099.85/2106.15 c rational objective 85 2310.39/2317.23 c #Conflicts: 1191000 | #Constraints: 33311 2310.39/2317.23 c #Conflicts: 1192000 | #Constraints: 34311 2310.39/2317.23 c #Conflicts: 1193000 | #Constraints: 35311 2310.39/2317.23 c #Conflicts: 1194000 | #Constraints: 36311 2310.39/2317.23 c #Conflicts: 1195000 | #Constraints: 37311 2310.39/2317.23 c #Conflicts: 1196000 | #Constraints: 38311 2310.39/2317.23 c #Conflicts: 1197000 | #Constraints: 39311 2310.39/2317.23 c #Conflicts: 1198000 | #Constraints: 40311 2310.39/2317.23 c #Conflicts: 1199000 | #Constraints: 41311 2310.39/2317.23 c #Conflicts: 1200000 | #Constraints: 42311 2310.39/2317.23 c #Conflicts: 1201000 | #Constraints: 43311 2310.39/2317.23 c #Conflicts: 1202000 | #Constraints: 44311 2310.39/2317.23 c #Conflicts: 1203000 | #Constraints: 45311 2310.39/2317.23 c #Conflicts: 1204000 | #Constraints: 46311 2310.39/2317.23 c #Conflicts: 1205000 | #Constraints: 47311 2310.39/2317.23 c #Conflicts: 1206000 | #Constraints: 48311 2310.39/2317.23 c #Conflicts: 1207000 | #Constraints: 49311 2310.39/2317.23 c #Conflicts: 1208000 | #Constraints: 50311 2310.39/2317.23 c #Conflicts: 1209000 | #Constraints: 51311 2310.39/2317.23 c #Conflicts: 1210000 | #Constraints: 52312 2310.39/2317.23 c #Conflicts: 1211000 | #Constraints: 53312 2310.39/2317.23 c #Conflicts: 1212000 | #Constraints: 54312 2310.39/2317.23 c #Conflicts: 1213000 | #Constraints: 55312 2310.39/2317.23 c #Conflicts: 1214000 | #Constraints: 56313 2310.39/2317.23 c #Conflicts: 1215000 | #Constraints: 57313 2310.39/2317.23 c #Conflicts: 1216000 | #Constraints: 58313 2310.39/2317.23 c #Conflicts: 1217000 | #Constraints: 59315 2310.39/2317.23 c #Conflicts: 1218000 | #Constraints: 60316 2310.39/2317.23 c #Conflicts: 1219000 | #Constraints: 61317 2310.39/2317.23 c #Conflicts: 1220000 | #Constraints: 62318 2310.39/2317.23 c #Conflicts: 1221000 | #Constraints: 63318 2310.39/2317.23 c #Conflicts: 1222000 | #Constraints: 64318 2310.39/2317.23 c #Conflicts: 1223000 | #Constraints: 65318 2310.39/2317.23 c #Conflicts: 1224000 | #Constraints: 66318 2310.39/2317.23 c #Conflicts: 1225000 | #Constraints: 67318 2310.39/2317.23 c #Conflicts: 1226000 | #Constraints: 68318 2310.39/2317.23 c #Conflicts: 1227000 | #Constraints: 69318 2310.39/2317.23 c #Conflicts: 1228000 | #Constraints: 70318 2310.39/2317.23 c #Conflicts: 1229000 | #Constraints: 71318 2310.39/2317.23 c #Conflicts: 1230000 | #Constraints: 72318 2310.39/2317.23 c #Conflicts: 1231000 | #Constraints: 73318 2310.39/2317.23 c #Conflicts: 1232000 | #Constraints: 74318 2310.39/2317.23 c #Conflicts: 1233000 | #Constraints: 75318 2310.39/2317.23 c #Conflicts: 1234000 | #Constraints: 76318 2310.39/2317.23 c #Conflicts: 1235000 | #Constraints: 77318 2310.39/2317.23 c #Conflicts: 1236000 | #Constraints: 78318 2310.39/2317.23 c #Conflicts: 1237000 | #Constraints: 79318 2310.39/2317.23 c #Conflicts: 1238000 | #Constraints: 80318 2310.39/2317.23 c #Conflicts: 1239000 | #Constraints: 81318 2310.39/2317.23 c #Conflicts: 1240000 | #Constraints: 82318 2310.39/2317.23 c #Conflicts: 1241000 | #Constraints: 83318 2310.39/2317.23 c #Conflicts: 1242000 | #Constraints: 84318 2310.39/2317.23 c #Conflicts: 1243000 | #Constraints: 85318 2310.39/2317.23 c #Conflicts: 1244000 | #Constraints: 86318 2310.39/2317.23 c #Conflicts: 1245000 | #Constraints: 87318 2310.39/2317.23 c #Conflicts: 1246000 | #Constraints: 88318 2310.39/2317.23 c #Conflicts: 1247000 | #Constraints: 89318 2310.39/2317.23 c #Conflicts: 1248000 | #Constraints: 90319 2310.39/2317.23 c #Conflicts: 1249000 | #Constraints: 91319 2310.39/2317.23 c #Conflicts: 1250000 | #Constraints: 92319 2310.39/2317.23 c #Conflicts: 1251000 | #Constraints: 93319 2310.39/2317.23 c #Conflicts: 1252000 | #Constraints: 94319 2310.39/2317.23 c #Conflicts: 1253000 | #Constraints: 95319 2310.39/2317.23 c #Conflicts: 1254000 | #Constraints: 96319 2310.39/2317.23 c #Conflicts: 1255000 | #Constraints: 97319 2310.39/2317.23 c #Conflicts: 1256000 | #Constraints: 98320 2310.39/2317.23 c #Conflicts: 1257000 | #Constraints: 99320 2310.39/2317.23 c #Conflicts: 1258000 | #Constraints: 100320 2310.39/2317.23 c #Conflicts: 1259000 | #Constraints: 101320 2310.39/2317.23 c #Conflicts: 1260000 | #Constraints: 102320 2310.39/2317.23 c #Conflicts: 1261000 | #Constraints: 103320 2310.39/2317.23 c #Conflicts: 1262000 | #Constraints: 104320 2310.39/2317.23 c #Conflicts: 1263000 | #Constraints: 105321 2310.39/2317.23 c #Conflicts: 1264000 | #Constraints: 106322 2310.39/2317.23 c #Conflicts: 1265000 | #Constraints: 107322 2310.39/2317.23 c #Conflicts: 1266000 | #Constraints: 108322 2310.39/2317.23 c #Conflicts: 1267000 | #Constraints: 109322 2310.39/2317.23 c #Conflicts: 1268000 | #Constraints: 110322 2310.39/2317.23 c #Conflicts: 1269000 | #Constraints: 111322 2349.39/2356.32 c #Conflicts: 1270000 | #Constraints: 112322 2349.39/2356.32 c #Conflicts: 1271000 | #Constraints: 113322 2349.39/2356.32 c #Conflicts: 1272000 | #Constraints: 114322 2349.39/2356.32 c #Conflicts: 1273000 | #Constraints: 115322 2349.39/2356.32 c #Conflicts: 1274000 | #Constraints: 116322 2349.39/2356.32 c #Conflicts: 1275000 | #Constraints: 117322 2349.39/2356.32 c #Conflicts: 1276000 | #Constraints: 118322 2349.39/2356.32 c #Conflicts: 1277000 | #Constraints: 119322 2349.39/2356.32 c #Conflicts: 1278000 | #Constraints: 120322 2349.39/2356.32 c INPROCESSING 2349.39/2356.32 c GARBAGE COLLECT 2349.39/2356.32 c rational objective 85 2416.52/2423.63 c #Conflicts: 1279000 | #Constraints: 64601 2416.52/2423.63 c #Conflicts: 1280000 | #Constraints: 65602 2416.52/2423.63 c #Conflicts: 1281000 | #Constraints: 66603 2416.52/2423.63 c #Conflicts: 1282000 | #Constraints: 67604 2416.52/2423.63 c #Conflicts: 1283000 | #Constraints: 68604 2416.52/2423.63 c #Conflicts: 1284000 | #Constraints: 69604 2416.52/2423.63 c #Conflicts: 1285000 | #Constraints: 70604 2416.52/2423.63 c #Conflicts: 1286000 | #Constraints: 71604 2416.52/2423.63 c #Conflicts: 1287000 | #Constraints: 72604 2416.52/2423.63 c #Conflicts: 1288000 | #Constraints: 73604 2416.52/2423.63 c #Conflicts: 1289000 | #Constraints: 74604 2416.52/2423.63 c #Conflicts: 1290000 | #Constraints: 75605 2416.52/2423.63 c #Conflicts: 1291000 | #Constraints: 76605 2416.52/2423.63 c #Conflicts: 1292000 | #Constraints: 77605 2416.52/2423.63 c #Conflicts: 1293000 | #Constraints: 78605 2416.52/2423.63 c #Conflicts: 1294000 | #Constraints: 79605 2416.52/2423.63 c #Conflicts: 1295000 | #Constraints: 80605 2416.52/2423.63 c #Conflicts: 1296000 | #Constraints: 81605 2416.52/2423.63 c #Conflicts: 1297000 | #Constraints: 82605 2416.52/2423.63 c #Conflicts: 1298000 | #Constraints: 83605 2416.52/2423.63 c #Conflicts: 1299000 | #Constraints: 84605 2416.52/2423.63 c #Conflicts: 1300000 | #Constraints: 85605 2416.52/2423.63 c #Conflicts: 1301000 | #Constraints: 86606 2416.52/2423.63 c #Conflicts: 1302000 | #Constraints: 87607 2416.52/2423.63 c #Conflicts: 1303000 | #Constraints: 88607 2416.52/2423.63 c INPROCESSING 2416.52/2423.63 c GARBAGE COLLECT 2416.52/2423.63 c rational objective 85 2462.80/2470.05 c #Conflicts: 1304000 | #Constraints: 48625 2462.80/2470.05 c #Conflicts: 1305000 | #Constraints: 49625 2462.80/2470.05 c #Conflicts: 1306000 | #Constraints: 50625 2462.80/2470.05 c #Conflicts: 1307000 | #Constraints: 51625 2462.80/2470.05 c #Conflicts: 1308000 | #Constraints: 52625 2462.80/2470.05 c #Conflicts: 1309000 | #Constraints: 53625 2462.80/2470.05 c #Conflicts: 1310000 | #Constraints: 54625 2462.80/2470.05 c #Conflicts: 1311000 | #Constraints: 55625 2462.80/2470.05 c #Conflicts: 1312000 | #Constraints: 56625 2462.80/2470.05 c #Conflicts: 1313000 | #Constraints: 57625 2462.80/2470.05 c #Conflicts: 1314000 | #Constraints: 58625 2462.80/2470.05 c #Conflicts: 1315000 | #Constraints: 59626 2462.80/2470.05 c #Conflicts: 1316000 | #Constraints: 60626 2462.80/2470.05 c #Conflicts: 1317000 | #Constraints: 61628 2462.80/2470.05 c #Conflicts: 1318000 | #Constraints: 62628 2462.80/2470.05 c #Conflicts: 1319000 | #Constraints: 63629 2462.80/2470.05 c #Conflicts: 1320000 | #Constraints: 64629 2462.80/2470.05 c #Conflicts: 1321000 | #Constraints: 65632 2462.80/2470.05 c #Conflicts: 1322000 | #Constraints: 66633 2462.80/2470.05 c #Conflicts: 1323000 | #Constraints: 67633 2462.80/2470.05 c #Conflicts: 1324000 | #Constraints: 68633 2462.80/2470.05 c #Conflicts: 1325000 | #Constraints: 69633 2462.80/2470.05 c #Conflicts: 1326000 | #Constraints: 70633 2462.80/2470.05 c #Conflicts: 1327000 | #Constraints: 71633 2462.80/2470.05 c #Conflicts: 1328000 | #Constraints: 72633 2462.80/2470.05 c INPROCESSING 2462.80/2470.05 c GARBAGE COLLECT 2462.80/2470.05 c rational objective 85 2522.64/2530.09 c #Conflicts: 1329000 | #Constraints: 40492 2522.64/2530.09 c #Conflicts: 1330000 | #Constraints: 41492 2522.64/2530.09 c #Conflicts: 1331000 | #Constraints: 42492 2522.64/2530.09 c #Conflicts: 1332000 | #Constraints: 43492 2522.64/2530.09 c #Conflicts: 1333000 | #Constraints: 44493 2522.64/2530.09 c #Conflicts: 1334000 | #Constraints: 45493 2522.64/2530.09 c #Conflicts: 1335000 | #Constraints: 46493 2522.64/2530.09 c #Conflicts: 1336000 | #Constraints: 47493 2522.64/2530.09 c #Conflicts: 1337000 | #Constraints: 48493 2522.64/2530.09 c #Conflicts: 1338000 | #Constraints: 49493 2522.64/2530.09 c #Conflicts: 1339000 | #Constraints: 50493 2522.64/2530.09 c #Conflicts: 1340000 | #Constraints: 51493 2522.64/2530.09 c #Conflicts: 1341000 | #Constraints: 52493 2522.64/2530.09 c #Conflicts: 1342000 | #Constraints: 53493 2522.64/2530.09 c #Conflicts: 1343000 | #Constraints: 54493 2522.64/2530.09 c #Conflicts: 1344000 | #Constraints: 55493 2522.64/2530.09 c #Conflicts: 1345000 | #Constraints: 56493 2522.64/2530.09 c #Conflicts: 1346000 | #Constraints: 57493 2522.64/2530.09 c #Conflicts: 1347000 | #Constraints: 58493 2522.64/2530.09 c #Conflicts: 1348000 | #Constraints: 59493 2522.64/2530.09 c #Conflicts: 1349000 | #Constraints: 60493 2522.64/2530.09 c #Conflicts: 1350000 | #Constraints: 61493 2522.64/2530.09 c #Conflicts: 1351000 | #Constraints: 62493 2522.64/2530.09 c #Conflicts: 1352000 | #Constraints: 63493 2522.64/2530.09 c #Conflicts: 1353000 | #Constraints: 64493 2522.64/2530.09 c #Conflicts: 1354000 | #Constraints: 65493 2522.64/2530.09 c INPROCESSING 2522.64/2530.09 c GARBAGE COLLECT 2522.64/2530.09 c rational objective 85 2563.83/2571.35 c #Conflicts: 1355000 | #Constraints: 37011 2563.83/2571.35 c #Conflicts: 1356000 | #Constraints: 38011 2563.83/2571.35 c #Conflicts: 1357000 | #Constraints: 39011 2563.83/2571.35 c #Conflicts: 1358000 | #Constraints: 40011 2563.83/2571.35 c #Conflicts: 1359000 | #Constraints: 41011 2563.83/2571.35 c #Conflicts: 1360000 | #Constraints: 42011 2563.83/2571.35 c #Conflicts: 1361000 | #Constraints: 43011 2563.83/2571.35 c #Conflicts: 1362000 | #Constraints: 44011 2563.83/2571.35 c #Conflicts: 1363000 | #Constraints: 45011 2563.83/2571.35 c #Conflicts: 1364000 | #Constraints: 46011 2563.83/2571.35 c #Conflicts: 1365000 | #Constraints: 47011 2563.83/2571.35 c #Conflicts: 1366000 | #Constraints: 48012 2563.83/2571.35 c #Conflicts: 1367000 | #Constraints: 49012 2563.83/2571.35 c #Conflicts: 1368000 | #Constraints: 50012 2563.83/2571.35 c #Conflicts: 1369000 | #Constraints: 51013 2563.83/2571.35 c #Conflicts: 1370000 | #Constraints: 52013 2563.83/2571.35 c #Conflicts: 1371000 | #Constraints: 53013 2563.83/2571.35 c #Conflicts: 1372000 | #Constraints: 54013 2563.83/2571.35 c #Conflicts: 1373000 | #Constraints: 55013 2563.83/2571.35 c #Conflicts: 1374000 | #Constraints: 56013 2563.83/2571.35 c #Conflicts: 1375000 | #Constraints: 57013 2563.83/2571.35 c #Conflicts: 1376000 | #Constraints: 58013 2563.83/2571.35 c #Conflicts: 1377000 | #Constraints: 59013 2563.83/2571.35 c #Conflicts: 1378000 | #Constraints: 60013 2563.83/2571.35 c #Conflicts: 1379000 | #Constraints: 61013 2563.83/2571.35 c #Conflicts: 1380000 | #Constraints: 62013 2563.83/2571.35 c INPROCESSING 2563.83/2571.35 c GARBAGE COLLECT 2563.83/2571.35 c rational objective 85 2785.48/2793.64 c #Conflicts: 1381000 | #Constraints: 35444 2785.48/2793.64 c #Conflicts: 1382000 | #Constraints: 36444 2785.48/2793.64 c #Conflicts: 1383000 | #Constraints: 37444 2785.48/2793.64 c #Conflicts: 1384000 | #Constraints: 38445 2785.48/2793.64 c #Conflicts: 1385000 | #Constraints: 39446 2785.48/2793.64 c #Conflicts: 1386000 | #Constraints: 40447 2785.48/2793.64 c #Conflicts: 1387000 | #Constraints: 41449 2785.48/2793.64 c #Conflicts: 1388000 | #Constraints: 42449 2785.48/2793.64 c #Conflicts: 1389000 | #Constraints: 43449 2785.48/2793.64 c #Conflicts: 1390000 | #Constraints: 44449 2785.48/2793.64 c #Conflicts: 1391000 | #Constraints: 45449 2785.48/2793.64 c #Conflicts: 1392000 | #Constraints: 46450 2785.48/2793.64 c #Conflicts: 1393000 | #Constraints: 47451 2785.48/2793.64 c #Conflicts: 1394000 | #Constraints: 48451 2785.48/2793.64 c #Conflicts: 1395000 | #Constraints: 49451 2785.48/2793.64 c #Conflicts: 1396000 | #Constraints: 50451 2785.48/2793.64 c #Conflicts: 1397000 | #Constraints: 51451 2785.48/2793.64 c #Conflicts: 1398000 | #Constraints: 52451 2785.48/2793.64 c #Conflicts: 1399000 | #Constraints: 53451 2785.48/2793.64 c #Conflicts: 1400000 | #Constraints: 54451 2785.48/2793.64 c #Conflicts: 1401000 | #Constraints: 55451 2785.48/2793.64 c #Conflicts: 1402000 | #Constraints: 56451 2785.48/2793.64 c #Conflicts: 1403000 | #Constraints: 57451 2785.48/2793.64 c #Conflicts: 1404000 | #Constraints: 58451 2785.48/2793.64 c #Conflicts: 1405000 | #Constraints: 59451 2785.48/2793.64 c #Conflicts: 1406000 | #Constraints: 60451 2785.48/2793.64 c #Conflicts: 1407000 | #Constraints: 61451 2785.48/2793.64 c #Conflicts: 1408000 | #Constraints: 62451 2785.48/2793.64 c #Conflicts: 1409000 | #Constraints: 63451 2785.48/2793.64 c #Conflicts: 1410000 | #Constraints: 64451 2785.48/2793.64 c #Conflicts: 1411000 | #Constraints: 65451 2785.48/2793.64 c #Conflicts: 1412000 | #Constraints: 66451 2785.48/2793.64 c #Conflicts: 1413000 | #Constraints: 67452 2785.48/2793.64 c #Conflicts: 1414000 | #Constraints: 68452 2785.48/2793.64 c #Conflicts: 1415000 | #Constraints: 69453 2785.48/2793.64 c #Conflicts: 1416000 | #Constraints: 70453 2785.48/2793.64 c #Conflicts: 1417000 | #Constraints: 71453 2785.48/2793.64 c #Conflicts: 1418000 | #Constraints: 72453 2785.48/2793.64 c #Conflicts: 1419000 | #Constraints: 73453 2785.48/2793.64 c #Conflicts: 1420000 | #Constraints: 74453 2785.48/2793.64 c #Conflicts: 1421000 | #Constraints: 75453 2785.48/2793.64 c #Conflicts: 1422000 | #Constraints: 76453 2785.48/2793.64 c #Conflicts: 1423000 | #Constraints: 77453 2785.48/2793.64 c #Conflicts: 1424000 | #Constraints: 78454 2785.48/2793.64 c #Conflicts: 1425000 | #Constraints: 79454 2785.48/2793.64 c #Conflicts: 1426000 | #Constraints: 80454 2785.48/2793.64 c #Conflicts: 1427000 | #Constraints: 81454 2785.48/2793.64 c #Conflicts: 1428000 | #Constraints: 82454 2785.48/2793.64 c #Conflicts: 1429000 | #Constraints: 83454 2785.48/2793.64 c #Conflicts: 1430000 | #Constraints: 84454 2785.48/2793.64 c #Conflicts: 1431000 | #Constraints: 85454 2785.48/2793.64 c #Conflicts: 1432000 | #Constraints: 86454 2785.48/2793.64 c #Conflicts: 1433000 | #Constraints: 87454 2785.48/2793.64 c #Conflicts: 1434000 | #Constraints: 88454 2785.48/2793.64 c #Conflicts: 1435000 | #Constraints: 89454 2785.48/2793.64 c #Conflicts: 1436000 | #Constraints: 90454 2785.48/2793.64 c #Conflicts: 1437000 | #Constraints: 91455 2785.48/2793.64 c #Conflicts: 1438000 | #Constraints: 92455 2785.48/2793.64 c #Conflicts: 1439000 | #Constraints: 93455 2785.48/2793.64 c #Conflicts: 1440000 | #Constraints: 94455 2785.48/2793.64 c #Conflicts: 1441000 | #Constraints: 95455 2785.48/2793.64 c #Conflicts: 1442000 | #Constraints: 96455 2785.48/2793.64 c #Conflicts: 1443000 | #Constraints: 97455 2785.48/2793.64 c #Conflicts: 1444000 | #Constraints: 98455 2785.48/2793.64 c #Conflicts: 1445000 | #Constraints: 99455 2785.48/2793.64 c #Conflicts: 1446000 | #Constraints: 100455 2785.48/2793.64 c #Conflicts: 1447000 | #Constraints: 101455 2785.48/2793.64 c #Conflicts: 1448000 | #Constraints: 102455 2785.48/2793.64 c #Conflicts: 1449000 | #Constraints: 103455 2785.48/2793.64 c #Conflicts: 1450000 | #Constraints: 104455 2785.48/2793.64 c #Conflicts: 1451000 | #Constraints: 105455 2785.48/2793.64 c #Conflicts: 1452000 | #Constraints: 106455 2785.48/2793.64 c #Conflicts: 1453000 | #Constraints: 107455 2785.48/2793.64 c #Conflicts: 1454000 | #Constraints: 108455 2785.48/2793.64 c #Conflicts: 1455000 | #Constraints: 109455 2785.48/2793.64 c #Conflicts: 1456000 | #Constraints: 110455 2785.48/2793.64 c #Conflicts: 1457000 | #Constraints: 111455 2785.48/2793.64 c #Conflicts: 1458000 | #Constraints: 112455 2785.48/2793.64 c #Conflicts: 1459000 | #Constraints: 113455 2875.63/2884.05 c #Conflicts: 1460000 | #Constraints: 114455 2875.63/2884.05 c #Conflicts: 1461000 | #Constraints: 115455 2875.63/2884.05 c #Conflicts: 1462000 | #Constraints: 116455 2875.63/2884.05 c #Conflicts: 1463000 | #Constraints: 117455 2875.63/2884.05 c #Conflicts: 1464000 | #Constraints: 118456 2875.63/2884.05 c #Conflicts: 1465000 | #Constraints: 119456 2875.63/2884.05 c #Conflicts: 1466000 | #Constraints: 120457 2875.63/2884.05 c #Conflicts: 1467000 | #Constraints: 121457 2875.63/2884.05 c #Conflicts: 1468000 | #Constraints: 122457 2875.63/2884.05 c #Conflicts: 1469000 | #Constraints: 123458 2875.63/2884.05 c #Conflicts: 1470000 | #Constraints: 124458 2875.63/2884.05 c #Conflicts: 1471000 | #Constraints: 125458 2875.63/2884.05 c #Conflicts: 1472000 | #Constraints: 126458 2875.63/2884.05 c #Conflicts: 1473000 | #Constraints: 127458 2875.63/2884.05 c #Conflicts: 1474000 | #Constraints: 128458 2875.63/2884.05 c INPROCESSING 2875.63/2884.05 c GARBAGE COLLECT 2875.63/2884.05 c rational objective 85 2953.10/2961.76 c #Conflicts: 1475000 | #Constraints: 68523 2953.10/2961.76 c #Conflicts: 1476000 | #Constraints: 69523 2953.10/2961.76 c #Conflicts: 1477000 | #Constraints: 70523 2953.10/2961.76 c #Conflicts: 1478000 | #Constraints: 71523 2953.10/2961.76 c #Conflicts: 1479000 | #Constraints: 72523 2953.10/2961.76 c #Conflicts: 1480000 | #Constraints: 73523 2953.10/2961.76 c #Conflicts: 1481000 | #Constraints: 74523 2953.10/2961.76 c #Conflicts: 1482000 | #Constraints: 75523 2953.10/2961.76 c #Conflicts: 1483000 | #Constraints: 76523 2953.10/2961.76 c #Conflicts: 1484000 | #Constraints: 77523 2953.10/2961.76 c #Conflicts: 1485000 | #Constraints: 78523 2953.10/2961.76 c #Conflicts: 1486000 | #Constraints: 79523 2953.10/2961.76 c #Conflicts: 1487000 | #Constraints: 80523 2953.10/2961.76 c #Conflicts: 1488000 | #Constraints: 81523 2953.10/2961.76 c #Conflicts: 1489000 | #Constraints: 82523 2953.10/2961.76 c #Conflicts: 1490000 | #Constraints: 83523 2953.10/2961.76 c #Conflicts: 1491000 | #Constraints: 84523 2953.10/2961.76 c #Conflicts: 1492000 | #Constraints: 85523 2953.10/2961.76 c #Conflicts: 1493000 | #Constraints: 86523 2953.10/2961.76 c #Conflicts: 1494000 | #Constraints: 87524 2953.10/2961.76 c #Conflicts: 1495000 | #Constraints: 88524 2953.10/2961.76 c #Conflicts: 1496000 | #Constraints: 89524 2953.10/2961.76 c #Conflicts: 1497000 | #Constraints: 90524 2953.10/2961.76 c #Conflicts: 1498000 | #Constraints: 91525 2953.10/2961.76 c #Conflicts: 1499000 | #Constraints: 92525 2953.10/2961.76 c #Conflicts: 1500000 | #Constraints: 93525 2953.10/2961.76 c #Conflicts: 1501000 | #Constraints: 94525 2953.10/2961.76 c INPROCESSING 2953.10/2961.76 c GARBAGE COLLECT 2953.10/2961.76 c rational objective 85 3003.27/3012.06 c #Conflicts: 1502000 | #Constraints: 51481 3003.27/3012.06 c #Conflicts: 1503000 | #Constraints: 52481 3003.27/3012.06 c #Conflicts: 1504000 | #Constraints: 53481 3003.27/3012.06 c #Conflicts: 1505000 | #Constraints: 54481 3003.27/3012.06 c #Conflicts: 1506000 | #Constraints: 55481 3003.27/3012.06 c #Conflicts: 1507000 | #Constraints: 56481 3003.27/3012.06 c #Conflicts: 1508000 | #Constraints: 57481 3003.27/3012.06 c #Conflicts: 1509000 | #Constraints: 58482 3003.27/3012.06 c #Conflicts: 1510000 | #Constraints: 59482 3003.27/3012.06 c #Conflicts: 1511000 | #Constraints: 60482 3003.27/3012.06 c #Conflicts: 1512000 | #Constraints: 61482 3003.27/3012.06 c #Conflicts: 1513000 | #Constraints: 62482 3003.27/3012.06 c #Conflicts: 1514000 | #Constraints: 63482 3003.27/3012.06 c #Conflicts: 1515000 | #Constraints: 64482 3003.27/3012.06 c #Conflicts: 1516000 | #Constraints: 65482 3003.27/3012.06 c #Conflicts: 1517000 | #Constraints: 66483 3003.27/3012.06 c #Conflicts: 1518000 | #Constraints: 67484 3003.27/3012.06 c #Conflicts: 1519000 | #Constraints: 68484 3003.27/3012.06 c #Conflicts: 1520000 | #Constraints: 69484 3003.27/3012.06 c #Conflicts: 1521000 | #Constraints: 70484 3003.27/3012.06 c #Conflicts: 1522000 | #Constraints: 71485 3003.27/3012.06 c #Conflicts: 1523000 | #Constraints: 72485 3003.27/3012.06 c #Conflicts: 1524000 | #Constraints: 73485 3003.27/3012.06 c #Conflicts: 1525000 | #Constraints: 74485 3003.27/3012.06 c #Conflicts: 1526000 | #Constraints: 75485 3003.27/3012.06 c #Conflicts: 1527000 | #Constraints: 76485 3003.27/3012.06 c #Conflicts: 1528000 | #Constraints: 77485 3003.27/3012.06 c INPROCESSING 3003.27/3012.06 c GARBAGE COLLECT 3003.27/3012.06 c rational objective 85 3054.53/3063.40 c #Conflicts: 1529000 | #Constraints: 42782 3054.53/3063.40 c #Conflicts: 1530000 | #Constraints: 43782 3054.53/3063.40 c #Conflicts: 1531000 | #Constraints: 44782 3054.53/3063.40 c #Conflicts: 1532000 | #Constraints: 45782 3054.53/3063.40 c #Conflicts: 1533000 | #Constraints: 46782 3054.53/3063.40 c #Conflicts: 1534000 | #Constraints: 47782 3054.53/3063.40 c #Conflicts: 1535000 | #Constraints: 48782 3054.53/3063.40 c #Conflicts: 1536000 | #Constraints: 49783 3054.53/3063.40 c #Conflicts: 1537000 | #Constraints: 50783 3054.53/3063.40 c #Conflicts: 1538000 | #Constraints: 51783 3054.53/3063.40 c #Conflicts: 1539000 | #Constraints: 52783 3054.53/3063.40 c #Conflicts: 1540000 | #Constraints: 53783 3054.53/3063.40 c #Conflicts: 1541000 | #Constraints: 54783 3054.53/3063.40 c #Conflicts: 1542000 | #Constraints: 55783 3054.53/3063.40 c #Conflicts: 1543000 | #Constraints: 56783 3054.53/3063.40 c #Conflicts: 1544000 | #Constraints: 57783 3054.53/3063.40 c #Conflicts: 1545000 | #Constraints: 58783 3054.53/3063.40 c #Conflicts: 1546000 | #Constraints: 59783 3054.53/3063.40 c #Conflicts: 1547000 | #Constraints: 60783 3054.53/3063.40 c #Conflicts: 1548000 | #Constraints: 61783 3054.53/3063.40 c #Conflicts: 1549000 | #Constraints: 62784 3054.53/3063.40 c #Conflicts: 1550000 | #Constraints: 63784 3054.53/3063.40 c #Conflicts: 1551000 | #Constraints: 64784 3054.53/3063.40 c #Conflicts: 1552000 | #Constraints: 65784 3054.53/3063.40 c #Conflicts: 1553000 | #Constraints: 66784 3054.53/3063.40 c #Conflicts: 1554000 | #Constraints: 67784 3054.53/3063.40 c #Conflicts: 1555000 | #Constraints: 68784 3054.53/3063.40 c #Conflicts: 1556000 | #Constraints: 69784 3054.53/3063.40 c INPROCESSING 3054.53/3063.40 c GARBAGE COLLECT 3054.53/3063.40 c rational objective 85 3099.31/3108.36 c #Conflicts: 1557000 | #Constraints: 39193 3099.31/3108.36 c #Conflicts: 1558000 | #Constraints: 40193 3099.31/3108.36 c #Conflicts: 1559000 | #Constraints: 41193 3099.31/3108.36 c #Conflicts: 1560000 | #Constraints: 42193 3099.31/3108.36 c #Conflicts: 1561000 | #Constraints: 43194 3099.31/3108.36 c #Conflicts: 1562000 | #Constraints: 44194 3099.31/3108.36 c #Conflicts: 1563000 | #Constraints: 45194 3099.31/3108.36 c #Conflicts: 1564000 | #Constraints: 46194 3099.31/3108.36 c #Conflicts: 1565000 | #Constraints: 47195 3099.31/3108.36 c #Conflicts: 1566000 | #Constraints: 48196 3099.31/3108.36 c #Conflicts: 1567000 | #Constraints: 49196 3099.31/3108.36 c #Conflicts: 1568000 | #Constraints: 50196 3099.31/3108.36 c #Conflicts: 1569000 | #Constraints: 51196 3099.31/3108.36 c #Conflicts: 1570000 | #Constraints: 52196 3099.31/3108.36 c #Conflicts: 1571000 | #Constraints: 53197 3099.31/3108.36 c #Conflicts: 1572000 | #Constraints: 54197 3099.31/3108.36 c #Conflicts: 1573000 | #Constraints: 55197 3099.31/3108.36 c #Conflicts: 1574000 | #Constraints: 56197 3099.31/3108.36 c #Conflicts: 1575000 | #Constraints: 57197 3099.31/3108.36 c #Conflicts: 1576000 | #Constraints: 58197 3099.31/3108.36 c #Conflicts: 1577000 | #Constraints: 59197 3099.31/3108.36 c #Conflicts: 1578000 | #Constraints: 60197 3099.31/3108.36 c #Conflicts: 1579000 | #Constraints: 61197 3099.31/3108.36 c #Conflicts: 1580000 | #Constraints: 62197 3099.31/3108.36 c #Conflicts: 1581000 | #Constraints: 63197 3099.31/3108.36 c #Conflicts: 1582000 | #Constraints: 64198 3099.31/3108.36 c #Conflicts: 1583000 | #Constraints: 65198 3099.31/3108.36 c #Conflicts: 1584000 | #Constraints: 66198 3099.31/3108.36 c INPROCESSING 3099.31/3108.36 c GARBAGE COLLECT 3099.31/3108.36 c rational objective 85 3387.36/3397.31 c #Conflicts: 1585000 | #Constraints: 37512 3387.36/3397.31 c #Conflicts: 1586000 | #Constraints: 38513 3387.36/3397.31 c #Conflicts: 1587000 | #Constraints: 39513 3387.36/3397.31 c #Conflicts: 1588000 | #Constraints: 40513 3387.36/3397.31 c #Conflicts: 1589000 | #Constraints: 41513 3387.36/3397.31 c #Conflicts: 1590000 | #Constraints: 42513 3387.36/3397.31 c #Conflicts: 1591000 | #Constraints: 43513 3387.36/3397.31 c #Conflicts: 1592000 | #Constraints: 44513 3387.36/3397.31 c #Conflicts: 1593000 | #Constraints: 45513 3387.36/3397.31 c #Conflicts: 1594000 | #Constraints: 46513 3387.36/3397.31 c #Conflicts: 1595000 | #Constraints: 47513 3387.36/3397.31 c #Conflicts: 1596000 | #Constraints: 48513 3387.36/3397.31 c #Conflicts: 1597000 | #Constraints: 49513 3387.36/3397.31 c #Conflicts: 1598000 | #Constraints: 50513 3387.36/3397.31 c #Conflicts: 1599000 | #Constraints: 51513 3387.36/3397.31 c #Conflicts: 1600000 | #Constraints: 52514 3387.36/3397.31 c #Conflicts: 1601000 | #Constraints: 53514 3387.36/3397.31 c #Conflicts: 1602000 | #Constraints: 54514 3387.36/3397.31 c #Conflicts: 1603000 | #Constraints: 55514 3387.36/3397.31 c #Conflicts: 1604000 | #Constraints: 56514 3387.36/3397.31 c #Conflicts: 1605000 | #Constraints: 57514 3387.36/3397.31 c #Conflicts: 1606000 | #Constraints: 58514 3387.36/3397.31 c #Conflicts: 1607000 | #Constraints: 59514 3387.36/3397.31 c #Conflicts: 1608000 | #Constraints: 60514 3387.36/3397.31 c #Conflicts: 1609000 | #Constraints: 61514 3387.36/3397.31 c #Conflicts: 1610000 | #Constraints: 62514 3387.36/3397.31 c #Conflicts: 1611000 | #Constraints: 63514 3387.36/3397.31 c #Conflicts: 1612000 | #Constraints: 64514 3387.36/3397.31 c #Conflicts: 1613000 | #Constraints: 65515 3387.36/3397.31 c #Conflicts: 1614000 | #Constraints: 66515 3387.36/3397.31 c #Conflicts: 1615000 | #Constraints: 67516 3387.36/3397.31 c #Conflicts: 1616000 | #Constraints: 68516 3387.36/3397.31 c #Conflicts: 1617000 | #Constraints: 69516 3387.36/3397.31 c #Conflicts: 1618000 | #Constraints: 70516 3387.36/3397.31 c #Conflicts: 1619000 | #Constraints: 71516 3387.36/3397.31 c #Conflicts: 1620000 | #Constraints: 72516 3387.36/3397.31 c #Conflicts: 1621000 | #Constraints: 73516 3387.36/3397.31 c #Conflicts: 1622000 | #Constraints: 74516 3387.36/3397.31 c #Conflicts: 1623000 | #Constraints: 75516 3387.36/3397.31 c #Conflicts: 1624000 | #Constraints: 76516 3387.36/3397.31 c #Conflicts: 1625000 | #Constraints: 77516 3387.36/3397.31 c #Conflicts: 1626000 | #Constraints: 78516 3387.36/3397.31 c #Conflicts: 1627000 | #Constraints: 79516 3387.36/3397.31 c #Conflicts: 1628000 | #Constraints: 80517 3387.36/3397.31 c #Conflicts: 1629000 | #Constraints: 81517 3387.36/3397.31 c #Conflicts: 1630000 | #Constraints: 82517 3387.36/3397.31 c #Conflicts: 1631000 | #Constraints: 83517 3387.36/3397.31 c #Conflicts: 1632000 | #Constraints: 84517 3387.36/3397.31 c #Conflicts: 1633000 | #Constraints: 85518 3387.36/3397.31 c #Conflicts: 1634000 | #Constraints: 86519 3387.36/3397.31 c #Conflicts: 1635000 | #Constraints: 87519 3387.36/3397.31 c #Conflicts: 1636000 | #Constraints: 88519 3387.36/3397.31 c #Conflicts: 1637000 | #Constraints: 89519 3387.36/3397.31 c #Conflicts: 1638000 | #Constraints: 90519 3387.36/3397.31 c #Conflicts: 1639000 | #Constraints: 91519 3387.36/3397.31 c #Conflicts: 1640000 | #Constraints: 92519 3387.36/3397.31 c #Conflicts: 1641000 | #Constraints: 93519 3387.36/3397.31 c #Conflicts: 1642000 | #Constraints: 94519 3387.36/3397.31 c #Conflicts: 1643000 | #Constraints: 95519 3387.36/3397.31 c #Conflicts: 1644000 | #Constraints: 96519 3387.36/3397.31 c #Conflicts: 1645000 | #Constraints: 97519 3387.36/3397.31 c #Conflicts: 1646000 | #Constraints: 98520 3387.36/3397.31 c #Conflicts: 1647000 | #Constraints: 99520 3387.36/3397.31 c #Conflicts: 1648000 | #Constraints: 100520 3387.36/3397.31 c #Conflicts: 1649000 | #Constraints: 101520 3387.36/3397.31 c #Conflicts: 1650000 | #Constraints: 102520 3387.36/3397.31 c #Conflicts: 1651000 | #Constraints: 103520 3387.36/3397.31 c #Conflicts: 1652000 | #Constraints: 104520 3387.36/3397.31 c #Conflicts: 1653000 | #Constraints: 105520 3387.36/3397.31 c #Conflicts: 1654000 | #Constraints: 106520 3387.36/3397.31 c #Conflicts: 1655000 | #Constraints: 107520 3387.36/3397.31 c #Conflicts: 1656000 | #Constraints: 108520 3387.36/3397.31 c #Conflicts: 1657000 | #Constraints: 109521 3387.36/3397.31 c #Conflicts: 1658000 | #Constraints: 110521 3387.36/3397.31 c #Conflicts: 1659000 | #Constraints: 111521 3387.36/3397.31 c #Conflicts: 1660000 | #Constraints: 112521 3387.36/3397.31 c #Conflicts: 1661000 | #Constraints: 113521 3387.36/3397.31 c #Conflicts: 1662000 | #Constraints: 114521 3387.36/3397.31 c #Conflicts: 1663000 | #Constraints: 115521 3501.87/3512.23 c #Conflicts: 1664000 | #Constraints: 116521 3501.87/3512.23 c #Conflicts: 1665000 | #Constraints: 117521 3501.87/3512.23 c #Conflicts: 1666000 | #Constraints: 118521 3501.87/3512.23 c #Conflicts: 1667000 | #Constraints: 119521 3501.87/3512.23 c #Conflicts: 1668000 | #Constraints: 120521 3501.87/3512.23 c #Conflicts: 1669000 | #Constraints: 121521 3501.87/3512.23 c #Conflicts: 1670000 | #Constraints: 122521 3501.87/3512.23 c #Conflicts: 1671000 | #Constraints: 123521 3501.87/3512.23 c #Conflicts: 1672000 | #Constraints: 124521 3501.87/3512.23 c #Conflicts: 1673000 | #Constraints: 125521 3501.87/3512.23 c #Conflicts: 1674000 | #Constraints: 126522 3501.87/3512.23 c #Conflicts: 1675000 | #Constraints: 127522 3501.87/3512.23 c #Conflicts: 1676000 | #Constraints: 128522 3501.87/3512.23 c #Conflicts: 1677000 | #Constraints: 129522 3501.87/3512.23 c #Conflicts: 1678000 | #Constraints: 130522 3501.87/3512.23 c #Conflicts: 1679000 | #Constraints: 131522 3501.87/3512.23 c #Conflicts: 1680000 | #Constraints: 132522 3501.87/3512.23 c #Conflicts: 1681000 | #Constraints: 133522 3501.87/3512.23 c #Conflicts: 1682000 | #Constraints: 134522 3501.87/3512.23 c #Conflicts: 1683000 | #Constraints: 135522 3501.87/3512.23 c #Conflicts: 1684000 | #Constraints: 136522 3501.87/3512.23 c INPROCESSING 3501.87/3512.23 c GARBAGE COLLECT 3501.87/3512.23 c rational objective 85 3577.65/3588.27 c #Conflicts: 1685000 | #Constraints: 72275 3577.65/3588.27 c #Conflicts: 1686000 | #Constraints: 73275 3577.65/3588.27 c #Conflicts: 1687000 | #Constraints: 74276 3577.65/3588.27 c #Conflicts: 1688000 | #Constraints: 75277 3577.65/3588.27 c #Conflicts: 1689000 | #Constraints: 76277 3577.65/3588.27 c #Conflicts: 1690000 | #Constraints: 77277 3577.65/3588.27 c #Conflicts: 1691000 | #Constraints: 78277 3577.65/3588.27 c #Conflicts: 1692000 | #Constraints: 79277 3577.65/3588.27 c #Conflicts: 1693000 | #Constraints: 80277 3577.65/3588.27 c #Conflicts: 1694000 | #Constraints: 81277 3577.65/3588.27 c #Conflicts: 1695000 | #Constraints: 82277 3577.65/3588.27 c #Conflicts: 1696000 | #Constraints: 83277 3577.65/3588.27 c #Conflicts: 1697000 | #Constraints: 84277 3577.65/3588.27 c #Conflicts: 1698000 | #Constraints: 85277 3577.65/3588.27 c #Conflicts: 1699000 | #Constraints: 86277 3577.65/3588.27 c #Conflicts: 1700000 | #Constraints: 87277 3577.65/3588.27 c #Conflicts: 1701000 | #Constraints: 88277 3577.65/3588.27 c #Conflicts: 1702000 | #Constraints: 89277 3577.65/3588.27 c #Conflicts: 1703000 | #Constraints: 90277 3577.65/3588.27 c #Conflicts: 1704000 | #Constraints: 91277 3577.65/3588.27 c #Conflicts: 1705000 | #Constraints: 92277 3577.65/3588.27 c #Conflicts: 1706000 | #Constraints: 93277 3577.65/3588.27 c #Conflicts: 1707000 | #Constraints: 94277 3577.65/3588.27 c #Conflicts: 1708000 | #Constraints: 95277 3577.65/3588.27 c #Conflicts: 1709000 | #Constraints: 96277 3577.65/3588.27 c #Conflicts: 1710000 | #Constraints: 97277 3577.65/3588.27 c #Conflicts: 1711000 | #Constraints: 98277 3577.65/3588.27 c #Conflicts: 1712000 | #Constraints: 99277 3577.65/3588.27 c #Conflicts: 1713000 | #Constraints: 100277 3577.65/3588.27 c INPROCESSING 3577.65/3588.27 c GARBAGE COLLECT 3577.65/3588.27 c rational objective 85 3600.00/3610.60 c #Conflicts: 1714000 | #Constraints: 54137 3600.00/3610.60 c #Conflicts: 1715000 | #Constraints: 55137 3600.00/3610.60 c #Conflicts: 1716000 | #Constraints: 56137 3600.00/3610.60 c #Conflicts: 1717000 | #Constraints: 57137 3600.00/3610.60 c #Conflicts: 1718000 | #Constraints: 58138 3600.00/3610.60 c #Conflicts: 1719000 | #Constraints: 59138 3600.00/3610.60 c #Conflicts: 1720000 | #Constraints: 60138 3600.00/3610.60 c #Conflicts: 1721000 | #Constraints: 61138 3600.00/3610.60 c #Conflicts: 1722000 | #Constraints: 62138 3600.00/3610.60 c #Conflicts: 1723000 | #Constraints: 63138 3600.00/3610.60 c #Conflicts: 1724000 | #Constraints: 64138 3600.00/3610.60 c #Conflicts: 1725000 | #Constraints: 65138 3600.00/3610.60 c #Conflicts: 1726000 | #Constraints: 66138 3600.00/3610.60 c #Conflicts: 1727000 | #Constraints: 67138 3600.00/3610.60 c #Conflicts: 1728000 | #Constraints: 68138 3600.00/3610.60 c Program interrupted by user. 3600.00/3610.60 c cpu time 3561.49 s 3600.00/3610.60 c deterministic time 405105694060 4.05e+11 3600.00/3610.60 c optimization time 21.8629 s 3600.00/3610.60 c total solve time 3539.61 s 3600.00/3610.60 c core-guided solve time 0 s 3600.00/3610.60 c propagation time 2467.63 s 3600.00/3610.60 c conflict analysis time 799.394 s 3600.00/3610.60 c propagations 711326124 3600.00/3610.60 c resolve steps 63903662 3600.00/3610.60 c decisions 12379992 3600.00/3610.60 c conflicts 1728549 3600.00/3610.60 c restarts 3323 3600.00/3610.60 c inprocessing phases 82 3600.00/3610.60 c input clauses 5867 3600.00/3610.60 c input cardinalities 85 3600.00/3610.60 c input general constraints 0 3600.00/3610.60 c input average constraint length 6.23 3600.00/3610.60 c input average constraint degree 1.94 3600.00/3610.60 c learned clauses 1200994 3600.00/3610.60 c learned cardinalities 35420 3600.00/3610.60 c learned general constraints 492350 3600.00/3610.60 c learned average constraint length 870.31 3600.00/3610.60 c learned average constraint degree 75612969.98 3600.00/3610.60 c watched constraints 425585 3600.00/3610.60 c counting constraints 66765 3600.00/3610.60 c gcd simplifications 5939 3600.00/3610.60 c detected cardinalities 1797 3600.00/3610.60 c weakened non-implied lits 247273765 3600.00/3610.60 c weakened non-implying lits 583834 3600.00/3610.60 c original variables 5780 3600.00/3610.60 c clausal propagations 263304795 3600.00/3610.60 c cardinality propagations 241729293 3600.00/3610.60 c watched propagations 64536385 3600.00/3610.60 c counting propagations 136145815 3600.00/3610.60 c watch lookups 31066765067 3600.00/3610.60 c watch backjump lookups 24388076473 3600.00/3610.60 c watch checks 295480360841 3600.00/3610.60 c propagation checks 48242389844 3600.00/3610.60 c constraint additions 4476686674 3600.00/3610.60 c trail pops 725430460 3600.00/3610.60 c formula constraints 5952 3600.00/3610.60 c learned constraints 1728332 3600.00/3610.60 c bound constraints 0 3600.00/3610.60 c core-guided constraints 0 3600.00/3610.60 c encountered formula constraints 36611784 3600.00/3610.60 c encountered learned constraints 29015131 3600.00/3610.60 c encountered bound constraints 0 3600.00/3610.60 c encountered core-guided constraints 0 3600.00/3610.60 c LP total time 730.292 s 3600.00/3610.60 c LP solve time 722.27 s 3600.00/3610.60 c LP constraints added 11181 3600.00/3610.60 c LP constraints removed 5165 3600.00/3610.60 c LP pivots internal 1728907 3600.00/3610.60 c LP pivots root 549677 3600.00/3610.60 c LP calls 364 3600.00/3610.60 c LP optimalities 143 3600.00/3610.60 c LP no pivot count 3 3600.00/3610.60 c LP infeasibilities 216 3600.00/3610.60 c LP valid Farkas constraints 216 3600.00/3610.60 c LP learned Farkas constraints 216 3600.00/3610.60 c LP basis resets 0 3600.00/3610.60 c LP cycling count 0 3600.00/3610.60 c LP singular count 0 3600.00/3610.60 c LP no primal count 0 3600.00/3610.60 c LP no farkas count 0 3600.00/3610.60 c LP other issue count 0 3600.00/3610.60 c LP Gomory cuts 0 3600.00/3610.60 c LP learned cuts 5229 3600.00/3610.60 c LP deleted cuts 5165 3600.00/3610.60 c LP encountered Gomory constraints 0 3600.00/3610.60 c LP encountered Farkas constraints 3560 3600.00/3610.60 c LP encountered learned Farkas constraints 1520 3600.00/3610.60 c CG auxiliary variables introduced 0 3600.00/3610.60 c CG solutions found 0 3600.00/3610.60 c CG cores constructed 0 3600.00/3610.60 c CG core cardinality constraints returned 0 3600.00/3610.60 c CG unit cores 0 3600.00/3610.60 c CG single cores 0 3600.00/3610.60 c CG blocks removed during cardinality reduction 0 3600.00/3610.60 c CG first core best 0 3600.00/3610.60 c CG decision core best 0 3600.00/3610.60 c CG core reduction tie 0 3600.00/3610.60 c CG core degree average 0.00 3600.00/3610.60 c CG core slack average 0.00 3600.00/3610.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: 63931 MiB (61863 MiB free)
memory of node 1: 64510 MiB (23409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463058-1722345531/watcher-4463058-1722345531 -o /tmp/evaluation-result-4463058-1722345531/solver-4463058-1722345531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6774 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463058-1722345531 --lp-cut-gomory=0 HOME/instance-4463058-1722345531.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9397, runsolver pid=9394
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.10 4.14 4.11 4/262 9398
/proc/meminfo: memFree=87315728/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=37376 memory=2564 CPUtime=0 cores=5,7
/proc/9397/stat : 9397 (roundingsat) D 9394 9397 6761 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1150161 38273024 641 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.205806 s]*
/proc/loadavg: 4.10 4.14 4.11 4/262 9398
/proc/meminfo: memFree=87306612/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=37376 memory=2564 CPUtime=0 cores=5,7
/proc/9397/stat : 9397 (roundingsat) D 9394 9397 6761 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 1150161 38273024 641 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.30591 s]*
/proc/loadavg: 4.10 4.14 4.11 4/262 9398
/proc/meminfo: memFree=87300856/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=37376 memory=2564 CPUtime=0 cores=5,7
/proc/9397/stat : 9397 (roundingsat) D 9394 9397 6761 0 -1 1077936128 217 0 0 0 0 0 0 0 20 0 1 0 1150161 38273024 641 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 9344 641 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2564 KiB
[startup+0.700221 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 9398
/proc/meminfo: memFree=87279220/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=49436 memory=17908 CPUtime=0.37 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 3539 0 0 0 36 1 0 0 20 0 1 0 1150161 50622464 4477 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 12359 4477 1711 992 0 4217 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 49436 KiB
Current children cumulated memory: 17908 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.14 4.11 5/262 9398
/proc/meminfo: memFree=87256960/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=50740 memory=21712 CPUtime=1.18 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 3934 0 0 0 111 7 0 0 20 0 1 0 1150161 51957760 5428 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 12685 5428 1758 992 0 4543 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 50740 KiB
Current children cumulated memory: 21712 KiB
[startup+3.10594 s]
/proc/loadavg: 4.09 4.14 4.11 5/262 9398
/proc/meminfo: memFree=87197156/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=52136 memory=23596 CPUtime=2.77 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 4297 0 0 0 268 9 0 0 20 0 1 0 1150161 53387264 5899 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 13034 5899 1839 992 0 4892 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 52136 KiB
Current children cumulated memory: 23596 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.13 4.11 5/262 9398
/proc/meminfo: memFree=87171836/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=55976 memory=26668 CPUtime=5.96 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 5072 0 0 0 578 18 0 0 20 0 1 0 1150161 57319424 6667 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 13994 6667 1839 992 0 5852 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 55976 KiB
Current children cumulated memory: 26668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.11 5/262 9400
/proc/meminfo: memFree=86890680/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=57316 memory=29832 CPUtime=12.35 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 5893 0 0 0 1204 31 0 0 20 0 1 0 1150161 58691584 7458 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 14329 7458 1839 992 0 6187 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 57316 KiB
Current children cumulated memory: 29832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/262 9401
/proc/meminfo: memFree=86286492/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=68024 memory=40696 CPUtime=25.12 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 7622 0 0 0 2453 59 0 0 20 0 1 0 1150161 69656576 10174 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 17006 10174 1839 992 0 8864 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 40696 KiB
[startup+51.1057 s]
/proc/loadavg: 4.28 4.18 4.12 5/262 9406
/proc/meminfo: memFree=85245724/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=90628 memory=54984 CPUtime=50.66 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 10230 0 0 0 4952 114 0 0 20 0 1 0 1150161 92803072 13746 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 22657 13746 1839 992 0 14515 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 90628 KiB
Current children cumulated memory: 54984 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.19 4.13 5/259 9415
/proc/meminfo: memFree=83289396/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=94624 memory=58452 CPUtime=101.72 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 11303 0 0 0 9961 211 0 0 20 0 1 0 1150161 96894976 14613 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 23656 14613 1839 992 0 15514 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 94624 KiB
Current children cumulated memory: 58452 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/260 9430
/proc/meminfo: memFree=80951380/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=214100 memory=148808 CPUtime=161.57 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 17531 0 0 0 15840 317 0 0 20 0 1 0 1150161 219238400 37202 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 53525 37202 1839 992 0 45383 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 214100 KiB
Current children cumulated memory: 148808 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/261 9443
/proc/meminfo: memFree=77812524/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=214144 memory=148816 CPUtime=221.42 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 17945 0 0 0 21720 422 0 0 20 0 1 0 1150161 219283456 37204 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 53536 37204 1839 992 0 45394 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 214144 KiB
Current children cumulated memory: 148816 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.15 4.12 6/261 9454
/proc/meminfo: memFree=74920136/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=220748 memory=192048 CPUtime=281.27 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 19992 0 0 0 27625 502 0 0 20 0 1 0 1150161 226045952 48012 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 55187 48012 1839 992 0 47045 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 220748 KiB
Current children cumulated memory: 192048 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 4.21 4.14 9/261 9468
/proc/meminfo: memFree=71839776/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=223696 memory=195216 CPUtime=341.12 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 20784 0 0 0 33513 599 0 0 20 0 1 0 1150161 229064704 48804 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 55924 48804 1839 992 0 47782 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 223696 KiB
Current children cumulated memory: 195216 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/262 9480
/proc/meminfo: memFree=68711428/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=316012 memory=238188 CPUtime=400.97 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 23867 0 0 0 39413 684 0 0 20 0 1 0 1150161 323596288 59547 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 79003 59547 1839 992 0 70861 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 316012 KiB
Current children cumulated memory: 238188 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/264 9874
/proc/meminfo: memFree=66851576/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=316544 memory=238704 CPUtime=460.82 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 24218 0 0 0 45305 777 0 0 20 0 1 0 1150161 324141056 59676 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 79136 59676 1839 992 0 70994 0
################
# More data... #
################
Current children cumulated memory: 680256 KiB
[startup+2862.3 s]
/proc/loadavg: 4.37 4.18 4.17 5/257 11311
/proc/meminfo: memFree=112853656/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=758484 memory=687172 CPUtime=2853.98 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 213460 0 0 0 282113 3285 0 0 20 0 1 0 1150161 776687616 171793 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 189621 171793 1839 992 0 181479 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 758484 KiB
Current children cumulated memory: 687172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/257 11322
/proc/meminfo: memFree=112308648/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=763036 memory=690768 CPUtime=2913.82 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 214806 0 0 0 288049 3333 0 0 20 0 1 0 1150161 781348864 172692 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190759 172692 1839 992 0 182617 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 763036 KiB
Current children cumulated memory: 690768 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/257 11334
/proc/meminfo: memFree=111562292/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=762344 memory=689972 CPUtime=2973.65 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 215327 0 0 0 293972 3393 0 0 20 0 1 0 1150161 780640256 172493 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190586 172493 1839 992 0 182444 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 762344 KiB
Current children cumulated memory: 689972 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.13 4.15 5/257 11344
/proc/meminfo: memFree=110921008/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=762720 memory=690272 CPUtime=3033.49 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 215873 0 0 0 299886 3463 0 0 20 0 1 0 1150161 781025280 172568 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190680 172568 1839 992 0 182538 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 762720 KiB
Current children cumulated memory: 690272 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 11355
/proc/meminfo: memFree=110493280/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=763016 memory=690740 CPUtime=3093.32 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 216176 0 0 0 305802 3530 0 0 20 0 1 0 1150161 781328384 172685 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190754 172685 1839 992 0 182612 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 763016 KiB
Current children cumulated memory: 690740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/259 11371
/proc/meminfo: memFree=109708468/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=763404 memory=691004 CPUtime=3153.14 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 216431 0 0 0 311731 3583 0 0 20 0 1 0 1150161 781725696 172751 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190851 172751 1839 992 0 182709 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 763404 KiB
Current children cumulated memory: 691004 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/259 11381
/proc/meminfo: memFree=108947952/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=763604 memory=691284 CPUtime=3212.93 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 216702 0 0 0 317680 3613 0 0 20 0 1 0 1150161 781930496 172821 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 190901 172821 1839 992 0 182759 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 763604 KiB
Current children cumulated memory: 691284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/259 11391
/proc/meminfo: memFree=108310664/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=766540 memory=693772 CPUtime=3272.74 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 218069 0 0 0 323644 3630 0 0 20 0 1 0 1150161 784936960 173443 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 191635 173443 1839 992 0 183493 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 766540 KiB
Current children cumulated memory: 693772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/260 11403
/proc/meminfo: memFree=107695244/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=772136 memory=698820 CPUtime=3332.55 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 219474 0 0 0 329580 3675 0 0 20 0 1 0 1150161 790667264 174705 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 193034 174705 1839 992 0 184892 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 772136 KiB
Current children cumulated memory: 698820 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.13 5/260 11413
/proc/meminfo: memFree=107008668/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=1126868 memory=764372 CPUtime=3392.35 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 221243 0 0 0 335526 3709 0 0 20 0 1 0 1150161 1153912832 191093 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 281717 191093 1839 992 0 273575 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 1126868 KiB
Current children cumulated memory: 764372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/253 11451
/proc/meminfo: memFree=106595572/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=1132784 memory=831104 CPUtime=3452.14 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 222728 0 0 0 341479 3735 0 0 20 0 1 0 1150161 1159970816 207776 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 283196 207776 1839 992 0 275054 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 1132784 KiB
Current children cumulated memory: 831104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 11481
/proc/meminfo: memFree=106233896/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=1136544 memory=911816 CPUtime=3511.95 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 224179 0 0 0 347427 3768 0 0 20 0 1 0 1150161 1163821056 227954 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 284136 227954 1839 992 0 275994 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 1136544 KiB
Current children cumulated memory: 911816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.11 4.11 5/258 11492
/proc/meminfo: memFree=105375076/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=1136696 memory=911908 CPUtime=3571.78 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 224386 0 0 0 353357 3821 0 0 20 0 1 0 1150161 1163976704 227977 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 284174 227977 1839 992 0 276032 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 1136696 KiB
Current children cumulated memory: 911908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.13 4.10 4.11 5/259 11498
/proc/meminfo: memFree=104681928/131524592 swapFree=131071996/131071996
[pid=9397] ppid=9394 vsize=1136520 memory=911344 CPUtime=3600 cores=5,7
/proc/9397/stat : 9397 (roundingsat) R 9394 9397 6761 0 -1 4194304 224706 0 0 0 356149 3851 0 0 20 0 1 0 1150161 1163796480 227836 134679101440 4194304 8255733 140736057526976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34979840 140736057529182 140736057529444 140736057529444 140736057536457 0
/proc/9397/statm: 284130 227836 1839 992 0 275988 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1136520 KiB
Current children cumulated memory: 911344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 9397 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.5 s, system=38.5192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.02
CPU user time (s): 3561.5
CPU system time (s): 38.5192
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 1137856
Max. memory (cumulated for all children) (KiB): 912900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.5
system time used= 38.5192
maximum resident set size= 913356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9537768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 5040
# summary of solver processes directly reported to runsolver:
# pid: 9397
# total CPU time (s): 3600.02
# total CPU user time (s): 3561.5
# total CPU system time (s): 38.5192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69332 second user time and 15.3092 second system time
The end
Begin job on nodeC016 at 2024-07-30 15:18:51 IDJOB=4463058 IDBENCH=158351 IDSOLVER=3089 FILE ID=nodeC016/4463058-1722345531 RUNJOBID= nodeC016-1722340763-6774 SLURM_JOB_ID= 8248979 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463058-1722345531/watcher-4463058-1722345531 -o /tmp/evaluation-result-4463058-1722345531/solver-4463058-1722345531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722340763-6774 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463058-1722345531 --lp-cut-gomory=0 HOME/instance-4463058-1722345531.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295 RANDOM SEED=86805721 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3625.172 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3667.836 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.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.233 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3659.242 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.47 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 : 3625.153 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3658.271 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.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.966 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3657.924 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.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524592 kB MemFree: 87321828 kB MemAvailable: 126555804 kB Buffers: 54104 kB Cached: 39972712 kB SwapCached: 0 kB Active: 182252 kB Inactive: 43427508 kB Active(anon): 1564 kB Inactive(anon): 3602436 kB Active(file): 180688 kB Inactive(file): 39825072 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 300536 kB Writeback: 592596 kB AnonPages: 3577804 kB Mapped: 97640 kB Shmem: 21336 kB KReclaimable: 136040 kB Slab: 244844 kB SReclaimable: 136040 kB SUnreclaim: 108804 kB KernelStack: 4140 kB PageTables: 16312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 4061640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 2433024 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: 266964 kB DirectMap2M: 6846464 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 890056 MiB End job on nodeC016 at 2024-07-30 16:19:01