Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.08 | 2411.77 |
| Name | fapp/fapp36-40/fapp40/ fapp40-3000-3.xml |
| MD5SUM | cad764e8b50fa9fdddcbd25c7290a916 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 46522 |
| Best CPU time to get the best result obtained on this benchmark | 2400.17 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 3000 |
| Number of constraints | 53548 |
| Maximum constraint arity | 2 |
| Maximum domain size | 698 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 53548 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275622-1169224062/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.93 nbVariables=3000 nbDomainTypes=14 minDomainSize=50 maxDomainSize=698 0.93 => wckTime=0.613 cpuTime=0.44 mem=58M778 0.93 0.93 predicates being loaded... 0.93 0.93 constraints being loaded... 61.19 61.19 INFO : Stopping converting binary constraints (cpu=60.03, mem = 115M848) 64.41 nbConstraints=53548 nbConvertedConstraints=505 nbConvertConstraintsChecks=184428578 nbExtensionStructures=452 64.41 nbSharedExtensionStructures=53 nbConflictsStructures=452 nbSharedConflictsStructures=53 64.41 nbSharedBinaryRepresentations=511784 nbEvaluationManagers=12028 nbSharedEvaluationManagers=41015 maxDegree=104 64.41 maxArity=2 64.41 => wckTime=64.1 cpuTime=62.5 mem=126M156 64.84 64.84 solver LocalSearchSolver being built... 64.88 => wckTime=64.569 cpuTime=62.55 mem=124M823 65.76 65.76 s SATISFIABLE 65.76 o 39355 65.76 c 14193 66.30 o 39370 66.30 c 14178 66.58 o 39383 66.58 c 14165 66.82 o 39401 66.82 c 14147 67.19 o 39414 67.20 c 14134 67.58 o 39431 67.58 c 14117 67.89 o 39446 67.89 c 14102 68.15 o 39456 68.15 c 14092 68.34 o 39462 68.34 c 14086 68.53 o 39476 68.53 c 14072 68.76 o 39487 68.76 c 14061 68.93 o 39496 68.93 c 14052 69.03 o 39509 69.03 c 14039 69.24 o 39517 69.24 c 14031 69.45 o 39522 69.45 c 14026 69.60 o 39534 69.60 c 14014 69.78 o 39536 69.78 c 14012 69.99 o 39542 69.99 c 14006 70.17 o 39553 70.17 c 13995 70.53 o 39571 70.53 c 13977 70.63 o 39584 70.63 c 13964 70.91 o 39585 70.91 c 13963 71.12 o 39592 71.12 c 13956 71.50 o 39601 71.50 c 13947 71.69 o 39610 71.69 c 13938 71.99 o 39622 71.99 c 13926 72.17 o 39623 72.17 c 13925 72.33 o 39628 72.33 c 13920 72.44 o 39630 72.44 c 13918 72.61 o 39634 72.61 c 13914 72.77 o 39647 72.77 c 13901 73.03 o 39648 73.03 c 13900 73.32 o 39653 73.32 c 13895 73.51 o 39658 73.51 c 13890 73.62 o 39660 73.62 c 13888 73.87 o 39672 73.87 c 13876 74.12 o 39686 74.12 c 13862 74.40 o 39691 74.40 c 13857 74.61 o 39692 74.61 c 13856 74.83 o 39695 74.83 c 13853 75.19 o 39696 75.19 c 13852 75.33 o 39701 75.33 c 13847 75.49 o 39707 75.49 c 13841 75.67 o 39715 75.67 c 13833 75.91 o 39720 75.91 c 13828 76.07 o 39726 76.08 c 13822 76.29 o 39731 76.29 c 13817 76.46 o 39744 76.46 c 13804 76.66 o 39755 76.66 c 13793 76.87 o 39766 76.87 c 13782 77.07 o 39768 77.07 c 13780 77.28 o 39776 77.28 c 13772 77.51 o 39788 77.51 c 13760 77.63 o 39792 77.63 c 13756 77.82 o 39798 77.82 c 13750 77.95 o 39801 77.95 c 13747 78.14 o 39806 78.14 c 13742 78.26 o 39817 78.26 c 13731 78.43 o 39822 78.43 c 13726 78.55 o 39829 78.55 c 13719 78.74 o 39837 78.74 c 13711 79.43 o 39845 79.43 c 13703 79.60 o 39849 79.60 c 13699 79.75 o 39861 79.75 c 13687 79.96 o 39862 79.96 c 13686 80.19 o 39865 80.19 c 13683 80.31 o 39873 80.31 c 13675 80.49 o 39877 80.49 c 13671 80.71 o 39887 80.71 c 13661 80.95 o 39890 80.95 c 13658 81.12 o 39896 81.12 c 13652 81.33 o 39897 81.33 c 13651 81.55 o 39898 81.56 c 13650 81.79 o 39903 81.79 c 13645 82.05 o 39912 82.05 c 13636 82.53 o 39917 82.53 c 13631 83.13 o 39918 83.13 c 13630 83.44 o 39920 83.44 c 13628 83.74 o 39927 83.74 c 13621 84.25 o 39932 84.25 c 13616 84.52 o 39933 84.52 c 13615 84.75 o 39940 84.75 c 13608 85.02 o 39945 85.02 c 13603 85.28 o 39956 85.28 c 13592 85.53 o 39959 85.53 c 13589 85.72 o 39966 85.72 c 13582 86.02 o 39971 86.02 c 13577 86.23 o 39978 86.23 c 13570 86.42 o 39983 86.42 c 13565 86.67 o 39985 86.67 c 13563 86.86 o 39993 86.86 c 13555 87.15 o 39999 87.15 c 13549 87.53 o 40009 87.53 c 13539 88.08 o 40010 88.08 c 13538 88.37 o 40017 88.37 c 13531 88.69 o 40024 88.69 c 13524 88.97 o 40030 88.97 c 13518 89.26 o 40034 89.26 c 13514 89.59 o 40036 89.59 c 13512 90.38 o 40045 90.38 c 13503 90.63 o 40050 90.63 c 13498 90.88 o 40055 90.88 c 13493 91.21 o 40062 91.21 c 13486 91.54 o 40064 91.54 c 13484 91.91 o 40069 91.91 c 13479 92.18 o 40074 92.18 c 13474 92.45 o 40081 92.45 c 13467 92.68 o 40093 92.68 c 13455 92.97 o 40104 92.97 c 13444 93.17 o 40110 93.17 c 13438 93.40 o 40122 93.40 c 13426 93.68 o 40124 93.68 c 13424 93.97 o 40134 93.97 c 13414 94.71 o 40142 94.71 c 13406 94.96 o 40155 94.96 c 13393 95.20 o 40159 95.20 c 13389 95.42 o 40168 95.42 c 13380 95.63 o 40177 95.63 c 13371 96.15 o 40182 96.15 c 13366 96.36 o 40186 96.36 c 13362 96.68 o 40194 96.68 c 13354 98.28 o 40197 98.28 c 13351 98.52 o 40201 98.52 c 13347 98.85 o 40203 98.85 c 13345 99.47 o 40204 99.47 c 13344 100.20 o 40206 100.20 c 13342 100.64 o 40211 100.64 c 13337 100.98 o 40213 100.98 c 13335 101.36 o 40222 101.36 c 13326 101.77 o 40232 101.77 c 13316 102.13 o 40234 102.13 c 13314 102.63 o 40239 102.63 c 13309 103.48 o 40245 103.48 c 13303 103.86 o 40257 103.86 c 13291 104.26 o 40260 104.26 c 13288 104.56 o 40269 104.56 c 13279 104.92 o 40276 104.92 c 13272 105.19 o 40279 105.19 c 13269 105.83 o 40284 105.83 c 13264 106.09 o 40291 106.09 c 13257 106.44 o 40300 106.44 c 13248 107.29 o 40301 107.29 c 13247 107.72 o 40307 107.72 c 13241 108.23 o 40311 108.23 c 13237 108.95 o 40312 108.95 c 13236 109.40 o 40313 109.40 c 13235 110.49 o 40315 110.49 c 13233 110.79 o 40319 110.79 c 13229 111.23 o 40327 111.23 c 13221 111.57 o 40339 111.57 c 13209 111.88 o 40344 111.88 c 13204 112.21 o 40345 112.21 c 13203 112.48 o 40350 112.48 c 13198 112.77 o 40358 112.78 c 13190 113.08 o 40362 113.08 c 13186 113.38 o 40374 113.38 c 13174 113.68 o 40380 113.68 c 13168 113.95 o 40383 113.95 c 13165 114.21 o 40387 114.21 c 13161 114.51 o 40390 114.51 c 13158 115.20 o 40393 115.20 c 13155 115.59 o 40394 115.59 c 13154 116.56 o 40399 116.56 c 13149 116.92 o 40412 116.92 c 13136 117.58 o 40421 117.58 c 13127 117.92 o 40425 117.92 c 13123 118.19 o 40429 118.19 c 13119 118.57 o 40437 118.57 c 13111 119.26 o 40441 119.26 c 13107 120.69 o 40446 120.69 c 13102 121.04 o 40454 121.04 c 13094 121.39 o 40461 121.40 c 13087 121.79 o 40463 121.79 c 13085 122.56 o 40467 122.56 c 13081 122.85 o 40469 122.85 c 13079 123.20 o 40471 123.20 c 13077 123.58 o 40472 123.58 c 13076 123.92 o 40473 123.92 c 13075 124.33 o 40474 124.33 c 13074 124.67 o 40484 124.67 c 13064 125.02 o 40485 125.02 c 13063 125.40 o 40493 125.40 c 13055 125.74 o 40503 125.74 c 13045 126.13 o 40512 126.13 c 13036 126.44 o 40513 126.44 c 13035 126.78 o 40516 126.78 c 13032 127.07 o 40524 127.07 c 13024 127.54 o 40526 127.54 c 13022 127.97 o 40529 127.97 c 13019 128.42 o 40530 128.42 c 13018 128.86 o 40534 128.86 c 13014 129.26 o 40541 129.26 c 13007 129.73 o 40551 129.73 c 12997 130.19 o 40557 130.19 c 12991 130.60 o 40564 130.60 c 12984 130.92 o 40565 130.92 c 12983 131.27 o 40570 131.27 c 12978 131.65 o 40575 131.65 c 12973 131.96 o 40584 131.96 c 12964 132.31 o 40587 132.31 c 12961 132.67 o 40595 132.67 c 12953 132.96 o 40601 132.96 c 12947 133.33 o 40605 133.33 c 12943 133.65 o 40613 133.65 c 12935 133.95 o 40615 133.95 c 12933 134.32 o 40619 134.32 c 12929 134.67 o 40624 134.67 c 12924 135.06 o 40634 135.06 c 12914 135.46 o 40644 135.46 c 12904 135.88 o 40653 135.88 c 12895 136.28 o 40657 136.28 c 12891 136.64 o 40664 136.64 c 12884 137.02 o 40672 137.02 c 12876 137.41 o 40679 137.41 c 12869 137.78 o 40682 137.78 c 12866 138.20 o 40693 138.20 c 12855 138.54 o 40707 138.54 c 12841 138.89 o 40712 138.89 c 12836 139.31 o 40716 139.31 c 12832 139.61 o 40721 139.61 c 12827 140.03 o 40725 140.03 c 12823 140.40 o 40729 140.40 c 12819 140.84 o 40733 140.84 c 12815 141.24 o 40736 141.24 c 12812 141.63 o 40738 141.63 c 12810 141.98 o 40740 141.98 c 12808 142.31 o 40742 142.31 c 12806 142.63 o 40746 142.63 c 12802 142.93 o 40750 142.93 c 12798 143.34 o 40751 143.34 c 12797 143.65 o 40752 143.65 c 12796 144.40 o 40753 144.40 c 12795 144.81 o 40760 144.81 c 12788 145.30 o 40765 145.30 c 12783 145.70 o 40767 145.70 c 12781 146.07 o 40777 146.07 c 12771 146.46 o 40782 146.46 c 12766 146.79 o 40784 146.79 c 12764 147.22 o 40787 147.22 c 12761 147.58 o 40792 147.58 c 12756 148.42 o 40795 148.42 c 12753 148.90 o 40797 148.90 c 12751 149.30 o 40804 149.30 c 12744 149.66 o 40810 149.66 c 12738 150.47 o 40812 150.47 c 12736 150.87 o 40820 150.87 c 12728 151.21 o 40825 151.22 c 12723 151.59 o 40829 151.59 c 12719 152.02 o 40838 152.02 c 12710 152.38 o 40846 152.38 c 12702 152.74 o 40854 152.74 c 12694 153.17 o 40858 153.17 c 12690 153.64 o 40865 153.64 c 12683 154.14 o 40872 154.14 c 12676 154.74 o 40879 154.74 c 12669 155.20 o 40882 155.20 c 12666 155.68 o 40889 155.68 c 12659 156.13 o 40895 156.13 c 12653 156.61 o 40900 156.61 c 12648 157.10 o 40905 157.10 c 12643 157.60 o 40910 157.60 c 12638 158.21 o 40914 158.21 c 12634 158.70 o 40929 158.70 c 12619 159.19 o 40933 159.19 c 12615 159.67 o 40937 159.67 c 12611 160.11 o 40944 160.11 c 12604 160.57 o 40948 160.57 c 12600 160.97 o 40958 160.97 c 12590 161.38 o 40962 161.38 c 12586 161.87 o 40974 161.87 c 12574 162.34 o 40977 162.34 c 12571 162.74 o 40987 162.74 c 12561 163.17 o 40990 163.17 c 12558 163.58 o 40993 163.58 c 12555 164.05 o 40996 164.05 c 12552 164.46 o 40998 164.46 c 12550 164.92 o 41000 164.92 c 12548 165.31 o 41009 165.31 c 12539 165.71 o 41011 165.71 c 12537 166.06 o 41013 166.06 c 12535 166.42 o 41015 166.42 c 12533 166.83 o 41017 166.83 c 12531 167.21 o 41020 167.21 c 12528 167.58 o 41022 167.58 c 12526 167.99 o 41032 167.99 c 12516 168.37 o 41035 168.37 c 12513 168.74 o 41037 168.74 c 12511 169.10 o 41038 169.10 c 12510 169.48 o 41039 169.48 c 12509 169.85 o 41041 169.85 c 12507 170.56 o 41045 170.56 c 12503 170.97 o 41053 170.97 c 12495 171.38 o 41060 171.38 c 12488 173.07 o 41064 173.07 c 12484 173.45 o 41068 173.45 c 12480 173.86 o 41070 173.86 c 12478 174.35 o 41072 174.35 c 12476 174.87 o 41073 174.87 c 12475 177.31 o 41080 177.31 c 12468 177.76 o 41086 177.76 c 12462 178.25 o 41091 178.25 c 12457 178.73 o 41093 178.73 c 12455 179.32 o 41101 179.32 c 12447 179.82 o 41108 179.82 c 12440 180.33 o 41113 180.33 c 12435 180.90 o 41123 180.90 c 12425 181.43 o 41127 181.43 c 12421 181.93 o 41128 181.93 c 12420 182.47 o 41131 182.47 c 12417 183.04 o 41133 183.04 c 12415 183.54 o 41141 183.54 c 12407 184.01 o 41143 184.02 c 12405 184.49 o 41146 184.49 c 12402 185.53 o 41153 185.53 c 12395 186.07 o 41163 186.07 c 12385 186.59 o 41168 186.59 c 12380 187.12 o 41176 187.12 c 12372 187.66 o 41184 187.66 c 12364 188.27 o 41192 188.27 c 12356 188.81 o 41198 188.81 c 12350 189.41 o 41204 189.41 c 12344 190.00 o 41210 190.00 c 12338 190.56 o 41216 190.56 c 12332 191.13 o 41222 191.13 c 12326 191.78 o 41225 191.78 c 12323 192.32 o 41226 192.32 c 12322 192.88 o 41231 192.88 c 12317 193.43 o 41236 193.43 c 12312 194.04 o 41241 194.04 c 12307 194.58 o 41245 194.58 c 12303 195.16 o 41251 195.16 c 12297 195.75 o 41260 195.76 c 12288 196.17 o 41264 196.17 c 12284 196.62 o 41267 196.62 c 12281 197.09 o 41271 197.09 c 12277 197.60 o 41275 197.60 c 12273 198.05 o 41278 198.06 c 12270 198.53 o 41281 198.53 c 12267 199.02 o 41290 199.02 c 12258 199.50 o 41292 199.50 c 12256 199.93 o 41300 199.93 c 12248 200.42 o 41302 200.42 c 12246 200.92 o 41304 200.92 c 12244 201.33 o 41306 201.33 c 12242 201.76 o 41310 201.76 c 12238 202.15 o 41312 202.15 c 12236 202.59 o 41314 202.59 c 12234 203.03 o 41316 203.03 c 12232 203.49 o 41318 203.49 c 12230 203.97 o 41320 203.97 c 12228 204.39 o 41321 204.39 c 12227 204.84 o 41322 204.84 c 12226 205.25 o 41323 205.25 c 12225 205.64 o 41324 205.64 c 12224 206.54 o 41330 206.54 c 12218 206.96 o 41333 206.96 c 12215 207.36 o 41342 207.36 c 12206 207.75 o 41343 207.75 c 12205 208.19 o 41347 208.19 c 12201 208.62 o 41350 208.62 c 12198 209.04 o 41351 209.04 c 12197 209.59 o 41352 209.59 c 12196 210.05 o 41353 210.05 c 12195 210.93 o 41357 210.93 c 12191 211.39 o 41358 211.39 c 12190 211.89 o 41361 211.89 c 12187 212.96 o 41365 212.96 c 12183 213.50 o 41370 213.50 c 12178 214.11 o 41377 214.11 c 12171 214.56 o 41380 214.56 c 12168 215.03 o 41382 215.03 c 12166 215.56 o 41387 215.56 c 12161 216.15 o 41390 216.15 c 12158 216.72 o 41394 216.72 c 12154 217.19 o 41396 217.19 c 12152 217.64 o 41400 217.64 c 12148 218.07 o 41401 218.07 c 12147 218.54 o 41402 218.54 c 12146 219.02 o 41406 219.02 c 12142 219.50 o 41411 219.50 c 12137 219.99 o 41418 219.99 c 12130 222.77 o 41424 222.77 c 12124 223.28 o 41431 223.28 c 12117 223.76 o 41436 223.76 c 12112 224.36 o 41437 224.36 c 12111 225.02 o 41438 225.02 c 12110 225.61 o 41442 225.61 c 12106 226.21 o 41447 226.21 c 12101 226.83 o 41448 226.83 c 12100 227.41 o 41454 227.41 c 12094 228.09 o 41456 228.09 c 12092 228.77 o 41457 228.77 c 12091 229.33 o 41459 229.33 c 12089 230.08 o 41467 230.08 c 12081 230.77 o 41475 230.77 c 12073 231.48 o 41482 231.48 c 12066 232.20 o 41488 232.20 c 12060 233.70 o 41493 233.70 c 12055 234.45 o 41506 234.45 c 12042 235.84 o 41509 235.84 c 12039 236.53 o 41515 236.53 c 12033 237.25 o 41521 237.25 c 12027 237.92 o 41527 237.92 c 12021 238.60 o 41532 238.60 c 12016 239.30 o 41537 239.30 c 12011 239.99 o 41542 239.99 c 12006 240.70 o 41547 240.70 c 12001 241.35 o 41554 241.35 c 11994 242.01 o 41555 242.01 c 11993 242.72 o 41560 242.72 c 11988 243.40 o 41565 243.40 c 11983 244.05 o 41571 244.05 c 11977 244.72 o 41576 244.72 c 11972 245.38 o 41581 245.38 c 11967 246.10 o 41586 246.10 c 11962 246.80 o 41591 246.80 c 11957 247.56 o 41593 247.56 c 11955 248.26 o 41597 248.26 c 11951 248.96 o 41610 248.97 c 11938 249.64 o 41612 249.64 c 11936 250.90 o 41616 250.90 c 11932 251.48 o 41618 251.48 c 11930 252.06 o 41625 252.06 c 11923 252.74 o 41629 252.74 c 11919 253.32 o 41632 253.32 c 11916 253.94 o 41635 253.94 c 11913 254.53 o 41640 254.53 c 11908 255.17 o 41643 255.17 c 11905 255.84 o 41646 255.84 c 11902 256.50 o 41649 256.50 c 11899 257.10 o 41652 257.10 c 11896 257.71 o 41655 257.71 c 11893 258.29 o 41657 258.29 c 11891 258.92 o 41659 258.92 c 11889 259.50 o 41661 259.50 c 11887 260.14 o 41665 260.14 c 11883 260.75 o 41667 260.75 c 11881 261.34 o 41669 261.34 c 11879 261.91 o 41671 261.91 c 11877 262.49 o 41672 262.49 c 11876 263.58 o 41673 263.58 c 11875 264.17 o 41674 264.17 c 11874 264.75 o 41676 264.75 c 11872 265.31 o 41677 265.31 c 11871 265.86 o 41689 265.86 c 11859 266.50 o 41696 266.50 c 11852 267.60 o 41701 267.60 c 11847 268.06 o 41711 268.06 c 11837 268.55 o 41715 268.55 c 11833 269.07 o 41717 269.07 c 11831 269.63 o 41718 269.63 c 11830 270.22 o 41721 270.22 c 11827 270.74 o 41722 270.74 c 11826 271.25 o 41723 271.25 c 11825 272.36 o 41724 272.36 c 11824 272.92 o 41728 272.92 c 11820 273.95 o 41729 273.95 c 11819 274.56 o 41739 274.56 c 11809 275.10 o 41743 275.10 c 11805 275.57 o 41749 275.57 c 11799 276.13 o 41752 276.13 c 11796 278.90 o 41757 278.90 c 11791 279.47 o 41761 279.47 c 11787 280.64 o 41763 280.64 c 11785 281.20 o 41771 281.20 c 11777 282.40 o 41773 282.40 c 11775 283.07 o 41775 283.07 c 11773 283.61 o 41777 283.61 c 11771 284.21 o 41780 284.21 c 11768 284.75 o 41783 284.75 c 11765 285.33 o 41788 285.33 c 11760 285.81 o 41794 285.81 c 11754 286.35 o 41795 286.35 c 11753 286.92 o 41797 286.92 c 11751 287.99 o 41802 287.99 c 11746 288.47 o 41806 288.47 c 11742 289.03 o 41816 289.03 c 11732 289.59 o 41819 289.59 c 11729 290.07 o 41824 290.07 c 11724 290.63 o 41830 290.63 c 11718 291.18 o 41835 291.18 c 11713 291.73 o 41843 291.73 c 11705 292.82 o 41846 292.82 c 11702 293.33 o 41847 293.33 c 11701 293.86 o 41851 293.86 c 11697 294.38 o 41856 294.38 c 11692 294.98 o 41862 294.98 c 11686 295.49 o 41865 295.49 c 11683 296.50 o 41871 296.50 c 11677 296.99 o 41876 296.99 c 11672 298.06 o 41879 298.06 c 11669 298.59 o 41883 298.59 c 11665 299.14 o 41888 299.14 c 11660 299.70 o 41893 299.70 c 11655 300.26 o 41896 300.26 c 11652 300.76 o 41897 300.76 c 11651 301.27 o 41901 301.27 c 11647 301.78 o 41904 301.78 c 11644 302.41 o 41910 302.41 c 11638 302.96 o 41911 302.96 c 11637 303.51 o 41913 303.51 c 11635 304.06 o 41924 304.06 c 11624 304.65 o 41927 304.65 c 11621 305.18 o 41934 305.18 c 11614 305.69 o 41938 305.69 c 11610 307.22 o 41940 307.22 c 11608 307.71 o 41944 307.71 c 11604 308.16 o 41946 308.16 c 11602 308.65 o 41952 308.65 c 11596 310.04 o 41954 310.04 c 11594 310.49 o 41957 310.49 c 11591 310.90 o 41962 310.90 c 11586 311.41 o 41963 311.41 c 11585 311.84 o 41968 311.84 c 11580 312.30 o 41969 312.30 c 11579 313.31 o 41976 313.31 c 11572 313.88 o 41986 313.88 c 11562 314.40 o 41993 314.40 c 11555 314.93 o 41999 314.93 c 11549 315.54 o 42003 315.54 c 11545 316.11 o 42011 316.11 c 11537 317.19 o 42017 317.19 c 11531 317.73 o 42024 317.73 c 11524 318.31 o 42031 318.31 c 11517 318.89 o 42037 318.89 c 11511 319.42 o 42039 319.42 c 11509 319.95 o 42045 319.95 c 11503 320.48 o 42055 320.48 c 11493 321.00 o 42061 321.00 c 11487 321.55 o 42067 321.55 c 11481 322.09 o 42072 322.09 c 11476 322.60 o 42077 322.60 c 11471 323.13 o 42082 323.13 c 11466 325.13 o 42087 325.13 c 11461 325.68 o 42092 325.68 c 11456 326.20 o 42096 326.20 c 11452 326.72 o 42100 326.72 c 11448 327.30 o 42104 327.30 c 11444 327.83 o 42110 327.83 c 11438 328.34 o 42115 328.34 c 11433 328.81 o 42119 328.81 c 11429 329.32 o 42122 329.32 c 11426 329.80 o 42126 329.80 c 11422 330.28 o 42130 330.28 c 11418 330.83 o 42133 330.83 c 11415 331.34 o 42136 331.34 c 11412 331.88 o 42139 331.88 c 11409 332.36 o 42141 332.36 c 11407 332.88 o 42143 332.88 c 11405 333.39 o 42145 333.39 c 11403 334.02 o 42147 334.02 c 11401 334.56 o 42149 334.56 c 11399 335.06 o 42151 335.06 c 11397 335.59 o 42153 335.59 c 11395 336.11 o 42155 336.11 c 11393 336.60 o 42157 336.60 c 11391 337.14 o 42159 337.14 c 11389 337.67 o 42160 337.67 c 11388 338.23 o 42161 338.23 c 11387 338.75 o 42164 338.75 c 11384 339.28 o 42166 339.28 c 11382 339.81 o 42167 339.81 c 11381 340.30 o 42168 340.30 c 11380 340.77 o 42169 340.77 c 11379 341.28 o 42170 341.28 c 11378 341.77 o 42171 341.77 c 11377 342.23 o 42172 342.23 c 11376 342.79 o 42173 342.80 c 11375 343.33 o 42174 343.33 c 11374 343.82 o 42178 343.82 c 11370 344.36 o 42184 344.36 c 11364 348.79 o 42189 348.79 c 11359 349.32 o 42191 349.32 c 11357 349.85 o 42194 349.85 c 11354 350.30 o 42200 350.30 c 11348 350.80 o 42204 350.80 c 11344 351.26 o 42207 351.26 c 11341 351.76 o 42213 351.76 c 11335 352.84 o 42214 352.84 c 11334 353.31 o 42219 353.31 c 11329 353.80 o 42230 353.80 c 11318 354.34 o 42234 354.34 c 11314 354.88 o 42239 354.88 c 11309 355.37 o 42244 355.37 c 11304 355.92 o 42248 355.92 c 11300 357.56 o 42250 357.56 c 11298 360.47 o 42251 360.47 c 11297 361.11 o 42257 361.11 c 11291 362.30 o 42258 362.30 c 11290 363.40 o 42259 363.40 c 11289 364.02 o 42261 364.02 c 11287 364.62 o 42267 364.62 c 11281 365.26 o 42268 365.26 c 11280 365.86 o 42271 365.86 c 11277 366.49 o 42279 366.49 c 11269 369.13 o 42281 369.13 c 11267 369.72 o 42282 369.72 c 11266 370.87 o 42284 370.87 c 11264 371.45 o 42289 371.45 c 11259 373.18 o 42300 373.18 c 11248 374.29 o 42301 374.29 c 11247 374.85 o 42302 374.85 c 11246 375.45 o 42308 375.45 c 11240 376.10 o 42318 376.10 c 11230 376.71 o 42319 376.71 c 11229 377.33 o 42321 377.33 c 11227 377.93 o 42323 377.93 c 11225 378.56 o 42332 378.56 c 11216 379.20 o 42333 379.20 c 11215 379.87 o 42339 379.87 c 11209 380.56 o 42345 380.56 c 11203 381.24 o 42350 381.24 c 11198 381.93 o 42352 381.93 c 11196 382.63 o 42358 382.63 c 11190 383.29 o 42361 383.29 c 11187 384.56 o 42362 384.56 c 11186 385.78 o 42367 385.78 c 11181 386.90 o 42372 386.90 c 11176 387.54 o 42378 387.54 c 11170 388.14 o 42381 388.14 c 11167 388.71 o 42384 388.71 c 11164 389.29 o 42387 389.29 c 11161 390.43 o 42388 390.43 c 11160 390.99 o 42389 390.99 c 11159 392.19 o 42392 392.19 c 11156 392.83 o 42395 392.83 c 11153 393.46 o 42403 393.46 c 11145 394.06 o 42408 394.06 c 11140 394.66 o 42415 394.66 c 11133 395.31 o 42419 395.31 c 11129 395.96 o 42423 395.96 c 11125 397.83 o 42424 397.83 c 11124 399.66 o 42426 399.66 c 11122 400.23 o 42432 400.23 c 11116 400.83 o 42438 400.83 c 11110 401.45 o 42441 401.45 c 11107 402.71 o 42446 402.71 c 11102 403.29 o 42448 403.29 c 11100 403.86 o 42452 403.86 c 11096 404.40 o 42453 404.40 c 11095 404.92 o 42459 404.92 c 11089 405.49 o 42469 405.49 c 11079 406.00 o 42480 406.00 c 11068 406.62 o 42484 406.62 c 11064 407.15 o 42487 407.15 c 11061 407.74 o 42490 407.74 c 11058 408.37 o 42496 408.37 c 11052 409.02 o 42502 409.02 c 11046 409.66 o 42508 409.66 c 11040 410.34 o 42514 410.34 c 11034 410.90 o 42521 410.90 c 11027 412.18 o 42526 412.18 c 11022 413.38 o 42528 413.38 c 11020 414.00 o 42529 414.00 c 11019 414.62 o 42534 414.62 c 11014 415.25 o 42539 415.25 c 11009 415.88 o 42544 415.88 c 11004 416.52 o 42548 416.52 c 11000 417.18 o 42552 417.18 c 10996 417.82 o 42556 417.82 c 10992 418.48 o 42560 418.48 c 10988 419.14 o 42563 419.14 c 10985 419.76 o 42566 419.76 c 10982 420.42 o 42572 420.42 c 10976 421.10 o 42575 421.10 c 10973 421.73 o 42577 421.73 c 10971 423.08 o 42578 423.08 c 10970 423.76 o 42580 423.76 c 10968 424.39 o 42582 424.39 c 10966 424.99 o 42585 424.99 c 10963 425.62 o 42587 425.62 c 10961 426.25 o 42588 426.25 c 10960 427.54 o 42589 427.54 c 10959 428.15 o 42592 428.15 c 10956 428.78 o 42593 428.78 c 10955 429.46 o 42596 429.46 c 10952 430.70 o 42598 430.70 c 10950 432.00 o 42600 432.00 c 10948 433.35 o 42603 433.35 c 10945 434.07 o 42606 434.07 c 10942 434.81 o 42609 434.81 c 10939 435.58 o 42612 435.58 c 10936 436.32 o 42626 436.32 c 10922 437.02 o 42635 437.02 c 10913 439.71 o 42637 439.71 c 10911 440.95 o 42649 440.95 c 10899 441.50 o 42655 441.50 c 10893 442.10 o 42657 442.10 c 10891 442.75 o 42663 442.75 c 10885 443.35 o 42672 443.35 c 10876 443.93 o 42675 443.93 c 10873 444.52 o 42676 444.52 c 10872 445.76 o 42682 445.76 c 10866 446.41 o 42687 446.41 c 10861 447.04 o 42688 447.04 c 10860 447.63 o 42695 447.63 c 10853 448.29 o 42700 448.29 c 10848 449.62 o 42702 449.62 c 10846 450.25 o 42703 450.25 c 10845 451.56 o 42710 451.56 c 10838 452.88 o 42715 452.88 c 10833 454.29 o 42721 454.29 c 10827 454.96 o 42726 454.96 c 10822 455.64 o 42727 455.64 c 10821 456.34 o 42730 456.34 c 10818 457.03 o 42734 457.03 c 10814 457.76 o 42739 457.76 c 10809 458.47 o 42743 458.47 c 10805 459.18 o 42744 459.18 c 10804 459.92 o 42747 459.92 c 10801 460.64 o 42750 460.64 c 10798 461.46 o 42756 461.46 c 10792 462.96 o 42758 462.96 c 10790 463.65 o 42759 463.65 c 10789 464.32 o 42766 464.32 c 10782 465.05 o 42770 465.05 c 10778 465.76 o 42772 465.76 c 10776 467.29 o 42774 467.29 c 10774 468.69 o 42776 468.69 c 10772 469.37 o 42780 469.37 c 10768 470.05 o 42787 470.05 c 10761 470.74 o 42789 470.74 c 10759 472.82 o 42791 472.82 c 10757 473.52 o 42798 473.52 c 10750 474.22 o 42806 474.22 c 10742 474.92 o 42811 474.92 c 10737 476.31 o 42814 476.31 c 10734 477.00 o 42817 477.00 c 10731 477.65 o 42824 477.65 c 10724 478.32 o 42829 478.32 c 10719 479.01 o 42830 479.01 c 10718 479.72 o 42833 479.72 c 10715 480.41 o 42842 480.41 c 10706 481.11 o 42846 481.11 c 10702 482.42 o 42847 482.42 c 10701 483.09 o 42854 483.09 c 10694 483.75 o 42857 483.75 c 10691 486.95 o 42862 486.95 c 10686 487.57 o 42863 487.57 c 10685 488.17 o 42868 488.17 c 10680 488.78 o 42871 488.78 c 10677 489.45 o 42876 489.45 c 10672 491.23 o 42878 491.23 c 10670 492.51 o 42884 492.51 c 10664 493.80 o 42886 493.80 c 10662 494.42 o 42887 494.42 c 10661 495.02 o 42895 495.02 c 10653 495.67 o 42901 495.67 c 10647 496.27 o 42902 496.27 c 10646 496.90 o 42905 496.90 c 10643 497.52 o 42912 497.52 c 10636 498.17 o 42917 498.17 c 10631 498.82 o 42919 498.82 c 10629 500.03 o 42923 500.03 c 10625 500.68 o 42925 500.68 c 10623 501.33 o 42932 501.33 c 10616 503.31 o 42933 503.31 c 10615 504.01 o 42934 504.01 c 10614 504.65 o 42942 504.65 c 10606 505.35 o 42946 505.35 c 10602 506.04 o 42948 506.04 c 10600 508.00 o 42954 508.00 c 10594 508.73 o 42956 508.73 c 10592 509.38 o 42961 509.38 c 10587 510.04 o 42967 510.04 c 10581 512.08 o 42968 512.08 c 10580 512.77 o 42972 512.77 c 10576 513.47 o 42977 513.47 c 10571 514.79 o 42981 514.79 c 10567 515.50 o 42986 515.50 c 10562 516.29 o 42992 516.29 c 10556 516.99 o 42996 516.99 c 10552 518.39 o 43001 518.39 c 10547 521.03 o 43004 521.03 c 10544 521.66 o 43007 521.66 c 10541 522.27 o 43012 522.27 c 10536 522.91 o 43017 522.91 c 10531 523.54 o 43022 523.54 c 10526 524.25 o 43026 524.25 c 10522 524.84 o 43030 524.84 c 10518 525.46 o 43034 525.46 c 10514 526.05 o 43037 526.05 c 10511 526.65 o 43040 526.65 c 10508 527.30 o 43042 527.30 c 10506 527.93 o 43044 527.93 c 10504 529.17 o 43046 529.17 c 10502 529.80 o 43048 529.80 c 10500 530.41 o 43050 530.41 c 10498 531.02 o 43052 531.02 c 10496 531.62 o 43054 531.62 c 10494 532.23 o 43056 532.23 c 10492 532.86 o 43057 532.86 c 10491 533.49 o 43058 533.49 c 10490 534.11 o 43059 534.11 c 10489 534.78 o 43064 534.78 c 10484 535.45 o 43065 535.45 c 10483 536.14 o 43066 536.14 c 10482 536.76 o 43067 536.76 c 10481 537.39 o 43068 537.39 c 10480 538.04 o 43069 538.04 c 10479 538.65 o 43070 538.65 c 10478 539.27 o 43075 539.27 c 10473 540.53 o 43083 540.53 c 10465 541.19 o 43086 541.19 c 10462 548.68 o 43088 548.68 c 10460 549.26 o 43089 549.26 c 10459 549.87 o 43094 549.87 c 10454 550.49 o 43102 550.49 c 10446 551.08 o 43107 551.08 c 10441 551.67 o 43108 551.67 c 10440 552.26 o 43112 552.26 c 10436 552.84 o 43116 552.84 c 10432 553.39 o 43121 553.39 c 10427 553.94 o 43125 553.94 c 10423 554.49 o 43130 554.49 c 10418 555.08 o 43132 555.08 c 10416 556.71 o 43138 556.71 c 10410 557.75 o 43146 557.75 c 10402 558.29 o 43149 558.29 c 10399 559.44 o 43156 559.44 c 10392 560.09 o 43161 560.09 c 10387 560.65 o 43165 560.65 c 10383 561.27 o 43166 561.27 c 10382 561.82 o 43167 561.82 c 10381 562.40 o 43172 562.40 c 10376 563.54 o 43173 563.54 c 10375 564.12 o 43179 564.12 c 10369 564.77 o 43180 564.77 c 10368 566.56 o 43181 566.56 c 10367 567.15 o 43182 567.15 c 10366 567.76 o 43184 567.76 c 10364 568.33 o 43185 568.33 c 10363 569.02 o 43189 569.02 c 10359 569.65 o 43190 569.65 c 10358 570.22 o 43195 570.22 c 10353 570.79 o 43199 570.79 c 10349 571.34 o 43208 571.34 c 10340 573.09 o 43209 573.09 c 10339 573.72 o 43211 573.72 c 10337 574.28 o 43221 574.28 c 10327 574.92 o 43223 574.92 c 10325 575.48 o 43225 575.48 c 10323 576.07 o 43227 576.07 c 10321 576.69 o 43228 576.69 c 10320 577.37 o 43233 577.37 c 10315 578.01 o 43234 578.01 c 10314 578.71 o 43236 578.71 c 10312 579.36 o 43237 579.36 c 10311 580.07 o 43238 580.07 c 10310 580.82 o 43241 580.82 c 10307 583.00 o 43247 583.00 c 10301 583.78 o 43251 583.79 c 10297 584.55 o 43255 584.55 c 10293 585.30 o 43256 585.30 c 10292 586.09 o 43259 586.09 c 10289 586.79 o 43262 586.79 c 10286 587.55 o 43265 587.55 c 10283 589.10 o 43270 589.10 c 10278 589.88 o 43272 589.88 c 10276 590.68 o 43273 590.68 c 10275 591.46 o 43274 591.46 c 10274 592.27 o 43275 592.27 c 10273 595.41 o 43278 595.42 c 10270 596.18 o 43280 596.18 c 10268 597.00 o 43284 597.00 c 10264 597.89 o 43285 597.89 c 10263 599.54 o 43290 599.54 c 10258 601.98 o 43292 601.98 c 10256 603.48 o 43294 603.48 c 10254 604.23 o 43297 604.23 c 10251 604.95 o 43299 604.95 c 10249 606.39 o 43302 606.39 c 10246 607.15 o 43307 607.15 c 10241 607.86 o 43309 607.86 c 10239 608.59 o 43310 608.59 c 10238 612.03 o 43311 612.03 c 10237 612.68 o 43313 612.68 c 10235 613.42 o 43314 613.42 c 10234 614.12 o 43318 614.12 c 10230 614.81 o 43320 614.81 c 10228 616.26 o 43322 616.26 c 10226 617.02 o 43328 617.02 c 10220 617.77 o 43329 617.77 c 10219 623.82 o 43330 623.82 c 10218 624.57 o 43333 624.57 c 10215 625.34 o 43336 625.34 c 10212 626.08 o 43345 626.08 c 10203 626.85 o 43351 626.85 c 10197 627.72 o 43352 627.72 c 10196 628.46 o 43356 628.46 c 10192 629.24 o 43359 629.24 c 10189 632.99 o 43360 632.99 c 10188 633.69 o 43370 633.69 c 10178 634.49 o 43371 634.49 c 10177 635.27 o 43372 635.27 c 10176 636.05 o 43376 636.05 c 10172 636.82 o 43378 636.82 c 10170 637.64 o 43380 637.64 c 10168 638.45 o 43383 638.45 c 10165 639.21 o 43390 639.21 c 10158 640.75 o 43397 640.75 c 10151 641.49 o 43399 641.49 c 10149 644.58 o 43402 644.58 c 10146 645.36 o 43407 645.36 c 10141 646.14 o 43409 646.14 c 10139 646.90 o 43411 646.90 c 10137 647.67 o 43413 647.67 c 10135 648.46 o 43419 648.46 c 10129 649.29 o 43425 649.29 c 10123 652.42 o 43427 652.42 c 10121 653.16 o 43435 653.16 c 10113 653.93 o 43438 653.93 c 10110 654.73 o 43443 654.73 c 10105 655.58 o 43447 655.58 c 10101 657.19 o 43451 657.19 c 10097 658.01 o 43455 658.02 c 10093 658.84 o 43459 658.84 c 10089 659.61 o 43463 659.61 c 10085 660.49 o 43466 660.49 c 10082 661.32 o 43469 661.32 c 10079 662.15 o 43472 662.15 c 10076 662.96 o 43476 662.96 c 10072 663.74 o 43478 663.74 c 10070 664.52 o 43480 664.52 c 10068 665.29 o 43482 665.29 c 10066 666.08 o 43484 666.08 c 10064 666.90 o 43485 666.90 c 10063 667.67 o 43486 667.67 c 10062 668.46 o 43487 668.46 c 10061 669.28 o 43488 669.28 c 10060 674.17 o 43495 674.17 c 10053 674.94 o 43503 674.94 c 10045 676.62 o 43506 676.62 c 10042 677.31 o 43510 677.31 c 10038 678.07 o 43516 678.07 c 10032 678.88 o 43517 678.88 c 10031 681.27 o 43523 681.27 c 10025 682.15 o 43527 682.15 c 10021 683.02 o 43533 683.02 c 10015 683.87 o 43537 683.87 c 10011 684.77 o 43543 684.77 c 10005 685.59 o 43545 685.59 c 10003 687.23 o 43549 687.23 c 9999 688.02 o 43552 688.02 c 9996 688.83 o 43554 688.83 c 9994 689.62 o 43563 689.62 c 9985 690.45 o 43564 690.45 c 9984 691.33 o 43567 691.33 c 9981 692.14 o 43568 692.14 c 9980 693.02 o 43575 693.02 c 9973 693.83 o 43578 693.83 c 9970 695.57 o 43580 695.57 c 9968 696.44 o 43581 696.44 c 9967 697.22 o 43587 697.22 c 9961 699.61 o 43589 699.61 c 9959 700.40 o 43593 700.40 c 9955 701.26 o 43600 701.26 c 9948 702.94 o 43607 702.94 c 9941 703.78 o 43610 703.78 c 9938 706.36 o 43614 706.36 c 9934 707.21 o 43615 707.21 c 9933 708.11 o 43616 708.11 c 9932 709.10 o 43618 709.10 c 9930 710.03 o 43621 710.03 c 9927 710.93 o 43628 710.93 c 9920 711.83 o 43634 711.83 c 9914 712.72 o 43636 712.72 c 9912 714.46 o 43638 714.46 c 9910 715.36 o 43639 715.36 c 9909 717.91 o 43644 717.91 c 9904 718.84 o 43647 718.84 c 9901 719.70 o 43654 719.70 c 9894 720.51 o 43655 720.51 c 9893 721.39 o 43659 721.39 c 9889 722.30 o 43664 722.30 c 9884 727.24 o 43668 727.24 c 9880 728.07 o 43669 728.07 c 9879 728.96 o 43673 728.96 c 9875 729.83 o 43677 729.83 c 9871 730.70 o 43685 730.70 c 9863 734.78 o 43689 734.78 c 9859 735.57 o 43690 735.58 c 9858 736.51 o 43694 736.51 c 9854 737.38 o 43702 737.38 c 9846 738.21 o 43704 738.21 c 9844 739.04 o 43705 739.04 c 9843 739.89 o 43710 739.89 c 9838 740.70 o 43713 740.70 c 9835 741.55 o 43715 741.55 c 9833 742.41 o 43721 742.41 c 9827 743.30 o 43723 743.30 c 9825 744.13 o 43727 744.13 c 9821 744.96 o 43730 744.96 c 9818 745.80 o 43731 745.80 c 9817 746.66 o 43732 746.66 c 9816 747.49 o 43736 747.49 c 9812 749.23 o 43742 749.23 c 9806 750.86 o 43746 750.86 c 9802 751.72 o 43751 751.72 c 9797 752.55 o 43753 752.55 c 9795 754.82 o 43761 754.82 c 9787 755.68 o 43762 755.68 c 9786 756.60 o 43766 756.60 c 9782 757.38 o 43769 757.38 c 9779 758.25 o 43774 758.25 c 9774 760.71 o 43775 760.71 c 9773 761.51 o 43780 761.51 c 9768 764.95 o 43783 764.95 c 9765 766.22 o 43792 766.22 c 9756 768.00 o 43793 768.00 c 9755 771.45 o 43801 771.45 c 9747 772.31 o 43802 772.31 c 9746 773.18 o 43807 773.18 c 9741 774.09 o 43810 774.09 c 9738 775.81 o 43813 775.81 c 9735 776.71 o 43815 776.71 c 9733 777.62 o 43818 777.62 c 9730 778.50 o 43822 778.50 c 9726 781.20 o 43824 781.20 c 9724 782.13 o 43826 782.13 c 9722 783.09 o 43827 783.09 c 9721 784.05 o 43828 784.05 c 9720 786.89 o 43833 786.89 c 9715 787.87 o 43834 787.87 c 9714 788.83 o 43838 788.83 c 9710 791.50 o 43842 791.50 c 9706 794.19 o 43846 794.19 c 9702 795.02 o 43849 795.02 c 9699 796.85 o 43854 796.85 c 9694 799.59 o 43862 799.59 c 9686 800.48 o 43865 800.48 c 9683 801.38 o 43867 801.38 c 9681 802.30 o 43874 802.30 c 9674 803.17 o 43878 803.17 c 9670 804.11 o 43882 804.11 c 9666 805.02 o 43886 805.02 c 9662 806.83 o 43889 806.83 c 9659 808.71 o 43891 808.71 c 9657 809.61 o 43898 809.61 c 9650 811.36 o 43901 811.36 c 9647 812.26 o 43904 812.26 c 9644 813.14 o 43907 813.14 c 9641 814.02 o 43908 814.02 c 9640 814.89 o 43913 814.89 c 9635 815.79 o 43917 815.79 c 9631 816.70 o 43919 816.70 c 9629 817.57 o 43920 817.57 c 9628 818.50 o 43925 818.50 c 9623 819.43 o 43928 819.43 c 9620 820.32 o 43933 820.32 c 9615 821.21 o 43934 821.21 c 9614 822.14 o 43938 822.14 c 9610 823.00 o 43939 823.00 c 9609 823.88 o 43941 823.88 c 9607 824.79 o 43942 824.79 c 9606 825.73 o 43951 825.73 c 9597 826.71 o 43956 826.71 c 9592 829.56 o 43961 829.56 c 9587 830.46 o 43967 830.46 c 9581 832.35 o 43968 832.35 c 9580 835.28 o 43978 835.28 c 9570 836.23 o 43981 836.23 c 9567 837.18 o 43982 837.18 c 9566 838.09 o 43984 838.09 c 9564 839.10 o 43985 839.10 c 9563 840.91 o 43986 840.91 c 9562 841.87 o 43990 841.87 c 9558 844.72 o 43993 844.72 c 9555 845.64 o 43996 845.64 c 9552 846.61 o 44002 846.61 c 9546 847.57 o 44005 847.57 c 9543 848.48 o 44008 848.48 c 9540 849.42 o 44009 849.42 c 9539 850.38 o 44012 850.38 c 9536 852.11 o 44013 852.11 c 9535 853.08 o 44015 853.09 c 9533 854.07 o 44018 854.07 c 9530 855.03 o 44020 855.03 c 9528 856.03 o 44024 856.03 c 9524 857.08 o 44025 857.08 c 9523 858.07 o 44026 858.07 c 9522 859.06 o 44030 859.06 c 9518 860.05 o 44033 860.05 c 9515 861.12 o 44035 861.12 c 9513 862.06 o 44039 862.06 c 9509 863.02 o 44042 863.02 c 9506 864.71 o 44048 864.71 c 9500 865.68 o 44052 865.68 c 9496 870.50 o 44061 870.50 c 9487 872.38 o 44065 872.38 c 9483 873.30 o 44070 873.30 c 9478 874.24 o 44073 874.24 c 9475 875.26 o 44080 875.26 c 9468 876.19 o 44087 876.19 c 9461 877.21 o 44089 877.21 c 9459 878.22 o 44091 878.22 c 9457 879.23 o 44098 879.23 c 9450 885.96 o 44100 885.96 c 9448 886.99 o 44104 886.99 c 9444 888.02 o 44108 888.02 c 9440 889.05 o 44111 889.05 c 9437 890.00 o 44117 890.00 c 9431 890.98 o 44123 890.98 c 9425 891.94 o 44127 891.94 c 9421 892.88 o 44133 892.88 c 9415 894.67 o 44135 894.67 c 9413 895.63 o 44137 895.63 c 9411 896.59 o 44141 896.59 c 9407 897.50 o 44144 897.50 c 9404 898.44 o 44145 898.44 c 9403 899.38 o 44146 899.38 c 9402 900.32 o 44147 900.32 c 9401 901.25 o 44148 901.25 c 9400 902.20 o 44149 902.20 c 9399 903.20 o 44150 903.20 c 9398 904.15 o 44151 904.15 c 9397 905.10 o 44152 905.10 c 9396 906.06 o 44153 906.06 c 9395 907.02 o 44158 907.02 c 9390 909.00 o 44161 909.00 c 9387 909.94 o 44166 909.94 c 9382 910.86 o 44168 910.86 c 9380 912.73 o 44172 912.73 c 9376 913.62 o 44173 913.62 c 9375 914.59 o 44175 914.59 c 9373 915.53 o 44176 915.53 c 9372 916.56 o 44178 916.56 c 9370 917.53 o 44180 917.53 c 9368 918.59 o 44184 918.59 c 9364 920.51 o 44186 920.51 c 9362 921.45 o 44192 921.45 c 9356 923.34 o 44194 923.34 c 9354 924.29 o 44203 924.29 c 9345 925.32 o 44204 925.32 c 9344 926.29 o 44206 926.29 c 9342 927.24 o 44209 927.24 c 9339 929.11 o 44212 929.11 c 9336 930.03 o 44215 930.03 c 9333 931.00 o 44219 931.00 c 9329 931.97 o 44223 931.97 c 9325 932.93 o 44226 932.93 c 9322 933.90 o 44227 933.90 c 9321 934.87 o 44230 934.87 c 9318 935.81 o 44232 935.81 c 9316 936.82 o 44233 936.82 c 9315 937.79 o 44237 937.79 c 9311 938.83 o 44244 938.83 c 9304 939.87 o 44246 939.87 c 9302 940.82 o 44251 940.82 c 9297 941.74 o 44257 941.74 c 9291 942.70 o 44260 942.70 c 9288 943.54 o 44266 943.54 c 9282 945.41 o 44271 945.41 c 9277 946.34 o 44275 946.34 c 9273 947.26 o 44280 947.26 c 9268 949.19 o 44281 949.19 c 9267 950.10 o 44283 950.10 c 9265 951.04 o 44285 951.04 c 9263 951.98 o 44289 951.98 c 9259 952.88 o 44290 952.88 c 9258 953.86 o 44291 953.86 c 9257 955.75 o 44295 955.75 c 9253 956.76 o 44297 956.76 c 9251 957.70 o 44301 957.70 c 9247 958.63 o 44304 958.63 c 9244 959.59 o 44310 959.59 c 9238 960.57 o 44315 960.57 c 9233 961.57 o 44318 961.57 c 9230 962.62 o 44320 962.62 c 9228 963.61 o 44322 963.61 c 9226 965.55 o 44327 965.55 c 9221 966.51 o 44331 966.51 c 9217 967.49 o 44332 967.49 c 9216 968.50 o 44336 968.50 c 9212 969.56 o 44338 969.56 c 9210 970.54 o 44339 970.54 c 9209 971.57 o 44347 971.57 c 9201 972.66 o 44348 972.66 c 9200 973.72 o 44352 973.72 c 9196 974.74 o 44353 974.74 c 9195 975.79 o 44356 975.79 c 9192 976.86 o 44357 976.86 c 9191 978.98 o 44358 978.98 c 9190 980.02 o 44366 980.02 c 9182 981.03 o 44372 981.03 c 9176 982.05 o 44375 982.05 c 9173 983.12 o 44376 983.12 c 9172 984.15 o 44382 984.15 c 9166 985.23 o 44387 985.23 c 9161 987.31 o 44391 987.31 c 9157 988.35 o 44393 988.35 c 9155 990.53 o 44396 990.53 c 9152 991.64 o 44402 991.64 c 9146 992.71 o 44405 992.71 c 9143 993.84 o 44408 993.84 c 9140 994.99 o 44409 994.99 c 9139 996.75 o 44413 996.75 c 9135 1000.11 o 44418 1000.11 c 9130 1003.60 o 44424 1003.60 c 9124 1004.72 o 44426 1004.72 c 9122 1008.18 o 44435 1008.18 c 9113 1009.29 o 44436 1009.29 c 9112 1010.42 o 44439 1010.42 c 9109 1012.62 o 44444 1012.62 c 9104 1013.70 o 44446 1013.70 c 9102 1014.82 o 44447 1014.82 c 9101 1016.01 o 44449 1016.01 c 9099 1017.19 o 44451 1017.19 c 9097 1018.40 o 44457 1018.40 c 9091 1020.73 o 44459 1020.73 c 9089 1021.89 o 44460 1021.89 c 9088 1023.08 o 44462 1023.08 c 9086 1024.28 o 44463 1024.28 c 9085 1025.43 o 44470 1025.43 c 9078 1026.59 o 44472 1026.59 c 9076 1027.76 o 44477 1027.76 c 9071 1028.98 o 44479 1028.98 c 9069 1037.73 o 44484 1037.73 c 9064 1040.40 o 44490 1040.40 c 9058 1041.37 o 44496 1041.37 c 9052 1042.34 o 44499 1042.34 c 9049 1046.16 o 44502 1046.16 c 9046 1047.13 o 44504 1047.13 c 9044 1048.07 o 44509 1048.07 c 9039 1049.06 o 44510 1049.06 c 9038 1051.08 o 44512 1051.08 c 9036 1053.07 o 44515 1053.07 c 9033 1054.17 o 44519 1054.17 c 9029 1055.31 o 44522 1055.31 c 9026 1056.38 o 44525 1056.38 c 9023 1058.51 o 44530 1058.51 c 9018 1059.57 o 44532 1059.57 c 9016 1060.58 o 44538 1060.58 c 9010 1061.60 o 44542 1061.60 c 9006 1062.57 o 44544 1062.57 c 9004 1064.57 o 44552 1064.57 c 8996 1065.04 o 44561 1065.04 c 8987 1065.99 o 44562 1065.99 c 8986 1067.97 o 44564 1067.97 c 8984 1070.89 o 44568 1070.89 c 8980 1071.85 o 44569 1071.85 c 8979 1072.80 o 44572 1072.80 c 8976 1073.80 o 44573 1073.80 c 8975 1074.82 o 44579 1074.82 c 8969 1076.86 o 44581 1076.86 c 8967 1077.92 o 44584 1077.92 c 8964 1080.00 o 44585 1080.00 c 8963 1080.93 o 44594 1080.93 c 8954 1081.94 o 44596 1081.94 c 8952 1083.02 o 44600 1083.02 c 8948 1084.10 o 44603 1084.10 c 8945 1085.20 o 44604 1085.21 c 8944 1086.30 o 44607 1086.30 c 8941 1088.53 o 44608 1088.53 c 8940 1089.55 o 44611 1089.55 c 8937 1090.61 o 44614 1090.61 c 8934 1091.66 o 44619 1091.66 c 8929 1093.85 o 44624 1093.85 c 8924 1094.97 o 44628 1094.97 c 8920 1100.45 o 44629 1100.45 c 8919 1103.79 o 44630 1103.79 c 8918 1106.90 o 44633 1106.90 c 8915 1109.10 o 44639 1109.10 c 8909 1110.20 o 44644 1110.20 c 8904 1111.29 o 44647 1111.29 c 8901 1118.09 o 44650 1118.09 c 8898 1119.27 o 44653 1119.27 c 8895 1120.43 o 44654 1120.43 c 8894 1121.49 o 44664 1121.49 c 8884 1122.64 o 44670 1122.64 c 8878 1123.74 o 44672 1123.74 c 8876 1124.88 o 44674 1124.88 c 8874 1126.02 o 44681 1126.02 c 8867 1127.09 o 44682 1127.09 c 8866 1130.35 o 44684 1130.35 c 8864 1131.57 o 44685 1131.57 c 8863 1132.70 o 44687 1132.70 c 8861 1133.83 o 44690 1133.83 c 8858 1135.02 o 44693 1135.02 c 8855 1136.22 o 44695 1136.22 c 8853 1138.59 o 44696 1138.59 c 8852 1139.75 o 44701 1139.75 c 8847 1143.05 o 44704 1143.05 c 8844 1144.12 o 44706 1144.12 c 8842 1145.19 o 44707 1145.19 c 8841 1146.22 o 44713 1146.23 c 8835 1148.32 o 44718 1148.32 c 8830 1149.46 o 44719 1149.46 c 8829 1150.52 o 44720 1150.52 c 8828 1151.60 o 44725 1151.60 c 8823 1152.69 o 44726 1152.69 c 8822 1153.82 o 44728 1153.82 c 8820 1159.04 o 44729 1159.04 c 8819 1161.16 o 44734 1161.16 c 8814 1162.18 o 44737 1162.18 c 8811 1165.28 o 44738 1165.28 c 8810 1169.44 o 44740 1169.44 c 8808 1170.47 o 44742 1170.47 c 8806 1171.57 o 44745 1171.57 c 8803 1172.57 o 44746 1172.57 c 8802 1173.60 o 44748 1173.60 c 8800 1174.64 o 44752 1174.64 c 8796 1177.84 o 44753 1177.84 c 8795 1178.91 o 44758 1178.91 c 8790 1179.94 o 44764 1179.94 c 8784 1180.98 o 44767 1180.98 c 8781 1181.99 o 44772 1181.99 c 8776 1184.89 o 44778 1184.89 c 8770 1187.15 o 44783 1187.15 c 8765 1188.08 o 44789 1188.08 c 8759 1189.97 o 44790 1189.97 c 8758 1190.86 o 44795 1190.86 c 8753 1191.73 o 44798 1191.73 c 8750 1192.60 o 44800 1192.60 c 8748 1193.46 o 44806 1193.46 c 8742 1194.36 o 44810 1194.36 c 8738 1195.20 o 44813 1195.20 c 8735 1196.12 o 44816 1196.12 c 8732 1197.02 o 44817 1197.03 c 8731 1197.90 o 44822 1197.90 c 8726 1198.81 o 44826 1198.81 c 8722 1199.77 o 44830 1199.77 c 8718 1200.69 o 44833 1200.69 c 8715 1201.70 o 44835 1201.70 c 8713 1202.59 o 44837 1202.59 c 8711 1203.62 o 44838 1203.62 c 8710 1204.58 o 44839 1204.58 c 8709 1205.50 o 44840 1205.50 c 8708 1206.43 o 44843 1206.43 c 8705 1210.23 o 44848 1210.23 c 8700 1212.15 o 44851 1212.15 c 8697 1213.10 o 44856 1213.10 c 8692 1215.17 o 44858 1215.17 c 8690 1216.23 o 44864 1216.23 c 8684 1217.19 o 44865 1217.19 c 8683 1218.27 o 44871 1218.27 c 8677 1219.25 o 44872 1219.25 c 8676 1220.26 o 44873 1220.26 c 8675 1221.72 o 44882 1221.72 c 8666 1222.52 o 44891 1222.52 c 8657 1223.50 o 44893 1223.50 c 8655 1224.39 o 44898 1224.39 c 8650 1225.35 o 44899 1225.35 c 8649 1227.25 o 44901 1227.25 c 8647 1228.19 o 44903 1228.19 c 8645 1230.18 o 44906 1230.18 c 8642 1231.17 o 44911 1231.17 c 8637 1232.17 o 44918 1232.17 c 8630 1234.10 o 44921 1234.10 c 8627 1239.05 o 44930 1239.05 c 8618 1240.02 o 44934 1240.02 c 8614 1241.00 o 44938 1241.00 c 8610 1242.01 o 44943 1242.01 c 8605 1242.99 o 44946 1242.99 c 8602 1245.01 o 44950 1245.01 c 8598 1247.03 o 44954 1247.03 c 8594 1249.04 o 44956 1249.04 c 8592 1249.76 o 44961 1249.76 c 8587 1250.79 o 44966 1250.79 c 8582 1251.77 o 44968 1251.77 c 8580 1252.48 o 44971 1252.48 c 8577 1253.51 o 44974 1253.51 c 8574 1255.59 o 44976 1255.59 c 8572 1256.59 o 44979 1256.59 c 8569 1257.61 o 44982 1257.61 c 8566 1258.63 o 44984 1258.63 c 8564 1259.73 o 44986 1259.73 c 8562 1260.83 o 44991 1260.83 c 8557 1261.92 o 44993 1261.92 c 8555 1262.98 o 44996 1262.98 c 8552 1264.06 o 44998 1264.06 c 8550 1265.13 o 45000 1265.13 c 8548 1266.21 o 45002 1266.21 c 8546 1267.31 o 45003 1267.31 c 8545 1268.41 o 45004 1268.41 c 8544 1269.47 o 45008 1269.47 c 8540 1270.51 o 45011 1270.51 c 8537 1271.62 o 45012 1271.62 c 8536 1276.10 o 45014 1276.10 c 8534 1279.36 o 45015 1279.36 c 8533 1280.48 o 45016 1280.48 c 8532 1281.57 o 45017 1281.57 c 8531 1283.77 o 45021 1283.77 c 8527 1285.93 o 45022 1285.93 c 8526 1287.01 o 45025 1287.01 c 8523 1288.09 o 45029 1288.09 c 8519 1289.14 o 45032 1289.14 c 8516 1290.18 o 45037 1290.18 c 8511 1290.91 o 45043 1290.91 c 8505 1292.01 o 45046 1292.01 c 8502 1293.07 o 45047 1293.07 c 8501 1294.13 o 45048 1294.13 c 8500 1295.19 o 45054 1295.19 c 8494 1297.40 o 45057 1297.40 c 8491 1298.48 o 45060 1298.48 c 8488 1299.52 o 45063 1299.52 c 8485 1300.65 o 45068 1300.65 c 8480 1301.76 o 45069 1301.76 c 8479 1302.81 o 45070 1302.81 c 8478 1303.88 o 45072 1303.88 c 8476 1304.90 o 45074 1304.90 c 8474 1305.96 o 45079 1305.96 c 8469 1307.04 o 45082 1307.04 c 8466 1308.11 o 45084 1308.11 c 8464 1309.15 o 45085 1309.15 c 8463 1311.19 o 45090 1311.19 c 8458 1313.23 o 45091 1313.23 c 8457 1314.28 o 45094 1314.28 c 8454 1315.31 o 45097 1315.31 c 8451 1316.32 o 45100 1316.32 c 8448 1318.34 o 45101 1318.34 c 8447 1319.41 o 45102 1319.41 c 8446 1320.45 o 45105 1320.45 c 8443 1322.70 o 45106 1322.70 c 8442 1323.74 o 45107 1323.74 c 8441 1325.87 o 45108 1325.87 c 8440 1326.95 o 45113 1326.95 c 8435 1328.01 o 45119 1328.01 c 8429 1329.03 o 45121 1329.03 c 8427 1330.11 o 45126 1330.11 c 8422 1331.20 o 45127 1331.20 c 8421 1332.26 o 45132 1332.26 c 8416 1333.34 o 45135 1333.34 c 8413 1334.49 o 45140 1334.49 c 8408 1335.56 o 45142 1335.56 c 8406 1336.70 o 45148 1336.70 c 8400 1338.90 o 45153 1338.90 c 8395 1339.94 o 45156 1339.94 c 8392 1341.00 o 45157 1341.00 c 8391 1342.12 o 45159 1342.12 c 8389 1343.21 o 45161 1343.21 c 8387 1344.35 o 45165 1344.35 c 8383 1345.26 o 45172 1345.26 c 8376 1346.12 o 45176 1346.12 c 8372 1347.18 o 45180 1347.18 c 8368 1348.29 o 45182 1348.29 c 8366 1349.37 o 45185 1349.37 c 8363 1350.46 o 45192 1350.46 c 8356 1351.59 o 45195 1351.59 c 8353 1352.71 o 45198 1352.71 c 8350 1353.92 o 45209 1353.92 c 8339 1354.84 o 45210 1354.84 c 8338 1356.01 o 45213 1356.01 c 8335 1358.29 o 45215 1358.29 c 8333 1359.45 o 45219 1359.45 c 8329 1360.57 o 45222 1360.57 c 8326 1361.74 o 45224 1361.74 c 8324 1362.88 o 45228 1362.88 c 8320 1365.17 o 45233 1365.17 c 8315 1366.35 o 45236 1366.35 c 8312 1367.49 o 45237 1367.49 c 8311 1372.13 o 45240 1372.13 c 8308 1373.34 o 45245 1373.34 c 8303 1376.89 o 45246 1376.89 c 8302 1378.11 o 45247 1378.11 c 8301 1379.32 o 45251 1379.32 c 8297 1380.56 o 45255 1380.56 c 8293 1384.36 o 45258 1384.36 c 8290 1385.60 o 45261 1385.60 c 8287 1386.82 o 45264 1386.82 c 8284 1391.86 o 45267 1391.86 c 8281 1393.17 o 45270 1393.17 c 8278 1397.03 o 45273 1397.03 c 8275 1398.30 o 45274 1398.30 c 8274 1399.63 o 45277 1399.63 c 8271 1400.94 o 45281 1400.94 c 8267 1403.57 o 45284 1403.57 c 8264 1404.91 o 45285 1404.91 c 8263 1406.17 o 45291 1406.17 c 8257 1407.49 o 45292 1407.49 c 8256 1408.76 o 45297 1408.76 c 8251 1410.06 o 45298 1410.06 c 8250 1411.33 o 45299 1411.33 c 8249 1412.61 o 45301 1412.61 c 8247 1413.86 o 45302 1413.86 c 8246 1415.12 o 45306 1415.12 c 8242 1416.40 o 45312 1416.40 c 8236 1425.22 o 45316 1425.22 c 8232 1426.49 o 45321 1426.49 c 8227 1427.56 o 45327 1427.56 c 8221 1428.85 o 45331 1428.85 c 8217 1430.13 o 45333 1430.13 c 8215 1445.61 o 45334 1445.62 c 8214 1446.85 o 45336 1446.85 c 8212 1447.96 o 45342 1447.96 c 8206 1449.17 o 45347 1449.17 c 8201 1450.44 o 45350 1450.44 c 8198 1451.69 o 45353 1451.69 c 8195 1452.88 o 45356 1452.88 c 8192 1454.16 o 45360 1454.16 c 8188 1459.22 o 45362 1459.22 c 8186 1460.51 o 45363 1460.51 c 8185 1461.79 o 45364 1461.79 c 8184 1463.09 o 45365 1463.09 c 8183 1465.67 o 45370 1465.67 c 8178 1467.00 o 45374 1467.00 c 8174 1469.61 o 45378 1469.61 c 8170 1470.87 o 45380 1470.87 c 8168 1472.19 o 45383 1472.20 c 8165 1473.47 o 45387 1473.47 c 8161 1477.42 o 45388 1477.42 c 8160 1478.76 o 45390 1478.76 c 8158 1480.18 o 45397 1480.18 c 8151 1482.98 o 45402 1482.98 c 8146 1485.72 o 45405 1485.72 c 8143 1487.14 o 45409 1487.14 c 8139 1490.94 o 45415 1490.94 c 8133 1494.60 o 45421 1494.60 c 8127 1495.90 o 45427 1495.90 c 8121 1497.18 o 45430 1497.18 c 8118 1498.45 o 45431 1498.45 c 8117 1502.34 o 45434 1502.34 c 8114 1504.94 o 45435 1504.94 c 8113 1507.53 o 45436 1507.53 c 8112 1510.13 o 45439 1510.13 c 8109 1511.43 o 45446 1511.43 c 8102 1513.98 o 45448 1513.98 c 8100 1516.49 o 45449 1516.49 c 8099 1519.04 o 45453 1519.04 c 8095 1520.26 o 45454 1520.26 c 8094 1521.49 o 45456 1521.49 c 8092 1526.45 o 45460 1526.45 c 8088 1527.77 o 45465 1527.77 c 8083 1529.04 o 45469 1529.04 c 8079 1530.31 o 45471 1530.31 c 8077 1532.93 o 45476 1532.93 c 8072 1534.23 o 45480 1534.23 c 8068 1535.55 o 45484 1535.55 c 8064 1536.97 o 45486 1536.97 c 8062 1538.33 o 45489 1538.33 c 8059 1539.71 o 45494 1539.71 c 8054 1541.06 o 45497 1541.06 c 8051 1542.37 o 45499 1542.37 c 8049 1543.75 o 45504 1543.75 c 8044 1545.10 o 45507 1545.10 c 8041 1546.44 o 45508 1546.44 c 8040 1547.77 o 45511 1547.77 c 8037 1549.12 o 45514 1549.12 c 8034 1553.23 o 45515 1553.23 c 8033 1557.35 o 45516 1557.35 c 8032 1560.06 o 45523 1560.06 c 8025 1561.51 o 45527 1561.51 c 8021 1562.82 o 45529 1562.82 c 8019 1564.15 o 45530 1564.15 c 8018 1565.53 o 45532 1565.53 c 8016 1566.92 o 45534 1566.92 c 8014 1568.30 o 45535 1568.30 c 8013 1569.65 o 45539 1569.65 c 8009 1570.99 o 45543 1570.99 c 8005 1572.26 o 45548 1572.26 c 8000 1573.52 o 45550 1573.52 c 7998 1574.82 o 45552 1574.82 c 7996 1581.25 o 45556 1581.25 c 7992 1582.54 o 45558 1582.54 c 7990 1583.83 o 45560 1583.83 c 7988 1586.39 o 45563 1586.39 c 7985 1587.64 o 45568 1587.64 c 7980 1588.90 o 45569 1588.90 c 7979 1590.19 o 45570 1590.19 c 7978 1591.43 o 45572 1591.43 c 7976 1592.73 o 45573 1592.73 c 7975 1594.04 o 45577 1594.04 c 7971 1595.38 o 45582 1595.38 c 7966 1596.67 o 45585 1596.67 c 7963 1597.96 o 45588 1597.96 c 7960 1600.63 o 45595 1600.63 c 7953 1605.62 o 45602 1605.62 c 7946 1606.87 o 45605 1606.87 c 7943 1608.17 o 45606 1608.17 c 7942 1609.45 o 45609 1609.45 c 7939 1610.70 o 45611 1610.70 c 7937 1611.87 o 45615 1611.87 c 7933 1622.06 o 45619 1622.06 c 7929 1635.79 o 45620 1635.79 c 7928 1637.07 o 45623 1637.07 c 7925 1638.37 o 45625 1638.37 c 7923 1640.92 o 45629 1640.92 c 7919 1642.14 o 45632 1642.14 c 7916 1643.41 o 45636 1643.41 c 7912 1645.94 o 45639 1645.94 c 7909 1647.13 o 45643 1647.13 c 7905 1655.83 o 45645 1655.83 c 7903 1657.09 o 45646 1657.09 c 7902 1658.40 o 45654 1658.40 c 7894 1659.74 o 45659 1659.74 c 7889 1661.08 o 45665 1661.08 c 7883 1662.38 o 45668 1662.38 c 7880 1663.64 o 45672 1663.64 c 7876 1664.94 o 45676 1664.94 c 7872 1666.20 o 45678 1666.20 c 7870 1667.47 o 45681 1667.47 c 7867 1668.76 o 45686 1668.76 c 7862 1670.02 o 45689 1670.02 c 7859 1671.02 o 45692 1671.02 c 7856 1672.28 o 45697 1672.28 c 7851 1673.54 o 45698 1673.54 c 7850 1674.85 o 45701 1674.85 c 7847 1676.21 o 45706 1676.21 c 7842 1677.51 o 45710 1677.51 c 7838 1678.82 o 45712 1678.82 c 7836 1680.20 o 45716 1680.20 c 7832 1681.55 o 45720 1681.55 c 7828 1682.83 o 45722 1682.83 c 7826 1684.12 o 45730 1684.12 c 7818 1685.44 o 45731 1685.44 c 7817 1686.79 o 45733 1686.79 c 7815 1688.18 o 45734 1688.18 c 7814 1689.49 o 45738 1689.49 c 7810 1690.76 o 45743 1690.76 c 7805 1692.19 o 45750 1692.19 c 7798 1693.05 o 45753 1693.05 c 7795 1694.41 o 45755 1694.41 c 7793 1697.23 o 45758 1697.23 c 7790 1699.99 o 45763 1699.99 c 7785 1701.33 o 45764 1701.33 c 7784 1702.74 o 45766 1702.74 c 7782 1704.10 o 45767 1704.10 c 7781 1706.89 o 45768 1706.89 c 7780 1708.23 o 45772 1708.23 c 7776 1709.54 o 45776 1709.54 c 7772 1710.86 o 45778 1710.86 c 7770 1712.21 o 45782 1712.21 c 7766 1713.66 o 45786 1713.66 c 7762 1719.50 o 45787 1719.50 c 7761 1742.47 o 45788 1742.47 c 7760 1743.90 o 45792 1743.90 c 7756 1752.45 o 45797 1752.45 c 7751 1755.43 o 45798 1755.43 c 7750 1758.12 o 45800 1758.12 c 7748 1759.52 o 45802 1759.52 c 7746 1760.93 o 45806 1760.93 c 7742 1762.36 o 45807 1762.36 c 7741 1763.77 o 45809 1763.77 c 7739 1765.10 o 45813 1765.10 c 7735 1766.54 o 45817 1766.54 c 7731 1767.94 o 45822 1767.94 c 7726 1769.37 o 45824 1769.37 c 7724 1770.83 o 45831 1770.83 c 7717 1772.22 o 45834 1772.22 c 7714 1773.69 o 45836 1773.69 c 7712 1775.09 o 45839 1775.09 c 7709 1776.60 o 45842 1776.60 c 7706 1778.06 o 45844 1778.06 c 7704 1779.47 o 45847 1779.47 c 7701 1782.36 o 45850 1782.36 c 7698 1783.86 o 45854 1783.87 c 7694 1785.09 o 45858 1785.09 c 7690 1786.49 o 45861 1786.49 c 7687 1787.90 o 45868 1787.90 c 7680 1790.58 o 45873 1790.58 c 7675 1791.98 o 45876 1791.98 c 7672 1793.07 o 45880 1793.07 c 7668 1795.86 o 45881 1795.86 c 7667 1797.27 o 45882 1797.27 c 7666 1798.68 o 45884 1798.68 c 7664 1800.04 o 45885 1800.04 c 7663 1801.40 o 45889 1801.40 c 7659 1802.79 o 45890 1802.79 c 7658 1804.21 o 45897 1804.21 c 7651 1806.98 o 45902 1806.98 c 7646 1808.34 o 45903 1808.34 c 7645 1809.77 o 45905 1809.77 c 7643 1811.14 o 45909 1811.14 c 7639 1812.59 o 45911 1812.59 c 7637 1814.00 o 45912 1814.00 c 7636 1815.43 o 45914 1815.43 c 7634 1816.83 o 45916 1816.83 c 7632 1818.30 o 45921 1818.30 c 7627 1819.68 o 45923 1819.68 c 7625 1821.12 o 45924 1821.12 c 7624 1822.52 o 45927 1822.52 c 7621 1823.91 o 45928 1823.91 c 7620 1837.72 o 45930 1837.72 c 7618 1839.14 o 45931 1839.14 c 7617 1840.56 o 45932 1840.57 c 7616 1841.96 o 45933 1841.96 c 7615 1843.42 o 45940 1843.42 c 7608 1844.87 o 45942 1844.87 c 7606 1846.26 o 45948 1846.26 c 7600 1847.70 o 45949 1847.70 c 7599 1849.13 o 45950 1849.13 c 7598 1850.53 o 45953 1850.53 c 7595 1856.20 o 45956 1856.20 c 7592 1857.62 o 45959 1857.62 c 7589 1858.97 o 45964 1858.97 c 7584 1861.74 o 45967 1861.74 c 7581 1865.99 o 45970 1865.99 c 7578 1867.39 o 45972 1867.39 c 7576 1870.26 o 45975 1870.26 c 7573 1871.69 o 45977 1871.69 c 7571 1873.08 o 45979 1873.08 c 7569 1874.51 o 45980 1874.51 c 7568 1875.89 o 45983 1875.89 c 7565 1878.81 o 45984 1878.81 c 7564 1880.25 o 45987 1880.25 c 7561 1881.62 o 45990 1881.62 c 7558 1885.96 o 45993 1885.96 c 7555 1887.39 o 45994 1887.39 c 7554 1888.76 o 45999 1888.76 c 7549 1890.21 o 46000 1890.21 c 7548 1891.62 o 46001 1891.62 c 7547 1893.00 o 46005 1893.00 c 7543 1894.45 o 46008 1894.45 c 7540 1897.35 o 46010 1897.35 c 7538 1900.39 o 46011 1900.39 c 7537 1901.84 o 46015 1901.84 c 7533 1904.88 o 46016 1904.88 c 7532 1906.34 o 46018 1906.34 c 7530 1907.84 o 46019 1907.84 c 7529 1909.29 o 46022 1909.29 c 7526 1910.74 o 46024 1910.74 c 7524 1912.21 o 46028 1912.21 c 7520 1913.65 o 46029 1913.65 c 7519 1915.09 o 46031 1915.09 c 7517 1916.56 o 46034 1916.56 c 7514 1918.09 o 46036 1918.09 c 7512 1919.58 o 46039 1919.58 c 7509 1925.63 o 46043 1925.63 c 7505 1928.70 o 46047 1928.70 c 7501 1930.24 o 46049 1930.24 c 7499 1931.77 o 46051 1931.77 c 7497 1933.30 o 46052 1933.30 c 7496 1934.88 o 46053 1934.88 c 7495 1936.35 o 46062 1936.35 c 7486 1937.90 o 46065 1937.91 c 7483 1939.43 o 46068 1939.43 c 7480 1945.55 o 46073 1945.55 c 7475 1947.06 o 46077 1947.06 c 7471 1950.10 o 46079 1950.10 c 7469 1951.60 o 46081 1951.60 c 7467 1953.07 o 46082 1953.07 c 7466 1956.15 o 46088 1956.15 c 7460 1957.61 o 46090 1957.61 c 7458 1962.15 o 46093 1962.15 c 7455 1963.66 o 46097 1963.66 c 7451 1971.26 o 46098 1971.26 c 7450 1972.71 o 46100 1972.71 c 7448 1977.12 o 46106 1977.12 c 7442 1978.57 o 46109 1978.57 c 7439 1980.02 o 46112 1980.02 c 7436 1981.44 o 46116 1981.44 c 7432 1985.70 o 46123 1985.70 c 7425 1988.54 o 46124 1988.54 c 7424 1989.97 o 46125 1989.97 c 7423 1998.13 o 46128 1998.13 c 7420 1999.62 o 46130 1999.62 c 7418 2002.36 o 46131 2002.36 c 7417 2003.73 o 46132 2003.73 c 7416 2005.21 o 46135 2005.21 c 7413 2006.59 o 46139 2006.59 c 7409 2007.97 o 46143 2007.97 c 7405 2009.38 o 46146 2009.38 c 7402 2010.90 o 46149 2010.90 c 7399 2012.37 o 46150 2012.37 c 7398 2013.85 o 46153 2013.85 c 7395 2018.22 o 46158 2018.22 c 7390 2019.67 o 46160 2019.67 c 7388 2020.82 o 46162 2020.82 c 7386 2023.80 o 46163 2023.81 c 7385 2026.73 o 46166 2026.73 c 7382 2028.21 o 46167 2028.21 c 7381 2032.64 o 46171 2032.64 c 7377 2036.64 o 46184 2036.64 c 7364 2038.13 o 46189 2038.13 c 7359 2039.57 o 46193 2039.57 c 7355 2042.57 o 46195 2042.57 c 7353 2047.03 o 46204 2047.03 c 7344 2054.42 o 46205 2054.42 c 7343 2060.35 o 46208 2060.35 c 7340 2061.87 o 46211 2061.87 c 7337 2064.88 o 46213 2064.88 c 7335 2066.22 o 46217 2066.22 c 7331 2069.28 o 46223 2069.28 c 7325 2070.73 o 46225 2070.73 c 7323 2072.26 o 46227 2072.26 c 7321 2073.82 o 46229 2073.82 c 7319 2078.40 o 46232 2078.40 c 7316 2086.27 o 46236 2086.27 c 7312 2087.84 o 46239 2087.84 c 7309 2089.41 o 46240 2089.41 c 7308 2091.04 o 46243 2091.04 c 7305 2091.78 o 46245 2091.78 c 7303 2093.37 o 46249 2093.37 c 7299 2099.84 o 46251 2099.84 c 7297 2101.45 o 46254 2101.45 c 7294 2103.04 o 46260 2103.04 c 7288 2104.67 o 46265 2104.67 c 7283 2106.20 o 46266 2106.20 c 7282 2115.54 o 46267 2115.54 c 7281 2117.14 o 46269 2117.14 c 7279 2118.76 o 46271 2118.76 c 7277 2120.32 o 46272 2120.32 c 7276 2125.01 o 46275 2125.01 c 7273 2126.47 o 46279 2126.47 c 7269 2129.59 o 46286 2129.59 c 7262 2131.20 o 46290 2131.20 c 7258 2132.75 o 46293 2132.75 c 7255 2134.33 o 46294 2134.33 c 7254 2137.58 o 46297 2137.58 c 7251 2139.26 o 46298 2139.26 c 7250 2143.98 o 46301 2143.98 c 7247 2147.24 o 46302 2147.24 c 7246 2156.67 o 46304 2156.67 c 7244 2158.30 o 46309 2158.30 c 7239 2159.88 o 46310 2159.88 c 7238 2161.46 o 46314 2161.46 c 7234 2163.05 o 46318 2163.05 c 7230 2164.65 o 46323 2164.65 c 7225 2169.48 o 46325 2169.48 c 7223 2171.13 o 46327 2171.13 c 7221 2172.75 o 46329 2172.75 c 7219 2174.36 o 46334 2174.36 c 7214 2176.00 o 46335 2176.00 c 7213 2177.71 o 46336 2177.71 c 7212 2179.36 o 46339 2179.36 c 7209 2181.03 o 46342 2181.03 c 7206 2182.69 o 46345 2182.69 c 7203 2184.31 o 46350 2184.31 c 7198 2185.99 o 46354 2185.99 c 7194 2187.65 o 46356 2187.65 c 7192 2189.32 o 46361 2189.32 c 7187 2190.95 o 46363 2190.95 c 7185 2192.66 o 46367 2192.66 c 7181 2194.39 o 46371 2194.39 c 7177 2199.69 o 46376 2199.69 c 7172 2201.36 o 46382 2201.36 c 7166 2203.08 o 46384 2203.08 c 7164 2204.81 o 46385 2204.81 c 7163 2206.52 o 46386 2206.52 c 7162 2208.24 o 46389 2208.24 c 7159 2210.01 o 46395 2210.01 c 7153 2211.73 o 46397 2211.73 c 7151 2215.22 o 46399 2215.22 c 7149 2216.90 o 46401 2216.90 c 7147 2218.68 o 46402 2218.68 c 7146 2227.46 o 46404 2227.46 c 7144 2239.13 o 46406 2239.13 c 7142 2240.83 o 46408 2240.83 c 7140 2256.17 o 46410 2256.17 c 7138 2259.12 o 46412 2259.12 c 7136 2273.11 o 46413 2273.11 c 7135 2282.29 o 46414 2282.29 c 7134 2284.12 o 46416 2284.12 c 7132 2287.78 o 46417 2287.78 c 7131 2293.41 o 46422 2293.41 c 7126 2302.36 o 46425 2302.36 c 7123 2304.13 o 46431 2304.13 c 7117 2305.99 o 46433 2305.99 c 7115 2313.38 o 46435 2313.38 c 7113 2315.14 o 46437 2315.14 c 7111 2317.08 o 46439 2317.08 c 7109 2320.65 o 46446 2320.65 c 7102 2324.13 o 46447 2324.14 c 7101 2327.67 o 46452 2327.67 c 7096 2329.40 o 46456 2329.40 c 7092 2331.13 o 46459 2331.13 c 7089 2332.65 o 46463 2332.65 c 7085 2334.47 o 46467 2334.47 c 7081 2342.97 o 46470 2342.97 c 7078 2344.61 o 46471 2344.61 c 7077 2346.28 o 46472 2346.28 c 7076 2347.93 o 46474 2347.93 c 7074 2349.56 o 46478 2349.56 c 7070 2351.14 o 46481 2351.14 c 7067 2352.77 o 46483 2352.77 c 7065 2354.37 o 46484 2354.37 c 7064 2357.71 o 46487 2357.71 c 7061 2359.31 o 46492 2359.31 c 7056 2360.92 o 46495 2360.92 c 7053 2362.58 o 46499 2362.58 c 7049 2364.17 o 46503 2364.17 c 7045 2375.82 o 46504 2375.82 c 7044 2378.59 o 46506 2378.59 c 7042 2380.24 o 46508 2380.24 c 7040 2381.95 o 46509 2381.95 c 7039 2408.71 o 46513 2408.71 c 7035 2410.34 o 46517 2410.34 c 7031 2411.70 v 3430 -3166 -3150 3686 4494 4502 4014 4542 -3218 -3622 3958 -4518 -3594 3790 4534 -3838 -4458 4174 -3878 -3150 -3190 3618 -3254 -4170 3190 -3198 4518 -3686 3818 -3614 3238 4242 -3946 -3586 -3414 -4218 -3322 -3918 -4222 -3218 -4210 -4318 -3666 -4254 4254 4342 4426 3150 4322 3518 -3666 -4322 4390 4478 -4530 -4502 3242 3210 -4502 3922 3662 4338 -4502 4078 -3482 -4514 -3658 -4530 4442 4230 3190 -4322 4498 3510 -4374 -4254 3154 4142 4470 -4402 4294 4206 -3322 -4166 4022 3770 4430 3478 4478 3250 -4502 -4014 4478 3658 -3218 3286 4394 4142 -3554 -4498 4226 3150 3150 3190 4370 -3890 -3162 3162 -4062 -3194 3218 -3966 -4094 4202 -3878 3290 -3558 4186 -4398 3150 -3266 3822 3666 4422 -4158 -3262 3966 -4270 -3742 -4374 -4262 -3350 3382 -3382 -4214 -4538 4162 3882 3502 3666 3326 -3590 4106 3394 4526 3854 -3194 4306 3230 -3174 3770 3178 -3198 3498 -3606 3778 -3990 -3342 -3290 -4514 3278 -4282 -4518 3422 -3442 4194 3718 -4166 -3214 -3242 -3162 -3634 -3386 4410 -3378 -3178 -3618 4142 -4326 -3482 4422 3286 4254 -4294 3570 -3182 3318 -3718 -3574 4470 -3750 3190 -3482 -3594 4386 -4170 -3174 3490 3994 -4094 -4530 -3742 4346 -3542 -3990 -3190 -3198 3358 -4518 -4378 -3662 3226 4438 -3842 -3762 3178 -3214 3282 3266 -3230 3206 -3446 4386 -3582 -3726 4226 4306 -4542 -3990 4538 3794 4510 4178 4486 4470 3330 4422 3354 -3202 4454 3522 -4058 -3522 -3514 -4538 3158 -4158 4034 -3810 3234 -3310 -3306 -3562 3742 -4470 3702 4254 -4222 -4370 3242 4318 -3718 3722 3958 3350 -3194 3382 3166 -4414 -3606 -4438 -3226 4526 3358 -3350 -3422 3210 -3150 -3838 3482 4522 4430 3986 4366 3502 4418 -4174 -4458 3354 -4090 4446 4110 -4542 -3830 4498 4258 -3254 -4390 -3790 4474 -3598 4446 -3946 -3346 -4058 -4022 -3846 -3630 3750 -3582 4130 4498 4486 4466 4190 -3154 -3590 4266 3154 -3418 4098 -3474 4422 4502 -4250 -3150 -4082 3238 3150 -4530 -3190 4090 4270 3382 3726 4414 3282 -4470 -4410 -3266 -4542 3198 -4494 -3406 -4018 -3714 -4358 -4126 -3930 -4074 -3766 -4482 -4314 4166 -4306 4322 -4034 -4378 -4502 3326 3630 -4478 3242 -3314 3302 4514 -3158 -3278 -3970 3150 3902 4358 4438 4538 4414 4170 4338 -4510 -3894 3210 -3174 4286 3178 -3206 -3190 -3250 -4498 4082 4394 3170 4150 -3790 -4478 -4454 3214 4294 -3182 -4458 3810 -3302 -3178 -3582 -4538 4098 3726 4406 -4542 3478 -4294 4342 -4114 3314 3370 3398 3918 -4350 3454 3982 -3210 4378 -3814 -3986 4106 4062 -4542 3686 -4394 -4366 4246 -3214 3594 4106 -3722 4350 -4410 3614 3158 3190 4342 3298 4230 4498 4022 4226 -3922 3330 -3150 4206 3310 4274 -3814 3910 -3310 4542 3762 3370 -4242 3838 3726 -4198 -3270 -4118 -4498 3654 3994 -4482 4058 3150 -3178 3190 4458 -4350 3310 3226 -4354 -3306 -3254 4406 -3378 -3498 4498 4506 3734 3154 -4478 -3150 -4322 3430 3162 4538 3382 -3650 -4102 3526 3474 -4402 -3150 4418 -4326 3410 3830 -3222 -3218 3646 -4418 4134 3454 3650 -3458 -4526 3442 3150 -4046 -4098 3402 -4542 -4170 -3150 -4374 -4422 -4094 -4510 -4466 4446 3634 -3750 -3194 -3706 4390 4090 -4514 -3214 3190 4230 3582 -4046 3250 -4442 4474 3398 -3190 -3190 3210 4146 3166 -4542 4490 -3438 -3190 3302 -3762 -4366 4210 3986 3878 -4510 3662 -3694 -3954 3598 -3214 4542 -3882 4214 3294 -3906 -3818 4430 -3418 -3166 3670 3638 4446 3254 3230 3598 3670 3474 -4382 3658 -4282 3202 3922 3486 -3950 4486 4510 3782 -3818 4478 3634 -3510 -4490 3190 -3158 3994 3210 -4458 4510 4506 -3782 3874 4002 3546 -3354 -4494 -4458 3750 3870 4186 -3214 3514 -3154 -3166 -3426 -4174 4062 -3994 4498 3778 3354 4318 4534 3958 -3746 3298 4494 -3338 3266 4530 -4454 3418 3258 3694 -3766 -3206 -3182 -3314 3914 4054 3558 -4250 -4250 -4314 -4050 3186 -3590 4410 4314 -3842 4542 3666 3930 3542 -3202 3742 -3246 -3158 -3626 3606 -4326 4378 -3882 3266 -3190 -3202 -3170 -4410 4526 -4498 -3302 -3214 4542 -4146 3710 3718 3646 3766 -3546 -4346 3702 -4530 4502 3150 3678 -4250 -4534 -4186 4542 3346 4030 -3782 -3198 -4530 3222 3822 3578 3858 3302 -4298 4326 -3726 -3214 3154 3602 -3258 3686 3218 -4514 4170 -4510 3518 3246 4054 4330 4354 3942 3350 -3222 -3150 -3190 3742 3654 -3254 -4430 3274 -3970 -3742 4370 -3522 4210 3638 4538 -3370 -4182 4062 4534 -3198 3678 -3458 3190 -4210 -3190 -4130 -4526 -4402 -4310 -4542 3206 -3498 -4310 3150 -4542 -4442 -4506 -4458 -4466 -3370 -3962 -4538 3254 3818 3586 -4534 3494 3674 3190 3962 3634 3222 -3242 -3174 3686 4486 3186 3430 -4162 -3858 3270 -4370 3214 4526 -3186 4370 3802 3538 4542 3622 -4522 4450 3474 -4450 -3238 3682 3198 -4022 3190 3554 3298 -3762 -3262 4430 -3938 -3202 -4218 -3374 -3866 -3286 -3150 3190 4342 4490 3754 -3270 3314 -3954 4426 4490 3882 -4466 4006 4486 4290 -3154 4182 -3150 -3602 -3542 -3302 -3434 -3318 3150 4446 -3498 -4034 -4418 -3758 4314 -4214 3394 -3342 4182 -4526 -3330 -3398 -4418 -3354 4470 3462 -3934 -4034 4130 4234 3310 3590 4486 3398 -3766 4294 -3422 3182 -4238 3154 -3302 3438 3150 -4530 -3890 -3826 3154 -4534 -3374 3894 -3286 -4266 3186 -4486 4210 -3326 3482 -3434 4434 4438 4258 3338 4510 -3494 4534 3206 4334 -4022 -3210 -4122 -3286 -4490 3434 -3686 3190 -3778 -3398 3154 -3474 3710 3774 3694 -3150 4494 -3554 3614 4034 -4130 -3346 -4078 4542 -3390 4386 4518 -4246 4262 -4242 -4154 3182 -3846 3458 -4438 3818 4474 -3254 -3398 -4510 3922 4542 -3162 -3158 -3802 4542 4514 4350 -3470 4186 3538 -4182 -4278 -4174 -3806 -3850 3254 -4326 3474 4342 -3782 -3266 -4214 -3386 4270 -3966 4274 4102 3722 3474 -4510 3150 3998 3606 3594 3374 4366 -4318 4542 3854 3222 -3414 4250 3610 3826 3194 -3394 -4302 4434 4470 -3970 3834 3562 -3426 -3330 3970 -3154 3178 3466 -3334 -4446 -3686 -4466 4474 -3530 4538 -3826 4458 -4538 -3254 -3334 4462 -3178 -4070 -4478 -3290 4454 -4498 -4010 -3722 3218 -4058 3290 -3882 3346 3990 -3674 -4430 3386 4358 -3886 -3338 -3982 -4214 3458 3858 4454 3222 3330 -4394 -3722 3282 3194 -4378 -3882 -3242 3186 -4014 3326 -3302 -4474 4042 -3878 3742 3450 -4034 -4530 -3358 3758 4354 3754 3210 3366 4502 4286 4526 3866 3290 -4454 -3674 3854 -4398 3958 3958 -4058 -4334 3230 -4382 4118 3194 4002 4258 -3150 -4530 3898 -3214 4454 3178 3882 3174 3790 -3766 3158 3186 -3842 -4510 3150 -4054 4010 -3930 -3294 4346 3266 -3530 3182 4446 4462 -4530 -4234 3198 3630 -4354 3258 -3222 3558 -3722 3158 -3154 3582 -3858 -3518 -4374 -3622 -3214 3182 4034 -3278 -4498 -4366 3686 -4206 4310 4162 3998 3754 4222 3322 3646 -3154 3730 -3150 -3618 4306 -3654 4074 3746 -4398 4246 3358 4498 3866 -3622 3614 4522 -4042 -4490 4282 3806 4530 -4362 -3998 -3850 -3686 3218 -4222 3982 3170 -3202 -4502 3186 3266 3150 3966 -3458 4530 -3318 -4318 -3918 3658 -3170 3166 -4002 -3806 3490 -4226 -3562 4502 4310 -3254 -3990 -4238 -3530 3218 -4222 4426 4146 3490 4446 4278 4018 3606 -3162 -3802 -3318 4470 3206 4538 4506 -3158 -3950 -3254 -4046 4370 3326 3594 -3178 -3878 4398 -4482 -3174 -3342 4170 -3418 3794 4462 3966 -3370 4214 4530 -3374 4482 3558 -3306 -4458 4366 -4370 -3190 4230 4422 4426 -4486 -4270 4542 -4082 4538 3918 -3238 -4542 -3726 4494 4418 -3514 4146 4506 3294 3710 3822 -3694 -3426 -3214 -3190 4502 3770 4514 3166 -4534 -3850 4250 -4466 -3678 4538 3194 3302 -3462 3450 -3426 3262 4066 3182 3622 3234 4374 4162 -3994 -4346 4266 -3394 -4422 4278 -3186 -4430 4430 -4190 4154 3602 -3342 3850 3310 -4178 -4374 -3190 3426 3150 4182 -3410 -3946 -4218 3998 3906 3314 3782 3290 3318 -3234 3858 -3274 3970 -3994 -4526 3786 3666 -4434 3158 -3294 -4174 -4486 3602 3410 4242 -3950 4406 -4530 -4502 4470 3442 3522 -4382 -4030 3994 -4410 3166 4510 -4458 -4486 -3674 4474 -3670 3814 3194 4454 -4202 -4514 3178 3226 4182 -4302 3198 -4298 4354 -4322 -4162 4542 -4438 3602 -4274 3158 4166 3822 -4118 -3518 4218 3298 -3450 -3306 4482 3270 -4542 -3306 3150 -3150 -3498 3162 -3926 4158 -4446 3322 4222 4174 4094 -4206 -3282 -3746 4426 -4522 -3238 3170 -3818 3838 4334 -4334 -3954 -4542 -3302 3678 -4474 -4158 3274 -4482 -3718 3342 3186 3194 -4538 -4314 -4358 3738 4418 3574 -3706 3410 3358 4518 -3522 3194 3502 3502 -3646 -3194 3286 -3162 -3198 4014 4414 3182 3802 3614 -3514 4034 4410 3634 -3434 -4006 3718 3154 3570 -4482 -4502 -3326 -3374 -4354 -4542 4450 -3266 -4178 -3618 4470 4518 4058 4118 4326 4186 4534 -3182 -3154 3982 3306 -3550 3214 3162 -4230 -4298 3498 4434 -4002 -3378 4522 -4310 3870 3542 3162 3802 -3278 -4274 -3354 -3218 -4126 3526 3198 3178 -3738 -4478 -3342 3862 -3162 -4342 4374 -4470 -3602 3630 3150 -4078 -3554 -4530 -4270 -4466 -3866 3678 3334 -3150 3762 -4102 -3466 -3262 4102 -3794 3866 -3422 3306 3230 4414 4134 4442 3890 3898 4510 -3710 -3218 -4238 -4486 3154 -3222 -3178 4462 4494 4442 -3190 -3758 -4374 3214 4290 -3834 4458 -3394 3714 3706 3450 4042 -3958 -4414 -4278 3494 -3230 3758 -4542 -3190 4502 3638 3938 4026 -4542 -4438 -4278 3858 3914 4154 3782 4050 3230 -3150 -4138 -3390 3202 3438 -4170 -3370 -4490 3238 3958 3266 3630 -3686 -3226 -4486 4322 -4498 3758 -4278 -3866 3250 -3886 -3754 4498 3810 4350 4462 -4258 3622 -3290 -4262 -3842 4098 3186 4330 3586 4518 3982 -4218 4170 -3186 -4038 -3878 3750 3882 3782 -3358 -3186 -3354 -3402 3834 -3950 3150 -4194 3806 -4178 3794 4286 3150 3682 -3594 3994 -3414 3190 -3214 -3150 -4262 -3594 -3906 -3322 3742 -3354 -4490 4542 -3366 -3226 -3238 4242 -3198 3486 -3350 3350 3154 3330 -4186 3842 -4386 4534 -4478 -3566 4478 -3458 -3762 3238 -3578 3162 4190 -3830 -4282 4506 4534 4382 4306 -3294 -3590 3762 -4410 4278 -4290 -3826 4514 3354 3786 -4494 3834 -3190 -4498 -4538 -3274 3598 -3518 -4226 4246 -3190 3974 -3198 4226 3222 -4210 3574 3158 -3294 3354 4534 -4342 -4502 4394 4502 -3162 -3642 -4502 3434 -3254 -3622 4458 4018 4486 -3634 3846 3766 4126 3750 4274 4422 -4510 -3154 4486 3194 -3578 -4474 3614 4146 -3162 -4054 -3686 3518 3174 3806 3802 -3190 -4486 3450 -3278 -3150 4406 -4538 -4398 -3806 4530 -3210 -4106 3414 -3430 -4310 -3382 -4270 3666 4358 3282 4538 4382 3434 -3410 -3586 3994 4130 3302 -3238 -3418 3882 -4538 3862 -3786 -3530 -3434 3202 -4506 4462 -3886 4086 4014 -3958 3166 4490 -3930 4530 -4514 -3178 -4534 -3370 3958 3898 4482 -4398 3982 3510 4430 4466 -4138 -4422 -3906 3354 3186 3858 3638 4066 -3206 4490 -4418 -4122 3162 -3802 4510 -3274 -3450 4370 -3302 3174 -4526 -3186 3230 4046 4238 4430 -3314 -4430 3306 -3494 -3610 -4510 -4290 -3794 3178 3206 -3162 -3150 4126 3178 3314 4154 3158 -3198 3438 -3182 3962 4538 -3698 -3346 -4494 -3546 -4494 3214 -4510 3222 3222 3282 3258 -4406 4450 3738 -4458 3626 -4222 4446 3214 -4190 4450 3946 -4310 -4382 3594 3942 4502 -4466 4298 4022 3618 -4514 -3578 3514 4450 -3310 3150 -3218 4094 3446 -3222 -4450 -3326 4190 4538 3782 -3534 -4202 3722 -3446 3886 -3242 3894 -4426 -3474 4250 -4510 4338 -3170 -4398 -4490 3214 3734 4502 -3278 3342 3446 3582 3722 -3394 -3278 4422 4086 -3794 -3738 -4314 -4206 4434 -3362 -4398 4462 -3702 3362 3182 -4174 4502 3470 4542 -3198 -3162 4374 -4046 -3270 3202 4242 4526 -3414 3902 -3818 -4326 3162 3682 3202 4338 -4074 -3742 -3826 4518 -3194 3790 3790 4210 -4270 3322 -4406 -3378 -3518 -4470 3494 3190 3874 4530 -3166 4322 3210 -4382 3502 -4442 -3330 -3418 4266 -3194 4278 -4218 3870 -4530 3530 -4490 -3402 -4106 4214 -4166 -3158 3302 -3314 -4258 3326 3634 4502 -3938 3350 3662 3566 4250 4170 3562 -4114 3654 -3202 3394 4410 4522 -4542 3882 4338 4490 3482 4542 3910 -4530 4170 -3942 -3746 -4358 4518 -4126 4382 -3162 -3462 -3214 4210 -3190 4158 4342 4530 3562 3814 4390 -3918 3458 3698 4274 3190 -3994 -3978 3174 4242 3346 3318 3266 4250 3734 -3882 3158 4358 4530 -3302 3150 -3702 4150 -3762 -4530 3262 -4366 -3374 -3490 -4382 -3222 -4526 3170 -4462 4386 4294 -4054 3178 -4382 3322 4442 4162 3154 4538 -3414 3174 -4106 -4474 -3578 4166 -3554 3418 -4266 -3218 -3942 4474 -4442 -3270 3202 -3326 4542 -4502 3986 3226 -3654 -3602 3570 4150 -4522 4182 4430 -4442 -3166 -3878 -3542 -3918 -3310 -3158 4150 -3282 3946 3206 3682 -3182 3210 -4534 -4198 3974 -3310 3150 -4358 -3842 -4338 4122 -4082 -4010 3406 -3794 4490 3942 4370 3286 -3350 -4398 -3222 3842 3394 3290 -4450 -4002 -4522 4454 3558 4438 3742 4470 3978 4486 -3774 -3250 3154 -3626 -3346 4070 -3958 -3406 -3870 4142 -3558 -3822 -3922 3250 -3414 -3950 -4474 -4326 -3190 -3202 4362 3278 3190 4542 -3238 -3178 4494 -3230 3190 -3902 4542 -3458 4490 -4542 3658 3934 3402 4514 -3158 -3726 -3570 4514 4314 3386 3286 3238 3370 -4254 -3178 3234 4410 -3646 -4538 3998 4398 3638 -3790 -3958 4446 3190 3766 3602 4502 3898 3602 4266 3954 3162 -3242 -4286 -4038 -3594 -3194 4474 -3290 -3150 3818 4122 4422 3538 -3990 3958 3318 -4110 -4358 -4238 -3710 -4502 3302 4502 4334 -4142 -3958 4278 -3626 -3214 4402 4390 3150 -4186 3190 -3498 3506 3726 -3690 -3990 4354 -4390 -4330 -3306 3946 -3250 3894 3618 4006 -3434 3150 4346 -3250 -3202 -3558 3218 -4286 -4538 3826 4090 -3906 -4542 4526 -4386 -3378 3454 4486 -4062 3766 3202 -3718 -4482 -4470 -3566 3710 -4466 -3314 4390 4062 -3158 3290 4474 -3498 3462 3278 3862 4282 -3562 4350 -3486 -4510 3874 -3302 -4250 3150 3254 -3310 3206 3610 -3802 3806 -4526 -3254 -4474 -3390 4366 4202 -3198 -4094 3794 -4538 -3898 -3858 -4130 4302 -4366 -3818 -3230 -3410 -4466 -4466 -3330 4022 -4502 4530 -3470 4402 -4426 -3778 3150 -4478 -4538 4282 3314 4442 4358 -4230 3338 4030 3298 -3346 -3414 -3838 3274 3206 3918 -4370 3490 -4438 -4086 4254 3642 4090 -4502 -3766 -3842 4138 3630 3238 -3194 -3218 -4326 3454 3882 -3722 -4278 3242 -4430 -4226 3626 3262 4190 -3990 3390 4398 3154 3754 -4458 3158 -3942 4446 -3342 -3598 -3178 3194 -3198 4506 3354 3542 3414 -3874 -4114 -4402 -3478 4494 -3674 3242 4134 -4302 -3174 -4374 -3154 4146 4542 -4398 4186 3446 4526 4486 3202 3474 3434 -3846 -4174 3950 3150 -3246 -4054 -4190 3254 3622 3878 -4002 -3590 -4114 4430 4446 4306 4058 3586 3170 3926 3914 3202 -4542 4254 4534 -4502 3878 -3834 -3618 3766 4498 -4134 -3198 -4486 -4502 3258 -3162 -4186 3762 -4098 -3210 4414 3922 3982 -4446 -3150 -3994 3762 4310 -4038 4130 -3250 -4138 -4302 3714 4486 3150 -4154 -3562 -3262 -4422 -3810 4270 -3550 4506 -4154 -4502 4458 3234 3878 3154 -3410 3162 4506 -3178 4006 3794 -4530 3158 -4370 -3278 4374 -3854 -4526 -3286 -4150 3678 -4470 4350 -3814 -3362 -3218 3422 -4146 -3158 4398 3434 3274 -4526 3890 3210 -3182 -4382 3986 4494 4514 -3150 -4170 -4490 3378 3342 3166 -3158 3594 -4238 -4322 4478 -3994 3934 4374 4514 -4110 -4446 -4358 -4446 -3174 -3846 4134 -3374 4006 -3226 3186 3314 -3242 3254 -4502 -3198 -4114 -4298 -3182 -4170 -3778 4330 -3514 -3270 -3918 -3454 -4486 -4442 3162 4306 -3342 4430 4234 3490 3334 -3626 4426 -4134 -3362 -4466 -4526 4506 3286 -4418 -3530 4326 4278 4426 3986 -3190 -4302 -4110 3190 4466 4190 3346 -3390 -4410 -3366 -4470 4294 3442 3654 3614 -3254 4362 4386 -3210 -4498 3170 -4538 -3286 3174 -3386 4514 3158 4498 -3974 3630 -4458 -4510 4334 -4002 -3394 -3774 -3850 3734 -4474 4354 3474 3818 4206 -3690 4462 -3994 -3194 -4486 4210 3150 4358 3150 3754 4498 -4046 4186 -4458 4518 -3222 -3750 -4338 3702 3578 4402 4154 3154 -3850 -3242 4274 -4018 -3650 3218 3374 3586 3150 -3546 3346 -4482 3662 -3230 3210 -4022 -3294 3782 3962 -3154 3630 -4330 -4386 -3534 -4270 -3154 -4270 -4486 -4498 4390 -4002 3198 3602 -3434 3282 3878 4174 -3726 3214 4534 -3546 3590 -3310 -4342 -3158 4518 3286 4042 3662 -3270 3926 -4498 3930 -4534 -3214 4486 3230 3734 -3394 -4482 4202 4466 -4266 4166 -3322 -4430 -3174 -3150 -4262 -3782 3194 -4294 4146 -4510 -3270 -3402 4486 -4154 3918 3706 4470 3306 -3502 -4462 3498 3826 3222 -4206 -3718 4258 -3918 4390 -3270 -4418 -4310 4450 4486 3506 3342 4398 -3638 -3618 3154 -4542 4298 4406 -4150 -4146 4314 -3202 4506 -4166 3602 -4538 -3586 -4402 -3646 4382 3658 3810 3494 3210 3642 4318 -3694 -4402 3814 -4030 -4158 3874 -3554 4394 3294 -4530 -4450 -4482 -4370 4530 4514 -3266 -4406 3170 -3354 -4542 -4542 -3278 3582 3218 3174 -4082 3534 3202 3378 -4490 3258 -3806 -4386 -4466 -3242 3230 3650 4502 3194 -4498 -3574 -3170 4342 4506 4422 -3442 -3622 4466 4094 -4306 -3890 3342 3722 3782 -3682 3326 -3162 -3830 3418 4498 3946 -3866 -4498 -3330 -3174 3690 -3214 -4062 -3598 3570 -3358 3154 4470 -3198 4226 4202 4034 -4286 4198 -4350 -4530 3250 -3210 -4314 4250 4298 -4518 4474 4334 -3642 3370 4490 3582 -4306 -4150 -4454 3962 4126 4342 -4342 -3222 -4502 3510 -3414 -3166 3726 3810 3174 -4490 3830 -4390 4506 3918 3218 3150 -4538 3238 4538 -3730 -4138 -4486 4370 3210 -4186 -3518 4082 -4130 -4490 -4418 -4514 3246 -3262 -4538 3902 3226 -3818 -3642 3318 -3314 -3874 -4470 -4454 3942 3458 4522 4466 4286 -3162 -4406 -4466 4038 3510 3290 4010 -3346 4114 -3202 -4002 3502 4182 -3206 -3154 3434 -4074 -4362 4258 3190 -3254 4518 3442 4330 3458 -3166 -4534 3918 -4338 4202 -3278 -3350 -4298 3398 3218 -4474 3194 3490 -4126 -3930 -3962 -4478 4226 4526 -3830 -3934 3178 3862 4154 -3186 -3402 -3202 -3350 3398 -4002 3530 4186 3578 -4498 -3642 4542 -3210 4058 -4458 3302 3474 -4114 3766 3882 -3214 4126 3326 3554 -3902 3490 3150
7031 unsatisfied constraints, 46517 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-275622-1169224062 -o ROOT/results/node69/solver-275622-1169224062 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275622-1169224062/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.92 1.27 1.09 5/80 16904 /proc/meminfo: memFree=1134736/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=18540 CPUtime=0 /proc/16903/stat : 16903 (runsolver) R 16901 16903 16686 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 69903145 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/16903/statm: 4635 279 244 17 0 2626 0 [startup+0.103819 s] /proc/loadavg: 1.92 1.27 1.09 5/80 16904 /proc/meminfo: memFree=1134736/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=914988 CPUtime=0.09 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 2971 0 1 0 7 2 0 0 19 0 8 0 69903145 936947712 2717 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228747 2717 1420 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.513852 s] /proc/loadavg: 1.92 1.27 1.09 5/80 16904 /proc/meminfo: memFree=1134736/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915332 CPUtime=0.49 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 7764 0 1 0 45 4 0 0 18 0 8 0 69903145 937299968 7503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228833 7503 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.34293 s] /proc/loadavg: 2.01 1.30 1.10 4/87 16911 /proc/meminfo: memFree=1038616/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915604 CPUtime=1.31 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 31638 0 1 0 116 15 0 0 23 0 8 0 69903145 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073598633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228901 31375 2161 14 0 215371 0 [pid=16903/tid=16905] ppid=16901 vsize=915604 CPUtime=0.13 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 15082 0 0 0 7 6 0 0 16 0 8 0 69903149 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915604 CPUtime=0.16 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 69903153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937578496 31375 18446744073709551615 134512640 134570532 4294956480 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) 915604 [startup+2.98407 s] /proc/loadavg: 2.01 1.30 1.10 3/87 16911 /proc/meminfo: memFree=1007960/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915604 CPUtime=2.95 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 34888 0 1 0 278 17 0 0 25 0 8 0 69903145 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228901 34618 2161 14 0 215371 0 [pid=16903/tid=16905] ppid=16901 vsize=915604 CPUtime=0.31 /proc/16903/task/16905/stat : 16905 (java) R 16901 16903 16686 0 -1 64 18324 0 0 0 24 7 0 0 16 0 8 0 69903149 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023978 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915604 CPUtime=0.17 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 408 0 0 0 17 0 0 0 16 0 8 0 69903153 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915604 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937578496 34618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 915604 [startup+6.26333 s] /proc/loadavg: 2.01 1.31 1.11 4/87 16911 /proc/meminfo: memFree=1002392/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=6.22 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 35352 0 1 0 604 18 0 0 25 0 8 0 69903145 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 35081 2181 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=0.33 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 18714 0 0 0 26 7 0 0 16 0 8 0 69903149 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.18 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 419 0 0 0 18 0 0 0 16 0 8 0 69903153 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 35081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 915744 [startup+12.7529 s] /proc/loadavg: 2.00 1.32 1.11 3/87 16911 /proc/meminfo: memFree=1002592/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=12.67 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 35354 0 1 0 1249 18 0 0 25 0 8 0 69903145 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 35083 2181 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=0.33 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 18714 0 0 0 26 7 0 0 16 0 8 0 69903149 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.19 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 421 0 0 0 19 0 0 0 16 0 8 0 69903153 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 35083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 915744 [startup+25.607 s] /proc/loadavg: 2.00 1.34 1.12 3/87 16911 /proc/meminfo: memFree=1002720/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=25.47 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 35365 0 1 0 2528 19 0 0 25 0 8 0 69903145 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 35094 2182 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=0.33 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 18714 0 0 0 26 7 0 0 16 0 8 0 69903149 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.21 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 69903153 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 35094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 915744 [startup+51.2141 s] /proc/loadavg: 2.00 1.40 1.14 3/87 16911 /proc/meminfo: memFree=997152/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=50.95 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 36747 0 1 0 5074 21 0 0 25 0 8 0 69903145 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 36475 2182 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=0.41 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 20093 0 0 0 33 8 0 0 16 0 8 0 69903149 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69903150 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.21 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 433 0 0 0 20 1 0 0 16 0 8 0 69903153 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 36475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 915744 [startup+102.446 s] /proc/loadavg: 2.00 1.49 1.19 4/87 16911 /proc/meminfo: memFree=950112/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=101.92 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48970 0 1 0 10163 29 0 0 25 0 8 0 69903145 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48556 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.27 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 467 0 0 0 26 1 0 0 16 0 8 0 69903153 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.92 Current children cumulated vsize (KiB) 915744 [startup+162.533 s] /proc/loadavg: 2.04 1.60 1.24 3/87 16911 /proc/meminfo: memFree=950112/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=161.71 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48973 0 1 0 16139 32 0 0 25 0 8 0 69903145 937721856 48558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2015.41 Current children cumulated vsize (KiB) 915744 [startup+2085.2 s] /proc/loadavg: 2.08 2.04 1.89 3/87 17109 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2075.04 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 207441 63 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2075.04 Current children cumulated vsize (KiB) 915744 [startup+2145.29 s] /proc/loadavg: 2.11 2.04 1.90 3/87 17109 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2134.84 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 213421 63 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2134.84 Current children cumulated vsize (KiB) 915744 [startup+2205.38 s] /proc/loadavg: 2.04 2.03 1.91 3/87 17109 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2194.64 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 219400 64 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2194.64 Current children cumulated vsize (KiB) 915744 [startup+2265.46 s] /proc/loadavg: 2.01 2.02 1.91 3/87 17109 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2254.44 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 225380 64 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2254.44 Current children cumulated vsize (KiB) 915744 [startup+2325.54 s] /proc/loadavg: 2.00 2.02 1.91 3/87 17109 /proc/meminfo: memFree=949344/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2314.24 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 231360 64 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2314.24 Current children cumulated vsize (KiB) 915744 [startup+2385.64 s] /proc/loadavg: 2.00 2.01 1.91 3/88 17183 /proc/meminfo: memFree=1109336/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2374.11 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 237341 70 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2374.11 Current children cumulated vsize (KiB) 915744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2411.69 s] /proc/loadavg: 2.00 2.01 1.91 3/88 17183 /proc/meminfo: memFree=1109400/2055920 swapFree=4192812/4192956 [pid=16903] ppid=16901 vsize=915744 CPUtime=2400 /proc/16903/stat : 16903 (java) R 16901 16903 16686 0 -1 0 48985 0 1 0 239930 70 0 0 25 0 8 0 69903145 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/16903/statm: 228936 48569 2501 14 0 215406 0 [pid=16903/tid=16905] ppid=16901 vsize=915744 CPUtime=1.47 /proc/16903/task/16905/stat : 16905 (java) S 16901 16903 16686 0 -1 64 31928 0 0 0 135 12 0 0 16 0 8 0 69903149 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16906] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16906/stat : 16906 (java) S 16901 16903 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16907] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16907/stat : 16907 (java) S 16901 16903 16686 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69903150 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16908] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16908/stat : 16908 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16909] ppid=16901 vsize=915744 CPUtime=0.3 /proc/16903/task/16909/stat : 16909 (java) S 16901 16903 16686 0 -1 64 480 0 0 0 29 1 0 0 16 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16910] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16910/stat : 16910 (java) S 16901 16903 16686 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16903/tid=16911] ppid=16901 vsize=915744 CPUtime=0 /proc/16903/task/16911/stat : 16911 (java) S 16901 16903 16686 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69903153 937721856 48569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 915744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2411.77 CPU time (s): 2400.08 CPU user time (s): 2399.35 CPU system time (s): 0.732888 CPU usage (%): 99.5155 Max. virtual memory (cumulated for all children) (KiB): 916248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.35 system time used= 0.732888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49008 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= 50098 involuntary context switches= 103740 runsolver used 2.85656 s user time and 8.01078 s system time The end
Begin job on node69 on Fri Jan 19 16:27:42 UTC 2007 IDJOB= 275622 IDBENCH= 4168 IDSOLVER= 69 FILE ID= node69/275622-1169224062 PBS_JOBID= 3589206 Free space on /tmp= 66547 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp40/fapp40-3000-3.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275622-1169224062/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-275622-1169224062 -o ROOT/results/node69/solver-275622-1169224062 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275622-1169224062/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= cad764e8b50fa9fdddcbd25c7290a916 RANDOM SEED= 701180638 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.218 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.218 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: 1135152 kB Buffers: 43324 kB Cached: 602336 kB SwapCached: 0 kB Active: 317156 kB Inactive: 534160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1135152 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 9108 kB Writeback: 0 kB Mapped: 225884 kB Slab: 54404 kB Committed_AS: 1427080 kB PageTables: 2272 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= 66555 MiB End job on node69 on Fri Jan 19 17:07:54 UTC 2007