| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 4685824 | 3600.06 | 3609.31 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
| MD5SUM | 6ea30ee5c980a208725b42ec6ced88d1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4372480 |
| Best CPU time to get the best result obtained on this benchmark | 2892.16 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8060 |
| Total number of constraints | 296 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 296 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 780 |
| Number of terms in the objective function | 8060 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1599918681646 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1599918681646 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 8060 #constraints 332 2.28/2.38 c bounds 69701167 >= 0 @ 0.011191 2.28/2.38 c bounds 11273704 >= 0 @ 0.066304 2.28/2.38 c bounds 11223784 >= 0 @ 0.069526 2.28/2.38 c bounds 11055882 >= 0 @ 0.072156 2.28/2.38 c bounds 11055786 >= 0 @ 0.075399 2.28/2.38 c bounds 10986149 >= 0 @ 0.082564 2.28/2.38 c bounds 10986141 >= 0 @ 0.412926 2.28/2.38 c #Conflicts: 1000 | #Constraints: 1337 2.28/2.38 c #Conflicts: 2000 | #Constraints: 2343 2.28/2.38 c INPROCESSING 2.28/2.38 c GARBAGE COLLECT 2.28/2.38 c rational objective 3.94959e+06 6.17/6.22 c bounds 10986133 >= 0 @ 2.41263 6.17/6.22 c bounds 10776213 >= 0 @ 2.42304 6.17/6.22 c bounds 10776209 >= 0 @ 2.53687 6.17/6.22 c bounds 10776206 >= 0 @ 2.72493 6.17/6.22 c bounds 10768024 >= 0 @ 2.87903 6.17/6.22 c bounds 10768018 >= 0 @ 2.89682 6.17/6.22 c bounds 10768012 >= 0 @ 2.90612 6.17/6.22 c bounds 10525324 >= 0 @ 2.92163 6.17/6.22 c bounds 10481295 >= 0 @ 2.98851 6.17/6.22 c bounds 10481292 >= 0 @ 2.9965 6.17/6.22 c bounds 10481286 >= 0 @ 3.43174 6.17/6.22 c #Conflicts: 3000 | #Constraints: 2383 6.17/6.22 c #Conflicts: 4000 | #Constraints: 3389 6.17/6.22 c INPROCESSING 6.17/6.22 c GARBAGE COLLECT 6.17/6.22 c rational objective 3.94959e+06 18.15/18.23 c bounds 10481285 >= 0 @ 6.21954 18.15/18.23 c bounds 10481279 >= 0 @ 6.22468 18.15/18.23 c bounds 10481255 >= 0 @ 6.25647 18.15/18.23 c bounds 10481249 >= 0 @ 6.29513 18.15/18.23 c bounds 10481243 >= 0 @ 6.52749 18.15/18.23 c bounds 10481240 >= 0 @ 6.5376 18.15/18.23 c bounds 10481237 >= 0 @ 6.55108 18.15/18.23 c bounds 10454613 >= 0 @ 6.71507 18.15/18.23 c bounds 10454610 >= 0 @ 6.76643 18.15/18.23 c bounds 10454604 >= 0 @ 6.8202 18.15/18.23 c bounds 10454595 >= 0 @ 6.8303 18.15/18.23 c bounds 10454593 >= 0 @ 6.84853 18.15/18.23 c bounds 10454587 >= 0 @ 7.03765 18.15/18.23 c bounds 10454582 >= 0 @ 7.05581 18.15/18.23 c bounds 10315328 >= 0 @ 7.09389 18.15/18.23 c bounds 10315327 >= 0 @ 7.10773 18.15/18.23 c bounds 10274362 >= 0 @ 7.14098 18.15/18.23 c bounds 10274360 >= 0 @ 7.18894 18.15/18.23 c bounds 10274354 >= 0 @ 7.33687 18.15/18.23 c bounds 10274350 >= 0 @ 7.63593 18.15/18.23 c bounds 10274347 >= 0 @ 7.67743 18.15/18.23 c bounds 10274341 >= 0 @ 7.70895 18.15/18.23 c bounds 10274340 >= 0 @ 7.76823 18.15/18.23 c bounds 10274333 >= 0 @ 7.83928 18.15/18.23 c bounds 10274307 >= 0 @ 8.00327 18.15/18.23 c bounds 10274304 >= 0 @ 8.12323 18.15/18.23 c bounds 10274304 >= 150528 @ 8.12682 18.15/18.23 c bounds 10274304 >= 282624 @ 8.12874 18.15/18.23 c bounds 8777723 >= 282624 @ 8.15855 18.15/18.23 c bounds 8777723 >= 402432 @ 8.15968 18.15/18.23 c bounds 8777723 >= 493568 @ 8.1599 18.15/18.23 c bounds 8777723 >= 604160 @ 8.1608 18.15/18.23 c bounds 8777723 >= 713728 @ 8.16096 18.15/18.23 c bounds 8777723 >= 823296 @ 8.16188 18.15/18.23 c bounds 8777723 >= 929792 @ 8.16274 18.15/18.23 c bounds 8777723 >= 1041408 @ 8.1629 18.15/18.23 c bounds 8777723 >= 1139712 @ 8.16442 18.15/18.23 c bounds 8777723 >= 1230848 @ 8.16567 18.15/18.23 c bounds 8777723 >= 1321984 @ 8.17477 18.15/18.23 c bounds 8777723 >= 1411072 @ 8.2295 18.15/18.23 c bounds 8710139 >= 1411072 @ 8.2412 18.15/18.23 c bounds 8598523 >= 1411072 @ 8.25172 18.15/18.23 c bounds 8489979 >= 1411072 @ 8.25997 18.15/18.23 c bounds 8408059 >= 1411072 @ 8.26786 18.15/18.23 c bounds 8303611 >= 1411072 @ 8.2746 18.15/18.23 c bounds 8223739 >= 1411072 @ 8.27928 18.15/18.23 c bounds 8223737 >= 1411072 @ 8.29418 18.15/18.23 c #Conflicts: 5000 | #Constraints: 2869 18.15/18.23 c #Conflicts: 6000 | #Constraints: 3873 18.15/18.23 c bounds 8179726 >= 1411072 @ 10.6431 18.15/18.23 c bounds 8179704 >= 1411072 @ 10.8914 18.15/18.23 c bounds 8179702 >= 1411072 @ 10.9625 18.15/18.23 c bounds 8179701 >= 1411072 @ 11.0176 18.15/18.23 c bounds 8179669 >= 1411072 @ 11.0521 18.15/18.23 c INPROCESSING 18.15/18.23 c GARBAGE COLLECT 18.15/18.23 c bounds 8179663 >= 1411072 @ 12.6439 18.15/18.23 c bounds 8179661 >= 1411072 @ 12.6648 18.15/18.23 c bounds 8173517 >= 1411072 @ 12.8736 18.15/18.23 c bounds 8173516 >= 1411072 @ 12.906 18.15/18.23 c bounds 8173495 >= 1411072 @ 12.9978 18.15/18.23 c bounds 8173490 >= 1411072 @ 13.0177 18.15/18.23 c bounds 8173489 >= 1411072 @ 13.1117 18.15/18.23 c bounds 8173484 >= 1411072 @ 13.21 18.15/18.23 c #Conflicts: 7000 | #Constraints: 2820 18.15/18.23 c bounds 8173479 >= 1411072 @ 13.7181 18.15/18.23 c bounds 8173479 >= 1492992 @ 13.722 18.15/18.23 c bounds 8168711 >= 1492992 @ 14.8688 18.15/18.23 c bounds 8035591 >= 1492992 @ 14.9143 18.15/18.23 c bounds 7820551 >= 1492992 @ 14.9364 18.15/18.23 c bounds 7698695 >= 1492992 @ 14.9514 18.15/18.23 c bounds 7698691 >= 1492992 @ 14.9782 18.15/18.23 c bounds 7698686 >= 1492992 @ 15.0177 18.15/18.23 c bounds 7623945 >= 1492992 @ 15.1224 18.15/18.23 c bounds 7623943 >= 1492992 @ 15.1717 18.15/18.23 c bounds 7623939 >= 1492992 @ 15.1998 18.15/18.23 c #Conflicts: 8000 | #Constraints: 3835 18.15/18.23 c bounds 7623935 >= 1492992 @ 15.5633 18.15/18.23 c bounds 7623929 >= 1492992 @ 15.6105 18.15/18.23 c bounds 7623925 >= 1492992 @ 15.712 18.15/18.23 c bounds 7623923 >= 1492992 @ 15.7321 18.15/18.23 c bounds 7623917 >= 1492992 @ 15.7495 18.15/18.23 c bounds 7623909 >= 1492992 @ 15.9237 18.15/18.23 c bounds 7462201 >= 1492992 @ 15.9839 18.15/18.23 c #Conflicts: 9000 | #Constraints: 4846 18.15/18.23 c INPROCESSING 18.15/18.23 c GARBAGE COLLECT 18.15/18.23 c rational objective 3.94959e+06 23.44/23.51 c bounds 7462183 >= 1492992 @ 17.8828 23.44/23.51 c bounds 7462178 >= 1492992 @ 17.9677 23.44/23.51 c bounds 7462146 >= 1492992 @ 17.9859 23.44/23.51 c bounds 7462130 >= 1492992 @ 17.9978 23.44/23.51 c bounds 7460082 >= 1492992 @ 18.1252 23.44/23.51 c bounds 7458040 >= 1492992 @ 18.3051 23.44/23.51 c bounds 7458031 >= 1492992 @ 18.3693 23.44/23.51 c bounds 7458023 >= 1492992 @ 18.3888 23.44/23.51 c bounds 7458015 >= 1492992 @ 18.4994 23.44/23.51 c bounds 7457983 >= 1492992 @ 18.5583 23.44/23.51 c bounds 7457951 >= 1492992 @ 18.5825 23.44/23.51 c bounds 7423172 >= 1492992 @ 18.7742 23.44/23.51 c bounds 7423169 >= 1492992 @ 18.843 23.44/23.51 c bounds 7422657 >= 1492992 @ 18.9165 23.44/23.51 c bounds 7422401 >= 1492992 @ 18.9457 23.44/23.51 c bounds 7422398 >= 1492992 @ 19.0484 23.44/23.51 c bounds 7271870 >= 1492992 @ 19.0752 23.44/23.51 c bounds 7271858 >= 1492992 @ 19.3151 23.44/23.51 c bounds 7271854 >= 1492992 @ 19.3442 23.44/23.51 c #Conflicts: 10000 | #Constraints: 3559 23.44/23.51 c #Conflicts: 11000 | #Constraints: 4565 23.44/23.51 c #Conflicts: 12000 | #Constraints: 5568 23.44/23.51 c INPROCESSING 23.44/23.51 c GARBAGE COLLECT 23.44/23.51 c rational objective 3.94959e+06 31.41/31.57 c bounds 7271851 >= 1492992 @ 23.5201 31.41/31.57 c bounds 7271850 >= 1492992 @ 23.5669 31.41/31.57 c bounds 7271847 >= 1492992 @ 23.6136 31.41/31.57 c bounds 7271844 >= 1492992 @ 23.6293 31.41/31.57 c bounds 7271842 >= 1492992 @ 23.6809 31.41/31.57 c bounds 7271840 >= 1492992 @ 23.7489 31.41/31.57 c bounds 7271837 >= 1492992 @ 24.1894 31.41/31.57 c bounds 7271830 >= 1492992 @ 24.3698 31.41/31.57 c bounds 7271825 >= 1492992 @ 24.4184 31.41/31.57 c bounds 7271824 >= 1492992 @ 24.496 31.41/31.57 c bounds 7176592 >= 1492992 @ 24.7253 31.41/31.57 c bounds 7176590 >= 1492992 @ 24.7923 31.41/31.57 c #Conflicts: 13000 | #Constraints: 4013 31.41/31.57 c bounds 7176586 >= 1492992 @ 27.0549 31.41/31.57 c #Conflicts: 14000 | #Constraints: 5036 31.41/31.57 c #Conflicts: 15000 | #Constraints: 6053 31.41/31.57 c INPROCESSING 31.41/31.57 c GARBAGE COLLECT 31.41/31.57 c rational objective 3.94959e+06 60.74/60.91 c bounds 7176574 >= 1492992 @ 31.0412 60.74/60.91 c bounds 7176558 >= 1492992 @ 31.053 60.74/60.91 c bounds 7176526 >= 1492992 @ 31.0618 60.74/60.91 c bounds 7176518 >= 1492992 @ 31.101 60.74/60.91 c bounds 7176512 >= 1492992 @ 31.8408 60.74/60.91 c bounds 7176510 >= 1492992 @ 32.1493 60.74/60.91 c bounds 7176509 >= 1492992 @ 32.2574 60.74/60.91 c bounds 7176505 >= 1492992 @ 32.3744 60.74/60.91 c bounds 7176497 >= 1492992 @ 32.4844 60.74/60.91 c bounds 7176493 >= 1492992 @ 32.8465 60.74/60.91 c bounds 7176492 >= 1492992 @ 33.1119 60.74/60.91 c #Conflicts: 16000 | #Constraints: 4274 60.74/60.91 c #Conflicts: 17000 | #Constraints: 5305 60.74/60.91 c #Conflicts: 18000 | #Constraints: 6528 60.74/60.91 c INPROCESSING 60.74/60.91 c GARBAGE COLLECT 60.74/60.91 c bounds 7176476 >= 1492992 @ 38.5581 60.74/60.91 c bounds 7176474 >= 1492992 @ 38.577 60.74/60.91 c bounds 7176410 >= 1492992 @ 38.7268 60.74/60.91 c bounds 7176394 >= 1492992 @ 39.1172 60.74/60.91 c bounds 7176392 >= 1492992 @ 39.1477 60.74/60.91 c bounds 7176389 >= 1492992 @ 39.3629 60.74/60.91 c bounds 7176386 >= 1492992 @ 39.3898 60.74/60.91 c bounds 7176378 >= 1492992 @ 39.8451 60.74/60.91 c bounds 7176370 >= 1492992 @ 39.8658 60.74/60.91 c bounds 7176368 >= 1492992 @ 40.141 60.74/60.91 c bounds 7176366 >= 1492992 @ 40.6266 60.74/60.91 c bounds 7176358 >= 1492992 @ 41.4705 60.74/60.91 c bounds 7176336 >= 1492992 @ 41.6183 60.74/60.91 c bounds 7109776 >= 1492992 @ 41.6586 60.74/60.91 c bounds 7109773 >= 1492992 @ 41.7368 60.74/60.91 c bounds 6983821 >= 1492992 @ 41.8461 60.74/60.91 c #Conflicts: 19000 | #Constraints: 4405 60.74/60.91 c bounds 6983807 >= 1492992 @ 42.3532 60.74/60.91 c #Conflicts: 20000 | #Constraints: 5406 60.74/60.91 c #Conflicts: 21000 | #Constraints: 6410 60.74/60.91 c INPROCESSING 60.74/60.91 c GARBAGE COLLECT 60.74/60.91 c bounds 6983805 >= 1492992 @ 49.2806 60.74/60.91 c bounds 6983801 >= 1492992 @ 49.3207 60.74/60.91 c bounds 6983785 >= 1492992 @ 49.413 60.74/60.91 c bounds 6941801 >= 1492992 @ 49.4413 60.74/60.91 c bounds 6941793 >= 1492992 @ 49.8535 60.74/60.91 c bounds 6941789 >= 1492992 @ 49.8738 60.74/60.91 c bounds 6941787 >= 1492992 @ 49.8903 60.74/60.91 c bounds 6941776 >= 1492992 @ 49.9967 60.74/60.91 c bounds 6941774 >= 1492992 @ 50.1639 60.74/60.91 c bounds 6941769 >= 1492992 @ 50.2755 60.74/60.91 c bounds 6941767 >= 1492992 @ 50.2945 60.74/60.91 c bounds 6941763 >= 1492992 @ 50.3123 60.74/60.91 c bounds 6941761 >= 1492992 @ 50.3645 60.74/60.91 c bounds 6941728 >= 1492992 @ 50.3877 60.74/60.91 c bounds 6941724 >= 1492992 @ 50.6609 60.74/60.91 c bounds 6941720 >= 1492992 @ 50.9167 60.74/60.91 c bounds 6941718 >= 1492992 @ 50.9473 60.74/60.92 c #Conflicts: 22000 | #Constraints: 4139 60.74/60.92 c bounds 6941716 >= 1492992 @ 51.2133 60.74/60.92 c bounds 6941714 >= 1492992 @ 51.589 60.74/60.92 c bounds 6941702 >= 1492992 @ 52.117 60.74/60.92 c bounds 6941700 >= 1492992 @ 52.209 60.74/60.92 c bounds 6941697 >= 1492992 @ 52.659 60.74/60.92 c bounds 6941691 >= 1492992 @ 52.9929 60.74/60.92 c bounds 6941664 >= 1492992 @ 53.1717 60.74/60.92 c bounds 6941655 >= 1492992 @ 53.4946 60.74/60.92 c bounds 6941652 >= 1492992 @ 53.9515 60.74/60.92 c #Conflicts: 23000 | #Constraints: 5151 60.74/60.92 c #Conflicts: 24000 | #Constraints: 6158 60.74/60.92 c #Conflicts: 25000 | #Constraints: 7164 60.74/60.92 c INPROCESSING 60.74/60.92 c GARBAGE COLLECT 60.74/60.92 c rational objective 3.9912e+06 75.91/76.19 c bounds 6941650 >= 1492992 @ 59.7879 75.91/76.19 c bounds 6941646 >= 1492992 @ 60.0572 75.91/76.19 c bounds 6941640 >= 1492992 @ 60.2912 75.91/76.19 c bounds 6941639 >= 1492992 @ 60.4483 75.91/76.19 c bounds 6941636 >= 1492992 @ 60.5508 75.91/76.19 c bounds 6941624 >= 1492992 @ 61.3663 75.91/76.19 c bounds 6941488 >= 1492992 @ 62.1098 75.91/76.19 c bounds 6941482 >= 1492992 @ 62.8872 75.91/76.19 c bounds 6941479 >= 1492992 @ 62.9102 75.91/76.19 c bounds 6941478 >= 1492992 @ 63.0066 75.91/76.19 c bounds 6941474 >= 1492992 @ 64.1714 75.91/76.19 c bounds 6941471 >= 1492992 @ 64.2736 75.91/76.19 c bounds 6941468 >= 1492992 @ 64.3032 75.91/76.19 c #Conflicts: 26000 | #Constraints: 4714 75.91/76.19 c bounds 6941466 >= 1492992 @ 64.5196 75.91/76.19 c bounds 6941406 >= 1492992 @ 64.5582 75.91/76.19 c bounds 6941404 >= 1492992 @ 64.5881 75.91/76.19 c bounds 6941402 >= 1492992 @ 65.4868 75.91/76.19 c #Conflicts: 27000 | #Constraints: 5722 75.91/76.19 c bounds 6940193 >= 1492992 @ 68.0402 75.91/76.19 c bounds 6940181 >= 1492992 @ 68.1641 75.91/76.19 c bounds 6940179 >= 1492992 @ 69.0395 75.91/76.19 c bounds 6940175 >= 1492992 @ 69.0887 75.91/76.19 c bounds 6940173 >= 1492992 @ 69.2061 75.91/76.19 c bounds 6940161 >= 1492992 @ 69.2306 75.91/76.19 c bounds 6940159 >= 1492992 @ 69.3128 75.91/76.19 c bounds 6940157 >= 1492992 @ 69.5747 75.91/76.19 c bounds 6940135 >= 1492992 @ 69.6259 75.91/76.19 c bounds 6940133 >= 1492992 @ 69.9552 75.91/76.19 c bounds 6940121 >= 1492992 @ 69.9942 75.91/76.19 c bounds 6940119 >= 1492992 @ 70.0547 75.91/76.19 c bounds 6940109 >= 1492992 @ 70.3482 75.91/76.19 c #Conflicts: 28000 | #Constraints: 6741 75.91/76.19 c #Conflicts: 29000 | #Constraints: 7747 75.91/76.19 c INPROCESSING 75.91/76.19 c GARBAGE COLLECT 75.91/76.19 c rational objective 3.9912e+06 85.48/85.73 c bounds 6912457 >= 1492992 @ 74.702 85.48/85.73 c bounds 6889929 >= 1492992 @ 74.7197 85.48/85.73 c bounds 6889927 >= 1492992 @ 74.9497 85.48/85.73 c bounds 6889923 >= 1492992 @ 75.3402 85.48/85.73 c bounds 6889917 >= 1492992 @ 75.4836 85.48/85.73 c bounds 6889357 >= 1492992 @ 75.6987 85.48/85.73 c bounds 6889355 >= 1492992 @ 75.7102 85.48/85.73 c bounds 6889345 >= 1492992 @ 76.955 85.48/85.73 c bounds 6889341 >= 1492992 @ 76.9773 85.48/85.73 c bounds 6887293 >= 1492992 @ 77.0339 85.48/85.73 c bounds 6887277 >= 1492992 @ 77.0728 85.48/85.73 c bounds 6887021 >= 1492992 @ 77.8276 85.48/85.73 c bounds 6886509 >= 1492992 @ 77.8503 85.48/85.73 c bounds 6886253 >= 1492992 @ 77.8833 85.48/85.73 c #Conflicts: 30000 | #Constraints: 5115 85.48/85.73 c bounds 6886249 >= 1492992 @ 78.7787 85.48/85.73 c #Conflicts: 31000 | #Constraints: 6121 85.48/85.73 c #Conflicts: 32000 | #Constraints: 7125 85.48/85.73 c #Conflicts: 33000 | #Constraints: 8151 85.48/85.73 c INPROCESSING 85.48/85.73 c GARBAGE COLLECT 85.48/85.73 c rational objective 3.99124e+06 98.23/98.51 c bounds 6886025 >= 1492992 @ 84.1048 98.23/98.51 c bounds 6886023 >= 1492992 @ 84.1786 98.23/98.51 c bounds 6886015 >= 1492992 @ 84.2338 98.23/98.51 c bounds 6886013 >= 1492992 @ 84.2641 98.23/98.51 c bounds 6886003 >= 1492992 @ 84.4216 98.23/98.51 c bounds 6885999 >= 1492992 @ 84.4477 98.23/98.51 c bounds 6885967 >= 1492992 @ 84.5086 98.23/98.51 c bounds 6885957 >= 1492992 @ 84.609 98.23/98.51 c bounds 6885953 >= 1492992 @ 85.24 98.23/98.51 c bounds 6885951 >= 1492992 @ 85.4678 98.23/98.51 c bounds 6885945 >= 1492992 @ 85.4942 98.23/98.51 c bounds 6885921 >= 1492992 @ 85.6247 98.23/98.51 c bounds 6885911 >= 1492992 @ 85.6451 98.23/98.51 c #Conflicts: 34000 | #Constraints: 5321 98.23/98.51 c #Conflicts: 35000 | #Constraints: 6327 98.23/98.51 c bounds 6885909 >= 1492992 @ 92.9282 98.23/98.51 c bounds 6885909 >= 1564672 @ 92.9328 98.23/98.51 c #Conflicts: 36000 | #Constraints: 7341 98.23/98.51 c #Conflicts: 37000 | #Constraints: 8354 98.23/98.51 c INPROCESSING 98.23/98.51 c GARBAGE COLLECT 98.23/98.51 c rational objective 3.99124e+06 105.91/106.23 c #Conflicts: 38000 | #Constraints: 5312 105.91/106.23 c #Conflicts: 39000 | #Constraints: 6316 105.91/106.23 c #Conflicts: 40000 | #Constraints: 7320 105.91/106.23 c #Conflicts: 41000 | #Constraints: 8325 105.91/106.23 c INPROCESSING 105.91/106.23 c GARBAGE COLLECT 105.91/106.23 c rational objective 3.99124e+06 116.68/117.06 c bounds 6885897 >= 1564672 @ 104.333 116.68/117.06 c bounds 6885893 >= 1564672 @ 104.79 116.68/117.06 c bounds 6885873 >= 1564672 @ 104.84 116.68/117.06 c bounds 6885863 >= 1564672 @ 104.864 116.68/117.06 c bounds 6885861 >= 1564672 @ 104.884 116.68/117.06 c bounds 6885851 >= 1564672 @ 105.329 116.68/117.06 c bounds 6885595 >= 1564672 @ 105.431 116.68/117.06 c #Conflicts: 42000 | #Constraints: 5115 116.68/117.06 c bounds 6885591 >= 1564672 @ 105.553 116.68/117.06 c bounds 6885583 >= 1564672 @ 105.618 116.68/117.06 c bounds 6885563 >= 1564672 @ 105.633 116.68/117.06 c bounds 6885561 >= 1564672 @ 106.123 116.68/117.06 c bounds 6885559 >= 1564672 @ 106.177 116.68/117.06 c bounds 6788539 >= 1564672 @ 107.34 116.68/117.06 c bounds 6788535 >= 1564672 @ 107.43 116.68/117.06 c bounds 6788533 >= 1564672 @ 107.563 116.68/117.06 c bounds 6788453 >= 1564672 @ 107.65 116.68/117.06 c bounds 6788445 >= 1564672 @ 107.89 116.68/117.06 c #Conflicts: 43000 | #Constraints: 6129 116.68/117.06 c #Conflicts: 44000 | #Constraints: 7131 116.68/117.06 c #Conflicts: 45000 | #Constraints: 8136 116.68/117.06 c #Conflicts: 46000 | #Constraints: 9157 116.68/117.06 c INPROCESSING 116.68/117.06 c GARBAGE COLLECT 116.68/117.06 c rational objective 3.99124e+06 131.53/131.97 c bounds 6788441 >= 1564672 @ 115.069 131.53/131.97 c bounds 6788439 >= 1564672 @ 115.363 131.53/131.97 c bounds 6788183 >= 1564672 @ 115.38 131.53/131.97 c bounds 6788167 >= 1564672 @ 115.58 131.53/131.97 c bounds 6788163 >= 1564672 @ 116.297 131.53/131.97 c bounds 6788131 >= 1564672 @ 116.388 131.53/131.97 c bounds 6788121 >= 1564672 @ 116.71 131.53/131.97 c bounds 6788111 >= 1564672 @ 116.736 131.53/131.97 c bounds 6787983 >= 1564672 @ 116.778 131.53/131.97 c bounds 6787471 >= 1564672 @ 118.62 131.53/131.97 c #Conflicts: 47000 | #Constraints: 5716 131.53/131.97 c bounds 6685069 >= 1564672 @ 118.871 131.53/131.97 c bounds 6685065 >= 1564672 @ 119.014 131.53/131.97 c bounds 6517129 >= 1564672 @ 119.085 131.53/131.97 c bounds 6517125 >= 1564672 @ 119.108 131.53/131.97 c bounds 6517118 >= 1564672 @ 119.669 131.53/131.97 c bounds 6517116 >= 1564672 @ 119.697 131.53/131.97 c bounds 6517114 >= 1564672 @ 119.758 131.53/131.97 c bounds 6517112 >= 1564672 @ 120.729 131.53/131.97 c bounds 6517100 >= 1564672 @ 120.834 131.53/131.97 c #Conflicts: 48000 | #Constraints: 6728 131.53/131.97 c bounds 6517098 >= 1564672 @ 124.155 131.53/131.97 c #Conflicts: 49000 | #Constraints: 7732 131.53/131.97 c #Conflicts: 50000 | #Constraints: 8737 131.53/131.97 c #Conflicts: 51000 | #Constraints: 9757 131.53/131.97 c INPROCESSING 131.53/131.97 c GARBAGE COLLECT 131.53/131.97 c rational objective 3.99124e+06 144.49/144.93 c bounds 6517066 >= 1564672 @ 129.781 144.49/144.93 c bounds 6517064 >= 1564672 @ 130.02 144.49/144.93 c bounds 6517062 >= 1564672 @ 130.093 144.49/144.93 c bounds 6517060 >= 1564672 @ 130.122 144.49/144.93 c bounds 6517050 >= 1564672 @ 130.395 144.49/144.93 c bounds 6517042 >= 1564672 @ 130.445 144.49/144.93 c bounds 6517024 >= 1564672 @ 130.565 144.49/144.93 c bounds 6517022 >= 1564672 @ 130.578 144.49/144.93 c bounds 6517018 >= 1564672 @ 131.15 144.49/144.93 c bounds 6517008 >= 1564672 @ 131.519 144.49/144.93 c bounds 6517007 >= 1564672 @ 131.675 144.49/144.93 c bounds 6517001 >= 1564672 @ 132.119 144.49/144.93 c #Conflicts: 52000 | #Constraints: 6124 144.49/144.93 c #Conflicts: 53000 | #Constraints: 7127 144.49/144.93 c #Conflicts: 54000 | #Constraints: 8349 144.49/144.93 c #Conflicts: 55000 | #Constraints: 9350 144.49/144.93 c #Conflicts: 56000 | #Constraints: 10411 144.49/144.93 c INPROCESSING 144.49/144.93 c GARBAGE COLLECT 144.49/144.93 c rational objective 3.99125e+06 161.55/162.09 c bounds 6509833 >= 1564672 @ 142.479 161.55/162.09 c bounds 6509827 >= 1564672 @ 142.945 161.55/162.09 c bounds 6509799 >= 1564672 @ 143.126 161.55/162.09 c bounds 6509787 >= 1564672 @ 143.245 161.55/162.09 c bounds 6509775 >= 1564672 @ 143.725 161.55/162.09 c bounds 6509774 >= 1564672 @ 143.866 161.55/162.09 c bounds 6466270 >= 1564672 @ 144.034 161.55/162.09 c bounds 6466264 >= 1564672 @ 144.26 161.55/162.09 c bounds 6466262 >= 1564672 @ 144.696 161.55/162.09 c bounds 6403881 >= 1564672 @ 144.77 161.55/162.09 c bounds 6403875 >= 1564672 @ 144.812 161.55/162.09 c bounds 6403861 >= 1564672 @ 145.041 161.55/162.09 c bounds 6403849 >= 1564672 @ 145.6 161.55/162.09 c bounds 6265967 >= 1564672 @ 145.862 161.55/162.09 c #Conflicts: 57000 | #Constraints: 6462 161.55/162.09 c bounds 6265937 >= 1564672 @ 147.04 161.55/162.09 c bounds 6265905 >= 1564672 @ 147.17 161.55/162.09 c bounds 6265877 >= 1564672 @ 147.191 161.55/162.09 c bounds 6265785 >= 1564672 @ 147.21 161.55/162.09 c bounds 6265753 >= 1564672 @ 147.238 161.55/162.09 c bounds 6265725 >= 1564672 @ 147.608 161.55/162.09 c bounds 6265669 >= 1564672 @ 147.656 161.55/162.09 c bounds 6263833 >= 1564672 @ 147.812 161.55/162.09 c bounds 6263829 >= 1564672 @ 150.674 161.55/162.09 c bounds 6263823 >= 1564672 @ 150.718 161.55/162.09 c bounds 6263817 >= 1564672 @ 150.754 161.55/162.09 c bounds 6160393 >= 1564672 @ 150.82 161.55/162.09 c #Conflicts: 58000 | #Constraints: 7486 161.55/162.09 c bounds 6160385 >= 1564672 @ 152.066 161.55/162.09 c #Conflicts: 59000 | #Constraints: 8489 161.55/162.09 c #Conflicts: 60000 | #Constraints: 9494 161.55/162.09 c #Conflicts: 61000 | #Constraints: 10499 161.55/162.09 c INPROCESSING 161.55/162.09 c GARBAGE COLLECT 161.55/162.09 c rational objective 3.99217e+06 174.63/175.14 c bounds 6160384 >= 1564672 @ 159.488 174.63/175.14 c bounds 6160383 >= 1564672 @ 159.747 174.63/175.14 c bounds 6160381 >= 1564672 @ 159.764 174.63/175.14 c bounds 6160377 >= 1564672 @ 159.781 174.63/175.14 c bounds 6160369 >= 1564672 @ 159.811 174.63/175.14 c bounds 6160368 >= 1564672 @ 159.896 174.63/175.14 c bounds 6160351 >= 1564672 @ 159.985 174.63/175.14 c bounds 6160345 >= 1564672 @ 160.731 174.63/175.14 c bounds 6160337 >= 1564672 @ 160.781 174.63/175.14 c bounds 6160273 >= 1564672 @ 161.052 174.63/175.14 c bounds 6160243 >= 1564672 @ 161.09 174.63/175.14 c bounds 6160229 >= 1564672 @ 161.114 174.63/175.14 c bounds 6160227 >= 1564672 @ 161.471 174.63/175.14 c #Conflicts: 62000 | #Constraints: 6398 174.63/175.14 c bounds 6160226 >= 1564672 @ 163.909 174.63/175.14 c #Conflicts: 63000 | #Constraints: 7418 174.63/175.14 c #Conflicts: 64000 | #Constraints: 8444 174.63/175.14 c #Conflicts: 65000 | #Constraints: 9448 174.63/175.14 c #Conflicts: 66000 | #Constraints: 10462 174.63/175.14 c INPROCESSING 174.63/175.14 c GARBAGE COLLECT 174.63/175.14 c rational objective 3.99218e+06 190.28/190.83 c bounds 6159970 >= 1564672 @ 172.495 190.28/190.83 c #Conflicts: 67000 | #Constraints: 6183 190.28/190.83 c bounds 6159842 >= 1564672 @ 173.467 190.28/190.83 c bounds 6159330 >= 1564672 @ 173.993 190.28/190.83 c bounds 6159329 >= 1564672 @ 174.263 190.28/190.83 c bounds 6159328 >= 1564672 @ 174.837 190.28/190.83 c bounds 6159326 >= 1564672 @ 174.86 190.28/190.83 c bounds 6159322 >= 1564672 @ 174.881 190.28/190.83 c bounds 6159290 >= 1564672 @ 175.159 190.28/190.83 c bounds 6159289 >= 1564672 @ 175.446 190.28/190.83 c bounds 6159273 >= 1564672 @ 175.507 190.28/190.83 c bounds 6159268 >= 1564672 @ 175.676 190.28/190.83 c bounds 6159266 >= 1564672 @ 175.701 190.28/190.83 c bounds 6159168 >= 1564672 @ 176.97 190.28/190.83 c bounds 6159167 >= 1564672 @ 177.045 190.28/190.83 c bounds 6159039 >= 1564672 @ 177.279 190.28/190.83 c bounds 6159025 >= 1564672 @ 177.458 190.28/190.83 c bounds 6113971 >= 1564672 @ 177.522 190.28/190.83 c bounds 6113887 >= 1564672 @ 177.597 190.28/190.83 c #Conflicts: 68000 | #Constraints: 7203 190.28/190.83 c bounds 6113885 >= 1564672 @ 178.138 190.28/190.83 c bounds 6113883 >= 1564672 @ 178.202 190.28/190.83 c bounds 6113882 >= 1564672 @ 178.631 190.28/190.83 c #Conflicts: 69000 | #Constraints: 8206 190.28/190.83 c #Conflicts: 70000 | #Constraints: 9207 190.28/190.83 c #Conflicts: 71000 | #Constraints: 10209 190.28/190.83 c #Conflicts: 72000 | #Constraints: 11211 190.28/190.83 c INPROCESSING 190.28/190.83 c GARBAGE COLLECT 190.28/190.83 c rational objective 3.99125e+06 207.54/208.17 c bounds 6113854 >= 1564672 @ 188.186 207.54/208.17 c bounds 6113840 >= 1564672 @ 188.379 207.54/208.17 c bounds 6113826 >= 1564672 @ 188.527 207.54/208.17 c bounds 6113812 >= 1564672 @ 189.572 207.54/208.17 c bounds 6113798 >= 1564672 @ 190.149 207.54/208.17 c #Conflicts: 73000 | #Constraints: 6740 207.54/208.17 c bounds 6111750 >= 1564672 @ 192.35 207.54/208.17 c bounds 6111749 >= 1564672 @ 192.463 207.54/208.17 c bounds 6111748 >= 1564672 @ 192.836 207.54/208.17 c bounds 6111747 >= 1564672 @ 193.099 207.54/208.17 c bounds 6111745 >= 1564672 @ 193.299 207.54/208.17 c bounds 6111741 >= 1564672 @ 193.355 207.54/208.17 c bounds 6111737 >= 1564672 @ 193.88 207.54/208.17 c bounds 6111736 >= 1564672 @ 194.542 207.54/208.17 c bounds 6109688 >= 1564672 @ 194.662 207.54/208.17 c bounds 6099448 >= 1564672 @ 194.691 207.54/208.17 c bounds 6099447 >= 1564672 @ 195.341 207.54/208.17 c #Conflicts: 74000 | #Constraints: 7753 207.54/208.17 c #Conflicts: 75000 | #Constraints: 8756 207.54/208.17 c #Conflicts: 76000 | #Constraints: 9757 207.54/208.17 c #Conflicts: 77000 | #Constraints: 10757 207.54/208.17 c #Conflicts: 78000 | #Constraints: 11780 207.54/208.17 c INPROCESSING 207.54/208.17 c GARBAGE COLLECT 207.54/208.17 c rational objective 3.99125e+06 222.71/223.31 c bounds 6093611 >= 1564672 @ 205.092 222.71/223.31 c bounds 6093603 >= 1564672 @ 205.118 222.71/223.31 c bounds 6091555 >= 1564672 @ 205.421 222.71/223.31 c bounds 6091531 >= 1564672 @ 205.559 222.71/223.31 c bounds 6091517 >= 1564672 @ 205.98 222.71/223.31 c bounds 6091489 >= 1564672 @ 206.006 222.71/223.31 c #Conflicts: 79000 | #Constraints: 7149 222.71/223.31 c #Conflicts: 80000 | #Constraints: 8152 222.71/223.31 c bounds 6091475 >= 1564672 @ 211.626 222.71/223.31 c #Conflicts: 81000 | #Constraints: 9160 222.71/223.31 c #Conflicts: 82000 | #Constraints: 10169 222.71/223.31 c #Conflicts: 83000 | #Constraints: 11172 222.71/223.31 c #Conflicts: 84000 | #Constraints: 12177 222.71/223.31 c INPROCESSING 222.71/223.31 c GARBAGE COLLECT 222.71/223.31 c rational objective 3.99125e+06 238.37/239.05 c bounds 6091461 >= 1564672 @ 220.065 238.37/239.05 c bounds 6091445 >= 1564672 @ 221.951 238.37/239.05 c bounds 6091413 >= 1564672 @ 221.971 238.37/239.05 c #Conflicts: 85000 | #Constraints: 7334 238.37/239.05 c bounds 6091401 >= 1564672 @ 222.994 238.37/239.05 c bounds 6091393 >= 1564672 @ 223.256 238.37/239.05 c bounds 6091385 >= 1564672 @ 223.281 238.37/239.05 c bounds 6091377 >= 1564672 @ 224.069 238.37/239.05 c #Conflicts: 86000 | #Constraints: 8343 238.37/239.05 c bounds 6091363 >= 1564672 @ 227.424 238.37/239.05 c #Conflicts: 87000 | #Constraints: 9349 238.37/239.05 c #Conflicts: 88000 | #Constraints: 10350 238.37/239.05 c #Conflicts: 89000 | #Constraints: 11356 238.37/239.05 c #Conflicts: 90000 | #Constraints: 12357 238.37/239.05 c INPROCESSING 238.37/239.05 c GARBAGE COLLECT 238.37/239.05 c rational objective 3.99168e+06 274.48/275.23 c bounds 6091349 >= 1564672 @ 237.079 274.48/275.23 c bounds 6091093 >= 1564672 @ 237.096 274.48/275.23 c bounds 6065685 >= 1564672 @ 237.319 274.48/275.23 c bounds 6032793 >= 1564672 @ 237.495 274.48/275.23 c bounds 6032785 >= 1564672 @ 237.52 274.48/275.23 c bounds 6032777 >= 1564672 @ 237.61 274.48/275.23 c bounds 6032769 >= 1564672 @ 237.628 274.48/275.23 c #Conflicts: 91000 | #Constraints: 7332 274.48/275.23 c bounds 6032745 >= 1564672 @ 238.739 274.48/275.23 c bounds 6032745 >= 1624064 @ 238.747 274.48/275.23 c #Conflicts: 92000 | #Constraints: 8344 274.48/275.23 c #Conflicts: 93000 | #Constraints: 9347 274.48/275.23 c #Conflicts: 94000 | #Constraints: 10350 274.48/275.23 c #Conflicts: 95000 | #Constraints: 11352 274.48/275.23 c #Conflicts: 96000 | #Constraints: 12352 274.48/275.23 c INPROCESSING 274.48/275.23 c GARBAGE COLLECT 274.48/275.23 c bounds 6032681 >= 1624064 @ 252.456 274.48/275.23 c bounds 6032665 >= 1624064 @ 252.471 274.48/275.23 c bounds 6032664 >= 1624064 @ 252.503 274.48/275.23 c #Conflicts: 97000 | #Constraints: 7125 274.48/275.23 c #Conflicts: 98000 | #Constraints: 8132 274.48/275.23 c #Conflicts: 99000 | #Constraints: 9132 274.48/275.23 c bounds 6032654 >= 1624064 @ 260.592 274.48/275.23 c bounds 6032653 >= 1624064 @ 260.714 274.48/275.23 c bounds 6032650 >= 1624064 @ 260.754 274.48/275.23 c bounds 6032649 >= 1624064 @ 260.887 274.48/275.23 c bounds 6032647 >= 1624064 @ 260.917 274.48/275.23 c #Conflicts: 100000 | #Constraints: 10137 274.48/275.23 c bounds 6032557 >= 1624064 @ 262.196 274.48/275.23 c bounds 6032555 >= 1624064 @ 262.252 274.48/275.23 c bounds 6032171 >= 1624064 @ 264.821 274.48/275.23 c #Conflicts: 101000 | #Constraints: 11142 274.48/275.23 c #Conflicts: 102000 | #Constraints: 12144 274.48/275.23 c #Conflicts: 103000 | #Constraints: 13146 274.48/275.23 c INPROCESSING 274.48/275.23 c GARBAGE COLLECT 274.48/275.23 c rational objective 3.99168e+06 340.32/341.23 c bounds 6032165 >= 1624064 @ 272.243 340.32/341.23 c bounds 6032163 >= 1624064 @ 272.267 340.32/341.23 c bounds 6032161 >= 1624064 @ 272.451 340.32/341.23 c bounds 6032159 >= 1624064 @ 272.506 340.32/341.23 c bounds 6032145 >= 1624064 @ 272.543 340.32/341.23 c bounds 6032143 >= 1624064 @ 272.57 340.32/341.23 c bounds 6032133 >= 1624064 @ 272.74 340.32/341.23 c bounds 6032127 >= 1624064 @ 272.797 340.32/341.23 c bounds 6032115 >= 1624064 @ 272.816 340.32/341.23 c bounds 6032114 >= 1624064 @ 274.434 340.32/341.23 c bounds 6032114 >= 1681408 @ 274.438 340.32/341.23 c #Conflicts: 104000 | #Constraints: 7731 340.32/341.23 c #Conflicts: 105000 | #Constraints: 8731 340.32/341.23 c #Conflicts: 106000 | #Constraints: 9734 340.32/341.23 c #Conflicts: 107000 | #Constraints: 10735 340.32/341.23 c #Conflicts: 108000 | #Constraints: 11736 340.32/341.23 c #Conflicts: 109000 | #Constraints: 12738 340.32/341.23 c #Conflicts: 110000 | #Constraints: 13738 340.32/341.23 c INPROCESSING 340.32/341.23 c GARBAGE COLLECT 340.32/341.23 c bounds 6032034 >= 1681408 @ 292.522 340.32/341.23 c bounds 6031994 >= 1681408 @ 292.542 340.32/341.23 c bounds 6031866 >= 1681408 @ 293.953 340.32/341.23 c bounds 6031865 >= 1681408 @ 295.183 340.32/341.23 c bounds 6031864 >= 1681408 @ 295.216 340.32/341.23 c bounds 6031863 >= 1681408 @ 295.609 340.32/341.23 c bounds 6031862 >= 1681408 @ 295.641 340.32/341.23 c bounds 6031859 >= 1681408 @ 295.764 340.32/341.23 c bounds 6031849 >= 1681408 @ 296.223 340.32/341.23 c bounds 6031843 >= 1681408 @ 296.262 340.32/341.23 c bounds 6031841 >= 1681408 @ 296.29 340.32/341.23 c #Conflicts: 111000 | #Constraints: 8133 340.32/341.23 c bounds 6031831 >= 1681408 @ 296.522 340.32/341.23 c bounds 6031817 >= 1681408 @ 296.592 340.32/341.23 c bounds 6031793 >= 1681408 @ 297.13 340.32/341.23 c bounds 6031769 >= 1681408 @ 297.417 340.32/341.23 c bounds 6031733 >= 1681408 @ 297.494 340.32/341.23 c bounds 6031723 >= 1681408 @ 297.534 340.32/341.23 c bounds 5956199 >= 1681408 @ 298.722 340.32/341.23 c bounds 5956183 >= 1681408 @ 299.263 340.32/341.23 c bounds 5956182 >= 1681408 @ 299.53 340.32/341.23 c bounds 5956158 >= 1681408 @ 300.314 340.32/341.23 c bounds 5956110 >= 1681408 @ 300.377 340.32/341.23 c bounds 5956079 >= 1681408 @ 300.759 340.32/341.23 c bounds 5956055 >= 1681408 @ 301.078 340.32/341.23 c bounds 5955863 >= 1681408 @ 301.232 340.32/341.23 c bounds 5955799 >= 1681408 @ 301.693 340.32/341.23 c #Conflicts: 112000 | #Constraints: 9148 340.32/341.23 c bounds 5955751 >= 1681408 @ 302.238 340.32/341.23 c bounds 5955655 >= 1681408 @ 302.756 340.32/341.23 c bounds 5955271 >= 1681408 @ 303.052 340.32/341.23 c bounds 5955265 >= 1681408 @ 304.209 340.32/341.23 c #Conflicts: 113000 | #Constraints: 10152 340.32/341.23 c bounds 5954497 >= 1681408 @ 310.359 340.32/341.23 c bounds 5954497 >= 1736704 @ 310.374 340.32/341.23 c #Conflicts: 114000 | #Constraints: 11156 340.32/341.23 c #Conflicts: 115000 | #Constraints: 12157 340.32/341.23 c #Conflicts: 116000 | #Constraints: 13164 340.32/341.23 c #Conflicts: 117000 | #Constraints: 14165 340.32/341.23 c INPROCESSING 340.32/341.23 c GARBAGE COLLECT 340.32/341.23 c bounds 5944388 >= 1736704 @ 320.22 340.32/341.23 c #Conflicts: 118000 | #Constraints: 8333 340.32/341.23 c #Conflicts: 119000 | #Constraints: 9334 340.32/341.23 c #Conflicts: 120000 | #Constraints: 10340 340.32/341.23 c #Conflicts: 121000 | #Constraints: 11346 340.32/341.23 c #Conflicts: 122000 | #Constraints: 12349 340.32/341.23 c #Conflicts: 123000 | #Constraints: 13352 340.32/341.23 c #Conflicts: 124000 | #Constraints: 14352 340.32/341.23 c INPROCESSING 340.32/341.23 c GARBAGE COLLECT 340.32/341.23 c rational objective 3.99168e+06 411.35/412.47 c bounds 5913668 >= 1736704 @ 336.797 411.35/412.47 c bounds 5913650 >= 1736704 @ 337.092 411.35/412.47 c bounds 5913614 >= 1736704 @ 337.117 411.35/412.47 c bounds 5913542 >= 1736704 @ 337.142 411.35/412.47 c bounds 5913398 >= 1736704 @ 337.389 411.35/412.47 c bounds 5913386 >= 1736704 @ 339.596 411.35/412.47 c #Conflicts: 125000 | #Constraints: 8350 411.35/412.47 c bounds 5912874 >= 1736704 @ 339.969 411.35/412.47 c bounds 5912868 >= 1736704 @ 340.004 411.35/412.47 c bounds 5912856 >= 1736704 @ 340.487 411.35/412.47 c bounds 5912850 >= 1736704 @ 341.097 411.35/412.47 c bounds 5912814 >= 1736704 @ 341.139 411.35/412.47 c bounds 5906670 >= 1736704 @ 341.361 411.35/412.47 c bounds 5902118 >= 1736704 @ 341.708 411.35/412.47 c bounds 5902106 >= 1736704 @ 341.757 411.35/412.47 c #Conflicts: 126000 | #Constraints: 9362 411.35/412.47 c bounds 5873130 >= 1736704 @ 344.04 411.35/412.47 c bounds 5873002 >= 1736704 @ 344.087 411.35/412.47 c bounds 5871978 >= 1736704 @ 344.185 411.35/412.47 c bounds 5871970 >= 1736704 @ 347.125 411.35/412.47 c bounds 5871962 >= 1736704 @ 347.465 411.35/412.47 c #Conflicts: 127000 | #Constraints: 10372 411.35/412.47 c bounds 5871952 >= 1736704 @ 350.454 411.35/412.47 c #Conflicts: 128000 | #Constraints: 11383 411.35/412.47 c #Conflicts: 129000 | #Constraints: 12387 411.35/412.47 c #Conflicts: 130000 | #Constraints: 13392 411.35/412.47 c #Conflicts: 131000 | #Constraints: 14396 411.35/412.47 c INPROCESSING 411.35/412.47 c GARBAGE COLLECT 411.35/412.47 c bounds 5871696 >= 1736704 @ 362.284 411.35/412.47 c bounds 5871688 >= 1736704 @ 362.319 411.35/412.47 c bounds 5871680 >= 1736704 @ 362.84 411.35/412.47 c #Conflicts: 132000 | #Constraints: 8150 411.35/412.47 c bounds 5871672 >= 1736704 @ 364.697 411.35/412.47 c bounds 5871664 >= 1736704 @ 364.724 411.35/412.47 c bounds 5871656 >= 1736704 @ 364.744 411.35/412.47 c bounds 5871624 >= 1736704 @ 364.798 411.35/412.47 c bounds 5871616 >= 1736704 @ 364.983 411.35/412.47 c #Conflicts: 133000 | #Constraints: 9155 411.35/412.47 c bounds 5871456 >= 1736704 @ 367.188 411.35/412.47 c bounds 5871446 >= 1736704 @ 367.273 411.35/412.47 c bounds 5871426 >= 1736704 @ 367.586 411.35/412.47 c bounds 5871386 >= 1736704 @ 367.621 411.35/412.47 c bounds 5871306 >= 1736704 @ 368.505 411.35/412.47 c bounds 5870986 >= 1736704 @ 369.706 411.35/412.47 c #Conflicts: 134000 | #Constraints: 10162 411.35/412.47 c #Conflicts: 135000 | #Constraints: 11166 411.35/412.47 c #Conflicts: 136000 | #Constraints: 12172 411.35/412.47 c #Conflicts: 137000 | #Constraints: 13207 411.35/412.47 c #Conflicts: 138000 | #Constraints: 14208 411.35/412.47 c #Conflicts: 139000 | #Constraints: 15208 411.35/412.47 c INPROCESSING 411.35/412.47 c GARBAGE COLLECT 411.35/412.47 c bounds 5870506 >= 1736704 @ 382.518 411.35/412.47 c bounds 5870490 >= 1736704 @ 382.542 411.35/412.47 c bounds 5870482 >= 1736704 @ 382.78 411.35/412.47 c bounds 5870474 >= 1736704 @ 382.815 411.35/412.47 c bounds 5868434 >= 1736704 @ 383.681 411.35/412.47 c bounds 5868426 >= 1736704 @ 384.01 411.35/412.47 c bounds 5860234 >= 1736704 @ 384.069 411.35/412.47 c bounds 5853594 >= 1736704 @ 384.226 411.35/412.47 c bounds 5853586 >= 1736704 @ 384.243 411.35/412.47 c #Conflicts: 140000 | #Constraints: 8774 411.35/412.47 c #Conflicts: 141000 | #Constraints: 9777 411.35/412.47 c bounds 5853578 >= 1736704 @ 390.1 411.35/412.47 c bounds 5853074 >= 1736704 @ 390.266 411.35/412.47 c bounds 5853066 >= 1736704 @ 390.372 411.35/412.47 c bounds 5853058 >= 1736704 @ 394.552 411.35/412.47 c #Conflicts: 142000 | #Constraints: 10784 411.35/412.47 c #Conflicts: 143000 | #Constraints: 11785 411.35/412.47 c #Conflicts: 144000 | #Constraints: 12786 411.35/412.47 c #Conflicts: 145000 | #Constraints: 13786 411.35/412.47 c #Conflicts: 146000 | #Constraints: 14789 411.35/412.47 c #Conflicts: 147000 | #Constraints: 15793 411.35/412.47 c INPROCESSING 411.35/412.47 c GARBAGE COLLECT 411.35/412.47 c rational objective 3.99168e+06 438.78/439.94 c bounds 5827458 >= 1736704 @ 407.316 438.78/439.94 c bounds 5827442 >= 1736704 @ 407.501 438.78/439.94 c bounds 5827314 >= 1736704 @ 407.549 438.78/439.94 c bounds 5827282 >= 1736704 @ 408.128 438.78/439.94 c bounds 5764818 >= 1736704 @ 409.179 438.78/439.94 c bounds 5762770 >= 1736704 @ 409.217 438.78/439.94 c bounds 5756626 >= 1736704 @ 409.819 438.78/439.94 c bounds 5756618 >= 1736704 @ 409.842 438.78/439.94 c #Conflicts: 148000 | #Constraints: 9173 438.78/439.94 c bounds 5756554 >= 1736704 @ 411.489 438.78/439.94 c bounds 5756306 >= 1736704 @ 411.537 438.78/439.94 c bounds 5750162 >= 1736704 @ 413.611 438.78/439.94 c #Conflicts: 149000 | #Constraints: 10181 438.78/439.94 c #Conflicts: 150000 | #Constraints: 11183 438.78/439.94 c #Conflicts: 151000 | #Constraints: 12184 438.78/439.94 c #Conflicts: 152000 | #Constraints: 13184 438.78/439.94 c #Conflicts: 153000 | #Constraints: 14184 438.78/439.94 c #Conflicts: 154000 | #Constraints: 15185 438.78/439.94 c #Conflicts: 155000 | #Constraints: 16186 438.78/439.94 c INPROCESSING 438.78/439.94 c GARBAGE COLLECT 438.78/439.94 c rational objective 3.99235e+06 645.67/647.32 c bounds 5750152 >= 1736704 @ 436.88 645.67/647.32 c bounds 5749640 >= 1736704 @ 437.471 645.67/647.32 c bounds 5745544 >= 1736704 @ 437.855 645.67/647.32 c #Conflicts: 156000 | #Constraints: 9361 645.67/647.32 c bounds 5745536 >= 1736704 @ 440.309 645.67/647.32 c bounds 5720320 >= 1736704 @ 441.437 645.67/647.32 c bounds 5720300 >= 1736704 @ 441.685 645.67/647.32 c bounds 5720260 >= 1736704 @ 441.711 645.67/647.32 c bounds 5646532 >= 1736704 @ 441.758 645.67/647.32 c bounds 5646522 >= 1736704 @ 442.026 645.67/647.32 c bounds 5646442 >= 1736704 @ 442.449 645.67/647.32 c bounds 5646282 >= 1736704 @ 442.608 645.67/647.32 c bounds 5618390 >= 1736704 @ 442.855 645.67/647.32 c #Conflicts: 157000 | #Constraints: 10372 645.67/647.32 c bounds 5618374 >= 1736704 @ 444.466 645.67/647.32 c bounds 5618372 >= 1736704 @ 444.638 645.67/647.32 c bounds 5618370 >= 1736704 @ 444.687 645.67/647.32 c bounds 5618368 >= 1736704 @ 445.729 645.67/647.32 c bounds 5618364 >= 1736704 @ 446.308 645.67/647.32 c bounds 5618362 >= 1736704 @ 446.38 645.67/647.32 c bounds 5618354 >= 1736704 @ 446.488 645.67/647.32 c bounds 5618338 >= 1736704 @ 448.258 645.67/647.32 c bounds 5618306 >= 1736704 @ 448.394 645.67/647.32 c bounds 5618050 >= 1736704 @ 448.501 645.67/647.32 c #Conflicts: 158000 | #Constraints: 11384 645.67/647.32 c bounds 5618048 >= 1736704 @ 452.823 645.67/647.32 c #Conflicts: 159000 | #Constraints: 12390 645.67/647.32 c #Conflicts: 160000 | #Constraints: 13391 645.67/647.32 c #Conflicts: 161000 | #Constraints: 14393 645.67/647.32 c #Conflicts: 162000 | #Constraints: 15394 645.67/647.32 c #Conflicts: 163000 | #Constraints: 16394 645.67/647.32 c INPROCESSING 645.67/647.32 c GARBAGE COLLECT 645.67/647.32 c bounds 5617984 >= 1736704 @ 479.624 645.67/647.32 c bounds 5617952 >= 1736704 @ 479.666 645.67/647.32 c bounds 5617936 >= 1736704 @ 479.819 645.67/647.32 c #Conflicts: 164000 | #Constraints: 9361 645.67/647.32 c bounds 5617904 >= 1736704 @ 483.665 645.67/647.32 c bounds 5617840 >= 1736704 @ 483.692 645.67/647.32 c bounds 5617808 >= 1736704 @ 483.72 645.67/647.32 c bounds 5617804 >= 1736704 @ 484.401 645.67/647.32 c bounds 5617686 >= 1736704 @ 484.866 645.67/647.32 c bounds 5617684 >= 1736704 @ 484.942 645.67/647.32 c bounds 5617682 >= 1736704 @ 484.995 645.67/647.32 c bounds 5617678 >= 1736704 @ 485.045 645.67/647.32 c bounds 5617676 >= 1736704 @ 485.188 645.67/647.32 c bounds 5617672 >= 1736704 @ 485.991 645.67/647.32 c #Conflicts: 165000 | #Constraints: 10372 645.67/647.32 c bounds 5617670 >= 1736704 @ 486.318 645.67/647.32 c #Conflicts: 166000 | #Constraints: 11374 645.67/647.32 c bounds 5617158 >= 1736704 @ 491.286 645.67/647.32 c bounds 5617150 >= 1736704 @ 494.924 645.67/647.32 c bounds 5617146 >= 1736704 @ 495.016 645.67/647.32 c bounds 5617146 >= 1784832 @ 495.044 645.67/647.32 c #Conflicts: 167000 | #Constraints: 12382 645.67/647.32 c bounds 5617142 >= 1784832 @ 495.739 645.67/647.32 c #Conflicts: 168000 | #Constraints: 13384 645.67/647.32 c #Conflicts: 169000 | #Constraints: 14385 645.67/647.32 c #Conflicts: 170000 | #Constraints: 15385 645.67/647.32 c #Conflicts: 171000 | #Constraints: 16386 645.67/647.32 c INPROCESSING 645.67/647.32 c GARBAGE COLLECT 645.67/647.32 c bounds 5617126 >= 1784832 @ 536.731 645.67/647.32 c bounds 5617062 >= 1784832 @ 537.008 645.67/647.32 c bounds 5617030 >= 1784832 @ 537.054 645.67/647.32 c bounds 5617028 >= 1784832 @ 538.967 645.67/647.32 c #Conflicts: 172000 | #Constraints: 9153 645.67/647.32 c bounds 5616902 >= 1784832 @ 542.096 645.67/647.32 c bounds 5616900 >= 1784832 @ 542.473 645.67/647.32 c bounds 5616646 >= 1784832 @ 542.504 645.67/647.32 c bounds 5575686 >= 1784832 @ 542.876 645.67/647.32 c #Conflicts: 173000 | #Constraints: 10157 645.67/647.32 c bounds 5575684 >= 1784832 @ 545.303 645.67/647.32 c bounds 5574668 >= 1784832 @ 545.366 645.67/647.32 c bounds 5574662 >= 1784832 @ 545.814 645.67/647.32 c #Conflicts: 174000 | #Constraints: 11160 645.67/647.32 c #Conflicts: 175000 | #Constraints: 12160 645.67/647.32 c bounds 5574660 >= 1784832 @ 559.89 645.67/647.32 c bounds 5571594 >= 1784832 @ 563.214 645.67/647.32 c #Conflicts: 176000 | #Constraints: 13162 645.67/647.32 c #Conflicts: 177000 | #Constraints: 14162 645.67/647.32 c #Conflicts: 178000 | #Constraints: 15165 645.67/647.32 c #Conflicts: 179000 | #Constraints: 16167 645.67/647.32 c #Conflicts: 180000 | #Constraints: 17176 645.67/647.32 c INPROCESSING 645.67/647.32 c GARBAGE COLLECT 645.67/647.32 c bounds 5563402 >= 1784832 @ 612.943 645.67/647.32 c bounds 5530634 >= 1784832 @ 613.193 645.67/647.32 c bounds 5527562 >= 1784832 @ 613.581 645.67/647.32 c #Conflicts: 181000 | #Constraints: 9737 645.67/647.32 c bounds 5415946 >= 1784832 @ 617.261 645.67/647.32 c bounds 5296138 >= 1784832 @ 617.329 645.67/647.32 c bounds 5295114 >= 1784832 @ 618.561 645.67/647.32 c #Conflicts: 182000 | #Constraints: 10740 645.67/647.32 c #Conflicts: 183000 | #Constraints: 11743 645.67/647.32 c #Conflicts: 184000 | #Constraints: 12752 645.67/647.32 c #Conflicts: 185000 | #Constraints: 13757 645.67/647.32 c bounds 5295104 >= 1784832 @ 634.954 645.67/647.32 c #Conflicts: 186000 | #Constraints: 14765 645.67/647.32 c #Conflicts: 187000 | #Constraints: 15765 996.98/999.52 c #Conflicts: 188000 | #Constraints: 16769 996.98/999.52 c #Conflicts: 189000 | #Constraints: 17769 996.98/999.52 c INPROCESSING 996.98/999.52 c GARBAGE COLLECT 996.98/999.52 c #Conflicts: 190000 | #Constraints: 10113 996.98/999.52 c #Conflicts: 191000 | #Constraints: 11113 996.98/999.52 c #Conflicts: 192000 | #Constraints: 12115 996.98/999.52 c #Conflicts: 193000 | #Constraints: 13115 996.98/999.52 c #Conflicts: 194000 | #Constraints: 14115 996.98/999.52 c #Conflicts: 195000 | #Constraints: 15115 996.98/999.52 c #Conflicts: 196000 | #Constraints: 16115 996.98/999.52 c #Conflicts: 197000 | #Constraints: 17115 996.98/999.52 c #Conflicts: 198000 | #Constraints: 18115 996.98/999.52 c INPROCESSING 996.98/999.52 c GARBAGE COLLECT 996.98/999.52 c bounds 5286912 >= 1784832 @ 813.495 996.98/999.52 c bounds 5278720 >= 1784832 @ 815.337 996.98/999.52 c bounds 5270528 >= 1784832 @ 815.667 996.98/999.52 c bounds 5254144 >= 1784832 @ 815.715 996.98/999.52 c bounds 5245952 >= 1784832 @ 816.246 996.98/999.52 c bounds 5237760 >= 1784832 @ 816.983 996.98/999.52 c bounds 5229576 >= 1784832 @ 817.037 996.98/999.52 c bounds 5220360 >= 1784832 @ 822.338 996.98/999.52 c bounds 5220352 >= 1784832 @ 823.286 996.98/999.52 c bounds 5212176 >= 1784832 @ 827.06 996.98/999.52 c bounds 5212168 >= 1784832 @ 827.155 996.98/999.52 c bounds 5212160 >= 1784832 @ 827.244 996.98/999.52 c #Conflicts: 199000 | #Constraints: 10324 996.98/999.52 c bounds 5060608 >= 1784832 @ 830.222 996.98/999.52 c bounds 5047287 >= 1784832 @ 831.388 996.98/999.52 c bounds 5047269 >= 1784832 @ 831.438 996.98/999.52 c bounds 5047233 >= 1784832 @ 831.494 996.98/999.52 c bounds 4949953 >= 1784832 @ 831.549 996.98/999.52 c bounds 4949809 >= 1784832 @ 833.485 996.98/999.52 c bounds 4949800 >= 1784832 @ 834.901 996.98/999.52 c bounds 4949791 >= 1784832 @ 834.948 996.98/999.52 c bounds 4949773 >= 1784832 @ 835.184 996.98/999.52 c bounds 4949737 >= 1784832 @ 835.255 996.98/999.52 c bounds 4930374 >= 1784832 @ 835.686 996.98/999.52 c #Conflicts: 200000 | #Constraints: 11335 996.98/999.52 c bounds 4930182 >= 1784832 @ 838.298 996.98/999.52 c #Conflicts: 201000 | #Constraints: 12336 996.98/999.52 c bounds 4930176 >= 1784832 @ 848.942 996.98/999.52 c #Conflicts: 202000 | #Constraints: 13337 996.98/999.52 c #Conflicts: 203000 | #Constraints: 14337 996.98/999.52 c bounds 4930164 >= 1784832 @ 864.26 996.98/999.52 c bounds 4930158 >= 1784832 @ 864.365 996.98/999.52 c bounds 4930134 >= 1784832 @ 864.434 996.98/999.52 c bounds 4930086 >= 1784832 @ 864.497 996.98/999.52 c #Conflicts: 204000 | #Constraints: 15343 996.98/999.52 c #Conflicts: 205000 | #Constraints: 16344 996.98/999.52 c #Conflicts: 206000 | #Constraints: 17344 996.98/999.52 c #Conflicts: 207000 | #Constraints: 18345 996.98/999.52 c INPROCESSING 996.98/999.52 c GARBAGE COLLECT 996.98/999.52 c #Conflicts: 208000 | #Constraints: 10296 996.98/999.52 c #Conflicts: 209000 | #Constraints: 11300 996.98/999.52 c #Conflicts: 210000 | #Constraints: 12302 996.98/999.52 c #Conflicts: 211000 | #Constraints: 13302 996.98/999.52 c #Conflicts: 212000 | #Constraints: 14307 996.98/999.52 c #Conflicts: 213000 | #Constraints: 15308 996.98/999.52 c #Conflicts: 214000 | #Constraints: 16308 996.98/999.52 c #Conflicts: 215000 | #Constraints: 17309 996.98/999.52 c #Conflicts: 216000 | #Constraints: 18311 996.98/999.52 c INPROCESSING 996.98/999.52 c GARBAGE COLLECT 996.98/999.52 c rational objective 3.99194e+06 1922.99/1928.02 c bounds 4929990 >= 1784832 @ 989.28 1922.99/1928.02 c bounds 4929798 >= 1784832 @ 989.347 1922.99/1928.02 c #Conflicts: 217000 | #Constraints: 10147 1922.99/1928.02 c #Conflicts: 218000 | #Constraints: 11147 1922.99/1928.02 c #Conflicts: 219000 | #Constraints: 12147 1922.99/1928.02 c #Conflicts: 220000 | #Constraints: 13149 1922.99/1928.02 c #Conflicts: 221000 | #Constraints: 14149 1922.99/1928.02 c #Conflicts: 222000 | #Constraints: 15149 1922.99/1928.02 c #Conflicts: 223000 | #Constraints: 16149 1922.99/1928.02 c #Conflicts: 224000 | #Constraints: 17149 1922.99/1928.02 c #Conflicts: 225000 | #Constraints: 18150 1922.99/1928.02 c #Conflicts: 226000 | #Constraints: 19150 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c #Conflicts: 227000 | #Constraints: 10715 1922.99/1928.02 c #Conflicts: 228000 | #Constraints: 11715 1922.99/1928.02 c #Conflicts: 229000 | #Constraints: 12717 1922.99/1928.02 c #Conflicts: 230000 | #Constraints: 13718 1922.99/1928.02 c #Conflicts: 231000 | #Constraints: 14720 1922.99/1928.02 c #Conflicts: 232000 | #Constraints: 15723 1922.99/1928.02 c #Conflicts: 233000 | #Constraints: 16725 1922.99/1928.02 c #Conflicts: 234000 | #Constraints: 17726 1922.99/1928.02 c #Conflicts: 235000 | #Constraints: 18726 1922.99/1928.02 c #Conflicts: 236000 | #Constraints: 19726 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c #Conflicts: 237000 | #Constraints: 11135 1922.99/1928.02 c #Conflicts: 238000 | #Constraints: 12135 1922.99/1928.02 c #Conflicts: 239000 | #Constraints: 13136 1922.99/1928.02 c #Conflicts: 240000 | #Constraints: 14136 1922.99/1928.02 c #Conflicts: 241000 | #Constraints: 15136 1922.99/1928.02 c #Conflicts: 242000 | #Constraints: 16139 1922.99/1928.02 c #Conflicts: 243000 | #Constraints: 17140 1922.99/1928.02 c #Conflicts: 244000 | #Constraints: 18140 1922.99/1928.02 c #Conflicts: 245000 | #Constraints: 19142 1922.99/1928.02 c #Conflicts: 246000 | #Constraints: 20142 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c bounds 4922368 >= 1784832 @ 1252.16 1922.99/1928.02 c #Conflicts: 247000 | #Constraints: 11362 1922.99/1928.02 c #Conflicts: 248000 | #Constraints: 12364 1922.99/1928.02 c #Conflicts: 249000 | #Constraints: 13371 1922.99/1928.02 c #Conflicts: 250000 | #Constraints: 14371 1922.99/1928.02 c #Conflicts: 251000 | #Constraints: 15373 1922.99/1928.02 c bounds 4822016 >= 1784832 @ 1293.2 1922.99/1928.02 c #Conflicts: 252000 | #Constraints: 16383 1922.99/1928.02 c #Conflicts: 253000 | #Constraints: 17383 1922.99/1928.02 c #Conflicts: 254000 | #Constraints: 18383 1922.99/1928.02 c #Conflicts: 255000 | #Constraints: 19383 1922.99/1928.02 c #Conflicts: 256000 | #Constraints: 20383 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c #Conflicts: 257000 | #Constraints: 11360 1922.99/1928.02 c #Conflicts: 258000 | #Constraints: 12360 1922.99/1928.02 c #Conflicts: 259000 | #Constraints: 13360 1922.99/1928.02 c #Conflicts: 260000 | #Constraints: 14364 1922.99/1928.02 c #Conflicts: 261000 | #Constraints: 15366 1922.99/1928.02 c #Conflicts: 262000 | #Constraints: 16368 1922.99/1928.02 c #Conflicts: 263000 | #Constraints: 17370 1922.99/1928.02 c #Conflicts: 264000 | #Constraints: 18396 1922.99/1928.02 c #Conflicts: 265000 | #Constraints: 19411 1922.99/1928.02 c #Conflicts: 266000 | #Constraints: 20417 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c #Conflicts: 267000 | #Constraints: 11122 1922.99/1928.02 c #Conflicts: 268000 | #Constraints: 12126 1922.99/1928.02 c #Conflicts: 269000 | #Constraints: 13128 1922.99/1928.02 c #Conflicts: 270000 | #Constraints: 14128 1922.99/1928.02 c #Conflicts: 271000 | #Constraints: 15130 1922.99/1928.02 c #Conflicts: 272000 | #Constraints: 16131 1922.99/1928.02 c #Conflicts: 273000 | #Constraints: 17131 1922.99/1928.02 c #Conflicts: 274000 | #Constraints: 18131 1922.99/1928.02 c #Conflicts: 275000 | #Constraints: 19133 1922.99/1928.02 c #Conflicts: 276000 | #Constraints: 20134 1922.99/1928.02 c #Conflicts: 277000 | #Constraints: 21137 1922.99/1928.02 c INPROCESSING 1922.99/1928.02 c GARBAGE COLLECT 1922.99/1928.02 c #Conflicts: 278000 | #Constraints: 11739 1922.99/1928.02 c #Conflicts: 279000 | #Constraints: 12739 1922.99/1928.02 c #Conflicts: 280000 | #Constraints: 13739 1922.99/1928.02 c #Conflicts: 281000 | #Constraints: 14739 1922.99/1928.02 c #Conflicts: 282000 | #Constraints: 15739 1922.99/1928.02 c #Conflicts: 283000 | #Constraints: 16739 1922.99/1928.02 c #Conflicts: 284000 | #Constraints: 17739 1922.99/1928.02 c #Conflicts: 285000 | #Constraints: 18739 1922.99/1928.02 c #Conflicts: 286000 | #Constraints: 19739 1922.99/1928.02 c #Conflicts: 287000 | #Constraints: 20739 1922.99/1928.02 c #Conflicts: 288000 | #Constraints: 21739 1922.99/1928.02 c INPROCESSING 2013.87/2019.17 c GARBAGE COLLECT 2013.87/2019.17 c #Conflicts: 289000 | #Constraints: 12167 2013.87/2019.17 c #Conflicts: 290000 | #Constraints: 13167 2013.87/2019.17 c #Conflicts: 291000 | #Constraints: 14179 2013.87/2019.17 c #Conflicts: 292000 | #Constraints: 15191 2013.87/2019.17 c #Conflicts: 293000 | #Constraints: 16192 2013.87/2019.17 c #Conflicts: 294000 | #Constraints: 17194 2013.87/2019.17 c #Conflicts: 295000 | #Constraints: 18195 2013.87/2019.17 c #Conflicts: 296000 | #Constraints: 19195 2013.87/2019.17 c #Conflicts: 297000 | #Constraints: 20196 2013.87/2019.17 c #Conflicts: 298000 | #Constraints: 21198 2013.87/2019.17 c #Conflicts: 299000 | #Constraints: 22199 2013.87/2019.17 c INPROCESSING 2013.87/2019.17 c GARBAGE COLLECT 2013.87/2019.17 c rational objective 3.99198e+06 3600.04/3609.30 c 3600.04/3609.30 s SATISFIABLE 3600.04/3609.30 v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 x341 x342 ~x343 x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 x401 ~x402 ~x403 ~x404 ~x405 x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 x762 x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 x1062 x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 x1541 x1542 ~x1543 x1544 x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 x2592 x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 x2771 x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 x3131 ~x3132 x3133 x3134 x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 x3461 x3462 ~x3463 x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 x3912 x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 x4543 ~x4544 x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 x4901 ~x4902 x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 x5261 ~x5262 ~x5263 ~x5264 ~x5265 x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 ~x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 x5982 x5983 x5984 x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 x6161 x6162 ~x6163 ~x6164 x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 ~x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 x6312 x6313 x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 x6342 ~x6343 x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 x6431 x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 x7391 x7392 x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 x7452 ~x7453 ~x7454 x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 x7812 ~x7813 x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 x7821 ~x7822 ~x7823 ~x7824 ~x7825 x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 x7836 ~x7837 ~x7838 ~x7839 ~x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 ~x7877 ~x7878 ~x7879 ~x7880 ~x7881 x7882 ~x7883 ~x7884 ~x7885 ~x7886 x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 x7893 ~x7894 ~x7895 ~x7896 ~x7897 ~x7898 ~x7899 ~x7900 ~x7901 ~x7902 ~x7903 ~x7904 x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 x7911 x7912 ~x7913 ~x7914 ~x7915 x7916 ~x7917 ~x7918 ~x7919 x7920 ~x7921 ~x7922 ~x7923 x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 x7950 ~x7951 x7952 ~x7953 ~x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 x7961 ~x7962 ~x7963 x7964 ~x7965 ~x7966 ~x7967 ~x7968 ~x7969 ~x7970 ~x7971 ~x7972 ~x7973 ~x7974 ~x7975 x7976 ~x7977 ~x7978 ~x7979 x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 x8006 ~x8007 ~x8008 ~x8009 ~x8010 x8011 x8012 ~x8013 ~x8014 x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 x8047 ~x8048 x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 ~x8059 ~x8060 3600.04/3609.30 c #Conflicts: 300000 | #Constraints: 12336 3600.04/3609.30 c #Conflicts: 301000 | #Constraints: 13336 3600.04/3609.30 c #Conflicts: 302000 | #Constraints: 14336 3600.04/3609.30 c #Conflicts: 303000 | #Constraints: 15336 3600.04/3609.30 c bounds 4815872 >= 1784832 @ 2024.3 3600.04/3609.30 c bounds 4728832 >= 1784832 @ 2024.43 3600.04/3609.30 c #Conflicts: 304000 | #Constraints: 16338 3600.04/3609.30 c #Conflicts: 305000 | #Constraints: 17338 3600.04/3609.30 c #Conflicts: 306000 | #Constraints: 18339 3600.04/3609.30 c #Conflicts: 307000 | #Constraints: 19340 3600.04/3609.30 c #Conflicts: 308000 | #Constraints: 20340 3600.04/3609.30 c #Conflicts: 309000 | #Constraints: 21340 3600.04/3609.30 c #Conflicts: 310000 | #Constraints: 22340 3600.04/3609.30 c INPROCESSING 3600.04/3609.30 c GARBAGE COLLECT 3600.04/3609.30 c #Conflicts: 311000 | #Constraints: 12305 3600.04/3609.30 c #Conflicts: 312000 | #Constraints: 13307 3600.04/3609.30 c #Conflicts: 313000 | #Constraints: 14308 3600.04/3609.30 c #Conflicts: 314000 | #Constraints: 15308 3600.04/3609.30 c #Conflicts: 315000 | #Constraints: 16308 3600.04/3609.30 c #Conflicts: 316000 | #Constraints: 17308 3600.04/3609.30 c #Conflicts: 317000 | #Constraints: 18308 3600.04/3609.30 c #Conflicts: 318000 | #Constraints: 19308 3600.04/3609.30 c #Conflicts: 319000 | #Constraints: 20308 3600.04/3609.30 c #Conflicts: 320000 | #Constraints: 21308 3600.04/3609.30 c #Conflicts: 321000 | #Constraints: 22308 3600.04/3609.30 c INPROCESSING 3600.04/3609.30 c GARBAGE COLLECT 3600.04/3609.30 c #Conflicts: 322000 | #Constraints: 12131 3600.04/3609.30 c #Conflicts: 323000 | #Constraints: 13132 3600.04/3609.30 c #Conflicts: 324000 | #Constraints: 14134 3600.04/3609.30 c #Conflicts: 325000 | #Constraints: 15135 3600.04/3609.30 c bounds 4707328 >= 1784832 @ 2635.66 3600.04/3609.30 c bounds 4687872 >= 1784832 @ 2638.68 3600.04/3609.30 c #Conflicts: 326000 | #Constraints: 16138 3600.04/3609.30 c #Conflicts: 327000 | #Constraints: 17139 3600.04/3609.30 c #Conflicts: 328000 | #Constraints: 18141 3600.04/3609.30 c #Conflicts: 329000 | #Constraints: 19144 3600.04/3609.30 c #Conflicts: 330000 | #Constraints: 20147 3600.04/3609.30 c #Conflicts: 331000 | #Constraints: 21151 3600.04/3609.30 c #Conflicts: 332000 | #Constraints: 22151 3600.04/3609.30 c bounds 4685824 >= 1784832 @ 2681.2 3600.04/3609.30 c #Conflicts: 333000 | #Constraints: 23154 3600.04/3609.30 c INPROCESSING 3600.04/3609.30 c GARBAGE COLLECT 3600.04/3609.30 c #Conflicts: 334000 | #Constraints: 12706 3600.04/3609.30 c #Conflicts: 335000 | #Constraints: 13707 3600.04/3609.30 c #Conflicts: 336000 | #Constraints: 14709 3600.04/3609.30 c #Conflicts: 337000 | #Constraints: 15717 3600.04/3609.30 c #Conflicts: 338000 | #Constraints: 16718 3600.04/3609.30 c #Conflicts: 339000 | #Constraints: 17718 3600.04/3609.30 c #Conflicts: 340000 | #Constraints: 18719 3600.04/3609.30 c #Conflicts: 341000 | #Constraints: 19720 3600.04/3609.30 c #Conflicts: 342000 | #Constraints: 20721 3600.04/3609.30 c #Conflicts: 343000 | #Constraints: 21721 3600.04/3609.30 c #Conflicts: 344000 | #Constraints: 22721 3600.04/3609.30 c #Conflicts: 345000 | #Constraints: 23722 3600.04/3609.30 c INPROCESSING 3600.04/3609.30 c GARBAGE COLLECT 3600.04/3609.30 c #Conflicts: 346000 | #Constraints: 13099 3600.04/3609.30 c #Conflicts: 347000 | #Constraints: 14099 3600.04/3609.30 c #Conflicts: 348000 | #Constraints: 15099 3600.04/3609.30 c #Conflicts: 349000 | #Constraints: 16099 3600.04/3609.30 c #Conflicts: 350000 | #Constraints: 17099 3600.04/3609.30 c #Conflicts: 351000 | #Constraints: 18099 3600.04/3609.30 c #Conflicts: 352000 | #Constraints: 19101 3600.04/3609.30 c #Conflicts: 353000 | #Constraints: 20103 3600.04/3609.30 c bounds 4685824 >= 1825792 @ 3565.53 3600.04/3609.30 c #Conflicts: 354000 | #Constraints: 21112
OK 4685824
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60498 MiB free)
memory of node 1: 64510 MiB (61953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429342-1721047086/watcher-4429342-1721047086 -o /tmp/evaluation-result-4429342-1721047086/solver-4429342-1721047086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721039873-795665 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429342-1721047086.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=800046, runsolver pid=800043
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.21 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125381728/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=45760 memory=16204 CPUtime=0.09 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 3062 0 0 0 8 1 0 0 20 0 1 0 156878330 46858240 4051 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 11440 4051 1817 922 0 3392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45760 KiB
Current children cumulated memory: 16204 KiB
[startup+0.205558 s]*
/proc/loadavg: 4.21 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125377460/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=46720 memory=20360 CPUtime=0.2 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 3556 0 0 0 18 2 0 0 20 0 1 0 156878330 47841280 5090 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 11680 5090 1817 922 0 3632 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46720 KiB
Current children cumulated memory: 20360 KiB
[startup+0.305497 s]*
/proc/loadavg: 4.21 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125376116/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=47960 memory=21680 CPUtime=0.3 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 3871 0 0 0 28 2 0 0 20 0 1 0 156878330 49111040 5420 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 11990 5420 1817 922 0 3942 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47960 KiB
Current children cumulated memory: 21680 KiB
[startup+0.700231 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125374164/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=52852 memory=26612 CPUtime=0.68 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 4653 0 0 0 64 4 0 0 20 0 1 0 156878330 54120448 6653 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 13213 6653 1817 922 0 5165 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52852 KiB
Current children cumulated memory: 26612 KiB
[startup+1.50023 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125370044/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=60504 memory=33388 CPUtime=1.48 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 5753 0 0 0 143 5 0 0 20 0 1 0 156878330 61956096 8347 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 15126 8347 1849 922 0 7078 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60504 KiB
Current children cumulated memory: 33388 KiB
[startup+3.10538 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125357940/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=70140 memory=39912 CPUtime=3.09 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 6883 0 0 0 298 11 0 0 20 0 1 0 156878330 71823360 9978 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 17535 9978 1849 922 0 9487 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70140 KiB
Current children cumulated memory: 39912 KiB
[startup+6.30023 s]
/proc/loadavg: 4.18 4.14 4.10 5/255 800047
/proc/meminfo: memFree=125339076/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=89492 memory=59556 CPUtime=6.27 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 9237 0 0 0 610 17 0 0 20 0 1 0 156878330 91639808 14889 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 22373 14889 1849 922 0 14325 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89492 KiB
Current children cumulated memory: 59556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 800049
/proc/meminfo: memFree=125327364/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=115944 memory=72820 CPUtime=12.66 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 11418 0 0 0 1230 36 0 0 20 0 1 0 156878330 118726656 18205 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 28986 18205 1980 922 0 20938 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 115944 KiB
Current children cumulated memory: 72820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 800050
/proc/meminfo: memFree=125317116/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=120740 memory=82648 CPUtime=25.43 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 14085 0 0 0 2480 63 0 0 20 0 1 0 156878330 123637760 20662 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 30185 20662 1980 922 0 22137 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 120740 KiB
Current children cumulated memory: 82648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 800101
/proc/meminfo: memFree=125951588/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=127208 memory=97292 CPUtime=50.97 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 17651 0 0 0 4993 104 0 0 20 0 1 0 156878330 130260992 24323 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 31802 24323 1980 922 0 23754 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 127208 KiB
Current children cumulated memory: 97292 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 800213
/proc/meminfo: memFree=125869632/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=171628 memory=123488 CPUtime=102.02 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 23845 0 0 0 10021 181 0 0 20 0 1 0 156878330 175747072 30872 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 42907 30872 1980 922 0 34859 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 171628 KiB
Current children cumulated memory: 123488 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 800225
/proc/meminfo: memFree=125638236/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=176260 memory=146692 CPUtime=161.85 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 28134 0 0 0 15934 251 0 0 20 0 1 0 156878330 180490240 36673 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 44065 36673 1980 922 0 36017 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 176260 KiB
Current children cumulated memory: 146692 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 800235
/proc/meminfo: memFree=125522520/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=185452 memory=160284 CPUtime=221.71 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 33013 0 0 0 21867 304 0 0 20 0 1 0 156878330 189902848 40071 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 46363 40071 1980 922 0 38315 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 185452 KiB
Current children cumulated memory: 160284 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 800247
/proc/meminfo: memFree=125432996/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=236648 memory=165184 CPUtime=281.55 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 36850 0 0 0 27800 355 0 0 20 0 1 0 156878330 242327552 41296 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 59162 41296 1980 922 0 51114 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 236648 KiB
Current children cumulated memory: 165184 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/261 800302
/proc/meminfo: memFree=125270880/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=248484 memory=187116 CPUtime=341.41 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 39841 0 0 0 33737 404 0 0 20 0 1 0 156878330 254447616 46779 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 62121 46779 1980 922 0 54073 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 248484 KiB
Current children cumulated memory: 187116 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 800315
/proc/meminfo: memFree=125083372/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=248484 memory=193404 CPUtime=401.27 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 39913 0 0 0 39669 458 0 0 20 0 1 0 156878330 254447616 48351 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 62121 48351 1980 922 0 54073 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 248484 KiB
Current children cumulated memory: 193404 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 800325
/proc/meminfo: memFree=124751192/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=254900 memory=199728 CPUtime=461.13 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 42208 0 0 0 45601 512 0 0 20 0 1 0 156878330 261017600 49932 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 63725 49932 1980 922 0 55677 0
################
# More data... #
################
Current children cumulated memory: 415144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 801836
/proc/meminfo: memFree=122421928/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=472048 memory=438108 CPUtime=2914.75 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 78365 0 0 0 289862 1613 0 0 20 0 1 0 156878330 483377152 109527 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 118012 109527 1980 922 0 109964 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 472048 KiB
Current children cumulated memory: 438108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 801901
/proc/meminfo: memFree=122379396/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=610808 memory=459792 CPUtime=2974.6 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 80402 0 0 0 295814 1646 0 0 20 0 1 0 156878330 625467392 114948 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 152702 114948 1980 922 0 144654 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 610808 KiB
Current children cumulated memory: 459792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.44 4.17 4.11 5/262 802081
/proc/meminfo: memFree=122327076/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=618488 memory=480016 CPUtime=3034.44 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 82002 0 0 0 301767 1677 0 0 20 0 1 0 156878330 633331712 120004 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 154622 120004 1980 922 0 146574 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 618488 KiB
Current children cumulated memory: 480016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.73 4.30 4.17 5/262 802091
/proc/meminfo: memFree=122277432/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=628988 memory=499512 CPUtime=3094.28 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 83933 0 0 0 307720 1708 0 0 20 0 1 0 156878330 644083712 124878 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 157247 124878 1980 922 0 149199 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 628988 KiB
Current children cumulated memory: 499512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/264 802160
/proc/meminfo: memFree=122213348/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516748 CPUtime=3154.14 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 85921 0 0 0 313671 1743 0 0 20 0 1 0 156878330 657911808 129187 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129187 1980 922 0 152575 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.23 4.15 6/264 802170
/proc/meminfo: memFree=122135076/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516976 CPUtime=3213.99 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86016 0 0 0 319635 1764 0 0 20 0 1 0 156878330 657911808 129244 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129244 1980 922 0 152575 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/258 802181
/proc/meminfo: memFree=122091744/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516976 CPUtime=3273.86 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86058 0 0 0 325607 1779 0 0 20 0 1 0 156878330 657911808 129244 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129244 1980 922 0 152575 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/257 802191
/proc/meminfo: memFree=122026616/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516976 CPUtime=3333.7 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86208 0 0 0 331581 1789 0 0 20 0 1 0 156878330 657911808 129244 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129244 1980 922 0 152575 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/257 802202
/proc/meminfo: memFree=122007956/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516976 CPUtime=3393.55 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86309 0 0 0 337555 1800 0 0 20 0 1 0 156878330 657911808 129244 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129244 1980 922 0 152575 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/255 802212
/proc/meminfo: memFree=122006700/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=516984 CPUtime=3453.4 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86382 0 0 0 343530 1810 0 0 20 0 1 0 156878330 657911808 129246 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129246 1980 922 0 152575 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 516984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/256 802226
/proc/meminfo: memFree=122005156/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=517084 CPUtime=3513.25 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86567 0 0 0 349507 1818 0 0 20 0 1 0 156878330 657911808 129271 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129271 1980 922 0 152575 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 517084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/257 802238
/proc/meminfo: memFree=121999184/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=517096 CPUtime=3573.11 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86682 0 0 0 355488 1823 0 0 20 0 1 0 156878330 657911808 129274 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129274 1980 922 0 152575 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 517096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/257 802243
/proc/meminfo: memFree=121998024/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=517268 CPUtime=3600.04 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86804 0 0 0 358178 1826 0 0 20 0 1 0 156878330 657911808 129317 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129317 1980 922 0 152575 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 517268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 800046 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3581.79 s, system=18.2704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/257 802243
/proc/meminfo: memFree=121998024/131524600 swapFree=131071996/131071996
[pid=800046] ppid=800043 vsize=642492 memory=517268 CPUtime=3600.04 cores=5,7
/proc/800046/stat : 800046 (roundingsat) R 800043 800046 795652 0 -1 4194304 86804 0 0 0 358178 1826 0 0 20 0 1 0 156878330 657911808 129317 134679101440 4194304 7968869 140730525201040 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 15101952 140730525209534 140730525209698 140730525209698 140730525216713 0
/proc/800046/statm: 160623 129317 1980 922 0 152575 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 642492 KiB
Current children cumulated memory: 517268 KiB
Child status: 1
Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3581.79
CPU system time (s): 18.2704
CPU usage (%): 99.7439
Max. virtual memory (cumulated for all children) (KiB): 642492
Max. memory (cumulated for all children) (KiB): 517268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.79
system time used= 18.2704
maximum resident set size= 517268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 2427
# summary of solver processes directly reported to runsolver:
# pid: 800046
# total CPU time (s): 3600.06
# total CPU user time (s): 3581.79
# total CPU system time (s): 18.2704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51607 second user time and 16.7236 second system time
The end
Begin job on nodeC033 at 2024-07-15 14:38:18 IDJOB=4429342 IDBENCH=146743 IDSOLVER=3051 FILE ID=nodeC033/4429342-1721047086 RUNJOBID= nodeC033-1721039873-795665 SLURM_JOB_ID= 7505452 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429342-1721047086/watcher-4429342-1721047086 -o /tmp/evaluation-result-4429342-1721047086/solver-4429342-1721047086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721039873-795665 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429342-1721047086.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1 RANDOM SEED=898835149 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.583 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.409 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.950 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3638.994 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.630 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.486 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.855 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.165 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125391236 kB MemAvailable: 128173392 kB Buffers: 363608 kB Cached: 3226160 kB SwapCached: 0 kB Active: 585112 kB Inactive: 4891772 kB Active(anon): 1580 kB Inactive(anon): 1923604 kB Active(file): 583532 kB Inactive(file): 2968168 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5264 kB Writeback: 0 kB AnonPages: 1882684 kB Mapped: 113128 kB Shmem: 37716 kB KReclaimable: 140208 kB Slab: 249332 kB SReclaimable: 140208 kB SUnreclaim: 109124 kB KernelStack: 4108 kB PageTables: 12840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2638780 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60032 kB HardwareCorrupted: 0 kB AnonHugePages: 1769472 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: 250580 kB DirectMap2M: 23640064 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890048 MiB End job on nodeC033 at 2024-07-15 15:38:28