| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.09 | 3620.85 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K83.opb |
| MD5SUM | bcb1c72c6ad4afea1adf0a0324f1d09c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 5644 |
| Total number of constraints | 5812 |
| Number of constraints which are clauses | 5729 |
| Number of constraints which are cardinality constraints (but not clauses) | 83 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 83 |
| 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 | 84 |
| 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/11.10 c #variables 5644 #constraints 5812 15.44/26.59 c #Conflicts: 1000 | #Constraints: 6811 15.44/26.59 c #Conflicts: 2000 | #Constraints: 7811 15.44/26.59 c INPROCESSING 15.44/26.59 c GARBAGE COLLECT 15.44/26.59 c #Conflicts: 3000 | #Constraints: 7436 15.44/26.59 c #Conflicts: 4000 | #Constraints: 8436 15.44/26.59 c INPROCESSING 15.44/26.59 c GARBAGE COLLECT 15.44/26.59 c #Conflicts: 5000 | #Constraints: 7888 15.44/26.59 c #Conflicts: 6000 | #Constraints: 8888 15.44/26.59 c INPROCESSING 15.44/26.59 c GARBAGE COLLECT 15.44/26.59 c #Conflicts: 7000 | #Constraints: 7934 15.44/26.59 c #Conflicts: 8000 | #Constraints: 8934 15.44/26.59 c #Conflicts: 9000 | #Constraints: 9934 15.44/26.59 c INPROCESSING 15.44/26.59 c GARBAGE COLLECT 15.44/26.59 c rational objective 83 29.60/40.73 c #Conflicts: 10000 | #Constraints: 8674 29.60/40.73 c #Conflicts: 11000 | #Constraints: 9674 29.60/40.73 c #Conflicts: 12000 | #Constraints: 10674 29.60/40.73 c INPROCESSING 29.60/40.73 c GARBAGE COLLECT 29.60/40.73 c #Conflicts: 13000 | #Constraints: 9155 29.60/40.73 c #Conflicts: 14000 | #Constraints: 10155 29.60/40.73 c #Conflicts: 15000 | #Constraints: 11155 29.60/40.73 c INPROCESSING 29.60/40.73 c GARBAGE COLLECT 29.60/40.73 c #Conflicts: 16000 | #Constraints: 9412 29.60/40.73 c #Conflicts: 17000 | #Constraints: 10413 29.60/40.73 c #Conflicts: 18000 | #Constraints: 11413 29.60/40.73 c INPROCESSING 29.60/40.73 c GARBAGE COLLECT 29.60/40.73 c #Conflicts: 19000 | #Constraints: 9449 29.60/40.73 c #Conflicts: 20000 | #Constraints: 10449 29.60/40.73 c #Conflicts: 21000 | #Constraints: 11450 29.60/40.73 c INPROCESSING 29.60/40.73 c GARBAGE COLLECT 29.60/40.73 c #Conflicts: 22000 | #Constraints: 9229 29.60/40.73 c #Conflicts: 23000 | #Constraints: 10229 29.60/40.73 c #Conflicts: 24000 | #Constraints: 11230 29.60/40.73 c #Conflicts: 25000 | #Constraints: 12230 29.60/40.73 c INPROCESSING 29.60/40.73 c GARBAGE COLLECT 29.60/40.73 c rational objective 83 44.37/55.59 c #Conflicts: 26000 | #Constraints: 9853 44.37/55.59 c #Conflicts: 27000 | #Constraints: 10853 44.37/55.59 c #Conflicts: 28000 | #Constraints: 11853 44.37/55.59 c #Conflicts: 29000 | #Constraints: 12853 44.37/55.59 c INPROCESSING 44.37/55.59 c GARBAGE COLLECT 44.37/55.59 c #Conflicts: 30000 | #Constraints: 10271 44.37/55.59 c #Conflicts: 31000 | #Constraints: 11271 44.37/55.59 c #Conflicts: 32000 | #Constraints: 12271 44.37/55.59 c #Conflicts: 33000 | #Constraints: 13271 44.37/55.59 c INPROCESSING 44.37/55.59 c GARBAGE COLLECT 44.37/55.59 c #Conflicts: 34000 | #Constraints: 10514 44.37/55.59 c #Conflicts: 35000 | #Constraints: 11514 44.37/55.59 c #Conflicts: 36000 | #Constraints: 12514 44.37/55.59 c #Conflicts: 37000 | #Constraints: 13514 44.37/55.59 c INPROCESSING 44.37/55.59 c GARBAGE COLLECT 44.37/55.59 c rational objective 83 62.62/73.83 c #Conflicts: 38000 | #Constraints: 10517 62.62/73.83 c #Conflicts: 39000 | #Constraints: 11518 62.62/73.83 c #Conflicts: 40000 | #Constraints: 12518 62.62/73.83 c #Conflicts: 41000 | #Constraints: 13518 62.62/73.83 c INPROCESSING 62.62/73.83 c GARBAGE COLLECT 62.62/73.83 c #Conflicts: 42000 | #Constraints: 10330 62.62/73.83 c #Conflicts: 43000 | #Constraints: 11331 62.62/73.83 c #Conflicts: 44000 | #Constraints: 12331 62.62/73.83 c #Conflicts: 45000 | #Constraints: 13331 62.62/73.83 c #Conflicts: 46000 | #Constraints: 14331 62.62/73.83 c INPROCESSING 62.62/73.83 c GARBAGE COLLECT 62.62/73.83 c #Conflicts: 47000 | #Constraints: 10946 62.62/73.83 c #Conflicts: 48000 | #Constraints: 11946 62.62/73.83 c #Conflicts: 49000 | #Constraints: 12946 62.62/73.83 c #Conflicts: 50000 | #Constraints: 13946 62.62/73.83 c #Conflicts: 51000 | #Constraints: 14946 62.62/73.83 c INPROCESSING 62.62/73.83 c GARBAGE COLLECT 62.62/73.83 c rational objective 83 90.86/102.16 c #Conflicts: 52000 | #Constraints: 11404 90.86/102.16 c #Conflicts: 53000 | #Constraints: 12404 90.86/102.16 c #Conflicts: 54000 | #Constraints: 13404 90.86/102.16 c #Conflicts: 55000 | #Constraints: 14404 90.86/102.16 c #Conflicts: 56000 | #Constraints: 15404 90.86/102.16 c INPROCESSING 90.86/102.16 c GARBAGE COLLECT 90.86/102.16 c #Conflicts: 57000 | #Constraints: 11581 90.86/102.16 c #Conflicts: 58000 | #Constraints: 12581 90.86/102.16 c #Conflicts: 59000 | #Constraints: 13581 90.86/102.16 c #Conflicts: 60000 | #Constraints: 14581 90.86/102.16 c #Conflicts: 61000 | #Constraints: 15582 90.86/102.16 c INPROCESSING 90.86/102.16 c GARBAGE COLLECT 90.86/102.16 c #Conflicts: 62000 | #Constraints: 11590 90.86/102.16 c #Conflicts: 63000 | #Constraints: 12590 90.86/102.16 c #Conflicts: 64000 | #Constraints: 13590 90.86/102.16 c #Conflicts: 65000 | #Constraints: 14590 90.86/102.16 c #Conflicts: 66000 | #Constraints: 15590 90.86/102.16 c INPROCESSING 90.86/102.16 c GARBAGE COLLECT 90.86/102.16 c #Conflicts: 67000 | #Constraints: 11426 90.86/102.16 c #Conflicts: 68000 | #Constraints: 12427 90.86/102.16 c #Conflicts: 69000 | #Constraints: 13427 90.86/102.16 c #Conflicts: 70000 | #Constraints: 14427 90.86/102.16 c #Conflicts: 71000 | #Constraints: 15427 90.86/102.16 c #Conflicts: 72000 | #Constraints: 16427 90.86/102.16 c INPROCESSING 90.86/102.16 c GARBAGE COLLECT 90.86/102.16 c #Conflicts: 73000 | #Constraints: 12044 90.86/102.16 c #Conflicts: 74000 | #Constraints: 13044 90.86/102.16 c #Conflicts: 75000 | #Constraints: 14044 90.86/102.16 c #Conflicts: 76000 | #Constraints: 15044 90.86/102.16 c #Conflicts: 77000 | #Constraints: 16044 90.86/102.16 c #Conflicts: 78000 | #Constraints: 17044 90.86/102.16 c INPROCESSING 90.86/102.16 c GARBAGE COLLECT 90.86/102.16 c rational objective 83 105.61/116.92 c #Conflicts: 79000 | #Constraints: 12486 105.61/116.92 c #Conflicts: 80000 | #Constraints: 13487 105.61/116.92 c #Conflicts: 81000 | #Constraints: 14487 105.61/116.92 c #Conflicts: 82000 | #Constraints: 15487 105.61/116.92 c #Conflicts: 83000 | #Constraints: 16487 105.61/116.92 c #Conflicts: 84000 | #Constraints: 17487 105.61/116.92 c INPROCESSING 105.61/116.92 c GARBAGE COLLECT 105.61/116.92 c #Conflicts: 85000 | #Constraints: 12682 105.61/116.92 c #Conflicts: 86000 | #Constraints: 13682 105.61/116.92 c #Conflicts: 87000 | #Constraints: 14683 105.61/116.92 c #Conflicts: 88000 | #Constraints: 15683 105.61/116.92 c #Conflicts: 89000 | #Constraints: 16683 105.61/116.92 c #Conflicts: 90000 | #Constraints: 17683 105.61/116.92 c INPROCESSING 105.61/116.92 c GARBAGE COLLECT 105.61/116.92 c rational objective 83 129.35/140.75 c #Conflicts: 91000 | #Constraints: 12663 129.35/140.75 c #Conflicts: 92000 | #Constraints: 13663 129.35/140.75 c #Conflicts: 93000 | #Constraints: 14663 129.35/140.75 c #Conflicts: 94000 | #Constraints: 15663 129.35/140.75 c #Conflicts: 95000 | #Constraints: 16663 129.35/140.75 c #Conflicts: 96000 | #Constraints: 17663 129.35/140.75 c INPROCESSING 129.35/140.75 c GARBAGE COLLECT 129.35/140.75 c #Conflicts: 97000 | #Constraints: 12483 129.35/140.75 c #Conflicts: 98000 | #Constraints: 13483 129.35/140.75 c #Conflicts: 99000 | #Constraints: 14483 129.35/140.75 c #Conflicts: 100000 | #Constraints: 15483 129.35/140.75 c #Conflicts: 101000 | #Constraints: 16483 129.35/140.75 c #Conflicts: 102000 | #Constraints: 17483 129.35/140.75 c #Conflicts: 103000 | #Constraints: 18484 129.35/140.75 c INPROCESSING 129.35/140.75 c GARBAGE COLLECT 129.35/140.75 c rational objective 83 134.14/145.55 c #Conflicts: 104000 | #Constraints: 13100 134.14/145.55 c #Conflicts: 105000 | #Constraints: 14100 134.14/145.55 c #Conflicts: 106000 | #Constraints: 15100 134.14/145.55 c #Conflicts: 107000 | #Constraints: 16100 134.14/145.55 c #Conflicts: 108000 | #Constraints: 17100 134.14/145.55 c #Conflicts: 109000 | #Constraints: 18100 134.14/145.55 c #Conflicts: 110000 | #Constraints: 19100 134.14/145.55 c INPROCESSING 134.14/145.55 c GARBAGE COLLECT 134.14/145.55 c rational objective 83 142.73/154.15 c #Conflicts: 111000 | #Constraints: 13506 142.73/154.15 c #Conflicts: 112000 | #Constraints: 14506 142.73/154.15 c #Conflicts: 113000 | #Constraints: 15506 142.73/154.15 c #Conflicts: 114000 | #Constraints: 16506 142.73/154.15 c #Conflicts: 115000 | #Constraints: 17506 142.73/154.15 c #Conflicts: 116000 | #Constraints: 18507 142.73/154.15 c #Conflicts: 117000 | #Constraints: 19508 142.73/154.15 c INPROCESSING 142.73/154.15 c GARBAGE COLLECT 142.73/154.15 c rational objective 83 180.92/192.41 c #Conflicts: 118000 | #Constraints: 13745 180.92/192.41 c #Conflicts: 119000 | #Constraints: 14745 180.92/192.41 c #Conflicts: 120000 | #Constraints: 15745 180.92/192.41 c #Conflicts: 121000 | #Constraints: 16745 180.92/192.41 c #Conflicts: 122000 | #Constraints: 17745 180.92/192.41 c #Conflicts: 123000 | #Constraints: 18745 180.92/192.41 c #Conflicts: 124000 | #Constraints: 19746 180.92/192.41 c #Conflicts: 125000 | #Constraints: 20746 180.92/192.41 c #Conflicts: 126000 | #Constraints: 21746 180.92/192.41 c #Conflicts: 127000 | #Constraints: 22746 180.92/192.41 c #Conflicts: 128000 | #Constraints: 23746 180.92/192.41 c #Conflicts: 129000 | #Constraints: 24746 180.92/192.41 c #Conflicts: 130000 | #Constraints: 25746 180.92/192.41 c #Conflicts: 131000 | #Constraints: 26746 180.92/192.41 c #Conflicts: 132000 | #Constraints: 27746 180.92/192.41 c #Conflicts: 133000 | #Constraints: 28746 180.92/192.41 c #Conflicts: 134000 | #Constraints: 29746 180.92/192.41 c #Conflicts: 135000 | #Constraints: 30746 180.92/192.41 c #Conflicts: 136000 | #Constraints: 31746 180.92/192.41 c #Conflicts: 137000 | #Constraints: 32747 180.92/192.41 c #Conflicts: 138000 | #Constraints: 33747 180.92/192.41 c #Conflicts: 139000 | #Constraints: 34747 180.92/192.41 c #Conflicts: 140000 | #Constraints: 35747 180.92/192.41 c #Conflicts: 141000 | #Constraints: 36747 180.92/192.41 c #Conflicts: 142000 | #Constraints: 37747 180.92/192.41 c #Conflicts: 143000 | #Constraints: 38747 180.92/192.41 c #Conflicts: 144000 | #Constraints: 39747 180.92/192.41 c #Conflicts: 145000 | #Constraints: 40747 180.92/192.41 c #Conflicts: 146000 | #Constraints: 41747 180.92/192.41 c #Conflicts: 147000 | #Constraints: 42747 180.92/192.41 c #Conflicts: 148000 | #Constraints: 43747 180.92/192.41 c INPROCESSING 180.92/192.41 c GARBAGE COLLECT 180.92/192.41 c rational objective 83 188.99/200.51 c #Conflicts: 149000 | #Constraints: 25656 188.99/200.51 c #Conflicts: 150000 | #Constraints: 26656 188.99/200.51 c #Conflicts: 151000 | #Constraints: 27656 188.99/200.51 c #Conflicts: 152000 | #Constraints: 28656 188.99/200.51 c #Conflicts: 153000 | #Constraints: 29656 188.99/200.51 c #Conflicts: 154000 | #Constraints: 30656 188.99/200.51 c #Conflicts: 155000 | #Constraints: 31656 188.99/200.51 c #Conflicts: 156000 | #Constraints: 32656 188.99/200.51 c INPROCESSING 188.99/200.51 c GARBAGE COLLECT 188.99/200.51 c rational objective 83 196.37/207.96 c #Conflicts: 157000 | #Constraints: 19958 196.37/207.96 c #Conflicts: 158000 | #Constraints: 20958 196.37/207.96 c #Conflicts: 159000 | #Constraints: 21958 196.37/207.96 c #Conflicts: 160000 | #Constraints: 22959 196.37/207.96 c #Conflicts: 161000 | #Constraints: 23959 196.37/207.96 c #Conflicts: 162000 | #Constraints: 24959 196.37/207.96 c #Conflicts: 163000 | #Constraints: 25959 196.37/207.96 c #Conflicts: 164000 | #Constraints: 26959 196.37/207.96 c #Conflicts: 165000 | #Constraints: 27959 196.37/207.96 c INPROCESSING 196.37/207.96 c GARBAGE COLLECT 196.37/207.96 c rational objective 83 211.14/222.73 c #Conflicts: 166000 | #Constraints: 17857 211.14/222.73 c #Conflicts: 167000 | #Constraints: 18857 211.14/222.73 c #Conflicts: 168000 | #Constraints: 19857 211.14/222.73 c #Conflicts: 169000 | #Constraints: 20857 211.14/222.73 c #Conflicts: 170000 | #Constraints: 21858 211.14/222.73 c #Conflicts: 171000 | #Constraints: 22858 211.14/222.73 c #Conflicts: 172000 | #Constraints: 23858 211.14/222.73 c #Conflicts: 173000 | #Constraints: 24858 211.14/222.73 c #Conflicts: 174000 | #Constraints: 25858 211.14/222.73 c INPROCESSING 211.14/222.73 c GARBAGE COLLECT 211.14/222.73 c rational objective 83 222.61/234.29 c #Conflicts: 175000 | #Constraints: 16951 222.61/234.29 c #Conflicts: 176000 | #Constraints: 17951 222.61/234.29 c #Conflicts: 177000 | #Constraints: 18951 222.61/234.29 c #Conflicts: 178000 | #Constraints: 19952 222.61/234.29 c #Conflicts: 179000 | #Constraints: 20953 222.61/234.29 c #Conflicts: 180000 | #Constraints: 21953 222.61/234.29 c #Conflicts: 181000 | #Constraints: 22953 222.61/234.29 c #Conflicts: 182000 | #Constraints: 23954 222.61/234.29 c INPROCESSING 222.61/234.29 c GARBAGE COLLECT 222.61/234.29 c rational objective 83 275.67/287.46 c #Conflicts: 183000 | #Constraints: 15496 275.67/287.46 c #Conflicts: 184000 | #Constraints: 16496 275.67/287.46 c #Conflicts: 185000 | #Constraints: 17496 275.67/287.46 c #Conflicts: 186000 | #Constraints: 18497 275.67/287.46 c #Conflicts: 187000 | #Constraints: 19497 275.67/287.46 c #Conflicts: 188000 | #Constraints: 20497 275.67/287.46 c #Conflicts: 189000 | #Constraints: 21497 275.67/287.46 c #Conflicts: 190000 | #Constraints: 22497 275.67/287.46 c #Conflicts: 191000 | #Constraints: 23497 275.67/287.46 c #Conflicts: 192000 | #Constraints: 24497 275.67/287.46 c #Conflicts: 193000 | #Constraints: 25497 275.67/287.46 c #Conflicts: 194000 | #Constraints: 26497 275.67/287.46 c #Conflicts: 195000 | #Constraints: 27497 275.67/287.46 c #Conflicts: 196000 | #Constraints: 28497 275.67/287.46 c #Conflicts: 197000 | #Constraints: 29498 275.67/287.46 c #Conflicts: 198000 | #Constraints: 30498 275.67/287.46 c #Conflicts: 199000 | #Constraints: 31498 275.67/287.46 c #Conflicts: 200000 | #Constraints: 32498 275.67/287.46 c #Conflicts: 201000 | #Constraints: 33499 275.67/287.46 c #Conflicts: 202000 | #Constraints: 34500 275.67/287.46 c #Conflicts: 203000 | #Constraints: 35500 275.67/287.46 c #Conflicts: 204000 | #Constraints: 36500 275.67/287.46 c #Conflicts: 205000 | #Constraints: 37501 275.67/287.46 c #Conflicts: 206000 | #Constraints: 38501 275.67/287.46 c #Conflicts: 207000 | #Constraints: 39501 275.67/287.46 c #Conflicts: 208000 | #Constraints: 40501 275.67/287.46 c #Conflicts: 209000 | #Constraints: 41501 275.67/287.46 c #Conflicts: 210000 | #Constraints: 42501 275.67/287.46 c #Conflicts: 211000 | #Constraints: 43502 275.67/287.46 c #Conflicts: 212000 | #Constraints: 44502 275.67/287.46 c #Conflicts: 213000 | #Constraints: 45502 275.67/287.46 c #Conflicts: 214000 | #Constraints: 46503 275.67/287.46 c #Conflicts: 215000 | #Constraints: 47503 275.67/287.46 c #Conflicts: 216000 | #Constraints: 48503 275.67/287.46 c #Conflicts: 217000 | #Constraints: 49503 275.67/287.46 c #Conflicts: 218000 | #Constraints: 50503 275.67/287.46 c #Conflicts: 219000 | #Constraints: 51503 275.67/287.46 c #Conflicts: 220000 | #Constraints: 52503 275.67/287.46 c INPROCESSING 275.67/287.46 c GARBAGE COLLECT 275.67/287.46 c rational objective 83 296.91/308.70 c #Conflicts: 221000 | #Constraints: 29930 296.91/308.70 c #Conflicts: 222000 | #Constraints: 30931 296.91/308.70 c #Conflicts: 223000 | #Constraints: 31932 296.91/308.70 c #Conflicts: 224000 | #Constraints: 32933 296.91/308.70 c #Conflicts: 225000 | #Constraints: 33933 296.91/308.70 c #Conflicts: 226000 | #Constraints: 34934 296.91/308.70 c #Conflicts: 227000 | #Constraints: 35935 296.91/308.70 c #Conflicts: 228000 | #Constraints: 36935 296.91/308.70 c #Conflicts: 229000 | #Constraints: 37935 296.91/308.70 c #Conflicts: 230000 | #Constraints: 38936 296.91/308.70 c #Conflicts: 231000 | #Constraints: 39936 296.91/308.70 c INPROCESSING 296.91/308.70 c GARBAGE COLLECT 296.91/308.70 c rational objective 83 319.16/331.10 c #Conflicts: 232000 | #Constraints: 24008 319.16/331.10 c #Conflicts: 233000 | #Constraints: 25008 319.16/331.10 c #Conflicts: 234000 | #Constraints: 26008 319.16/331.10 c #Conflicts: 235000 | #Constraints: 27008 319.16/331.10 c #Conflicts: 236000 | #Constraints: 28009 319.16/331.10 c #Conflicts: 237000 | #Constraints: 29009 319.16/331.10 c #Conflicts: 238000 | #Constraints: 30009 319.16/331.10 c #Conflicts: 239000 | #Constraints: 31009 319.16/331.10 c #Conflicts: 240000 | #Constraints: 32009 319.16/331.10 c #Conflicts: 241000 | #Constraints: 33009 319.16/331.10 c INPROCESSING 319.16/331.10 c GARBAGE COLLECT 319.16/331.10 c rational objective 83 333.01/344.92 c #Conflicts: 242000 | #Constraints: 20405 333.01/344.92 c #Conflicts: 243000 | #Constraints: 21405 333.01/344.92 c #Conflicts: 244000 | #Constraints: 22405 333.01/344.92 c #Conflicts: 245000 | #Constraints: 23405 333.01/344.92 c #Conflicts: 246000 | #Constraints: 24405 333.01/344.92 c #Conflicts: 247000 | #Constraints: 25405 333.01/344.92 c #Conflicts: 248000 | #Constraints: 26405 333.01/344.92 c #Conflicts: 249000 | #Constraints: 27405 333.01/344.92 c #Conflicts: 250000 | #Constraints: 28406 333.01/344.92 c #Conflicts: 251000 | #Constraints: 29407 333.01/344.92 c #Conflicts: 252000 | #Constraints: 30407 333.01/344.92 c INPROCESSING 333.01/344.92 c GARBAGE COLLECT 333.01/344.92 c rational objective 83 340.58/352.54 c #Conflicts: 253000 | #Constraints: 19285 340.58/352.54 c #Conflicts: 254000 | #Constraints: 20285 340.58/352.54 c #Conflicts: 255000 | #Constraints: 21285 340.58/352.54 c #Conflicts: 256000 | #Constraints: 22285 340.58/352.54 c #Conflicts: 257000 | #Constraints: 23285 340.58/352.54 c #Conflicts: 258000 | #Constraints: 24285 340.58/352.54 c #Conflicts: 259000 | #Constraints: 25285 340.58/352.54 c #Conflicts: 260000 | #Constraints: 26285 340.58/352.54 c #Conflicts: 261000 | #Constraints: 27285 340.58/352.54 c #Conflicts: 262000 | #Constraints: 28285 340.58/352.54 c INPROCESSING 340.58/352.54 c GARBAGE COLLECT 340.58/352.54 c rational objective 83 425.56/437.75 c #Conflicts: 263000 | #Constraints: 17841 425.56/437.75 c #Conflicts: 264000 | #Constraints: 18842 425.56/437.75 c #Conflicts: 265000 | #Constraints: 19842 425.56/437.75 c #Conflicts: 266000 | #Constraints: 20842 425.56/437.75 c #Conflicts: 267000 | #Constraints: 21842 425.56/437.75 c #Conflicts: 268000 | #Constraints: 22842 425.56/437.75 c #Conflicts: 269000 | #Constraints: 23842 425.56/437.75 c #Conflicts: 270000 | #Constraints: 24842 425.56/437.75 c #Conflicts: 271000 | #Constraints: 25842 425.56/437.75 c #Conflicts: 272000 | #Constraints: 26842 425.56/437.75 c #Conflicts: 273000 | #Constraints: 27842 425.56/437.75 c #Conflicts: 274000 | #Constraints: 28843 425.56/437.75 c #Conflicts: 275000 | #Constraints: 29843 425.56/437.75 c #Conflicts: 276000 | #Constraints: 30843 425.56/437.75 c #Conflicts: 277000 | #Constraints: 31844 425.56/437.75 c #Conflicts: 278000 | #Constraints: 32844 425.56/437.75 c #Conflicts: 279000 | #Constraints: 33845 425.56/437.75 c #Conflicts: 280000 | #Constraints: 34845 425.56/437.75 c #Conflicts: 281000 | #Constraints: 35845 425.56/437.75 c #Conflicts: 282000 | #Constraints: 36846 425.56/437.75 c #Conflicts: 283000 | #Constraints: 37846 425.56/437.75 c #Conflicts: 284000 | #Constraints: 38846 425.56/437.75 c #Conflicts: 285000 | #Constraints: 39846 425.56/437.75 c #Conflicts: 286000 | #Constraints: 40846 425.56/437.75 c #Conflicts: 287000 | #Constraints: 41846 425.56/437.75 c #Conflicts: 288000 | #Constraints: 42846 425.56/437.75 c #Conflicts: 289000 | #Constraints: 43846 425.56/437.75 c #Conflicts: 290000 | #Constraints: 44846 425.56/437.75 c #Conflicts: 291000 | #Constraints: 45846 425.56/437.75 c #Conflicts: 292000 | #Constraints: 46846 425.56/437.75 c #Conflicts: 293000 | #Constraints: 47846 425.56/437.75 c #Conflicts: 294000 | #Constraints: 48846 425.56/437.75 c #Conflicts: 295000 | #Constraints: 49846 425.56/437.75 c #Conflicts: 296000 | #Constraints: 50846 425.56/437.75 c #Conflicts: 297000 | #Constraints: 51846 425.56/437.75 c #Conflicts: 298000 | #Constraints: 52846 425.56/437.75 c #Conflicts: 299000 | #Constraints: 53846 425.56/437.75 c #Conflicts: 300000 | #Constraints: 54846 425.56/437.75 c #Conflicts: 301000 | #Constraints: 55846 425.56/437.75 c #Conflicts: 302000 | #Constraints: 56846 425.56/437.75 c #Conflicts: 303000 | #Constraints: 57846 425.56/437.75 c #Conflicts: 304000 | #Constraints: 58846 425.56/437.75 c #Conflicts: 305000 | #Constraints: 59846 425.56/437.75 c #Conflicts: 306000 | #Constraints: 60846 425.56/437.75 c #Conflicts: 307000 | #Constraints: 61846 425.56/437.75 c INPROCESSING 425.56/437.75 c GARBAGE COLLECT 425.56/437.75 c rational objective 83 442.93/455.15 c #Conflicts: 308000 | #Constraints: 34918 442.93/455.15 c #Conflicts: 309000 | #Constraints: 35918 442.93/455.15 c #Conflicts: 310000 | #Constraints: 36918 442.93/455.15 c #Conflicts: 311000 | #Constraints: 37918 442.93/455.15 c #Conflicts: 312000 | #Constraints: 38918 442.93/455.15 c #Conflicts: 313000 | #Constraints: 39918 442.93/455.15 c #Conflicts: 314000 | #Constraints: 40918 442.93/455.15 c #Conflicts: 315000 | #Constraints: 41918 442.93/455.15 c #Conflicts: 316000 | #Constraints: 42918 442.93/455.15 c #Conflicts: 317000 | #Constraints: 43918 442.93/455.15 c #Conflicts: 318000 | #Constraints: 44918 442.93/455.15 c #Conflicts: 319000 | #Constraints: 45918 442.93/455.15 c INPROCESSING 442.93/455.15 c GARBAGE COLLECT 442.93/455.15 c rational objective 83 464.36/476.68 c #Conflicts: 320000 | #Constraints: 27007 464.36/476.68 c #Conflicts: 321000 | #Constraints: 28007 464.36/476.68 c #Conflicts: 322000 | #Constraints: 29007 464.36/476.68 c #Conflicts: 323000 | #Constraints: 30007 464.36/476.68 c #Conflicts: 324000 | #Constraints: 31007 464.36/476.68 c #Conflicts: 325000 | #Constraints: 32007 464.36/476.68 c #Conflicts: 326000 | #Constraints: 33007 464.36/476.68 c #Conflicts: 327000 | #Constraints: 34007 464.36/476.68 c #Conflicts: 328000 | #Constraints: 35007 464.36/476.68 c #Conflicts: 329000 | #Constraints: 36007 464.36/476.68 c #Conflicts: 330000 | #Constraints: 37008 464.36/476.68 c #Conflicts: 331000 | #Constraints: 38008 464.36/476.68 c INPROCESSING 464.36/476.68 c GARBAGE COLLECT 464.36/476.68 c rational objective 83 483.51/495.89 c #Conflicts: 332000 | #Constraints: 22847 483.51/495.89 c #Conflicts: 333000 | #Constraints: 23847 483.51/495.89 c #Conflicts: 334000 | #Constraints: 24847 483.51/495.89 c #Conflicts: 335000 | #Constraints: 25847 483.51/495.89 c #Conflicts: 336000 | #Constraints: 26847 483.51/495.89 c #Conflicts: 337000 | #Constraints: 27847 483.51/495.89 c #Conflicts: 338000 | #Constraints: 28847 483.51/495.89 c #Conflicts: 339000 | #Constraints: 29847 483.51/495.89 c #Conflicts: 340000 | #Constraints: 30848 483.51/495.89 c #Conflicts: 341000 | #Constraints: 31848 483.51/495.89 c #Conflicts: 342000 | #Constraints: 32848 483.51/495.89 c #Conflicts: 343000 | #Constraints: 33848 483.51/495.89 c #Conflicts: 344000 | #Constraints: 34848 483.51/495.89 c INPROCESSING 483.51/495.89 c GARBAGE COLLECT 483.51/495.89 c rational objective 83 494.18/506.53 c #Conflicts: 345000 | #Constraints: 21543 494.18/506.53 c #Conflicts: 346000 | #Constraints: 22543 494.18/506.53 c #Conflicts: 347000 | #Constraints: 23543 494.18/506.53 c #Conflicts: 348000 | #Constraints: 24543 494.18/506.53 c #Conflicts: 349000 | #Constraints: 25543 494.18/506.53 c #Conflicts: 350000 | #Constraints: 26543 494.18/506.53 c #Conflicts: 351000 | #Constraints: 27543 494.18/506.53 c #Conflicts: 352000 | #Constraints: 28543 494.18/506.53 c #Conflicts: 353000 | #Constraints: 29543 494.18/506.53 c #Conflicts: 354000 | #Constraints: 30543 494.18/506.53 c #Conflicts: 355000 | #Constraints: 31543 494.18/506.53 c #Conflicts: 356000 | #Constraints: 32543 494.18/506.53 c INPROCESSING 494.18/506.53 c GARBAGE COLLECT 494.18/506.53 c rational objective 83 578.14/590.73 c #Conflicts: 357000 | #Constraints: 20060 578.14/590.73 c #Conflicts: 358000 | #Constraints: 21061 578.14/590.73 c #Conflicts: 359000 | #Constraints: 22062 578.14/590.73 c #Conflicts: 360000 | #Constraints: 23062 578.14/590.73 c #Conflicts: 361000 | #Constraints: 24062 578.14/590.73 c #Conflicts: 362000 | #Constraints: 25062 578.14/590.73 c #Conflicts: 363000 | #Constraints: 26062 578.14/590.73 c #Conflicts: 364000 | #Constraints: 27062 578.14/590.73 c #Conflicts: 365000 | #Constraints: 28062 578.14/590.73 c #Conflicts: 366000 | #Constraints: 29062 578.14/590.73 c #Conflicts: 367000 | #Constraints: 30062 578.14/590.73 c #Conflicts: 368000 | #Constraints: 31062 578.14/590.73 c #Conflicts: 369000 | #Constraints: 32062 578.14/590.73 c #Conflicts: 370000 | #Constraints: 33062 578.14/590.73 c #Conflicts: 371000 | #Constraints: 34063 578.14/590.73 c #Conflicts: 372000 | #Constraints: 35063 578.14/590.73 c #Conflicts: 373000 | #Constraints: 36063 578.14/590.73 c #Conflicts: 374000 | #Constraints: 37063 578.14/590.73 c #Conflicts: 375000 | #Constraints: 38063 578.14/590.73 c #Conflicts: 376000 | #Constraints: 39063 578.14/590.73 c #Conflicts: 377000 | #Constraints: 40063 578.14/590.73 c #Conflicts: 378000 | #Constraints: 41063 578.14/590.73 c #Conflicts: 379000 | #Constraints: 42063 578.14/590.73 c #Conflicts: 380000 | #Constraints: 43063 578.14/590.73 c #Conflicts: 381000 | #Constraints: 44063 578.14/590.73 c #Conflicts: 382000 | #Constraints: 45063 578.14/590.73 c #Conflicts: 383000 | #Constraints: 46063 578.14/590.73 c #Conflicts: 384000 | #Constraints: 47063 578.14/590.73 c #Conflicts: 385000 | #Constraints: 48063 578.14/590.73 c #Conflicts: 386000 | #Constraints: 49063 578.14/590.73 c #Conflicts: 387000 | #Constraints: 50063 578.14/590.73 c #Conflicts: 388000 | #Constraints: 51063 578.14/590.73 c #Conflicts: 389000 | #Constraints: 52063 578.14/590.73 c #Conflicts: 390000 | #Constraints: 53063 578.14/590.73 c #Conflicts: 391000 | #Constraints: 54063 578.14/590.73 c #Conflicts: 392000 | #Constraints: 55063 578.14/590.73 c #Conflicts: 393000 | #Constraints: 56063 578.14/590.73 c #Conflicts: 394000 | #Constraints: 57063 578.14/590.73 c #Conflicts: 395000 | #Constraints: 58064 578.14/590.73 c #Conflicts: 396000 | #Constraints: 59064 578.14/590.73 c #Conflicts: 397000 | #Constraints: 60064 578.14/590.73 c #Conflicts: 398000 | #Constraints: 61065 578.14/590.73 c #Conflicts: 399000 | #Constraints: 62065 578.14/590.73 c #Conflicts: 400000 | #Constraints: 63065 578.14/590.73 c #Conflicts: 401000 | #Constraints: 64065 578.14/590.73 c #Conflicts: 402000 | #Constraints: 65065 578.14/590.73 c #Conflicts: 403000 | #Constraints: 66065 578.14/590.73 c #Conflicts: 404000 | #Constraints: 67065 578.14/590.73 c #Conflicts: 405000 | #Constraints: 68065 578.14/590.73 c #Conflicts: 406000 | #Constraints: 69065 578.14/590.73 c #Conflicts: 407000 | #Constraints: 70065 578.14/590.73 c INPROCESSING 578.14/590.73 c GARBAGE COLLECT 578.14/590.73 c rational objective 83 606.15/618.81 c #Conflicts: 408000 | #Constraints: 38919 606.15/618.81 c #Conflicts: 409000 | #Constraints: 39919 606.15/618.81 c #Conflicts: 410000 | #Constraints: 40920 606.15/618.81 c #Conflicts: 411000 | #Constraints: 41920 606.15/618.81 c #Conflicts: 412000 | #Constraints: 42920 606.15/618.81 c #Conflicts: 413000 | #Constraints: 43920 606.15/618.81 c #Conflicts: 414000 | #Constraints: 44921 606.15/618.81 c #Conflicts: 415000 | #Constraints: 45921 606.15/618.81 c #Conflicts: 416000 | #Constraints: 46921 606.15/618.81 c #Conflicts: 417000 | #Constraints: 47921 606.15/618.81 c #Conflicts: 418000 | #Constraints: 48921 606.15/618.81 c #Conflicts: 419000 | #Constraints: 49921 606.15/618.81 c #Conflicts: 420000 | #Constraints: 50921 606.15/618.81 c #Conflicts: 421000 | #Constraints: 51921 606.15/618.81 c INPROCESSING 606.15/618.81 c GARBAGE COLLECT 606.15/618.81 c rational objective 83 626.41/639.12 c #Conflicts: 422000 | #Constraints: 29939 626.41/639.12 c #Conflicts: 423000 | #Constraints: 30939 626.41/639.12 c #Conflicts: 424000 | #Constraints: 31939 626.41/639.12 c #Conflicts: 425000 | #Constraints: 32939 626.41/639.12 c #Conflicts: 426000 | #Constraints: 33939 626.41/639.12 c #Conflicts: 427000 | #Constraints: 34939 626.41/639.12 c #Conflicts: 428000 | #Constraints: 35939 626.41/639.12 c #Conflicts: 429000 | #Constraints: 36939 626.41/639.12 c #Conflicts: 430000 | #Constraints: 37939 626.41/639.12 c #Conflicts: 431000 | #Constraints: 38939 626.41/639.12 c #Conflicts: 432000 | #Constraints: 39939 626.41/639.12 c #Conflicts: 433000 | #Constraints: 40939 626.41/639.12 c #Conflicts: 434000 | #Constraints: 41939 626.41/639.12 c #Conflicts: 435000 | #Constraints: 42939 626.41/639.12 c INPROCESSING 626.41/639.12 c GARBAGE COLLECT 626.41/639.12 c rational objective 83 646.75/659.51 c #Conflicts: 436000 | #Constraints: 25346 646.75/659.51 c #Conflicts: 437000 | #Constraints: 26346 646.75/659.51 c #Conflicts: 438000 | #Constraints: 27346 646.75/659.51 c #Conflicts: 439000 | #Constraints: 28347 646.75/659.51 c #Conflicts: 440000 | #Constraints: 29347 646.75/659.51 c #Conflicts: 441000 | #Constraints: 30347 646.75/659.51 c #Conflicts: 442000 | #Constraints: 31348 646.75/659.51 c #Conflicts: 443000 | #Constraints: 32348 646.75/659.51 c #Conflicts: 444000 | #Constraints: 33348 646.75/659.51 c #Conflicts: 445000 | #Constraints: 34348 646.75/659.51 c #Conflicts: 446000 | #Constraints: 35349 646.75/659.51 c #Conflicts: 447000 | #Constraints: 36349 646.75/659.51 c #Conflicts: 448000 | #Constraints: 37349 646.75/659.51 c #Conflicts: 449000 | #Constraints: 38349 646.75/659.51 c #Conflicts: 450000 | #Constraints: 39349 646.75/659.51 c INPROCESSING 646.75/659.51 c GARBAGE COLLECT 646.75/659.51 c rational objective 83 666.98/679.82 c #Conflicts: 451000 | #Constraints: 23799 666.98/679.82 c #Conflicts: 452000 | #Constraints: 24799 666.98/679.82 c #Conflicts: 453000 | #Constraints: 25799 666.98/679.82 c #Conflicts: 454000 | #Constraints: 26799 666.98/679.82 c #Conflicts: 455000 | #Constraints: 27799 666.98/679.82 c #Conflicts: 456000 | #Constraints: 28799 666.98/679.82 c #Conflicts: 457000 | #Constraints: 29799 666.98/679.82 c #Conflicts: 458000 | #Constraints: 30799 666.98/679.82 c #Conflicts: 459000 | #Constraints: 31800 666.98/679.82 c #Conflicts: 460000 | #Constraints: 32800 666.98/679.82 c #Conflicts: 461000 | #Constraints: 33800 666.98/679.82 c #Conflicts: 462000 | #Constraints: 34800 666.98/679.82 c #Conflicts: 463000 | #Constraints: 35800 666.98/679.82 c #Conflicts: 464000 | #Constraints: 36800 666.98/679.82 c INPROCESSING 666.98/679.82 c GARBAGE COLLECT 666.98/679.82 c rational objective 83 803.00/816.28 c #Conflicts: 465000 | #Constraints: 22223 803.00/816.28 c #Conflicts: 466000 | #Constraints: 23223 803.00/816.28 c #Conflicts: 467000 | #Constraints: 24224 803.00/816.28 c #Conflicts: 468000 | #Constraints: 25224 803.00/816.28 c #Conflicts: 469000 | #Constraints: 26224 803.00/816.28 c #Conflicts: 470000 | #Constraints: 27225 803.00/816.28 c #Conflicts: 471000 | #Constraints: 28225 803.00/816.28 c #Conflicts: 472000 | #Constraints: 29225 803.00/816.28 c #Conflicts: 473000 | #Constraints: 30225 803.00/816.28 c #Conflicts: 474000 | #Constraints: 31226 803.00/816.28 c #Conflicts: 475000 | #Constraints: 32226 803.00/816.28 c #Conflicts: 476000 | #Constraints: 33226 803.00/816.28 c #Conflicts: 477000 | #Constraints: 34226 803.00/816.28 c #Conflicts: 478000 | #Constraints: 35226 803.00/816.28 c #Conflicts: 479000 | #Constraints: 36226 803.00/816.28 c #Conflicts: 480000 | #Constraints: 37226 803.00/816.28 c #Conflicts: 481000 | #Constraints: 38226 803.00/816.28 c #Conflicts: 482000 | #Constraints: 39226 803.00/816.28 c #Conflicts: 483000 | #Constraints: 40226 803.00/816.28 c #Conflicts: 484000 | #Constraints: 41226 803.00/816.28 c #Conflicts: 485000 | #Constraints: 42226 803.00/816.28 c #Conflicts: 486000 | #Constraints: 43226 803.00/816.28 c #Conflicts: 487000 | #Constraints: 44226 803.00/816.28 c #Conflicts: 488000 | #Constraints: 45227 803.00/816.28 c #Conflicts: 489000 | #Constraints: 46227 803.00/816.28 c #Conflicts: 490000 | #Constraints: 47228 803.00/816.28 c #Conflicts: 491000 | #Constraints: 48228 803.00/816.28 c #Conflicts: 492000 | #Constraints: 49228 803.00/816.28 c #Conflicts: 493000 | #Constraints: 50228 803.00/816.28 c #Conflicts: 494000 | #Constraints: 51228 803.00/816.28 c #Conflicts: 495000 | #Constraints: 52229 803.00/816.28 c #Conflicts: 496000 | #Constraints: 53229 803.00/816.28 c #Conflicts: 497000 | #Constraints: 54229 803.00/816.28 c #Conflicts: 498000 | #Constraints: 55229 803.00/816.28 c #Conflicts: 499000 | #Constraints: 56229 803.00/816.28 c #Conflicts: 500000 | #Constraints: 57229 803.00/816.28 c #Conflicts: 501000 | #Constraints: 58229 803.00/816.28 c #Conflicts: 502000 | #Constraints: 59229 803.00/816.28 c #Conflicts: 503000 | #Constraints: 60229 803.00/816.28 c #Conflicts: 504000 | #Constraints: 61229 803.00/816.28 c #Conflicts: 505000 | #Constraints: 62229 803.00/816.28 c #Conflicts: 506000 | #Constraints: 63229 803.00/816.28 c #Conflicts: 507000 | #Constraints: 64229 803.00/816.28 c #Conflicts: 508000 | #Constraints: 65229 803.00/816.28 c #Conflicts: 509000 | #Constraints: 66229 803.00/816.28 c #Conflicts: 510000 | #Constraints: 67229 803.00/816.28 c #Conflicts: 511000 | #Constraints: 68229 803.00/816.28 c #Conflicts: 512000 | #Constraints: 69230 803.00/816.28 c #Conflicts: 513000 | #Constraints: 70232 803.00/816.28 c #Conflicts: 514000 | #Constraints: 71232 803.00/816.28 c #Conflicts: 515000 | #Constraints: 72232 803.00/816.28 c #Conflicts: 516000 | #Constraints: 73232 803.00/816.28 c #Conflicts: 517000 | #Constraints: 74232 803.00/816.28 c #Conflicts: 518000 | #Constraints: 75232 803.00/816.28 c #Conflicts: 519000 | #Constraints: 76233 803.00/816.28 c #Conflicts: 520000 | #Constraints: 77233 803.00/816.28 c #Conflicts: 521000 | #Constraints: 78233 803.00/816.28 c INPROCESSING 803.00/816.28 c GARBAGE COLLECT 803.00/816.28 c rational objective 83 831.91/845.23 c #Conflicts: 522000 | #Constraints: 42885 831.91/845.23 c #Conflicts: 523000 | #Constraints: 43885 831.91/845.23 c #Conflicts: 524000 | #Constraints: 44886 831.91/845.23 c #Conflicts: 525000 | #Constraints: 45886 831.91/845.23 c #Conflicts: 526000 | #Constraints: 46886 831.91/845.23 c #Conflicts: 527000 | #Constraints: 47886 831.91/845.23 c #Conflicts: 528000 | #Constraints: 48886 831.91/845.23 c #Conflicts: 529000 | #Constraints: 49886 831.91/845.23 c #Conflicts: 530000 | #Constraints: 50886 831.91/845.23 c #Conflicts: 531000 | #Constraints: 51886 831.91/845.23 c #Conflicts: 532000 | #Constraints: 52886 831.91/845.23 c #Conflicts: 533000 | #Constraints: 53886 831.91/845.23 c #Conflicts: 534000 | #Constraints: 54886 831.91/845.23 c #Conflicts: 535000 | #Constraints: 55886 831.91/845.23 c #Conflicts: 536000 | #Constraints: 56886 831.91/845.23 c #Conflicts: 537000 | #Constraints: 57886 831.91/845.23 c INPROCESSING 831.91/845.23 c GARBAGE COLLECT 831.91/845.23 c rational objective 83 852.26/865.61 c #Conflicts: 538000 | #Constraints: 32792 852.26/865.61 c #Conflicts: 539000 | #Constraints: 33792 852.26/865.61 c #Conflicts: 540000 | #Constraints: 34792 852.26/865.61 c #Conflicts: 541000 | #Constraints: 35793 852.26/865.61 c #Conflicts: 542000 | #Constraints: 36796 852.26/865.61 c #Conflicts: 543000 | #Constraints: 37796 852.26/865.61 c #Conflicts: 544000 | #Constraints: 38796 852.26/865.61 c #Conflicts: 545000 | #Constraints: 39796 852.26/865.61 c #Conflicts: 546000 | #Constraints: 40796 852.26/865.61 c #Conflicts: 547000 | #Constraints: 41796 852.26/865.61 c #Conflicts: 548000 | #Constraints: 42796 852.26/865.61 c #Conflicts: 549000 | #Constraints: 43796 852.26/865.61 c #Conflicts: 550000 | #Constraints: 44796 852.26/865.61 c #Conflicts: 551000 | #Constraints: 45796 852.26/865.61 c #Conflicts: 552000 | #Constraints: 46796 852.26/865.61 c #Conflicts: 553000 | #Constraints: 47796 852.26/865.61 c INPROCESSING 852.26/865.61 c GARBAGE COLLECT 852.26/865.61 c rational objective 83 873.89/887.33 c #Conflicts: 554000 | #Constraints: 27728 873.89/887.33 c #Conflicts: 555000 | #Constraints: 28729 873.89/887.33 c #Conflicts: 556000 | #Constraints: 29729 873.89/887.33 c #Conflicts: 557000 | #Constraints: 30729 873.89/887.33 c #Conflicts: 558000 | #Constraints: 31729 873.89/887.33 c #Conflicts: 559000 | #Constraints: 32729 873.89/887.33 c #Conflicts: 560000 | #Constraints: 33729 873.89/887.33 c #Conflicts: 561000 | #Constraints: 34729 873.89/887.33 c #Conflicts: 562000 | #Constraints: 35729 873.89/887.33 c #Conflicts: 563000 | #Constraints: 36729 873.89/887.33 c #Conflicts: 564000 | #Constraints: 37729 873.89/887.33 c #Conflicts: 565000 | #Constraints: 38729 873.89/887.33 c #Conflicts: 566000 | #Constraints: 39729 873.89/887.33 c #Conflicts: 567000 | #Constraints: 40729 873.89/887.33 c #Conflicts: 568000 | #Constraints: 41729 873.89/887.33 c #Conflicts: 569000 | #Constraints: 42729 873.89/887.33 c #Conflicts: 570000 | #Constraints: 43729 873.89/887.33 c INPROCESSING 873.89/887.33 c GARBAGE COLLECT 873.89/887.33 c rational objective 83 902.73/916.27 c #Conflicts: 571000 | #Constraints: 26004 902.73/916.27 c #Conflicts: 572000 | #Constraints: 27004 902.73/916.27 c #Conflicts: 573000 | #Constraints: 28004 902.73/916.27 c #Conflicts: 574000 | #Constraints: 29004 902.73/916.27 c #Conflicts: 575000 | #Constraints: 30004 902.73/916.27 c #Conflicts: 576000 | #Constraints: 31004 902.73/916.27 c #Conflicts: 577000 | #Constraints: 32004 902.73/916.27 c #Conflicts: 578000 | #Constraints: 33004 902.73/916.27 c #Conflicts: 579000 | #Constraints: 34004 902.73/916.27 c #Conflicts: 580000 | #Constraints: 35004 902.73/916.27 c #Conflicts: 581000 | #Constraints: 36005 902.73/916.27 c #Conflicts: 582000 | #Constraints: 37005 902.73/916.27 c #Conflicts: 583000 | #Constraints: 38005 902.73/916.27 c #Conflicts: 584000 | #Constraints: 39006 902.73/916.27 c #Conflicts: 585000 | #Constraints: 40006 902.73/916.27 c #Conflicts: 586000 | #Constraints: 41006 902.73/916.27 c INPROCESSING 902.73/916.27 c GARBAGE COLLECT 902.73/916.27 c rational objective 83 1040.02/1053.96 c #Conflicts: 587000 | #Constraints: 24405 1040.02/1053.96 c #Conflicts: 588000 | #Constraints: 25405 1040.02/1053.96 c #Conflicts: 589000 | #Constraints: 26405 1040.02/1053.96 c #Conflicts: 590000 | #Constraints: 27405 1040.02/1053.96 c #Conflicts: 591000 | #Constraints: 28405 1040.02/1053.96 c #Conflicts: 592000 | #Constraints: 29405 1040.02/1053.96 c #Conflicts: 593000 | #Constraints: 30405 1040.02/1053.96 c #Conflicts: 594000 | #Constraints: 31405 1040.02/1053.96 c #Conflicts: 595000 | #Constraints: 32405 1040.02/1053.96 c #Conflicts: 596000 | #Constraints: 33405 1040.02/1053.96 c #Conflicts: 597000 | #Constraints: 34406 1040.02/1053.96 c #Conflicts: 598000 | #Constraints: 35407 1040.02/1053.96 c #Conflicts: 599000 | #Constraints: 36407 1040.02/1053.96 c #Conflicts: 600000 | #Constraints: 37407 1040.02/1053.96 c #Conflicts: 601000 | #Constraints: 38407 1040.02/1053.96 c #Conflicts: 602000 | #Constraints: 39407 1040.02/1053.96 c #Conflicts: 603000 | #Constraints: 40407 1040.02/1053.96 c #Conflicts: 604000 | #Constraints: 41407 1040.02/1053.96 c #Conflicts: 605000 | #Constraints: 42407 1040.02/1053.96 c #Conflicts: 606000 | #Constraints: 43407 1040.02/1053.96 c #Conflicts: 607000 | #Constraints: 44407 1040.02/1053.96 c #Conflicts: 608000 | #Constraints: 45407 1040.02/1053.96 c #Conflicts: 609000 | #Constraints: 46407 1040.02/1053.96 c #Conflicts: 610000 | #Constraints: 47408 1040.02/1053.96 c #Conflicts: 611000 | #Constraints: 48408 1040.02/1053.96 c #Conflicts: 612000 | #Constraints: 49408 1040.02/1053.96 c #Conflicts: 613000 | #Constraints: 50408 1040.02/1053.96 c #Conflicts: 614000 | #Constraints: 51408 1040.02/1053.96 c #Conflicts: 615000 | #Constraints: 52408 1040.02/1053.96 c #Conflicts: 616000 | #Constraints: 53408 1040.02/1053.96 c #Conflicts: 617000 | #Constraints: 54409 1040.02/1053.96 c #Conflicts: 618000 | #Constraints: 55409 1040.02/1053.96 c #Conflicts: 619000 | #Constraints: 56410 1040.02/1053.96 c #Conflicts: 620000 | #Constraints: 57411 1040.02/1053.96 c #Conflicts: 621000 | #Constraints: 58411 1040.02/1053.96 c #Conflicts: 622000 | #Constraints: 59411 1040.02/1053.96 c #Conflicts: 623000 | #Constraints: 60412 1040.02/1053.96 c #Conflicts: 624000 | #Constraints: 61412 1040.02/1053.96 c #Conflicts: 625000 | #Constraints: 62412 1040.02/1053.96 c #Conflicts: 626000 | #Constraints: 63412 1040.02/1053.96 c #Conflicts: 627000 | #Constraints: 64412 1040.02/1053.96 c #Conflicts: 628000 | #Constraints: 65412 1040.02/1053.96 c #Conflicts: 629000 | #Constraints: 66413 1040.02/1053.96 c #Conflicts: 630000 | #Constraints: 67413 1040.02/1053.96 c #Conflicts: 631000 | #Constraints: 68413 1040.02/1053.96 c #Conflicts: 632000 | #Constraints: 69413 1040.02/1053.96 c #Conflicts: 633000 | #Constraints: 70414 1040.02/1053.96 c #Conflicts: 634000 | #Constraints: 71414 1040.02/1053.96 c #Conflicts: 635000 | #Constraints: 72414 1040.02/1053.96 c #Conflicts: 636000 | #Constraints: 73414 1040.02/1053.96 c #Conflicts: 637000 | #Constraints: 74414 1040.02/1053.96 c #Conflicts: 638000 | #Constraints: 75414 1040.02/1053.96 c #Conflicts: 639000 | #Constraints: 76414 1040.02/1053.96 c #Conflicts: 640000 | #Constraints: 77414 1040.02/1053.96 c #Conflicts: 641000 | #Constraints: 78414 1040.02/1053.96 c #Conflicts: 642000 | #Constraints: 79414 1040.02/1053.96 c #Conflicts: 643000 | #Constraints: 80414 1040.02/1053.96 c #Conflicts: 644000 | #Constraints: 81414 1040.02/1053.96 c #Conflicts: 645000 | #Constraints: 82415 1040.02/1053.96 c #Conflicts: 646000 | #Constraints: 83415 1040.02/1053.96 c #Conflicts: 647000 | #Constraints: 84415 1040.02/1053.96 c #Conflicts: 648000 | #Constraints: 85415 1040.02/1053.96 c #Conflicts: 649000 | #Constraints: 86415 1040.02/1053.96 c #Conflicts: 650000 | #Constraints: 87415 1040.02/1053.96 c INPROCESSING 1040.02/1053.96 c GARBAGE COLLECT 1040.02/1053.96 c rational objective 83 1076.13/1090.12 c #Conflicts: 651000 | #Constraints: 47892 1076.13/1090.12 c #Conflicts: 652000 | #Constraints: 48892 1076.13/1090.12 c #Conflicts: 653000 | #Constraints: 49892 1076.13/1090.12 c #Conflicts: 654000 | #Constraints: 50892 1076.13/1090.12 c #Conflicts: 655000 | #Constraints: 51892 1076.13/1090.12 c #Conflicts: 656000 | #Constraints: 52892 1076.13/1090.12 c #Conflicts: 657000 | #Constraints: 53892 1076.13/1090.12 c #Conflicts: 658000 | #Constraints: 54892 1076.13/1090.12 c #Conflicts: 659000 | #Constraints: 55892 1076.13/1090.12 c #Conflicts: 660000 | #Constraints: 56892 1076.13/1090.12 c #Conflicts: 661000 | #Constraints: 57892 1076.13/1090.12 c #Conflicts: 662000 | #Constraints: 58892 1076.13/1090.12 c #Conflicts: 663000 | #Constraints: 59892 1076.13/1090.12 c #Conflicts: 664000 | #Constraints: 60892 1076.13/1090.12 c #Conflicts: 665000 | #Constraints: 61892 1076.13/1090.12 c #Conflicts: 666000 | #Constraints: 62893 1076.13/1090.12 c #Conflicts: 667000 | #Constraints: 63893 1076.13/1090.12 c INPROCESSING 1076.13/1090.12 c GARBAGE COLLECT 1076.13/1090.12 c rational objective 83 1109.41/1123.56 c #Conflicts: 668000 | #Constraints: 35694 1109.41/1123.56 c #Conflicts: 669000 | #Constraints: 36695 1109.41/1123.56 c #Conflicts: 670000 | #Constraints: 37695 1109.41/1123.56 c #Conflicts: 671000 | #Constraints: 38695 1109.41/1123.56 c #Conflicts: 672000 | #Constraints: 39695 1109.41/1123.56 c #Conflicts: 673000 | #Constraints: 40695 1109.41/1123.56 c #Conflicts: 674000 | #Constraints: 41695 1109.41/1123.56 c #Conflicts: 675000 | #Constraints: 42695 1109.41/1123.56 c #Conflicts: 676000 | #Constraints: 43695 1109.41/1123.56 c #Conflicts: 677000 | #Constraints: 44695 1109.41/1123.56 c #Conflicts: 678000 | #Constraints: 45695 1109.41/1123.56 c #Conflicts: 679000 | #Constraints: 46695 1109.41/1123.56 c #Conflicts: 680000 | #Constraints: 47696 1109.41/1123.56 c #Conflicts: 681000 | #Constraints: 48696 1109.41/1123.56 c #Conflicts: 682000 | #Constraints: 49696 1109.41/1123.56 c #Conflicts: 683000 | #Constraints: 50696 1109.41/1123.56 c #Conflicts: 684000 | #Constraints: 51696 1109.41/1123.56 c #Conflicts: 685000 | #Constraints: 52696 1109.41/1123.56 c INPROCESSING 1109.41/1123.56 c GARBAGE COLLECT 1109.41/1123.56 c rational objective 83 1141.12/1155.38 c #Conflicts: 686000 | #Constraints: 30111 1141.12/1155.38 c #Conflicts: 687000 | #Constraints: 31111 1141.12/1155.38 c #Conflicts: 688000 | #Constraints: 32111 1141.12/1155.38 c #Conflicts: 689000 | #Constraints: 33112 1141.12/1155.38 c #Conflicts: 690000 | #Constraints: 34112 1141.12/1155.38 c #Conflicts: 691000 | #Constraints: 35113 1141.12/1155.38 c #Conflicts: 692000 | #Constraints: 36113 1141.12/1155.38 c #Conflicts: 693000 | #Constraints: 37113 1141.12/1155.38 c #Conflicts: 694000 | #Constraints: 38113 1141.12/1155.38 c #Conflicts: 695000 | #Constraints: 39113 1141.12/1155.38 c #Conflicts: 696000 | #Constraints: 40113 1141.12/1155.38 c #Conflicts: 697000 | #Constraints: 41115 1141.12/1155.38 c #Conflicts: 698000 | #Constraints: 42115 1141.12/1155.38 c #Conflicts: 699000 | #Constraints: 43115 1141.12/1155.38 c #Conflicts: 700000 | #Constraints: 44115 1141.12/1155.38 c #Conflicts: 701000 | #Constraints: 45116 1141.12/1155.38 c #Conflicts: 702000 | #Constraints: 46116 1141.12/1155.38 c #Conflicts: 703000 | #Constraints: 47116 1141.12/1155.38 c #Conflicts: 704000 | #Constraints: 48116 1141.12/1155.38 c INPROCESSING 1141.12/1155.38 c GARBAGE COLLECT 1141.12/1155.38 c rational objective 83 1166.06/1180.32 c #Conflicts: 705000 | #Constraints: 28322 1166.06/1180.32 c #Conflicts: 706000 | #Constraints: 29322 1166.06/1180.32 c #Conflicts: 707000 | #Constraints: 30322 1166.06/1180.32 c #Conflicts: 708000 | #Constraints: 31322 1166.06/1180.32 c #Conflicts: 709000 | #Constraints: 32322 1166.06/1180.32 c #Conflicts: 710000 | #Constraints: 33322 1166.06/1180.32 c #Conflicts: 711000 | #Constraints: 34322 1166.06/1180.32 c #Conflicts: 712000 | #Constraints: 35322 1166.06/1180.32 c #Conflicts: 713000 | #Constraints: 36322 1166.06/1180.32 c #Conflicts: 714000 | #Constraints: 37323 1166.06/1180.32 c #Conflicts: 715000 | #Constraints: 38324 1166.06/1180.32 c #Conflicts: 716000 | #Constraints: 39325 1166.06/1180.32 c #Conflicts: 717000 | #Constraints: 40325 1166.06/1180.32 c #Conflicts: 718000 | #Constraints: 41325 1166.06/1180.32 c #Conflicts: 719000 | #Constraints: 42325 1166.06/1180.32 c #Conflicts: 720000 | #Constraints: 43326 1166.06/1180.32 c #Conflicts: 721000 | #Constraints: 44326 1166.06/1180.32 c #Conflicts: 722000 | #Constraints: 45326 1166.06/1180.32 c INPROCESSING 1166.06/1180.32 c GARBAGE COLLECT 1166.06/1180.32 c rational objective 83 1358.51/1373.36 c #Conflicts: 723000 | #Constraints: 26617 1358.51/1373.36 c #Conflicts: 724000 | #Constraints: 27617 1358.51/1373.36 c #Conflicts: 725000 | #Constraints: 28617 1358.51/1373.36 c #Conflicts: 726000 | #Constraints: 29618 1358.51/1373.36 c #Conflicts: 727000 | #Constraints: 30618 1358.51/1373.36 c #Conflicts: 728000 | #Constraints: 31618 1358.51/1373.36 c #Conflicts: 729000 | #Constraints: 32618 1358.51/1373.36 c #Conflicts: 730000 | #Constraints: 33618 1358.51/1373.36 c #Conflicts: 731000 | #Constraints: 34618 1358.51/1373.36 c #Conflicts: 732000 | #Constraints: 35618 1358.51/1373.36 c #Conflicts: 733000 | #Constraints: 36618 1358.51/1373.36 c #Conflicts: 734000 | #Constraints: 37618 1358.51/1373.36 c #Conflicts: 735000 | #Constraints: 38618 1358.51/1373.36 c #Conflicts: 736000 | #Constraints: 39618 1358.51/1373.36 c #Conflicts: 737000 | #Constraints: 40618 1358.51/1373.36 c #Conflicts: 738000 | #Constraints: 41618 1358.51/1373.36 c #Conflicts: 739000 | #Constraints: 42618 1358.51/1373.36 c #Conflicts: 740000 | #Constraints: 43618 1358.51/1373.36 c #Conflicts: 741000 | #Constraints: 44618 1358.51/1373.36 c #Conflicts: 742000 | #Constraints: 45618 1358.51/1373.36 c #Conflicts: 743000 | #Constraints: 46619 1358.51/1373.36 c #Conflicts: 744000 | #Constraints: 47619 1358.51/1373.36 c #Conflicts: 745000 | #Constraints: 48619 1358.51/1373.36 c #Conflicts: 746000 | #Constraints: 49619 1358.51/1373.36 c #Conflicts: 747000 | #Constraints: 50619 1358.51/1373.36 c #Conflicts: 748000 | #Constraints: 51619 1358.51/1373.36 c #Conflicts: 749000 | #Constraints: 52619 1358.51/1373.36 c #Conflicts: 750000 | #Constraints: 53619 1358.51/1373.36 c #Conflicts: 751000 | #Constraints: 54619 1358.51/1373.36 c #Conflicts: 752000 | #Constraints: 55619 1358.51/1373.36 c #Conflicts: 753000 | #Constraints: 56619 1358.51/1373.36 c #Conflicts: 754000 | #Constraints: 57619 1358.51/1373.36 c #Conflicts: 755000 | #Constraints: 58619 1358.51/1373.36 c #Conflicts: 756000 | #Constraints: 59619 1358.51/1373.36 c #Conflicts: 757000 | #Constraints: 60619 1358.51/1373.36 c #Conflicts: 758000 | #Constraints: 61619 1358.51/1373.36 c #Conflicts: 759000 | #Constraints: 62619 1358.51/1373.36 c #Conflicts: 760000 | #Constraints: 63619 1358.51/1373.36 c #Conflicts: 761000 | #Constraints: 64620 1358.51/1373.36 c #Conflicts: 762000 | #Constraints: 65620 1358.51/1373.36 c #Conflicts: 763000 | #Constraints: 66620 1358.51/1373.36 c #Conflicts: 764000 | #Constraints: 67621 1358.51/1373.36 c #Conflicts: 765000 | #Constraints: 68621 1358.51/1373.36 c #Conflicts: 766000 | #Constraints: 69622 1358.51/1373.36 c #Conflicts: 767000 | #Constraints: 70622 1358.51/1373.36 c #Conflicts: 768000 | #Constraints: 71622 1358.51/1373.36 c #Conflicts: 769000 | #Constraints: 72623 1358.51/1373.36 c #Conflicts: 770000 | #Constraints: 73623 1358.51/1373.36 c #Conflicts: 771000 | #Constraints: 74623 1358.51/1373.36 c #Conflicts: 772000 | #Constraints: 75623 1358.51/1373.36 c #Conflicts: 773000 | #Constraints: 76623 1358.51/1373.36 c #Conflicts: 774000 | #Constraints: 77623 1358.51/1373.36 c #Conflicts: 775000 | #Constraints: 78623 1358.51/1373.36 c #Conflicts: 776000 | #Constraints: 79623 1358.51/1373.36 c #Conflicts: 777000 | #Constraints: 80623 1358.51/1373.36 c #Conflicts: 778000 | #Constraints: 81623 1358.51/1373.36 c #Conflicts: 779000 | #Constraints: 82623 1358.51/1373.36 c #Conflicts: 780000 | #Constraints: 83623 1358.51/1373.36 c #Conflicts: 781000 | #Constraints: 84624 1358.51/1373.36 c #Conflicts: 782000 | #Constraints: 85624 1358.51/1373.36 c #Conflicts: 783000 | #Constraints: 86624 1358.51/1373.36 c #Conflicts: 784000 | #Constraints: 87624 1358.51/1373.36 c #Conflicts: 785000 | #Constraints: 88624 1358.51/1373.36 c #Conflicts: 786000 | #Constraints: 89624 1358.51/1373.36 c #Conflicts: 787000 | #Constraints: 90624 1358.51/1373.36 c #Conflicts: 788000 | #Constraints: 91624 1358.51/1373.36 c #Conflicts: 789000 | #Constraints: 92624 1358.51/1373.36 c #Conflicts: 790000 | #Constraints: 93624 1358.51/1373.36 c #Conflicts: 791000 | #Constraints: 94624 1358.51/1373.36 c #Conflicts: 792000 | #Constraints: 95624 1358.51/1373.36 c INPROCESSING 1358.51/1373.36 c GARBAGE COLLECT 1358.51/1373.36 c rational objective 83 1407.25/1422.27 c #Conflicts: 793000 | #Constraints: 51882 1407.25/1422.27 c #Conflicts: 794000 | #Constraints: 52882 1407.25/1422.27 c #Conflicts: 795000 | #Constraints: 53883 1407.25/1422.27 c #Conflicts: 796000 | #Constraints: 54883 1407.25/1422.27 c #Conflicts: 797000 | #Constraints: 55884 1407.25/1422.27 c #Conflicts: 798000 | #Constraints: 56884 1407.25/1422.27 c #Conflicts: 799000 | #Constraints: 57884 1407.25/1422.27 c #Conflicts: 800000 | #Constraints: 58884 1407.25/1422.27 c #Conflicts: 801000 | #Constraints: 59884 1407.25/1422.27 c #Conflicts: 802000 | #Constraints: 60884 1407.25/1422.27 c #Conflicts: 803000 | #Constraints: 61885 1407.25/1422.27 c #Conflicts: 804000 | #Constraints: 62885 1407.25/1422.27 c #Conflicts: 805000 | #Constraints: 63885 1407.25/1422.27 c #Conflicts: 806000 | #Constraints: 64886 1407.25/1422.27 c #Conflicts: 807000 | #Constraints: 65887 1407.25/1422.27 c #Conflicts: 808000 | #Constraints: 66887 1407.25/1422.27 c #Conflicts: 809000 | #Constraints: 67888 1407.25/1422.27 c #Conflicts: 810000 | #Constraints: 68888 1407.25/1422.27 c #Conflicts: 811000 | #Constraints: 69888 1407.25/1422.27 c #Conflicts: 812000 | #Constraints: 70888 1407.25/1422.27 c INPROCESSING 1407.25/1422.27 c GARBAGE COLLECT 1407.25/1422.27 c rational objective 83 1438.25/1453.36 c #Conflicts: 813000 | #Constraints: 39611 1438.25/1453.36 c #Conflicts: 814000 | #Constraints: 40611 1438.25/1453.36 c #Conflicts: 815000 | #Constraints: 41611 1438.25/1453.36 c #Conflicts: 816000 | #Constraints: 42611 1438.25/1453.36 c #Conflicts: 817000 | #Constraints: 43611 1438.25/1453.36 c #Conflicts: 818000 | #Constraints: 44612 1438.25/1453.36 c #Conflicts: 819000 | #Constraints: 45612 1438.25/1453.36 c #Conflicts: 820000 | #Constraints: 46613 1438.25/1453.36 c #Conflicts: 821000 | #Constraints: 47613 1438.25/1453.36 c #Conflicts: 822000 | #Constraints: 48613 1438.25/1453.36 c #Conflicts: 823000 | #Constraints: 49613 1438.25/1453.36 c #Conflicts: 824000 | #Constraints: 50613 1438.25/1453.36 c #Conflicts: 825000 | #Constraints: 51613 1438.25/1453.36 c #Conflicts: 826000 | #Constraints: 52613 1438.25/1453.36 c #Conflicts: 827000 | #Constraints: 53613 1438.25/1453.36 c #Conflicts: 828000 | #Constraints: 54613 1438.25/1453.36 c #Conflicts: 829000 | #Constraints: 55613 1438.25/1453.36 c #Conflicts: 830000 | #Constraints: 56613 1438.25/1453.36 c #Conflicts: 831000 | #Constraints: 57613 1438.25/1453.36 c INPROCESSING 1438.25/1453.36 c GARBAGE COLLECT 1438.25/1453.36 c rational objective 83 1474.16/1489.34 c #Conflicts: 832000 | #Constraints: 32556 1474.16/1489.34 c #Conflicts: 833000 | #Constraints: 33556 1474.16/1489.34 c #Conflicts: 834000 | #Constraints: 34556 1474.16/1489.34 c #Conflicts: 835000 | #Constraints: 35556 1474.16/1489.34 c #Conflicts: 836000 | #Constraints: 36556 1474.16/1489.34 c #Conflicts: 837000 | #Constraints: 37556 1474.16/1489.34 c #Conflicts: 838000 | #Constraints: 38556 1474.16/1489.34 c #Conflicts: 839000 | #Constraints: 39556 1474.16/1489.34 c #Conflicts: 840000 | #Constraints: 40556 1474.16/1489.34 c #Conflicts: 841000 | #Constraints: 41556 1474.16/1489.34 c #Conflicts: 842000 | #Constraints: 42556 1474.16/1489.34 c #Conflicts: 843000 | #Constraints: 43556 1474.16/1489.34 c #Conflicts: 844000 | #Constraints: 44556 1474.16/1489.34 c #Conflicts: 845000 | #Constraints: 45556 1474.16/1489.34 c #Conflicts: 846000 | #Constraints: 46556 1474.16/1489.34 c #Conflicts: 847000 | #Constraints: 47556 1474.16/1489.34 c #Conflicts: 848000 | #Constraints: 48556 1474.16/1489.34 c #Conflicts: 849000 | #Constraints: 49556 1474.16/1489.34 c #Conflicts: 850000 | #Constraints: 50557 1474.16/1489.34 c #Conflicts: 851000 | #Constraints: 51557 1474.16/1489.34 c #Conflicts: 852000 | #Constraints: 52557 1474.16/1489.34 c INPROCESSING 1474.16/1489.34 c GARBAGE COLLECT 1474.16/1489.34 c rational objective 83 1504.78/1520.03 c #Conflicts: 853000 | #Constraints: 30485 1504.78/1520.03 c #Conflicts: 854000 | #Constraints: 31485 1504.78/1520.03 c #Conflicts: 855000 | #Constraints: 32485 1504.78/1520.03 c #Conflicts: 856000 | #Constraints: 33486 1504.78/1520.03 c #Conflicts: 857000 | #Constraints: 34486 1504.78/1520.03 c #Conflicts: 858000 | #Constraints: 35486 1504.78/1520.03 c #Conflicts: 859000 | #Constraints: 36486 1504.78/1520.03 c #Conflicts: 860000 | #Constraints: 37486 1504.78/1520.03 c #Conflicts: 861000 | #Constraints: 38486 1504.78/1520.03 c #Conflicts: 862000 | #Constraints: 39486 1504.78/1520.03 c #Conflicts: 863000 | #Constraints: 40487 1504.78/1520.03 c #Conflicts: 864000 | #Constraints: 41487 1504.78/1520.03 c #Conflicts: 865000 | #Constraints: 42487 1504.78/1520.03 c #Conflicts: 866000 | #Constraints: 43487 1504.78/1520.03 c #Conflicts: 867000 | #Constraints: 44487 1504.78/1520.03 c #Conflicts: 868000 | #Constraints: 45487 1504.78/1520.03 c #Conflicts: 869000 | #Constraints: 46487 1504.78/1520.03 c #Conflicts: 870000 | #Constraints: 47487 1504.78/1520.03 c #Conflicts: 871000 | #Constraints: 48487 1504.78/1520.03 c #Conflicts: 872000 | #Constraints: 49487 1504.78/1520.03 c INPROCESSING 1504.78/1520.03 c GARBAGE COLLECT 1504.78/1520.03 c rational objective 83 1696.42/1712.21 c #Conflicts: 873000 | #Constraints: 28810 1696.42/1712.21 c #Conflicts: 874000 | #Constraints: 29811 1696.42/1712.21 c #Conflicts: 875000 | #Constraints: 30811 1696.42/1712.21 c #Conflicts: 876000 | #Constraints: 31811 1696.42/1712.21 c #Conflicts: 877000 | #Constraints: 32811 1696.42/1712.21 c #Conflicts: 878000 | #Constraints: 33811 1696.42/1712.21 c #Conflicts: 879000 | #Constraints: 34811 1696.42/1712.21 c #Conflicts: 880000 | #Constraints: 35811 1696.42/1712.21 c #Conflicts: 881000 | #Constraints: 36811 1696.42/1712.21 c #Conflicts: 882000 | #Constraints: 37811 1696.42/1712.21 c #Conflicts: 883000 | #Constraints: 38811 1696.42/1712.21 c #Conflicts: 884000 | #Constraints: 39811 1696.42/1712.21 c #Conflicts: 885000 | #Constraints: 40811 1696.42/1712.21 c #Conflicts: 886000 | #Constraints: 41811 1696.42/1712.21 c #Conflicts: 887000 | #Constraints: 42811 1696.42/1712.21 c #Conflicts: 888000 | #Constraints: 43811 1696.42/1712.21 c #Conflicts: 889000 | #Constraints: 44811 1696.42/1712.21 c #Conflicts: 890000 | #Constraints: 45811 1696.42/1712.21 c #Conflicts: 891000 | #Constraints: 46811 1696.42/1712.21 c #Conflicts: 892000 | #Constraints: 47811 1696.42/1712.21 c #Conflicts: 893000 | #Constraints: 48811 1696.42/1712.21 c #Conflicts: 894000 | #Constraints: 49811 1696.42/1712.21 c #Conflicts: 895000 | #Constraints: 50811 1696.42/1712.21 c #Conflicts: 896000 | #Constraints: 51811 1696.42/1712.21 c #Conflicts: 897000 | #Constraints: 52811 1696.42/1712.21 c #Conflicts: 898000 | #Constraints: 53812 1696.42/1712.21 c #Conflicts: 899000 | #Constraints: 54812 1696.42/1712.21 c #Conflicts: 900000 | #Constraints: 55812 1696.42/1712.21 c #Conflicts: 901000 | #Constraints: 56812 1696.42/1712.21 c #Conflicts: 902000 | #Constraints: 57812 1696.42/1712.21 c #Conflicts: 903000 | #Constraints: 58812 1696.42/1712.21 c #Conflicts: 904000 | #Constraints: 59812 1696.42/1712.21 c #Conflicts: 905000 | #Constraints: 60812 1696.42/1712.21 c #Conflicts: 906000 | #Constraints: 61812 1696.42/1712.21 c #Conflicts: 907000 | #Constraints: 62812 1696.42/1712.21 c #Conflicts: 908000 | #Constraints: 63812 1696.42/1712.21 c #Conflicts: 909000 | #Constraints: 64812 1696.42/1712.21 c #Conflicts: 910000 | #Constraints: 65812 1696.42/1712.21 c #Conflicts: 911000 | #Constraints: 66812 1696.42/1712.21 c #Conflicts: 912000 | #Constraints: 67812 1696.42/1712.21 c #Conflicts: 913000 | #Constraints: 68812 1696.42/1712.21 c #Conflicts: 914000 | #Constraints: 69812 1696.42/1712.21 c #Conflicts: 915000 | #Constraints: 70813 1696.42/1712.21 c #Conflicts: 916000 | #Constraints: 71813 1696.42/1712.21 c #Conflicts: 917000 | #Constraints: 72813 1696.42/1712.21 c #Conflicts: 918000 | #Constraints: 73813 1696.42/1712.21 c #Conflicts: 919000 | #Constraints: 74813 1696.42/1712.21 c #Conflicts: 920000 | #Constraints: 75813 1696.42/1712.21 c #Conflicts: 921000 | #Constraints: 76813 1696.42/1712.21 c #Conflicts: 922000 | #Constraints: 77813 1696.42/1712.21 c #Conflicts: 923000 | #Constraints: 78813 1696.42/1712.21 c #Conflicts: 924000 | #Constraints: 79813 1696.42/1712.21 c #Conflicts: 925000 | #Constraints: 80813 1696.42/1712.21 c #Conflicts: 926000 | #Constraints: 81814 1696.42/1712.21 c #Conflicts: 927000 | #Constraints: 82814 1696.42/1712.21 c #Conflicts: 928000 | #Constraints: 83815 1696.42/1712.21 c #Conflicts: 929000 | #Constraints: 84815 1696.42/1712.21 c #Conflicts: 930000 | #Constraints: 85815 1696.42/1712.21 c #Conflicts: 931000 | #Constraints: 86815 1696.42/1712.21 c #Conflicts: 932000 | #Constraints: 87815 1696.42/1712.21 c #Conflicts: 933000 | #Constraints: 88815 1696.42/1712.21 c #Conflicts: 934000 | #Constraints: 89815 1696.42/1712.21 c #Conflicts: 935000 | #Constraints: 90815 1696.42/1712.21 c #Conflicts: 936000 | #Constraints: 91815 1696.42/1712.21 c #Conflicts: 937000 | #Constraints: 92815 1696.42/1712.21 c #Conflicts: 938000 | #Constraints: 93815 1696.42/1712.21 c #Conflicts: 939000 | #Constraints: 94816 1696.42/1712.21 c #Conflicts: 940000 | #Constraints: 95816 1696.42/1712.21 c #Conflicts: 941000 | #Constraints: 96816 1696.42/1712.21 c #Conflicts: 942000 | #Constraints: 97816 1696.42/1712.21 c #Conflicts: 943000 | #Constraints: 98816 1696.42/1712.21 c #Conflicts: 944000 | #Constraints: 99816 1696.42/1712.21 c #Conflicts: 945000 | #Constraints: 100816 1696.42/1712.21 c #Conflicts: 946000 | #Constraints: 101816 1696.42/1712.21 c #Conflicts: 947000 | #Constraints: 102816 1696.42/1712.21 c #Conflicts: 948000 | #Constraints: 103816 1696.42/1712.21 c INPROCESSING 1696.42/1712.21 c GARBAGE COLLECT 1696.42/1712.21 c rational objective 83 1743.89/1759.86 c #Conflicts: 949000 | #Constraints: 55916 1743.89/1759.86 c #Conflicts: 950000 | #Constraints: 56917 1743.89/1759.86 c #Conflicts: 951000 | #Constraints: 57918 1743.89/1759.86 c #Conflicts: 952000 | #Constraints: 58919 1743.89/1759.86 c #Conflicts: 953000 | #Constraints: 59921 1743.89/1759.86 c #Conflicts: 954000 | #Constraints: 60922 1743.89/1759.86 c #Conflicts: 955000 | #Constraints: 61922 1743.89/1759.86 c #Conflicts: 956000 | #Constraints: 62923 1743.89/1759.86 c #Conflicts: 957000 | #Constraints: 63923 1743.89/1759.86 c #Conflicts: 958000 | #Constraints: 64923 1743.89/1759.86 c #Conflicts: 959000 | #Constraints: 65923 1743.89/1759.86 c #Conflicts: 960000 | #Constraints: 66923 1743.89/1759.86 c #Conflicts: 961000 | #Constraints: 67923 1743.89/1759.86 c #Conflicts: 962000 | #Constraints: 68923 1743.89/1759.86 c #Conflicts: 963000 | #Constraints: 69923 1743.89/1759.86 c #Conflicts: 964000 | #Constraints: 70923 1743.89/1759.86 c #Conflicts: 965000 | #Constraints: 71923 1743.89/1759.86 c #Conflicts: 966000 | #Constraints: 72923 1743.89/1759.86 c #Conflicts: 967000 | #Constraints: 73923 1743.89/1759.86 c #Conflicts: 968000 | #Constraints: 74923 1743.89/1759.86 c #Conflicts: 969000 | #Constraints: 75924 1743.89/1759.86 c #Conflicts: 970000 | #Constraints: 76924 1743.89/1759.86 c INPROCESSING 1743.89/1759.86 c GARBAGE COLLECT 1743.89/1759.86 c rational objective 83 1784.88/1800.90 c #Conflicts: 971000 | #Constraints: 42507 1784.88/1800.90 c #Conflicts: 972000 | #Constraints: 43507 1784.88/1800.90 c #Conflicts: 973000 | #Constraints: 44507 1784.88/1800.90 c #Conflicts: 974000 | #Constraints: 45507 1784.88/1800.90 c #Conflicts: 975000 | #Constraints: 46507 1784.88/1800.90 c #Conflicts: 976000 | #Constraints: 47507 1784.88/1800.90 c #Conflicts: 977000 | #Constraints: 48507 1784.88/1800.90 c #Conflicts: 978000 | #Constraints: 49507 1784.88/1800.90 c #Conflicts: 979000 | #Constraints: 50507 1784.88/1800.90 c #Conflicts: 980000 | #Constraints: 51507 1784.88/1800.90 c #Conflicts: 981000 | #Constraints: 52507 1784.88/1800.90 c #Conflicts: 982000 | #Constraints: 53507 1784.88/1800.90 c #Conflicts: 983000 | #Constraints: 54507 1784.88/1800.90 c #Conflicts: 984000 | #Constraints: 55507 1784.88/1800.90 c #Conflicts: 985000 | #Constraints: 56508 1784.88/1800.90 c #Conflicts: 986000 | #Constraints: 57508 1784.88/1800.90 c #Conflicts: 987000 | #Constraints: 58508 1784.88/1800.90 c #Conflicts: 988000 | #Constraints: 59508 1784.88/1800.90 c #Conflicts: 989000 | #Constraints: 60508 1784.88/1800.90 c #Conflicts: 990000 | #Constraints: 61508 1784.88/1800.90 c #Conflicts: 991000 | #Constraints: 62508 1784.88/1800.90 c #Conflicts: 992000 | #Constraints: 63508 1784.88/1800.90 c INPROCESSING 1784.88/1800.90 c GARBAGE COLLECT 1784.88/1800.90 c rational objective 83 1824.47/1840.64 c #Conflicts: 993000 | #Constraints: 36014 1824.47/1840.64 c #Conflicts: 994000 | #Constraints: 37014 1824.47/1840.64 c #Conflicts: 995000 | #Constraints: 38014 1824.47/1840.64 c #Conflicts: 996000 | #Constraints: 39014 1824.47/1840.64 c #Conflicts: 997000 | #Constraints: 40014 1824.47/1840.64 c #Conflicts: 998000 | #Constraints: 41014 1824.47/1840.64 c #Conflicts: 999000 | #Constraints: 42014 1824.47/1840.64 c #Conflicts: 1000000 | #Constraints: 43014 1824.47/1840.64 c #Conflicts: 1001000 | #Constraints: 44014 1824.47/1840.64 c #Conflicts: 1002000 | #Constraints: 45015 1824.47/1840.64 c #Conflicts: 1003000 | #Constraints: 46015 1824.47/1840.64 c #Conflicts: 1004000 | #Constraints: 47015 1824.47/1840.64 c #Conflicts: 1005000 | #Constraints: 48015 1824.47/1840.64 c #Conflicts: 1006000 | #Constraints: 49018 1824.47/1840.64 c #Conflicts: 1007000 | #Constraints: 50018 1824.47/1840.64 c #Conflicts: 1008000 | #Constraints: 51018 1824.47/1840.64 c #Conflicts: 1009000 | #Constraints: 52018 1824.47/1840.64 c #Conflicts: 1010000 | #Constraints: 53018 1824.47/1840.64 c #Conflicts: 1011000 | #Constraints: 54018 1824.47/1840.64 c #Conflicts: 1012000 | #Constraints: 55019 1824.47/1840.64 c #Conflicts: 1013000 | #Constraints: 56019 1824.47/1840.64 c #Conflicts: 1014000 | #Constraints: 57019 1824.47/1840.64 c INPROCESSING 1824.47/1840.64 c GARBAGE COLLECT 1824.47/1840.64 c rational objective 83 1857.98/1874.26 c #Conflicts: 1015000 | #Constraints: 32835 1857.98/1874.26 c #Conflicts: 1016000 | #Constraints: 33835 1857.98/1874.26 c #Conflicts: 1017000 | #Constraints: 34835 1857.98/1874.26 c #Conflicts: 1018000 | #Constraints: 35835 1857.98/1874.26 c #Conflicts: 1019000 | #Constraints: 36835 1857.98/1874.26 c #Conflicts: 1020000 | #Constraints: 37835 1857.98/1874.26 c #Conflicts: 1021000 | #Constraints: 38835 1857.98/1874.26 c #Conflicts: 1022000 | #Constraints: 39835 1857.98/1874.26 c #Conflicts: 1023000 | #Constraints: 40835 1857.98/1874.26 c #Conflicts: 1024000 | #Constraints: 41835 1857.98/1874.26 c #Conflicts: 1025000 | #Constraints: 42836 1857.98/1874.26 c #Conflicts: 1026000 | #Constraints: 43836 1857.98/1874.26 c #Conflicts: 1027000 | #Constraints: 44836 1857.98/1874.26 c #Conflicts: 1028000 | #Constraints: 45836 1857.98/1874.26 c #Conflicts: 1029000 | #Constraints: 46836 1857.98/1874.26 c #Conflicts: 1030000 | #Constraints: 47836 1857.98/1874.26 c #Conflicts: 1031000 | #Constraints: 48836 1857.98/1874.26 c #Conflicts: 1032000 | #Constraints: 49836 1857.98/1874.26 c #Conflicts: 1033000 | #Constraints: 50836 1857.98/1874.26 c #Conflicts: 1034000 | #Constraints: 51836 1857.98/1874.26 c #Conflicts: 1035000 | #Constraints: 52836 1857.98/1874.26 c #Conflicts: 1036000 | #Constraints: 53836 1857.98/1874.26 c INPROCESSING 1857.98/1874.26 c GARBAGE COLLECT 1857.98/1874.26 c rational objective 83 2073.69/2090.52 c #Conflicts: 1037000 | #Constraints: 31080 2073.69/2090.52 c #Conflicts: 1038000 | #Constraints: 32080 2073.69/2090.52 c #Conflicts: 1039000 | #Constraints: 33080 2073.69/2090.52 c #Conflicts: 1040000 | #Constraints: 34081 2073.69/2090.52 c #Conflicts: 1041000 | #Constraints: 35081 2073.69/2090.52 c #Conflicts: 1042000 | #Constraints: 36081 2073.69/2090.52 c #Conflicts: 1043000 | #Constraints: 37081 2073.69/2090.52 c #Conflicts: 1044000 | #Constraints: 38081 2073.69/2090.52 c #Conflicts: 1045000 | #Constraints: 39081 2073.69/2090.52 c #Conflicts: 1046000 | #Constraints: 40081 2073.69/2090.52 c #Conflicts: 1047000 | #Constraints: 41081 2073.69/2090.52 c #Conflicts: 1048000 | #Constraints: 42081 2073.69/2090.52 c #Conflicts: 1049000 | #Constraints: 43081 2073.69/2090.52 c #Conflicts: 1050000 | #Constraints: 44081 2073.69/2090.52 c #Conflicts: 1051000 | #Constraints: 45082 2073.69/2090.52 c #Conflicts: 1052000 | #Constraints: 46082 2073.69/2090.52 c #Conflicts: 1053000 | #Constraints: 47082 2073.69/2090.52 c #Conflicts: 1054000 | #Constraints: 48082 2073.69/2090.52 c #Conflicts: 1055000 | #Constraints: 49082 2073.69/2090.52 c #Conflicts: 1056000 | #Constraints: 50084 2073.69/2090.52 c #Conflicts: 1057000 | #Constraints: 51084 2073.69/2090.52 c #Conflicts: 1058000 | #Constraints: 52084 2073.69/2090.52 c #Conflicts: 1059000 | #Constraints: 53084 2073.69/2090.52 c #Conflicts: 1060000 | #Constraints: 54084 2073.69/2090.52 c #Conflicts: 1061000 | #Constraints: 55084 2073.69/2090.52 c #Conflicts: 1062000 | #Constraints: 56084 2073.69/2090.52 c #Conflicts: 1063000 | #Constraints: 57084 2073.69/2090.52 c #Conflicts: 1064000 | #Constraints: 58084 2073.69/2090.52 c #Conflicts: 1065000 | #Constraints: 59084 2073.69/2090.52 c #Conflicts: 1066000 | #Constraints: 60084 2073.69/2090.52 c #Conflicts: 1067000 | #Constraints: 61084 2073.69/2090.52 c #Conflicts: 1068000 | #Constraints: 62085 2073.69/2090.52 c #Conflicts: 1069000 | #Constraints: 63085 2073.69/2090.52 c #Conflicts: 1070000 | #Constraints: 64085 2073.69/2090.52 c #Conflicts: 1071000 | #Constraints: 65085 2073.69/2090.52 c #Conflicts: 1072000 | #Constraints: 66085 2073.69/2090.52 c #Conflicts: 1073000 | #Constraints: 67085 2073.69/2090.52 c #Conflicts: 1074000 | #Constraints: 68085 2073.69/2090.52 c #Conflicts: 1075000 | #Constraints: 69085 2073.69/2090.52 c #Conflicts: 1076000 | #Constraints: 70085 2073.69/2090.52 c #Conflicts: 1077000 | #Constraints: 71085 2073.69/2090.52 c #Conflicts: 1078000 | #Constraints: 72085 2073.69/2090.52 c #Conflicts: 1079000 | #Constraints: 73085 2073.69/2090.52 c #Conflicts: 1080000 | #Constraints: 74085 2073.69/2090.52 c #Conflicts: 1081000 | #Constraints: 75085 2073.69/2090.52 c #Conflicts: 1082000 | #Constraints: 76085 2073.69/2090.52 c #Conflicts: 1083000 | #Constraints: 77085 2073.69/2090.52 c #Conflicts: 1084000 | #Constraints: 78085 2073.69/2090.52 c #Conflicts: 1085000 | #Constraints: 79085 2073.69/2090.52 c #Conflicts: 1086000 | #Constraints: 80085 2073.69/2090.52 c #Conflicts: 1087000 | #Constraints: 81085 2073.69/2090.52 c #Conflicts: 1088000 | #Constraints: 82085 2073.69/2090.52 c #Conflicts: 1089000 | #Constraints: 83085 2073.69/2090.52 c #Conflicts: 1090000 | #Constraints: 84085 2073.69/2090.52 c #Conflicts: 1091000 | #Constraints: 85086 2073.69/2090.52 c #Conflicts: 1092000 | #Constraints: 86086 2073.69/2090.52 c #Conflicts: 1093000 | #Constraints: 87086 2073.69/2090.52 c #Conflicts: 1094000 | #Constraints: 88086 2073.69/2090.52 c #Conflicts: 1095000 | #Constraints: 89086 2073.69/2090.52 c #Conflicts: 1096000 | #Constraints: 90086 2073.69/2090.52 c #Conflicts: 1097000 | #Constraints: 91086 2073.69/2090.52 c #Conflicts: 1098000 | #Constraints: 92086 2073.69/2090.52 c #Conflicts: 1099000 | #Constraints: 93086 2073.69/2090.52 c #Conflicts: 1100000 | #Constraints: 94086 2073.69/2090.52 c #Conflicts: 1101000 | #Constraints: 95086 2073.69/2090.52 c #Conflicts: 1102000 | #Constraints: 96086 2073.69/2090.52 c #Conflicts: 1103000 | #Constraints: 97086 2073.69/2090.52 c #Conflicts: 1104000 | #Constraints: 98086 2073.69/2090.52 c #Conflicts: 1105000 | #Constraints: 99086 2073.69/2090.52 c #Conflicts: 1106000 | #Constraints: 100086 2073.69/2090.52 c #Conflicts: 1107000 | #Constraints: 101086 2073.69/2090.52 c #Conflicts: 1108000 | #Constraints: 102086 2073.69/2090.52 c #Conflicts: 1109000 | #Constraints: 103086 2073.69/2090.52 c #Conflicts: 1110000 | #Constraints: 104086 2073.69/2090.52 c #Conflicts: 1111000 | #Constraints: 105086 2073.69/2090.52 c #Conflicts: 1112000 | #Constraints: 106086 2073.69/2090.52 c #Conflicts: 1113000 | #Constraints: 107086 2073.69/2090.52 c #Conflicts: 1114000 | #Constraints: 108086 2073.69/2090.52 c #Conflicts: 1115000 | #Constraints: 109086 2089.35/2106.23 c #Conflicts: 1116000 | #Constraints: 110086 2089.35/2106.23 c #Conflicts: 1117000 | #Constraints: 111086 2089.35/2106.23 c #Conflicts: 1118000 | #Constraints: 112086 2089.35/2106.23 c INPROCESSING 2089.35/2106.23 c GARBAGE COLLECT 2089.35/2106.23 c rational objective 83 2147.69/2164.76 c #Conflicts: 1119000 | #Constraints: 59772 2147.69/2164.76 c #Conflicts: 1120000 | #Constraints: 60772 2147.69/2164.76 c #Conflicts: 1121000 | #Constraints: 61773 2147.69/2164.76 c #Conflicts: 1122000 | #Constraints: 62773 2147.69/2164.76 c #Conflicts: 1123000 | #Constraints: 63773 2147.69/2164.76 c #Conflicts: 1124000 | #Constraints: 64773 2147.69/2164.76 c #Conflicts: 1125000 | #Constraints: 65773 2147.69/2164.76 c #Conflicts: 1126000 | #Constraints: 66773 2147.69/2164.76 c #Conflicts: 1127000 | #Constraints: 67773 2147.69/2164.76 c #Conflicts: 1128000 | #Constraints: 68773 2147.69/2164.76 c #Conflicts: 1129000 | #Constraints: 69773 2147.69/2164.76 c #Conflicts: 1130000 | #Constraints: 70774 2147.69/2164.76 c #Conflicts: 1131000 | #Constraints: 71774 2147.69/2164.76 c #Conflicts: 1132000 | #Constraints: 72774 2147.69/2164.76 c #Conflicts: 1133000 | #Constraints: 73775 2147.69/2164.76 c #Conflicts: 1134000 | #Constraints: 74775 2147.69/2164.76 c #Conflicts: 1135000 | #Constraints: 75775 2147.69/2164.76 c #Conflicts: 1136000 | #Constraints: 76775 2147.69/2164.76 c #Conflicts: 1137000 | #Constraints: 77775 2147.69/2164.76 c #Conflicts: 1138000 | #Constraints: 78775 2147.69/2164.76 c #Conflicts: 1139000 | #Constraints: 79775 2147.69/2164.76 c #Conflicts: 1140000 | #Constraints: 80775 2147.69/2164.76 c #Conflicts: 1141000 | #Constraints: 81775 2147.69/2164.76 c #Conflicts: 1142000 | #Constraints: 82775 2147.69/2164.76 c INPROCESSING 2147.69/2164.76 c GARBAGE COLLECT 2147.69/2164.76 c rational objective 83 2186.90/2204.02 c #Conflicts: 1143000 | #Constraints: 45433 2186.90/2204.02 c #Conflicts: 1144000 | #Constraints: 46433 2186.90/2204.02 c #Conflicts: 1145000 | #Constraints: 47433 2186.90/2204.02 c #Conflicts: 1146000 | #Constraints: 48433 2186.90/2204.02 c #Conflicts: 1147000 | #Constraints: 49433 2186.90/2204.02 c #Conflicts: 1148000 | #Constraints: 50433 2186.90/2204.02 c #Conflicts: 1149000 | #Constraints: 51433 2186.90/2204.02 c #Conflicts: 1150000 | #Constraints: 52433 2186.90/2204.02 c #Conflicts: 1151000 | #Constraints: 53433 2186.90/2204.02 c #Conflicts: 1152000 | #Constraints: 54433 2186.90/2204.02 c #Conflicts: 1153000 | #Constraints: 55434 2186.90/2204.02 c #Conflicts: 1154000 | #Constraints: 56434 2186.90/2204.02 c #Conflicts: 1155000 | #Constraints: 57434 2186.90/2204.02 c #Conflicts: 1156000 | #Constraints: 58434 2186.90/2204.02 c #Conflicts: 1157000 | #Constraints: 59434 2186.90/2204.02 c #Conflicts: 1158000 | #Constraints: 60434 2186.90/2204.02 c #Conflicts: 1159000 | #Constraints: 61434 2186.90/2204.02 c #Conflicts: 1160000 | #Constraints: 62434 2186.90/2204.02 c #Conflicts: 1161000 | #Constraints: 63434 2186.90/2204.02 c #Conflicts: 1162000 | #Constraints: 64434 2186.90/2204.02 c #Conflicts: 1163000 | #Constraints: 65434 2186.90/2204.02 c #Conflicts: 1164000 | #Constraints: 66434 2186.90/2204.02 c #Conflicts: 1165000 | #Constraints: 67434 2186.90/2204.02 c #Conflicts: 1166000 | #Constraints: 68434 2186.90/2204.02 c INPROCESSING 2186.90/2204.02 c GARBAGE COLLECT 2186.90/2204.02 c rational objective 83 2227.57/2244.86 c #Conflicts: 1167000 | #Constraints: 38386 2227.57/2244.86 c #Conflicts: 1168000 | #Constraints: 39386 2227.57/2244.86 c #Conflicts: 1169000 | #Constraints: 40386 2227.57/2244.86 c #Conflicts: 1170000 | #Constraints: 41386 2227.57/2244.86 c #Conflicts: 1171000 | #Constraints: 42386 2227.57/2244.86 c #Conflicts: 1172000 | #Constraints: 43386 2227.57/2244.86 c #Conflicts: 1173000 | #Constraints: 44386 2227.57/2244.86 c #Conflicts: 1174000 | #Constraints: 45386 2227.57/2244.86 c #Conflicts: 1175000 | #Constraints: 46386 2227.57/2244.86 c #Conflicts: 1176000 | #Constraints: 47386 2227.57/2244.86 c #Conflicts: 1177000 | #Constraints: 48386 2227.57/2244.86 c #Conflicts: 1178000 | #Constraints: 49386 2227.57/2244.86 c #Conflicts: 1179000 | #Constraints: 50386 2227.57/2244.86 c #Conflicts: 1180000 | #Constraints: 51386 2227.57/2244.86 c #Conflicts: 1181000 | #Constraints: 52386 2227.57/2244.86 c #Conflicts: 1182000 | #Constraints: 53386 2227.57/2244.86 c #Conflicts: 1183000 | #Constraints: 54386 2227.57/2244.86 c #Conflicts: 1184000 | #Constraints: 55386 2227.57/2244.86 c #Conflicts: 1185000 | #Constraints: 56386 2227.57/2244.86 c #Conflicts: 1186000 | #Constraints: 57386 2227.57/2244.86 c #Conflicts: 1187000 | #Constraints: 58386 2227.57/2244.86 c #Conflicts: 1188000 | #Constraints: 59386 2227.57/2244.86 c #Conflicts: 1189000 | #Constraints: 60386 2227.57/2244.86 c #Conflicts: 1190000 | #Constraints: 61386 2227.57/2244.86 c INPROCESSING 2227.57/2244.86 c GARBAGE COLLECT 2227.57/2244.86 c rational objective 83 2271.16/2288.54 c #Conflicts: 1191000 | #Constraints: 34942 2271.16/2288.54 c #Conflicts: 1192000 | #Constraints: 35943 2271.16/2288.54 c #Conflicts: 1193000 | #Constraints: 36943 2271.16/2288.54 c #Conflicts: 1194000 | #Constraints: 37943 2271.16/2288.54 c #Conflicts: 1195000 | #Constraints: 38944 2271.16/2288.54 c #Conflicts: 1196000 | #Constraints: 39944 2271.16/2288.54 c #Conflicts: 1197000 | #Constraints: 40944 2271.16/2288.54 c #Conflicts: 1198000 | #Constraints: 41944 2271.16/2288.54 c #Conflicts: 1199000 | #Constraints: 42944 2271.16/2288.54 c #Conflicts: 1200000 | #Constraints: 43944 2271.16/2288.54 c #Conflicts: 1201000 | #Constraints: 44944 2271.16/2288.54 c #Conflicts: 1202000 | #Constraints: 45944 2271.16/2288.54 c #Conflicts: 1203000 | #Constraints: 46944 2271.16/2288.54 c #Conflicts: 1204000 | #Constraints: 47944 2271.16/2288.54 c #Conflicts: 1205000 | #Constraints: 48944 2271.16/2288.54 c #Conflicts: 1206000 | #Constraints: 49944 2271.16/2288.54 c #Conflicts: 1207000 | #Constraints: 50945 2271.16/2288.54 c #Conflicts: 1208000 | #Constraints: 51945 2271.16/2288.54 c #Conflicts: 1209000 | #Constraints: 52945 2271.16/2288.54 c #Conflicts: 1210000 | #Constraints: 53945 2271.16/2288.54 c #Conflicts: 1211000 | #Constraints: 54945 2271.16/2288.54 c #Conflicts: 1212000 | #Constraints: 55945 2271.16/2288.54 c #Conflicts: 1213000 | #Constraints: 56945 2271.16/2288.54 c #Conflicts: 1214000 | #Constraints: 57945 2271.16/2288.54 c INPROCESSING 2271.16/2288.54 c GARBAGE COLLECT 2271.16/2288.54 c rational objective 83 2497.83/2515.84 c #Conflicts: 1215000 | #Constraints: 33210 2497.83/2515.84 c #Conflicts: 1216000 | #Constraints: 34210 2497.83/2515.84 c #Conflicts: 1217000 | #Constraints: 35210 2497.83/2515.84 c #Conflicts: 1218000 | #Constraints: 36210 2497.83/2515.84 c #Conflicts: 1219000 | #Constraints: 37210 2497.83/2515.84 c #Conflicts: 1220000 | #Constraints: 38210 2497.83/2515.84 c #Conflicts: 1221000 | #Constraints: 39210 2497.83/2515.84 c #Conflicts: 1222000 | #Constraints: 40210 2497.83/2515.84 c #Conflicts: 1223000 | #Constraints: 41210 2497.83/2515.84 c #Conflicts: 1224000 | #Constraints: 42210 2497.83/2515.84 c #Conflicts: 1225000 | #Constraints: 43210 2497.83/2515.84 c #Conflicts: 1226000 | #Constraints: 44210 2497.83/2515.84 c #Conflicts: 1227000 | #Constraints: 45210 2497.83/2515.84 c #Conflicts: 1228000 | #Constraints: 46210 2497.83/2515.84 c #Conflicts: 1229000 | #Constraints: 47210 2497.83/2515.84 c #Conflicts: 1230000 | #Constraints: 48210 2497.83/2515.84 c #Conflicts: 1231000 | #Constraints: 49210 2497.83/2515.84 c #Conflicts: 1232000 | #Constraints: 50210 2497.83/2515.84 c #Conflicts: 1233000 | #Constraints: 51210 2497.83/2515.84 c #Conflicts: 1234000 | #Constraints: 52210 2497.83/2515.84 c #Conflicts: 1235000 | #Constraints: 53210 2497.83/2515.84 c #Conflicts: 1236000 | #Constraints: 54210 2497.83/2515.84 c #Conflicts: 1237000 | #Constraints: 55210 2497.83/2515.84 c #Conflicts: 1238000 | #Constraints: 56210 2497.83/2515.84 c #Conflicts: 1239000 | #Constraints: 57211 2497.83/2515.84 c #Conflicts: 1240000 | #Constraints: 58211 2497.83/2515.84 c #Conflicts: 1241000 | #Constraints: 59211 2497.83/2515.84 c #Conflicts: 1242000 | #Constraints: 60211 2497.83/2515.84 c #Conflicts: 1243000 | #Constraints: 61211 2497.83/2515.84 c #Conflicts: 1244000 | #Constraints: 62211 2497.83/2515.84 c #Conflicts: 1245000 | #Constraints: 63211 2497.83/2515.84 c #Conflicts: 1246000 | #Constraints: 64211 2497.83/2515.84 c #Conflicts: 1247000 | #Constraints: 65212 2497.83/2515.84 c #Conflicts: 1248000 | #Constraints: 66212 2497.83/2515.84 c #Conflicts: 1249000 | #Constraints: 67212 2497.83/2515.84 c #Conflicts: 1250000 | #Constraints: 68212 2497.83/2515.84 c #Conflicts: 1251000 | #Constraints: 69212 2497.83/2515.84 c #Conflicts: 1252000 | #Constraints: 70212 2497.83/2515.84 c #Conflicts: 1253000 | #Constraints: 71212 2497.83/2515.84 c #Conflicts: 1254000 | #Constraints: 72212 2497.83/2515.84 c #Conflicts: 1255000 | #Constraints: 73212 2497.83/2515.84 c #Conflicts: 1256000 | #Constraints: 74212 2497.83/2515.84 c #Conflicts: 1257000 | #Constraints: 75212 2497.83/2515.84 c #Conflicts: 1258000 | #Constraints: 76212 2497.83/2515.84 c #Conflicts: 1259000 | #Constraints: 77212 2497.83/2515.84 c #Conflicts: 1260000 | #Constraints: 78213 2497.83/2515.84 c #Conflicts: 1261000 | #Constraints: 79213 2497.83/2515.84 c #Conflicts: 1262000 | #Constraints: 80213 2497.83/2515.84 c #Conflicts: 1263000 | #Constraints: 81213 2497.83/2515.84 c #Conflicts: 1264000 | #Constraints: 82213 2497.83/2515.84 c #Conflicts: 1265000 | #Constraints: 83213 2497.83/2515.84 c #Conflicts: 1266000 | #Constraints: 84213 2497.83/2515.84 c #Conflicts: 1267000 | #Constraints: 85213 2497.83/2515.84 c #Conflicts: 1268000 | #Constraints: 86213 2497.83/2515.84 c #Conflicts: 1269000 | #Constraints: 87213 2497.83/2515.84 c #Conflicts: 1270000 | #Constraints: 88213 2497.83/2515.84 c #Conflicts: 1271000 | #Constraints: 89213 2497.83/2515.84 c #Conflicts: 1272000 | #Constraints: 90214 2497.83/2515.84 c #Conflicts: 1273000 | #Constraints: 91214 2497.83/2515.84 c #Conflicts: 1274000 | #Constraints: 92214 2497.83/2515.84 c #Conflicts: 1275000 | #Constraints: 93214 2497.83/2515.84 c #Conflicts: 1276000 | #Constraints: 94214 2497.83/2515.84 c #Conflicts: 1277000 | #Constraints: 95214 2497.83/2515.84 c #Conflicts: 1278000 | #Constraints: 96215 2497.83/2515.84 c #Conflicts: 1279000 | #Constraints: 97215 2497.83/2515.84 c #Conflicts: 1280000 | #Constraints: 98215 2497.83/2515.84 c #Conflicts: 1281000 | #Constraints: 99215 2497.83/2515.84 c #Conflicts: 1282000 | #Constraints: 100215 2497.83/2515.84 c #Conflicts: 1283000 | #Constraints: 101215 2497.83/2515.84 c #Conflicts: 1284000 | #Constraints: 102215 2497.83/2515.84 c #Conflicts: 1285000 | #Constraints: 103215 2497.83/2515.84 c #Conflicts: 1286000 | #Constraints: 104215 2497.83/2515.84 c #Conflicts: 1287000 | #Constraints: 105215 2497.83/2515.84 c #Conflicts: 1288000 | #Constraints: 106216 2497.83/2515.84 c #Conflicts: 1289000 | #Constraints: 107216 2497.83/2515.84 c #Conflicts: 1290000 | #Constraints: 108216 2497.83/2515.84 c #Conflicts: 1291000 | #Constraints: 109216 2497.83/2515.84 c #Conflicts: 1292000 | #Constraints: 110216 2497.83/2515.84 c #Conflicts: 1293000 | #Constraints: 111216 2552.07/2570.20 c #Conflicts: 1294000 | #Constraints: 112216 2552.07/2570.20 c #Conflicts: 1295000 | #Constraints: 113216 2552.07/2570.20 c #Conflicts: 1296000 | #Constraints: 114216 2552.07/2570.20 c #Conflicts: 1297000 | #Constraints: 115216 2552.07/2570.20 c #Conflicts: 1298000 | #Constraints: 116216 2552.07/2570.20 c #Conflicts: 1299000 | #Constraints: 117216 2552.07/2570.20 c #Conflicts: 1300000 | #Constraints: 118216 2552.07/2570.20 c #Conflicts: 1301000 | #Constraints: 119216 2552.07/2570.20 c #Conflicts: 1302000 | #Constraints: 120216 2552.07/2570.20 c #Conflicts: 1303000 | #Constraints: 121216 2552.07/2570.20 c INPROCESSING 2552.07/2570.20 c GARBAGE COLLECT 2552.07/2570.20 c rational objective 83 2605.39/2623.77 c #Conflicts: 1304000 | #Constraints: 64784 2605.39/2623.77 c #Conflicts: 1305000 | #Constraints: 65784 2605.39/2623.77 c #Conflicts: 1306000 | #Constraints: 66784 2605.39/2623.77 c #Conflicts: 1307000 | #Constraints: 67784 2605.39/2623.77 c #Conflicts: 1308000 | #Constraints: 68784 2605.39/2623.77 c #Conflicts: 1309000 | #Constraints: 69784 2605.39/2623.77 c #Conflicts: 1310000 | #Constraints: 70785 2605.39/2623.77 c #Conflicts: 1311000 | #Constraints: 71785 2605.39/2623.77 c #Conflicts: 1312000 | #Constraints: 72785 2605.39/2623.77 c #Conflicts: 1313000 | #Constraints: 73785 2605.39/2623.77 c #Conflicts: 1314000 | #Constraints: 74785 2605.39/2623.77 c #Conflicts: 1315000 | #Constraints: 75786 2605.39/2623.77 c #Conflicts: 1316000 | #Constraints: 76786 2605.39/2623.77 c #Conflicts: 1317000 | #Constraints: 77786 2605.39/2623.77 c #Conflicts: 1318000 | #Constraints: 78786 2605.39/2623.77 c #Conflicts: 1319000 | #Constraints: 79786 2605.39/2623.77 c #Conflicts: 1320000 | #Constraints: 80786 2605.39/2623.77 c #Conflicts: 1321000 | #Constraints: 81786 2605.39/2623.77 c #Conflicts: 1322000 | #Constraints: 82786 2605.39/2623.77 c #Conflicts: 1323000 | #Constraints: 83787 2605.39/2623.77 c #Conflicts: 1324000 | #Constraints: 84787 2605.39/2623.77 c #Conflicts: 1325000 | #Constraints: 85787 2605.39/2623.77 c #Conflicts: 1326000 | #Constraints: 86787 2605.39/2623.77 c #Conflicts: 1327000 | #Constraints: 87787 2605.39/2623.77 c #Conflicts: 1328000 | #Constraints: 88787 2605.39/2623.77 c INPROCESSING 2605.39/2623.77 c GARBAGE COLLECT 2605.39/2623.77 c rational objective 83 2654.43/2672.98 c #Conflicts: 1329000 | #Constraints: 48289 2654.43/2672.98 c #Conflicts: 1330000 | #Constraints: 49289 2654.43/2672.98 c #Conflicts: 1331000 | #Constraints: 50289 2654.43/2672.98 c #Conflicts: 1332000 | #Constraints: 51289 2654.43/2672.98 c #Conflicts: 1333000 | #Constraints: 52289 2654.43/2672.98 c #Conflicts: 1334000 | #Constraints: 53289 2654.43/2672.98 c #Conflicts: 1335000 | #Constraints: 54290 2654.43/2672.98 c #Conflicts: 1336000 | #Constraints: 55290 2654.43/2672.98 c #Conflicts: 1337000 | #Constraints: 56290 2654.43/2672.98 c #Conflicts: 1338000 | #Constraints: 57290 2654.43/2672.98 c #Conflicts: 1339000 | #Constraints: 58290 2654.43/2672.98 c #Conflicts: 1340000 | #Constraints: 59290 2654.43/2672.98 c #Conflicts: 1341000 | #Constraints: 60290 2654.43/2672.98 c #Conflicts: 1342000 | #Constraints: 61290 2654.43/2672.98 c #Conflicts: 1343000 | #Constraints: 62290 2654.43/2672.98 c #Conflicts: 1344000 | #Constraints: 63290 2654.43/2672.98 c #Conflicts: 1345000 | #Constraints: 64290 2654.43/2672.98 c #Conflicts: 1346000 | #Constraints: 65290 2654.43/2672.98 c #Conflicts: 1347000 | #Constraints: 66290 2654.43/2672.98 c #Conflicts: 1348000 | #Constraints: 67290 2654.43/2672.98 c #Conflicts: 1349000 | #Constraints: 68290 2654.43/2672.98 c #Conflicts: 1350000 | #Constraints: 69290 2654.43/2672.98 c #Conflicts: 1351000 | #Constraints: 70290 2654.43/2672.98 c #Conflicts: 1352000 | #Constraints: 71291 2654.43/2672.98 c #Conflicts: 1353000 | #Constraints: 72291 2654.43/2672.98 c #Conflicts: 1354000 | #Constraints: 73291 2654.43/2672.98 c INPROCESSING 2654.43/2672.98 c GARBAGE COLLECT 2654.43/2672.98 c rational objective 83 2702.79/2721.42 c #Conflicts: 1355000 | #Constraints: 40812 2702.79/2721.42 c #Conflicts: 1356000 | #Constraints: 41813 2702.79/2721.42 c #Conflicts: 1357000 | #Constraints: 42813 2702.79/2721.42 c #Conflicts: 1358000 | #Constraints: 43813 2702.79/2721.42 c #Conflicts: 1359000 | #Constraints: 44813 2702.79/2721.42 c #Conflicts: 1360000 | #Constraints: 45813 2702.79/2721.42 c #Conflicts: 1361000 | #Constraints: 46813 2702.79/2721.42 c #Conflicts: 1362000 | #Constraints: 47813 2702.79/2721.42 c #Conflicts: 1363000 | #Constraints: 48813 2702.79/2721.42 c #Conflicts: 1364000 | #Constraints: 49813 2702.79/2721.42 c #Conflicts: 1365000 | #Constraints: 50813 2702.79/2721.42 c #Conflicts: 1366000 | #Constraints: 51813 2702.79/2721.42 c #Conflicts: 1367000 | #Constraints: 52813 2702.79/2721.42 c #Conflicts: 1368000 | #Constraints: 53814 2702.79/2721.42 c #Conflicts: 1369000 | #Constraints: 54814 2702.79/2721.42 c #Conflicts: 1370000 | #Constraints: 55814 2702.79/2721.42 c #Conflicts: 1371000 | #Constraints: 56814 2702.79/2721.42 c #Conflicts: 1372000 | #Constraints: 57814 2702.79/2721.42 c #Conflicts: 1373000 | #Constraints: 58814 2702.79/2721.42 c #Conflicts: 1374000 | #Constraints: 59814 2702.79/2721.42 c #Conflicts: 1375000 | #Constraints: 60814 2702.79/2721.42 c #Conflicts: 1376000 | #Constraints: 61814 2702.79/2721.42 c #Conflicts: 1377000 | #Constraints: 62814 2702.79/2721.42 c #Conflicts: 1378000 | #Constraints: 63814 2702.79/2721.42 c #Conflicts: 1379000 | #Constraints: 64814 2702.79/2721.42 c #Conflicts: 1380000 | #Constraints: 65815 2702.79/2721.42 c INPROCESSING 2702.79/2721.42 c GARBAGE COLLECT 2702.79/2721.42 c rational objective 83 2739.00/2757.77 c #Conflicts: 1381000 | #Constraints: 37187 2739.00/2757.77 c #Conflicts: 1382000 | #Constraints: 38187 2739.00/2757.77 c #Conflicts: 1383000 | #Constraints: 39187 2739.00/2757.77 c #Conflicts: 1384000 | #Constraints: 40187 2739.00/2757.77 c #Conflicts: 1385000 | #Constraints: 41187 2739.00/2757.77 c #Conflicts: 1386000 | #Constraints: 42187 2739.00/2757.77 c #Conflicts: 1387000 | #Constraints: 43187 2739.00/2757.77 c #Conflicts: 1388000 | #Constraints: 44187 2739.00/2757.77 c #Conflicts: 1389000 | #Constraints: 45187 2739.00/2757.77 c #Conflicts: 1390000 | #Constraints: 46187 2739.00/2757.77 c #Conflicts: 1391000 | #Constraints: 47187 2739.00/2757.77 c #Conflicts: 1392000 | #Constraints: 48188 2739.00/2757.77 c #Conflicts: 1393000 | #Constraints: 49189 2739.00/2757.77 c #Conflicts: 1394000 | #Constraints: 50190 2739.00/2757.77 c #Conflicts: 1395000 | #Constraints: 51190 2739.00/2757.77 c #Conflicts: 1396000 | #Constraints: 52190 2739.00/2757.77 c #Conflicts: 1397000 | #Constraints: 53191 2739.00/2757.77 c #Conflicts: 1398000 | #Constraints: 54191 2739.00/2757.77 c #Conflicts: 1399000 | #Constraints: 55191 2739.00/2757.77 c #Conflicts: 1400000 | #Constraints: 56191 2739.00/2757.77 c #Conflicts: 1401000 | #Constraints: 57192 2739.00/2757.77 c #Conflicts: 1402000 | #Constraints: 58192 2739.00/2757.77 c #Conflicts: 1403000 | #Constraints: 59192 2739.00/2757.77 c #Conflicts: 1404000 | #Constraints: 60192 2739.00/2757.77 c #Conflicts: 1405000 | #Constraints: 61192 2739.00/2757.77 c #Conflicts: 1406000 | #Constraints: 62192 2739.00/2757.77 c INPROCESSING 2739.00/2757.77 c GARBAGE COLLECT 2739.00/2757.77 c rational objective 83 2916.37/2935.53 c #Conflicts: 1407000 | #Constraints: 35354 2916.37/2935.53 c #Conflicts: 1408000 | #Constraints: 36354 2916.37/2935.53 c #Conflicts: 1409000 | #Constraints: 37355 2916.37/2935.53 c #Conflicts: 1410000 | #Constraints: 38355 2916.37/2935.53 c #Conflicts: 1411000 | #Constraints: 39355 2916.37/2935.53 c #Conflicts: 1412000 | #Constraints: 40355 2916.37/2935.53 c #Conflicts: 1413000 | #Constraints: 41355 2916.37/2935.53 c #Conflicts: 1414000 | #Constraints: 42356 2916.37/2935.53 c #Conflicts: 1415000 | #Constraints: 43357 2916.37/2935.53 c #Conflicts: 1416000 | #Constraints: 44357 2916.37/2935.53 c #Conflicts: 1417000 | #Constraints: 45357 2916.37/2935.53 c #Conflicts: 1418000 | #Constraints: 46357 2916.37/2935.53 c #Conflicts: 1419000 | #Constraints: 47357 2916.37/2935.53 c #Conflicts: 1420000 | #Constraints: 48357 2916.37/2935.53 c #Conflicts: 1421000 | #Constraints: 49357 2916.37/2935.53 c #Conflicts: 1422000 | #Constraints: 50357 2916.37/2935.53 c #Conflicts: 1423000 | #Constraints: 51357 2916.37/2935.53 c #Conflicts: 1424000 | #Constraints: 52357 2916.37/2935.53 c #Conflicts: 1425000 | #Constraints: 53358 2916.37/2935.53 c #Conflicts: 1426000 | #Constraints: 54358 2916.37/2935.53 c #Conflicts: 1427000 | #Constraints: 55358 2916.37/2935.53 c #Conflicts: 1428000 | #Constraints: 56358 2916.37/2935.53 c #Conflicts: 1429000 | #Constraints: 57358 2916.37/2935.53 c #Conflicts: 1430000 | #Constraints: 58358 2916.37/2935.53 c #Conflicts: 1431000 | #Constraints: 59358 2916.37/2935.53 c #Conflicts: 1432000 | #Constraints: 60358 2916.37/2935.53 c #Conflicts: 1433000 | #Constraints: 61358 2916.37/2935.53 c #Conflicts: 1434000 | #Constraints: 62358 2916.37/2935.53 c #Conflicts: 1435000 | #Constraints: 63358 2916.37/2935.53 c #Conflicts: 1436000 | #Constraints: 64358 2916.37/2935.53 c #Conflicts: 1437000 | #Constraints: 65358 2916.37/2935.53 c #Conflicts: 1438000 | #Constraints: 66359 2916.37/2935.53 c #Conflicts: 1439000 | #Constraints: 67359 2916.37/2935.53 c #Conflicts: 1440000 | #Constraints: 68359 2916.37/2935.53 c #Conflicts: 1441000 | #Constraints: 69359 2916.37/2935.53 c #Conflicts: 1442000 | #Constraints: 70359 2916.37/2935.53 c #Conflicts: 1443000 | #Constraints: 71359 2916.37/2935.53 c #Conflicts: 1444000 | #Constraints: 72359 2916.37/2935.53 c #Conflicts: 1445000 | #Constraints: 73359 2916.37/2935.53 c #Conflicts: 1446000 | #Constraints: 74359 2916.37/2935.53 c #Conflicts: 1447000 | #Constraints: 75359 2916.37/2935.53 c #Conflicts: 1448000 | #Constraints: 76359 2916.37/2935.53 c #Conflicts: 1449000 | #Constraints: 77359 2916.37/2935.53 c #Conflicts: 1450000 | #Constraints: 78359 2916.37/2935.53 c #Conflicts: 1451000 | #Constraints: 79359 2916.37/2935.53 c #Conflicts: 1452000 | #Constraints: 80359 2916.37/2935.53 c #Conflicts: 1453000 | #Constraints: 81359 2916.37/2935.53 c #Conflicts: 1454000 | #Constraints: 82359 2916.37/2935.53 c #Conflicts: 1455000 | #Constraints: 83359 2916.37/2935.53 c #Conflicts: 1456000 | #Constraints: 84359 2916.37/2935.53 c #Conflicts: 1457000 | #Constraints: 85359 2916.37/2935.53 c #Conflicts: 1458000 | #Constraints: 86359 2916.37/2935.53 c #Conflicts: 1459000 | #Constraints: 87359 2916.37/2935.53 c #Conflicts: 1460000 | #Constraints: 88359 2916.37/2935.53 c #Conflicts: 1461000 | #Constraints: 89359 2916.37/2935.53 c #Conflicts: 1462000 | #Constraints: 90359 2916.37/2935.53 c #Conflicts: 1463000 | #Constraints: 91359 2916.37/2935.53 c #Conflicts: 1464000 | #Constraints: 92359 2916.37/2935.53 c #Conflicts: 1465000 | #Constraints: 93359 2916.37/2935.53 c #Conflicts: 1466000 | #Constraints: 94359 2916.37/2935.53 c #Conflicts: 1467000 | #Constraints: 95360 2916.37/2935.53 c #Conflicts: 1468000 | #Constraints: 96360 2916.37/2935.53 c #Conflicts: 1469000 | #Constraints: 97360 2916.37/2935.53 c #Conflicts: 1470000 | #Constraints: 98360 2916.37/2935.53 c #Conflicts: 1471000 | #Constraints: 99361 2916.37/2935.53 c #Conflicts: 1472000 | #Constraints: 100361 2916.37/2935.53 c #Conflicts: 1473000 | #Constraints: 101361 2916.37/2935.53 c #Conflicts: 1474000 | #Constraints: 102361 2916.37/2935.53 c #Conflicts: 1475000 | #Constraints: 103361 2916.37/2935.53 c #Conflicts: 1476000 | #Constraints: 104361 2916.37/2935.53 c #Conflicts: 1477000 | #Constraints: 105363 2916.37/2935.53 c #Conflicts: 1478000 | #Constraints: 106363 2916.37/2935.53 c #Conflicts: 1479000 | #Constraints: 107363 2916.37/2935.53 c #Conflicts: 1480000 | #Constraints: 108363 2916.37/2935.53 c #Conflicts: 1481000 | #Constraints: 109363 2916.37/2935.53 c #Conflicts: 1482000 | #Constraints: 110363 2916.37/2935.53 c #Conflicts: 1483000 | #Constraints: 111363 2916.37/2935.53 c #Conflicts: 1484000 | #Constraints: 112363 2916.37/2935.53 c #Conflicts: 1485000 | #Constraints: 113363 2985.51/3004.84 c #Conflicts: 1486000 | #Constraints: 114364 2985.51/3004.84 c #Conflicts: 1487000 | #Constraints: 115364 2985.51/3004.84 c #Conflicts: 1488000 | #Constraints: 116364 2985.51/3004.84 c #Conflicts: 1489000 | #Constraints: 117364 2985.51/3004.84 c #Conflicts: 1490000 | #Constraints: 118364 2985.51/3004.84 c #Conflicts: 1491000 | #Constraints: 119364 2985.51/3004.84 c #Conflicts: 1492000 | #Constraints: 120364 2985.51/3004.84 c #Conflicts: 1493000 | #Constraints: 121364 2985.51/3004.84 c #Conflicts: 1494000 | #Constraints: 122364 2985.51/3004.84 c #Conflicts: 1495000 | #Constraints: 123364 2985.51/3004.84 c #Conflicts: 1496000 | #Constraints: 124364 2985.51/3004.84 c #Conflicts: 1497000 | #Constraints: 125364 2985.51/3004.84 c #Conflicts: 1498000 | #Constraints: 126364 2985.51/3004.84 c #Conflicts: 1499000 | #Constraints: 127364 2985.51/3004.84 c #Conflicts: 1500000 | #Constraints: 128364 2985.51/3004.84 c #Conflicts: 1501000 | #Constraints: 129364 2985.51/3004.84 c INPROCESSING 2985.51/3004.84 c GARBAGE COLLECT 2985.51/3004.84 c rational objective 83 3051.25/3070.76 c #Conflicts: 1502000 | #Constraints: 68719 3051.25/3070.76 c #Conflicts: 1503000 | #Constraints: 69719 3051.25/3070.76 c #Conflicts: 1504000 | #Constraints: 70719 3051.25/3070.76 c #Conflicts: 1505000 | #Constraints: 71719 3051.25/3070.76 c #Conflicts: 1506000 | #Constraints: 72719 3051.25/3070.76 c #Conflicts: 1507000 | #Constraints: 73719 3051.25/3070.76 c #Conflicts: 1508000 | #Constraints: 74720 3051.25/3070.76 c #Conflicts: 1509000 | #Constraints: 75720 3051.25/3070.76 c #Conflicts: 1510000 | #Constraints: 76720 3051.25/3070.76 c #Conflicts: 1511000 | #Constraints: 77720 3051.25/3070.76 c #Conflicts: 1512000 | #Constraints: 78720 3051.25/3070.76 c #Conflicts: 1513000 | #Constraints: 79720 3051.25/3070.76 c #Conflicts: 1514000 | #Constraints: 80720 3051.25/3070.76 c #Conflicts: 1515000 | #Constraints: 81720 3051.25/3070.76 c #Conflicts: 1516000 | #Constraints: 82720 3051.25/3070.76 c #Conflicts: 1517000 | #Constraints: 83720 3051.25/3070.76 c #Conflicts: 1518000 | #Constraints: 84721 3051.25/3070.76 c #Conflicts: 1519000 | #Constraints: 85721 3051.25/3070.76 c #Conflicts: 1520000 | #Constraints: 86721 3051.25/3070.76 c #Conflicts: 1521000 | #Constraints: 87721 3051.25/3070.76 c #Conflicts: 1522000 | #Constraints: 88721 3051.25/3070.76 c #Conflicts: 1523000 | #Constraints: 89721 3051.25/3070.76 c #Conflicts: 1524000 | #Constraints: 90721 3051.25/3070.76 c #Conflicts: 1525000 | #Constraints: 91721 3051.25/3070.76 c #Conflicts: 1526000 | #Constraints: 92721 3051.25/3070.76 c #Conflicts: 1527000 | #Constraints: 93721 3051.25/3070.76 c #Conflicts: 1528000 | #Constraints: 94721 3051.25/3070.76 c INPROCESSING 3051.25/3070.76 c GARBAGE COLLECT 3051.25/3070.76 c rational objective 83 3108.92/3128.52 c #Conflicts: 1529000 | #Constraints: 51200 3108.92/3128.52 c #Conflicts: 1530000 | #Constraints: 52200 3108.92/3128.52 c #Conflicts: 1531000 | #Constraints: 53200 3108.92/3128.52 c #Conflicts: 1532000 | #Constraints: 54200 3108.92/3128.52 c #Conflicts: 1533000 | #Constraints: 55200 3108.92/3128.52 c #Conflicts: 1534000 | #Constraints: 56201 3108.92/3128.52 c #Conflicts: 1535000 | #Constraints: 57201 3108.92/3128.52 c #Conflicts: 1536000 | #Constraints: 58201 3108.92/3128.52 c #Conflicts: 1537000 | #Constraints: 59201 3108.92/3128.52 c #Conflicts: 1538000 | #Constraints: 60201 3108.92/3128.52 c #Conflicts: 1539000 | #Constraints: 61201 3108.92/3128.52 c #Conflicts: 1540000 | #Constraints: 62201 3108.92/3128.52 c #Conflicts: 1541000 | #Constraints: 63201 3108.92/3128.52 c #Conflicts: 1542000 | #Constraints: 64201 3108.92/3128.52 c #Conflicts: 1543000 | #Constraints: 65201 3108.92/3128.52 c #Conflicts: 1544000 | #Constraints: 66201 3108.92/3128.52 c #Conflicts: 1545000 | #Constraints: 67201 3108.92/3128.52 c #Conflicts: 1546000 | #Constraints: 68201 3108.92/3128.52 c #Conflicts: 1547000 | #Constraints: 69201 3108.92/3128.52 c #Conflicts: 1548000 | #Constraints: 70202 3108.92/3128.52 c #Conflicts: 1549000 | #Constraints: 71204 3108.92/3128.52 c #Conflicts: 1550000 | #Constraints: 72204 3108.92/3128.52 c #Conflicts: 1551000 | #Constraints: 73204 3108.92/3128.52 c #Conflicts: 1552000 | #Constraints: 74204 3108.92/3128.52 c #Conflicts: 1553000 | #Constraints: 75204 3108.92/3128.52 c #Conflicts: 1554000 | #Constraints: 76204 3108.92/3128.52 c #Conflicts: 1555000 | #Constraints: 77205 3108.92/3128.52 c #Conflicts: 1556000 | #Constraints: 78205 3108.92/3128.52 c INPROCESSING 3108.92/3128.52 c GARBAGE COLLECT 3108.92/3128.52 c rational objective 83 3161.69/3181.44 c #Conflicts: 1557000 | #Constraints: 43256 3161.69/3181.44 c #Conflicts: 1558000 | #Constraints: 44256 3161.69/3181.44 c #Conflicts: 1559000 | #Constraints: 45257 3161.69/3181.44 c #Conflicts: 1560000 | #Constraints: 46257 3161.69/3181.44 c #Conflicts: 1561000 | #Constraints: 47257 3161.69/3181.44 c #Conflicts: 1562000 | #Constraints: 48257 3161.69/3181.44 c #Conflicts: 1563000 | #Constraints: 49257 3161.69/3181.44 c #Conflicts: 1564000 | #Constraints: 50257 3161.69/3181.44 c #Conflicts: 1565000 | #Constraints: 51257 3161.69/3181.44 c #Conflicts: 1566000 | #Constraints: 52257 3161.69/3181.44 c #Conflicts: 1567000 | #Constraints: 53257 3161.69/3181.44 c #Conflicts: 1568000 | #Constraints: 54257 3161.69/3181.44 c #Conflicts: 1569000 | #Constraints: 55257 3161.69/3181.44 c #Conflicts: 1570000 | #Constraints: 56257 3161.69/3181.44 c #Conflicts: 1571000 | #Constraints: 57257 3161.69/3181.44 c #Conflicts: 1572000 | #Constraints: 58258 3161.69/3181.44 c #Conflicts: 1573000 | #Constraints: 59258 3161.69/3181.44 c #Conflicts: 1574000 | #Constraints: 60258 3161.69/3181.44 c #Conflicts: 1575000 | #Constraints: 61258 3161.69/3181.44 c #Conflicts: 1576000 | #Constraints: 62258 3161.69/3181.44 c #Conflicts: 1577000 | #Constraints: 63258 3161.69/3181.44 c #Conflicts: 1578000 | #Constraints: 64258 3161.69/3181.44 c #Conflicts: 1579000 | #Constraints: 65258 3161.69/3181.44 c #Conflicts: 1580000 | #Constraints: 66258 3161.69/3181.44 c #Conflicts: 1581000 | #Constraints: 67258 3161.69/3181.44 c #Conflicts: 1582000 | #Constraints: 68258 3161.69/3181.44 c #Conflicts: 1583000 | #Constraints: 69258 3161.69/3181.44 c #Conflicts: 1584000 | #Constraints: 70258 3161.69/3181.44 c INPROCESSING 3161.69/3181.44 c GARBAGE COLLECT 3161.69/3181.44 c rational objective 83 3206.09/3225.96 c #Conflicts: 1585000 | #Constraints: 39497 3206.09/3225.96 c #Conflicts: 1586000 | #Constraints: 40497 3206.09/3225.96 c #Conflicts: 1587000 | #Constraints: 41497 3206.09/3225.96 c #Conflicts: 1588000 | #Constraints: 42497 3206.09/3225.96 c #Conflicts: 1589000 | #Constraints: 43497 3206.09/3225.96 c #Conflicts: 1590000 | #Constraints: 44497 3206.09/3225.96 c #Conflicts: 1591000 | #Constraints: 45497 3206.09/3225.96 c #Conflicts: 1592000 | #Constraints: 46497 3206.09/3225.96 c #Conflicts: 1593000 | #Constraints: 47497 3206.09/3225.96 c #Conflicts: 1594000 | #Constraints: 48497 3206.09/3225.96 c #Conflicts: 1595000 | #Constraints: 49497 3206.09/3225.96 c #Conflicts: 1596000 | #Constraints: 50497 3206.09/3225.96 c #Conflicts: 1597000 | #Constraints: 51497 3206.09/3225.96 c #Conflicts: 1598000 | #Constraints: 52497 3206.09/3225.96 c #Conflicts: 1599000 | #Constraints: 53497 3206.09/3225.96 c #Conflicts: 1600000 | #Constraints: 54497 3206.09/3225.96 c #Conflicts: 1601000 | #Constraints: 55498 3206.09/3225.96 c #Conflicts: 1602000 | #Constraints: 56498 3206.09/3225.96 c #Conflicts: 1603000 | #Constraints: 57498 3206.09/3225.96 c #Conflicts: 1604000 | #Constraints: 58498 3206.09/3225.96 c #Conflicts: 1605000 | #Constraints: 59498 3206.09/3225.96 c #Conflicts: 1606000 | #Constraints: 60498 3206.09/3225.96 c #Conflicts: 1607000 | #Constraints: 61498 3206.09/3225.96 c #Conflicts: 1608000 | #Constraints: 62498 3206.09/3225.96 c #Conflicts: 1609000 | #Constraints: 63498 3206.09/3225.96 c #Conflicts: 1610000 | #Constraints: 64498 3206.09/3225.96 c #Conflicts: 1611000 | #Constraints: 65498 3206.09/3225.96 c INPROCESSING 3206.09/3225.96 c GARBAGE COLLECT 3206.09/3225.96 c rational objective 83 3366.51/3386.75 c #Conflicts: 1612000 | #Constraints: 36598 3366.51/3386.75 c #Conflicts: 1613000 | #Constraints: 37598 3366.51/3386.75 c #Conflicts: 1614000 | #Constraints: 38598 3366.51/3386.75 c #Conflicts: 1615000 | #Constraints: 39598 3366.51/3386.75 c #Conflicts: 1616000 | #Constraints: 40598 3366.51/3386.75 c #Conflicts: 1617000 | #Constraints: 41598 3366.51/3386.75 c #Conflicts: 1618000 | #Constraints: 42598 3366.51/3386.75 c #Conflicts: 1619000 | #Constraints: 43598 3366.51/3386.75 c #Conflicts: 1620000 | #Constraints: 44598 3366.51/3386.75 c #Conflicts: 1621000 | #Constraints: 45598 3366.51/3386.75 c #Conflicts: 1622000 | #Constraints: 46598 3366.51/3386.75 c #Conflicts: 1623000 | #Constraints: 47598 3366.51/3386.75 c #Conflicts: 1624000 | #Constraints: 48598 3366.51/3386.75 c #Conflicts: 1625000 | #Constraints: 49598 3366.51/3386.75 c #Conflicts: 1626000 | #Constraints: 50598 3366.51/3386.75 c #Conflicts: 1627000 | #Constraints: 51598 3366.51/3386.75 c #Conflicts: 1628000 | #Constraints: 52598 3366.51/3386.75 c #Conflicts: 1629000 | #Constraints: 53598 3366.51/3386.75 c #Conflicts: 1630000 | #Constraints: 54598 3366.51/3386.75 c #Conflicts: 1631000 | #Constraints: 55598 3366.51/3386.75 c #Conflicts: 1632000 | #Constraints: 56599 3366.51/3386.75 c #Conflicts: 1633000 | #Constraints: 57599 3366.51/3386.75 c #Conflicts: 1634000 | #Constraints: 58599 3366.51/3386.75 c #Conflicts: 1635000 | #Constraints: 59599 3366.51/3386.75 c #Conflicts: 1636000 | #Constraints: 60599 3366.51/3386.75 c #Conflicts: 1637000 | #Constraints: 61599 3366.51/3386.75 c #Conflicts: 1638000 | #Constraints: 62599 3366.51/3386.75 c #Conflicts: 1639000 | #Constraints: 63599 3366.51/3386.75 c #Conflicts: 1640000 | #Constraints: 64599 3366.51/3386.75 c #Conflicts: 1641000 | #Constraints: 65599 3366.51/3386.75 c #Conflicts: 1642000 | #Constraints: 66599 3366.51/3386.75 c #Conflicts: 1643000 | #Constraints: 67600 3366.51/3386.75 c #Conflicts: 1644000 | #Constraints: 68600 3366.51/3386.75 c #Conflicts: 1645000 | #Constraints: 69600 3366.51/3386.75 c #Conflicts: 1646000 | #Constraints: 70600 3366.51/3386.75 c #Conflicts: 1647000 | #Constraints: 71600 3366.51/3386.75 c #Conflicts: 1648000 | #Constraints: 72600 3366.51/3386.75 c #Conflicts: 1649000 | #Constraints: 73600 3366.51/3386.75 c #Conflicts: 1650000 | #Constraints: 74600 3366.51/3386.75 c #Conflicts: 1651000 | #Constraints: 75600 3366.51/3386.75 c #Conflicts: 1652000 | #Constraints: 76600 3366.51/3386.75 c #Conflicts: 1653000 | #Constraints: 77600 3366.51/3386.75 c #Conflicts: 1654000 | #Constraints: 78600 3366.51/3386.75 c #Conflicts: 1655000 | #Constraints: 79600 3366.51/3386.75 c #Conflicts: 1656000 | #Constraints: 80600 3366.51/3386.75 c #Conflicts: 1657000 | #Constraints: 81600 3366.51/3386.75 c #Conflicts: 1658000 | #Constraints: 82600 3366.51/3386.75 c #Conflicts: 1659000 | #Constraints: 83600 3366.51/3386.75 c #Conflicts: 1660000 | #Constraints: 84600 3366.51/3386.75 c #Conflicts: 1661000 | #Constraints: 85600 3366.51/3386.75 c #Conflicts: 1662000 | #Constraints: 86600 3366.51/3386.75 c #Conflicts: 1663000 | #Constraints: 87600 3366.51/3386.75 c #Conflicts: 1664000 | #Constraints: 88600 3366.51/3386.75 c #Conflicts: 1665000 | #Constraints: 89600 3366.51/3386.75 c #Conflicts: 1666000 | #Constraints: 90600 3366.51/3386.75 c #Conflicts: 1667000 | #Constraints: 91600 3366.51/3386.75 c #Conflicts: 1668000 | #Constraints: 92600 3366.51/3386.75 c #Conflicts: 1669000 | #Constraints: 93600 3366.51/3386.75 c #Conflicts: 1670000 | #Constraints: 94600 3366.51/3386.75 c #Conflicts: 1671000 | #Constraints: 95600 3366.51/3386.75 c #Conflicts: 1672000 | #Constraints: 96600 3366.51/3386.75 c #Conflicts: 1673000 | #Constraints: 97600 3366.51/3386.75 c #Conflicts: 1674000 | #Constraints: 98600 3366.51/3386.75 c #Conflicts: 1675000 | #Constraints: 99600 3366.51/3386.75 c #Conflicts: 1676000 | #Constraints: 100600 3366.51/3386.75 c #Conflicts: 1677000 | #Constraints: 101600 3366.51/3386.75 c #Conflicts: 1678000 | #Constraints: 102600 3366.51/3386.75 c #Conflicts: 1679000 | #Constraints: 103600 3366.51/3386.75 c #Conflicts: 1680000 | #Constraints: 104600 3366.51/3386.75 c #Conflicts: 1681000 | #Constraints: 105600 3366.51/3386.75 c #Conflicts: 1682000 | #Constraints: 106600 3366.51/3386.75 c #Conflicts: 1683000 | #Constraints: 107600 3366.51/3386.75 c #Conflicts: 1684000 | #Constraints: 108600 3366.51/3386.75 c #Conflicts: 1685000 | #Constraints: 109600 3366.51/3386.75 c #Conflicts: 1686000 | #Constraints: 110600 3366.51/3386.75 c #Conflicts: 1687000 | #Constraints: 111600 3366.51/3386.75 c #Conflicts: 1688000 | #Constraints: 112600 3366.51/3386.75 c #Conflicts: 1689000 | #Constraints: 113600 3366.51/3386.75 c #Conflicts: 1690000 | #Constraints: 114600 3452.62/3473.10 c #Conflicts: 1691000 | #Constraints: 115601 3452.62/3473.10 c #Conflicts: 1692000 | #Constraints: 116601 3452.62/3473.10 c #Conflicts: 1693000 | #Constraints: 117601 3452.62/3473.10 c #Conflicts: 1694000 | #Constraints: 118601 3452.62/3473.10 c #Conflicts: 1695000 | #Constraints: 119601 3452.62/3473.10 c #Conflicts: 1696000 | #Constraints: 120601 3452.62/3473.10 c #Conflicts: 1697000 | #Constraints: 121601 3452.62/3473.10 c #Conflicts: 1698000 | #Constraints: 122601 3452.62/3473.10 c #Conflicts: 1699000 | #Constraints: 123601 3452.62/3473.10 c #Conflicts: 1700000 | #Constraints: 124601 3452.62/3473.10 c #Conflicts: 1701000 | #Constraints: 125601 3452.62/3473.10 c #Conflicts: 1702000 | #Constraints: 126601 3452.62/3473.10 c #Conflicts: 1703000 | #Constraints: 127601 3452.62/3473.10 c #Conflicts: 1704000 | #Constraints: 128601 3452.62/3473.10 c #Conflicts: 1705000 | #Constraints: 129601 3452.62/3473.10 c #Conflicts: 1706000 | #Constraints: 130601 3452.62/3473.10 c #Conflicts: 1707000 | #Constraints: 131601 3452.62/3473.10 c #Conflicts: 1708000 | #Constraints: 132601 3452.62/3473.10 c #Conflicts: 1709000 | #Constraints: 133601 3452.62/3473.10 c #Conflicts: 1710000 | #Constraints: 134601 3452.62/3473.10 c #Conflicts: 1711000 | #Constraints: 135601 3452.62/3473.10 c #Conflicts: 1712000 | #Constraints: 136601 3452.62/3473.10 c #Conflicts: 1713000 | #Constraints: 137601 3452.62/3473.10 c INPROCESSING 3452.62/3473.10 c GARBAGE COLLECT 3452.62/3473.10 c rational objective 83 3527.34/3547.97 c #Conflicts: 1714000 | #Constraints: 72684 3527.34/3547.97 c #Conflicts: 1715000 | #Constraints: 73685 3527.34/3547.97 c #Conflicts: 1716000 | #Constraints: 74685 3527.34/3547.97 c #Conflicts: 1717000 | #Constraints: 75685 3527.34/3547.97 c #Conflicts: 1718000 | #Constraints: 76686 3527.34/3547.97 c #Conflicts: 1719000 | #Constraints: 77686 3527.34/3547.97 c #Conflicts: 1720000 | #Constraints: 78686 3527.34/3547.97 c #Conflicts: 1721000 | #Constraints: 79686 3527.34/3547.97 c #Conflicts: 1722000 | #Constraints: 80686 3527.34/3547.97 c #Conflicts: 1723000 | #Constraints: 81686 3527.34/3547.97 c #Conflicts: 1724000 | #Constraints: 82686 3527.34/3547.97 c #Conflicts: 1725000 | #Constraints: 83686 3527.34/3547.97 c #Conflicts: 1726000 | #Constraints: 84686 3527.34/3547.97 c #Conflicts: 1727000 | #Constraints: 85686 3527.34/3547.97 c #Conflicts: 1728000 | #Constraints: 86686 3527.34/3547.97 c #Conflicts: 1729000 | #Constraints: 87686 3527.34/3547.97 c #Conflicts: 1730000 | #Constraints: 88686 3527.34/3547.97 c #Conflicts: 1731000 | #Constraints: 89686 3527.34/3547.97 c #Conflicts: 1732000 | #Constraints: 90686 3527.34/3547.97 c #Conflicts: 1733000 | #Constraints: 91686 3527.34/3547.97 c #Conflicts: 1734000 | #Constraints: 92686 3527.34/3547.97 c #Conflicts: 1735000 | #Constraints: 93686 3527.34/3547.97 c #Conflicts: 1736000 | #Constraints: 94686 3527.34/3547.97 c #Conflicts: 1737000 | #Constraints: 95686 3527.34/3547.97 c #Conflicts: 1738000 | #Constraints: 96686 3527.34/3547.97 c #Conflicts: 1739000 | #Constraints: 97686 3527.34/3547.97 c #Conflicts: 1740000 | #Constraints: 98686 3527.34/3547.97 c #Conflicts: 1741000 | #Constraints: 99686 3527.34/3547.97 c #Conflicts: 1742000 | #Constraints: 100687 3527.34/3547.97 c #Conflicts: 1743000 | #Constraints: 101687 3527.34/3547.97 c INPROCESSING 3527.34/3547.97 c GARBAGE COLLECT 3527.34/3547.97 c rational objective 83 3577.92/3598.62 c #Conflicts: 1744000 | #Constraints: 55094 3577.92/3598.62 c #Conflicts: 1745000 | #Constraints: 56094 3577.92/3598.62 c #Conflicts: 1746000 | #Constraints: 57094 3577.92/3598.62 c #Conflicts: 1747000 | #Constraints: 58094 3577.92/3598.62 c #Conflicts: 1748000 | #Constraints: 59094 3577.92/3598.62 c #Conflicts: 1749000 | #Constraints: 60094 3577.92/3598.62 c #Conflicts: 1750000 | #Constraints: 61094 3577.92/3598.62 c #Conflicts: 1751000 | #Constraints: 62094 3577.92/3598.62 c #Conflicts: 1752000 | #Constraints: 63094 3577.92/3598.62 c #Conflicts: 1753000 | #Constraints: 64095 3577.92/3598.62 c #Conflicts: 1754000 | #Constraints: 65095 3577.92/3598.62 c #Conflicts: 1755000 | #Constraints: 66096 3577.92/3598.62 c #Conflicts: 1756000 | #Constraints: 67096 3577.92/3598.62 c #Conflicts: 1757000 | #Constraints: 68096 3577.92/3598.62 c #Conflicts: 1758000 | #Constraints: 69096 3577.92/3598.62 c #Conflicts: 1759000 | #Constraints: 70096 3577.92/3598.62 c #Conflicts: 1760000 | #Constraints: 71096 3577.92/3598.62 c #Conflicts: 1761000 | #Constraints: 72096 3577.92/3598.62 c #Conflicts: 1762000 | #Constraints: 73096 3577.92/3598.62 c #Conflicts: 1763000 | #Constraints: 74097 3577.92/3598.62 c #Conflicts: 1764000 | #Constraints: 75097 3577.92/3598.62 c #Conflicts: 1765000 | #Constraints: 76097 3577.92/3598.62 c #Conflicts: 1766000 | #Constraints: 77097 3577.92/3598.62 c #Conflicts: 1767000 | #Constraints: 78097 3577.92/3598.62 c #Conflicts: 1768000 | #Constraints: 79097 3577.92/3598.62 c #Conflicts: 1769000 | #Constraints: 80097 3577.92/3598.62 c #Conflicts: 1770000 | #Constraints: 81097 3577.92/3598.62 c #Conflicts: 1771000 | #Constraints: 82097 3577.92/3598.62 c #Conflicts: 1772000 | #Constraints: 83097 3577.92/3598.62 c INPROCESSING 3577.92/3598.62 c GARBAGE COLLECT 3577.92/3598.62 c rational objective 83 3600.06/3620.80 c #Conflicts: 1773000 | #Constraints: 45638 3600.06/3620.80 c #Conflicts: 1774000 | #Constraints: 46638 3600.06/3620.80 c #Conflicts: 1775000 | #Constraints: 47638 3600.06/3620.80 c #Conflicts: 1776000 | #Constraints: 48638 3600.06/3620.80 c #Conflicts: 1777000 | #Constraints: 49639 3600.06/3620.80 c #Conflicts: 1778000 | #Constraints: 50639 3600.06/3620.80 c #Conflicts: 1779000 | #Constraints: 51639 3600.06/3620.80 c #Conflicts: 1780000 | #Constraints: 52639 3600.06/3620.80 c #Conflicts: 1781000 | #Constraints: 53639 3600.06/3620.80 c #Conflicts: 1782000 | #Constraints: 54639 3600.06/3620.80 c #Conflicts: 1783000 | #Constraints: 55639 3600.06/3620.80 c #Conflicts: 1784000 | #Constraints: 56639 3600.06/3620.80 c #Conflicts: 1785000 | #Constraints: 57639 3600.06/3620.80 c #Conflicts: 1786000 | #Constraints: 58639 3600.06/3620.80 c #Conflicts: 1787000 | #Constraints: 59639 3600.06/3620.80 c #Conflicts: 1788000 | #Constraints: 60639 3600.06/3620.80 c #Conflicts: 1789000 | #Constraints: 61639 3600.06/3620.80 c Program interrupted by user. 3600.06/3620.84 c cpu time 3561.36 s 3600.06/3620.84 c deterministic time 400411682861 4.00e+11 3600.06/3620.84 c optimization time 21.7605 s 3600.06/3620.84 c total solve time 3539.53 s 3600.06/3620.84 c core-guided solve time 0 s 3600.06/3620.84 c propagation time 2452.65 s 3600.06/3620.84 c conflict analysis time 815.622 s 3600.06/3620.84 c propagations 743878049 3600.06/3620.84 c resolve steps 66778330 3600.06/3620.84 c decisions 12766422 3600.06/3620.84 c conflicts 1789321 3600.06/3620.84 c restarts 3457 3600.06/3620.84 c inprocessing phases 84 3600.06/3620.84 c input clauses 5729 3600.06/3620.84 c input cardinalities 83 3600.06/3620.84 c input general constraints 0 3600.06/3620.84 c input average constraint length 6.23 3600.06/3620.84 c input average constraint degree 1.94 3600.06/3620.84 c learned clauses 1246466 3600.06/3620.84 c learned cardinalities 35913 3600.06/3620.84 c learned general constraints 507147 3600.06/3620.84 c learned average constraint length 813.39 3600.06/3620.84 c learned average constraint degree 58433519.82 3600.06/3620.84 c watched constraints 437305 3600.06/3620.84 c counting constraints 69842 3600.06/3620.84 c gcd simplifications 5784 3600.06/3620.84 c detected cardinalities 1757 3600.06/3620.84 c weakened non-implied lits 253904723 3600.06/3620.84 c weakened non-implying lits 591771 3600.06/3620.84 c original variables 5644 3600.06/3620.84 c clausal propagations 274584238 3600.06/3620.84 c cardinality propagations 252111305 3600.06/3620.84 c watched propagations 68250513 3600.06/3620.84 c counting propagations 143179537 3600.06/3620.84 c watch lookups 32408158928 3600.06/3620.84 c watch backjump lookups 25363353211 3600.06/3620.84 c watch checks 286704417069 3600.06/3620.84 c propagation checks 49962140174 3600.06/3620.84 c constraint additions 4456189271 3600.06/3620.84 c trail pops 758428745 3600.06/3620.84 c formula constraints 5812 3600.06/3620.84 c learned constraints 1789116 3600.06/3620.84 c bound constraints 0 3600.06/3620.84 c core-guided constraints 0 3600.06/3620.84 c encountered formula constraints 37812602 3600.06/3620.84 c encountered learned constraints 30751404 3600.06/3620.84 c encountered bound constraints 0 3600.06/3620.84 c encountered core-guided constraints 0 3600.06/3620.84 c LP total time 738.905 s 3600.06/3620.84 c LP solve time 731.2 s 3600.06/3620.84 c LP constraints added 11174 3600.06/3620.84 c LP constraints removed 5291 3600.06/3620.84 c LP pivots internal 1789956 3600.06/3620.84 c LP pivots root 561035 3600.06/3620.84 c LP calls 351 3600.06/3620.84 c LP optimalities 140 3600.06/3620.84 c LP no pivot count 0 3600.06/3620.84 c LP infeasibilities 205 3600.06/3620.84 c LP valid Farkas constraints 205 3600.06/3620.84 c LP learned Farkas constraints 205 3600.06/3620.84 c LP basis resets 0 3600.06/3620.84 c LP cycling count 0 3600.06/3620.84 c LP singular count 0 3600.06/3620.84 c LP no primal count 0 3600.06/3620.84 c LP no farkas count 0 3600.06/3620.84 c LP other issue count 0 3600.06/3620.84 c LP Gomory cuts 0 3600.06/3620.84 c LP learned cuts 5362 3600.06/3620.84 c LP deleted cuts 5291 3600.06/3620.84 c LP encountered Gomory constraints 0 3600.06/3620.84 c LP encountered Farkas constraints 2549 3600.06/3620.84 c LP encountered learned Farkas constraints 891 3600.06/3620.84 c CG auxiliary variables introduced 0 3600.06/3620.84 c CG solutions found 0 3600.06/3620.84 c CG cores constructed 0 3600.06/3620.84 c CG core cardinality constraints returned 0 3600.06/3620.84 c CG unit cores 0 3600.06/3620.84 c CG single cores 0 3600.06/3620.84 c CG blocks removed during cardinality reduction 0 3600.06/3620.84 c CG first core best 0 3600.06/3620.84 c CG decision core best 0 3600.06/3620.84 c CG core reduction tie 0 3600.06/3620.84 c CG core degree average 0.00 3600.06/3620.84 c CG core slack average 0.00 3600.06/3620.84 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: 64059 MiB (56574 MiB free)
memory of node 1: 64510 MiB (63424 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463057-1722345519/watcher-4463057-1722345519 -o /tmp/evaluation-result-4463057-1722345519/solver-4463057-1722345519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463057-1722345519 --lp-cut-gomory=0 HOME/instance-4463057-1722345519.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10130, runsolver pid=10127
[startup+0.100094 s]*
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877984/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.212907 s]*
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877872/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.312578 s]*
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877732/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+0.700314 s]
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877592/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877500/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
[startup+3.11221 s]
/proc/loadavg: 4.13 4.21 4.20 4/243 10131
/proc/meminfo: memFree=122877512/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 4.12 4.20 4.20 4/243 10131
/proc/meminfo: memFree=122877540/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=37376 memory=2636 CPUtime=0 cores=5,7
/proc/10130/stat : 10130 (roundingsat) D 10127 10130 7348 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1148819 38273024 659 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 9344 659 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2636 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.11 4.20 4.20 5/243 10133
/proc/meminfo: memFree=122863220/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=49112 memory=19000 CPUtime=1.68 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 3619 0 0 0 161 7 0 0 20 0 1 0 1148819 50290688 4750 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 12278 4750 1824 992 0 4136 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 19000 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.08 4.19 4.19 5/243 10134
/proc/meminfo: memFree=122828480/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=58624 memory=31148 CPUtime=14.44 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 6305 0 0 0 1410 34 0 0 20 0 1 0 1148819 60030976 7787 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 14656 7787 1871 992 0 6514 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 58624 KiB
Current children cumulated memory: 31148 KiB
heavy processes:
[startup+51.1125 s]
/proc/loadavg: 4.12 4.19 4.19 5/241 10140
/proc/meminfo: memFree=122754956/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=76092 memory=45676 CPUtime=39.98 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 8905 0 0 0 3904 94 0 0 20 0 1 0 1148819 77918208 11419 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 19023 11419 1871 992 0 10881 0
Current children cumulated CPU time: 39.98 s
Current children cumulated vsize: 76092 KiB
Current children cumulated memory: 45676 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.05 4.16 4.18 5/244 10153
/proc/meminfo: memFree=122658100/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=80396 memory=50156 CPUtime=91.05 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 10009 0 0 0 8909 196 0 0 20 0 1 0 1148819 82325504 12539 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 20099 12539 1871 992 0 11957 0
Current children cumulated CPU time: 91.05 s
Current children cumulated vsize: 80396 KiB
Current children cumulated memory: 50156 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 10163
/proc/meminfo: memFree=122508420/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=118788 memory=82536 CPUtime=150.9 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 13214 0 0 0 14784 306 0 0 20 0 1 0 1148819 121638912 20634 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 29697 20634 1871 992 0 21555 0
Current children cumulated CPU time: 150.9 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 82536 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/244 10173
/proc/meminfo: memFree=122314820/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=212560 memory=143476 CPUtime=210.74 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 17729 0 0 0 20661 413 0 0 20 0 1 0 1148819 217661440 35869 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 53140 35869 1871 992 0 44998 0
Current children cumulated CPU time: 210.74 s
Current children cumulated vsize: 212560 KiB
Current children cumulated memory: 143476 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/245 10185
/proc/meminfo: memFree=121865872/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=302380 memory=229016 CPUtime=270.58 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 20231 0 0 0 26552 506 0 0 20 0 1 0 1148819 309637120 57254 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 75595 57254 1871 992 0 67453 0
Current children cumulated CPU time: 270.58 s
Current children cumulated vsize: 302380 KiB
Current children cumulated memory: 229016 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/245 10195
/proc/meminfo: memFree=121459464/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=304516 memory=233280 CPUtime=330.42 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 21181 0 0 0 32436 606 0 0 20 0 1 0 1148819 311824384 58320 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 76129 58320 1871 992 0 67987 0
Current children cumulated CPU time: 330.42 s
Current children cumulated vsize: 304516 KiB
Current children cumulated memory: 233280 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/246 10588
/proc/meminfo: memFree=121145080/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=310112 memory=238480 CPUtime=390.26 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 22525 0 0 0 38325 701 0 0 20 0 1 0 1148819 317554688 59620 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 77528 59620 1871 992 0 69386 0
Current children cumulated CPU time: 390.26 s
Current children cumulated vsize: 310112 KiB
Current children cumulated memory: 238480 KiB
[startup+462.3 s]
################
# More data... #
################
Current children cumulated memory: 692168 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/243 12216
/proc/meminfo: memFree=124847548/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=752668 memory=692168 CPUtime=2843.34 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 54229 0 0 0 281072 3262 0 0 20 0 1 0 1148819 770732032 173042 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 188167 173042 1871 992 0 180025 0
Current children cumulated CPU time: 2843.34 s
Current children cumulated vsize: 752668 KiB
Current children cumulated memory: 692168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/242 12226
/proc/meminfo: memFree=124564120/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=754192 memory=693260 CPUtime=2903.2 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 54770 0 0 0 287025 3295 0 0 20 0 1 0 1148819 772292608 173315 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 188548 173315 1871 992 0 180406 0
Current children cumulated CPU time: 2903.2 s
Current children cumulated vsize: 754192 KiB
Current children cumulated memory: 693260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/242 12237
/proc/meminfo: memFree=124308840/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=759984 memory=697408 CPUtime=2963.05 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 56106 0 0 0 292980 3325 0 0 20 0 1 0 1148819 778223616 174352 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 189996 174352 1871 992 0 181854 0
Current children cumulated CPU time: 2963.05 s
Current children cumulated vsize: 759984 KiB
Current children cumulated memory: 697408 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/242 12249
/proc/meminfo: memFree=124038996/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=762428 memory=699692 CPUtime=3022.91 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 57182 0 0 0 298914 3377 0 0 20 0 1 0 1148819 780726272 174923 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190607 174923 1871 992 0 182465 0
Current children cumulated CPU time: 3022.91 s
Current children cumulated vsize: 762428 KiB
Current children cumulated memory: 699692 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/243 12263
/proc/meminfo: memFree=123731980/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=762692 memory=700228 CPUtime=3082.78 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 57828 0 0 0 304843 3435 0 0 20 0 1 0 1148819 780996608 175057 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190673 175057 1871 992 0 182531 0
Current children cumulated CPU time: 3082.78 s
Current children cumulated vsize: 762692 KiB
Current children cumulated memory: 700228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/243 12274
/proc/meminfo: memFree=123433424/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=762932 memory=700340 CPUtime=3142.64 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 58365 0 0 0 310775 3489 0 0 20 0 1 0 1148819 781242368 175085 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190733 175085 1871 992 0 182591 0
Current children cumulated CPU time: 3142.64 s
Current children cumulated vsize: 762932 KiB
Current children cumulated memory: 700340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/243 12284
/proc/meminfo: memFree=123174472/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=762336 memory=699776 CPUtime=3202.5 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 58892 0 0 0 316708 3542 0 0 20 0 1 0 1148819 780632064 174944 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190584 174944 1871 992 0 182442 0
Current children cumulated CPU time: 3202.5 s
Current children cumulated vsize: 762336 KiB
Current children cumulated memory: 699776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/243 12295
/proc/meminfo: memFree=122861960/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=762628 memory=700176 CPUtime=3262.36 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 59533 0 0 0 322634 3602 0 0 20 0 1 0 1148819 780931072 175044 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190657 175044 1871 992 0 182515 0
Current children cumulated CPU time: 3262.36 s
Current children cumulated vsize: 762628 KiB
Current children cumulated memory: 700176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/243 12305
/proc/meminfo: memFree=122613260/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=763128 memory=700536 CPUtime=3322.23 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 59880 0 0 0 328569 3654 0 0 20 0 1 0 1148819 781443072 175134 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 190782 175134 1871 992 0 182640 0
Current children cumulated CPU time: 3322.23 s
Current children cumulated vsize: 763128 KiB
Current children cumulated memory: 700536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/243 12315
/proc/meminfo: memFree=122381484/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=764720 memory=702184 CPUtime=3382.08 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 60562 0 0 0 334510 3698 0 0 20 0 1 0 1148819 783073280 175546 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 191180 175546 1871 992 0 183038 0
Current children cumulated CPU time: 3382.08 s
Current children cumulated vsize: 764720 KiB
Current children cumulated memory: 702184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 12326
/proc/meminfo: memFree=122152004/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=768624 memory=707512 CPUtime=3441.94 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 61568 0 0 0 340466 3728 0 0 20 0 1 0 1148819 787070976 176878 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 192156 176878 1871 992 0 184014 0
Current children cumulated CPU time: 3441.94 s
Current children cumulated vsize: 768624 KiB
Current children cumulated memory: 707512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/242 12337
/proc/meminfo: memFree=121926628/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=770752 memory=709028 CPUtime=3501.79 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 62669 0 0 0 346410 3769 0 0 20 0 1 0 1148819 789250048 177257 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 192688 177257 1871 992 0 184546 0
Current children cumulated CPU time: 3501.79 s
Current children cumulated vsize: 770752 KiB
Current children cumulated memory: 709028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/242 12348
/proc/meminfo: memFree=121669216/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=770996 memory=709448 CPUtime=3561.65 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 63454 0 0 0 352337 3828 0 0 20 0 1 0 1148819 789499904 177362 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 192749 177362 1871 992 0 184607 0
Current children cumulated CPU time: 3561.65 s
Current children cumulated vsize: 770996 KiB
Current children cumulated memory: 709448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 12355
/proc/meminfo: memFree=121491860/131655788 swapFree=131071996/131071996
[pid=10130] ppid=10127 vsize=771068 memory=709432 CPUtime=3600.06 cores=5,7
/proc/10130/stat : 10130 (roundingsat) R 10127 10130 7348 0 -1 4194304 64065 0 0 0 356135 3871 0 0 20 0 1 0 1148819 789573632 177358 134679101440 4194304 8255733 140728513929232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 33419264 140728513938274 140728513938536 140728513938536 140728513945545 0
/proc/10130/statm: 192767 177358 1871 992 0 184625 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 771068 KiB
Current children cumulated memory: 709432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3620.85 s]
# the end of solver process 10130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.36 s, system=38.7255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3620.85
CPU time (s): 3600.09
CPU user time (s): 3561.36
CPU system time (s): 38.7255
CPU usage (%): 99.4268
Max. virtual memory (cumulated for all children) (KiB): 771068
Max. memory (cumulated for all children) (KiB): 709448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.36
system time used= 38.7255
maximum resident set size= 710612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9911960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 614
involuntary context switches= 4759
# summary of solver processes directly reported to runsolver:
# pid: 10130
# total CPU time (s): 3600.09
# total CPU user time (s): 3561.36
# total CPU system time (s): 38.7255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8818 second user time and 29.7967 second system time
The end
Begin job on nodeC010 at 2024-07-30 15:18:39 IDJOB=4463057 IDBENCH=158345 IDSOLVER=3089 FILE ID=nodeC010/4463057-1722345519 RUNJOBID= nodeC010-1722340763-7361 SLURM_JOB_ID= 8248990 Free space on /tmp= 723640 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.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-4463057-1722345519/watcher-4463057-1722345519 -o /tmp/evaluation-result-4463057-1722345519/solver-4463057-1722345519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463057-1722345519 --lp-cut-gomory=0 HOME/instance-4463057-1722345519.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c RANDOM SEED=1131521960 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3520.448 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.21 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.923 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.183 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.21 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3650.582 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.21 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1496.425 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.227 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.21 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.127 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122879160 kB MemAvailable: 125881448 kB Buffers: 46460 kB Cached: 3797788 kB SwapCached: 0 kB Active: 277064 kB Inactive: 8060240 kB Active(anon): 1960 kB Inactive(anon): 4520388 kB Active(file): 275104 kB Inactive(file): 3539852 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10556 kB Writeback: 0 kB AnonPages: 4487332 kB Mapped: 101096 kB Shmem: 29504 kB KReclaimable: 54728 kB Slab: 129884 kB SReclaimable: 54728 kB SUnreclaim: 75156 kB KernelStack: 3968 kB PageTables: 18024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5191964 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6336 kB HardwareCorrupted: 0 kB AnonHugePages: 2166784 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: 146248 kB DirectMap2M: 8146944 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 723752 MiB End job on nodeC010 at 2024-07-30 16:19:00