| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 4141056 | 3600.02 | 3610.3 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| 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 | 7812 |
| Total number of constraints | 284 |
| 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 | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| 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 | 1450667950777 |
| 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 | 1450667950777 |
| 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 7812 #constraints 316 1.48/1.53 c bounds 71926458 >= 0 @ 0.012861 1.48/1.53 c bounds 7346171 >= 0 @ 0.056145 1.48/1.53 c #Conflicts: 1000 | #Constraints: 1318 1.48/1.53 c #Conflicts: 2000 | #Constraints: 2321 1.48/1.53 c INPROCESSING 1.48/1.53 c GARBAGE COLLECT 1.48/1.53 c rational objective 3.08935e+06 4.38/4.43 c bounds 7278587 >= 0 @ 1.57195 4.38/4.43 c bounds 7203835 >= 0 @ 1.63384 4.38/4.43 c bounds 7180685 >= 0 @ 2.17499 4.38/4.43 c bounds 6986125 >= 0 @ 2.24226 4.38/4.43 c bounds 6986118 >= 0 @ 2.24883 4.38/4.43 c bounds 6986104 >= 0 @ 2.25624 4.38/4.43 c bounds 6985999 >= 0 @ 2.28931 4.38/4.43 c bounds 6985992 >= 0 @ 2.29374 4.38/4.43 c bounds 6985988 >= 0 @ 2.50649 4.38/4.43 c #Conflicts: 3000 | #Constraints: 2353 4.38/4.43 c #Conflicts: 4000 | #Constraints: 3359 4.38/4.43 c INPROCESSING 4.38/4.43 c GARBAGE COLLECT 4.38/4.43 c rational objective 3.09073e+06 8.77/8.89 c bounds 6984203 >= 0 @ 4.75285 8.77/8.89 c bounds 6984196 >= 0 @ 4.87767 8.77/8.89 c bounds 6883849 >= 0 @ 5.08406 8.77/8.89 c bounds 6819842 >= 0 @ 6.32413 8.77/8.89 c bounds 6819828 >= 0 @ 6.35119 8.77/8.89 c #Conflicts: 5000 | #Constraints: 2771 8.77/8.89 c #Conflicts: 6000 | #Constraints: 3774 8.77/8.89 c INPROCESSING 8.77/8.89 c GARBAGE COLLECT 8.77/8.89 c rational objective 3.1207e+06 12.96/13.03 c bounds 6819800 >= 0 @ 8.88708 12.96/13.03 c bounds 6819790 >= 0 @ 9.06001 12.96/13.03 c #Conflicts: 7000 | #Constraints: 2770 12.96/13.03 c bounds 6819789 >= 0 @ 9.86172 12.96/13.03 c bounds 6819733 >= 0 @ 10.1051 12.96/13.03 c bounds 6819621 >= 0 @ 10.2532 12.96/13.03 c #Conflicts: 8000 | #Constraints: 3774 12.96/13.03 c #Conflicts: 9000 | #Constraints: 4779 12.96/13.03 c INPROCESSING 12.96/13.03 c GARBAGE COLLECT 12.96/13.03 c rational objective 3.11938e+06 32.10/32.23 c bounds 6819595 >= 0 @ 13.1585 32.10/32.23 c bounds 6819589 >= 0 @ 13.4421 32.10/32.23 c bounds 6819585 >= 0 @ 13.4994 32.10/32.23 c bounds 6819581 >= 0 @ 13.5106 32.10/32.23 c bounds 6819559 >= 0 @ 13.5605 32.10/32.23 c bounds 6819555 >= 0 @ 13.6191 32.10/32.23 c bounds 6760169 >= 0 @ 14.029 32.10/32.23 c bounds 6760161 >= 0 @ 14.0453 32.10/32.23 c bounds 6759147 >= 0 @ 14.3076 32.10/32.23 c bounds 6758997 >= 0 @ 14.7539 32.10/32.23 c bounds 6758989 >= 0 @ 14.7805 32.10/32.23 c bounds 6758983 >= 0 @ 14.8095 32.10/32.23 c #Conflicts: 10000 | #Constraints: 3481 32.10/32.23 c #Conflicts: 11000 | #Constraints: 4483 32.10/32.23 c #Conflicts: 12000 | #Constraints: 5484 32.10/32.23 c INPROCESSING 32.10/32.23 c GARBAGE COLLECT 32.10/32.23 c bounds 6758973 >= 0 @ 18.1468 32.10/32.23 c bounds 6758959 >= 0 @ 18.1763 32.10/32.23 c bounds 6758941 >= 0 @ 18.7741 32.10/32.23 c bounds 6686237 >= 0 @ 18.8499 32.10/32.23 c bounds 6619094 >= 0 @ 19.3674 32.10/32.23 c bounds 6619062 >= 0 @ 20.4817 32.10/32.23 c bounds 6619054 >= 0 @ 20.78 32.10/32.23 c bounds 6619054 >= 147456 @ 20.7836 32.10/32.23 c bounds 6613692 >= 147456 @ 20.8456 32.10/32.23 c bounds 6613690 >= 147456 @ 20.8841 32.10/32.23 c bounds 6613690 >= 266240 @ 20.8876 32.10/32.23 c bounds 6613690 >= 388096 @ 20.888 32.10/32.23 c bounds 6613690 >= 502784 @ 20.8907 32.10/32.23 c bounds 6613690 >= 617472 @ 20.9268 32.10/32.23 c #Conflicts: 13000 | #Constraints: 3945 32.10/32.23 c bounds 6460188 >= 617472 @ 20.9903 32.10/32.23 c bounds 6393628 >= 617472 @ 21.0019 32.10/32.23 c bounds 6320924 >= 617472 @ 21.0082 32.10/32.23 c bounds 6227740 >= 617472 @ 21.0164 32.10/32.23 c bounds 6127388 >= 617472 @ 21.0342 32.10/32.23 c bounds 6127387 >= 617472 @ 21.1669 32.10/32.23 c bounds 6127387 >= 717824 @ 21.1991 32.10/32.23 c #Conflicts: 14000 | #Constraints: 4955 32.10/32.23 c bounds 6046957 >= 717824 @ 23.2405 32.10/32.23 c bounds 6046954 >= 717824 @ 23.2611 32.10/32.23 c bounds 5865706 >= 717824 @ 23.2831 32.10/32.23 c bounds 5693674 >= 717824 @ 23.2919 32.10/32.23 c bounds 5650659 >= 717824 @ 23.6518 32.10/32.23 c bounds 5650654 >= 717824 @ 23.9978 32.10/32.23 c bounds 5644541 >= 717824 @ 24.1149 32.10/32.23 c bounds 5644531 >= 717824 @ 24.2582 32.10/32.23 c bounds 5644529 >= 717824 @ 24.2783 32.10/32.23 c bounds 5644525 >= 717824 @ 25.1021 32.10/32.23 c bounds 5644523 >= 717824 @ 25.2149 32.10/32.23 c #Conflicts: 15000 | #Constraints: 5973 32.10/32.23 c INPROCESSING 32.10/32.23 c GARBAGE COLLECT 32.10/32.23 c bounds 5644523 >= 799744 @ 26.5109 32.10/32.23 c #Conflicts: 16000 | #Constraints: 4170 32.10/32.23 c #Conflicts: 17000 | #Constraints: 5172 32.10/32.23 c #Conflicts: 18000 | #Constraints: 6177 32.10/32.23 c INPROCESSING 32.10/32.23 c GARBAGE COLLECT 32.10/32.23 c rational objective 3.11941e+06 73.30/73.59 c bounds 5644517 >= 799744 @ 32.425 73.30/73.59 c bounds 5644516 >= 799744 @ 32.461 73.30/73.59 c bounds 5644511 >= 799744 @ 33.212 73.30/73.59 c bounds 5644506 >= 799744 @ 33.2257 73.30/73.59 c bounds 5644466 >= 799744 @ 33.4748 73.30/73.59 c bounds 5644451 >= 799744 @ 33.49 73.30/73.59 c bounds 5571747 >= 799744 @ 33.5081 73.30/73.59 c bounds 5571742 >= 799744 @ 34.0066 73.30/73.59 c bounds 5571736 >= 799744 @ 34.0382 73.30/73.59 c bounds 5571710 >= 799744 @ 34.1202 73.30/73.59 c bounds 5571705 >= 799744 @ 34.1479 73.30/73.59 c #Conflicts: 19000 | #Constraints: 4213 73.30/73.59 c bounds 5571695 >= 799744 @ 34.868 73.30/73.59 c #Conflicts: 20000 | #Constraints: 5215 73.30/73.59 c #Conflicts: 21000 | #Constraints: 6217 73.30/73.59 c INPROCESSING 73.30/73.59 c GARBAGE COLLECT 73.30/73.59 c bounds 5571684 >= 799744 @ 39.9617 73.30/73.59 c bounds 5571672 >= 799744 @ 39.992 73.30/73.59 c bounds 5571670 >= 799744 @ 40.0328 73.30/73.59 c bounds 5571663 >= 799744 @ 40.3701 73.30/73.59 c bounds 5571658 >= 799744 @ 40.5477 73.30/73.59 c bounds 5571653 >= 799744 @ 40.5627 73.30/73.59 c bounds 5571648 >= 799744 @ 40.6072 73.30/73.59 c bounds 5571642 >= 799744 @ 40.7155 73.30/73.59 c bounds 5571636 >= 799744 @ 41.1949 73.30/73.59 c bounds 5571632 >= 799744 @ 41.2666 73.30/73.59 c bounds 5571614 >= 799744 @ 41.2879 73.30/73.59 c #Conflicts: 22000 | #Constraints: 4016 73.30/73.59 c bounds 5562694 >= 799744 @ 42.2792 73.30/73.59 c #Conflicts: 23000 | #Constraints: 5022 73.30/73.59 c #Conflicts: 24000 | #Constraints: 6022 73.30/73.59 c #Conflicts: 25000 | #Constraints: 7022 73.30/73.59 c INPROCESSING 73.30/73.59 c GARBAGE COLLECT 73.30/73.59 c bounds 5562692 >= 799744 @ 48.4959 73.30/73.59 c bounds 5562604 >= 799744 @ 48.5136 73.30/73.59 c bounds 5562602 >= 799744 @ 48.5307 73.30/73.59 c bounds 5562474 >= 799744 @ 48.7909 73.30/73.59 c bounds 5562464 >= 799744 @ 49.0165 73.30/73.59 c bounds 5562459 >= 799744 @ 49.2972 73.30/73.59 c bounds 5466389 >= 799744 @ 49.4636 73.30/73.59 c bounds 5466388 >= 799744 @ 50.0628 73.30/73.59 c bounds 5466387 >= 799744 @ 50.1483 73.30/73.59 c bounds 5466379 >= 799744 @ 51.2741 73.30/73.59 c bounds 5466369 >= 799744 @ 51.3233 73.30/73.59 c bounds 5466347 >= 799744 @ 51.3604 73.30/73.59 c #Conflicts: 26000 | #Constraints: 4628 73.30/73.59 c bounds 5466346 >= 799744 @ 53.3699 73.30/73.59 c #Conflicts: 27000 | #Constraints: 5631 73.30/73.59 c #Conflicts: 28000 | #Constraints: 6631 73.30/73.59 c #Conflicts: 29000 | #Constraints: 7631 73.30/73.59 c INPROCESSING 73.30/73.59 c GARBAGE COLLECT 73.30/73.59 c bounds 5466344 >= 799744 @ 60.0264 73.30/73.59 c bounds 5466333 >= 799744 @ 60.239 73.30/73.59 c bounds 5466323 >= 799744 @ 60.5851 73.30/73.59 c bounds 5466321 >= 799744 @ 61.8348 73.30/73.59 c bounds 5466320 >= 799744 @ 62.4887 73.30/73.59 c bounds 5466315 >= 799744 @ 62.8512 73.30/73.59 c bounds 5466314 >= 799744 @ 62.9607 73.30/73.59 c bounds 5466301 >= 799744 @ 63.0226 73.30/73.59 c bounds 5466289 >= 799744 @ 63.0985 73.30/73.59 c #Conflicts: 30000 | #Constraints: 5027 73.30/73.59 c #Conflicts: 31000 | #Constraints: 6027 73.30/73.59 c #Conflicts: 32000 | #Constraints: 7027 73.30/73.59 c #Conflicts: 33000 | #Constraints: 8033 73.30/73.59 c INPROCESSING 73.30/73.59 c GARBAGE COLLECT 73.30/73.59 c rational objective 3.12174e+06 104.02/104.36 c bounds 5465265 >= 799744 @ 72.6307 104.02/104.36 c bounds 5465260 >= 799744 @ 72.9702 104.02/104.36 c bounds 5465246 >= 799744 @ 73.0762 104.02/104.36 c bounds 5465239 >= 799744 @ 73.093 104.02/104.36 c bounds 5465183 >= 799744 @ 73.2415 104.02/104.36 c bounds 5401707 >= 799744 @ 74.0649 104.02/104.36 c bounds 5401702 >= 799744 @ 74.093 104.02/104.36 c bounds 5401696 >= 799744 @ 74.9181 104.02/104.36 c bounds 5401694 >= 799744 @ 74.983 104.02/104.36 c bounds 5401688 >= 799744 @ 75.2534 104.02/104.36 c bounds 5401686 >= 799744 @ 75.282 104.02/104.36 c bounds 5401664 >= 799744 @ 75.3989 104.02/104.36 c bounds 5401648 >= 799744 @ 75.7688 104.02/104.36 c bounds 5401638 >= 799744 @ 75.8615 104.02/104.36 c bounds 5401636 >= 799744 @ 77.3562 104.02/104.36 c bounds 5401629 >= 799744 @ 77.5262 104.02/104.36 c bounds 5401619 >= 799744 @ 77.5593 104.02/104.36 c #Conflicts: 34000 | #Constraints: 5255 104.02/104.36 c bounds 5401612 >= 799744 @ 78.4444 104.02/104.36 c bounds 5401611 >= 799744 @ 79.8198 104.02/104.36 c #Conflicts: 35000 | #Constraints: 6257 104.02/104.36 c #Conflicts: 36000 | #Constraints: 7257 104.02/104.36 c #Conflicts: 37000 | #Constraints: 8257 104.02/104.36 c INPROCESSING 104.02/104.36 c GARBAGE COLLECT 104.02/104.36 c bounds 5368867 >= 799744 @ 88.9806 104.02/104.36 c bounds 5327927 >= 799744 @ 89.3895 104.02/104.36 c bounds 5327925 >= 799744 @ 89.4757 104.02/104.36 c bounds 5327875 >= 799744 @ 89.6185 104.02/104.36 c bounds 5327871 >= 799744 @ 89.6491 104.02/104.36 c bounds 5327869 >= 799744 @ 89.6692 104.02/104.36 c bounds 5327848 >= 799744 @ 89.8428 104.02/104.36 c bounds 5327832 >= 799744 @ 90.3837 104.02/104.36 c #Conflicts: 38000 | #Constraints: 5228 104.02/104.36 c bounds 5327828 >= 799744 @ 92.3812 104.02/104.36 c bounds 5327826 >= 799744 @ 93.6156 104.02/104.36 c #Conflicts: 39000 | #Constraints: 6230 104.02/104.36 c #Conflicts: 40000 | #Constraints: 7234 104.02/104.36 c #Conflicts: 41000 | #Constraints: 8236 104.02/104.36 c INPROCESSING 104.02/104.36 c GARBAGE COLLECT 104.02/104.36 c rational objective 3.12866e+06 166.44/166.94 c bounds 5327812 >= 799744 @ 103.032 166.44/166.94 c bounds 5327807 >= 799744 @ 103.49 166.44/166.94 c bounds 5327788 >= 799744 @ 104.942 166.44/166.94 c bounds 5327783 >= 799744 @ 104.965 166.44/166.94 c #Conflicts: 42000 | #Constraints: 5034 166.44/166.94 c bounds 5327748 >= 799744 @ 105.793 166.44/166.94 c bounds 5327744 >= 799744 @ 105.923 166.44/166.94 c bounds 5327730 >= 799744 @ 106.11 166.44/166.94 c bounds 5327719 >= 799744 @ 106.361 166.44/166.94 c bounds 5327708 >= 799744 @ 106.382 166.44/166.94 c bounds 5327702 >= 799744 @ 106.714 166.44/166.94 c bounds 5327696 >= 799744 @ 106.832 166.44/166.94 c bounds 5327690 >= 799744 @ 107.126 166.44/166.94 c bounds 5327683 >= 799744 @ 107.242 166.44/166.94 c bounds 5327681 >= 799744 @ 107.265 166.44/166.94 c bounds 5327673 >= 799744 @ 108.073 166.44/166.94 c #Conflicts: 43000 | #Constraints: 6045 166.44/166.94 c #Conflicts: 44000 | #Constraints: 7045 166.44/166.94 c #Conflicts: 45000 | #Constraints: 8047 166.44/166.94 c #Conflicts: 46000 | #Constraints: 9050 166.44/166.94 c INPROCESSING 166.44/166.94 c GARBAGE COLLECT 166.44/166.94 c bounds 5327666 >= 799744 @ 119.952 166.44/166.94 c bounds 5327659 >= 799744 @ 119.974 166.44/166.94 c bounds 5327571 >= 799744 @ 120.738 166.44/166.94 c bounds 5327539 >= 799744 @ 120.794 166.44/166.94 c bounds 5327531 >= 799744 @ 120.885 166.44/166.94 c bounds 5320353 >= 799744 @ 121.033 166.44/166.94 c bounds 5222231 >= 799744 @ 121.113 166.44/166.94 c bounds 5222220 >= 799744 @ 121.46 166.44/166.94 c bounds 5222218 >= 799744 @ 121.675 166.44/166.94 c bounds 5222213 >= 799744 @ 122.437 166.44/166.94 c bounds 5222211 >= 799744 @ 122.549 166.44/166.94 c bounds 5222019 >= 799744 @ 122.628 166.44/166.94 c bounds 5222011 >= 799744 @ 123.278 166.44/166.94 c #Conflicts: 47000 | #Constraints: 5647 166.44/166.94 c bounds 5222006 >= 799744 @ 124.985 166.44/166.94 c bounds 5221995 >= 799744 @ 126.131 166.44/166.94 c bounds 5221984 >= 799744 @ 126.339 166.44/166.94 c bounds 5221973 >= 799744 @ 126.364 166.44/166.94 c bounds 5173845 >= 799744 @ 126.554 166.44/166.94 c #Conflicts: 48000 | #Constraints: 6657 166.44/166.94 c #Conflicts: 49000 | #Constraints: 7660 166.44/166.94 c #Conflicts: 50000 | #Constraints: 8660 166.44/166.94 c #Conflicts: 51000 | #Constraints: 9661 166.44/166.94 c INPROCESSING 166.44/166.94 c GARBAGE COLLECT 166.44/166.94 c bounds 5173834 >= 799744 @ 141.529 166.44/166.94 c bounds 5173812 >= 799744 @ 141.575 166.44/166.94 c bounds 5173768 >= 799744 @ 142.144 166.44/166.94 c bounds 5106193 >= 799744 @ 142.346 166.44/166.94 c bounds 5106105 >= 799744 @ 142.84 166.44/166.94 c bounds 5083085 >= 799744 @ 143.23 166.44/166.94 c bounds 5083053 >= 799744 @ 143.27 166.44/166.94 c bounds 5082989 >= 799744 @ 143.819 166.44/166.94 c bounds 5082979 >= 799744 @ 143.952 166.44/166.94 c bounds 5082968 >= 799744 @ 144.061 166.44/166.94 c bounds 5082904 >= 799744 @ 144.089 166.44/166.94 c bounds 5082903 >= 799744 @ 144.41 166.44/166.94 c bounds 5082885 >= 799744 @ 145.082 166.44/166.94 c bounds 5082883 >= 799744 @ 145.143 166.44/166.94 c bounds 5082881 >= 799744 @ 145.477 166.44/166.94 c bounds 5082873 >= 799744 @ 145.504 166.44/166.94 c #Conflicts: 52000 | #Constraints: 6049 166.44/166.94 c bounds 5082871 >= 799744 @ 146.676 166.44/166.94 c bounds 5082870 >= 799744 @ 146.82 166.44/166.94 c bounds 5082862 >= 799744 @ 146.996 166.44/166.94 c bounds 5082861 >= 799744 @ 147.232 166.44/166.94 c bounds 5082860 >= 799744 @ 148.564 166.44/166.94 c bounds 5082859 >= 799744 @ 148.735 166.44/166.94 c bounds 5082851 >= 799744 @ 149.105 166.44/166.94 c bounds 5082841 >= 799744 @ 149.28 166.44/166.94 c bounds 5082823 >= 799744 @ 150.431 166.44/166.94 c bounds 5082822 >= 799744 @ 150.652 166.44/166.94 c bounds 5082815 >= 799744 @ 150.692 166.44/166.94 c bounds 5082814 >= 799744 @ 150.794 166.44/166.94 c bounds 5082813 >= 799744 @ 151.812 166.44/166.94 c #Conflicts: 53000 | #Constraints: 7066 166.44/166.94 c #Conflicts: 54000 | #Constraints: 8066 166.44/166.94 c #Conflicts: 55000 | #Constraints: 9068 166.44/166.94 c #Conflicts: 56000 | #Constraints: 10073 166.44/166.94 c INPROCESSING 166.44/166.94 c GARBAGE COLLECT 166.44/166.94 c rational objective 3.12869e+06 203.24/203.84 c bounds 5082812 >= 799744 @ 165.243 203.24/203.84 c bounds 4993724 >= 799744 @ 165.314 203.24/203.84 c bounds 4993723 >= 799744 @ 165.669 203.24/203.84 c bounds 4993717 >= 799744 @ 165.937 203.24/203.84 c bounds 4993716 >= 799744 @ 165.97 203.24/203.84 c bounds 4919988 >= 799744 @ 166.492 203.24/203.84 c bounds 4919980 >= 799744 @ 166.622 203.24/203.84 c bounds 4919974 >= 799744 @ 166.641 203.24/203.84 c bounds 4919973 >= 799744 @ 167.791 203.24/203.84 c bounds 4919972 >= 799744 @ 167.815 203.24/203.84 c bounds 4919969 >= 799744 @ 168.477 203.24/203.84 c bounds 4919968 >= 799744 @ 168.515 203.24/203.84 c bounds 4919967 >= 799744 @ 168.607 203.24/203.84 c bounds 4919963 >= 799744 @ 169.933 203.24/203.84 c bounds 4919955 >= 799744 @ 170.048 203.24/203.84 c bounds 4919949 >= 799744 @ 170.074 203.24/203.84 c bounds 4919943 >= 799744 @ 170.303 203.24/203.84 c bounds 4919931 >= 799744 @ 170.328 203.24/203.84 c #Conflicts: 57000 | #Constraints: 6273 203.24/203.84 c bounds 4919907 >= 799744 @ 171.493 203.24/203.84 c bounds 4919905 >= 799744 @ 171.773 203.24/203.84 c bounds 4919901 >= 799744 @ 172.084 203.24/203.84 c bounds 4919709 >= 799744 @ 172.115 203.24/203.84 c bounds 4919679 >= 799744 @ 172.338 203.24/203.84 c bounds 4919675 >= 799744 @ 172.689 203.24/203.84 c bounds 4919671 >= 799744 @ 175.306 203.24/203.84 c #Conflicts: 58000 | #Constraints: 7281 203.24/203.84 c #Conflicts: 59000 | #Constraints: 8284 203.24/203.84 c #Conflicts: 60000 | #Constraints: 9285 203.24/203.84 c #Conflicts: 61000 | #Constraints: 10285 203.24/203.84 c INPROCESSING 203.24/203.84 c GARBAGE COLLECT 203.24/203.84 c bounds 4919657 >= 799744 @ 187.189 203.24/203.84 c #Conflicts: 62000 | #Constraints: 6257 203.24/203.84 c bounds 4919643 >= 799744 @ 189.698 203.24/203.84 c #Conflicts: 63000 | #Constraints: 7260 203.24/203.84 c #Conflicts: 64000 | #Constraints: 8262 203.24/203.84 c #Conflicts: 65000 | #Constraints: 9263 203.24/203.84 c #Conflicts: 66000 | #Constraints: 10266 203.24/203.84 c INPROCESSING 203.24/203.84 c GARBAGE COLLECT 203.24/203.84 c rational objective 3.12873e+06 222.50/223.16 c #Conflicts: 67000 | #Constraints: 6065 222.50/223.16 c bounds 4919634 >= 799744 @ 203.579 222.50/223.16 c bounds 4919624 >= 799744 @ 203.601 222.50/223.16 c bounds 4919623 >= 799744 @ 203.706 222.50/223.16 c bounds 4919615 >= 799744 @ 204.213 222.50/223.16 c bounds 4919608 >= 799744 @ 204.364 222.50/223.16 c bounds 4919601 >= 799744 @ 204.426 222.50/223.16 c bounds 4919593 >= 799744 @ 204.526 222.50/223.16 c bounds 4919555 >= 799744 @ 204.999 222.50/223.16 c bounds 4919547 >= 799744 @ 205.053 222.50/223.16 c bounds 4919540 >= 799744 @ 205.86 222.50/223.16 c bounds 4919532 >= 799744 @ 206.944 222.50/223.16 c bounds 4919516 >= 799744 @ 207.335 222.50/223.16 c bounds 4919504 >= 799744 @ 207.413 222.50/223.16 c #Conflicts: 68000 | #Constraints: 7078 222.50/223.16 c bounds 4919498 >= 799744 @ 207.977 222.50/223.16 c bounds 4919480 >= 799744 @ 208.135 222.50/223.16 c bounds 4918712 >= 799744 @ 208.531 222.50/223.16 c #Conflicts: 69000 | #Constraints: 8082 222.50/223.16 c #Conflicts: 70000 | #Constraints: 9084 222.50/223.16 c #Conflicts: 71000 | #Constraints: 10087 222.50/223.16 c #Conflicts: 72000 | #Constraints: 11089 222.50/223.16 c INPROCESSING 222.50/223.16 c GARBAGE COLLECT 222.50/223.16 c rational objective 3.12874e+06 246.03/246.76 c bounds 4917176 >= 799744 @ 221.571 246.03/246.76 c bounds 4914104 >= 799744 @ 222.2 246.03/246.76 c #Conflicts: 73000 | #Constraints: 6670 246.03/246.76 c bounds 4831170 >= 799744 @ 224.515 246.03/246.76 c #Conflicts: 74000 | #Constraints: 7684 246.03/246.76 c bounds 4830882 >= 799744 @ 230.127 246.03/246.76 c #Conflicts: 75000 | #Constraints: 8687 246.03/246.76 c #Conflicts: 76000 | #Constraints: 9687 246.03/246.76 c #Conflicts: 77000 | #Constraints: 10687 246.03/246.76 c bounds 4830882 >= 865280 @ 239.365 246.03/246.76 c bounds 4830881 >= 865280 @ 239.937 246.03/246.76 c bounds 4757153 >= 865280 @ 240.111 246.03/246.76 c bounds 4757144 >= 865280 @ 241.56 246.03/246.76 c #Conflicts: 78000 | #Constraints: 11697 246.03/246.76 c INPROCESSING 246.03/246.76 c GARBAGE COLLECT 246.03/246.76 c rational objective 3.12935e+06 266.18/266.96 c bounds 4757143 >= 865280 @ 244.81 266.18/266.96 c #Conflicts: 79000 | #Constraints: 7066 266.18/266.96 c #Conflicts: 80000 | #Constraints: 8073 266.18/266.96 c #Conflicts: 81000 | #Constraints: 9074 266.18/266.96 c #Conflicts: 82000 | #Constraints: 10079 266.18/266.96 c #Conflicts: 83000 | #Constraints: 11081 266.18/266.96 c #Conflicts: 84000 | #Constraints: 12205 266.18/266.96 c INPROCESSING 266.18/266.96 c GARBAGE COLLECT 266.18/266.96 c rational objective 3.12935e+06 293.11/293.98 c #Conflicts: 85000 | #Constraints: 7344 293.11/293.98 c bounds 4757142 >= 865280 @ 270.251 293.11/293.98 c bounds 4757134 >= 865280 @ 270.297 293.11/293.98 c #Conflicts: 86000 | #Constraints: 8354 293.11/293.98 c bounds 4757133 >= 865280 @ 272.431 293.11/293.98 c bounds 4757126 >= 865280 @ 272.535 293.11/293.98 c bounds 4757124 >= 865280 @ 272.699 293.11/293.98 c bounds 4757123 >= 865280 @ 272.896 293.11/293.98 c bounds 4757120 >= 865280 @ 273.239 293.11/293.98 c bounds 4757119 >= 865280 @ 273.302 293.11/293.98 c bounds 4757115 >= 865280 @ 273.324 293.11/293.98 c bounds 4757113 >= 865280 @ 273.816 293.11/293.98 c bounds 4757097 >= 865280 @ 276.942 293.11/293.98 c #Conflicts: 87000 | #Constraints: 9363 293.11/293.98 c bounds 4757089 >= 865280 @ 281.636 293.11/293.98 c #Conflicts: 88000 | #Constraints: 10364 293.11/293.98 c #Conflicts: 89000 | #Constraints: 11366 293.11/293.98 c #Conflicts: 90000 | #Constraints: 12367 293.11/293.98 c INPROCESSING 293.11/293.98 c GARBAGE COLLECT 293.11/293.98 c rational objective 3.1305e+06 465.32/466.60 c bounds 4757080 >= 865280 @ 293.044 465.32/466.60 c #Conflicts: 91000 | #Constraints: 7305 465.32/466.60 c #Conflicts: 92000 | #Constraints: 8306 465.32/466.60 c #Conflicts: 93000 | #Constraints: 9309 465.32/466.60 c #Conflicts: 94000 | #Constraints: 10309 465.32/466.60 c #Conflicts: 95000 | #Constraints: 11313 465.32/466.60 c #Conflicts: 96000 | #Constraints: 12313 465.32/466.60 c INPROCESSING 465.32/466.60 c GARBAGE COLLECT 465.32/466.60 c bounds 4690232 >= 865280 @ 318.178 465.32/466.60 c #Conflicts: 97000 | #Constraints: 7095 465.32/466.60 c bounds 4690104 >= 865280 @ 320.086 465.32/466.60 c bounds 4690072 >= 865280 @ 320.176 465.32/466.60 c bounds 4690064 >= 865280 @ 320.63 465.32/466.60 c bounds 4690000 >= 865280 @ 321.021 465.32/466.60 c bounds 4689808 >= 865280 @ 323.62 465.32/466.60 c #Conflicts: 98000 | #Constraints: 8100 465.32/466.60 c bounds 4689322 >= 865280 @ 325.531 465.32/466.60 c bounds 4689316 >= 865280 @ 325.564 465.32/466.60 c bounds 4689304 >= 865280 @ 325.694 465.32/466.60 c bounds 4689298 >= 865280 @ 326.248 465.32/466.60 c bounds 4689292 >= 865280 @ 326.338 465.32/466.60 c #Conflicts: 99000 | #Constraints: 9107 465.32/466.60 c #Conflicts: 100000 | #Constraints: 10109 465.32/466.60 c bounds 4689290 >= 865280 @ 334.439 465.32/466.60 c #Conflicts: 101000 | #Constraints: 11112 465.32/466.60 c #Conflicts: 102000 | #Constraints: 12113 465.32/466.60 c #Conflicts: 103000 | #Constraints: 13117 465.32/466.60 c INPROCESSING 465.32/466.60 c GARBAGE COLLECT 465.32/466.60 c bounds 4689280 >= 865280 @ 346.353 465.32/466.60 c bounds 4637245 >= 865280 @ 346.43 465.32/466.60 c bounds 4637221 >= 865280 @ 347.214 465.32/466.60 c bounds 4636773 >= 865280 @ 347.648 465.32/466.60 c bounds 4636757 >= 865280 @ 347.686 465.32/466.60 c bounds 4636749 >= 865280 @ 347.715 465.32/466.60 c bounds 4636717 >= 865280 @ 347.843 465.32/466.60 c #Conflicts: 104000 | #Constraints: 7691 465.32/466.60 c bounds 4636714 >= 865280 @ 349.814 465.32/466.60 c bounds 4636708 >= 865280 @ 349.926 465.32/466.60 c bounds 4636700 >= 865280 @ 349.988 465.32/466.60 c bounds 4636691 >= 865280 @ 350.994 465.32/466.60 c #Conflicts: 105000 | #Constraints: 8695 465.32/466.60 c #Conflicts: 106000 | #Constraints: 9695 465.32/466.60 c #Conflicts: 107000 | #Constraints: 10696 465.32/466.60 c #Conflicts: 108000 | #Constraints: 11696 465.32/466.60 c #Conflicts: 109000 | #Constraints: 12696 465.32/466.60 c #Conflicts: 110000 | #Constraints: 13696 465.32/466.60 c INPROCESSING 465.32/466.60 c GARBAGE COLLECT 465.32/466.60 c bounds 4614163 >= 865280 @ 406.156 465.32/466.60 c bounds 4614160 >= 865280 @ 406.436 465.32/466.60 c #Conflicts: 111000 | #Constraints: 8082 465.32/466.60 c bounds 4614157 >= 865280 @ 408.03 465.32/466.60 c bounds 4614149 >= 865280 @ 408.072 465.32/466.60 c bounds 4614143 >= 865280 @ 408.389 465.32/466.60 c bounds 4614131 >= 865280 @ 408.554 465.32/466.60 c bounds 4614123 >= 865280 @ 408.64 465.32/466.60 c bounds 4614115 >= 865280 @ 408.695 465.32/466.60 c bounds 4614107 >= 865280 @ 408.818 465.32/466.60 c bounds 4614083 >= 865280 @ 408.888 465.32/466.60 c bounds 4614075 >= 865280 @ 408.928 465.32/466.60 c bounds 4614070 >= 865280 @ 410.527 465.32/466.60 c bounds 4613990 >= 865280 @ 410.559 465.32/466.60 c #Conflicts: 112000 | #Constraints: 9094 465.32/466.60 c bounds 4613985 >= 865280 @ 414.986 465.32/466.60 c bounds 4613980 >= 865280 @ 415.042 465.32/466.60 c bounds 4613975 >= 865280 @ 415.553 465.32/466.60 c bounds 4613965 >= 865280 @ 415.593 465.32/466.60 c #Conflicts: 113000 | #Constraints: 10100 465.32/466.60 c bounds 4613960 >= 865280 @ 421.419 465.32/466.60 c bounds 4613812 >= 865280 @ 421.851 465.32/466.60 c bounds 4613809 >= 865280 @ 421.928 465.32/466.60 c bounds 4613791 >= 865280 @ 422.619 465.32/466.60 c #Conflicts: 114000 | #Constraints: 11108 465.32/466.60 c bounds 4613788 >= 865280 @ 423.284 465.32/466.60 c bounds 4613785 >= 865280 @ 423.329 465.32/466.60 c #Conflicts: 115000 | #Constraints: 12110 465.32/466.60 c bounds 4613713 >= 865280 @ 430.126 465.32/466.60 c bounds 4613707 >= 865280 @ 430.242 465.32/466.60 c bounds 4613699 >= 865280 @ 431.011 465.32/466.60 c bounds 4613696 >= 865280 @ 431.405 465.32/466.60 c bounds 4613687 >= 865280 @ 431.468 465.32/466.60 c bounds 4613679 >= 865280 @ 431.896 465.32/466.60 c bounds 4613671 >= 865280 @ 432.487 465.32/466.60 c bounds 4613663 >= 865280 @ 432.544 465.32/466.60 c bounds 4613647 >= 865280 @ 433.313 465.32/466.60 c bounds 4613639 >= 865280 @ 433.371 465.32/466.60 c bounds 4613634 >= 865280 @ 436.165 465.32/466.60 c bounds 4613625 >= 865280 @ 436.27 465.32/466.60 c #Conflicts: 116000 | #Constraints: 13122 465.32/466.60 c bounds 4613481 >= 865280 @ 437.6 465.32/466.60 c bounds 4613476 >= 865280 @ 437.706 465.32/466.60 c bounds 4613092 >= 865280 @ 438.757 465.32/466.60 c bounds 4613089 >= 865280 @ 440.209 465.32/466.60 c bounds 4613017 >= 865280 @ 440.369 465.32/466.60 c bounds 4613008 >= 865280 @ 440.448 465.32/466.60 c #Conflicts: 117000 | #Constraints: 14128 465.32/466.60 c INPROCESSING 465.32/466.60 c GARBAGE COLLECT 465.32/466.60 c #Conflicts: 118000 | #Constraints: 8261 465.32/466.60 c #Conflicts: 119000 | #Constraints: 9264 465.32/466.60 c #Conflicts: 120000 | #Constraints: 10264 465.32/466.60 c #Conflicts: 121000 | #Constraints: 11267 631.43/633.22 c #Conflicts: 122000 | #Constraints: 12269 631.43/633.22 c #Conflicts: 123000 | #Constraints: 13271 631.43/633.22 c #Conflicts: 124000 | #Constraints: 14272 631.43/633.22 c INPROCESSING 631.43/633.22 c GARBAGE COLLECT 631.43/633.22 c #Conflicts: 125000 | #Constraints: 8269 631.43/633.22 c bounds 4612980 >= 865280 @ 487.207 631.43/633.22 c bounds 4612966 >= 865280 @ 487.259 631.43/633.22 c bounds 4612910 >= 865280 @ 488.966 631.43/633.22 c bounds 4612901 >= 865280 @ 489.091 631.43/633.22 c bounds 4612883 >= 865280 @ 489.147 631.43/633.22 c #Conflicts: 126000 | #Constraints: 9279 631.43/633.22 c bounds 4612847 >= 865280 @ 494.058 631.43/633.22 c bounds 4612775 >= 865280 @ 495.95 631.43/633.22 c bounds 4612631 >= 865280 @ 496.003 631.43/633.22 c #Conflicts: 127000 | #Constraints: 10286 631.43/633.22 c bounds 4612343 >= 865280 @ 498.711 631.43/633.22 c #Conflicts: 128000 | #Constraints: 11291 631.43/633.22 c bounds 4612329 >= 865280 @ 505.592 631.43/633.22 c bounds 4612324 >= 865280 @ 505.69 631.43/633.22 c bounds 4612315 >= 865280 @ 507.847 631.43/633.22 c #Conflicts: 129000 | #Constraints: 12296 631.43/633.22 c #Conflicts: 130000 | #Constraints: 13297 631.43/633.22 c bounds 4612287 >= 865280 @ 520.382 631.43/633.22 c #Conflicts: 131000 | #Constraints: 14302 631.43/633.22 c INPROCESSING 631.43/633.22 c GARBAGE COLLECT 631.43/633.22 c #Conflicts: 132000 | #Constraints: 8073 631.43/633.22 c #Conflicts: 133000 | #Constraints: 9073 631.43/633.22 c #Conflicts: 134000 | #Constraints: 10076 631.43/633.22 c #Conflicts: 135000 | #Constraints: 11076 631.43/633.22 c #Conflicts: 136000 | #Constraints: 12076 631.43/633.22 c #Conflicts: 137000 | #Constraints: 13076 631.43/633.22 c #Conflicts: 138000 | #Constraints: 14076 631.43/633.22 c #Conflicts: 139000 | #Constraints: 15080 631.43/633.22 c INPROCESSING 631.43/633.22 c GARBAGE COLLECT 631.43/633.22 c bounds 4612259 >= 865280 @ 583.926 631.43/633.22 c bounds 4612217 >= 865280 @ 585.456 631.43/633.22 c bounds 4612203 >= 865280 @ 585.501 631.43/633.22 c #Conflicts: 140000 | #Constraints: 8685 631.43/633.22 c #Conflicts: 141000 | #Constraints: 9685 631.43/633.22 c #Conflicts: 142000 | #Constraints: 10690 631.43/633.22 c #Conflicts: 143000 | #Constraints: 11690 631.43/633.22 c bounds 4612163 >= 865280 @ 603.487 631.43/633.22 c bounds 4612153 >= 865280 @ 606.279 631.43/633.22 c bounds 4612133 >= 865280 @ 606.354 631.43/633.22 c #Conflicts: 144000 | #Constraints: 12695 631.43/633.22 c bounds 4612049 >= 865280 @ 613.464 631.43/633.22 c bounds 4612035 >= 865280 @ 613.543 631.43/633.22 c #Conflicts: 145000 | #Constraints: 13699 631.43/633.22 c #Conflicts: 146000 | #Constraints: 14702 631.43/633.22 c #Conflicts: 147000 | #Constraints: 15702 631.43/633.22 c INPROCESSING 631.43/633.22 c GARBAGE COLLECT 631.43/633.22 c rational objective 3.13052e+06 980.36/983.24 c #Conflicts: 148000 | #Constraints: 9072 980.36/983.24 c #Conflicts: 149000 | #Constraints: 10075 980.36/983.24 c #Conflicts: 150000 | #Constraints: 11075 980.36/983.24 c #Conflicts: 151000 | #Constraints: 12075 980.36/983.24 c #Conflicts: 152000 | #Constraints: 13076 980.36/983.24 c #Conflicts: 153000 | #Constraints: 14076 980.36/983.24 c #Conflicts: 154000 | #Constraints: 15076 980.36/983.24 c #Conflicts: 155000 | #Constraints: 16076 980.36/983.24 c INPROCESSING 980.36/983.24 c GARBAGE COLLECT 980.36/983.24 c bounds 4612021 >= 865280 @ 734.49 980.36/983.24 c bounds 4611811 >= 865280 @ 737.397 980.36/983.24 c bounds 4611797 >= 865280 @ 737.487 980.36/983.24 c #Conflicts: 156000 | #Constraints: 9276 980.36/983.24 c bounds 4611285 >= 865280 @ 743.896 980.36/983.24 c bounds 4611279 >= 865280 @ 743.995 980.36/983.24 c bounds 4611243 >= 865280 @ 744.537 980.36/983.24 c bounds 4611225 >= 865280 @ 744.596 980.36/983.24 c bounds 4611153 >= 865280 @ 746.584 980.36/983.24 c bounds 4610865 >= 865280 @ 747.159 980.36/983.24 c bounds 4610289 >= 865280 @ 747.271 980.36/983.24 c #Conflicts: 157000 | #Constraints: 10285 980.36/983.24 c bounds 4610161 >= 865280 @ 749.305 980.36/983.24 c bounds 4610145 >= 865280 @ 749.462 980.36/983.24 c bounds 4610137 >= 865280 @ 749.638 980.36/983.24 c bounds 4610129 >= 865280 @ 750.49 980.36/983.24 c bounds 4610105 >= 865280 @ 750.679 980.36/983.24 c bounds 4610096 >= 865280 @ 750.91 980.36/983.24 c bounds 4610079 >= 865280 @ 751.005 980.36/983.24 c bounds 4610061 >= 865280 @ 753.719 980.36/983.24 c bounds 4609997 >= 865280 @ 754.263 980.36/983.24 c bounds 4609961 >= 865280 @ 756.241 980.36/983.24 c bounds 4609953 >= 865280 @ 758.529 980.36/983.24 c bounds 4609944 >= 865280 @ 758.636 980.36/983.24 c bounds 4609939 >= 865280 @ 758.743 980.36/983.24 c bounds 4609929 >= 865280 @ 759.08 980.36/983.24 c bounds 4609920 >= 865280 @ 759.221 980.36/983.24 c #Conflicts: 158000 | #Constraints: 11300 980.36/983.24 c #Conflicts: 159000 | #Constraints: 12301 980.36/983.24 c bounds 4609915 >= 865280 @ 770.532 980.36/983.24 c bounds 4609900 >= 865280 @ 770.627 980.36/983.24 c bounds 4609895 >= 865280 @ 770.765 980.36/983.24 c bounds 4609877 >= 865280 @ 772.968 980.36/983.24 c bounds 4609872 >= 865280 @ 774.428 980.36/983.24 c bounds 4609836 >= 865280 @ 775.015 980.36/983.24 c bounds 4609764 >= 865280 @ 776.18 980.36/983.24 c bounds 4609692 >= 865280 @ 776.367 980.36/983.24 c bounds 4609682 >= 865280 @ 777.742 980.36/983.24 c bounds 4609646 >= 865280 @ 779.087 980.36/983.24 c bounds 4609592 >= 865280 @ 779.261 980.36/983.24 c #Conflicts: 160000 | #Constraints: 13314 980.36/983.24 c bounds 4609536 >= 865280 @ 782.466 980.36/983.24 c bounds 4609527 >= 865280 @ 784.673 980.36/983.24 c #Conflicts: 161000 | #Constraints: 14316 980.36/983.24 c bounds 4609513 >= 865280 @ 790.856 980.36/983.24 c bounds 4609503 >= 865280 @ 790.999 980.36/983.24 c bounds 4609483 >= 865280 @ 791.105 980.36/983.24 c bounds 4609443 >= 865280 @ 791.243 980.36/983.24 c bounds 4609431 >= 865280 @ 797.096 980.36/983.24 c bounds 4609423 >= 865280 @ 797.249 980.36/983.24 c #Conflicts: 162000 | #Constraints: 15325 980.36/983.24 c bounds 4609417 >= 865280 @ 805.189 980.36/983.24 c #Conflicts: 163000 | #Constraints: 16328 980.36/983.24 c INPROCESSING 980.36/983.24 c GARBAGE COLLECT 980.36/983.24 c #Conflicts: 164000 | #Constraints: 9272 980.36/983.24 c #Conflicts: 165000 | #Constraints: 10274 980.36/983.24 c bounds 4592009 >= 865280 @ 827.096 980.36/983.24 c #Conflicts: 166000 | #Constraints: 11280 980.36/983.24 c #Conflicts: 167000 | #Constraints: 12281 980.36/983.24 c #Conflicts: 168000 | #Constraints: 13281 980.36/983.24 c #Conflicts: 169000 | #Constraints: 14285 980.36/983.24 c #Conflicts: 170000 | #Constraints: 15286 980.36/983.24 c #Conflicts: 171000 | #Constraints: 16286 980.36/983.24 c INPROCESSING 980.36/983.24 c GARBAGE COLLECT 980.36/983.24 c bounds 4591992 >= 865280 @ 944.487 980.36/983.24 c bounds 4591989 >= 865280 @ 944.883 980.36/983.24 c bounds 4591983 >= 865280 @ 944.943 980.36/983.24 c bounds 4591971 >= 865280 @ 945.005 980.36/983.24 c bounds 4591943 >= 865280 @ 945.368 980.36/983.24 c bounds 4591929 >= 865280 @ 945.476 980.36/983.24 c bounds 4591859 >= 865280 @ 948.096 980.36/983.24 c #Conflicts: 172000 | #Constraints: 9090 980.36/983.24 c bounds 4591845 >= 865280 @ 951.291 980.36/983.24 c bounds 4591817 >= 865280 @ 951.372 980.36/983.24 c bounds 4591803 >= 865280 @ 951.451 980.36/983.24 c bounds 4591789 >= 865280 @ 951.761 980.36/983.24 c bounds 4591761 >= 865280 @ 951.93 980.36/983.24 c bounds 4591753 >= 865280 @ 952.427 980.36/983.24 c #Conflicts: 173000 | #Constraints: 10096 980.36/983.24 c bounds 4590601 >= 865280 @ 959.87 980.36/983.24 c bounds 4590520 >= 865280 @ 963.092 980.36/983.24 c bounds 4590511 >= 865280 @ 963.205 980.36/983.24 c bounds 4590255 >= 865280 @ 964.464 980.36/983.24 c bounds 4590247 >= 865280 @ 964.591 980.36/983.24 c bounds 4590238 >= 865280 @ 966.492 980.36/983.24 c bounds 4590230 >= 865280 @ 966.826 980.36/983.24 c bounds 4589681 >= 865280 @ 967.512 980.36/983.24 c bounds 4589672 >= 865280 @ 968.184 980.36/983.24 c bounds 4589655 >= 865280 @ 968.856 980.36/983.24 c bounds 4589151 >= 865280 @ 970.701 980.36/983.24 c #Conflicts: 174000 | #Constraints: 11108 980.36/983.24 c bounds 4589137 >= 865280 @ 973.846 1190.43/1193.92 c #Conflicts: 175000 | #Constraints: 12111 1190.43/1193.92 c bounds 4589134 >= 865280 @ 982.561 1190.43/1193.92 c bounds 4589120 >= 865280 @ 982.709 1190.43/1193.92 c bounds 4589090 >= 865280 @ 991.239 1190.43/1193.92 c bounds 4589087 >= 865280 @ 991.957 1190.43/1193.92 c #Conflicts: 176000 | #Constraints: 13116 1190.43/1193.92 c bounds 4589071 >= 865280 @ 997.468 1190.43/1193.92 c bounds 4589055 >= 865280 @ 997.588 1190.43/1193.92 c #Conflicts: 177000 | #Constraints: 14119 1190.43/1193.92 c bounds 4588864 >= 865280 @ 1004.79 1190.43/1193.92 c bounds 4588855 >= 865280 @ 1004.89 1190.43/1193.92 c bounds 4588831 >= 865280 @ 1005.09 1190.43/1193.92 c bounds 4588823 >= 865280 @ 1006.02 1190.43/1193.92 c bounds 4588813 >= 865280 @ 1006.7 1190.43/1193.92 c bounds 4588789 >= 865280 @ 1008.43 1190.43/1193.92 c bounds 4588686 >= 865280 @ 1008.6 1190.43/1193.92 c bounds 4588650 >= 865280 @ 1008.71 1190.43/1193.92 c bounds 4588641 >= 865280 @ 1009.77 1190.43/1193.92 c bounds 4588632 >= 865280 @ 1009.98 1190.43/1193.92 c bounds 4588623 >= 865280 @ 1010.11 1190.43/1193.92 c bounds 4588613 >= 865280 @ 1013.47 1190.43/1193.92 c bounds 4588568 >= 865280 @ 1014.17 1190.43/1193.92 c bounds 4588559 >= 865280 @ 1014.49 1190.43/1193.92 c #Conflicts: 178000 | #Constraints: 15135 1190.43/1193.92 c bounds 4588556 >= 865280 @ 1019.7 1190.43/1193.92 c #Conflicts: 179000 | #Constraints: 16138 1190.43/1193.92 c #Conflicts: 180000 | #Constraints: 17143 1190.43/1193.92 c INPROCESSING 1190.43/1193.92 c GARBAGE COLLECT 1190.43/1193.92 c bounds 4588547 >= 865280 @ 1061.71 1190.43/1193.92 c bounds 4588435 >= 865280 @ 1062.19 1190.43/1193.92 c bounds 4588421 >= 865280 @ 1063.13 1190.43/1193.92 c bounds 4588407 >= 865280 @ 1063.28 1190.43/1193.92 c bounds 4588351 >= 865280 @ 1063.56 1190.43/1193.92 c bounds 4588226 >= 865280 @ 1069.25 1190.43/1193.92 c bounds 4588198 >= 865280 @ 1069.36 1190.43/1193.92 c #Conflicts: 181000 | #Constraints: 9705 1190.43/1193.92 c bounds 4588189 >= 865280 @ 1069.99 1190.43/1193.92 c bounds 4588180 >= 865280 @ 1070.4 1190.43/1193.92 c bounds 4588171 >= 865280 @ 1071.03 1190.43/1193.92 c bounds 4588035 >= 865280 @ 1071.2 1190.43/1193.92 c bounds 4587987 >= 865280 @ 1072.6 1190.43/1193.92 c bounds 4587979 >= 865280 @ 1075.03 1190.43/1193.92 c bounds 4587971 >= 865280 @ 1075.13 1190.43/1193.92 c bounds 4587960 >= 865280 @ 1076.39 1190.43/1193.92 c bounds 4587951 >= 865280 @ 1076.48 1190.43/1193.92 c bounds 4587943 >= 865280 @ 1076.73 1190.43/1193.92 c bounds 4587935 >= 865280 @ 1078.22 1190.43/1193.92 c bounds 4587927 >= 865280 @ 1078.37 1190.43/1193.92 c bounds 4587919 >= 865280 @ 1080.07 1190.43/1193.92 c #Conflicts: 182000 | #Constraints: 10718 1190.43/1193.92 c bounds 4587914 >= 865280 @ 1084.25 1190.43/1193.92 c bounds 4587905 >= 865280 @ 1084.35 1190.43/1193.92 c bounds 4587890 >= 865280 @ 1084.58 1190.43/1193.92 c bounds 4587889 >= 865280 @ 1084.7 1190.43/1193.92 c bounds 4587881 >= 865280 @ 1088.57 1190.43/1193.92 c #Conflicts: 183000 | #Constraints: 11723 1190.43/1193.92 c bounds 4587881 >= 919552 @ 1108.2 1190.43/1193.92 c #Conflicts: 184000 | #Constraints: 12726 1190.43/1193.92 c bounds 4587879 >= 919552 @ 1118.08 1190.43/1193.92 c bounds 4587865 >= 919552 @ 1118.22 1190.43/1193.92 c bounds 4587801 >= 919552 @ 1120.5 1190.43/1193.92 c #Conflicts: 185000 | #Constraints: 13730 1190.43/1193.92 c #Conflicts: 186000 | #Constraints: 14919 1190.43/1193.92 c #Conflicts: 187000 | #Constraints: 15952 1190.43/1193.92 c #Conflicts: 188000 | #Constraints: 16955 1190.43/1193.92 c #Conflicts: 189000 | #Constraints: 17957 1190.43/1193.92 c INPROCESSING 1190.43/1193.92 c GARBAGE COLLECT 1190.43/1193.92 c bounds 4587793 >= 919552 @ 1142.99 1190.43/1193.92 c bounds 4587785 >= 919552 @ 1145.45 1190.43/1193.92 c bounds 4587779 >= 919552 @ 1145.64 1190.43/1193.92 c bounds 4587773 >= 919552 @ 1145.73 1190.43/1193.92 c bounds 4587761 >= 919552 @ 1146.01 1190.43/1193.92 c #Conflicts: 190000 | #Constraints: 10173 1190.43/1193.92 c bounds 4519897 >= 919552 @ 1150.09 1190.43/1193.92 c bounds 4519883 >= 919552 @ 1150.19 1190.43/1193.92 c bounds 4519869 >= 919552 @ 1152.76 1190.43/1193.92 c bounds 4519862 >= 919552 @ 1152.81 1190.43/1193.92 c #Conflicts: 191000 | #Constraints: 11181 1190.43/1193.92 c bounds 4519806 >= 919552 @ 1156.14 1190.43/1193.92 c #Conflicts: 192000 | #Constraints: 12183 1190.43/1193.92 c #Conflicts: 193000 | #Constraints: 13186 1190.43/1193.92 c #Conflicts: 194000 | #Constraints: 14190 1190.43/1193.92 c #Conflicts: 195000 | #Constraints: 15190 1190.43/1193.92 c #Conflicts: 196000 | #Constraints: 16192 1190.43/1193.92 c #Conflicts: 197000 | #Constraints: 17195 1190.43/1193.92 c #Conflicts: 198000 | #Constraints: 18198 1190.43/1193.92 c INPROCESSING 1190.43/1193.92 c GARBAGE COLLECT 1190.43/1193.92 c rational objective 3.13054e+06 1245.66/1249.32 c bounds 4519799 >= 919552 @ 1184.32 1245.66/1249.32 c bounds 4519771 >= 919552 @ 1184.37 1245.66/1249.32 c #Conflicts: 199000 | #Constraints: 10306 1245.66/1249.32 c bounds 4519715 >= 919552 @ 1191.99 1245.66/1249.32 c bounds 4519708 >= 919552 @ 1192.25 1245.66/1249.32 c bounds 4519701 >= 919552 @ 1193.35 1245.66/1249.32 c bounds 4519694 >= 919552 @ 1194.36 1245.66/1249.32 c bounds 4519687 >= 919552 @ 1194.43 1245.66/1249.32 c bounds 4497401 >= 919552 @ 1194.68 1245.66/1249.32 c bounds 4497391 >= 919552 @ 1195.09 1245.66/1249.32 c bounds 4497386 >= 919552 @ 1195.17 1245.66/1249.32 c bounds 4497382 >= 919552 @ 1195.25 1245.66/1249.32 c bounds 4497373 >= 919552 @ 1197.86 1245.66/1249.32 c bounds 4497364 >= 919552 @ 1197.93 1245.66/1249.32 c bounds 4497359 >= 919552 @ 1198.05 1245.66/1249.32 c bounds 4497350 >= 919552 @ 1198.12 1245.66/1249.32 c #Conflicts: 200000 | #Constraints: 11329 1245.66/1249.32 c #Conflicts: 201000 | #Constraints: 12329 1245.66/1249.32 c #Conflicts: 202000 | #Constraints: 13329 1245.66/1249.32 c #Conflicts: 203000 | #Constraints: 14332 1245.66/1249.32 c bounds 4497345 >= 919552 @ 1220.72 1245.66/1249.32 c #Conflicts: 204000 | #Constraints: 15334 1245.66/1249.32 c #Conflicts: 205000 | #Constraints: 16335 1245.66/1249.32 c #Conflicts: 206000 | #Constraints: 17336 1245.66/1249.32 c #Conflicts: 207000 | #Constraints: 18338 1245.66/1249.32 c INPROCESSING 1245.66/1249.32 c GARBAGE COLLECT 1245.66/1249.32 c rational objective 3.13057e+06 1400.78/1404.96 c #Conflicts: 208000 | #Constraints: 10282 1400.78/1404.96 c #Conflicts: 209000 | #Constraints: 11283 1400.78/1404.96 c #Conflicts: 210000 | #Constraints: 12284 1400.78/1404.96 c #Conflicts: 211000 | #Constraints: 13284 1400.78/1404.96 c #Conflicts: 212000 | #Constraints: 14288 1400.78/1404.96 c #Conflicts: 213000 | #Constraints: 15289 1400.78/1404.96 c #Conflicts: 214000 | #Constraints: 16289 1400.78/1404.96 c #Conflicts: 215000 | #Constraints: 17289 1400.78/1404.96 c #Conflicts: 216000 | #Constraints: 18291 1400.78/1404.96 c INPROCESSING 1400.78/1404.96 c GARBAGE COLLECT 1400.78/1404.96 c bounds 4448193 >= 919552 @ 1284.09 1400.78/1404.96 c bounds 4448121 >= 919552 @ 1285.04 1400.78/1404.96 c bounds 4447977 >= 919552 @ 1285.69 1400.78/1404.96 c bounds 4447968 >= 919552 @ 1285.84 1400.78/1404.96 c bounds 4447824 >= 919552 @ 1286.66 1400.78/1404.96 c #Conflicts: 217000 | #Constraints: 10071 1400.78/1404.96 c bounds 4446928 >= 919552 @ 1287.51 1400.78/1404.96 c #Conflicts: 218000 | #Constraints: 11075 1400.78/1404.96 c #Conflicts: 219000 | #Constraints: 12076 1400.78/1404.96 c #Conflicts: 220000 | #Constraints: 13076 1400.78/1404.96 c #Conflicts: 221000 | #Constraints: 14077 1400.78/1404.96 c #Conflicts: 222000 | #Constraints: 15077 1400.78/1404.96 c #Conflicts: 223000 | #Constraints: 16077 1400.78/1404.96 c #Conflicts: 224000 | #Constraints: 17078 1400.78/1404.96 c #Conflicts: 225000 | #Constraints: 18078 1400.78/1404.96 c #Conflicts: 226000 | #Constraints: 19078 1400.78/1404.96 c INPROCESSING 1400.78/1404.96 c GARBAGE COLLECT 1400.78/1404.96 c #Conflicts: 227000 | #Constraints: 10649 1400.78/1404.96 c #Conflicts: 228000 | #Constraints: 11650 1400.78/1404.96 c #Conflicts: 229000 | #Constraints: 12651 1400.78/1404.96 c #Conflicts: 230000 | #Constraints: 13654 1400.78/1404.96 c #Conflicts: 231000 | #Constraints: 14655 1400.78/1404.96 c #Conflicts: 232000 | #Constraints: 15656 1400.78/1404.96 c #Conflicts: 233000 | #Constraints: 16660 1400.78/1404.96 c #Conflicts: 234000 | #Constraints: 17662 1400.78/1404.96 c #Conflicts: 235000 | #Constraints: 18667 1400.78/1404.96 c #Conflicts: 236000 | #Constraints: 19669 1400.78/1404.96 c INPROCESSING 1400.78/1404.96 c GARBAGE COLLECT 1400.78/1404.96 c rational objective 3.13074e+06 1438.86/1443.13 c #Conflicts: 237000 | #Constraints: 11042 1438.86/1443.13 c #Conflicts: 238000 | #Constraints: 12042 1438.86/1443.13 c #Conflicts: 239000 | #Constraints: 13042 1438.86/1443.13 c #Conflicts: 240000 | #Constraints: 14043 1438.86/1443.13 c #Conflicts: 241000 | #Constraints: 15045 1438.86/1443.13 c #Conflicts: 242000 | #Constraints: 16048 1438.86/1443.13 c #Conflicts: 243000 | #Constraints: 17048 1438.86/1443.13 c #Conflicts: 244000 | #Constraints: 18050 1438.86/1443.13 c #Conflicts: 245000 | #Constraints: 19053 1438.86/1443.13 c #Conflicts: 246000 | #Constraints: 20054 1438.86/1443.13 c INPROCESSING 1438.86/1443.13 c GARBAGE COLLECT 1438.86/1443.13 c rational objective 3.13102e+06 1480.64/1485.07 c #Conflicts: 247000 | #Constraints: 11271 1480.64/1485.07 c #Conflicts: 248000 | #Constraints: 12271 1480.64/1485.07 c #Conflicts: 249000 | #Constraints: 13271 1480.64/1485.07 c #Conflicts: 250000 | #Constraints: 14271 1480.64/1485.07 c #Conflicts: 251000 | #Constraints: 15273 1480.64/1485.07 c #Conflicts: 252000 | #Constraints: 16275 1480.64/1485.07 c #Conflicts: 253000 | #Constraints: 17277 1480.64/1485.07 c #Conflicts: 254000 | #Constraints: 18278 1480.64/1485.07 c #Conflicts: 255000 | #Constraints: 19279 1480.64/1485.07 c #Conflicts: 256000 | #Constraints: 20280 1480.64/1485.07 c INPROCESSING 1480.64/1485.07 c GARBAGE COLLECT 1480.64/1485.07 c rational objective 3.13102e+06 1692.17/1697.21 c #Conflicts: 257000 | #Constraints: 11259 1692.17/1697.21 c #Conflicts: 258000 | #Constraints: 12262 1692.17/1697.21 c #Conflicts: 259000 | #Constraints: 13263 1692.17/1697.21 c #Conflicts: 260000 | #Constraints: 14263 1692.17/1697.21 c #Conflicts: 261000 | #Constraints: 15263 1692.17/1697.21 c #Conflicts: 262000 | #Constraints: 16266 1692.17/1697.21 c #Conflicts: 263000 | #Constraints: 17267 1692.17/1697.21 c #Conflicts: 264000 | #Constraints: 18269 1692.17/1697.21 c #Conflicts: 265000 | #Constraints: 19270 1692.17/1697.21 c #Conflicts: 266000 | #Constraints: 20271 1692.17/1697.21 c INPROCESSING 1692.17/1697.21 c GARBAGE COLLECT 1692.17/1697.21 c #Conflicts: 267000 | #Constraints: 11069 1692.17/1697.21 c #Conflicts: 268000 | #Constraints: 12069 1692.17/1697.21 c #Conflicts: 269000 | #Constraints: 13069 1692.17/1697.21 c #Conflicts: 270000 | #Constraints: 14069 1692.17/1697.21 c bounds 4446919 >= 919552 @ 1540.78 1692.17/1697.21 c #Conflicts: 271000 | #Constraints: 15070 1692.17/1697.21 c #Conflicts: 272000 | #Constraints: 16071 1692.17/1697.21 c #Conflicts: 273000 | #Constraints: 17072 1692.17/1697.21 c #Conflicts: 274000 | #Constraints: 18072 1692.17/1697.21 c #Conflicts: 275000 | #Constraints: 19072 1692.17/1697.21 c #Conflicts: 276000 | #Constraints: 20074 1692.17/1697.21 c #Conflicts: 277000 | #Constraints: 21077 1692.17/1697.21 c INPROCESSING 1692.17/1697.21 c GARBAGE COLLECT 1692.17/1697.21 c #Conflicts: 278000 | #Constraints: 11652 1692.17/1697.21 c bounds 4446901 >= 919552 @ 1579.35 1692.17/1697.21 c #Conflicts: 279000 | #Constraints: 12656 1692.17/1697.21 c #Conflicts: 280000 | #Constraints: 13656 1692.17/1697.21 c #Conflicts: 281000 | #Constraints: 14657 1692.17/1697.21 c #Conflicts: 282000 | #Constraints: 15660 1692.17/1697.21 c #Conflicts: 283000 | #Constraints: 16660 1692.17/1697.21 c #Conflicts: 284000 | #Constraints: 17661 1692.17/1697.21 c #Conflicts: 285000 | #Constraints: 18664 1692.17/1697.21 c #Conflicts: 286000 | #Constraints: 19666 1692.17/1697.21 c #Conflicts: 287000 | #Constraints: 20668 1692.17/1697.21 c #Conflicts: 288000 | #Constraints: 21669 1692.17/1697.21 c INPROCESSING 1692.17/1697.21 c GARBAGE COLLECT 1692.17/1697.21 c bounds 4446865 >= 919552 @ 1629.52 1692.17/1697.21 c bounds 4446856 >= 919552 @ 1629.96 1692.17/1697.21 c bounds 4446802 >= 919552 @ 1630.15 1692.17/1697.21 c bounds 4446793 >= 919552 @ 1630.19 1692.17/1697.21 c bounds 4446508 >= 919552 @ 1631.94 1692.17/1697.21 c bounds 4445986 >= 919552 @ 1632.91 1692.17/1697.21 c bounds 4445958 >= 919552 @ 1633.13 1692.17/1697.21 c bounds 4445902 >= 919552 @ 1633.18 1692.17/1697.21 c #Conflicts: 289000 | #Constraints: 12064 1692.17/1697.21 c bounds 4445897 >= 919552 @ 1636.37 1692.17/1697.21 c bounds 4445732 >= 919552 @ 1640.35 1692.17/1697.21 c bounds 4445722 >= 919552 @ 1640.46 1692.17/1697.21 c bounds 4445702 >= 919552 @ 1640.72 1692.17/1697.21 c bounds 4445697 >= 919552 @ 1641.58 1692.17/1697.21 c bounds 4445682 >= 919552 @ 1641.92 1692.17/1697.21 c #Conflicts: 290000 | #Constraints: 13074 1692.17/1697.21 c bounds 4445662 >= 919552 @ 1646.51 1692.17/1697.21 c #Conflicts: 291000 | #Constraints: 14077 1692.17/1697.21 c bounds 4445582 >= 919552 @ 1654.05 1692.17/1697.21 c #Conflicts: 292000 | #Constraints: 15080 1692.17/1697.21 c #Conflicts: 293000 | #Constraints: 16081 1692.17/1697.21 c #Conflicts: 294000 | #Constraints: 17081 1692.17/1697.21 c #Conflicts: 295000 | #Constraints: 18081 1692.17/1697.21 c #Conflicts: 296000 | #Constraints: 19081 1692.17/1697.21 c #Conflicts: 297000 | #Constraints: 20081 1692.17/1697.21 c #Conflicts: 298000 | #Constraints: 21083 1692.17/1697.21 c #Conflicts: 299000 | #Constraints: 22086 1692.17/1697.21 c INPROCESSING 1692.17/1697.21 c GARBAGE COLLECT 1692.17/1697.21 c rational objective 3.13121e+06 1747.40/1752.69 c bounds 4443790 >= 919552 @ 1684.5 1747.40/1752.69 c bounds 4440097 >= 919552 @ 1687.75 1747.40/1752.69 c bounds 4440083 >= 919552 @ 1688.36 1747.40/1752.69 c #Conflicts: 300000 | #Constraints: 12260 1747.40/1752.69 c #Conflicts: 301000 | #Constraints: 13263 1747.40/1752.69 c bounds 4440074 >= 919552 @ 1696.98 1747.40/1752.69 c bounds 4440069 >= 919552 @ 1697.07 1747.40/1752.69 c bounds 4440064 >= 919552 @ 1697.16 1747.40/1752.69 c bounds 4366336 >= 919552 @ 1697.2 1747.40/1752.69 c #Conflicts: 302000 | #Constraints: 14269 1747.40/1752.69 c #Conflicts: 303000 | #Constraints: 15276 1747.40/1752.69 c bounds 4366176 >= 919552 @ 1711.32 1747.40/1752.69 c #Conflicts: 304000 | #Constraints: 16282 1747.40/1752.69 c #Conflicts: 305000 | #Constraints: 17282 1747.40/1752.69 c #Conflicts: 306000 | #Constraints: 18284 1747.40/1752.69 c #Conflicts: 307000 | #Constraints: 19285 1747.40/1752.69 c #Conflicts: 308000 | #Constraints: 20287 1747.40/1752.69 c #Conflicts: 309000 | #Constraints: 21288 1747.40/1752.69 c #Conflicts: 310000 | #Constraints: 22290 1747.40/1752.69 c INPROCESSING 1747.40/1752.69 c GARBAGE COLLECT 1747.40/1752.69 c rational objective 3.13144e+06 1798.04/1803.47 c #Conflicts: 311000 | #Constraints: 12260 1798.04/1803.47 c #Conflicts: 312000 | #Constraints: 13261 1798.04/1803.47 c bounds 4365536 >= 919552 @ 1748.67 1798.04/1803.47 c #Conflicts: 313000 | #Constraints: 14264 1798.04/1803.47 c #Conflicts: 314000 | #Constraints: 15266 1798.04/1803.47 c #Conflicts: 315000 | #Constraints: 16268 1798.04/1803.47 c #Conflicts: 316000 | #Constraints: 17270 1798.04/1803.47 c #Conflicts: 317000 | #Constraints: 18271 1798.04/1803.47 c #Conflicts: 318000 | #Constraints: 19272 1798.04/1803.47 c #Conflicts: 319000 | #Constraints: 20274 1798.04/1803.47 c #Conflicts: 320000 | #Constraints: 21274 1798.04/1803.47 c #Conflicts: 321000 | #Constraints: 22277 1798.04/1803.47 c INPROCESSING 1798.04/1803.47 c GARBAGE COLLECT 1798.04/1803.47 c rational objective 3.13196e+06 1867.13/1872.77 c bounds 4365531 >= 919552 @ 1790.43 1867.13/1872.77 c bounds 4365521 >= 919552 @ 1790.47 1867.13/1872.77 c bounds 4365516 >= 919552 @ 1791.56 1867.13/1872.77 c bounds 4365511 >= 919552 @ 1791.6 1867.13/1872.77 c bounds 4365501 >= 919552 @ 1791.65 1867.13/1872.77 c #Conflicts: 322000 | #Constraints: 12085 1867.13/1872.77 c bounds 4365496 >= 919552 @ 1794.91 1867.13/1872.77 c bounds 4365456 >= 919552 @ 1795.36 1867.13/1872.77 c bounds 4365136 >= 919552 @ 1796.75 1867.13/1872.77 c #Conflicts: 323000 | #Constraints: 13090 1867.13/1872.77 c #Conflicts: 324000 | #Constraints: 14090 1867.13/1872.77 c #Conflicts: 325000 | #Constraints: 15090 1867.13/1872.77 c #Conflicts: 326000 | #Constraints: 16091 1867.13/1872.77 c bounds 4365126 >= 919552 @ 1831.09 1867.13/1872.77 c #Conflicts: 327000 | #Constraints: 17095 1867.13/1872.77 c #Conflicts: 328000 | #Constraints: 18096 1867.13/1872.77 c #Conflicts: 329000 | #Constraints: 19096 1867.13/1872.77 c #Conflicts: 330000 | #Constraints: 20096 1867.13/1872.77 c #Conflicts: 331000 | #Constraints: 21099 1867.13/1872.77 c #Conflicts: 332000 | #Constraints: 22099 1867.13/1872.77 c #Conflicts: 333000 | #Constraints: 23100 1867.13/1872.77 c INPROCESSING 1867.13/1872.77 c GARBAGE COLLECT 1867.13/1872.77 c rational objective 3.13215e+06 1908.00/1913.74 c #Conflicts: 334000 | #Constraints: 12675 1908.00/1913.74 c #Conflicts: 335000 | #Constraints: 13680 1908.00/1913.74 c #Conflicts: 336000 | #Constraints: 14682 1908.00/1913.74 c #Conflicts: 337000 | #Constraints: 15686 1908.00/1913.74 c #Conflicts: 338000 | #Constraints: 16690 1908.00/1913.74 c #Conflicts: 339000 | #Constraints: 17690 1908.00/1913.74 c #Conflicts: 340000 | #Constraints: 18694 1908.00/1913.74 c #Conflicts: 341000 | #Constraints: 19697 1908.00/1913.74 c #Conflicts: 342000 | #Constraints: 20701 1908.00/1913.74 c #Conflicts: 343000 | #Constraints: 21704 1908.00/1913.74 c #Conflicts: 344000 | #Constraints: 22706 1908.00/1913.74 c #Conflicts: 345000 | #Constraints: 23708 1908.00/1913.74 c INPROCESSING 1908.00/1913.74 c GARBAGE COLLECT 1908.00/1913.74 c rational objective 3.13221e+06 1974.90/1980.81 c bounds 4365106 >= 919552 @ 1898.91 1974.90/1980.81 c bounds 4365096 >= 919552 @ 1899.81 1974.90/1980.81 c bounds 4365086 >= 919552 @ 1902.06 1974.90/1980.81 c bounds 4365081 >= 919552 @ 1902.1 1974.90/1980.81 c bounds 4365061 >= 919552 @ 1902.14 1974.90/1980.81 c bounds 4365056 >= 919552 @ 1905.36 1974.90/1980.81 c bounds 4364421 >= 919552 @ 1907.58 1974.90/1980.81 c bounds 4363781 >= 919552 @ 1907.65 1974.90/1980.81 c #Conflicts: 346000 | #Constraints: 13096 1974.90/1980.81 c bounds 4361221 >= 919552 @ 1911.88 1974.90/1980.81 c #Conflicts: 347000 | #Constraints: 14097 1974.90/1980.81 c #Conflicts: 348000 | #Constraints: 15098 1974.90/1980.81 c bounds 4356101 >= 919552 @ 1927.69 1974.90/1980.81 c #Conflicts: 349000 | #Constraints: 16099 1974.90/1980.81 c #Conflicts: 350000 | #Constraints: 17102 1974.90/1980.81 c #Conflicts: 351000 | #Constraints: 18106 1974.90/1980.81 c #Conflicts: 352000 | #Constraints: 19107 1974.90/1980.81 c #Conflicts: 353000 | #Constraints: 20108 1974.90/1980.81 c #Conflicts: 354000 | #Constraints: 21111 1974.90/1980.81 c #Conflicts: 355000 | #Constraints: 22115 1974.90/1980.81 c #Conflicts: 356000 | #Constraints: 23116 1974.90/1980.81 c #Conflicts: 357000 | #Constraints: 24120 1974.90/1980.81 c INPROCESSING 1974.90/1980.81 c GARBAGE COLLECT 1974.90/1980.81 c rational objective 3.13298e+06 2029.53/2035.61 c bounds 4299787 >= 919552 @ 1965.2 2029.53/2035.61 c #Conflicts: 358000 | #Constraints: 13304 2029.53/2035.61 c bounds 4294667 >= 919552 @ 1973.04 2029.53/2035.61 c #Conflicts: 359000 | #Constraints: 14309 2029.53/2035.61 c bounds 4294656 >= 919552 @ 1977.05 2029.53/2035.61 c #Conflicts: 360000 | #Constraints: 15312 2029.53/2035.61 c bounds 4219904 >= 919552 @ 1984.66 2029.53/2035.61 c #Conflicts: 361000 | #Constraints: 16314 2029.53/2035.61 c #Conflicts: 362000 | #Constraints: 17315 2029.53/2035.61 c #Conflicts: 363000 | #Constraints: 18316 2029.53/2035.61 c #Conflicts: 364000 | #Constraints: 19316 2029.53/2035.61 c #Conflicts: 365000 | #Constraints: 20317 2029.53/2035.61 c #Conflicts: 366000 | #Constraints: 21317 2029.53/2035.61 c #Conflicts: 367000 | #Constraints: 22319 2029.53/2035.61 c #Conflicts: 368000 | #Constraints: 23322 2029.53/2035.61 c #Conflicts: 369000 | #Constraints: 24324 2029.53/2035.61 c INPROCESSING 2029.53/2035.61 c GARBAGE COLLECT 2029.53/2035.61 c rational objective 3.13301e+06 2136.01/2142.41 c #Conflicts: 370000 | #Constraints: 13293 2136.01/2142.41 c #Conflicts: 371000 | #Constraints: 14296 2136.01/2142.41 c #Conflicts: 372000 | #Constraints: 15298 2136.01/2142.41 c #Conflicts: 373000 | #Constraints: 16300 2136.01/2142.41 c #Conflicts: 374000 | #Constraints: 17302 2136.01/2142.41 c #Conflicts: 375000 | #Constraints: 18306 2136.01/2142.41 c #Conflicts: 376000 | #Constraints: 19309 2136.01/2142.41 c #Conflicts: 377000 | #Constraints: 20310 2136.01/2142.41 c #Conflicts: 378000 | #Constraints: 21311 2136.01/2142.41 c #Conflicts: 379000 | #Constraints: 22311 2136.01/2142.41 c #Conflicts: 380000 | #Constraints: 23311 2136.01/2142.41 c #Conflicts: 381000 | #Constraints: 24311 2136.01/2142.41 c INPROCESSING 2136.01/2142.41 c GARBAGE COLLECT 2136.01/2142.41 c #Conflicts: 382000 | #Constraints: 13062 2136.01/2142.41 c #Conflicts: 383000 | #Constraints: 14062 2136.01/2142.41 c #Conflicts: 384000 | #Constraints: 15062 2136.01/2142.41 c #Conflicts: 385000 | #Constraints: 16062 2136.01/2142.41 c #Conflicts: 386000 | #Constraints: 17062 2136.01/2142.41 c #Conflicts: 387000 | #Constraints: 18063 2136.01/2142.41 c #Conflicts: 388000 | #Constraints: 19064 2136.01/2142.41 c #Conflicts: 389000 | #Constraints: 20066 2136.01/2142.41 c #Conflicts: 390000 | #Constraints: 21069 2136.01/2142.41 c #Conflicts: 391000 | #Constraints: 22070 2136.01/2142.41 c #Conflicts: 392000 | #Constraints: 23070 2136.01/2142.41 c #Conflicts: 393000 | #Constraints: 24072 2136.01/2142.41 c #Conflicts: 394000 | #Constraints: 25073 2136.01/2142.41 c INPROCESSING 2136.01/2142.41 c GARBAGE COLLECT 2136.01/2142.41 c rational objective 3.13315e+06 2180.16/2186.72 c #Conflicts: 395000 | #Constraints: 13671 2180.16/2186.72 c #Conflicts: 396000 | #Constraints: 14673 2180.16/2186.72 c #Conflicts: 397000 | #Constraints: 15674 2180.16/2186.72 c #Conflicts: 398000 | #Constraints: 16675 2180.16/2186.72 c #Conflicts: 399000 | #Constraints: 17675 2180.16/2186.72 c #Conflicts: 400000 | #Constraints: 18678 2180.16/2186.72 c #Conflicts: 401000 | #Constraints: 19680 2180.16/2186.72 c #Conflicts: 402000 | #Constraints: 20682 2180.16/2186.72 c #Conflicts: 403000 | #Constraints: 21685 2180.16/2186.72 c #Conflicts: 404000 | #Constraints: 22686 2180.16/2186.72 c #Conflicts: 405000 | #Constraints: 23688 2180.16/2186.72 c #Conflicts: 406000 | #Constraints: 24690 2180.16/2186.72 c #Conflicts: 407000 | #Constraints: 25690 2180.16/2186.72 c INPROCESSING 2180.16/2186.72 c GARBAGE COLLECT 2180.16/2186.72 c rational objective 3.13317e+06 2251.84/2258.67 c #Conflicts: 408000 | #Constraints: 14083 2251.84/2258.67 c #Conflicts: 409000 | #Constraints: 15083 2251.84/2258.67 c #Conflicts: 410000 | #Constraints: 16084 2251.84/2258.67 c #Conflicts: 411000 | #Constraints: 17087 2251.84/2258.67 c #Conflicts: 412000 | #Constraints: 18095 2251.84/2258.67 c #Conflicts: 413000 | #Constraints: 19100 2251.84/2258.67 c #Conflicts: 414000 | #Constraints: 20103 2251.84/2258.67 c #Conflicts: 415000 | #Constraints: 21105 2251.84/2258.67 c #Conflicts: 416000 | #Constraints: 22107 2251.84/2258.67 c #Conflicts: 417000 | #Constraints: 23109 2251.84/2258.67 c bounds 4200448 >= 919552 @ 2227.43 2251.84/2258.67 c #Conflicts: 418000 | #Constraints: 24110 2251.84/2258.67 c #Conflicts: 419000 | #Constraints: 25112 2251.84/2258.67 c #Conflicts: 420000 | #Constraints: 26112 2251.84/2258.67 c INPROCESSING 2251.84/2258.67 c GARBAGE COLLECT 2251.84/2258.67 c rational objective 3.13342e+06 2295.40/2302.39 c #Conflicts: 421000 | #Constraints: 14288 2295.40/2302.39 c #Conflicts: 422000 | #Constraints: 15289 2295.40/2302.39 c #Conflicts: 423000 | #Constraints: 16293 2295.40/2302.39 c #Conflicts: 424000 | #Constraints: 17294 2295.40/2302.39 c #Conflicts: 425000 | #Constraints: 18295 2295.40/2302.39 c #Conflicts: 426000 | #Constraints: 19298 2295.40/2302.39 c #Conflicts: 427000 | #Constraints: 20298 2295.40/2302.39 c #Conflicts: 428000 | #Constraints: 21302 2295.40/2302.39 c #Conflicts: 429000 | #Constraints: 22306 2295.40/2302.39 c #Conflicts: 430000 | #Constraints: 23308 2295.40/2302.39 c #Conflicts: 431000 | #Constraints: 24314 2295.40/2302.39 c #Conflicts: 432000 | #Constraints: 25318 2295.40/2302.39 c #Conflicts: 433000 | #Constraints: 26320 2295.40/2302.39 c INPROCESSING 2295.40/2302.39 c GARBAGE COLLECT 2295.40/2302.39 c rational objective 3.13342e+06 2543.53/2551.28 c #Conflicts: 434000 | #Constraints: 14285 2543.53/2551.28 c #Conflicts: 435000 | #Constraints: 15287 2543.53/2551.28 c #Conflicts: 436000 | #Constraints: 16289 2543.53/2551.28 c #Conflicts: 437000 | #Constraints: 17291 2543.53/2551.28 c #Conflicts: 438000 | #Constraints: 18293 2543.53/2551.28 c #Conflicts: 439000 | #Constraints: 19294 2543.53/2551.28 c #Conflicts: 440000 | #Constraints: 20297 2543.53/2551.28 c #Conflicts: 441000 | #Constraints: 21301 2543.53/2551.28 c #Conflicts: 442000 | #Constraints: 22305 2543.53/2551.28 c #Conflicts: 443000 | #Constraints: 23309 2543.53/2551.28 c #Conflicts: 444000 | #Constraints: 24310 2543.53/2551.28 c #Conflicts: 445000 | #Constraints: 25314 2543.53/2551.28 c #Conflicts: 446000 | #Constraints: 26315 2543.53/2551.28 c INPROCESSING 2543.53/2551.28 c GARBAGE COLLECT 2543.53/2551.28 c #Conflicts: 447000 | #Constraints: 14072 2543.53/2551.28 c bounds 4141056 >= 919552 @ 2337.13 2543.53/2551.28 c #Conflicts: 448000 | #Constraints: 15076 2543.53/2551.28 c #Conflicts: 449000 | #Constraints: 16078 2543.53/2551.28 c #Conflicts: 450000 | #Constraints: 17078 2543.53/2551.28 c #Conflicts: 451000 | #Constraints: 18078 2543.53/2551.28 c #Conflicts: 452000 | #Constraints: 19078 2543.53/2551.28 c #Conflicts: 453000 | #Constraints: 20078 2543.53/2551.28 c #Conflicts: 454000 | #Constraints: 21078 2543.53/2551.28 c #Conflicts: 455000 | #Constraints: 22078 2543.53/2551.28 c #Conflicts: 456000 | #Constraints: 23078 2543.53/2551.28 c #Conflicts: 457000 | #Constraints: 24078 2543.53/2551.28 c #Conflicts: 458000 | #Constraints: 25078 2543.53/2551.28 c #Conflicts: 459000 | #Constraints: 26078 2543.53/2551.28 c #Conflicts: 460000 | #Constraints: 27080 2543.53/2551.28 c INPROCESSING 2543.53/2551.28 c GARBAGE COLLECT 2543.53/2551.28 c #Conflicts: 461000 | #Constraints: 14664 2543.53/2551.28 c #Conflicts: 462000 | #Constraints: 15666 2543.53/2551.28 c #Conflicts: 463000 | #Constraints: 16668 2543.53/2551.28 c #Conflicts: 464000 | #Constraints: 17670 2543.53/2551.28 c #Conflicts: 465000 | #Constraints: 18670 2543.53/2551.28 c #Conflicts: 466000 | #Constraints: 19672 2543.53/2551.28 c #Conflicts: 467000 | #Constraints: 20674 2543.53/2551.28 c #Conflicts: 468000 | #Constraints: 21677 2543.53/2551.28 c #Conflicts: 469000 | #Constraints: 22681 2543.53/2551.28 c #Conflicts: 470000 | #Constraints: 23686 2543.53/2551.28 c #Conflicts: 471000 | #Constraints: 24689 2543.53/2551.28 c #Conflicts: 472000 | #Constraints: 25691 2543.53/2551.28 c #Conflicts: 473000 | #Constraints: 26692 2543.53/2551.28 c #Conflicts: 474000 | #Constraints: 27696 2543.53/2551.28 c INPROCESSING 2543.53/2551.28 c GARBAGE COLLECT 2543.53/2551.28 c rational objective 3.13342e+06 2597.87/2605.70 c #Conflicts: 475000 | #Constraints: 15083 2597.87/2605.70 c #Conflicts: 476000 | #Constraints: 16085 2597.87/2605.70 c #Conflicts: 477000 | #Constraints: 17086 2597.87/2605.70 c #Conflicts: 478000 | #Constraints: 18087 2597.87/2605.70 c #Conflicts: 479000 | #Constraints: 19089 2597.87/2605.70 c #Conflicts: 480000 | #Constraints: 20089 2597.87/2605.70 c #Conflicts: 481000 | #Constraints: 21089 2597.87/2605.70 c #Conflicts: 482000 | #Constraints: 22092 2597.87/2605.70 c #Conflicts: 483000 | #Constraints: 23095 2597.87/2605.70 c #Conflicts: 484000 | #Constraints: 24098 2597.87/2605.70 c #Conflicts: 485000 | #Constraints: 25098 2597.87/2605.70 c #Conflicts: 486000 | #Constraints: 26099 2597.87/2605.70 c #Conflicts: 487000 | #Constraints: 27101 2597.87/2605.70 c #Conflicts: 488000 | #Constraints: 28107 2597.87/2605.70 c INPROCESSING 2597.87/2605.70 c GARBAGE COLLECT 2597.87/2605.70 c rational objective 3.13344e+06 2803.29/2811.77 c #Conflicts: 489000 | #Constraints: 15291 2803.29/2811.77 c #Conflicts: 490000 | #Constraints: 16291 2803.29/2811.77 c #Conflicts: 491000 | #Constraints: 17293 2803.29/2811.77 c #Conflicts: 492000 | #Constraints: 18293 2803.29/2811.77 c #Conflicts: 493000 | #Constraints: 19294 2803.29/2811.77 c #Conflicts: 494000 | #Constraints: 20294 2803.29/2811.77 c #Conflicts: 495000 | #Constraints: 21295 2803.29/2811.77 c #Conflicts: 496000 | #Constraints: 22295 2803.29/2811.77 c #Conflicts: 497000 | #Constraints: 23296 2803.29/2811.77 c #Conflicts: 498000 | #Constraints: 24298 2803.29/2811.77 c #Conflicts: 499000 | #Constraints: 25299 2803.29/2811.77 c #Conflicts: 500000 | #Constraints: 26299 2803.29/2811.77 c #Conflicts: 501000 | #Constraints: 27301 2803.29/2811.77 c #Conflicts: 502000 | #Constraints: 28302 2803.29/2811.77 c INPROCESSING 2803.29/2811.77 c GARBAGE COLLECT 2803.29/2811.77 c #Conflicts: 503000 | #Constraints: 15276 2803.29/2811.77 c #Conflicts: 504000 | #Constraints: 16278 2803.29/2811.77 c #Conflicts: 505000 | #Constraints: 17281 2803.29/2811.77 c #Conflicts: 506000 | #Constraints: 18283 2803.29/2811.77 c #Conflicts: 507000 | #Constraints: 19283 2803.29/2811.77 c #Conflicts: 508000 | #Constraints: 20285 2803.29/2811.77 c #Conflicts: 509000 | #Constraints: 21290 2803.29/2811.77 c #Conflicts: 510000 | #Constraints: 22293 2803.29/2811.77 c #Conflicts: 511000 | #Constraints: 23295 2803.29/2811.77 c #Conflicts: 512000 | #Constraints: 24298 2803.29/2811.77 c #Conflicts: 513000 | #Constraints: 25300 2803.29/2811.77 c #Conflicts: 514000 | #Constraints: 26302 2803.29/2811.77 c #Conflicts: 515000 | #Constraints: 27303 2803.29/2811.77 c #Conflicts: 516000 | #Constraints: 28306 2803.29/2811.77 c INPROCESSING 2803.29/2811.77 c GARBAGE COLLECT 2803.29/2811.77 c #Conflicts: 517000 | #Constraints: 15080 2803.29/2811.77 c #Conflicts: 518000 | #Constraints: 16082 2803.29/2811.77 c #Conflicts: 519000 | #Constraints: 17086 2803.29/2811.77 c #Conflicts: 520000 | #Constraints: 18092 2803.29/2811.77 c #Conflicts: 521000 | #Constraints: 19095 2803.29/2811.77 c #Conflicts: 522000 | #Constraints: 20098 2803.29/2811.77 c #Conflicts: 523000 | #Constraints: 21104 2803.29/2811.77 c #Conflicts: 524000 | #Constraints: 22106 2803.29/2811.77 c #Conflicts: 525000 | #Constraints: 23112 2803.29/2811.77 c #Conflicts: 526000 | #Constraints: 24117 2803.29/2811.77 c #Conflicts: 527000 | #Constraints: 25118 2803.29/2811.77 c #Conflicts: 528000 | #Constraints: 26125 2803.29/2811.77 c #Conflicts: 529000 | #Constraints: 27127 2803.29/2811.77 c #Conflicts: 530000 | #Constraints: 28135 2803.29/2811.77 c #Conflicts: 531000 | #Constraints: 29140 2803.29/2811.77 c INPROCESSING 2803.29/2811.77 c GARBAGE COLLECT 2803.29/2811.77 c rational objective 3.13344e+06 3260.92/3270.48 c #Conflicts: 532000 | #Constraints: 15707 3260.92/3270.48 c #Conflicts: 533000 | #Constraints: 16707 3260.92/3270.48 c #Conflicts: 534000 | #Constraints: 17707 3260.92/3270.48 c #Conflicts: 535000 | #Constraints: 18708 3260.92/3270.48 c #Conflicts: 536000 | #Constraints: 19712 3260.92/3270.48 c #Conflicts: 537000 | #Constraints: 20716 3260.92/3270.48 c #Conflicts: 538000 | #Constraints: 21721 3260.92/3270.48 c #Conflicts: 539000 | #Constraints: 22724 3260.92/3270.48 c #Conflicts: 540000 | #Constraints: 23727 3260.92/3270.48 c #Conflicts: 541000 | #Constraints: 24729 3260.92/3270.48 c #Conflicts: 542000 | #Constraints: 25734 3260.92/3270.48 c #Conflicts: 543000 | #Constraints: 26736 3260.92/3270.48 c #Conflicts: 544000 | #Constraints: 27739 3260.92/3270.48 c #Conflicts: 545000 | #Constraints: 28741 3260.92/3270.48 c #Conflicts: 546000 | #Constraints: 29743 3260.92/3270.48 c INPROCESSING 3260.92/3270.48 c GARBAGE COLLECT 3260.92/3270.48 c #Conflicts: 547000 | #Constraints: 16098 3260.92/3270.48 c #Conflicts: 548000 | #Constraints: 17098 3260.92/3270.48 c #Conflicts: 549000 | #Constraints: 18098 3260.92/3270.48 c #Conflicts: 550000 | #Constraints: 19098 3260.92/3270.48 c #Conflicts: 551000 | #Constraints: 20098 3260.92/3270.48 c #Conflicts: 552000 | #Constraints: 21098 3260.92/3270.48 c #Conflicts: 553000 | #Constraints: 22100 3260.92/3270.48 c #Conflicts: 554000 | #Constraints: 23103 3260.92/3270.48 c #Conflicts: 555000 | #Constraints: 24105 3260.92/3270.48 c #Conflicts: 556000 | #Constraints: 25105 3260.92/3270.48 c #Conflicts: 557000 | #Constraints: 26106 3260.92/3270.48 c #Conflicts: 558000 | #Constraints: 27106 3260.92/3270.48 c #Conflicts: 559000 | #Constraints: 28108 3260.92/3270.48 c #Conflicts: 560000 | #Constraints: 29109 3260.92/3270.48 c #Conflicts: 561000 | #Constraints: 30111 3260.92/3270.48 c INPROCESSING 3260.92/3270.48 c GARBAGE COLLECT 3260.92/3270.48 c #Conflicts: 562000 | #Constraints: 16292 3260.92/3270.48 c #Conflicts: 563000 | #Constraints: 17296 3260.92/3270.48 c #Conflicts: 564000 | #Constraints: 18299 3260.92/3270.48 c #Conflicts: 565000 | #Constraints: 19302 3260.92/3270.48 c #Conflicts: 566000 | #Constraints: 20304 3260.92/3270.48 c #Conflicts: 567000 | #Constraints: 21305 3260.92/3270.48 c #Conflicts: 568000 | #Constraints: 22306 3260.92/3270.48 c #Conflicts: 569000 | #Constraints: 23308 3260.92/3270.48 c #Conflicts: 570000 | #Constraints: 24313 3260.92/3270.48 c #Conflicts: 571000 | #Constraints: 25314 3260.92/3270.48 c #Conflicts: 572000 | #Constraints: 26319 3260.92/3270.48 c #Conflicts: 573000 | #Constraints: 27323 3260.92/3270.48 c #Conflicts: 574000 | #Constraints: 28326 3260.92/3270.48 c #Conflicts: 575000 | #Constraints: 29327 3260.92/3270.48 c #Conflicts: 576000 | #Constraints: 30330 3260.92/3270.48 c INPROCESSING 3260.92/3270.48 c GARBAGE COLLECT 3260.92/3270.48 c #Conflicts: 577000 | #Constraints: 16285 3260.92/3270.48 c #Conflicts: 578000 | #Constraints: 17286 3260.92/3270.48 c #Conflicts: 579000 | #Constraints: 18286 3260.92/3270.48 c #Conflicts: 580000 | #Constraints: 19287 3260.92/3270.48 c #Conflicts: 581000 | #Constraints: 20288 3260.92/3270.48 c #Conflicts: 582000 | #Constraints: 21291 3260.92/3270.48 c #Conflicts: 583000 | #Constraints: 22293 3260.92/3270.48 c #Conflicts: 584000 | #Constraints: 23293 3260.92/3270.48 c #Conflicts: 585000 | #Constraints: 24294 3260.92/3270.48 c #Conflicts: 586000 | #Constraints: 25294 3260.92/3270.48 c #Conflicts: 587000 | #Constraints: 26294 3260.92/3270.48 c #Conflicts: 588000 | #Constraints: 27294 3260.92/3270.48 c #Conflicts: 589000 | #Constraints: 28295 3260.92/3270.48 c #Conflicts: 590000 | #Constraints: 29295 3260.92/3270.48 c #Conflicts: 591000 | #Constraints: 30296 3260.92/3270.48 c INPROCESSING 3260.92/3270.48 c GARBAGE COLLECT 3260.92/3270.48 c #Conflicts: 592000 | #Constraints: 16060 3260.92/3270.48 c #Conflicts: 593000 | #Constraints: 17060 3260.92/3270.48 c #Conflicts: 594000 | #Constraints: 18060 3260.92/3270.48 c #Conflicts: 595000 | #Constraints: 19062 3260.92/3270.48 c #Conflicts: 596000 | #Constraints: 20065 3260.92/3270.48 c #Conflicts: 597000 | #Constraints: 21068 3260.92/3270.48 c #Conflicts: 598000 | #Constraints: 22070 3260.92/3270.48 c #Conflicts: 599000 | #Constraints: 23072 3260.92/3270.48 c #Conflicts: 600000 | #Constraints: 24074 3260.92/3270.48 c #Conflicts: 601000 | #Constraints: 25077 3260.92/3270.48 c #Conflicts: 602000 | #Constraints: 26079 3260.92/3270.48 c #Conflicts: 603000 | #Constraints: 27082 3260.92/3270.48 c #Conflicts: 604000 | #Constraints: 28085 3260.92/3270.48 c #Conflicts: 605000 | #Constraints: 29087 3260.92/3270.48 c #Conflicts: 606000 | #Constraints: 30088 3260.92/3270.48 c #Conflicts: 607000 | #Constraints: 31092 3260.92/3270.48 c INPROCESSING 3338.53/3348.20 c GARBAGE COLLECT 3338.53/3348.20 c #Conflicts: 608000 | #Constraints: 16668 3338.53/3348.20 c #Conflicts: 609000 | #Constraints: 17669 3338.53/3348.20 c #Conflicts: 610000 | #Constraints: 18670 3338.53/3348.20 c #Conflicts: 611000 | #Constraints: 19670 3338.53/3348.20 c #Conflicts: 612000 | #Constraints: 20673 3338.53/3348.20 c #Conflicts: 613000 | #Constraints: 21673 3338.53/3348.20 c #Conflicts: 614000 | #Constraints: 22675 3338.53/3348.20 c #Conflicts: 615000 | #Constraints: 23678 3338.53/3348.20 c #Conflicts: 616000 | #Constraints: 24678 3338.53/3348.20 c #Conflicts: 617000 | #Constraints: 25680 3338.53/3348.20 c #Conflicts: 618000 | #Constraints: 26683 3338.53/3348.20 c #Conflicts: 619000 | #Constraints: 27684 3338.53/3348.20 c #Conflicts: 620000 | #Constraints: 28685 3338.53/3348.20 c #Conflicts: 621000 | #Constraints: 29688 3338.53/3348.20 c #Conflicts: 622000 | #Constraints: 30689 3338.53/3348.20 c #Conflicts: 623000 | #Constraints: 31691 3338.53/3348.20 c INPROCESSING 3338.53/3348.20 c GARBAGE COLLECT 3338.53/3348.20 c rational objective 3.13345e+06 3413.25/3423.13 c #Conflicts: 624000 | #Constraints: 17059 3413.25/3423.13 c #Conflicts: 625000 | #Constraints: 18059 3413.25/3423.13 c #Conflicts: 626000 | #Constraints: 19061 3413.25/3423.13 c #Conflicts: 627000 | #Constraints: 20063 3413.25/3423.13 c #Conflicts: 628000 | #Constraints: 21065 3413.25/3423.13 c #Conflicts: 629000 | #Constraints: 22067 3413.25/3423.13 c #Conflicts: 630000 | #Constraints: 23068 3413.25/3423.13 c #Conflicts: 631000 | #Constraints: 24070 3413.25/3423.13 c #Conflicts: 632000 | #Constraints: 25075 3413.25/3423.13 c #Conflicts: 633000 | #Constraints: 26078 3413.25/3423.13 c #Conflicts: 634000 | #Constraints: 27080 3413.25/3423.13 c #Conflicts: 635000 | #Constraints: 28082 3413.25/3423.13 c #Conflicts: 636000 | #Constraints: 29085 3413.25/3423.13 c #Conflicts: 637000 | #Constraints: 30088 3413.25/3423.13 c #Conflicts: 638000 | #Constraints: 31091 3413.25/3423.13 c #Conflicts: 639000 | #Constraints: 32092 3413.25/3423.13 c INPROCESSING 3413.25/3423.13 c GARBAGE COLLECT 3413.25/3423.13 c rational objective 3.13349e+06 3600.00/3610.30 c 3600.00/3610.30 s SATISFIABLE 3600.00/3610.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 3600.00/3610.30 c #Conflicts: 640000 | #Constraints: 17271 3600.00/3610.30 c #Conflicts: 641000 | #Constraints: 18271 3600.00/3610.30 c #Conflicts: 642000 | #Constraints: 19274 3600.00/3610.30 c #Conflicts: 643000 | #Constraints: 20275 3600.00/3610.30 c #Conflicts: 644000 | #Constraints: 21277 3600.00/3610.30 c #Conflicts: 645000 | #Constraints: 22278 3600.00/3610.30 c #Conflicts: 646000 | #Constraints: 23278 3600.00/3610.30 c #Conflicts: 647000 | #Constraints: 24278 3600.00/3610.30 c #Conflicts: 648000 | #Constraints: 25279 3600.00/3610.30 c #Conflicts: 649000 | #Constraints: 26279 3600.00/3610.30 c #Conflicts: 650000 | #Constraints: 27279 3600.00/3610.30 c #Conflicts: 651000 | #Constraints: 28279 3600.00/3610.30 c #Conflicts: 652000 | #Constraints: 29279 3600.00/3610.30 c #Conflicts: 653000 | #Constraints: 30281 3600.00/3610.30 c #Conflicts: 654000 | #Constraints: 31283 3600.00/3610.30 c #Conflicts: 655000 | #Constraints: 32283 3600.00/3610.30 c INPROCESSING 3600.00/3610.30 c GARBAGE COLLECT 3600.00/3610.30 c #Conflicts: 656000 | #Constraints: 17267 3600.00/3610.30 c #Conflicts: 657000 | #Constraints: 18268 3600.00/3610.30 c #Conflicts: 658000 | #Constraints: 19268 3600.00/3610.30 c #Conflicts: 659000 | #Constraints: 20268 3600.00/3610.30 c #Conflicts: 660000 | #Constraints: 21270 3600.00/3610.30 c #Conflicts: 661000 | #Constraints: 22270 3600.00/3610.30 c #Conflicts: 662000 | #Constraints: 23270 3600.00/3610.30 c #Conflicts: 663000 | #Constraints: 24274 3600.00/3610.30 c #Conflicts: 664000 | #Constraints: 25274 3600.00/3610.30 c #Conflicts: 665000 | #Constraints: 26277 3600.00/3610.30 c #Conflicts: 666000 | #Constraints: 27280 3600.00/3610.30 c #Conflicts: 667000 | #Constraints: 28283 3600.00/3610.30 c #Conflicts: 668000 | #Constraints: 29283 3600.00/3610.30 c #Conflicts: 669000 | #Constraints: 30284 3600.00/3610.30 c #Conflicts: 670000 | #Constraints: 31284
OK 4141056
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 (61182 MiB free)
memory of node 1: 64510 MiB (61869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429343-1721047129/watcher-4429343-1721047129 -o /tmp/evaluation-result-4429343-1721047129/solver-4429343-1721047129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721039873-795663 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429343-1721047129.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=800098, runsolver pid=800095
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.17 4.14 4.10 5/255 800099
/proc/meminfo: memFree=125996108/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=45308 memory=15868 CPUtime=0.09 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 2939 0 0 0 8 1 0 0 20 0 1 0 156882596 46395392 3967 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 11327 3967 1823 922 0 3279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45308 KiB
Current children cumulated memory: 15868 KiB
[startup+0.205763 s]*
/proc/loadavg: 4.17 4.14 4.10 5/255 800099
/proc/meminfo: memFree=125995268/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=45464 memory=16396 CPUtime=0.2 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 3101 0 0 0 19 1 0 0 20 0 1 0 156882596 46555136 4099 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 11366 4099 1823 922 0 3318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45464 KiB
Current children cumulated memory: 16396 KiB
[startup+0.305589 s]*
/proc/loadavg: 4.17 4.14 4.10 5/255 800099
/proc/meminfo: memFree=125992184/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=45984 memory=19232 CPUtime=0.3 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 3265 0 0 0 28 2 0 0 20 0 1 0 156882596 47087616 4808 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 11496 4808 1823 922 0 3448 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45984 KiB
Current children cumulated memory: 19232 KiB
[startup+0.700219 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 800099
/proc/meminfo: memFree=125991708/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=47856 memory=21140 CPUtime=0.68 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 3756 0 0 0 66 2 0 0 20 0 1 0 156882596 49004544 5285 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 11964 5285 1839 922 0 3916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47856 KiB
Current children cumulated memory: 21140 KiB
[startup+1.50022 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 800099
/proc/meminfo: memFree=125988716/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=56512 memory=28880 CPUtime=1.48 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 5181 0 0 0 144 4 0 0 20 0 1 0 156882596 57868288 7220 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 14128 7220 1839 922 0 6080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56512 KiB
Current children cumulated memory: 28880 KiB
[startup+3.10558 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 800099
/proc/meminfo: memFree=125972940/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=69720 memory=39104 CPUtime=3.09 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 7198 0 0 0 299 10 0 0 20 0 1 0 156882596 71393280 9776 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 17430 9776 1839 922 0 9382 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69720 KiB
Current children cumulated memory: 39104 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 800101
/proc/meminfo: memFree=125955192/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=88368 memory=53896 CPUtime=6.27 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 9358 0 0 0 610 17 0 0 20 0 1 0 156882596 90488832 13474 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 22092 13474 1839 922 0 14044 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88368 KiB
Current children cumulated memory: 53896 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 800101
/proc/meminfo: memFree=125944240/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=95276 memory=65384 CPUtime=12.66 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 11994 0 0 0 1239 27 0 0 20 0 1 0 156882596 97562624 16346 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 23819 16346 1983 922 0 15771 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 95276 KiB
Current children cumulated memory: 65384 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 800104
/proc/meminfo: memFree=125916476/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=120232 memory=81640 CPUtime=25.42 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 15756 0 0 0 2487 55 0 0 20 0 1 0 156882596 123117568 20410 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 30058 20410 1983 922 0 22010 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 120232 KiB
Current children cumulated memory: 81640 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 800212
/proc/meminfo: memFree=125878048/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=130612 memory=102192 CPUtime=50.96 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 20280 0 0 0 4995 101 0 0 20 0 1 0 156882596 133746688 25548 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 32653 25548 1983 922 0 24605 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 130612 KiB
Current children cumulated memory: 102192 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 800220
/proc/meminfo: memFree=125695760/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=175104 memory=134792 CPUtime=102.02 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 24922 0 0 0 10036 166 0 0 20 0 1 0 156882596 179306496 33698 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 43776 33698 1983 922 0 35728 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 175104 KiB
Current children cumulated memory: 134792 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 800232
/proc/meminfo: memFree=125558948/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=190600 memory=160500 CPUtime=161.85 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 29559 0 0 0 15949 236 0 0 20 0 1 0 156882596 195174400 40125 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 47650 40125 1983 922 0 39602 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 190600 KiB
Current children cumulated memory: 160500 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 800244
/proc/meminfo: memFree=125487932/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=251404 memory=179396 CPUtime=221.69 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 33643 0 0 0 21880 289 0 0 20 0 1 0 156882596 257437696 44849 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 62851 44849 1983 922 0 54803 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 251404 KiB
Current children cumulated memory: 179396 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 800299
/proc/meminfo: memFree=125413572/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=256960 memory=205576 CPUtime=281.54 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 37660 0 0 0 27825 329 0 0 20 0 1 0 156882596 263127040 51394 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 64240 51394 1983 922 0 56192 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 256960 KiB
Current children cumulated memory: 205576 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 800312
/proc/meminfo: memFree=125168092/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=278396 memory=228900 CPUtime=341.37 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 45213 0 0 0 33771 366 0 0 20 0 1 0 156882596 285077504 57225 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 69599 57225 1983 922 0 61551 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 228900 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 800322
/proc/meminfo: memFree=124810248/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=278396 memory=237252 CPUtime=401.2 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 45311 0 0 0 39727 393 0 0 20 0 1 0 156882596 285077504 59313 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 69599 59313 1983 922 0 61551 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 278396 KiB
Current children cumulated memory: 237252 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 800332
/proc/meminfo: memFree=124623960/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=289080 memory=255876 CPUtime=461.03 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 47633 0 0 0 45664 439 0 0 20 0 1 0 156882596 296017920 63969 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 72270 63969 1983 922 0 64222 0
################
# More data... #
################
Current children cumulated memory: 531944 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 801895
/proc/meminfo: memFree=122389116/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=637256 memory=516256 CPUtime=2913.62 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 95339 0 0 0 289828 1534 0 0 20 0 1 0 156882596 652550144 129064 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 159314 129064 1983 922 0 151266 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 637256 KiB
Current children cumulated memory: 516256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 801909
/proc/meminfo: memFree=122343068/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=637256 memory=516256 CPUtime=2973.48 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 95491 0 0 0 295780 1568 0 0 20 0 1 0 156882596 652550144 129064 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 159314 129064 1983 922 0 151266 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 637256 KiB
Current children cumulated memory: 516256 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.26 4.15 5/262 802088
/proc/meminfo: memFree=122294508/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=637256 memory=516256 CPUtime=3033.34 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 95649 0 0 0 301710 1624 0 0 20 0 1 0 156882596 652550144 129064 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 159314 129064 1983 922 0 151266 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 637256 KiB
Current children cumulated memory: 516256 KiB
[startup+3102.3 s]
/proc/loadavg: 4.37 4.26 4.16 5/262 802098
/proc/meminfo: memFree=122229516/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=637256 memory=516256 CPUtime=3093.2 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 95764 0 0 0 307661 1659 0 0 20 0 1 0 156882596 652550144 129064 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 159314 129064 1983 922 0 151266 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 637256 KiB
Current children cumulated memory: 516256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.23 4.15 5/264 802167
/proc/meminfo: memFree=122157392/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=652576 memory=541672 CPUtime=3153.07 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 96793 0 0 0 313615 1692 0 0 20 0 1 0 156882596 668237824 135418 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163144 135418 1983 922 0 155096 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 652576 KiB
Current children cumulated memory: 541672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/259 802178
/proc/meminfo: memFree=122103652/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=652576 memory=554104 CPUtime=3212.93 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 96903 0 0 0 319572 1721 0 0 20 0 1 0 156882596 668237824 138526 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163144 138526 1983 922 0 155096 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 652576 KiB
Current children cumulated memory: 554104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.15 5/258 802188
/proc/meminfo: memFree=122040680/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=652576 memory=554104 CPUtime=3272.79 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 97128 0 0 0 325542 1737 0 0 20 0 1 0 156882596 668237824 138526 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163144 138526 1983 922 0 155096 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 652576 KiB
Current children cumulated memory: 554104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/257 802199
/proc/meminfo: memFree=122012184/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=652576 memory=554104 CPUtime=3332.64 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 97354 0 0 0 331507 1757 0 0 20 0 1 0 156882596 668237824 138526 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163144 138526 1983 922 0 155096 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 652576 KiB
Current children cumulated memory: 554104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/257 802209
/proc/meminfo: memFree=122007288/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=655580 memory=557108 CPUtime=3392.49 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 97819 0 0 0 337473 1776 0 0 20 0 1 0 156882596 671313920 139277 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163895 139277 1983 922 0 155847 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 655580 KiB
Current children cumulated memory: 557108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/254 802219
/proc/meminfo: memFree=122006252/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=654196 memory=555724 CPUtime=3452.35 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 99589 0 0 0 343438 1797 0 0 20 0 1 0 156882596 669896704 138931 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163549 138931 1983 922 0 155501 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 654196 KiB
Current children cumulated memory: 555724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 802235
/proc/meminfo: memFree=122001012/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=654196 memory=555724 CPUtime=3512.21 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 99815 0 0 0 349402 1819 0 0 20 0 1 0 156882596 669896704 138931 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163549 138931 1983 922 0 155501 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 654196 KiB
Current children cumulated memory: 555724 KiB
[startup+3582.3 s]
/proc/loadavg: 3.88 4.09 4.11 4/250 802276
/proc/meminfo: memFree=122516480/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=654196 memory=555724 CPUtime=3572.06 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 100039 0 0 0 355357 1849 0 0 20 0 1 0 156882596 669896704 138931 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163549 138931 1983 922 0 155501 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 654196 KiB
Current children cumulated memory: 555724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.60 4.00 4.08 4/250 802280
/proc/meminfo: memFree=122499540/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=654196 memory=555724 CPUtime=3600 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 100190 0 0 0 358138 1862 0 0 20 0 1 0 156882596 669896704 138931 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163549 138931 1983 922 0 155501 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 654196 KiB
Current children cumulated memory: 555724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 800098 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3581.39 s, system=18.627 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.60 4.00 4.08 4/250 802280
/proc/meminfo: memFree=122499540/131524600 swapFree=131071996/131071996
[pid=800098] ppid=800095 vsize=654196 memory=555724 CPUtime=3600 cores=4,6
/proc/800098/stat : 800098 (roundingsat) R 800095 800098 795652 0 -1 4194304 100190 0 0 0 358138 1862 0 0 20 0 1 0 156882596 669896704 138931 134679101440 4194304 7968869 140728096020560 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36954112 140728096027582 140728096027746 140728096027746 140728096034761 0
/proc/800098/statm: 163549 138931 1983 922 0 155501 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 654196 KiB
Current children cumulated memory: 555724 KiB
Child status: 1
Real time (s): 3610.3
CPU time (s): 3600.02
CPU user time (s): 3581.39
CPU system time (s): 18.627
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 667244
Max. memory (cumulated for all children) (KiB): 568800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.39
system time used= 18.627
maximum resident set size= 568800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100199
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= 96
involuntary context switches= 1405
# summary of solver processes directly reported to runsolver:
# pid: 800098
# total CPU time (s): 3600.02
# total CPU user time (s): 3581.39
# total CPU system time (s): 18.627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0664 second user time and 16.6812 second system time
The end
Begin job on nodeC033 at 2024-07-15 14:39:01 IDJOB=4429343 IDBENCH=146763 IDSOLVER=3051 FILE ID=nodeC033/4429343-1721047129 RUNJOBID= nodeC033-1721039873-795663 SLURM_JOB_ID= 7505452 Free space on /tmp= 890064 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-ran14x18.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-4429343-1721047129/watcher-4429343-1721047129 -o /tmp/evaluation-result-4429343-1721047129/solver-4429343-1721047129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721039873-795663 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429343-1721047129.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 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 : 3674.635 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 : 3694.648 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 : 3625.589 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 : 3599.951 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 : 3652.653 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 : 3694.701 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 : 3658.861 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 : 3599.813 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: 126005132 kB MemAvailable: 128785784 kB Buffers: 363668 kB Cached: 3224228 kB SwapCached: 0 kB Active: 583172 kB Inactive: 4281412 kB Active(anon): 1556 kB Inactive(anon): 1312840 kB Active(file): 581616 kB Inactive(file): 2968572 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5612 kB Writeback: 4 kB AnonPages: 1275112 kB Mapped: 113176 kB Shmem: 37716 kB KReclaimable: 140220 kB Slab: 249348 kB SReclaimable: 140220 kB SUnreclaim: 109128 kB KernelStack: 4112 kB PageTables: 11944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1752136 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60032 kB HardwareCorrupted: 0 kB AnonHugePages: 1067008 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= 890056 MiB End job on nodeC033 at 2024-07-15 15:39:11