Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.11 | 2423.87 |
| Name | fapp/fapp11-15/fapp14/ fapp14-2500-3.xml |
| MD5SUM | 4617dd65e04376af0f17b07f3d79e34a |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 38371 |
| Best CPU time to get the best result obtained on this benchmark | 2400.11 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2500 |
| Number of constraints | 40767 |
| Maximum constraint arity | 2 |
| Maximum domain size | 362 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 40767 |
| Global constraints used (with number of constraints) |
0.32 0.32 Abscon 109 (November, 2006) 0.32 0.32 configuration 0.32 name=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275243-1169218875/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.72 nbVariables=2500 nbDomainTypes=30 minDomainSize=42 maxDomainSize=362 0.72 => wckTime=0.396 cpuTime=0.28 mem=35M188 0.72 0.72 predicates being loaded... 0.72 0.72 constraints being loaded... 61.47 61.47 INFO : Stopping converting binary constraints (cpu=60.02, mem = 70M30) 63.58 nbConstraints=40767 nbConvertedConstraints=6484 nbConvertConstraintsChecks=192795794 nbExtensionStructures=2682 63.58 nbSharedExtensionStructures=3802 nbConflictsStructures=2682 nbSharedConflictsStructures=3802 63.58 nbSharedBinaryRepresentations=1383327 nbEvaluationManagers=9371 nbSharedEvaluationManagers=24912 maxDegree=52 63.58 maxArity=2 63.58 => wckTime=63.261 cpuTime=61.63 mem=93M708 63.96 63.96 solver LocalSearchSolver being built... 64.00 => wckTime=63.681 cpuTime=61.67 mem=86M326 64.19 64.19 s SATISFIABLE 64.20 o 32450 64.20 c 8317 64.29 o 32462 64.29 c 8305 64.32 o 32473 64.32 c 8294 64.37 o 32487 64.37 c 8280 64.41 o 32495 64.41 c 8272 64.45 o 32503 64.45 c 8264 64.49 o 32511 64.49 c 8256 64.52 o 32517 64.52 c 8250 64.57 o 32520 64.57 c 8247 64.61 o 32528 64.61 c 8239 64.65 o 32537 64.65 c 8230 64.70 o 32546 64.70 c 8221 64.75 o 32552 64.75 c 8215 64.78 o 32557 64.78 c 8210 64.83 o 32562 64.83 c 8205 64.87 o 32567 64.87 c 8200 64.91 o 32572 64.91 c 8195 64.94 o 32577 64.94 c 8190 64.97 o 32581 64.97 c 8186 65.02 o 32584 65.02 c 8183 65.06 o 32587 65.06 c 8180 65.09 o 32589 65.09 c 8178 65.12 o 32591 65.12 c 8176 65.15 o 32593 65.15 c 8174 65.20 o 32595 65.20 c 8172 65.24 o 32596 65.24 c 8171 65.30 o 32605 65.30 c 8162 65.36 o 32614 65.36 c 8153 65.42 o 32622 65.42 c 8145 65.48 o 32630 65.48 c 8137 65.52 o 32638 65.52 c 8129 65.57 o 32645 65.57 c 8122 65.63 o 32652 65.63 c 8115 65.67 o 32656 65.67 c 8111 65.74 o 32662 65.74 c 8105 65.78 o 32667 65.78 c 8100 65.82 o 32672 65.82 c 8095 65.86 o 32676 65.86 c 8091 65.91 o 32680 65.91 c 8087 65.94 o 32683 65.94 c 8084 65.97 o 32692 65.97 c 8075 66.00 o 32695 66.00 c 8072 66.05 o 32698 66.05 c 8069 66.07 o 32701 66.07 c 8066 66.11 o 32703 66.11 c 8064 66.15 o 32705 66.15 c 8062 66.23 o 32711 66.23 c 8056 66.28 o 32716 66.28 c 8051 66.32 o 32722 66.32 c 8045 66.36 o 32724 66.36 c 8043 66.41 o 32728 66.41 c 8039 66.46 o 32738 66.46 c 8029 66.53 o 32745 66.53 c 8022 66.60 o 32754 66.60 c 8013 66.66 o 32762 66.66 c 8005 66.72 o 32770 66.72 c 7997 66.79 o 32777 66.79 c 7990 66.85 o 32784 66.85 c 7983 66.92 o 32791 66.92 c 7976 66.98 o 32797 66.98 c 7970 67.05 o 32802 67.05 c 7965 67.11 o 32807 67.11 c 7960 67.17 o 32812 67.17 c 7955 67.24 o 32817 67.24 c 7950 67.30 o 32819 67.30 c 7948 67.36 o 32823 67.36 c 7944 67.40 o 32827 67.40 c 7940 67.45 o 32831 67.45 c 7936 67.50 o 32834 67.50 c 7933 67.55 o 32837 67.55 c 7930 67.58 o 32840 67.58 c 7927 67.65 o 32843 67.65 c 7924 67.69 o 32850 67.69 c 7917 67.72 o 32852 67.72 c 7915 67.75 o 32854 67.75 c 7913 67.78 o 32856 67.78 c 7911 67.81 o 32857 67.81 c 7910 67.83 o 32858 67.83 c 7909 67.86 o 32859 67.86 c 7908 67.89 o 32860 67.89 c 7907 67.92 o 32863 67.92 c 7904 67.96 o 32868 67.96 c 7899 68.01 o 32871 68.01 c 7896 68.04 o 32879 68.04 c 7888 68.09 o 32884 68.09 c 7883 68.14 o 32889 68.14 c 7878 68.19 o 32894 68.19 c 7873 68.20 o 32896 68.20 c 7871 68.24 o 32898 68.24 c 7869 68.28 o 32908 68.28 c 7859 68.31 o 32918 68.31 c 7849 68.35 o 32920 68.35 c 7847 68.40 o 32927 68.40 c 7840 68.43 o 32937 68.43 c 7830 68.49 o 32947 68.49 c 7820 68.56 o 32956 68.56 c 7811 68.63 o 32957 68.63 c 7810 68.69 o 32964 68.69 c 7803 68.76 o 32971 68.76 c 7796 68.82 o 32975 68.82 c 7792 68.88 o 32976 68.88 c 7791 68.95 o 32982 68.95 c 7785 69.02 o 32988 69.02 c 7779 69.09 o 32994 69.09 c 7773 69.16 o 33000 69.16 c 7767 69.23 o 33001 69.23 c 7766 69.30 o 33006 69.30 c 7761 69.36 o 33011 69.36 c 7756 69.43 o 33016 69.43 c 7751 69.48 o 33021 69.48 c 7746 69.54 o 33025 69.54 c 7742 69.60 o 33029 69.60 c 7738 69.65 o 33032 69.65 c 7735 69.70 o 33035 69.70 c 7732 69.76 o 33038 69.76 c 7729 69.80 o 33041 69.80 c 7726 69.86 o 33044 69.86 c 7723 69.90 o 33046 69.90 c 7721 69.95 o 33048 69.95 c 7719 69.99 o 33050 69.99 c 7717 70.02 o 33052 70.02 c 7715 70.07 o 33061 70.07 c 7706 70.10 o 33063 70.10 c 7704 70.15 o 33065 70.15 c 7702 70.18 o 33066 70.18 c 7701 70.29 o 33073 70.29 c 7694 70.31 o 33077 70.31 c 7690 70.34 o 33080 70.34 c 7687 70.38 o 33083 70.38 c 7684 70.42 o 33086 70.42 c 7681 70.44 o 33092 70.44 c 7675 70.48 o 33097 70.48 c 7670 70.51 o 33099 70.51 c 7668 70.53 o 33103 70.53 c 7664 70.57 o 33111 70.57 c 7656 70.60 o 33119 70.60 c 7648 70.65 o 33124 70.65 c 7643 70.69 o 33132 70.69 c 7635 70.73 o 33135 70.73 c 7632 70.76 o 33137 70.76 c 7630 70.81 o 33139 70.81 c 7628 70.86 o 33145 70.86 c 7622 70.91 o 33149 70.91 c 7618 70.94 o 33153 70.94 c 7614 71.01 o 33159 71.01 c 7608 71.07 o 33163 71.07 c 7604 71.16 o 33172 71.16 c 7595 71.22 o 33180 71.22 c 7587 71.29 o 33188 71.29 c 7579 71.36 o 33193 71.36 c 7574 71.44 o 33200 71.44 c 7567 71.52 o 33207 71.52 c 7560 71.59 o 33215 71.59 c 7552 71.67 o 33222 71.67 c 7545 71.75 o 33228 71.75 c 7539 71.83 o 33234 71.83 c 7533 71.92 o 33240 71.92 c 7527 71.99 o 33246 71.99 c 7521 72.06 o 33251 72.06 c 7516 72.14 o 33256 72.14 c 7511 72.24 o 33261 72.24 c 7506 72.32 o 33266 72.32 c 7501 72.39 o 33271 72.39 c 7496 72.46 o 33275 72.46 c 7492 72.54 o 33279 72.54 c 7488 72.60 o 33286 72.60 c 7481 72.65 o 33290 72.65 c 7477 72.72 o 33294 72.72 c 7473 72.78 o 33297 72.78 c 7470 72.85 o 33300 72.85 c 7467 72.91 o 33303 72.91 c 7464 72.98 o 33305 72.98 c 7462 73.04 o 33307 73.04 c 7460 73.09 o 33309 73.09 c 7458 73.14 o 33311 73.14 c 7456 73.20 o 33313 73.20 c 7454 73.25 o 33315 73.25 c 7452 73.29 o 33324 73.29 c 7443 73.34 o 33326 73.34 c 7441 73.38 o 33327 73.38 c 7440 73.42 o 33328 73.42 c 7439 73.45 o 33329 73.45 c 7438 73.56 o 33332 73.56 c 7435 73.60 o 33336 73.60 c 7431 73.63 o 33338 73.63 c 7429 73.67 o 33342 73.67 c 7425 73.71 o 33343 73.71 c 7424 73.77 o 33347 73.77 c 7420 73.81 o 33349 73.81 c 7418 73.86 o 33351 73.86 c 7416 73.89 o 33355 73.89 c 7412 73.94 o 33356 73.94 c 7411 73.97 o 33362 73.97 c 7405 74.01 o 33364 74.01 c 7403 74.06 o 33368 74.06 c 7399 74.11 o 33375 74.11 c 7392 74.16 o 33380 74.16 c 7387 74.22 o 33383 74.22 c 7384 74.26 o 33393 74.26 c 7374 74.31 o 33397 74.31 c 7370 74.35 o 33399 74.35 c 7368 74.45 o 33401 74.45 c 7366 74.50 o 33402 74.50 c 7365 74.56 o 33407 74.56 c 7360 74.62 o 33412 74.62 c 7355 74.67 o 33417 74.67 c 7350 74.73 o 33422 74.73 c 7345 74.79 o 33426 74.79 c 7341 74.86 o 33433 74.86 c 7334 74.92 o 33437 74.92 c 7330 74.97 o 33442 74.97 c 7325 75.00 o 33448 75.00 c 7319 75.06 o 33455 75.06 c 7312 75.12 o 33456 75.12 c 7311 75.17 o 33462 75.17 c 7305 75.21 o 33464 75.21 c 7303 75.26 o 33467 75.26 c 7300 75.29 o 33468 75.29 c 7299 75.34 o 33473 75.34 c 7294 75.37 o 33479 75.37 c 7288 75.41 o 33480 75.41 c 7287 75.47 o 33486 75.47 c 7281 75.54 o 33488 75.54 c 7279 75.61 o 33494 75.61 c 7273 75.65 o 33499 75.65 c 7268 75.68 o 33501 75.68 c 7266 75.70 o 33503 75.70 c 7264 75.75 o 33508 75.75 c 7259 75.78 o 33511 75.78 c 7256 75.87 o 33519 75.87 c 7248 75.94 o 33528 75.94 c 7239 76.09 o 33534 76.09 c 7233 76.19 o 33541 76.19 c 7226 76.30 o 33547 76.30 c 7220 76.41 o 33553 76.41 c 7214 76.51 o 33555 76.51 c 7212 76.61 o 33560 76.61 c 7207 76.71 o 33565 76.71 c 7202 76.80 o 33570 76.80 c 7197 76.89 o 33573 76.89 c 7194 76.98 o 33578 76.98 c 7189 77.06 o 33583 77.06 c 7184 77.15 o 33588 77.15 c 7179 77.24 o 33592 77.24 c 7175 77.33 o 33596 77.33 c 7171 77.43 o 33600 77.43 c 7167 77.52 o 33604 77.52 c 7163 77.60 o 33608 77.60 c 7159 77.67 o 33612 77.67 c 7155 77.76 o 33616 77.76 c 7151 77.91 o 33619 77.91 c 7148 77.98 o 33624 77.98 c 7143 78.03 o 33630 78.04 c 7137 78.11 o 33633 78.11 c 7134 78.19 o 33636 78.19 c 7131 78.25 o 33639 78.25 c 7128 78.31 o 33642 78.31 c 7125 78.37 o 33645 78.37 c 7122 78.43 o 33648 78.43 c 7119 78.50 o 33651 78.50 c 7116 78.55 o 33655 78.55 c 7112 78.61 o 33657 78.61 c 7110 78.67 o 33659 78.67 c 7108 78.73 o 33661 78.73 c 7106 78.77 o 33663 78.77 c 7104 78.82 o 33665 78.82 c 7102 78.87 o 33666 78.87 c 7101 78.92 o 33668 78.92 c 7099 78.97 o 33669 78.97 c 7098 79.01 o 33670 79.01 c 7097 79.17 o 33675 79.17 c 7092 79.46 o 33681 79.46 c 7086 79.52 o 33682 79.52 c 7085 79.62 o 33684 79.62 c 7083 79.68 o 33686 79.68 c 7081 79.74 o 33691 79.74 c 7076 79.79 o 33697 79.79 c 7070 79.83 o 33699 79.83 c 7068 79.88 o 33703 79.88 c 7064 79.95 o 33707 79.95 c 7060 80.00 o 33709 80.00 c 7058 80.07 o 33718 80.07 c 7049 80.14 o 33720 80.14 c 7047 80.25 o 33722 80.25 c 7045 80.31 o 33723 80.31 c 7044 80.37 o 33727 80.37 c 7040 80.54 o 33730 80.54 c 7037 80.59 o 33734 80.59 c 7033 80.64 o 33736 80.64 c 7031 80.69 o 33741 80.69 c 7026 80.79 o 33743 80.79 c 7024 80.83 o 33745 80.83 c 7022 80.87 o 33746 80.87 c 7021 80.92 o 33749 80.92 c 7018 80.97 o 33750 80.97 c 7017 81.01 o 33754 81.01 c 7013 81.06 o 33755 81.06 c 7012 81.11 o 33757 81.11 c 7010 81.15 o 33759 81.15 c 7008 81.21 o 33762 81.21 c 7005 81.25 o 33767 81.25 c 7000 81.30 o 33768 81.30 c 6999 81.35 o 33772 81.35 c 6995 81.41 o 33777 81.41 c 6990 81.48 o 33782 81.48 c 6985 81.55 o 33787 81.55 c 6980 81.60 o 33789 81.60 c 6978 81.66 o 33796 81.66 c 6971 81.73 o 33801 81.73 c 6966 81.81 o 33808 81.81 c 6959 81.90 o 33809 81.90 c 6958 82.14 o 33812 82.14 c 6955 82.22 o 33814 82.22 c 6953 82.31 o 33816 82.31 c 6951 82.38 o 33820 82.38 c 6947 82.45 o 33826 82.45 c 6941 82.55 o 33828 82.55 c 6939 82.63 o 33833 82.63 c 6934 82.72 o 33840 82.72 c 6927 82.81 o 33846 82.81 c 6921 82.87 o 33850 82.87 c 6917 82.96 o 33852 82.96 c 6915 83.02 o 33857 83.02 c 6910 83.09 o 33863 83.09 c 6904 83.25 o 33866 83.25 c 6901 83.32 o 33867 83.32 c 6900 83.39 o 33875 83.39 c 6892 83.45 o 33878 83.45 c 6889 83.52 o 33885 83.52 c 6882 83.60 o 33889 83.60 c 6878 83.67 o 33895 83.67 c 6872 83.85 o 33897 83.85 c 6870 84.30 o 33904 84.30 c 6863 84.42 o 33910 84.42 c 6857 84.55 o 33915 84.55 c 6852 84.69 o 33920 84.69 c 6847 84.81 o 33925 84.81 c 6842 84.94 o 33930 84.94 c 6837 85.06 o 33935 85.06 c 6832 85.18 o 33940 85.18 c 6827 85.30 o 33945 85.30 c 6822 85.42 o 33950 85.42 c 6817 85.54 o 33954 85.54 c 6813 85.79 o 33956 85.79 c 6811 86.01 o 33960 86.01 c 6807 86.13 o 33964 86.13 c 6803 86.25 o 33970 86.25 c 6797 86.37 o 33974 86.37 c 6793 86.51 o 33977 86.51 c 6790 86.73 o 33980 86.73 c 6787 86.84 o 33982 86.84 c 6785 86.94 o 33985 86.94 c 6782 87.04 o 33988 87.04 c 6779 87.15 o 33991 87.15 c 6776 87.25 o 33994 87.25 c 6773 87.35 o 33999 87.35 c 6768 87.44 o 34002 87.44 c 6765 87.54 o 34006 87.54 c 6761 87.64 o 34008 87.64 c 6759 87.73 o 34011 87.73 c 6756 87.84 o 34013 87.84 c 6754 87.93 o 34015 87.93 c 6752 88.02 o 34017 88.02 c 6750 88.11 o 34018 88.11 c 6749 88.20 o 34019 88.21 c 6748 88.30 o 34020 88.30 c 6747 88.38 o 34021 88.38 c 6746 88.47 o 34022 88.47 c 6745 88.55 o 34023 88.55 c 6744 88.63 o 34024 88.63 c 6743 88.70 o 34025 88.70 c 6742 89.06 o 34030 89.06 c 6737 89.19 o 34035 89.19 c 6732 89.40 o 34041 89.40 c 6726 89.48 o 34045 89.48 c 6722 89.57 o 34047 89.57 c 6720 89.63 o 34048 89.63 c 6719 89.77 o 34051 89.77 c 6716 89.84 o 34053 89.84 c 6714 89.91 o 34056 89.91 c 6711 89.97 o 34061 89.97 c 6706 90.04 o 34063 90.04 c 6704 90.11 o 34066 90.11 c 6701 90.25 o 34072 90.25 c 6695 90.33 o 34073 90.33 c 6694 90.41 o 34078 90.41 c 6689 90.48 o 34080 90.48 c 6687 90.54 o 34083 90.54 c 6684 90.74 o 34087 90.74 c 6680 90.80 o 34092 90.80 c 6675 90.87 o 34098 90.87 c 6669 90.93 o 34099 90.93 c 6668 91.07 o 34101 91.07 c 6666 91.13 o 34103 91.13 c 6664 91.21 o 34104 91.21 c 6663 91.27 o 34110 91.27 c 6657 91.33 o 34114 91.33 c 6653 91.39 o 34118 91.39 c 6649 91.47 o 34121 91.47 c 6646 91.55 o 34125 91.55 c 6642 91.64 o 34128 91.64 c 6639 91.71 o 34133 91.71 c 6634 91.80 o 34139 91.80 c 6628 91.87 o 34140 91.87 c 6627 91.95 o 34143 91.95 c 6624 92.09 o 34145 92.09 c 6622 92.17 o 34151 92.17 c 6616 92.33 o 34157 92.33 c 6610 92.49 o 34158 92.49 c 6609 92.57 o 34160 92.57 c 6607 92.63 o 34163 92.63 c 6604 92.70 o 34164 92.70 c 6603 92.77 o 34166 92.77 c 6601 92.86 o 34169 92.86 c 6598 92.94 o 34175 92.94 c 6592 93.03 o 34177 93.03 c 6590 93.10 o 34178 93.10 c 6589 93.19 o 34179 93.19 c 6588 93.28 o 34180 93.28 c 6587 93.38 o 34185 93.38 c 6582 93.47 o 34192 93.47 c 6575 93.55 o 34195 93.55 c 6572 93.64 o 34201 93.64 c 6566 93.72 o 34206 93.72 c 6561 93.83 o 34213 93.83 c 6554 93.91 o 34218 93.91 c 6549 94.01 o 34223 94.01 c 6544 94.10 o 34228 94.10 c 6539 94.20 o 34232 94.20 c 6535 94.31 o 34233 94.31 c 6534 94.48 o 34237 94.48 c 6530 94.57 o 34239 94.57 c 6528 94.68 o 34240 94.68 c 6527 94.80 o 34241 94.80 c 6526 94.92 o 34243 94.92 c 6524 95.03 o 34244 95.03 c 6523 95.15 o 34250 95.15 c 6517 95.28 o 34252 95.28 c 6515 95.38 o 34254 95.38 c 6513 96.20 o 34259 96.20 c 6508 96.31 o 34264 96.31 c 6503 96.43 o 34268 96.43 c 6499 96.54 o 34273 96.54 c 6494 96.67 o 34274 96.67 c 6493 96.88 o 34275 96.88 c 6492 96.99 o 34279 96.99 c 6488 97.08 o 34280 97.08 c 6487 97.18 o 34282 97.18 c 6485 97.29 o 34283 97.29 c 6484 97.41 o 34287 97.41 c 6480 97.54 o 34289 97.54 c 6478 97.65 o 34292 97.65 c 6475 97.75 o 34294 97.75 c 6473 97.87 o 34299 97.87 c 6468 98.00 o 34302 98.00 c 6465 98.10 o 34307 98.10 c 6460 98.20 o 34311 98.20 c 6456 98.29 o 34317 98.29 c 6450 98.39 o 34319 98.39 c 6448 98.97 o 34324 98.97 c 6443 99.06 o 34328 99.06 c 6439 99.15 o 34330 99.15 c 6437 99.28 o 34337 99.28 c 6430 99.41 o 34343 99.41 c 6424 99.68 o 34347 99.68 c 6420 99.82 o 34351 99.82 c 6416 99.98 o 34355 99.98 c 6412 100.13 o 34358 100.13 c 6409 100.27 o 34361 100.27 c 6406 100.41 o 34364 100.41 c 6403 100.54 o 34365 100.54 c 6402 100.64 o 34367 100.64 c 6400 100.76 o 34370 100.76 c 6397 100.88 o 34371 100.88 c 6396 101.00 o 34374 101.00 c 6393 101.32 o 34378 101.32 c 6389 101.44 o 34380 101.44 c 6387 101.55 o 34382 101.55 c 6385 101.66 o 34384 101.66 c 6383 101.79 o 34387 101.79 c 6380 101.90 o 34389 101.90 c 6378 102.01 o 34391 102.01 c 6376 102.12 o 34392 102.12 c 6375 102.21 o 34393 102.21 c 6374 102.32 o 34394 102.32 c 6373 102.50 o 34395 102.50 c 6372 102.59 o 34396 102.59 c 6371 102.68 o 34397 102.68 c 6370 102.77 o 34398 102.77 c 6369 103.29 o 34399 103.29 c 6368 103.47 o 34401 103.47 c 6366 103.54 o 34403 103.54 c 6364 103.62 o 34405 103.62 c 6362 103.70 o 34408 103.70 c 6359 103.79 o 34410 103.79 c 6357 103.87 o 34412 103.87 c 6355 103.96 o 34418 103.96 c 6349 104.03 o 34423 104.03 c 6344 104.12 o 34426 104.12 c 6341 104.22 o 34431 104.22 c 6336 104.32 o 34434 104.32 c 6333 104.40 o 34437 104.40 c 6330 104.49 o 34438 104.49 c 6329 104.57 o 34446 104.57 c 6321 104.67 o 34448 104.67 c 6319 104.77 o 34452 104.77 c 6315 104.86 o 34455 104.86 c 6312 104.94 o 34458 104.94 c 6309 105.04 o 34459 105.04 c 6308 105.14 o 34462 105.14 c 6305 105.23 o 34465 105.23 c 6302 105.50 o 34471 105.50 c 6296 105.60 o 34477 105.60 c 6290 105.70 o 34478 105.70 c 6289 105.79 o 34483 105.79 c 6284 105.88 o 34485 105.88 c 6282 105.98 o 34486 105.99 c 6281 106.17 o 34487 106.17 c 6280 106.26 o 34488 106.26 c 6279 106.34 o 34491 106.34 c 6276 106.43 o 34494 106.43 c 6273 106.51 o 34495 106.51 c 6272 106.70 o 34499 106.70 c 6268 106.94 o 34502 106.94 c 6265 107.02 o 34504 107.02 c 6263 107.11 o 34508 107.11 c 6259 107.19 o 34510 107.19 c 6257 107.35 o 34511 107.35 c 6256 107.42 o 34512 107.42 c 6255 107.67 o 34513 107.67 c 6254 107.76 o 34518 107.76 c 6249 107.82 o 34520 107.82 c 6247 107.88 o 34521 107.88 c 6246 107.96 o 34524 107.96 c 6243 108.04 o 34529 108.04 c 6238 108.20 o 34534 108.20 c 6233 108.28 o 34538 108.28 c 6229 108.51 o 34545 108.51 c 6222 108.59 o 34548 108.59 c 6219 108.66 o 34551 108.66 c 6216 108.74 o 34554 108.74 c 6213 109.01 o 34556 109.01 c 6211 109.07 o 34557 109.07 c 6210 109.16 o 34561 109.16 c 6206 109.24 o 34565 109.24 c 6202 109.33 o 34568 109.33 c 6199 109.41 o 34571 109.41 c 6196 109.49 o 34573 109.49 c 6194 109.56 o 34578 109.56 c 6189 109.64 o 34583 109.64 c 6184 109.72 o 34587 109.72 c 6180 109.81 o 34592 109.81 c 6175 109.90 o 34597 109.90 c 6170 109.98 o 34598 109.98 c 6169 110.07 o 34602 110.07 c 6165 110.15 o 34606 110.15 c 6161 110.24 o 34611 110.24 c 6156 110.31 o 34618 110.31 c 6149 110.39 o 34620 110.39 c 6147 110.49 o 34624 110.49 c 6143 110.68 o 34629 110.68 c 6138 110.76 o 34633 110.76 c 6134 110.83 o 34640 110.83 c 6127 111.06 o 34641 111.06 c 6126 111.16 o 34643 111.16 c 6124 111.31 o 34645 111.31 c 6122 111.40 o 34647 111.40 c 6120 111.56 o 34651 111.56 c 6116 111.70 o 34655 111.70 c 6112 111.84 o 34656 111.84 c 6111 111.92 o 34658 111.92 c 6109 112.15 o 34659 112.15 c 6108 112.22 o 34661 112.22 c 6106 112.29 o 34662 112.29 c 6105 112.45 o 34663 112.45 c 6104 112.54 o 34668 112.54 c 6099 112.62 o 34671 112.62 c 6096 112.69 o 34673 112.69 c 6094 112.77 o 34676 112.77 c 6091 112.84 o 34680 112.84 c 6087 112.91 o 34682 112.91 c 6085 112.98 o 34683 112.98 c 6084 113.07 o 34686 113.07 c 6081 113.13 o 34688 113.13 c 6079 113.21 o 34695 113.21 c 6072 113.28 o 34697 113.28 c 6070 113.37 o 34702 113.37 c 6065 113.44 o 34703 113.44 c 6064 113.51 o 34707 113.51 c 6060 113.58 o 34711 113.58 c 6056 113.66 o 34712 113.66 c 6055 113.74 o 34714 113.74 c 6053 113.82 o 34715 113.82 c 6052 113.92 o 34719 113.92 c 6048 114.01 o 34723 114.01 c 6044 114.30 o 34728 114.30 c 6039 114.39 o 34732 114.39 c 6035 114.48 o 34733 114.48 c 6034 114.58 o 34734 114.58 c 6033 114.66 o 34736 114.66 c 6031 114.74 o 34738 114.74 c 6029 114.95 o 34742 114.95 c 6025 115.04 o 34745 115.04 c 6022 115.14 o 34747 115.14 c 6020 115.23 o 34749 115.23 c 6018 115.34 o 34753 115.34 c 6014 115.44 o 34758 115.44 c 6009 115.54 o 34765 115.54 c 6002 115.64 o 34768 115.64 c 5999 116.00 o 34769 116.00 c 5998 116.11 o 34774 116.11 c 5993 116.20 o 34777 116.20 c 5990 116.29 o 34784 116.29 c 5983 116.38 o 34785 116.38 c 5982 116.49 o 34790 116.49 c 5977 116.61 o 34795 116.61 c 5972 116.72 o 34800 116.72 c 5967 116.85 o 34804 116.85 c 5963 116.96 o 34808 116.96 c 5959 117.08 o 34812 117.08 c 5955 117.21 o 34816 117.21 c 5951 117.32 o 34820 117.32 c 5947 117.45 o 34823 117.45 c 5944 117.56 o 34826 117.56 c 5941 117.68 o 34829 117.68 c 5938 117.79 o 34832 117.79 c 5935 117.91 o 34834 117.91 c 5933 118.02 o 34836 118.02 c 5931 118.13 o 34838 118.13 c 5929 118.25 o 34840 118.25 c 5927 118.36 o 34841 118.36 c 5926 118.48 o 34844 118.48 c 5923 119.04 o 34845 119.04 c 5922 119.15 o 34847 119.15 c 5920 119.53 o 34853 119.53 c 5914 119.64 o 34854 119.64 c 5913 119.99 o 34861 119.99 c 5906 120.12 o 34863 120.12 c 5904 120.25 o 34866 120.25 c 5901 120.37 o 34869 120.37 c 5898 120.59 o 34872 120.59 c 5895 120.84 o 34878 120.84 c 5889 120.95 o 34881 120.95 c 5886 121.31 o 34884 121.31 c 5883 121.44 o 34885 121.44 c 5882 121.57 o 34889 121.57 c 5878 121.71 o 34890 121.71 c 5877 121.83 o 34892 121.83 c 5875 121.97 o 34896 121.97 c 5871 122.11 o 34898 122.11 c 5869 122.24 o 34900 122.24 c 5867 122.38 o 34902 122.38 c 5865 122.50 o 34905 122.51 c 5862 122.75 o 34908 122.75 c 5859 123.13 o 34909 123.13 c 5858 123.27 o 34913 123.27 c 5854 123.39 o 34917 123.39 c 5850 123.67 o 34920 123.67 c 5847 123.81 o 34922 123.81 c 5845 123.96 o 34929 123.96 c 5838 124.13 o 34930 124.13 c 5837 124.44 o 34935 124.44 c 5832 124.60 o 34936 124.60 c 5831 124.74 o 34941 124.74 c 5826 125.01 o 34943 125.01 c 5824 125.15 o 34944 125.15 c 5823 125.28 o 34948 125.28 c 5819 125.42 o 34951 125.42 c 5816 125.56 o 34957 125.56 c 5810 126.14 o 34958 126.14 c 5809 126.29 o 34964 126.29 c 5803 126.43 o 34965 126.43 c 5802 126.56 o 34969 126.56 c 5798 126.86 o 34971 126.86 c 5796 127.00 o 34976 127.00 c 5791 127.29 o 34980 127.29 c 5787 127.45 o 34982 127.45 c 5785 127.72 o 34983 127.72 c 5784 127.86 o 34985 127.86 c 5782 128.01 o 34988 128.01 c 5779 128.15 o 34993 128.15 c 5774 128.45 o 34996 128.45 c 5771 128.59 o 34997 128.59 c 5770 128.73 o 34998 128.73 c 5769 129.06 o 35000 129.06 c 5767 129.21 o 35003 129.21 c 5764 129.36 o 35009 129.36 c 5758 129.50 o 35014 129.50 c 5753 129.65 o 35016 129.65 c 5751 129.95 o 35018 129.95 c 5749 130.10 o 35020 130.10 c 5747 130.26 o 35024 130.26 c 5743 130.55 o 35026 130.55 c 5741 130.71 o 35028 130.71 c 5739 130.85 o 35031 130.85 c 5736 131.15 o 35032 131.15 c 5735 131.77 o 35035 131.77 c 5732 131.92 o 35040 131.92 c 5727 132.20 o 35041 132.20 c 5726 132.49 o 35042 132.49 c 5725 132.62 o 35044 132.62 c 5723 132.77 o 35045 132.77 c 5722 133.04 o 35047 133.04 c 5720 133.18 o 35049 133.18 c 5718 133.33 o 35054 133.33 c 5713 133.49 o 35059 133.49 c 5708 133.76 o 35062 133.76 c 5705 133.90 o 35063 133.90 c 5704 134.02 o 35067 134.02 c 5700 134.29 o 35071 134.29 c 5696 134.43 o 35075 134.43 c 5692 134.55 o 35076 134.55 c 5691 134.69 o 35078 134.69 c 5689 134.99 o 35081 134.99 c 5686 135.38 o 35083 135.38 c 5684 135.63 o 35084 135.63 c 5683 135.89 o 35086 135.89 c 5681 136.03 o 35087 136.03 c 5680 136.17 o 35089 136.17 c 5678 136.31 o 35090 136.31 c 5677 136.44 o 35097 136.44 c 5670 136.58 o 35100 136.58 c 5667 136.70 o 35105 136.70 c 5662 136.82 o 35107 136.82 c 5660 136.95 o 35112 136.95 c 5655 137.43 o 35113 137.43 c 5654 137.55 o 35117 137.55 c 5650 137.67 o 35120 137.67 c 5647 137.78 o 35123 137.79 c 5644 137.92 o 35127 137.92 c 5640 138.04 o 35130 138.04 c 5637 138.17 o 35131 138.17 c 5636 138.28 o 35132 138.28 c 5635 138.54 o 35134 138.54 c 5633 138.77 o 35136 138.77 c 5631 138.88 o 35140 138.88 c 5627 138.99 o 35147 138.99 c 5620 139.22 o 35150 139.22 c 5617 139.33 o 35152 139.33 c 5615 139.45 o 35154 139.45 c 5613 139.58 o 35156 139.58 c 5611 139.69 o 35158 139.69 c 5609 139.90 o 35163 139.90 c 5604 139.98 o 35166 139.98 c 5601 140.09 o 35168 140.09 c 5599 140.30 o 35169 140.30 c 5598 140.63 o 35172 140.63 c 5595 140.74 o 35174 140.74 c 5593 140.86 o 35178 140.86 c 5589 140.97 o 35182 140.97 c 5585 141.32 o 35185 141.32 c 5582 141.44 o 35187 141.44 c 5580 141.56 o 35189 141.56 c 5578 141.82 o 35192 141.82 c 5575 141.94 o 35194 141.94 c 5573 142.07 o 35196 142.07 c 5571 142.29 o 35199 142.29 c 5568 142.43 o 35205 142.43 c 5562 142.54 o 35209 142.54 c 5558 143.07 o 35210 143.07 c 5557 143.19 o 35216 143.19 c 5551 143.31 o 35219 143.31 c 5548 143.43 o 35224 143.43 c 5543 143.56 o 35227 143.56 c 5540 143.68 o 35231 143.68 c 5536 143.83 o 35235 143.83 c 5532 143.96 o 35239 143.96 c 5528 144.08 o 35241 144.08 c 5526 144.22 o 35246 144.22 c 5521 144.37 o 35250 144.37 c 5517 144.51 o 35254 144.51 c 5513 144.66 o 35257 144.66 c 5510 144.79 o 35263 144.79 c 5504 144.95 o 35266 144.95 c 5501 145.08 o 35268 145.08 c 5499 145.22 o 35270 145.23 c 5497 145.37 o 35272 145.37 c 5495 145.51 o 35277 145.51 c 5490 145.66 o 35283 145.66 c 5484 145.80 o 35284 145.80 c 5483 145.93 o 35290 145.93 c 5477 146.07 o 35291 146.07 c 5476 146.20 o 35292 146.20 c 5475 146.59 o 35293 146.59 c 5474 146.84 o 35299 146.84 c 5468 147.49 o 35303 147.49 c 5464 147.61 o 35307 147.61 c 5460 148.00 o 35308 148.00 c 5459 148.13 o 35310 148.13 c 5457 148.26 o 35316 148.26 c 5451 148.40 o 35318 148.40 c 5449 148.65 o 35320 148.65 c 5447 148.79 o 35324 148.79 c 5443 148.93 o 35326 148.93 c 5441 149.07 o 35328 149.07 c 5439 149.35 o 35330 149.35 c 5437 149.63 o 35336 149.63 c 5431 149.77 o 35337 149.77 c 5430 149.90 o 35340 149.90 c 5427 150.03 o 35341 150.03 c 5426 150.32 o 35342 150.32 c 5425 150.44 o 35347 150.44 c 5420 150.59 o 35350 150.59 c 5417 150.72 o 35354 150.72 c 5413 150.84 o 35357 150.84 c 5410 150.98 o 35358 150.98 c 5409 151.47 o 35361 151.47 c 5406 151.59 o 35363 151.59 c 5404 151.87 o 35364 151.87 c 5403 152.01 o 35368 152.01 c 5399 152.14 o 35371 152.14 c 5396 152.28 o 35373 152.28 c 5394 152.42 o 35374 152.42 c 5393 152.68 o 35378 152.68 c 5389 152.82 o 35379 152.83 c 5388 152.97 o 35383 152.97 c 5384 153.28 o 35384 153.28 c 5383 153.43 o 35385 153.43 c 5382 153.56 o 35390 153.56 c 5377 153.70 o 35391 153.70 c 5376 153.86 o 35392 153.86 c 5375 154.02 o 35395 154.02 c 5372 154.30 o 35396 154.30 c 5371 154.45 o 35399 154.45 c 5368 154.88 o 35401 154.88 c 5366 155.17 o 35402 155.17 c 5365 155.31 o 35404 155.31 c 5363 155.46 o 35406 155.46 c 5361 155.60 o 35407 155.60 c 5360 156.20 o 35409 156.20 c 5358 156.35 o 35410 156.35 c 5357 156.67 o 35415 156.67 c 5352 157.00 o 35416 157.00 c 5351 157.87 o 35420 157.87 c 5347 158.62 o 35423 158.62 c 5344 158.92 o 35427 158.92 c 5340 159.07 o 35428 159.07 c 5339 159.22 o 35430 159.22 c 5337 159.37 o 35432 159.37 c 5335 159.52 o 35438 159.52 c 5329 159.67 o 35441 159.67 c 5326 159.82 o 35444 159.82 c 5323 160.41 o 35446 160.41 c 5321 160.56 o 35447 160.56 c 5320 160.85 o 35452 160.85 c 5315 160.98 o 35454 160.98 c 5313 161.10 o 35457 161.10 c 5310 161.52 o 35458 161.52 c 5309 161.65 o 35459 161.65 c 5308 161.78 o 35460 161.78 c 5307 162.23 o 35462 162.23 c 5305 162.53 o 35467 162.53 c 5300 162.69 o 35468 162.69 c 5299 162.82 o 35471 162.82 c 5296 163.13 o 35473 163.13 c 5294 163.28 o 35476 163.28 c 5291 163.44 o 35477 163.44 c 5290 163.74 o 35479 163.74 c 5288 163.89 o 35481 163.89 c 5286 163.98 o 35488 163.98 c 5279 164.13 o 35489 164.13 c 5278 164.27 o 35492 164.27 c 5275 164.41 o 35495 164.41 c 5272 164.56 o 35498 164.56 c 5269 164.69 o 35505 164.69 c 5262 164.83 o 35508 164.83 c 5259 164.98 o 35513 164.98 c 5254 165.25 o 35515 165.25 c 5252 165.40 o 35520 165.40 c 5247 165.84 o 35523 165.84 c 5244 165.98 o 35527 165.98 c 5240 166.11 o 35531 166.11 c 5236 166.26 o 35538 166.26 c 5229 166.55 o 35543 166.55 c 5224 166.70 o 35547 166.70 c 5220 166.97 o 35550 166.97 c 5217 167.12 o 35554 167.12 c 5213 167.50 o 35556 167.50 c 5211 167.64 o 35559 167.64 c 5208 167.78 o 35562 167.78 c 5205 167.91 o 35565 167.91 c 5202 168.05 o 35566 168.05 c 5201 168.19 o 35568 168.19 c 5199 168.59 o 35569 168.59 c 5198 168.72 o 35574 168.72 c 5193 168.88 o 35576 168.88 c 5191 169.02 o 35577 169.02 c 5190 169.95 o 35581 169.95 c 5186 170.11 o 35582 170.11 c 5185 170.44 o 35584 170.44 c 5183 170.59 o 35587 170.59 c 5180 170.89 o 35591 170.89 c 5176 171.05 o 35593 171.05 c 5174 171.14 o 35596 171.14 c 5171 171.77 o 35598 171.77 c 5169 172.42 o 35600 172.42 c 5167 172.57 o 35602 172.57 c 5165 172.73 o 35603 172.73 c 5164 172.88 o 35606 172.88 c 5161 173.53 o 35607 173.53 c 5160 173.86 o 35610 173.86 c 5157 174.05 o 35612 174.05 c 5155 174.21 o 35614 174.21 c 5153 174.40 o 35620 174.40 c 5147 174.56 o 35621 174.56 c 5146 174.74 o 35623 174.74 c 5144 174.90 o 35628 174.90 c 5139 175.07 o 35631 175.07 c 5136 175.24 o 35633 175.24 c 5134 175.60 o 35637 175.60 c 5130 175.77 o 35643 175.77 c 5124 175.95 o 35644 175.95 c 5123 176.28 o 35646 176.28 c 5121 176.43 o 35647 176.43 c 5120 176.58 o 35649 176.58 c 5118 176.73 o 35655 176.73 c 5112 176.89 o 35657 176.89 c 5110 177.24 o 35658 177.24 c 5109 177.42 o 35659 177.42 c 5108 177.60 o 35661 177.60 c 5106 177.78 o 35663 177.78 c 5104 177.97 o 35667 177.97 c 5100 178.15 o 35668 178.15 c 5099 178.33 o 35671 178.33 c 5096 178.51 o 35673 178.51 c 5094 178.69 o 35676 178.69 c 5091 178.86 o 35677 178.86 c 5090 179.22 o 35680 179.22 c 5087 179.58 o 35682 179.58 c 5085 179.75 o 35684 179.75 c 5083 180.13 o 35686 180.13 c 5081 180.31 o 35687 180.31 c 5080 180.49 o 35690 180.49 c 5077 180.68 o 35693 180.68 c 5074 180.86 o 35696 180.86 c 5071 181.72 o 35699 181.72 c 5068 182.22 o 35705 182.22 c 5062 182.57 o 35708 182.57 c 5059 182.75 o 35711 182.75 c 5056 182.92 o 35712 182.92 c 5055 183.09 o 35714 183.09 c 5053 183.27 o 35720 183.27 c 5047 183.64 o 35722 183.64 c 5045 183.82 o 35723 183.82 c 5044 183.99 o 35727 183.99 c 5040 184.17 o 35728 184.17 c 5039 184.34 o 35730 184.34 c 5037 184.54 o 35732 184.54 c 5035 184.72 o 35736 184.72 c 5031 185.43 o 35739 185.43 c 5028 185.62 o 35741 185.62 c 5026 185.82 o 35743 185.82 c 5024 186.03 o 35745 186.03 c 5022 186.23 o 35747 186.23 c 5020 186.42 o 35748 186.42 c 5019 186.79 o 35749 186.79 c 5018 186.97 o 35751 186.97 c 5016 187.16 o 35752 187.16 c 5015 188.12 o 35753 188.12 c 5014 188.33 o 35756 188.33 c 5011 188.52 o 35758 188.52 c 5009 188.72 o 35759 188.72 c 5008 188.91 o 35761 188.91 c 5006 189.29 o 35762 189.29 c 5005 189.48 o 35764 189.48 c 5003 189.67 o 35768 189.67 c 4999 189.85 o 35770 189.85 c 4997 190.94 o 35776 190.94 c 4991 191.12 o 35777 191.12 c 4990 191.31 o 35778 191.31 c 4989 191.49 o 35782 191.49 c 4985 191.67 o 35784 191.67 c 4983 192.38 o 35787 192.38 c 4980 192.55 o 35793 192.55 c 4974 192.72 o 35795 192.72 c 4972 192.90 o 35800 192.90 c 4967 193.07 o 35803 193.07 c 4964 193.27 o 35805 193.27 c 4962 193.69 o 35808 193.69 c 4959 193.89 o 35812 193.89 c 4955 194.08 o 35815 194.08 c 4952 194.25 o 35817 194.25 c 4950 194.45 o 35819 194.45 c 4948 194.63 o 35820 194.63 c 4947 194.81 o 35823 194.81 c 4944 195.03 o 35825 195.03 c 4942 195.23 o 35830 195.23 c 4937 195.63 o 35836 195.63 c 4931 195.83 o 35838 195.83 c 4929 196.01 o 35842 196.01 c 4925 196.19 o 35844 196.19 c 4923 196.40 o 35845 196.40 c 4922 196.60 o 35846 196.60 c 4921 197.44 o 35848 197.44 c 4919 197.64 o 35850 197.64 c 4917 197.84 o 35854 197.84 c 4913 198.06 o 35855 198.06 c 4912 198.28 o 35856 198.28 c 4911 198.70 o 35857 198.70 c 4910 199.59 o 35858 199.59 c 4909 200.02 o 35864 200.02 c 4903 200.23 o 35866 200.23 c 4901 200.46 o 35867 200.46 c 4900 200.68 o 35868 200.68 c 4899 200.88 o 35872 200.88 c 4895 201.10 o 35875 201.10 c 4892 201.33 o 35878 201.33 c 4889 201.56 o 35879 201.56 c 4888 202.02 o 35885 202.02 c 4882 202.45 o 35887 202.45 c 4880 202.68 o 35888 202.68 c 4879 204.46 o 35890 204.46 c 4877 205.29 o 35892 205.29 c 4875 205.48 o 35893 205.48 c 4874 205.70 o 35896 205.70 c 4871 206.08 o 35898 206.08 c 4869 207.18 o 35899 207.18 c 4868 207.36 o 35900 207.36 c 4867 207.72 o 35903 207.72 c 4864 208.09 o 35904 208.09 c 4863 208.26 o 35905 208.26 c 4862 208.43 o 35908 208.43 c 4859 208.62 o 35915 208.62 c 4852 208.77 o 35916 208.77 c 4851 209.28 o 35919 209.28 c 4848 209.62 o 35923 209.62 c 4844 209.95 o 35927 209.95 c 4840 210.11 o 35928 210.11 c 4839 210.29 o 35929 210.29 c 4838 210.45 o 35932 210.45 c 4835 210.64 o 35934 210.64 c 4833 210.81 o 35936 210.81 c 4831 210.98 o 35939 210.98 c 4828 211.17 o 35941 211.17 c 4826 211.52 o 35942 211.52 c 4825 211.86 o 35943 211.86 c 4824 212.05 o 35945 212.05 c 4822 212.23 o 35949 212.23 c 4818 212.63 o 35950 212.63 c 4817 213.38 o 35953 213.38 c 4814 213.57 o 35954 213.57 c 4813 213.76 o 35957 213.76 c 4810 214.35 o 35958 214.35 c 4809 214.55 o 35961 214.55 c 4806 215.38 o 35963 215.38 c 4804 216.00 o 35966 216.00 c 4801 216.20 o 35967 216.20 c 4800 216.40 o 35968 216.40 c 4799 216.63 o 35969 216.63 c 4798 217.04 o 35972 217.04 c 4795 217.25 o 35973 217.25 c 4794 217.45 o 35975 217.45 c 4792 217.69 o 35976 217.69 c 4791 218.13 o 35977 218.13 c 4790 219.23 o 35978 219.23 c 4789 219.45 o 35981 219.45 c 4786 219.66 o 35985 219.66 c 4782 220.10 o 35988 220.10 c 4779 220.32 o 35991 220.32 c 4776 220.76 o 35992 220.76 c 4775 220.99 o 35996 220.99 c 4771 221.21 o 35998 221.21 c 4769 221.43 o 36000 221.43 c 4767 221.65 o 36003 221.65 c 4764 221.86 o 36006 221.86 c 4761 222.07 o 36010 222.07 c 4757 222.22 o 36012 222.22 c 4755 222.61 o 36013 222.61 c 4754 222.80 o 36014 222.80 c 4753 223.20 o 36015 223.20 c 4752 223.40 o 36018 223.40 c 4749 223.81 o 36021 223.81 c 4746 224.02 o 36022 224.02 c 4745 224.24 o 36025 224.24 c 4742 224.47 o 36027 224.47 c 4740 224.69 o 36030 224.69 c 4737 226.64 o 36032 226.64 c 4735 226.87 o 36034 226.87 c 4733 227.09 o 36036 227.09 c 4731 227.30 o 36037 227.30 c 4730 227.54 o 36043 227.54 c 4724 227.77 o 36044 227.77 c 4723 228.00 o 36046 228.00 c 4721 228.24 o 36050 228.24 c 4717 228.46 o 36053 228.46 c 4714 228.93 o 36055 228.93 c 4712 229.18 o 36056 229.18 c 4711 229.64 o 36058 229.64 c 4709 229.88 o 36059 229.88 c 4708 230.11 o 36063 230.11 c 4704 230.34 o 36066 230.34 c 4701 230.57 o 36070 230.57 c 4697 230.81 o 36075 230.81 c 4692 231.27 o 36077 231.27 c 4690 231.76 o 36080 231.76 c 4687 232.28 o 36082 232.28 c 4685 232.55 o 36085 232.55 c 4682 232.79 o 36086 232.79 c 4681 233.03 o 36088 233.03 c 4679 234.03 o 36092 234.03 c 4675 234.78 o 36095 234.78 c 4672 235.01 o 36097 235.01 c 4670 235.28 o 36098 235.28 c 4669 235.82 o 36099 235.82 c 4668 236.08 o 36106 236.08 c 4661 236.32 o 36107 236.32 c 4660 236.58 o 36111 236.58 c 4656 236.84 o 36115 236.84 c 4652 237.09 o 36120 237.09 c 4647 237.35 o 36123 237.35 c 4644 238.13 o 36124 238.13 c 4643 238.38 o 36125 238.38 c 4642 238.64 o 36127 238.64 c 4640 239.20 o 36131 239.20 c 4636 239.49 o 36132 239.49 c 4635 239.76 o 36133 239.76 c 4634 240.04 o 36135 240.04 c 4632 240.33 o 36139 240.33 c 4628 240.61 o 36140 240.61 c 4627 242.65 o 36142 242.65 c 4625 243.21 o 36146 243.21 c 4621 244.02 o 36150 244.02 c 4617 244.31 o 36152 244.31 c 4615 244.60 o 36153 244.60 c 4614 245.98 o 36154 245.98 c 4613 246.24 o 36155 246.24 c 4612 246.49 o 36158 246.49 c 4609 246.74 o 36160 246.74 c 4607 247.52 o 36163 247.52 c 4604 247.78 o 36166 247.78 c 4601 247.96 o 36170 247.96 c 4597 248.21 o 36173 248.21 c 4594 250.63 o 36174 250.63 c 4593 250.88 o 36175 250.88 c 4592 251.12 o 36180 251.12 c 4587 251.37 o 36181 251.37 c 4586 251.62 o 36185 251.62 c 4582 251.87 o 36189 251.87 c 4578 252.11 o 36190 252.11 c 4577 252.33 o 36191 252.33 c 4576 254.44 o 36192 254.44 c 4575 254.69 o 36194 254.69 c 4573 256.28 o 36195 256.28 c 4572 256.51 o 36198 256.51 c 4569 256.73 o 36200 256.73 c 4567 257.22 o 36201 257.22 c 4566 257.45 o 36206 257.45 c 4561 257.70 o 36207 257.70 c 4560 258.17 o 36209 258.17 c 4558 258.40 o 36212 258.40 c 4555 259.38 o 36217 259.38 c 4550 259.63 o 36218 259.63 c 4549 259.87 o 36220 259.87 c 4547 260.12 o 36224 260.12 c 4543 261.67 o 36225 261.67 c 4542 261.93 o 36227 261.93 c 4540 262.17 o 36230 262.17 c 4537 263.37 o 36232 263.37 c 4535 264.35 o 36238 264.35 c 4529 264.58 o 36247 264.58 c 4520 264.81 o 36248 264.81 c 4519 266.07 o 36249 266.07 c 4518 266.59 o 36250 266.59 c 4517 266.85 o 36258 266.85 c 4509 267.10 o 36260 267.10 c 4507 267.61 o 36261 267.61 c 4506 268.13 o 36262 268.13 c 4505 268.39 o 36263 268.39 c 4504 268.64 o 36264 268.64 c 4503 268.89 o 36267 268.89 c 4500 269.15 o 36268 269.15 c 4499 269.93 o 36270 269.93 c 4497 270.10 o 36271 270.10 c 4496 270.64 o 36272 270.64 c 4495 270.91 o 36275 270.91 c 4492 273.47 o 36277 273.47 c 4490 273.70 o 36278 273.70 c 4489 273.95 o 36280 273.95 c 4487 274.19 o 36282 274.19 c 4485 274.47 o 36284 274.47 c 4483 274.72 o 36285 274.72 c 4482 275.47 o 36286 275.47 c 4481 275.72 o 36289 275.72 c 4478 276.21 o 36290 276.21 c 4477 276.46 o 36291 276.46 c 4476 276.71 o 36293 276.71 c 4474 277.42 o 36294 277.42 c 4473 277.68 o 36297 277.68 c 4470 277.93 o 36299 277.93 c 4468 278.16 o 36301 278.16 c 4466 278.40 o 36303 278.40 c 4464 278.87 o 36304 278.87 c 4463 279.11 o 36305 279.11 c 4462 279.37 o 36306 279.37 c 4461 279.61 o 36307 279.61 c 4460 279.85 o 36310 279.85 c 4457 280.79 o 36311 280.79 c 4456 281.29 o 36312 281.29 c 4455 281.78 o 36313 281.78 c 4454 282.53 o 36314 282.53 c 4453 282.79 o 36318 282.79 c 4449 283.05 o 36319 283.05 c 4448 283.29 o 36320 283.29 c 4447 283.56 o 36323 283.56 c 4444 283.80 o 36325 283.80 c 4442 284.04 o 36326 284.04 c 4441 284.53 o 36328 284.53 c 4439 284.80 o 36331 284.80 c 4436 285.30 o 36334 285.30 c 4433 285.58 o 36335 285.58 c 4432 285.85 o 36339 285.85 c 4428 286.66 o 36344 286.66 c 4423 287.18 o 36345 287.18 c 4422 287.44 o 36346 287.44 c 4421 287.70 o 36352 287.70 c 4415 287.96 o 36353 287.96 c 4414 288.22 o 36355 288.22 c 4412 288.47 o 36357 288.48 c 4410 292.61 o 36361 292.61 c 4406 296.94 o 36365 296.94 c 4402 297.72 o 36368 297.72 c 4399 297.99 o 36372 297.99 c 4395 298.25 o 36375 298.25 c 4392 298.51 o 36377 298.51 c 4390 298.76 o 36379 298.76 c 4388 299.02 o 36384 299.02 c 4383 299.27 o 36386 299.27 c 4381 301.30 o 36387 301.30 c 4380 301.57 o 36390 301.57 c 4377 305.48 o 36391 305.48 c 4376 306.29 o 36393 306.29 c 4374 306.57 o 36397 306.57 c 4370 306.84 o 36399 306.84 c 4368 307.12 o 36400 307.12 c 4367 308.77 o 36403 308.77 c 4364 309.05 o 36406 309.05 c 4361 309.33 o 36407 309.33 c 4360 309.89 o 36412 309.89 c 4355 310.18 o 36416 310.18 c 4351 310.45 o 36418 310.45 c 4349 310.98 o 36419 310.98 c 4348 313.34 o 36421 313.34 c 4346 313.84 o 36424 313.84 c 4343 314.09 o 36425 314.09 c 4342 314.86 o 36427 314.86 c 4340 315.14 o 36429 315.14 c 4338 315.39 o 36430 315.39 c 4337 315.66 o 36431 315.66 c 4336 315.92 o 36432 315.92 c 4335 316.20 o 36436 316.20 c 4331 318.60 o 36437 318.60 c 4330 318.89 o 36438 318.89 c 4329 319.17 o 36441 319.17 c 4326 319.45 o 36442 319.45 c 4325 319.73 o 36443 319.73 c 4324 319.99 o 36444 319.99 c 4323 320.28 o 36447 320.28 c 4320 320.55 o 36451 320.55 c 4316 320.82 o 36455 320.82 c 4312 321.11 o 36457 321.11 c 4310 321.93 o 36458 321.93 c 4309 322.19 o 36459 322.19 c 4308 322.45 o 36460 322.45 c 4307 322.72 o 36463 322.72 c 4304 323.00 o 36464 323.00 c 4303 323.26 o 36466 323.26 c 4301 323.51 o 36468 323.51 c 4299 323.78 o 36471 323.78 c 4296 324.27 o 36473 324.27 c 4294 324.51 o 36474 324.51 c 4293 324.71 o 36476 324.71 c 4291 325.21 o 36479 325.21 c 4288 326.00 o 36481 326.00 c 4286 326.26 o 36482 326.26 c 4285 326.50 o 36485 326.50 c 4282 326.76 o 36486 326.76 c 4281 327.50 o 36489 327.50 c 4278 327.75 o 36491 327.75 c 4276 328.01 o 36494 328.01 c 4273 328.27 o 36496 328.27 c 4271 329.24 o 36497 329.24 c 4270 329.99 o 36499 329.99 c 4268 330.80 o 36501 330.80 c 4266 331.07 o 36502 331.07 c 4265 331.32 o 36505 331.32 c 4262 331.90 o 36508 331.90 c 4259 334.04 o 36510 334.04 c 4257 334.32 o 36512 334.32 c 4255 334.58 o 36515 334.58 c 4252 335.07 o 36516 335.07 c 4251 335.60 o 36518 335.61 c 4249 336.17 o 36520 336.17 c 4247 336.43 o 36526 336.43 c 4241 336.71 o 36529 336.71 c 4238 339.46 o 36530 339.46 c 4237 340.57 o 36533 340.57 c 4234 340.83 o 36534 340.83 c 4233 341.36 o 36535 341.36 c 4232 341.62 o 36538 341.62 c 4229 341.91 o 36541 341.91 c 4226 342.19 o 36543 342.19 c 4224 342.45 o 36545 342.45 c 4222 343.50 o 36546 343.50 c 4221 343.76 o 36547 343.76 c 4220 344.03 o 36551 344.03 c 4216 344.30 o 36556 344.30 c 4211 345.11 o 36559 345.11 c 4208 349.45 o 36560 349.45 c 4207 350.07 o 36564 350.07 c 4203 351.00 o 36565 351.00 c 4202 351.31 o 36566 351.31 c 4201 351.93 o 36569 351.93 c 4198 352.26 o 36571 352.26 c 4196 352.57 o 36572 352.57 c 4195 352.88 o 36575 352.88 c 4192 353.20 o 36579 353.20 c 4188 353.80 o 36581 353.80 c 4186 354.41 o 36582 354.41 c 4185 354.71 o 36583 354.71 c 4184 355.35 o 36585 355.35 c 4182 355.95 o 36586 355.96 c 4181 357.49 o 36590 357.49 c 4177 358.09 o 36592 358.09 c 4175 362.61 o 36593 362.61 c 4174 363.24 o 36597 363.24 c 4170 365.99 o 36600 365.99 c 4167 366.29 o 36602 366.29 c 4165 366.60 o 36608 366.60 c 4159 366.91 o 36609 366.91 c 4158 367.22 o 36610 367.22 c 4157 368.45 o 36611 368.45 c 4156 368.75 o 36614 368.75 c 4153 369.35 o 36617 369.35 c 4150 369.95 o 36619 369.95 c 4148 370.27 o 36623 370.27 c 4144 370.58 o 36625 370.58 c 4142 371.17 o 36628 371.17 c 4139 371.47 o 36629 371.47 c 4138 372.69 o 36635 372.69 c 4132 373.26 o 36636 373.26 c 4131 373.55 o 36640 373.55 c 4127 373.85 o 36641 373.85 c 4126 374.14 o 36644 374.14 c 4123 375.08 o 36650 375.08 c 4117 375.38 o 36653 375.38 c 4114 375.63 o 36657 375.63 c 4110 375.91 o 36662 375.91 c 4105 376.20 o 36664 376.20 c 4103 376.49 o 36665 376.49 c 4102 377.93 o 36667 377.93 c 4100 378.22 o 36670 378.22 c 4097 378.51 o 36672 378.51 c 4095 378.81 o 36673 378.81 c 4094 379.12 o 36674 379.12 c 4093 380.32 o 36675 380.32 c 4092 380.61 o 36677 380.61 c 4090 380.92 o 36679 380.92 c 4088 381.03 o 36684 381.03 c 4083 381.33 o 36685 381.33 c 4082 381.64 o 36688 381.64 c 4079 383.44 o 36690 383.44 c 4077 383.73 o 36694 383.73 c 4073 384.02 o 36696 384.02 c 4071 385.58 o 36697 385.58 c 4070 385.90 o 36701 385.90 c 4066 386.23 o 36702 386.23 c 4065 387.18 o 36704 387.18 c 4063 387.51 o 36705 387.51 c 4062 387.82 o 36706 387.82 c 4061 388.15 o 36709 388.15 c 4058 388.49 o 36711 388.49 c 4056 389.47 o 36713 389.47 c 4054 389.78 o 36715 389.78 c 4052 390.10 o 36718 390.10 c 4049 390.43 o 36719 390.43 c 4048 391.74 o 36720 391.74 c 4047 392.06 o 36722 392.06 c 4045 394.80 o 36723 394.80 c 4044 395.14 o 36725 395.14 c 4042 395.80 o 36727 395.80 c 4040 396.15 o 36729 396.15 c 4038 396.51 o 36732 396.51 c 4035 396.85 o 36734 396.85 c 4033 397.19 o 36735 397.19 c 4032 397.54 o 36739 397.54 c 4028 397.89 o 36740 397.89 c 4027 398.22 o 36742 398.22 c 4025 399.29 o 36743 399.29 c 4024 401.37 o 36744 401.37 c 4023 402.38 o 36746 402.38 c 4021 404.05 o 36748 404.05 c 4019 404.42 o 36751 404.42 c 4016 405.08 o 36756 405.08 c 4011 405.42 o 36757 405.42 c 4010 405.74 o 36758 405.74 c 4009 406.41 o 36759 406.41 c 4008 406.74 o 36763 406.74 c 4004 407.77 o 36765 407.77 c 4002 408.10 o 36767 408.10 c 4000 408.46 o 36770 408.46 c 3997 409.05 o 36773 409.05 c 3994 409.41 o 36778 409.41 c 3989 409.75 o 36779 409.75 c 3988 410.86 o 36782 410.86 c 3985 412.02 o 36783 412.02 c 3984 412.51 o 36788 412.51 c 3979 412.78 o 36790 412.78 c 3977 413.15 o 36794 413.15 c 3973 413.52 o 36795 413.52 c 3972 413.88 o 36796 413.88 c 3971 414.23 o 36798 414.23 c 3969 416.70 o 36799 416.70 c 3968 417.06 o 36800 417.06 c 3967 419.49 o 36802 419.49 c 3965 419.84 o 36803 419.84 c 3964 421.63 o 36805 421.63 c 3962 422.01 o 36807 422.01 c 3960 423.06 o 36810 423.06 c 3957 426.29 o 36812 426.29 c 3955 426.65 o 36816 426.65 c 3951 427.02 o 36818 427.02 c 3949 427.38 o 36822 427.38 c 3945 428.48 o 36825 428.48 c 3942 437.07 o 36826 437.07 c 3941 437.49 o 36827 437.49 c 3940 437.88 o 36830 437.88 c 3937 438.26 o 36834 438.26 c 3933 438.68 o 36838 438.68 c 3929 439.51 o 36841 439.51 c 3926 439.92 o 36845 439.92 c 3922 440.33 o 36848 440.33 c 3919 441.10 o 36849 441.10 c 3918 441.51 o 36852 441.51 c 3915 442.35 o 36853 442.35 c 3914 443.95 o 36858 443.95 c 3909 444.39 o 36860 444.39 c 3907 444.63 o 36862 444.63 c 3905 445.43 o 36864 445.43 c 3903 446.22 o 36865 446.22 c 3902 446.65 o 36866 446.65 c 3901 447.45 o 36867 447.45 c 3900 450.64 o 36868 450.64 c 3899 451.09 o 36869 451.09 c 3898 451.51 o 36871 451.51 c 3896 451.97 o 36872 451.97 c 3895 453.65 o 36875 453.65 c 3892 454.07 o 36876 454.07 c 3891 454.52 o 36879 454.52 c 3888 454.94 o 36882 454.94 c 3885 455.79 o 36883 455.79 c 3884 457.06 o 36885 457.06 c 3882 457.91 o 36886 457.91 c 3881 459.20 o 36887 459.20 c 3880 459.63 o 36888 459.63 c 3879 460.04 o 36889 460.04 c 3878 462.49 o 36890 462.49 c 3877 462.89 o 36894 462.89 c 3873 463.71 o 36897 463.71 c 3870 469.94 o 36901 469.94 c 3866 470.35 o 36902 470.35 c 3865 470.74 o 36903 470.74 c 3864 474.79 o 36904 474.79 c 3863 475.62 o 36906 475.62 c 3861 476.42 o 36910 476.42 c 3857 477.15 o 36911 477.15 c 3856 477.58 o 36913 477.58 c 3854 478.85 o 36916 478.85 c 3851 482.70 o 36919 482.70 c 3848 483.53 o 36920 483.53 c 3847 484.40 o 36922 484.40 c 3845 484.85 o 36923 484.85 c 3844 487.95 o 36924 487.95 c 3843 489.73 o 36926 489.73 c 3841 491.17 o 36927 491.17 c 3840 492.04 o 36928 492.04 c 3839 492.49 o 36930 492.49 c 3837 492.93 o 36934 492.93 c 3833 493.37 o 36939 493.37 c 3828 493.84 o 36940 493.84 c 3827 496.04 o 36945 496.04 c 3822 496.35 o 36947 496.35 c 3820 497.22 o 36948 497.23 c 3819 497.66 o 36950 497.66 c 3817 498.95 o 36951 498.95 c 3816 499.38 o 36954 499.38 c 3813 500.23 o 36956 500.23 c 3811 500.66 o 36958 500.66 c 3809 501.08 o 36959 501.08 c 3808 502.77 o 36961 502.77 c 3806 503.19 o 36963 503.19 c 3804 503.62 o 36967 503.62 c 3800 508.35 o 36968 508.35 c 3799 509.65 o 36971 509.65 c 3796 510.08 o 36973 510.08 c 3794 511.75 o 36974 511.75 c 3793 512.21 o 36976 512.21 c 3791 512.63 o 36978 512.63 c 3789 513.00 o 36979 513.00 c 3788 513.43 o 36982 513.43 c 3785 513.86 o 36983 513.86 c 3784 514.29 o 36985 514.29 c 3782 515.14 o 36987 515.14 c 3780 516.04 o 36988 516.04 c 3779 516.93 o 36991 516.93 c 3776 517.35 o 36994 517.35 c 3773 520.85 o 37001 520.85 c 3766 521.23 o 37004 521.23 c 3763 522.45 o 37005 522.45 c 3762 522.86 o 37010 522.86 c 3757 523.28 o 37012 523.28 c 3755 523.72 o 37014 523.72 c 3753 524.16 o 37018 524.16 c 3749 524.59 o 37023 524.59 c 3744 528.31 o 37024 528.31 c 3743 528.72 o 37025 528.72 c 3742 529.54 o 37028 529.54 c 3739 529.96 o 37031 529.96 c 3736 530.37 o 37034 530.37 c 3733 530.77 o 37036 530.77 c 3731 531.58 o 37037 531.58 c 3730 536.87 o 37040 536.87 c 3727 537.67 o 37042 537.67 c 3725 538.06 o 37043 538.06 c 3724 538.44 o 37045 538.44 c 3722 538.84 o 37046 538.84 c 3721 539.65 o 37047 539.65 c 3720 540.44 o 37048 540.44 c 3719 540.83 o 37049 540.83 c 3718 541.61 o 37051 541.61 c 3716 542.26 o 37055 542.26 c 3712 543.38 o 37056 543.38 c 3711 543.65 o 37058 543.65 c 3709 543.87 o 37064 543.87 c 3703 545.66 o 37065 545.66 c 3702 546.03 o 37066 546.03 c 3701 546.39 o 37068 546.39 c 3699 547.53 o 37070 547.53 c 3697 547.91 o 37073 547.91 c 3694 548.28 o 37074 548.28 c 3693 551.23 o 37076 551.23 c 3691 551.61 o 37079 551.61 c 3688 552.70 o 37080 552.70 c 3687 553.49 o 37083 553.49 c 3684 554.82 o 37086 554.82 c 3681 555.20 o 37090 555.20 c 3677 557.91 o 37094 557.91 c 3673 558.29 o 37097 558.29 c 3670 558.89 o 37099 558.89 c 3668 562.76 o 37100 562.76 c 3667 566.73 o 37101 566.73 c 3666 568.22 o 37105 568.22 c 3662 568.61 o 37109 568.61 c 3658 568.98 o 37114 568.98 c 3653 569.36 o 37115 569.36 c 3652 571.81 o 37119 571.81 c 3648 572.16 o 37122 572.16 c 3645 572.55 o 37123 572.55 c 3644 572.93 o 37124 572.93 c 3643 573.32 o 37126 573.32 c 3641 574.53 o 37128 574.53 c 3639 574.92 o 37130 574.92 c 3637 575.31 o 37131 575.31 c 3636 576.10 o 37133 576.10 c 3634 576.48 o 37137 576.49 c 3630 576.86 o 37140 576.87 c 3627 577.12 o 37142 577.12 c 3625 577.51 o 37143 577.51 c 3624 577.90 o 37144 577.90 c 3623 578.30 o 37145 578.30 c 3622 578.68 o 37147 578.68 c 3620 579.42 o 37150 579.42 c 3617 580.54 o 37151 580.54 c 3616 583.17 o 37155 583.17 c 3612 584.11 o 37158 584.11 c 3609 584.50 o 37160 584.50 c 3607 584.88 o 37163 584.88 c 3604 585.66 o 37164 585.66 c 3603 586.04 o 37166 586.04 c 3601 587.50 o 37170 587.50 c 3597 587.89 o 37171 587.89 c 3596 588.28 o 37173 588.28 c 3594 588.97 o 37174 588.97 c 3593 589.73 o 37175 589.73 c 3592 601.06 o 37178 601.06 c 3589 601.45 o 37179 601.45 c 3588 601.82 o 37180 601.82 c 3587 602.24 o 37183 602.24 c 3584 602.61 o 37186 602.61 c 3581 603.00 o 37190 603.00 c 3577 603.39 o 37192 603.39 c 3575 603.78 o 37195 603.78 c 3572 604.06 o 37196 604.06 c 3571 604.48 o 37197 604.48 c 3570 604.87 o 37198 604.87 c 3569 605.24 o 37200 605.24 c 3567 611.96 o 37202 611.96 c 3565 612.38 o 37203 612.38 c 3564 614.42 o 37204 614.42 c 3563 616.51 o 37206 616.51 c 3561 616.92 o 37208 616.92 c 3559 618.21 o 37210 618.21 c 3557 618.63 o 37214 618.63 c 3553 618.81 o 37217 618.81 c 3550 621.76 o 37218 621.76 c 3549 622.18 o 37219 622.18 c 3548 622.63 o 37220 622.63 c 3547 623.46 o 37221 623.46 c 3546 624.73 o 37223 624.73 c 3544 627.95 o 37224 627.95 c 3543 628.37 o 37226 628.37 c 3541 628.74 o 37231 628.74 c 3536 629.60 o 37232 629.60 c 3535 630.44 o 37233 630.44 c 3534 630.84 o 37234 630.84 c 3533 631.25 o 37236 631.25 c 3531 631.69 o 37237 631.69 c 3530 632.15 o 37239 632.15 c 3528 632.55 o 37242 632.55 c 3525 632.96 o 37245 632.96 c 3522 633.37 o 37246 633.37 c 3521 633.77 o 37247 633.77 c 3520 634.17 o 37249 634.17 c 3518 635.01 o 37250 635.01 c 3517 635.40 o 37251 635.40 c 3516 636.23 o 37252 636.23 c 3515 636.65 o 37254 636.65 c 3513 637.09 o 37255 637.09 c 3512 637.37 o 37259 637.37 c 3508 637.77 o 37261 637.77 c 3506 638.60 o 37262 638.60 c 3505 640.92 o 37265 640.92 c 3502 641.31 o 37268 641.31 c 3499 641.72 o 37269 641.72 c 3498 642.92 o 37272 642.92 c 3495 644.13 o 37274 644.13 c 3493 644.54 o 37275 644.54 c 3492 646.51 o 37276 646.51 c 3491 646.94 o 37277 646.94 c 3490 647.33 o 37279 647.33 c 3488 648.15 o 37282 648.15 c 3485 648.55 o 37283 648.55 c 3484 648.91 o 37286 648.91 c 3481 649.31 o 37290 649.31 c 3477 649.69 o 37291 649.69 c 3476 650.06 o 37293 650.06 c 3474 650.19 o 37297 650.19 c 3470 650.57 o 37299 650.57 c 3468 651.57 o 37300 651.57 c 3467 651.96 o 37302 651.96 c 3465 652.34 o 37305 652.34 c 3462 653.31 o 37306 653.31 c 3461 654.86 o 37307 654.86 c 3460 655.20 o 37308 655.20 c 3459 656.05 o 37309 656.05 c 3458 656.47 o 37310 656.47 c 3457 657.30 o 37311 657.30 c 3456 659.56 o 37312 659.56 c 3455 660.02 o 37314 660.02 c 3453 660.48 o 37316 660.56 c 3451 665.17 o 37319 665.17 c 3448 666.11 o 37321 666.11 c 3446 668.42 o 37322 668.42 c 3445 670.28 o 37323 670.28 c 3444 671.65 o 37324 671.65 c 3443 672.12 o 37325 672.12 c 3442 672.60 o 37328 672.60 c 3439 673.06 o 37329 673.06 c 3438 673.52 o 37331 673.52 c 3436 675.67 o 37332 675.67 c 3435 676.97 o 37334 676.97 c 3433 677.44 o 37335 677.44 c 3432 683.79 o 37340 683.79 c 3427 684.24 o 37342 684.24 c 3425 684.43 o 37349 684.43 c 3418 684.89 o 37352 684.89 c 3415 687.29 o 37356 687.29 c 3411 688.24 o 37358 688.24 c 3409 689.01 o 37359 689.01 c 3408 690.11 o 37364 690.11 c 3403 690.55 o 37370 690.55 c 3397 691.00 o 37373 691.00 c 3394 691.46 o 37375 691.46 c 3392 692.88 o 37376 692.88 c 3391 693.32 o 37377 693.32 c 3390 693.77 o 37380 693.77 c 3387 694.23 o 37382 694.23 c 3385 695.17 o 37384 695.17 c 3383 697.57 o 37387 697.57 c 3380 698.86 o 37389 698.86 c 3378 699.84 o 37390 699.84 c 3377 700.72 o 37391 700.72 c 3376 703.15 o 37393 703.15 c 3374 703.63 o 37395 703.63 c 3372 704.14 o 37397 704.14 c 3370 704.63 o 37398 704.63 c 3369 705.06 o 37400 705.06 c 3367 707.65 o 37402 707.65 c 3365 714.59 o 37404 714.59 c 3363 715.07 o 37406 715.07 c 3361 715.58 o 37408 715.58 c 3359 716.08 o 37409 716.08 c 3358 719.53 o 37412 719.53 c 3355 720.02 o 37416 720.02 c 3351 720.15 o 37419 720.15 c 3348 720.65 o 37420 720.65 c 3347 721.14 o 37422 721.14 c 3345 723.50 o 37424 723.50 c 3343 724.00 o 37425 724.00 c 3342 724.94 o 37428 724.94 c 3339 727.48 o 37430 727.48 c 3337 727.97 o 37432 727.97 c 3335 728.46 o 37434 728.46 c 3333 730.41 o 37438 730.41 c 3329 731.38 o 37439 731.38 c 3328 731.88 o 37441 731.88 c 3326 732.36 o 37443 732.36 c 3324 732.83 o 37444 732.83 c 3323 734.33 o 37445 734.33 c 3322 736.20 o 37446 736.20 c 3321 736.71 o 37447 736.71 c 3320 737.25 o 37449 737.25 c 3318 741.83 o 37453 741.83 c 3314 742.04 o 37456 742.04 c 3311 742.59 o 37458 742.59 c 3309 743.36 o 37461 743.36 c 3306 748.23 o 37464 748.23 c 3303 748.73 o 37467 748.73 c 3300 749.72 o 37468 749.72 c 3299 753.98 o 37471 753.98 c 3296 754.46 o 37472 754.46 c 3295 754.95 o 37474 754.95 c 3293 755.43 o 37477 755.43 c 3290 760.85 o 37480 760.85 c 3287 761.33 o 37483 761.33 c 3284 762.31 o 37486 762.31 c 3281 762.79 o 37489 762.79 c 3278 763.27 o 37491 763.27 c 3276 763.73 o 37493 763.73 c 3274 764.22 o 37496 764.22 c 3271 765.71 o 37500 765.71 c 3267 766.21 o 37501 766.21 c 3266 767.17 o 37503 767.17 c 3264 768.51 o 37506 768.51 c 3261 769.43 o 37507 769.43 c 3260 770.23 o 37509 770.23 c 3258 771.68 o 37510 771.68 c 3257 772.56 o 37511 772.56 c 3256 773.04 o 37513 773.04 c 3254 774.49 o 37514 774.49 c 3253 774.98 o 37516 774.98 c 3251 775.46 o 37520 775.46 c 3247 775.84 o 37522 775.84 c 3245 776.32 o 37525 776.32 c 3242 776.80 o 37526 776.80 c 3241 777.76 o 37529 777.76 c 3238 778.24 o 37530 778.24 c 3237 778.71 o 37531 778.71 c 3236 779.68 o 37533 779.68 c 3234 782.32 o 37536 782.32 c 3231 782.78 o 37537 782.78 c 3230 783.25 o 37538 783.25 c 3229 783.73 o 37539 783.73 c 3228 788.16 o 37540 788.16 c 3227 789.62 o 37541 789.62 c 3226 790.59 o 37542 790.59 c 3225 791.59 o 37544 791.59 c 3223 792.08 o 37547 792.08 c 3220 795.44 o 37550 795.44 c 3217 795.92 o 37551 795.92 c 3216 797.37 o 37552 797.37 c 3215 797.87 o 37554 797.87 c 3213 798.37 o 37555 798.37 c 3212 800.03 o 37559 800.03 c 3208 801.04 o 37562 801.04 c 3205 801.54 o 37563 801.54 c 3204 802.06 o 37566 802.06 c 3201 802.56 o 37567 802.56 c 3200 803.07 o 37569 803.07 c 3198 803.56 o 37570 803.56 c 3197 808.26 o 37571 808.26 c 3196 808.63 o 37573 808.63 c 3194 809.14 o 37574 809.14 c 3193 809.67 o 37579 809.67 c 3188 810.19 o 37582 810.19 c 3185 810.72 o 37584 810.72 c 3183 812.31 o 37586 812.31 c 3181 812.86 o 37589 812.86 c 3178 813.36 o 37590 813.36 c 3177 813.89 o 37591 813.89 c 3176 818.32 o 37593 818.32 c 3174 818.87 o 37594 818.87 c 3173 819.12 o 37595 819.12 c 3172 819.64 o 37598 819.64 c 3169 820.16 o 37601 820.16 c 3166 821.78 o 37602 821.78 c 3165 821.92 o 37604 821.92 c 3163 822.44 o 37605 822.44 c 3162 822.98 o 37609 822.98 c 3158 823.49 o 37610 823.49 c 3157 824.04 o 37611 824.04 c 3156 824.41 o 37612 824.41 c 3155 830.74 o 37616 830.74 c 3151 833.42 o 37619 833.42 c 3148 833.97 o 37621 833.97 c 3146 834.50 o 37622 834.50 c 3145 840.72 o 37623 840.72 c 3144 841.26 o 37626 841.26 c 3141 841.77 o 37628 841.77 c 3139 843.86 o 37629 843.86 c 3138 844.90 o 37631 844.90 c 3136 853.99 o 37633 853.99 c 3134 854.50 o 37636 854.50 c 3131 855.52 o 37637 855.52 c 3130 857.57 o 37640 857.57 c 3127 858.60 o 37641 858.60 c 3126 859.13 o 37645 859.13 c 3122 860.69 o 37647 860.69 c 3120 861.20 o 37648 861.20 c 3119 863.30 o 37650 863.30 c 3117 863.81 o 37654 863.81 c 3113 864.29 o 37655 864.29 c 3112 865.34 o 37656 865.34 c 3111 865.81 o 37658 865.81 c 3109 866.33 o 37659 866.33 c 3108 869.99 o 37660 869.99 c 3107 870.51 o 37661 870.51 c 3106 871.02 o 37662 871.02 c 3105 879.57 o 37665 879.57 c 3102 881.70 o 37666 881.70 c 3101 882.80 o 37667 882.80 c 3100 883.87 o 37668 883.87 c 3099 884.43 o 37670 884.43 c 3097 886.09 o 37671 886.09 c 3096 886.68 o 37672 886.68 c 3095 888.42 o 37674 888.42 c 3093 890.19 o 37676 890.19 c 3091 890.79 o 37680 890.79 c 3087 893.11 o 37684 893.11 c 3083 893.71 o 37688 893.71 c 3079 900.06 o 37689 900.06 c 3078 902.98 o 37690 902.98 c 3077 906.96 o 37692 906.96 c 3075 907.39 o 37694 907.39 c 3073 907.95 o 37695 907.95 c 3072 908.53 o 37697 908.53 c 3070 916.44 o 37698 916.44 c 3069 918.24 o 37700 918.24 c 3067 920.40 o 37702 920.40 c 3065 920.99 o 37706 920.99 c 3061 921.10 o 37711 921.10 c 3056 925.83 o 37714 925.83 c 3053 930.97 o 37716 930.97 c 3051 932.78 o 37719 932.78 c 3048 933.75 o 37721 933.75 c 3046 934.30 o 37722 934.30 c 3045 934.87 o 37726 934.87 c 3041 935.48 o 37729 935.48 c 3038 936.06 o 37732 936.06 c 3035 936.16 o 37736 936.16 c 3031 937.18 o 37739 937.18 c 3028 937.75 o 37741 937.75 c 3026 939.45 o 37743 939.45 c 3024 940.03 o 37745 940.03 c 3022 941.09 o 37746 941.09 c 3021 941.66 o 37747 941.66 c 3020 942.11 o 37749 942.11 c 3018 942.68 o 37752 942.68 c 3015 943.24 o 37754 943.24 c 3013 943.80 o 37755 943.80 c 3012 945.86 o 37756 945.86 c 3011 946.39 o 37757 946.39 c 3010 946.94 o 37758 946.94 c 3009 947.49 o 37759 947.49 c 3008 948.05 o 37761 948.05 c 3006 948.60 o 37763 948.60 c 3004 949.16 o 37764 949.16 c 3003 950.19 o 37765 950.19 c 3002 950.58 o 37768 950.58 c 2999 953.14 o 37769 953.14 c 2998 955.80 o 37772 955.80 c 2995 955.90 o 37776 955.90 c 2991 956.25 o 37777 956.25 c 2990 956.77 o 37780 956.77 c 2987 957.29 o 37781 957.29 c 2986 958.31 o 37782 958.31 c 2985 959.28 o 37786 959.28 c 2981 959.78 o 37787 959.78 c 2980 959.98 o 37788 959.98 c 2979 960.84 o 37791 960.84 c 2976 961.05 o 37793 961.05 c 2974 961.55 o 37797 961.55 c 2970 962.10 o 37799 962.10 c 2968 962.61 o 37800 962.61 c 2967 963.11 o 37801 963.11 c 2966 963.64 o 37803 963.64 c 2964 964.14 o 37804 964.14 c 2963 965.13 o 37806 965.13 c 2961 966.16 o 37809 966.16 c 2958 967.11 o 37813 967.11 c 2954 967.51 o 37815 967.51 c 2952 968.00 o 37817 968.00 c 2950 968.51 o 37819 968.51 c 2948 969.20 o 37820 969.20 c 2947 969.68 o 37825 969.68 c 2942 970.06 o 37828 970.06 c 2939 970.47 o 37830 970.47 c 2937 971.94 o 37831 971.94 c 2936 972.43 o 37833 972.43 c 2934 972.93 o 37835 972.93 c 2932 973.44 o 37838 973.44 c 2929 974.99 o 37842 974.99 c 2925 976.53 o 37844 976.53 c 2923 977.04 o 37846 977.04 c 2921 977.54 o 37847 977.54 c 2920 978.06 o 37848 978.06 c 2919 978.58 o 37849 978.58 c 2918 979.10 o 37853 979.10 c 2914 979.61 o 37854 979.61 c 2913 980.11 o 37856 980.11 c 2911 989.04 o 37857 989.04 c 2910 991.00 o 37858 991.00 c 2909 992.53 o 37861 992.53 c 2906 993.09 o 37864 993.09 c 2903 993.35 o 37869 993.35 c 2898 993.60 o 37873 993.60 c 2894 994.62 o 37875 994.62 c 2892 995.15 o 37876 995.15 c 2891 1000.96 o 37877 1000.96 c 2890 1001.46 o 37878 1001.46 c 2889 1003.58 o 37879 1003.58 c 2888 1004.09 o 37881 1004.09 c 2886 1004.61 o 37882 1004.61 c 2885 1005.16 o 37883 1005.16 c 2884 1006.74 o 37885 1006.74 c 2882 1010.45 o 37888 1010.45 c 2879 1011.46 o 37891 1011.46 c 2876 1014.52 o 37893 1014.52 c 2874 1015.05 o 37894 1015.05 c 2873 1016.82 o 37895 1016.82 c 2872 1017.35 o 37897 1017.35 c 2870 1018.40 o 37899 1018.40 c 2868 1018.93 o 37900 1018.93 c 2867 1020.54 o 37901 1020.54 c 2866 1023.80 o 37903 1023.80 c 2864 1024.34 o 37908 1024.34 c 2859 1024.87 o 37909 1024.87 c 2858 1025.41 o 37912 1025.41 c 2855 1028.47 o 37913 1028.47 c 2854 1029.02 o 37915 1029.02 c 2852 1030.72 o 37916 1030.72 c 2851 1031.15 o 37919 1031.15 c 2848 1031.70 o 37920 1031.71 c 2847 1032.25 o 37921 1032.25 c 2846 1035.04 o 37924 1035.04 c 2843 1035.52 o 37926 1035.52 c 2841 1036.09 o 37927 1036.09 c 2840 1038.14 o 37929 1038.14 c 2838 1038.72 o 37930 1038.72 c 2837 1039.72 o 37931 1039.72 c 2836 1040.30 o 37934 1040.30 c 2833 1040.89 o 37936 1040.89 c 2831 1041.45 o 37939 1041.45 c 2828 1047.89 o 37942 1047.89 c 2825 1050.71 o 37944 1050.71 c 2823 1051.26 o 37945 1051.26 c 2822 1058.32 o 37948 1058.32 c 2819 1058.89 o 37951 1058.89 c 2816 1059.47 o 37953 1059.47 c 2814 1061.23 o 37955 1061.23 c 2812 1062.95 o 37956 1062.95 c 2811 1063.57 o 37957 1063.57 c 2810 1064.18 o 37958 1064.18 c 2809 1065.98 o 37961 1065.98 c 2806 1068.42 o 37962 1068.42 c 2805 1069.05 o 37965 1069.05 c 2802 1069.67 o 37969 1069.67 c 2798 1070.23 o 37973 1070.23 c 2794 1070.83 o 37975 1070.83 c 2792 1071.98 o 37977 1071.98 c 2790 1072.60 o 37978 1072.60 c 2789 1073.23 o 37979 1073.23 c 2788 1073.85 o 37981 1073.85 c 2786 1074.72 o 37985 1074.72 c 2782 1077.09 o 37988 1077.09 c 2779 1078.63 o 37989 1078.63 c 2778 1081.10 o 37992 1081.10 c 2775 1081.38 o 37993 1081.38 c 2774 1085.66 o 37994 1085.66 c 2773 1086.92 o 37996 1086.92 c 2771 1087.53 o 37998 1087.53 c 2769 1088.08 o 38000 1088.08 c 2767 1088.71 o 38002 1088.71 c 2765 1097.36 o 38004 1097.36 c 2763 1097.98 o 38007 1097.98 c 2760 1100.50 o 38008 1100.50 c 2759 1101.11 o 38010 1101.11 c 2757 1101.41 o 38014 1101.41 c 2753 1103.73 o 38015 1103.73 c 2752 1104.97 o 38017 1104.97 c 2750 1105.83 o 38020 1105.83 c 2747 1107.64 o 38022 1107.64 c 2745 1109.96 o 38023 1109.96 c 2744 1110.56 o 38025 1110.56 c 2742 1113.74 o 38026 1113.74 c 2741 1115.87 o 38027 1115.87 c 2740 1116.24 o 38028 1116.24 c 2739 1116.97 o 38029 1116.97 c 2738 1117.51 o 38034 1117.51 c 2733 1118.08 o 38035 1118.08 c 2732 1119.47 o 38041 1119.47 c 2726 1119.95 o 38044 1119.95 c 2723 1122.23 o 38045 1122.23 c 2722 1122.79 o 38048 1122.79 c 2719 1123.35 o 38052 1123.35 c 2715 1125.05 o 38055 1125.05 c 2712 1125.61 o 38057 1125.61 c 2710 1126.19 o 38061 1126.19 c 2706 1128.53 o 38063 1128.53 c 2704 1129.06 o 38065 1129.06 c 2702 1130.18 o 38066 1130.18 c 2701 1130.72 o 38068 1130.72 c 2699 1131.30 o 38070 1131.30 c 2697 1135.20 o 38071 1135.20 c 2696 1137.58 o 38074 1137.58 c 2693 1138.82 o 38076 1138.82 c 2691 1139.44 o 38080 1139.44 c 2687 1140.07 o 38082 1140.07 c 2685 1143.54 o 38083 1143.54 c 2684 1144.83 o 38085 1144.83 c 2682 1146.74 o 38086 1146.74 c 2681 1148.01 o 38090 1148.01 c 2677 1148.41 o 38091 1148.41 c 2676 1151.58 o 38093 1151.58 c 2674 1152.01 o 38095 1152.01 c 2672 1153.28 o 38098 1153.28 c 2669 1154.51 o 38099 1154.51 c 2668 1154.92 o 38100 1154.92 c 2667 1156.14 o 38101 1156.14 c 2666 1156.77 o 38102 1156.77 c 2665 1157.10 o 38104 1157.10 c 2663 1157.72 o 38106 1157.72 c 2661 1159.60 o 38107 1159.60 c 2660 1160.22 o 38108 1160.22 c 2659 1160.88 o 38109 1160.88 c 2658 1161.52 o 38111 1161.52 c 2656 1164.63 o 38114 1164.63 c 2653 1168.33 o 38115 1168.33 c 2652 1168.97 o 38116 1168.97 c 2651 1169.61 o 38119 1169.61 c 2648 1170.18 o 38122 1170.18 c 2645 1170.79 o 38124 1170.79 c 2643 1172.70 o 38127 1172.70 c 2640 1173.33 o 38128 1173.33 c 2639 1174.97 o 38130 1174.97 c 2637 1176.26 o 38133 1176.26 c 2634 1176.91 o 38134 1176.91 c 2633 1199.30 o 38136 1199.30 c 2631 1212.14 o 38139 1212.14 c 2628 1213.44 o 38140 1213.44 c 2627 1214.93 o 38141 1214.93 c 2626 1215.59 o 38145 1215.59 c 2622 1216.24 o 38147 1216.24 c 2620 1218.25 o 38149 1218.25 c 2618 1218.91 o 38152 1218.91 c 2615 1219.49 o 38156 1219.49 c 2611 1220.14 o 38157 1220.14 c 2610 1222.70 o 38158 1222.70 c 2609 1223.37 o 38159 1223.37 c 2608 1224.02 o 38161 1224.02 c 2606 1240.52 o 38163 1240.52 c 2604 1241.08 o 38166 1241.08 c 2601 1242.28 o 38167 1242.28 c 2600 1242.97 o 38168 1242.97 c 2599 1243.66 o 38169 1243.66 c 2598 1244.33 o 38170 1244.33 c 2597 1245.01 o 38172 1245.01 c 2595 1249.15 o 38176 1249.15 c 2591 1250.89 o 38177 1250.89 c 2590 1251.98 o 38179 1251.98 c 2588 1255.22 o 38181 1255.22 c 2586 1258.99 o 38182 1258.99 c 2585 1259.65 o 38184 1259.65 c 2583 1260.91 o 38185 1260.91 c 2582 1274.95 o 38188 1274.95 c 2579 1275.58 o 38191 1275.58 c 2576 1276.21 o 38193 1276.21 c 2574 1280.64 o 38195 1280.64 c 2572 1281.28 o 38196 1281.28 c 2571 1282.56 o 38197 1282.56 c 2570 1286.15 o 38201 1286.15 c 2566 1286.79 o 38202 1286.79 c 2565 1288.77 o 38204 1288.77 c 2563 1290.11 o 38206 1290.11 c 2561 1290.78 o 38208 1290.78 c 2559 1291.44 o 38209 1291.44 c 2558 1293.78 o 38210 1293.78 c 2557 1294.42 o 38212 1294.42 c 2555 1295.05 o 38215 1295.05 c 2552 1299.46 o 38216 1299.46 c 2551 1300.12 o 38218 1300.12 c 2549 1300.76 o 38221 1300.76 c 2546 1302.73 o 38223 1302.73 c 2544 1304.03 o 38225 1304.03 c 2542 1304.68 o 38230 1304.68 c 2537 1307.64 o 38231 1307.64 c 2536 1308.18 o 38232 1308.18 c 2535 1309.47 o 38233 1309.47 c 2534 1311.36 o 38236 1311.36 c 2531 1312.68 o 38238 1312.68 c 2529 1313.35 o 38239 1313.35 c 2528 1314.66 o 38242 1314.66 c 2525 1315.19 o 38243 1315.19 c 2524 1315.85 o 38245 1315.85 c 2522 1316.51 o 38246 1316.51 c 2521 1317.17 o 38251 1317.17 c 2516 1317.82 o 38252 1317.82 c 2515 1319.78 o 38255 1319.78 c 2512 1321.84 o 38256 1321.84 c 2511 1322.52 o 38257 1322.52 c 2510 1323.84 o 38258 1323.84 c 2509 1325.28 o 38259 1325.28 c 2508 1325.93 o 38261 1325.93 c 2506 1326.57 o 38262 1326.57 c 2505 1336.88 o 38263 1336.88 c 2504 1338.06 o 38265 1338.07 c 2502 1338.74 o 38267 1338.74 c 2500 1339.42 o 38269 1339.42 c 2498 1340.86 o 38270 1340.86 c 2497 1349.60 o 38272 1349.60 c 2495 1350.86 o 38273 1350.86 c 2494 1351.49 o 38274 1351.49 c 2493 1352.30 o 38277 1352.30 c 2490 1352.90 o 38280 1352.90 c 2487 1353.54 o 38281 1353.54 c 2486 1354.81 o 38282 1354.81 c 2485 1356.08 o 38283 1356.08 c 2484 1356.72 o 38286 1356.72 c 2481 1359.26 o 38287 1359.26 c 2480 1359.88 o 38289 1359.88 c 2478 1360.51 o 38291 1360.51 c 2476 1361.13 o 38294 1361.13 c 2473 1363.73 o 38296 1363.73 c 2471 1364.38 o 38298 1364.38 c 2469 1365.03 o 38299 1365.03 c 2468 1365.67 o 38301 1365.67 c 2466 1366.99 o 38303 1366.99 c 2464 1372.71 o 38304 1372.71 c 2463 1373.26 o 38309 1373.27 c 2458 1376.19 o 38310 1376.19 c 2457 1376.85 o 38313 1376.85 c 2454 1378.86 o 38316 1378.86 c 2451 1379.53 o 38318 1379.53 c 2449 1380.22 o 38320 1380.22 c 2447 1380.88 o 38322 1380.88 c 2445 1382.93 o 38323 1382.93 c 2444 1385.30 o 38325 1385.30 c 2442 1396.87 o 38326 1396.87 c 2441 1397.46 o 38328 1397.46 c 2439 1398.62 o 38333 1398.62 c 2434 1400.03 o 38335 1400.03 c 2432 1400.74 o 38337 1400.74 c 2430 1401.45 o 38338 1401.45 c 2429 1402.15 o 38339 1402.15 c 2428 1403.91 o 38341 1403.91 c 2426 1404.62 o 38346 1404.62 c 2421 1408.75 o 38347 1408.75 c 2420 1410.87 o 38350 1410.87 c 2417 1411.25 o 38352 1411.25 c 2415 1415.46 o 38353 1415.46 c 2414 1415.89 o 38355 1415.89 c 2412 1417.35 o 38356 1417.35 c 2411 1424.31 o 38357 1424.31 c 2410 1425.01 o 38359 1425.01 c 2408 1432.29 o 38361 1432.29 c 2406 1432.48 o 38364 1432.48 c 2403 1435.90 o 38365 1435.90 c 2402 1437.33 o 38367 1437.33 c 2400 1438.77 o 38368 1438.77 c 2399 1441.65 o 38369 1441.65 c 2398 1442.36 o 38370 1442.36 c 2397 1444.23 o 38371 1444.23 c 2396 1474.84 1474.85 search 1474.85 run=0 nbConstraintChecks=3397882499 nbAssignments=4194 1474.85 => wckTime=1410.843 cpuTime=1396.8 mem=87M348 1474.85 1474.85 global 1474.85 nbConstraintChecks=3397882499 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1474.85 solvingWckTime=1410.822 solvingCpuTime=1396.78 expiredTime=no totalExploration=no nbFoundSolutions=0 1474.85 globalCpuTime=1458.53 1474.85 => wckTime=1474.525 cpuTime=1458.47 mem=87M348 1474.85 1474.85 solver IterativeSystematicSolver being built... 1475.82 => wckTime=1475.494 cpuTime=1459.01 mem=241M211 2423.79 v 2228 2096 2644 2396 2736 2168 -2512 2168 -2608 2168 -2624 -2020 -2560 -2220 -2524 -2552 2604 -2560 2192 -2060 2060 -2460 2484 2100 2220 2416 2620 -2460 -2720 2064 2420 -2604 -2032 2312 2512 2700 -2528 -2020 -2572 -2208 -2696 2020 -2708 2232 -2620 2664 2720 2044 2400 2088 2120 -2568 -2588 -2700 -2240 -2088 2712 -2416 -2672 -2264 2072 -2612 -2568 2260 2336 -2472 -2676 2680 2720 -2500 -2720 2596 2268 -2732 -2384 -2676 2040 -2080 2364 2540 2740 2560 -2680 -2420 2140 2460 -2064 -2628 2664 2300 -2036 2448 -2168 -2664 2304 2188 -2404 2196 -2044 -2604 -2352 2364 2376 2028 2112 2332 2656 2488 -2404 -2020 -2060 -2700 2040 -2192 -2504 2724 2132 2176 -2716 2272 -2696 2496 -2616 2676 2348 2516 -2368 2624 -2740 2544 -2492 -2112 -2076 2684 -2616 -2076 -2668 2736 2320 2064 -2644 -2688 2288 -2472 2060 2640 2712 -2020 2600 2168 -2060 -2416 -2408 -2548 2432 -2576 -2024 2704 2308 2112 -2220 -2596 -2584 2688 2720 -2244 2372 2256 2704 2304 -2280 -2248 -2084 -2732 2068 -2544 2344 2448 -2236 2028 2688 -2732 -2020 2680 -2676 -2716 2076 -2468 -2028 -2316 2060 -2024 2596 -2260 -2632 -2692 -2596 -2220 -2116 -2464 -2688 -2632 -2460 -2244 -2176 -2048 -2632 -2676 2060 -2028 -2592 -2020 2092 2332 2344 2484 -2580 -2112 2584 2020 -2288 2724 2476 2700 2040 -2408 2064 2664 -2092 2556 2608 2700 2424 -2024 -2604 -2692 -2020 2040 -2660 2664 2392 2580 2340 -2740 2692 -2700 -2740 2340 -2740 2564 -2568 2296 -2668 2428 -2060 2716 2132 -2176 -2560 2336 2372 -2196 2608 -2328 2152 2652 2712 -2432 2316 -2516 2464 -2740 -2380 -2628 -2304 -2060 2040 2152 -2724 2080 -2020 2040 -2064 2068 -2048 2684 -2676 -2476 2296 -2556 -2048 -2560 2708 -2532 -2720 2504 2264 -2472 2152 2348 2580 2060 2664 2640 -2068 -2376 2648 2356 2544 2248 2020 2152 -2056 2668 -2620 -2452 2512 -2220 2320 -2256 -2452 -2624 -2172 -2500 -2348 2048 2212 2576 2516 2684 -2304 -2676 2188 2620 2080 2492 2740 2352 -2624 -2088 2668 2680 2636 -2732 2300 2156 2672 -2020 2504 2192 -2336 -2700 2632 2300 2416 -2644 -2164 -2664 -2656 -2036 2624 2212 2532 2540 -2588 2660 -2516 -2148 2084 2708 2060 2732 2584 2704 -2704 2244 -2156 -2736 -2056 2496 2056 -2428 -2388 2188 2436 2080 -2116 2120 -2220 2256 2376 -2700 -2700 -2504 -2676 -2688 -2304 -2708 2152 -2136 2240 -2736 2144 -2360 -2280 2520 2340 -2628 -2336 -2692 2028 -2256 -2488 -2704 -2604 -2036 -2064 2420 2452 -2356 -2736 -2460 2060 -2740 -2208 -2080 2628 -2692 2368 -2024 -2100 2196 2076 -2540 2520 -2224 2540 -2020 -2696 2740 2072 2600 -2564 -2356 -2624 2060 -2664 -2256 -2140 -2720 -2156 2576 -2116 -2728 2276 2616 2256 2492 -2420 -2020 2020 2680 -2176 2220 2080 2676 -2412 -2048 -2664 2372 2236 2500 -2736 -2388 2160 -2696 -2740 -2416 -2428 -2328 -2700 -2492 2036 -2640 -2732 2024 -2576 -2508 2696 -2424 2500 -2180 2632 2224 2028 2036 2104 2208 2568 -2192 2064 2484 -2060 -2160 2080 2596 2728 2416 -2348 2624 2288 2320 -2636 2044 2036 -2156 2644 2740 -2316 -2544 -2076 2468 2400 2692 -2416 2724 -2068 -2020 -2556 -2676 2552 2072 -2656 2444 -2100 -2260 2572 -2508 -2568 -2120 -2732 -2720 2520 2692 2340 -2536 2628 2308 -2048 2700 2024 2608 2448 2116 -2300 2416 2524 2320 2724 2600 -2716 -2212 2440 2528 -2740 2196 -2084 -2244 -2092 2700 2328 -2392 2300 2532 2148 2064 2512 -2700 -2036 -2132 -2136 -2400 -2536 2372 -2684 -2352 2032 2300 -2436 -2196 -2316 2232 -2600 -2364 -2160 2196 2716 2628 2284 2216 2420 -2672 2484 -2212 -2024 2288 -2640 2708 2020 2452 2700 -2104 2372 2700 -2288 -2040 -2068 2032 2456 -2376 2092 -2084 2668 -2688 -2632 -2272 2408 -2252 -2044 -2380 2668 2220 2124 2652 -2716 -2500 -2676 -2020 2700 -2228 2412 2072 -2028 -2280 -2072 2604 -2064 -2664 -2484 2564 -2448 2052 2728 -2620 -2404 -2568 2180 2456 2096 -2040 -2660 2644 2544 2696 2604 2192 2304 -2020 2436 -2040 -2664 -2256 2328 2500 -2232 2568 -2020 -2540 -2524 2060 2148 -2512 2492 -2060 -2568 2060 2508 2096 -2184 -2480 -2720 -2740 -2320 2724 2732 -2692 2108 2040 -2716 -2332 2060 2448 2128 2020 2444 -2368 -2576 2664 -2524 -2096 2420 -2528 -2068 2356 2280 2508 2572 -2684 -2368 2088 -2684 -2280 -2700 2184 2632 2732 2376 -2060 2224 2408 -2304 -2608 -2032 2420 -2552 2616 -2068 2448 -2684 -2696 2488 -2568 -2044 -2032 2116 -2280 2036 -2472 2364 2736 -2020 -2652 -2532 -2740 -2068 2056 -2096 -2420 2292 -2652 -2040 2128 -2204 2308 -2188 -2588 2028 -2700 -2668 2068 2056 -2056 -2256 -2400 -2456 2388 -2444 2080 2216 2696 2260 2572 -2076 2684 2652 2096 2020 2068 2268 -2580 -2560 -2724 -2488 -2520 -2632 2376 2672 2464 -2440 -2720 2356 -2308 2048 2060 2700 -2548 -2340 -2392 2112 2404 2028 -2700 -2556 -2616 -2228 2720 2244 -2704 2276 2408 2684 -2484 2504 2084 2436 -2088 2060 2532 2080 -2708 2528 -2524 -2732 2204 2240 2124 2388 2536 -2424 2360 2024 2432 2272 2680 -2028 2432 -2040 -2608 -2356 2380 2036 -2604 2028 2664 2508 2056 -2368 -2600 -2492 2080 2368 2560 2036 2664 2280 2552 2064 2256 -2384 -2056 -2088 2600 -2308 2400 2176 -2060 -2060 -2020 -2028 -2376 -2588 -2664 -2024 2500 -2352 -2176 2556 -2704 -2260 2172 -2460 2220 2252 -2068 2044 -2252 -2644 2020 -2256 2732 -2164 2620 2048 2716 -2080 -2540 -2476 -2028 -2068 2024 -2392 -2604 -2580 2728 2540 -2680 -2084 -2412 2740 2700 2088 2608 -2556 -2728 2688 -2696 -2540 2360 2680 2080 2628 2152 2488 2216 -2456 -2020 -2020 2344 2124 -2360 2088 -2680 2168 2644 -2068 2680 2720 2404 2540 2184 -2152 2036 -2596 2700 2232 2724 -2028 2020 2192 -2712 2600 -2064 2608 -2684 -2224 -2456 2080 2092 -2336 2716 -2332 -2696 -2296 -2660 -2600 2508 2528 -2216 2556 -2488 -2232 2416 -2696 2392 2092 2124 2060 -2064 -2568 2628 2596 2232 2324 -2524 2512 -2056 2048 2732 2676 2376 -2260 2404 2728 2688 2060 -2060 -2660 -2360 -2244 2236 -2036 -2064 -2564 2116 -2720 -2236 -2032 2020 -2156 -2740 2276 -2572 2688 2028 2448 2024 -2040 -2124 -2412 2716 2720 2344 2032 2460 -2036 -2256 -2204 -2344 2348 2328 -2064 -2284 2108 2276 2676 -2084 -2252 -2660 2476 -2496 -2040 -2020 -2596 -2544 2448 2716 2724 -2600 -2240 -2032 -2548 2672 -2184 -2656 -2624 2600 -2708 -2096 2692 2504 -2020 -2324 2020 -2572 -2692 2328 -2060 -2068 2028 -2424 2592 -2020 -2688 2736 2712 -2724 -2196 2428 2720 -2716 2068 -2064 2736 2720 2024 2332 -2564 -2208 2464 -2320 2020 2356 2268 2020 -2676 -2020 2380 2212 2060 -2340 -2396 -2568 2552 2492 -2076 -2216 2020 -2120 2692 -2104 2584 -2684 2676 -2024 -2076 -2724 2072 2096 2592 -2428 -2076 2300 2028 2608 -2648 2716 2068 2048 2296 -2556 2516 2320 -2264 2716 2400 2136 2300 2020 2020 2612 -2532 -2060 -2420 -2540 2184 2564 -2020 2144 -2660 2496 -2412 2208 2736 -2452 2412 -2552 -2060 -2740 -2508 2348 -2040 2660 2404 2504 -2652 -2240 -2256 -2708 2588 -2548 2664 2432 -2500 -2620 -2740 2392 2704 -2696 2576 2704 -2040 -2532 2736 -2172 2388 -2464 2504 2268 2668 -2168 -2164 -2664 -2020 -2368 -2460 2360 -2740 -2084 -2740 2020 2404 2192 -2028 -2300 2060 2492 -2244 -2740 -2024 -2020 -2728 -2736 2672 -2688 -2676 -2060 2592 -2284 2560 -2608 2376 2632 -2020 2692 2636 2036 -2176 -2028 2664 -2724 -2060 -2692 2424 -2324 -2568 -2124 -2696 -2180 2416 2068 -2184 2720 2024 -2344 2156 -2020 -2104 -2264 2020 -2084 2524 -2336 -2680 2528 -2032 2664 2200 -2660 -2020 2628 -2060 -2312 -2396 -2428 2348 -2348 -2632 2092 -2416 2076 2228 2288 2408 2640 -2644 2248 -2500 -2228 2640 2028 -2072 2740 2584 -2132 -2492 -2688 -2596 -2440 2620 -2380 -2024 -2728 2456 2268 2240 -2032 -2716 -2156 2300 2684 2616 -2468 2140 2512 2720 -2152 2340 -2064 2348 2080 2548 -2304 -2072 2560 -2112 -2328 2672 2424 2260 -2740 -2568 2060 2520 -2344 -2472 2520 2504 -2308 -2108 2236 2740 2068 -2452 -2208 2332 2028 2464 -2368 -2240 -2432 2340 -2672 2360 2740 -2456 2020 -2644 2740 2672 -2524 -2680 -2052 -2656 2420 2084 -2248 -2444 -2668 -2316 -2548 -2060 -2148 2736 2092 2644 -2088 2444 2700 2344 2376 2556 -2116 -2400 2064 -2344 -2688 2208 2364 -2072 -2072 2400 -2388 2740 -2524 2292 2216 -2020 2640 2052 2244 2220 -2088 -2116 2304 -2060 2124 -2456 2616 -2196 2192 2100 -2020 -2676 2112 -2556 2044 -2028 -2684 -2524 2600 2704 2264 -2724 -2740 2328 2068 -2372 2696 -2192 2416 2060 -2460 2660 -2060 -2316 -2684 -2052 2380 2324 2352 -2532 -2060 -2256 2180 -2440 2364 2452 2496 2168 2616 2024 -2732 -2432 -2616 2176 -2708 2732 -2032 -2624 -2572 2192 2692 2484 -2244 2076 -2440 -2176 -2700 -2724 2328 -2408 2592 -2516 2108 -2732 -2676 -2700 2720 -2620 2080 -2544 -2268 2700 -2268 -2412 2544 2232 -2684 -2736 2028 2660 -2268 2732 -2128 2700 2672 -2024 2600 -2660 -2616 -2692 -2188 -2180 2276 2660 2340 2360 2124 2144 2180 2736 -2088 2024 2624 2448 2628 2716 -2280 -2204 -2280 -2632 2728 2304 2028 2020 2468 -2160 -2368 -2664 2716 2108 2076 -2156 2588 2584 -2644 -2696 2624 -2472 2616 -2692 -2680 -2328 -2220 2248 -2028 2616 2716 -2576 -2388 -2516 2648 -2668 -2416 2296 -2096 2400 2544 2700 -2060 -2584 -2172 -2288 -2084 -2412 -2684 -2476 -2692 -2700 2592 -2588 -2732 2436 2188 -2384 2660 -2576 -2396 2076 2728 -2200 2108 2060 2260 -2656 2584 -2268 2024 -2668 -2352 2696 -2700 -2216 -2020 2072 2100 2696 2624 2424 -2308 -2580 2636 2408 -2740 -2400 2616 -2684 2404 -2464 2212 -2564 2536 2276 2700 -2528 -2092 -2260 2036 2260 -2660 -2388 -2700 -2732 -2068 2740 2740 -2676 2108 -2512 -2036 -2364 -2584 2700 -2024 2424 2348 2676 -2240 2200 -2584 2724 2524 2344 -2144 -2176 2028 -2136 -2648 -2688 -2132 -2068 2372 -2652 2696 2236 -2376 -2672 -2020 -2652 2736 2196 -2348 2568 -2020 2108 2260 2472 -2292 2108 2428 -2696 2084 -2316 -2260 2672 2180 2700 -2584 2712 2160 -2312 -2700 2064 -2740 2740 2488 2412 -2696 2104 2688 -2208 -2080 2188 -2684 -2628 2524 2416 2436 2660 -2168 -2676 2676 2404 2504 2316 -2032 -2704 2576 -2200 2688 2308 -2080 2484 2300 -2240 2320 2728 -2072 -2696 -2088 2352 2020 2740 -2200 2280 2068 2524 -2068 2544 -2732 -2200 2528 -2464 2740 -2536 2420 -2664 -2308 2724 2060 -2536 -2488 -2408 2380 -2300 -2064 2044 2536 -2732 2140 2132 2668 -2492 -2452 2304 -2612 2716 -2044 -2312 -2100 2732 2660 2472 -2100 -2480 2444 2444 -2040 2040 2128 2716 2440 2732 -2660 -2624 2152 2728 -2104 -2276 -2556 2124 2060 2408 -2140 2304 -2084 -2024 -2736 -2392 2448 2020 2184 2716 -2096 -2196 2700 2356 2276 -2692 2300 2504 2688 2244 2116 2068 -2184 2352 -2176 2308 -2660 -2112 -2280 2104 -2608 -2576 2612 2152 -2296 -2448 2188 2648 2624 -2724 2072 2668 -2376 2612 2676 -2048 2700 -2740 -2036 2692 -2724 2372 -2664 -2692 -2736 2028 2368 -2144 2652 -2456 2360 -2320 -2692 -2068 2036 2252 -2224 2548 -2296 -2484 2672 -2336 2412 -2064 2736 -2588 2140 2580 2020 -2740 2096 -2584 2564 -2664 -2664 2644 2088 -2552 -2236 2444 -2452 -2436 -2716 -2560 -2304 -2484 -2264 -2492 2532 2084 2632 -2060 2040 2336 2716 2400 -2076 2136 -2696 2676 2592 2616 2600 2716 2724 2360 2492 -2268 -2504 2140 2024 2660 2528 -2676 2532 -2664 -2688 -2704 -2700 -2668 -2672 -2260 -2472 -2020 2692 2204 2032 2476 -2348 -2364 -2124 -2392 -2596 2056 -2036 2660 2088 2024 2652 2456 -2240 -2352 -2552 -2248 -2624 -2512 2496 -2312 -2628 2264 2668 2680 -2072 2120 -2548 2732 2740 -2264 -2692 -2228 2596 -2580 -2048 -2692 -2248 2068 2696 2060 -2028 -2684 -2448 -2132 -2736 2040 2180 2216 2592 2616 2456 -2736 -2648 -2228 -2732 -2652 -2020 -2332 -2164 -2040 2328 2560 2552 2628 -2060 -2116 -2732 2680 2668 -2464 2708 2500 2692 -2680 2700 -2032 -2400 -2148 -2380 -2020 2272 2020 -2584 2148 -2184 -2024 2068 -2080 2548 -2720 2088 -2388 -2176 2028 -2476 2344 -2076 -2196 2680 2668 -2632 2068 -2572 -2156 2732 -2508 2076 2656 2516 2112 -2528 -2336 -2680 2060 2084 2460 2060 2592 2716 2472 2020 -2736 -2720 -2336 -2740 -2504 2080 2036 2532 2172 -2404 2068 2252 2576 2036 -2124 -2592 -2420 -2656 -2544 2280 2228 -2020 2680 -2080 2516 -2428 2060 2568 2140 -2564 -2680 -2732 -2516 -2292 2060 -2352 2480 2380 2704 2220 2172 2048 -2276 -2692 -2704 2116 -2480 -2692 2328 -2104 -2048 2600 -2496 -2040 2640 -2316 -2596 -2740 -2076 -2672 2560 -2076 2700 -2660 -2392 2208 -2104 -2156 -2112 -2320 -2656 2404 -2388 -2064 2608 2296 -2192 -2620 2340 -2020 -2528 2296 -2464 -2164 2572 2484 -2484 -2248 2044 2104 -2060 -2592 2604 2480 -2696 2700 2136 -2024 2060 -2336 2176 2060 2636 -2640 -2076 -2340 2324 -2580 2268 -2080 -2360 2732 -2592 2660 2728 -2464 -2472 -2688 2440 -2572 -2156 2596 -2020 -2280 2632 2260 2580 -2132 -2340 2296 2236 -2484 -2508 -2648 -2340 -2136 2360 2700 2668 -2476 2180 2076 2032 -2700 2364 -2056 2152 2400 -2156 2736 2064 -2528 -2472 2584 2676 -2600 -2284 2576 2548 2180 -2740 -2512 -2340 2048 2644 -2452 2036 2380 -2692 2060 -2688 2136 -2124 2728 -2192 2056 2404 2084 2556 2324 -2020 -2608 2020 -2620 2540 -2672 2320 2028 2476 2444 -2100 2712 2080 2132 -2508 2388 2408 2100 -2524 2044 -2148 -2652 -2528 -2108 -2616 2568 -2536 2636 2732 2472 2076 -2696 -2400 2080 -2600 -2304 2624 2420 2624 -2420 -2636 -2260 -2120 -2168 2560 2380 2020 2296 2580 -2336 -2584 2020 -2700 2168 2104 2700 -2284 2324 -2712 2604 -2716 2524 2720 -2140 2728 -2196 -2668 2460 -2072 2620 2240 2368 2036 2592 2024 2024 2700 2024 -2208 -2024 2072 -2700 -2660 2040 -2608 2220 2468 2644 -2564 2468 2360 2740 -2212 2060 -2656 -2368 -2524 2568 2300 -2360 2044 2516 2420 2628 2668 -2684 2668 -2712 2604 2588 -2212 2224 -2172 2020 2420 -2152 2052 2556 -2204 -2108 2224 2636 -2284 2060 2740 -2472 -2256 -2612 -2368 -2060 -2612 -2160 -2060 2696 2636 2212 -2624 2140 2688 -2424 -2036 -2412 -2112 -2256 -2056 -2172 2084 2444 2296 -2068 -2672 2328 -2228 -2216 -2724 2372 -2588 2564 -2472 -2712 2464 -2656 2564 2672 2696 2032 2020 2368 2020 2704 -2512 -2452 -2060 -2704 -2024 2560 2020 2612 2628 2740 2436 -2340 2024 2240 2508 -2676 2692 -2716 -2232 -2064 -2336 2320 2288 2532 2236 2456 -2032 2728 2560 -2192 -2252 -2648 -2732 2200 -2524 -2028 2396 -2640 -2296 -2432 -2184 -2152 -2648 -2080 2028 -2624 2596 -2740 -2280 -2648 -2064 -2316 2040 -2660 -2036 2724 2072 2704 -2152 -2692 -2164 -2296 2652 2384 2440 -2076 2580 -2324 2068 -2204 -2124 2568 2620 -2348 2664 2156 2040 2284 -2200 2668 2676 2452 -2280 -2140 -2592 -2060 -2632 -2084 2608 2636 2080 -2020 -2036 -2440 -2224 -2728 2692 2096 2024 -2540 2308 -2076 2732 -2548 2708 -2496 2372 -2172
2396 unsatisfied constraints, 38371 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-275243-1169218875 -o ROOT/results/node9/solver-275243-1169218875 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275243-1169218875/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.97 2.01 1.95 4/100 24537 /proc/meminfo: memFree=1323984/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=18540 CPUtime=0 /proc/24536/stat : 24536 (runsolver) R 24534 24536 23890 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270282628 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/24536/statm: 4635 279 244 17 0 2626 0 [startup+0.108465 s] /proc/loadavg: 1.97 2.01 1.95 4/100 24537 /proc/meminfo: memFree=1323984/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=914988 CPUtime=0.08 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 270282628 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072912457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228747 2734 1426 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.52051 s] /proc/loadavg: 1.97 2.01 1.95 4/100 24537 /proc/meminfo: memFree=1323984/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915332 CPUtime=0.49 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 7400 0 1 0 45 4 0 0 18 0 8 0 270282628 937299968 7139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073591127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228833 7139 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.35061 s] /proc/loadavg: 1.97 2.01 1.95 3/107 24544 /proc/meminfo: memFree=1243480/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915612 CPUtime=1.31 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 24347 0 1 0 119 12 0 0 23 0 8 0 270282628 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228903 24084 2164 14 0 215373 0 [pid=24536/tid=24538] ppid=24534 vsize=915612 CPUtime=0.09 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 7787 0 0 0 7 2 0 0 16 0 8 0 270282633 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915612 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915612 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915612 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915612 CPUtime=0.16 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 402 0 0 0 15 1 0 0 16 0 8 0 270282637 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915612 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915612 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915612 [startup+2.98878 s] /proc/loadavg: 1.97 2.01 1.95 3/107 24552 /proc/meminfo: memFree=1228760/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=2.93 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 26171 0 1 0 279 14 0 0 25 0 8 0 270282628 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228936 25904 2184 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=0.2 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 9533 0 0 0 18 2 0 0 16 0 8 0 270282633 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.18 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 414 0 0 0 17 1 0 0 16 0 8 0 270282637 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.27216 s] /proc/loadavg: 1.97 2.01 1.95 3/107 24554 /proc/meminfo: memFree=1228504/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=6.17 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 26184 0 1 0 603 14 0 0 25 0 8 0 270282628 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228936 25916 2185 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=0.2 /proc/24536/task/24538/stat : 24538 (java) R 24534 24536 23890 0 -1 64 9533 0 0 0 18 2 0 0 16 0 8 0 270282633 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.2 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 270282637 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 915744 [startup+12.7639 s] /proc/loadavg: 1.97 2.01 1.95 3/107 24578 /proc/meminfo: memFree=1226208/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=12.58 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 26778 0 1 0 1242 16 0 0 25 0 8 0 270282628 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/24536/statm: 228936 26508 2185 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=0.26 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 10123 0 0 0 23 3 0 0 16 0 8 0 270282633 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.2 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 427 0 0 0 19 1 0 0 16 0 8 0 270282637 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 915744 [startup+25.6314 s] /proc/loadavg: 1.98 2.01 1.95 2/94 24619 /proc/meminfo: memFree=1234944/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=25.31 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 26786 0 1 0 2508 23 0 0 25 0 8 0 270282628 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 228936 26514 2185 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=0.26 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 10123 0 0 0 23 3 0 0 16 0 8 0 270282633 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.21 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 433 0 0 0 20 1 0 0 15 0 8 0 270282637 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 26514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 915744 [startup+51.2451 s] /proc/loadavg: 1.99 2.01 1.95 3/106 24704 /proc/meminfo: memFree=1111720/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=50.77 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 29259 0 1 0 5038 39 0 0 25 0 8 0 270282628 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 228936 28985 2185 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=0.34 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 12585 0 0 0 31 3 0 0 16 0 8 0 270282633 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.23 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 442 0 0 0 22 1 0 0 15 0 8 0 270282637 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 28985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 915744 [startup+102.501 s] /proc/loadavg: 1.99 2.00 1.95 3/100 24727 /proc/meminfo: memFree=1049312/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=101.47 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 39634 0 1 0 10086 61 0 0 25 0 8 0 270282628 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 228936 39296 2504 14 0 215406 0 [pid=24536/tid=24538] ppid=24534 vsize=915744 CPUtime=1.17 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 22572 0 0 0 109 8 0 0 16 0 8 0 270282633 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=915744 CPUtime=0.28 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 476 0 0 0 27 1 0 0 16 0 8 0 270282637 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=915744 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937721856 39296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.47 Current children cumulated vsize (KiB) 915744 [startup+162.584 s] /proc/loadavg: 1.99 2.00 1.95 3/100 24727 /proc/meminfo: memFree=1049440/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=915744 CPUtime=160.92 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 39636 0 1 0 16022 70 0 0 25 0 8 0 270282628 937721856 39298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2005.12 Current children cumulated vsize (KiB) 916012 [startup+2085.1 s] /proc/loadavg: 2.02 2.01 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2064.62 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 206340 122 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074012458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2064.62 Current children cumulated vsize (KiB) 916012 [startup+2145.18 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2124.11 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 212288 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074313769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2124.11 Current children cumulated vsize (KiB) 916012 [startup+2205.26 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2183.61 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 218238 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074313728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2183.61 Current children cumulated vsize (KiB) 916012 [startup+2265.34 s] /proc/loadavg: 2.00 2.00 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2243.12 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 224189 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318725 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2243.12 Current children cumulated vsize (KiB) 916012 [startup+2325.42 s] /proc/loadavg: 2.07 2.02 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2302.61 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 230138 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2302.61 Current children cumulated vsize (KiB) 916012 [startup+2385.5 s] /proc/loadavg: 2.02 2.01 2.00 3/100 24729 /proc/meminfo: memFree=914016/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2362.12 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69077 0 1 0 236089 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 619 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2362.12 Current children cumulated vsize (KiB) 916012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2423.79 s] /proc/loadavg: 2.01 2.01 2.00 3/100 24729 /proc/meminfo: memFree=913952/2055920 swapFree=4191880/4192956 [pid=24536] ppid=24534 vsize=916012 CPUtime=2400.03 /proc/24536/stat : 24536 (java) R 24534 24536 23890 0 -1 0 69078 0 1 0 239880 123 0 0 25 0 8 0 270282628 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/24536/statm: 229003 68725 2551 14 0 215473 0 [pid=24536/tid=24538] ppid=24534 vsize=916012 CPUtime=1.5 /proc/24536/task/24538/stat : 24538 (java) S 24534 24536 23890 0 -1 64 51775 0 0 0 132 18 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24539] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24539/stat : 24539 (java) S 24534 24536 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24540] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24540/stat : 24540 (java) S 24534 24536 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282633 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24541] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24541/stat : 24541 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24542] ppid=24534 vsize=916012 CPUtime=0.4 /proc/24536/task/24542/stat : 24542 (java) S 24534 24536 23890 0 -1 64 620 0 0 0 38 2 0 0 16 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=24536/tid=24543] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24543/stat : 24543 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=24536/tid=24544] ppid=24534 vsize=916012 CPUtime=0 /proc/24536/task/24544/stat : 24544 (java) S 24534 24536 23890 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282637 937996288 68725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 916012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2423.87 CPU time (s): 2400.11 CPU user time (s): 2398.84 CPU system time (s): 1.27781 CPU usage (%): 99.02 Max. virtual memory (cumulated for all children) (KiB): 916044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.84 system time used= 1.2778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69102 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50825 involuntary context switches= 117770 runsolver used 3.45947 s user time and 7.1989 s system time The end
Begin job on node9 on Fri Jan 19 15:01:15 UTC 2007 IDJOB= 275243 IDBENCH= 3735 IDSOLVER= 68 FILE ID= node9/275243-1169218875 PBS_JOBID= 3588923 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-3.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275243-1169218875/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-275243-1169218875 -o ROOT/results/node9/solver-275243-1169218875 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275243-1169218875/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 4617dd65e04376af0f17b07f3d79e34a RANDOM SEED= 665604040 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1324464 kB Buffers: 56936 kB Cached: 532968 kB SwapCached: 268 kB Active: 245788 kB Inactive: 401372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1324464 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 7380 kB Writeback: 0 kB Mapped: 77024 kB Slab: 68632 kB Committed_AS: 7814204 kB PageTables: 2624 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66551 MiB End job on node9 on Fri Jan 19 15:41:39 UTC 2007