Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.27 | 2404.95 |
| Name | fapp/fapp11-15/fapp14/ fapp14-2500-0.xml |
| MD5SUM | 48c22b4658f7e95cf77401e5a2d21209 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 37041 |
| Best CPU time to get the best result obtained on this benchmark | 2400.27 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2500 |
| Number of constraints | 40767 |
| Maximum constraint arity | 2 |
| Maximum domain size | 362 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 40767 |
| Global constraints used (with number of constraints) |
0.33 0.33 Abscon 109 (November, 2006) 0.33 0.33 configuration 0.33 name=epfc.xml 0.36 0.36 instance 0.36 name=/tmp/evaluation/275237-1169218856/unknown.xml 0.39 0.39 domains being loaded... 0.44 0.44 variables being loaded... 0.75 nbVariables=2500 nbDomainTypes=30 minDomainSize=42 maxDomainSize=362 0.75 => wckTime=0.418 cpuTime=0.31 mem=35M188 0.75 0.75 predicates being loaded... 0.75 0.75 constraints being loaded... 61.60 61.60 INFO : Stopping converting binary constraints (cpu=60.04, mem = 93M479) 63.87 nbConstraints=40767 nbConvertedConstraints=4455 nbConvertConstraintsChecks=182556896 nbExtensionStructures=2260 63.87 nbSharedExtensionStructures=2195 nbConflictsStructures=2260 nbSharedConflictsStructures=2195 63.87 nbSharedBinaryRepresentations=1224989 nbEvaluationManagers=10443 nbSharedEvaluationManagers=25869 maxDegree=52 63.87 maxArity=2 63.87 => wckTime=63.543 cpuTime=61.8 mem=88M890 64.23 64.23 solver LocalSearchSolver being built... 64.26 => wckTime=63.934 cpuTime=61.84 mem=84M383 64.48 64.48 s SATISFIABLE 64.48 o 30598 64.48 c 10169 64.61 o 30607 64.61 c 10160 64.68 o 30613 64.68 c 10154 64.76 o 30627 64.76 c 10140 64.83 o 30637 64.83 c 10130 64.92 o 30640 64.92 c 10127 64.97 o 30649 64.97 c 10118 65.03 o 30656 65.03 c 10111 65.08 o 30662 65.08 c 10105 65.13 o 30668 65.13 c 10099 65.18 o 30673 65.18 c 10094 65.22 o 30678 65.22 c 10089 65.27 o 30683 65.27 c 10084 65.30 o 30687 65.30 c 10080 65.35 o 30691 65.35 c 10076 65.37 o 30694 65.37 c 10073 65.40 o 30697 65.40 c 10070 65.42 o 30700 65.42 c 10067 65.45 o 30703 65.45 c 10064 65.47 o 30709 65.47 c 10058 65.51 o 30710 65.51 c 10057 65.56 o 30717 65.56 c 10050 65.59 o 30726 65.59 c 10041 65.65 o 30736 65.65 c 10031 65.70 o 30744 65.71 c 10023 65.77 o 30752 65.77 c 10015 65.82 o 30759 65.82 c 10008 65.88 o 30766 65.88 c 10001 65.93 o 30773 65.93 c 9994 65.98 o 30779 65.98 c 9988 66.02 o 30785 66.02 c 9982 66.08 o 30790 66.08 c 9977 66.13 o 30795 66.13 c 9972 66.18 o 30800 66.18 c 9967 66.23 o 30804 66.23 c 9963 66.27 o 30808 66.27 c 9959 66.32 o 30812 66.32 c 9955 66.36 o 30814 66.36 c 9953 66.40 o 30816 66.40 c 9951 66.43 o 30817 66.43 c 9950 66.46 o 30818 66.46 c 9949 66.48 o 30819 66.48 c 9948 66.52 o 30820 66.52 c 9947 66.59 o 30825 66.59 c 9942 66.63 o 30826 66.63 c 9941 66.70 o 30829 66.70 c 9938 66.77 o 30837 66.77 c 9930 66.83 o 30845 66.83 c 9922 66.91 o 30852 66.91 c 9915 66.96 o 30859 66.96 c 9908 67.03 o 30865 67.03 c 9902 67.10 o 30870 67.10 c 9897 67.16 o 30875 67.16 c 9892 67.22 o 30880 67.22 c 9887 67.27 o 30885 67.27 c 9882 67.32 o 30889 67.32 c 9878 67.37 o 30893 67.37 c 9874 67.43 o 30896 67.43 c 9871 67.48 o 30899 67.48 c 9868 67.53 o 30902 67.53 c 9865 67.58 o 30905 67.58 c 9862 67.63 o 30908 67.63 c 9859 67.69 o 30911 67.69 c 9856 67.74 o 30914 67.74 c 9853 67.78 o 30916 67.78 c 9851 67.82 o 30928 67.82 c 9839 67.88 o 30930 67.88 c 9837 67.93 o 30932 67.93 c 9835 67.98 o 30935 67.98 c 9832 68.01 o 30936 68.01 c 9831 68.12 o 30940 68.12 c 9827 68.16 o 30948 68.16 c 9819 68.21 o 30953 68.21 c 9814 68.23 o 30962 68.23 c 9805 68.28 o 30968 68.28 c 9799 68.33 o 30975 68.33 c 9792 68.39 o 30977 68.39 c 9790 68.43 o 30980 68.43 c 9787 68.46 o 30981 68.46 c 9786 68.50 o 30982 68.50 c 9785 68.54 o 30991 68.54 c 9776 68.61 o 31002 68.61 c 9765 68.68 o 31004 68.68 c 9763 68.77 o 31011 68.77 c 9756 68.87 o 31013 68.87 c 9754 68.94 o 31014 68.94 c 9753 69.03 o 31021 69.03 c 9746 69.12 o 31023 69.12 c 9744 69.21 o 31029 69.21 c 9738 69.29 o 31035 69.29 c 9732 69.39 o 31041 69.39 c 9726 69.47 o 31046 69.47 c 9721 69.54 o 31051 69.54 c 9716 69.62 o 31056 69.62 c 9711 69.69 o 31060 69.69 c 9707 69.76 o 31064 69.76 c 9703 69.84 o 31068 69.84 c 9699 69.91 o 31074 69.91 c 9693 69.97 o 31078 69.97 c 9689 70.04 o 31082 70.04 c 9685 70.10 o 31086 70.10 c 9681 70.16 o 31089 70.16 c 9678 70.21 o 31092 70.21 c 9675 70.26 o 31095 70.26 c 9672 70.31 o 31098 70.31 c 9669 70.37 o 31101 70.37 c 9666 70.41 o 31104 70.41 c 9663 70.46 o 31106 70.46 c 9661 70.50 o 31108 70.50 c 9659 70.54 o 31109 70.54 c 9658 70.58 o 31111 70.58 c 9656 70.61 o 31112 70.61 c 9655 70.65 o 31113 70.65 c 9654 70.80 o 31114 70.80 c 9653 70.86 o 31123 70.86 c 9644 70.89 o 31132 70.89 c 9635 70.91 o 31135 70.91 c 9632 70.94 o 31137 70.94 c 9630 70.98 o 31146 70.98 c 9621 71.02 o 31150 71.02 c 9617 71.05 o 31157 71.05 c 9610 71.08 o 31162 71.08 c 9605 71.11 o 31163 71.11 c 9604 71.14 o 31166 71.14 c 9601 71.18 o 31168 71.18 c 9599 71.20 o 31169 71.20 c 9598 71.24 o 31170 71.24 c 9597 71.27 o 31173 71.27 c 9594 71.31 o 31174 71.31 c 9593 71.37 o 31181 71.37 c 9586 71.41 o 31184 71.41 c 9583 71.49 o 31190 71.49 c 9577 71.58 o 31200 71.59 c 9567 71.67 o 31209 71.67 c 9558 71.77 o 31216 71.77 c 9551 71.88 o 31223 71.88 c 9544 71.98 o 31230 71.98 c 9537 72.10 o 31236 72.10 c 9531 72.20 o 31242 72.20 c 9525 72.30 o 31248 72.30 c 9519 72.41 o 31255 72.41 c 9512 72.50 o 31261 72.50 c 9506 72.59 o 31267 72.59 c 9500 72.68 o 31272 72.68 c 9495 72.77 o 31277 72.77 c 9490 72.85 o 31282 72.85 c 9485 72.94 o 31287 72.94 c 9480 73.03 o 31292 73.03 c 9475 73.11 o 31296 73.11 c 9471 73.18 o 31297 73.18 c 9470 73.26 o 31301 73.26 c 9466 73.34 o 31305 73.34 c 9462 73.42 o 31309 73.42 c 9458 73.50 o 31316 73.50 c 9451 73.58 o 31321 73.58 c 9446 73.65 o 31325 73.65 c 9442 73.72 o 31329 73.72 c 9438 73.78 o 31333 73.78 c 9434 73.85 o 31337 73.85 c 9430 73.92 o 31341 73.92 c 9426 73.98 o 31344 73.98 c 9423 74.03 o 31352 74.03 c 9415 74.09 o 31355 74.09 c 9412 74.16 o 31358 74.16 c 9409 74.23 o 31361 74.23 c 9406 74.29 o 31364 74.29 c 9403 74.33 o 31367 74.33 c 9400 74.38 o 31369 74.38 c 9398 74.45 o 31371 74.45 c 9396 74.50 o 31373 74.50 c 9394 74.56 o 31375 74.56 c 9392 74.61 o 31377 74.61 c 9390 74.67 o 31379 74.67 c 9388 74.72 o 31380 74.72 c 9387 74.76 o 31381 74.76 c 9386 74.91 o 31384 74.91 c 9383 74.95 o 31385 74.95 c 9382 75.02 o 31394 75.03 c 9373 75.09 o 31397 75.09 c 9370 75.13 o 31402 75.13 c 9365 75.17 o 31403 75.17 c 9364 75.24 o 31408 75.24 c 9359 75.27 o 31412 75.27 c 9355 75.33 o 31414 75.33 c 9353 75.37 o 31418 75.37 c 9349 75.42 o 31419 75.42 c 9348 75.46 o 31422 75.46 c 9345 75.52 o 31426 75.52 c 9341 75.57 o 31431 75.57 c 9336 75.61 o 31434 75.61 c 9333 75.66 o 31437 75.66 c 9330 75.70 o 31439 75.70 c 9328 75.74 o 31445 75.74 c 9322 75.79 o 31449 75.79 c 9318 75.83 o 31454 75.83 c 9313 75.86 o 31455 75.86 c 9312 75.91 o 31464 75.91 c 9303 75.96 o 31468 75.96 c 9299 76.03 o 31470 76.03 c 9297 76.09 o 31473 76.09 c 9294 76.13 o 31476 76.13 c 9291 76.19 o 31484 76.19 c 9283 76.24 o 31490 76.24 c 9277 76.31 o 31497 76.31 c 9270 76.37 o 31500 76.37 c 9267 76.41 o 31504 76.41 c 9263 76.48 o 31508 76.48 c 9259 76.53 o 31510 76.53 c 9257 76.61 o 31512 76.61 c 9255 76.67 o 31515 76.67 c 9252 76.72 o 31517 76.72 c 9250 76.79 o 31523 76.79 c 9244 76.84 o 31527 76.84 c 9240 76.90 o 31528 76.90 c 9239 76.96 o 31531 76.96 c 9236 77.03 o 31534 77.03 c 9233 77.15 o 31541 77.15 c 9226 77.28 o 31545 77.28 c 9222 77.35 o 31550 77.35 c 9217 77.40 o 31556 77.40 c 9211 77.54 o 31560 77.54 c 9207 77.61 o 31562 77.61 c 9205 77.67 o 31565 77.67 c 9202 77.77 o 31576 77.77 c 9191 77.84 o 31578 77.84 c 9189 77.93 o 31580 77.93 c 9187 78.12 o 31589 78.12 c 9178 78.22 o 31597 78.22 c 9170 78.32 o 31604 78.32 c 9163 78.42 o 31610 78.42 c 9157 78.53 o 31616 78.53 c 9151 78.64 o 31622 78.64 c 9145 78.74 o 31627 78.74 c 9140 78.85 o 31632 78.85 c 9135 78.95 o 31637 78.95 c 9130 79.05 o 31641 79.05 c 9126 79.16 o 31645 79.16 c 9122 79.26 o 31653 79.26 c 9114 79.35 o 31659 79.35 c 9108 79.45 o 31665 79.45 c 9102 79.54 o 31670 79.54 c 9097 79.64 o 31674 79.64 c 9093 79.73 o 31678 79.73 c 9089 79.83 o 31681 79.83 c 9086 79.93 o 31684 79.93 c 9083 80.02 o 31687 80.02 c 9080 80.12 o 31690 80.12 c 9077 80.21 o 31698 80.21 c 9069 80.30 o 31701 80.30 c 9066 80.39 o 31706 80.39 c 9061 80.49 o 31711 80.49 c 9056 80.57 o 31713 80.57 c 9054 80.67 o 31715 80.67 c 9052 80.76 o 31717 80.76 c 9050 80.86 o 31719 80.86 c 9048 80.95 o 31721 80.95 c 9046 81.04 o 31723 81.04 c 9044 81.12 o 31724 81.12 c 9043 81.21 o 31725 81.21 c 9042 81.79 o 31726 81.79 c 9041 82.03 o 31727 82.03 c 9040 82.09 o 31734 82.09 c 9033 82.14 o 31737 82.14 c 9030 82.20 o 31742 82.20 c 9025 82.25 o 31746 82.25 c 9021 82.30 o 31749 82.30 c 9018 82.34 o 31754 82.34 c 9013 82.39 o 31759 82.39 c 9008 82.43 o 31764 82.43 c 9003 82.48 o 31767 82.48 c 9000 82.53 o 31772 82.53 c 8995 82.59 o 31773 82.59 c 8994 82.69 o 31780 82.69 c 8987 82.76 o 31782 82.76 c 8985 82.80 o 31787 82.80 c 8980 82.88 o 31796 82.88 c 8971 82.94 o 31804 82.94 c 8963 83.00 o 31809 83.00 c 8958 83.06 o 31816 83.06 c 8951 83.16 o 31821 83.16 c 8946 83.21 o 31824 83.21 c 8943 83.26 o 31826 83.26 c 8941 83.31 o 31828 83.31 c 8939 83.36 o 31829 83.36 c 8938 83.41 o 31834 83.41 c 8933 83.48 o 31837 83.48 c 8930 83.55 o 31839 83.55 c 8928 83.61 o 31844 83.61 c 8923 83.67 o 31848 83.67 c 8919 83.73 o 31854 83.73 c 8913 83.79 o 31862 83.79 c 8905 83.86 o 31864 83.86 c 8903 83.91 o 31866 83.91 c 8901 83.98 o 31870 83.98 c 8897 84.03 o 31871 84.03 c 8896 84.09 o 31872 84.09 c 8895 84.16 o 31874 84.16 c 8893 84.25 o 31880 84.25 c 8887 84.32 o 31885 84.32 c 8882 84.40 o 31892 84.40 c 8875 84.48 o 31896 84.48 c 8871 84.65 o 31902 84.65 c 8865 84.74 o 31903 84.74 c 8864 84.81 o 31905 84.81 c 8862 84.90 o 31911 84.90 c 8856 84.98 o 31912 84.98 c 8855 85.06 o 31917 85.06 c 8850 85.24 o 31918 85.24 c 8849 85.35 o 31921 85.35 c 8846 85.46 o 31923 85.46 c 8844 85.56 o 31926 85.56 c 8841 85.64 o 31931 85.64 c 8836 85.75 o 31936 85.75 c 8831 85.84 o 31937 85.84 c 8830 86.01 o 31940 86.01 c 8827 86.11 o 31945 86.11 c 8822 86.20 o 31954 86.20 c 8813 86.31 o 31961 86.31 c 8806 86.42 o 31967 86.42 c 8800 86.52 o 31970 86.52 c 8797 86.63 o 31976 86.63 c 8791 86.69 o 31982 86.69 c 8785 86.80 o 31987 86.80 c 8780 86.91 o 31992 86.91 c 8775 87.01 o 31997 87.01 c 8770 87.10 o 32002 87.10 c 8765 87.19 o 32006 87.19 c 8761 87.29 o 32010 87.29 c 8757 87.39 o 32014 87.39 c 8753 87.48 o 32017 87.48 c 8750 87.57 o 32020 87.57 c 8747 87.68 o 32023 87.68 c 8744 87.78 o 32026 87.78 c 8741 87.87 o 32028 87.87 c 8739 87.96 o 32030 87.96 c 8737 88.05 o 32035 88.05 c 8732 88.14 o 32037 88.14 c 8730 88.23 o 32039 88.23 c 8728 88.31 o 32040 88.31 c 8727 88.37 o 32041 88.37 c 8726 88.45 o 32042 88.45 c 8725 88.52 o 32043 88.52 c 8724 88.82 o 32050 88.82 c 8717 88.98 o 32052 88.98 c 8715 89.06 o 32060 89.06 c 8707 89.22 o 32064 89.22 c 8703 89.29 o 32065 89.29 c 8702 89.36 o 32070 89.36 c 8697 89.43 o 32074 89.43 c 8693 89.52 o 32077 89.52 c 8690 89.61 o 32078 89.61 c 8689 89.71 o 32082 89.71 c 8685 89.78 o 32091 89.78 c 8676 89.87 o 32094 89.87 c 8673 89.95 o 32097 89.95 c 8670 90.06 o 32102 90.06 c 8665 90.23 o 32107 90.23 c 8660 90.31 o 32109 90.31 c 8658 90.38 o 32113 90.38 c 8654 90.48 o 32114 90.48 c 8653 90.57 o 32121 90.57 c 8646 90.73 o 32126 90.73 c 8641 90.89 o 32131 90.89 c 8636 91.20 o 32135 91.20 c 8632 91.29 o 32136 91.29 c 8631 91.38 o 32137 91.38 c 8630 91.83 o 32143 91.83 c 8624 91.94 o 32146 91.94 c 8621 92.06 o 32151 92.06 c 8616 92.19 o 32160 92.19 c 8607 92.30 o 32163 92.30 c 8604 92.42 o 32167 92.42 c 8600 92.54 o 32173 92.54 c 8594 92.66 o 32178 92.66 c 8589 92.90 o 32179 92.90 c 8588 93.00 o 32183 93.00 c 8584 93.13 o 32184 93.13 c 8583 93.23 o 32188 93.23 c 8579 93.35 o 32191 93.35 c 8576 93.61 o 32192 93.61 c 8575 93.73 o 32193 93.73 c 8574 93.85 o 32195 93.85 c 8572 93.98 o 32196 93.98 c 8571 94.24 o 32201 94.24 c 8566 94.37 o 32206 94.37 c 8561 94.48 o 32210 94.48 c 8557 94.61 o 32211 94.61 c 8556 94.73 o 32212 94.73 c 8555 94.85 o 32214 94.85 c 8553 94.96 o 32219 94.96 c 8548 95.09 o 32223 95.09 c 8544 95.20 o 32225 95.20 c 8542 95.33 o 32230 95.33 c 8537 95.45 o 32232 95.45 c 8535 95.58 o 32233 95.58 c 8534 95.69 o 32234 95.69 c 8533 95.81 o 32238 95.81 c 8529 95.94 o 32240 95.94 c 8527 96.07 o 32243 96.07 c 8524 96.18 o 32249 96.18 c 8518 96.30 o 32250 96.30 c 8517 96.41 o 32254 96.41 c 8513 96.53 o 32256 96.53 c 8511 96.66 o 32260 96.66 c 8507 96.76 o 32262 96.76 c 8505 96.87 o 32267 96.87 c 8500 96.97 o 32271 96.97 c 8496 97.08 o 32275 97.08 c 8492 97.18 o 32278 97.18 c 8489 97.39 o 32283 97.39 c 8484 97.50 o 32284 97.50 c 8483 97.62 o 32288 97.62 c 8479 97.74 o 32291 97.74 c 8476 97.84 o 32292 97.84 c 8475 97.96 o 32301 97.96 c 8466 98.07 o 32303 98.07 c 8464 98.20 o 32307 98.20 c 8460 98.33 o 32311 98.33 c 8456 98.46 o 32314 98.46 c 8453 98.58 o 32317 98.58 c 8450 98.69 o 32320 98.69 c 8447 98.82 o 32323 98.82 c 8444 98.95 o 32326 98.95 c 8441 99.06 o 32328 99.06 c 8439 99.17 o 32334 99.17 c 8433 99.28 o 32336 99.28 c 8431 99.41 o 32337 99.41 c 8430 99.53 o 32338 99.53 c 8429 99.74 o 32345 99.74 c 8422 99.92 o 32350 99.92 c 8417 100.21 o 32354 100.21 c 8413 100.30 o 32358 100.30 c 8409 100.48 o 32363 100.48 c 8404 100.57 o 32369 100.57 c 8398 100.67 o 32374 100.67 c 8393 100.85 o 32376 100.85 c 8391 100.94 o 32380 100.94 c 8387 101.06 o 32383 101.06 c 8384 101.23 o 32388 101.23 c 8379 101.31 o 32391 101.31 c 8376 101.40 o 32399 101.40 c 8368 101.49 o 32402 101.49 c 8365 101.58 o 32403 101.58 c 8364 101.68 o 32407 101.68 c 8360 101.77 o 32409 101.77 c 8358 101.87 o 32413 101.87 c 8354 101.96 o 32419 101.96 c 8348 102.15 o 32424 102.15 c 8343 102.23 o 32430 102.23 c 8337 102.33 o 32436 102.33 c 8331 102.44 o 32441 102.44 c 8326 102.54 o 32442 102.54 c 8325 102.63 o 32450 102.63 c 8317 102.72 o 32459 102.72 c 8308 102.82 o 32460 102.82 c 8307 102.92 o 32462 102.92 c 8305 103.00 o 32469 103.00 c 8298 103.30 o 32472 103.30 c 8295 103.40 o 32473 103.40 c 8294 103.50 o 32477 103.50 c 8290 103.59 o 32478 103.59 c 8289 103.67 o 32479 103.67 c 8288 103.74 o 32482 103.74 c 8285 103.86 o 32487 103.86 c 8280 103.95 o 32490 103.95 c 8277 104.06 o 32498 104.06 c 8269 104.14 o 32500 104.14 c 8267 104.24 o 32502 104.24 c 8265 104.44 o 32504 104.44 c 8263 104.54 o 32513 104.54 c 8254 104.64 o 32514 104.64 c 8253 104.75 o 32517 104.75 c 8250 104.85 o 32520 104.85 c 8247 104.95 o 32521 104.95 c 8246 105.06 o 32526 105.06 c 8241 105.17 o 32528 105.17 c 8239 105.30 o 32532 105.30 c 8235 105.40 o 32537 105.40 c 8230 105.51 o 32544 105.51 c 8223 105.62 o 32547 105.62 c 8220 105.73 o 32552 105.73 c 8215 105.86 o 32555 105.86 c 8212 106.00 o 32559 106.00 c 8208 106.23 o 32563 106.23 c 8204 106.36 o 32569 106.36 c 8198 106.48 o 32572 106.48 c 8195 106.60 o 32574 106.60 c 8193 107.11 o 32577 107.11 c 8190 107.24 o 32580 107.24 c 8187 107.37 o 32582 107.37 c 8185 107.49 o 32583 107.49 c 8184 107.64 o 32585 107.64 c 8182 107.80 o 32587 107.80 c 8180 107.93 o 32588 107.93 c 8179 108.05 o 32590 108.05 c 8177 108.17 o 32592 108.17 c 8175 108.48 o 32602 108.48 c 8165 108.60 o 32603 108.60 c 8164 108.77 o 32608 108.77 c 8159 108.90 o 32612 108.90 c 8155 109.05 o 32615 109.05 c 8152 109.20 o 32617 109.20 c 8150 109.37 o 32618 109.37 c 8149 109.53 o 32622 109.53 c 8145 109.85 o 32628 109.85 c 8139 110.01 o 32629 110.01 c 8138 110.16 o 32630 110.16 c 8137 110.31 o 32633 110.31 c 8134 110.46 o 32637 110.46 c 8130 110.76 o 32641 110.76 c 8126 111.20 o 32645 111.20 c 8122 111.50 o 32651 111.50 c 8116 111.66 o 32656 111.66 c 8111 111.81 o 32657 111.81 c 8110 111.97 o 32659 111.97 c 8108 112.13 o 32662 112.13 c 8105 112.27 o 32665 112.27 c 8102 112.44 o 32668 112.44 c 8099 112.75 o 32673 112.75 c 8094 113.07 o 32677 113.07 c 8090 113.23 o 32679 113.23 c 8088 113.39 o 32683 113.39 c 8084 113.55 o 32684 113.55 c 8083 113.70 o 32689 113.70 c 8078 114.20 o 32691 114.20 c 8076 114.35 o 32693 114.35 c 8074 114.51 o 32695 114.51 c 8072 114.66 o 32697 114.66 c 8070 114.96 o 32703 114.96 c 8064 115.11 o 32706 115.11 c 8061 115.28 o 32708 115.28 c 8059 115.58 o 32712 115.58 c 8055 115.76 o 32714 115.76 c 8053 116.09 o 32722 116.09 c 8045 116.26 o 32723 116.26 c 8044 116.41 o 32728 116.41 c 8039 116.57 o 32733 116.57 c 8034 116.74 o 32736 116.74 c 8031 116.94 o 32738 116.94 c 8029 117.10 o 32739 117.10 c 8028 117.26 o 32740 117.26 c 8027 117.42 o 32741 117.42 c 8026 117.59 o 32742 117.59 c 8025 118.07 o 32745 118.07 c 8022 118.24 o 32747 118.24 c 8020 118.39 o 32753 118.39 c 8014 118.54 o 32754 118.54 c 8013 118.85 o 32758 118.85 c 8009 119.02 o 32760 119.02 c 8007 119.19 o 32765 119.19 c 8002 119.36 o 32767 119.36 c 8000 119.67 o 32770 119.67 c 7997 119.85 o 32774 119.85 c 7993 120.00 o 32779 120.00 c 7988 120.46 o 32781 120.46 c 7986 120.63 o 32785 120.63 c 7982 120.95 o 32787 120.95 c 7980 121.09 o 32790 121.09 c 7977 121.56 o 32792 121.56 c 7975 121.69 o 32795 121.69 c 7972 121.85 o 32797 121.85 c 7970 121.99 o 32799 121.99 c 7968 122.13 o 32803 122.13 c 7964 122.26 o 32804 122.26 c 7963 122.42 o 32805 122.42 c 7962 122.58 o 32809 122.58 c 7958 122.72 o 32811 122.72 c 7956 122.86 o 32818 122.86 c 7949 123.00 o 32820 123.00 c 7947 123.15 o 32822 123.15 c 7945 123.30 o 32823 123.30 c 7944 123.45 o 32824 123.45 c 7943 123.60 o 32830 123.60 c 7937 123.74 o 32834 123.74 c 7933 124.03 o 32837 124.03 c 7930 124.18 o 32838 124.18 c 7929 124.33 o 32841 124.33 c 7926 124.48 o 32845 124.48 c 7922 124.62 o 32847 124.62 c 7920 124.79 o 32848 124.79 c 7919 124.95 o 32853 124.95 c 7914 125.13 o 32855 125.13 c 7912 125.30 o 32862 125.30 c 7905 125.46 o 32866 125.46 c 7901 125.64 o 32870 125.64 c 7897 125.82 o 32871 125.82 c 7896 125.97 o 32875 125.97 c 7892 126.14 o 32879 126.14 c 7888 126.52 o 32880 126.52 c 7887 126.70 o 32882 126.70 c 7885 126.87 o 32885 126.87 c 7882 127.03 o 32890 127.03 c 7877 127.19 o 32897 127.19 c 7870 127.36 o 32899 127.36 c 7868 127.53 o 32903 127.53 c 7864 127.70 o 32906 127.70 c 7861 127.87 o 32912 127.87 c 7855 128.03 o 32913 128.03 c 7854 128.18 o 32916 128.18 c 7851 128.35 o 32923 128.36 c 7844 128.53 o 32924 128.53 c 7843 128.87 o 32928 128.87 c 7839 129.24 o 32930 129.24 c 7837 129.43 o 32933 129.43 c 7834 129.62 o 32934 129.62 c 7833 129.80 o 32938 129.80 c 7829 129.98 o 32944 129.98 c 7823 130.17 o 32946 130.17 c 7821 130.35 o 32947 130.35 c 7820 130.52 o 32950 130.52 c 7817 130.69 o 32957 130.69 c 7810 130.88 o 32959 130.88 c 7808 131.05 o 32962 131.05 c 7805 131.23 o 32963 131.23 c 7804 131.40 o 32970 131.40 c 7797 131.58 o 32973 131.58 c 7794 131.75 o 32977 131.75 c 7790 131.93 o 32981 131.93 c 7786 132.29 o 32983 132.29 c 7784 132.48 o 32984 132.48 c 7783 132.66 o 32985 132.66 c 7782 132.84 o 32987 132.84 c 7780 133.03 o 32989 133.03 c 7778 133.21 o 32990 133.21 c 7777 133.38 o 32996 133.38 c 7771 133.56 o 33002 133.56 c 7765 133.75 o 33003 133.75 c 7764 133.91 o 33006 133.91 c 7761 134.08 o 33010 134.08 c 7757 134.25 o 33015 134.25 c 7752 134.57 o 33019 134.57 c 7748 134.74 o 33027 134.74 c 7740 135.06 o 33028 135.06 c 7739 135.22 o 33030 135.22 c 7737 135.38 o 33032 135.38 c 7735 135.71 o 33035 135.71 c 7732 135.88 o 33036 135.88 c 7731 136.03 o 33038 136.03 c 7729 136.19 o 33039 136.19 c 7728 136.36 o 33041 136.36 c 7726 136.52 o 33047 136.52 c 7720 136.67 o 33052 136.68 c 7715 136.83 o 33056 136.83 c 7711 137.00 o 33058 137.00 c 7709 137.15 o 33060 137.15 c 7707 137.29 o 33066 137.29 c 7701 137.46 o 33070 137.46 c 7697 137.62 o 33077 137.62 c 7690 137.96 o 33081 137.96 c 7686 138.11 o 33087 138.11 c 7680 138.88 o 33089 138.88 c 7678 139.03 o 33092 139.03 c 7675 139.18 o 33095 139.18 c 7672 139.33 o 33099 139.33 c 7668 139.48 o 33101 139.48 c 7666 139.81 o 33109 139.81 c 7658 139.96 o 33113 139.96 c 7654 140.31 o 33117 140.31 c 7650 140.64 o 33122 140.64 c 7645 140.80 o 33125 140.80 c 7642 140.97 o 33128 140.97 c 7639 141.13 o 33131 141.13 c 7636 141.30 o 33132 141.30 c 7635 141.47 o 33140 141.47 c 7627 141.64 o 33144 141.64 c 7623 141.85 o 33145 141.85 c 7622 142.01 o 33148 142.01 c 7619 142.34 o 33151 142.34 c 7616 142.49 o 33152 142.49 c 7615 142.67 o 33156 142.67 c 7611 142.85 o 33159 142.85 c 7608 143.03 o 33163 143.03 c 7604 143.21 o 33169 143.21 c 7598 143.41 o 33175 143.41 c 7592 143.62 o 33179 143.62 c 7588 143.81 o 33183 143.81 c 7584 144.00 o 33187 144.00 c 7580 144.19 o 33190 144.19 c 7577 144.38 o 33196 144.38 c 7571 144.57 o 33198 144.57 c 7569 144.77 o 33199 144.77 c 7568 144.95 o 33200 144.95 c 7567 145.14 o 33201 145.14 c 7566 145.32 o 33202 145.32 c 7565 145.51 o 33204 145.51 c 7563 146.45 o 33206 146.45 c 7561 146.63 o 33207 146.63 c 7560 146.82 o 33209 146.82 c 7558 147.19 o 33213 147.19 c 7554 147.36 o 33218 147.36 c 7549 147.53 o 33220 147.53 c 7547 147.69 o 33221 147.69 c 7546 147.86 o 33223 147.86 c 7544 148.06 o 33224 148.06 c 7543 148.25 o 33226 148.25 c 7541 148.43 o 33230 148.43 c 7537 148.62 o 33235 148.62 c 7532 149.01 o 33239 149.01 c 7528 149.19 o 33241 149.19 c 7526 149.37 o 33244 149.37 c 7523 149.56 o 33247 149.56 c 7520 149.74 o 33251 149.75 c 7516 149.93 o 33252 149.93 c 7515 150.13 o 33256 150.13 c 7511 150.32 o 33258 150.32 c 7509 150.51 o 33260 150.51 c 7507 150.69 o 33261 150.69 c 7506 151.26 o 33265 151.26 c 7502 151.47 o 33266 151.47 c 7501 151.68 o 33268 151.68 c 7499 151.88 o 33270 151.88 c 7497 152.30 o 33274 152.30 c 7493 152.69 o 33278 152.69 c 7489 153.09 o 33280 153.09 c 7487 153.31 o 33283 153.31 c 7484 153.51 o 33287 153.51 c 7480 153.73 o 33290 153.73 c 7477 154.09 o 33294 154.09 c 7473 154.29 o 33297 154.29 c 7470 154.48 o 33299 154.48 c 7468 154.68 o 33303 154.68 c 7464 154.87 o 33304 154.87 c 7463 155.06 o 33309 155.06 c 7458 155.25 o 33313 155.25 c 7454 155.43 o 33316 155.43 c 7451 155.63 o 33319 155.63 c 7448 155.99 o 33325 155.99 c 7442 156.17 o 33330 156.17 c 7437 156.35 o 33335 156.35 c 7432 156.54 o 33339 156.54 c 7428 156.71 o 33342 156.71 c 7425 157.05 o 33346 157.05 c 7421 157.23 o 33348 157.23 c 7419 157.41 o 33354 157.41 c 7413 157.58 o 33357 157.58 c 7410 157.76 o 33358 157.76 c 7409 157.93 o 33359 157.93 c 7408 158.11 o 33363 158.11 c 7404 158.29 o 33365 158.29 c 7402 158.47 o 33368 158.47 c 7399 158.84 o 33369 158.84 c 7398 159.00 o 33375 159.00 c 7392 159.37 o 33378 159.37 c 7389 159.57 o 33381 159.57 c 7386 159.75 o 33382 159.75 c 7385 159.94 o 33384 159.94 c 7383 160.12 o 33386 160.12 c 7381 160.30 o 33392 160.30 c 7375 160.66 o 33393 160.66 c 7374 161.24 o 33397 161.24 c 7370 161.41 o 33399 161.41 c 7368 161.60 o 33402 161.60 c 7365 162.17 o 33403 162.17 c 7364 162.35 o 33405 162.35 c 7362 162.54 o 33409 162.54 c 7358 162.72 o 33415 162.72 c 7352 163.12 o 33417 163.12 c 7350 163.30 o 33422 163.30 c 7345 163.47 o 33427 163.47 c 7340 163.64 o 33431 163.64 c 7336 163.83 o 33432 163.83 c 7335 164.18 o 33436 164.18 c 7331 164.58 o 33441 164.58 c 7326 164.77 o 33446 164.77 c 7321 164.96 o 33449 164.96 c 7318 165.68 o 33452 165.68 c 7315 165.87 o 33453 165.87 c 7314 166.05 o 33455 166.05 c 7312 166.23 o 33458 166.23 c 7309 166.41 o 33462 166.41 c 7305 166.58 o 33463 166.58 c 7304 166.75 o 33464 166.75 c 7303 166.94 o 33466 166.94 c 7301 167.12 o 33468 167.12 c 7299 167.30 o 33474 167.30 c 7293 167.48 o 33476 167.48 c 7291 168.24 o 33482 168.24 c 7285 168.43 o 33488 168.43 c 7279 168.63 o 33491 168.63 c 7276 168.84 o 33493 168.84 c 7274 169.04 o 33495 169.04 c 7272 169.44 o 33498 169.44 c 7269 169.64 o 33500 169.64 c 7267 169.82 o 33507 169.82 c 7260 170.66 o 33510 170.66 c 7257 170.88 o 33514 170.88 c 7253 171.33 o 33517 171.33 c 7250 171.55 o 33522 171.55 c 7245 171.75 o 33527 171.75 c 7240 171.97 o 33532 171.97 c 7235 172.43 o 33535 172.43 c 7232 172.64 o 33539 172.64 c 7228 172.87 o 33542 172.87 c 7225 173.11 o 33548 173.11 c 7219 173.32 o 33549 173.32 c 7218 173.56 o 33550 173.56 c 7217 173.78 o 33553 173.78 c 7214 174.00 o 33555 174.00 c 7212 174.87 o 33557 174.87 c 7210 175.33 o 33559 175.33 c 7208 175.54 o 33564 175.54 c 7203 175.77 o 33569 175.77 c 7198 176.00 o 33573 176.00 c 7194 176.22 o 33577 176.22 c 7190 176.45 o 33580 176.45 c 7187 176.71 o 33584 176.71 c 7183 176.96 o 33587 176.96 c 7180 177.16 o 33589 177.16 c 7178 177.39 o 33594 177.39 c 7173 177.61 o 33602 177.61 c 7165 177.87 o 33606 177.87 c 7161 178.09 o 33608 178.09 c 7159 178.56 o 33610 178.56 c 7157 178.80 o 33611 178.80 c 7156 179.03 o 33612 179.03 c 7155 179.25 o 33615 179.25 c 7152 180.57 o 33617 180.57 c 7150 180.79 o 33619 180.79 c 7148 181.01 o 33622 181.01 c 7145 181.23 o 33625 181.23 c 7142 181.46 o 33627 181.46 c 7140 181.90 o 33629 181.90 c 7138 182.35 o 33634 182.35 c 7133 182.55 o 33635 182.55 c 7132 183.01 o 33641 183.01 c 7126 183.23 o 33644 183.23 c 7123 183.46 o 33645 183.46 c 7122 183.70 o 33648 183.70 c 7119 183.93 o 33652 183.93 c 7115 184.16 o 33656 184.16 c 7111 184.40 o 33659 184.40 c 7108 184.88 o 33666 184.88 c 7101 185.11 o 33667 185.11 c 7100 185.81 o 33674 185.81 c 7093 186.04 o 33677 186.04 c 7090 186.29 o 33679 186.29 c 7088 186.51 o 33682 186.51 c 7085 186.75 o 33684 186.75 c 7083 186.97 o 33686 186.97 c 7081 187.39 o 33689 187.39 c 7078 187.61 o 33690 187.61 c 7077 187.83 o 33691 187.83 c 7076 188.06 o 33692 188.06 c 7075 188.27 o 33693 188.27 c 7074 189.15 o 33696 189.15 c 7071 189.58 o 33700 189.58 c 7067 189.77 o 33705 189.77 c 7062 190.00 o 33709 190.00 c 7058 190.22 o 33712 190.22 c 7055 190.43 o 33714 190.43 c 7053 190.65 o 33715 190.65 c 7052 190.86 o 33717 190.86 c 7050 191.07 o 33723 191.07 c 7044 191.28 o 33725 191.28 c 7042 191.51 o 33730 191.51 c 7037 191.73 o 33736 191.73 c 7031 191.95 o 33739 191.95 c 7028 192.18 o 33743 192.18 c 7024 192.38 o 33745 192.38 c 7022 192.59 o 33746 192.59 c 7021 192.78 o 33747 192.78 c 7020 193.00 o 33750 193.00 c 7017 193.82 o 33754 193.82 c 7013 194.03 o 33757 194.03 c 7010 194.24 o 33759 194.24 c 7008 194.46 o 33760 194.46 c 7007 194.69 o 33763 194.69 c 7004 194.90 o 33767 194.90 c 7000 195.14 o 33771 195.14 c 6996 195.79 o 33776 195.79 c 6991 196.01 o 33779 196.01 c 6988 196.22 o 33781 196.22 c 6986 196.44 o 33783 196.44 c 6984 197.15 o 33788 197.15 c 6979 197.39 o 33793 197.39 c 6974 197.62 o 33794 197.62 c 6973 197.82 o 33797 197.82 c 6970 198.06 o 33800 198.06 c 6967 198.26 o 33802 198.26 c 6965 198.47 o 33807 198.47 c 6960 198.93 o 33808 198.93 c 6959 199.16 o 33813 199.16 c 6954 199.37 o 33814 199.37 c 6953 199.62 o 33815 199.62 c 6952 200.09 o 33818 200.09 c 6949 200.53 o 33823 200.53 c 6944 200.98 o 33825 200.98 c 6942 201.21 o 33826 201.21 c 6941 201.43 o 33827 201.43 c 6940 201.64 o 33831 201.64 c 6936 201.86 o 33836 201.86 c 6931 202.11 o 33841 202.11 c 6926 202.33 o 33845 202.33 c 6922 203.46 o 33848 203.46 c 6919 203.67 o 33849 203.67 c 6918 203.89 o 33851 203.89 c 6916 204.13 o 33854 204.13 c 6913 204.36 o 33860 204.36 c 6907 204.58 o 33864 204.58 c 6903 205.03 o 33865 205.03 c 6902 205.69 o 33869 205.69 c 6898 205.91 o 33871 205.91 c 6896 206.37 o 33874 206.37 c 6893 206.60 o 33878 206.60 c 6889 207.05 o 33882 207.05 c 6885 207.29 o 33885 207.29 c 6882 207.73 o 33888 207.73 c 6879 207.96 o 33889 207.96 c 6878 208.19 o 33893 208.19 c 6874 208.43 o 33897 208.43 c 6870 208.69 o 33899 208.69 c 6868 208.93 o 33903 208.93 c 6864 210.62 o 33906 210.62 c 6861 211.65 o 33908 211.65 c 6859 212.16 o 33911 212.16 c 6856 212.40 o 33912 212.40 c 6855 212.66 o 33915 212.66 c 6852 212.90 o 33917 212.90 c 6850 213.15 o 33919 213.15 c 6848 213.40 o 33922 213.40 c 6845 213.66 o 33923 213.66 c 6844 213.92 o 33926 213.92 c 6841 214.16 o 33927 214.16 c 6840 214.41 o 33929 214.41 c 6838 214.69 o 33930 214.69 c 6837 214.93 o 33931 214.93 c 6836 215.18 o 33932 215.18 c 6835 215.44 o 33935 215.44 c 6832 215.72 o 33943 215.72 c 6824 216.22 o 33944 216.22 c 6823 216.49 o 33949 216.49 c 6818 216.74 o 33952 216.74 c 6815 217.28 o 33953 217.28 c 6814 217.51 o 33954 217.51 c 6813 217.75 o 33957 217.75 c 6810 217.97 o 33964 217.97 c 6803 218.23 o 33965 218.23 c 6802 218.47 o 33969 218.47 c 6798 218.71 o 33970 218.71 c 6797 218.96 o 33974 218.96 c 6793 219.23 o 33980 219.23 c 6787 219.99 o 33981 219.99 c 6786 220.49 o 33985 220.49 c 6782 220.74 o 33992 220.74 c 6775 220.97 o 33993 220.97 c 6774 221.45 o 33994 221.45 c 6773 221.96 o 33998 221.96 c 6769 222.20 o 34002 222.20 c 6765 222.46 o 34006 222.46 c 6761 222.71 o 34008 222.71 c 6759 222.95 o 34012 222.95 c 6755 223.21 o 34013 223.21 c 6754 223.49 o 34014 223.49 c 6753 223.76 o 34015 223.76 c 6752 224.02 o 34017 224.02 c 6750 224.26 o 34022 224.26 c 6745 224.78 o 34026 224.78 c 6741 225.03 o 34028 225.03 c 6739 225.30 o 34029 225.30 c 6738 227.16 o 34031 227.16 c 6736 227.42 o 34032 227.42 c 6735 227.69 o 34035 227.69 c 6732 227.95 o 34037 227.95 c 6730 228.20 o 34039 228.20 c 6728 228.69 o 34042 228.69 c 6725 229.23 o 34044 229.23 c 6723 229.47 o 34045 229.47 c 6722 230.69 o 34048 230.69 c 6719 231.17 o 34050 231.17 c 6717 231.41 o 34051 231.41 c 6716 231.67 o 34053 231.67 c 6714 232.46 o 34055 232.46 c 6712 232.98 o 34056 232.98 c 6711 233.21 o 34058 233.21 c 6709 234.49 o 34062 234.49 c 6705 234.76 o 34063 234.76 c 6704 235.30 o 34066 235.30 c 6701 235.81 o 34067 235.81 c 6700 236.07 o 34068 236.08 c 6699 236.32 o 34074 236.32 c 6693 236.56 o 34077 236.56 c 6690 236.81 o 34078 236.81 c 6689 237.07 o 34079 237.07 c 6688 237.32 o 34082 237.32 c 6685 237.60 o 34084 237.60 c 6683 238.15 o 34090 238.15 c 6677 238.40 o 34095 238.40 c 6672 239.41 o 34096 239.41 c 6671 239.67 o 34100 239.67 c 6667 239.92 o 34101 239.92 c 6666 240.42 o 34105 240.42 c 6662 240.68 o 34107 240.68 c 6660 241.46 o 34111 241.46 c 6656 242.25 o 34112 242.25 c 6655 243.04 o 34113 243.04 c 6654 243.53 o 34115 243.53 c 6652 243.77 o 34118 243.77 c 6649 244.02 o 34121 244.02 c 6646 244.52 o 34122 244.52 c 6645 244.78 o 34123 244.78 c 6644 245.30 o 34124 245.30 c 6643 245.55 o 34125 245.55 c 6642 245.79 o 34130 245.79 c 6637 246.04 o 34131 246.04 c 6636 246.30 o 34133 246.31 c 6634 246.57 o 34135 246.57 c 6632 246.81 o 34137 246.81 c 6630 247.05 o 34138 247.05 c 6629 247.32 o 34142 247.32 c 6625 247.57 o 34144 247.57 c 6623 248.84 o 34149 248.84 c 6618 249.38 o 34150 249.38 c 6617 249.65 o 34152 249.65 c 6615 249.90 o 34155 249.90 c 6612 250.42 o 34158 250.42 c 6609 250.94 o 34159 250.94 c 6608 251.43 o 34164 251.43 c 6603 254.85 o 34165 254.85 c 6602 255.10 o 34167 255.10 c 6600 255.33 o 34173 255.33 c 6594 255.56 o 34178 255.56 c 6589 255.80 o 34179 255.80 c 6588 256.04 o 34183 256.04 c 6584 256.28 o 34184 256.28 c 6583 256.50 o 34185 256.50 c 6582 256.98 o 34189 256.98 c 6578 257.21 o 34192 257.21 c 6575 257.68 o 34196 257.68 c 6571 257.91 o 34199 257.91 c 6568 258.14 o 34202 258.14 c 6565 258.38 o 34205 258.38 c 6562 258.86 o 34206 258.86 c 6561 259.09 o 34207 259.09 c 6560 259.34 o 34208 259.34 c 6559 259.88 o 34209 259.88 c 6558 260.13 o 34210 260.13 c 6557 260.41 o 34212 260.41 c 6555 260.66 o 34213 260.66 c 6554 261.18 o 34215 261.18 c 6552 261.44 o 34217 261.44 c 6550 261.69 o 34220 261.69 c 6547 261.94 o 34223 261.94 c 6544 262.19 o 34224 262.19 c 6543 262.46 o 34228 262.46 c 6539 262.94 o 34233 262.94 c 6534 263.71 o 34235 263.71 c 6532 263.97 o 34237 263.97 c 6530 264.26 o 34238 264.26 c 6529 266.13 o 34239 266.13 c 6528 266.37 o 34241 266.37 c 6526 266.63 o 34243 266.63 c 6524 266.90 o 34246 266.90 c 6521 267.92 o 34248 267.92 c 6519 268.17 o 34251 268.17 c 6516 268.44 o 34254 268.44 c 6513 268.63 o 34259 268.63 c 6508 268.88 o 34262 268.88 c 6505 269.16 o 34263 269.16 c 6504 269.44 o 34266 269.44 c 6501 269.70 o 34270 269.70 c 6497 269.96 o 34271 269.96 c 6496 270.52 o 34275 270.52 c 6492 270.78 o 34278 270.78 c 6489 271.05 o 34283 271.05 c 6484 271.60 o 34284 271.60 c 6483 271.88 o 34285 271.88 c 6482 272.17 o 34286 272.17 c 6481 272.44 o 34290 272.44 c 6477 272.73 o 34294 272.73 c 6473 273.02 o 34296 273.02 c 6471 273.59 o 34301 273.59 c 6466 273.90 o 34308 273.90 c 6459 274.17 o 34313 274.17 c 6454 274.46 o 34317 274.46 c 6450 274.74 o 34318 274.74 c 6449 275.34 o 34319 275.34 c 6448 275.92 o 34323 275.92 c 6444 276.51 o 34328 276.51 c 6439 277.12 o 34333 277.12 c 6434 277.42 o 34336 277.42 c 6431 278.54 o 34340 278.54 c 6427 278.83 o 34344 278.83 c 6423 279.11 o 34345 279.11 c 6422 279.40 o 34346 279.40 c 6421 279.69 o 34348 279.69 c 6419 280.25 o 34351 280.25 c 6416 280.54 o 34353 280.54 c 6414 281.93 o 34354 281.93 c 6413 283.03 o 34358 283.03 c 6409 283.30 o 34359 283.30 c 6408 283.58 o 34361 283.58 c 6406 283.86 o 34362 283.86 c 6405 284.41 o 34365 284.41 c 6402 285.58 o 34369 285.58 c 6398 285.87 o 34373 285.87 c 6394 286.16 o 34378 286.16 c 6389 286.43 o 34381 286.43 c 6386 286.69 o 34382 286.70 c 6385 287.26 o 34385 287.26 c 6382 287.56 o 34386 287.56 c 6381 287.89 o 34387 287.89 c 6380 288.49 o 34388 288.49 c 6379 288.77 o 34392 288.77 c 6375 289.08 o 34395 289.08 c 6372 289.66 o 34397 289.66 c 6370 289.98 o 34398 289.98 c 6369 290.28 o 34401 290.28 c 6366 290.58 o 34407 290.58 c 6360 290.89 o 34409 290.89 c 6358 291.19 o 34411 291.19 c 6356 291.49 o 34412 291.49 c 6355 291.79 o 34414 291.79 c 6353 292.12 o 34415 292.12 c 6352 292.42 o 34418 292.42 c 6349 292.72 o 34419 292.72 c 6348 293.64 o 34420 293.64 c 6347 294.57 o 34422 294.57 c 6345 294.91 o 34425 294.91 c 6342 295.55 o 34427 295.55 c 6340 297.14 o 34428 297.14 c 6339 297.47 o 34429 297.47 c 6338 297.81 o 34437 297.81 c 6330 298.46 o 34440 298.46 c 6327 298.81 o 34444 298.81 c 6323 299.14 o 34445 299.14 c 6322 299.48 o 34449 299.48 c 6318 303.37 o 34452 303.37 c 6315 303.70 o 34455 303.70 c 6312 304.07 o 34458 304.07 c 6309 304.42 o 34459 304.42 c 6308 304.81 o 34462 304.81 c 6305 305.88 o 34464 305.88 c 6303 306.28 o 34465 306.28 c 6302 306.67 o 34466 306.67 c 6301 307.81 o 34469 307.81 c 6298 308.18 o 34476 308.18 c 6291 309.28 o 34477 309.28 c 6290 309.64 o 34480 309.64 c 6287 310.01 o 34483 310.01 c 6284 310.39 o 34486 310.39 c 6281 311.14 o 34489 311.14 c 6278 311.51 o 34490 311.51 c 6277 311.87 o 34491 311.87 c 6276 312.22 o 34493 312.22 c 6274 312.59 o 34496 312.59 c 6271 313.36 o 34497 313.36 c 6270 313.72 o 34498 313.72 c 6269 314.11 o 34501 314.11 c 6266 314.46 o 34502 314.46 c 6265 315.57 o 34506 315.57 c 6261 316.34 o 34509 316.34 c 6258 316.71 o 34511 316.71 c 6256 317.44 o 34514 317.44 c 6253 318.16 o 34515 318.16 c 6252 318.53 o 34519 318.53 c 6248 318.90 o 34521 318.90 c 6246 319.27 o 34522 319.27 c 6245 319.63 o 34525 319.63 c 6242 320.35 o 34526 320.35 c 6241 320.71 o 34528 320.71 c 6239 321.46 o 34529 321.46 c 6238 321.84 o 34531 321.84 c 6236 322.22 o 34532 322.22 c 6235 322.97 o 34535 322.97 c 6232 323.34 o 34536 323.34 c 6231 323.72 o 34538 323.72 c 6229 324.12 o 34539 324.12 c 6228 324.50 o 34541 324.50 c 6226 324.90 o 34543 324.90 c 6224 325.31 o 34544 325.31 c 6223 328.88 o 34545 328.88 c 6222 330.46 o 34548 330.46 c 6219 330.85 o 34551 330.85 c 6216 331.23 o 34553 331.23 c 6214 332.42 o 34556 332.42 c 6211 333.98 o 34558 333.98 c 6209 334.36 o 34559 334.36 c 6208 335.13 o 34562 335.13 c 6205 335.53 o 34565 335.53 c 6202 335.91 o 34567 335.91 c 6200 337.87 o 34572 337.87 c 6195 338.25 o 34575 338.25 c 6192 339.02 o 34580 339.02 c 6187 339.42 o 34583 339.42 c 6184 339.80 o 34585 339.80 c 6182 340.18 o 34588 340.18 c 6179 340.57 o 34589 340.57 c 6178 342.12 o 34590 342.12 c 6177 343.35 o 34592 343.35 c 6175 344.16 o 34593 344.16 c 6174 344.58 o 34594 344.58 c 6173 344.99 o 34598 344.99 c 6169 345.39 o 34601 345.39 c 6166 345.78 o 34602 345.78 c 6165 346.22 o 34603 346.22 c 6164 346.66 o 34605 346.66 c 6162 347.85 o 34606 347.85 c 6161 348.23 o 34608 348.23 c 6159 348.62 o 34609 348.62 c 6158 349.00 o 34611 349.00 c 6156 349.39 o 34613 349.39 c 6154 350.17 o 34615 350.17 c 6152 350.55 o 34619 350.55 c 6148 350.93 o 34620 350.93 c 6147 351.33 o 34622 351.33 c 6145 351.71 o 34626 351.71 c 6141 352.09 o 34627 352.09 c 6140 352.84 o 34628 352.84 c 6139 353.23 o 34630 353.23 c 6137 353.99 o 34631 353.99 c 6136 355.13 o 34632 355.13 c 6135 355.50 o 34637 355.50 c 6130 355.87 o 34641 355.87 c 6126 356.23 o 34642 356.23 c 6125 356.62 o 34645 356.62 c 6122 357.01 o 34648 357.01 c 6119 357.77 o 34652 357.77 c 6115 358.94 o 34655 358.94 c 6112 359.34 o 34657 359.34 c 6110 359.73 o 34660 359.73 c 6107 360.13 o 34661 360.13 c 6106 360.53 o 34662 360.53 c 6105 360.92 o 34664 360.92 c 6103 361.32 o 34667 361.32 c 6100 361.73 o 34669 361.73 c 6098 362.16 o 34675 362.16 c 6092 362.56 o 34679 362.56 c 6088 362.98 o 34682 362.98 c 6085 363.39 o 34685 363.39 c 6082 367.40 o 34686 367.40 c 6081 368.61 o 34687 368.61 c 6080 368.99 o 34690 368.99 c 6077 369.39 o 34692 369.39 c 6075 369.80 o 34693 369.80 c 6074 370.59 o 34697 370.59 c 6070 370.99 o 34699 370.99 c 6068 371.37 o 34701 371.37 c 6066 371.77 o 34703 371.77 c 6064 372.14 o 34704 372.14 c 6063 372.91 o 34711 372.91 c 6056 373.30 o 34718 373.30 c 6049 373.68 o 34719 373.68 c 6048 374.09 o 34720 374.09 c 6047 374.46 o 34723 374.46 c 6044 375.22 o 34725 375.22 c 6042 376.39 o 34727 376.39 c 6040 377.53 o 34728 377.53 c 6039 377.92 o 34729 377.92 c 6038 378.27 o 34730 378.27 c 6037 378.66 o 34732 378.66 c 6035 379.05 o 34733 379.05 c 6034 379.44 o 34736 379.44 c 6031 379.81 o 34737 379.81 c 6030 380.21 o 34739 380.21 c 6028 380.60 o 34745 380.60 c 6022 380.99 o 34746 380.99 c 6021 381.81 o 34748 381.81 c 6019 383.46 o 34750 383.46 c 6017 384.66 o 34752 384.66 c 6015 385.06 o 34756 385.06 c 6011 385.47 o 34757 385.47 c 6010 385.89 o 34760 385.89 c 6007 386.30 o 34761 386.30 c 6006 387.17 o 34762 387.17 c 6005 387.61 o 34765 387.61 c 6002 388.04 o 34771 388.04 c 5996 389.64 o 34776 389.64 c 5991 390.10 o 34777 390.10 c 5990 390.55 o 34780 390.55 c 5987 390.97 o 34783 390.97 c 5984 391.43 o 34785 391.43 c 5982 391.86 o 34789 391.86 c 5978 392.27 o 34791 392.27 c 5976 394.39 o 34792 394.39 c 5975 394.81 o 34794 394.81 c 5973 395.25 o 34795 395.25 c 5972 397.42 o 34797 397.42 c 5970 397.86 o 34799 397.86 c 5968 398.28 o 34803 398.28 c 5964 398.71 o 34804 398.71 c 5963 400.02 o 34805 400.02 c 5962 400.84 o 34808 400.84 c 5959 401.27 o 34810 401.27 c 5957 401.72 o 34811 401.72 c 5956 402.13 o 34813 402.13 c 5954 402.54 o 34817 402.54 c 5950 403.37 o 34818 403.37 c 5949 403.81 o 34823 403.81 c 5944 404.23 o 34829 404.23 c 5938 404.65 o 34831 404.65 c 5936 405.07 o 34832 405.07 c 5935 405.50 o 34834 405.50 c 5933 405.93 o 34836 405.93 c 5931 406.40 o 34837 406.40 c 5930 407.32 o 34839 407.32 c 5928 408.63 o 34841 408.63 c 5926 409.08 o 34843 409.08 c 5924 409.51 o 34846 409.51 c 5921 409.93 o 34847 409.93 c 5920 410.78 o 34848 410.78 c 5919 411.20 o 34850 411.20 c 5917 412.08 o 34851 412.08 c 5916 412.53 o 34853 412.53 c 5914 413.38 o 34859 413.38 c 5908 413.79 o 34861 413.79 c 5906 414.06 o 34862 414.06 c 5905 414.79 o 34866 414.79 c 5901 415.20 o 34867 415.20 c 5900 415.64 o 34868 415.64 c 5899 416.06 o 34870 416.06 c 5897 417.29 o 34871 417.29 c 5896 417.70 o 34875 417.70 c 5892 418.11 o 34876 418.11 c 5891 418.51 o 34878 418.51 c 5889 420.17 o 34882 420.17 c 5885 420.58 o 34884 420.58 c 5883 421.78 o 34885 421.78 c 5882 422.21 o 34888 422.21 c 5879 422.60 o 34892 422.60 c 5875 423.03 o 34895 423.03 c 5872 423.45 o 34896 423.45 c 5871 423.88 o 34897 423.88 c 5870 424.29 o 34901 424.29 c 5866 425.11 o 34902 425.11 c 5865 425.52 o 34908 425.52 c 5859 426.39 o 34911 426.39 c 5856 432.27 o 34913 432.27 c 5854 432.70 o 34915 432.70 c 5852 433.14 o 34917 433.14 c 5850 433.58 o 34919 433.58 c 5848 436.25 o 34920 436.25 c 5847 437.17 o 34922 437.17 c 5845 437.60 o 34925 437.60 c 5842 438.05 o 34926 438.05 c 5841 438.52 o 34928 438.52 c 5839 438.96 o 34929 438.96 c 5838 439.43 o 34931 439.43 c 5836 440.28 o 34936 440.28 c 5831 440.74 o 34939 440.74 c 5828 443.04 o 34940 443.04 c 5827 444.39 o 34941 444.39 c 5826 444.84 o 34943 444.84 c 5824 445.31 o 34944 445.31 c 5823 445.78 o 34945 445.78 c 5822 446.69 o 34951 446.69 c 5816 447.16 o 34953 447.16 c 5814 448.11 o 34954 448.11 c 5813 449.03 o 34956 449.03 c 5811 454.35 o 34958 454.35 c 5809 457.38 o 34960 457.38 c 5807 457.80 o 34963 457.80 c 5804 458.21 o 34968 458.21 c 5799 459.03 o 34970 459.03 c 5797 459.88 o 34972 459.88 c 5795 460.29 o 34973 460.29 c 5794 460.69 o 34975 460.69 c 5792 462.33 o 34978 462.33 c 5789 462.75 o 34979 462.75 c 5788 463.18 o 34984 463.18 c 5783 464.45 o 34985 464.45 c 5782 464.75 o 34988 464.75 c 5779 465.15 o 34990 465.15 c 5777 465.57 o 34994 465.57 c 5773 466.02 o 34999 466.02 c 5768 466.84 o 35004 466.84 c 5763 468.97 o 35006 468.97 c 5761 469.39 o 35007 469.39 c 5760 469.81 o 35009 469.81 c 5758 470.24 o 35010 470.24 c 5757 473.58 o 35011 473.58 c 5756 473.99 o 35013 473.99 c 5754 474.82 o 35017 474.82 c 5750 475.24 o 35019 475.24 c 5748 476.07 o 35021 476.07 c 5746 476.93 o 35023 476.93 c 5744 478.13 o 35025 478.13 c 5742 478.56 o 35028 478.56 c 5739 479.03 o 35031 479.03 c 5736 479.49 o 35035 479.49 c 5732 479.94 o 35036 479.94 c 5731 480.35 o 35038 480.35 c 5729 481.05 o 35039 481.05 c 5728 481.48 o 35043 481.48 c 5724 482.81 o 35045 482.81 c 5722 483.70 o 35046 483.70 c 5721 484.56 o 35050 484.56 c 5717 486.72 o 35051 486.72 c 5716 487.17 o 35052 487.17 c 5715 487.66 o 35054 487.66 c 5713 488.16 o 35055 488.16 c 5712 488.62 o 35056 488.62 c 5711 489.53 o 35061 489.53 c 5706 490.01 o 35064 490.01 c 5703 490.45 o 35065 490.45 c 5702 490.91 o 35066 490.91 c 5701 491.40 o 35069 491.40 c 5698 491.88 o 35071 491.88 c 5696 492.34 o 35073 492.34 c 5694 493.22 o 35074 493.22 c 5693 494.87 o 35077 494.87 c 5690 495.34 o 35081 495.34 c 5686 498.42 o 35085 498.42 c 5682 499.36 o 35088 499.36 c 5679 500.31 o 35094 500.31 c 5673 500.79 o 35097 500.79 c 5670 501.04 o 35098 501.04 c 5669 501.36 o 35101 501.36 c 5666 501.84 o 35104 501.84 c 5663 502.34 o 35106 502.34 c 5661 502.81 o 35108 502.81 c 5659 504.15 o 35110 504.15 c 5657 504.59 o 35111 504.59 c 5656 505.97 o 35116 505.97 c 5651 506.44 o 35117 506.44 c 5650 506.73 o 35119 506.73 c 5648 507.19 o 35122 507.19 c 5645 508.59 o 35123 508.59 c 5644 509.05 o 35127 509.05 c 5640 510.93 o 35129 510.93 c 5638 511.40 o 35131 511.40 c 5636 511.90 o 35134 511.90 c 5633 512.39 o 35137 512.39 c 5630 512.86 o 35139 512.86 c 5628 513.35 o 35141 513.35 c 5626 513.83 o 35144 513.83 c 5623 514.80 o 35147 514.80 c 5620 516.26 o 35152 516.26 c 5615 517.71 o 35156 517.71 c 5611 518.20 o 35159 518.20 c 5608 518.68 o 35160 518.68 c 5607 519.64 o 35162 519.64 c 5605 520.11 o 35165 520.11 c 5602 521.06 o 35170 521.06 c 5597 522.99 o 35171 522.99 c 5596 523.47 o 35172 523.47 c 5595 523.95 o 35173 523.95 c 5594 524.43 o 35174 524.43 c 5593 524.94 o 35176 524.94 c 5591 527.96 o 35177 527.96 c 5590 528.45 o 35181 528.45 c 5586 529.94 o 35182 529.94 c 5585 532.46 o 35183 532.46 c 5584 532.96 o 35186 532.96 c 5581 533.44 o 35191 533.44 c 5576 533.94 o 35194 533.94 c 5573 534.99 o 35196 534.99 c 5571 535.50 o 35197 535.50 c 5570 536.01 o 35199 536.01 c 5568 541.20 o 35200 541.20 c 5567 543.27 o 35202 543.27 c 5565 544.87 o 35205 544.87 c 5562 545.39 o 35206 545.39 c 5561 545.98 o 35207 545.98 c 5560 548.19 o 35210 548.19 c 5557 550.36 o 35211 550.36 c 5556 551.48 o 35213 551.48 c 5554 552.05 o 35216 552.05 c 5551 552.65 o 35219 552.65 c 5548 553.07 o 35220 553.07 c 5547 554.76 o 35222 554.76 c 5545 559.97 o 35224 559.97 c 5543 560.56 o 35230 560.56 c 5537 561.13 o 35234 561.13 c 5533 562.89 o 35235 562.89 c 5532 563.46 o 35236 563.46 c 5531 564.04 o 35238 564.04 c 5529 564.64 o 35240 564.64 c 5527 565.84 o 35241 565.84 c 5526 567.04 o 35242 567.04 c 5525 569.44 o 35246 569.44 c 5521 570.04 o 35248 570.04 c 5519 571.94 o 35249 571.94 c 5518 572.57 o 35250 572.57 c 5517 573.83 o 35251 573.83 c 5516 575.71 o 35253 575.71 c 5514 578.21 o 35255 578.21 c 5512 579.45 o 35258 579.45 c 5509 580.06 o 35261 580.06 c 5506 580.69 o 35264 580.69 c 5503 581.30 o 35265 581.30 c 5502 581.91 o 35270 581.91 c 5497 582.23 o 35273 582.23 c 5494 582.83 o 35275 582.83 c 5492 583.44 o 35276 583.44 c 5491 583.69 o 35280 583.69 c 5487 584.29 o 35281 584.29 c 5486 584.88 o 35282 584.88 c 5485 585.48 o 35283 585.48 c 5484 586.08 o 35284 586.08 c 5483 586.69 o 35285 586.69 c 5482 587.31 o 35287 587.31 c 5480 587.91 o 35289 587.91 c 5478 588.53 o 35290 588.53 c 5477 589.12 o 35291 589.12 c 5476 601.23 o 35296 601.23 c 5471 602.37 o 35298 602.37 c 5469 602.92 o 35300 602.92 c 5467 603.54 o 35301 603.54 c 5466 604.10 o 35305 604.10 c 5462 605.87 o 35308 605.87 c 5459 619.15 o 35310 619.15 c 5457 619.71 o 35311 619.71 c 5456 620.28 o 35313 620.28 c 5454 622.00 o 35314 622.00 c 5453 624.64 o 35319 624.64 c 5448 625.83 o 35321 625.83 c 5446 627.67 o 35322 627.67 c 5445 628.88 o 35324 628.88 c 5443 629.48 o 35327 629.48 c 5440 629.91 o 35329 629.91 c 5438 630.49 o 35333 630.49 c 5434 631.01 o 35335 631.01 c 5432 631.58 o 35339 631.58 c 5428 632.15 o 35340 632.15 c 5427 632.73 o 35341 632.73 c 5426 633.71 o 35343 633.71 c 5424 634.28 o 35346 634.28 c 5421 635.95 o 35347 635.95 c 5420 636.52 o 35349 636.52 c 5418 637.12 o 35350 637.12 c 5417 637.69 o 35353 637.69 c 5414 638.22 o 35356 638.22 c 5411 642.15 o 35358 642.15 c 5409 642.72 o 35360 642.72 c 5407 644.97 o 35363 644.97 c 5404 645.56 o 35364 645.56 c 5403 645.97 o 35368 645.97 c 5399 646.54 o 35369 646.54 c 5398 647.11 o 35373 647.11 c 5394 647.65 o 35378 647.65 c 5389 648.20 o 35380 648.20 c 5387 649.29 o 35384 649.29 c 5383 649.85 o 35385 649.85 c 5382 650.43 o 35387 650.43 c 5380 650.99 o 35390 650.99 c 5377 651.56 o 35391 651.56 c 5376 652.66 o 35395 652.66 c 5372 653.77 o 35396 653.77 c 5371 654.35 o 35398 654.35 c 5369 655.43 o 35400 655.43 c 5367 663.52 o 35401 663.52 c 5366 664.59 o 35402 664.59 c 5365 665.72 o 35404 665.72 c 5363 666.27 o 35405 666.27 c 5362 668.87 o 35408 668.87 c 5359 671.43 o 35409 671.43 c 5358 671.95 o 35411 671.95 c 5356 672.51 o 35412 672.51 c 5355 673.58 o 35413 673.58 c 5354 676.19 o 35414 676.19 c 5353 676.72 o 35417 676.72 c 5350 679.74 o 35419 679.74 c 5348 680.73 o 35420 680.73 c 5347 681.21 o 35421 681.21 c 5346 681.72 o 35424 681.72 c 5343 682.75 o 35427 682.75 c 5340 683.23 o 35432 683.23 c 5335 684.22 o 35436 684.23 c 5331 684.72 o 35444 684.72 c 5323 686.15 o 35446 686.15 c 5321 687.14 o 35448 687.14 c 5319 689.16 o 35450 689.16 c 5317 690.70 o 35451 690.70 c 5316 691.71 o 35452 691.71 c 5315 692.22 o 35454 692.22 c 5313 692.73 o 35457 692.73 c 5310 693.24 o 35458 693.24 c 5309 693.76 o 35464 693.76 c 5303 694.22 o 35466 694.22 c 5301 695.75 o 35469 695.75 c 5298 696.71 o 35472 696.71 c 5295 697.72 o 35476 697.72 c 5291 700.83 o 35478 700.83 c 5289 701.35 o 35479 701.35 c 5288 701.89 o 35481 701.89 c 5286 702.98 o 35482 702.98 c 5285 706.30 o 35485 706.30 c 5282 706.85 o 35489 706.85 c 5278 707.42 o 35494 707.42 c 5273 710.80 o 35497 710.80 c 5270 711.34 o 35500 711.34 c 5267 711.90 o 35501 711.90 c 5266 712.47 o 35503 712.47 c 5264 714.11 o 35504 714.11 c 5263 714.65 o 35506 714.65 c 5261 717.41 o 35507 717.41 c 5260 717.96 o 35512 717.96 c 5255 718.49 o 35514 718.49 c 5253 719.02 o 35516 719.02 c 5251 720.09 o 35518 720.09 c 5249 720.65 o 35522 720.65 c 5245 721.19 o 35525 721.19 c 5242 721.75 o 35526 721.76 c 5241 722.82 o 35527 722.82 c 5240 723.36 o 35528 723.36 c 5239 723.89 o 35530 723.89 c 5237 725.49 o 35531 725.49 c 5236 726.02 o 35536 726.02 c 5231 727.11 o 35540 727.11 c 5227 727.64 o 35541 727.64 c 5226 734.37 o 35542 734.37 c 5225 736.71 o 35543 736.71 c 5224 737.21 o 35545 737.21 c 5222 738.25 o 35548 738.25 c 5219 738.77 o 35549 738.77 c 5218 739.31 o 35551 739.31 c 5216 741.94 o 35555 741.94 c 5212 742.46 o 35557 742.46 c 5210 743.52 o 35558 743.52 c 5209 745.86 o 35563 745.86 c 5204 746.36 o 35565 746.36 c 5202 746.87 o 35570 746.87 c 5197 747.37 o 35574 747.37 c 5193 747.90 o 35577 747.90 c 5190 748.40 o 35581 748.40 c 5186 748.90 o 35583 748.90 c 5184 749.42 o 35584 749.42 c 5183 749.92 o 35586 749.93 c 5181 750.44 o 35589 750.44 c 5178 750.94 o 35591 750.94 c 5176 757.62 o 35593 757.62 c 5174 758.03 o 35598 758.03 c 5169 758.57 o 35600 758.57 c 5167 759.00 o 35605 759.00 c 5162 759.54 o 35606 759.54 c 5161 760.11 o 35607 760.11 c 5160 761.21 o 35608 761.22 c 5159 762.34 o 35609 762.34 c 5158 764.25 o 35611 764.25 c 5156 768.28 o 35613 768.28 c 5154 768.60 o 35616 768.60 c 5151 769.17 o 35618 769.17 c 5149 772.02 o 35621 772.02 c 5146 773.16 o 35622 773.16 c 5145 773.74 o 35625 773.74 c 5142 774.92 o 35627 774.92 c 5140 775.48 o 35628 775.48 c 5139 776.08 o 35633 776.08 c 5134 776.66 o 35637 776.66 c 5130 777.26 o 35638 777.26 c 5129 777.81 o 35639 777.81 c 5128 778.38 o 35640 778.38 c 5127 778.94 o 35642 778.94 c 5125 780.72 o 35646 780.72 c 5121 781.34 o 35648 781.34 c 5119 785.41 o 35650 785.41 c 5117 785.86 o 35651 785.86 c 5116 786.27 o 35652 786.27 c 5115 789.30 o 35654 789.30 c 5113 789.93 o 35659 789.93 c 5108 790.57 o 35661 790.57 c 5106 792.39 o 35662 792.39 c 5105 793.02 o 35667 793.02 c 5100 793.63 o 35668 793.63 c 5099 794.85 o 35669 794.85 c 5098 795.47 o 35671 795.47 c 5096 798.50 o 35673 798.50 c 5094 799.69 o 35674 799.69 c 5093 800.30 o 35675 800.30 c 5092 801.82 o 35677 801.82 c 5090 802.39 o 35680 802.39 c 5087 803.00 o 35684 803.00 c 5083 806.02 o 35687 806.02 c 5080 806.61 o 35692 806.61 c 5075 808.40 o 35693 808.40 c 5074 808.99 o 35694 808.99 c 5073 809.58 o 35695 809.58 c 5072 810.75 o 35697 810.75 c 5070 811.93 o 35699 811.93 c 5068 812.46 o 35701 812.46 c 5066 813.54 o 35702 813.54 c 5065 814.69 o 35703 814.69 c 5064 815.29 o 35708 815.29 c 5059 816.49 o 35709 816.49 c 5058 817.13 o 35712 817.13 c 5055 817.73 o 35713 817.73 c 5054 818.32 o 35714 818.32 c 5053 821.33 o 35722 821.33 c 5045 823.35 o 35725 823.35 c 5042 823.89 o 35728 823.89 c 5039 831.93 o 35731 831.93 c 5036 832.77 o 35735 832.77 c 5032 833.38 o 35739 833.38 c 5028 837.63 o 35741 837.63 c 5026 838.22 o 35743 838.22 c 5024 838.82 o 35744 838.82 c 5023 840.06 o 35745 840.06 c 5022 840.70 o 35747 840.70 c 5020 841.27 o 35748 841.27 c 5019 841.92 o 35749 841.92 c 5018 842.53 o 35750 842.53 c 5017 843.07 o 35751 843.08 c 5016 843.69 o 35753 843.69 c 5014 845.50 o 35757 845.50 c 5010 846.13 o 35758 846.13 c 5009 846.75 o 35762 846.75 c 5005 847.39 o 35769 847.39 c 4998 847.99 o 35771 847.99 c 4996 851.01 o 35774 851.01 c 4993 854.81 o 35777 854.81 c 4990 855.44 o 35778 855.44 c 4989 864.32 o 35779 864.32 c 4988 868.23 o 35781 868.24 c 4986 870.19 o 35782 870.19 c 4985 870.84 o 35783 870.84 c 4984 875.59 o 35785 875.59 c 4982 876.21 o 35787 876.21 c 4980 877.46 o 35788 877.46 c 4979 878.08 o 35789 878.08 c 4978 879.34 o 35793 879.34 c 4974 880.58 o 35796 880.58 c 4971 880.80 o 35797 880.80 c 4970 881.43 o 35798 881.43 c 4969 882.83 o 35799 882.83 c 4968 883.47 o 35800 883.47 c 4967 885.97 o 35801 885.97 c 4966 886.60 o 35802 886.60 c 4965 887.90 o 35803 887.90 c 4964 888.35 o 35805 888.35 c 4962 888.99 o 35807 888.99 c 4960 889.62 o 35808 889.62 c 4959 890.26 o 35809 890.26 c 4958 894.87 o 35812 894.87 c 4955 896.72 o 35816 896.72 c 4951 897.38 o 35817 897.38 c 4950 898.65 o 35822 898.65 c 4945 899.29 o 35823 899.29 c 4944 909.96 o 35824 909.96 c 4943 911.27 o 35827 911.27 c 4940 913.22 o 35830 913.22 c 4937 913.90 o 35832 913.90 c 4935 914.57 o 35836 914.57 c 4931 916.50 o 35837 916.50 c 4930 917.14 o 35839 917.14 c 4928 917.42 o 35845 917.42 c 4922 917.96 o 35847 917.96 c 4920 919.77 o 35848 919.77 c 4919 920.39 o 35850 920.39 c 4917 921.26 o 35854 921.26 c 4913 924.20 o 35856 924.20 c 4911 926.03 o 35858 926.03 c 4909 926.53 o 35862 926.53 c 4905 929.01 o 35863 929.01 c 4904 930.30 o 35864 930.30 c 4903 930.92 o 35867 930.92 c 4900 932.25 o 35870 932.25 c 4897 933.50 o 35872 933.50 c 4895 935.45 o 35873 935.45 c 4894 936.15 o 35877 936.15 c 4890 936.83 o 35879 936.83 c 4888 937.04 o 35883 937.04 c 4884 938.91 o 35885 938.91 c 4882 939.65 o 35888 939.65 c 4879 940.34 o 35890 940.34 c 4877 941.07 o 35892 941.07 c 4875 941.79 o 35893 941.79 c 4874 942.49 o 35894 942.49 c 4873 943.19 o 35895 943.19 c 4872 943.88 o 35898 943.88 c 4869 945.31 o 35899 945.31 c 4868 946.05 o 35903 946.05 c 4864 950.42 o 35904 950.42 c 4863 955.85 o 35905 955.85 c 4862 956.64 o 35908 956.64 c 4859 957.43 o 35911 957.43 c 4856 958.24 o 35912 958.24 c 4855 959.02 o 35913 959.02 c 4854 966.65 o 35914 966.65 c 4853 969.04 o 35916 969.04 c 4851 970.63 o 35917 970.63 c 4850 971.45 o 35919 971.45 c 4848 972.26 o 35923 972.26 c 4844 973.89 o 35925 973.90 c 4842 975.55 o 35926 975.55 c 4841 976.37 o 35927 976.37 c 4840 977.16 o 35930 977.16 c 4837 977.98 o 35932 977.98 c 4835 978.81 o 35934 978.81 c 4833 981.09 o 35936 981.09 c 4831 982.71 o 35939 982.71 c 4828 983.39 o 35941 983.39 c 4826 984.22 o 35943 984.22 c 4824 985.05 o 35946 985.05 c 4821 986.74 o 35949 986.74 c 4818 990.07 o 35950 990.07 c 4817 991.70 o 35952 991.70 c 4815 996.41 o 35954 996.41 c 4813 998.82 o 35955 998.83 c 4812 999.64 o 35956 999.64 c 4811 1000.46 o 35958 1000.46 c 4809 1001.24 o 35961 1001.24 c 4806 1009.22 o 35962 1009.22 c 4805 1010.07 o 35966 1010.07 c 4801 1010.88 o 35967 1010.88 c 4800 1011.73 o 35970 1011.73 c 4797 1022.40 o 35972 1022.40 c 4795 1024.07 o 35976 1024.07 c 4791 1029.00 o 35978 1029.00 c 4789 1032.17 o 35979 1032.17 c 4788 1033.75 o 35982 1033.75 c 4785 1034.55 o 35983 1034.55 c 4784 1036.18 o 35985 1036.18 c 4782 1040.02 o 35990 1040.02 c 4777 1049.02 o 35991 1049.02 c 4776 1051.47 o 35992 1051.47 c 4775 1053.10 o 35994 1053.10 c 4773 1055.56 o 35996 1055.56 c 4771 1057.12 o 35998 1057.12 c 4769 1059.54 o 35999 1059.54 c 4768 1060.36 o 36000 1060.36 c 4767 1062.80 o 36001 1062.80 c 4766 1077.52 o 36004 1077.52 c 4763 1078.28 o 36008 1078.28 c 4759 1079.86 o 36011 1079.86 c 4756 1080.64 o 36012 1080.64 c 4755 1081.44 o 36014 1081.44 c 4753 1082.22 o 36015 1082.22 c 4752 1086.77 o 36016 1086.77 c 4751 1089.20 o 36019 1089.20 c 4748 1090.00 o 36020 1090.00 c 4747 1090.81 o 36022 1090.81 c 4745 1092.44 o 36023 1092.44 c 4744 1093.87 o 36025 1093.87 c 4742 1094.59 o 36030 1094.59 c 4737 1096.14 o 36031 1096.14 c 4736 1097.71 o 36032 1097.71 c 4735 1098.37 o 36035 1098.37 c 4732 1099.15 o 36037 1099.15 c 4730 1103.73 o 36039 1103.73 c 4728 1104.43 o 36044 1104.43 c 4723 1104.95 o 36049 1104.95 c 4718 1105.65 o 36050 1105.65 c 4717 1107.13 o 36051 1107.13 c 4716 1107.84 o 36052 1107.84 c 4715 1110.75 o 36055 1110.75 c 4712 1111.51 o 36062 1111.51 c 4705 1112.27 o 36063 1112.27 c 4704 1127.13 o 36069 1127.13 c 4698 1127.87 o 36070 1127.87 c 4697 1129.38 o 36072 1129.38 c 4695 1130.14 o 36077 1130.14 c 4690 1131.66 o 36078 1131.66 c 4689 1132.42 o 36082 1132.42 c 4685 1133.19 o 36085 1133.19 c 4682 1133.95 o 36089 1133.95 c 4678 1134.72 o 36091 1134.72 c 4676 1136.22 o 36093 1136.22 c 4674 1136.98 o 36097 1136.98 c 4670 1137.73 o 36099 1137.73 c 4668 1138.31 o 36102 1138.31 c 4665 1140.34 o 36103 1140.34 c 4664 1141.08 o 36106 1141.08 c 4661 1143.08 o 36110 1143.08 c 4657 1143.83 o 36112 1143.83 c 4655 1144.57 o 36113 1144.57 c 4654 1145.30 o 36117 1145.30 c 4650 1148.98 o 36118 1148.98 c 4649 1149.75 o 36120 1149.75 c 4647 1150.52 o 36121 1150.52 c 4646 1151.21 o 36124 1151.21 c 4643 1151.94 o 36126 1151.94 c 4641 1152.70 o 36130 1152.70 c 4637 1154.96 o 36131 1154.96 c 4636 1155.73 o 36132 1155.73 c 4635 1162.96 o 36134 1162.96 c 4633 1163.56 o 36138 1163.56 c 4629 1165.11 o 36139 1165.11 c 4628 1165.87 o 36140 1165.87 c 4627 1166.66 o 36141 1166.66 c 4626 1167.45 o 36144 1167.45 c 4623 1169.04 o 36146 1169.04 c 4621 1169.87 o 36148 1169.87 c 4619 1170.68 o 36151 1170.68 c 4616 1171.17 o 36152 1171.17 c 4615 1171.96 o 36154 1171.96 c 4613 1175.68 o 36158 1175.68 c 4609 1176.47 o 36160 1176.47 c 4607 1177.85 o 36161 1177.85 c 4606 1178.67 o 36164 1178.67 c 4603 1178.89 o 36166 1178.89 c 4601 1180.47 o 36167 1180.47 c 4600 1181.26 o 36168 1181.26 c 4599 1182.05 o 36169 1182.05 c 4598 1182.88 o 36171 1182.88 c 4596 1186.73 o 36173 1186.73 c 4594 1186.87 o 36177 1186.87 c 4590 1187.53 o 36179 1187.53 c 4588 1188.27 o 36180 1188.27 c 4587 1189.04 o 36182 1189.04 c 4585 1189.84 o 36184 1189.84 c 4583 1191.47 o 36186 1191.47 c 4581 1195.40 o 36188 1195.40 c 4579 1198.49 o 36190 1198.49 c 4577 1200.87 o 36191 1200.87 c 4576 1201.66 o 36192 1201.66 c 4575 1204.11 o 36193 1204.11 c 4574 1204.72 o 36194 1204.72 c 4573 1205.36 o 36196 1205.36 c 4571 1206.15 o 36197 1206.15 c 4570 1206.95 o 36199 1206.95 c 4568 1210.18 o 36200 1210.18 c 4567 1211.79 o 36201 1211.79 c 4566 1215.60 o 36202 1215.60 c 4565 1216.42 o 36204 1216.42 c 4563 1219.43 o 36205 1219.43 c 4562 1226.50 o 36207 1226.50 c 4560 1228.92 o 36208 1228.92 c 4559 1229.70 o 36211 1229.70 c 4556 1230.50 o 36212 1230.50 c 4555 1232.11 o 36214 1232.11 c 4553 1236.10 o 36215 1236.10 c 4552 1236.87 o 36216 1236.87 c 4551 1237.66 o 36219 1237.66 c 4548 1238.47 o 36220 1238.47 c 4547 1239.24 o 36222 1239.24 c 4545 1240.02 o 36224 1240.02 c 4543 1240.78 o 36226 1240.79 c 4541 1241.59 o 36229 1241.59 c 4538 1242.38 o 36232 1242.38 c 4535 1243.17 o 36233 1243.17 c 4534 1244.55 o 36234 1244.55 c 4533 1245.35 o 36235 1245.35 c 4532 1246.16 o 36237 1246.16 c 4530 1246.95 o 36238 1246.95 c 4529 1250.14 o 36239 1250.14 c 4528 1250.87 o 36242 1250.87 c 4525 1251.66 o 36244 1251.66 c 4523 1253.31 o 36247 1253.31 c 4520 1254.71 o 36250 1254.71 c 4517 1256.31 o 36252 1256.31 c 4515 1261.89 o 36254 1261.89 c 4513 1262.67 o 36255 1262.67 c 4512 1264.27 o 36257 1264.27 c 4510 1265.06 o 36259 1265.06 c 4508 1265.80 o 36265 1265.80 c 4502 1268.05 o 36267 1268.05 c 4500 1273.81 o 36268 1273.81 c 4499 1274.63 o 36269 1274.63 c 4498 1275.42 o 36271 1275.42 c 4496 1276.25 o 36276 1276.25 c 4491 1277.07 o 36277 1277.07 c 4490 1277.89 o 36278 1277.89 c 4489 1278.73 o 36281 1278.73 c 4486 1286.14 o 36283 1286.14 c 4484 1286.97 o 36284 1286.97 c 4483 1289.46 o 36285 1289.46 c 4482 1290.23 o 36287 1290.23 c 4480 1293.59 o 36291 1293.59 c 4476 1294.42 o 36294 1294.42 c 4473 1296.02 o 36298 1296.02 c 4469 1296.84 o 36300 1296.84 c 4467 1297.67 o 36301 1297.67 c 4466 1300.24 o 36304 1300.24 c 4463 1303.14 o 36305 1303.14 c 4462 1303.96 o 36308 1303.96 c 4459 1304.78 o 36311 1304.78 c 4456 1305.39 o 36312 1305.39 c 4455 1308.88 o 36316 1308.88 c 4451 1309.65 o 36321 1309.65 c 4446 1310.44 o 36323 1310.44 c 4444 1311.49 o 36325 1311.49 c 4442 1312.29 o 36326 1312.29 c 4441 1312.99 o 36327 1312.99 c 4440 1313.75 o 36329 1313.75 c 4438 1317.74 o 36330 1317.74 c 4437 1318.56 o 36332 1318.56 c 4435 1319.36 o 36334 1319.36 c 4433 1321.03 o 36336 1321.03 c 4431 1321.85 o 36337 1321.85 c 4430 1322.67 o 36339 1322.67 c 4428 1324.25 o 36341 1324.25 c 4426 1325.85 o 36343 1325.85 c 4424 1328.30 o 36345 1328.30 c 4422 1329.11 o 36346 1329.11 c 4421 1329.90 o 36349 1329.90 c 4418 1338.52 o 36350 1338.52 c 4417 1339.30 o 36356 1339.30 c 4411 1339.69 o 36358 1339.69 c 4409 1340.46 o 36362 1340.46 c 4405 1340.86 o 36363 1340.86 c 4404 1342.23 o 36365 1342.23 c 4402 1343.83 o 36366 1343.83 c 4401 1344.62 o 36370 1344.62 c 4397 1347.02 o 36372 1347.02 c 4395 1347.84 o 36373 1347.84 c 4394 1348.62 o 36374 1348.62 c 4393 1350.21 o 36377 1350.21 c 4390 1352.89 o 36380 1352.89 c 4387 1353.66 o 36382 1353.66 c 4385 1354.45 o 36384 1354.45 c 4383 1355.74 o 36385 1355.74 c 4382 1356.55 o 36387 1356.55 c 4380 1357.36 o 36390 1357.36 c 4377 1357.76 o 36392 1357.76 c 4375 1358.55 o 36394 1358.55 c 4373 1359.34 o 36395 1359.34 c 4372 1367.73 o 36397 1367.73 c 4370 1368.41 o 36398 1368.41 c 4369 1369.14 o 36399 1369.14 c 4368 1371.55 o 36400 1371.55 c 4367 1372.36 o 36401 1372.36 c 4366 1373.16 o 36402 1373.16 c 4365 1374.71 o 36404 1374.71 c 4363 1375.39 o 36405 1375.39 c 4362 1376.64 o 36406 1376.64 c 4361 1377.41 o 36408 1377.41 c 4359 1378.16 o 36412 1378.16 c 4355 1378.93 o 36413 1378.93 c 4354 1379.65 o 36418 1379.65 c 4349 1380.40 o 36419 1380.40 c 4348 1381.92 o 36421 1381.92 c 4346 1382.69 o 36423 1382.69 c 4344 1383.46 o 36427 1383.46 c 4340 1386.67 o 36428 1386.67 c 4339 1388.15 o 36432 1388.15 c 4335 1391.15 o 36433 1391.15 c 4334 1391.90 o 36435 1391.90 c 4332 1392.65 o 36439 1392.65 c 4328 1394.65 o 36440 1394.65 c 4327 1395.41 o 36442 1395.41 c 4325 1396.14 o 36444 1396.14 c 4323 1397.64 o 36447 1397.64 c 4320 1398.38 o 36449 1398.38 c 4318 1399.11 o 36450 1399.11 c 4317 1400.56 o 36452 1400.56 c 4315 1401.30 o 36454 1401.30 c 4313 1402.76 o 36457 1402.76 c 4310 1404.94 o 36458 1404.94 c 4309 1410.75 o 36462 1410.75 c 4305 1411.47 o 36465 1411.47 c 4302 1412.20 o 36468 1412.20 c 4299 1412.78 o 36469 1412.78 c 4298 1413.50 o 36473 1413.50 c 4294 1414.20 o 36475 1414.20 c 4292 1417.88 o 36481 1417.88 c 4286 1418.57 o 36488 1418.57 c 4279 1419.27 o 36489 1419.28 c 4278 1419.98 o 36490 1419.98 c 4277 1420.67 o 36491 1420.67 c 4276 1421.39 o 36493 1421.39 c 4274 1422.79 o 36496 1422.79 c 4271 1425.60 o 36499 1425.60 c 4268 1427.02 o 36500 1427.02 c 4267 1427.76 o 36501 1427.76 c 4266 1432.14 o 36502 1432.14 c 4265 1442.69 o 36503 1442.69 c 4264 1443.48 o 36504 1443.48 c 4263 1443.91 o 36505 1443.91 c 4262 1453.41 o 36507 1453.41 c 4260 1454.16 o 36509 1454.16 c 4258 1454.96 o 36511 1454.96 c 4256 1455.74 o 36514 1455.74 c 4253 1456.50 o 36518 1456.50 c 4249 1458.03 o 36520 1458.03 c 4247 1458.80 o 36522 1458.80 c 4245 1459.57 o 36524 1459.57 c 4243 1468.84 o 36527 1468.84 c 4240 1469.60 o 36531 1469.60 c 4236 1470.37 o 36533 1470.37 c 4234 1471.92 o 36535 1471.92 c 4232 1472.70 o 36537 1472.70 c 4230 1473.47 o 36538 1473.47 c 4229 1474.23 o 36539 1474.23 c 4228 1475.00 o 36541 1475.00 c 4226 1477.84 o 36543 1477.84 c 4224 1478.59 o 36545 1478.59 c 4222 1479.32 o 36548 1479.32 c 4219 1480.09 o 36549 1480.09 c 4218 1481.70 o 36552 1481.70 c 4215 1482.46 o 36555 1482.46 c 4212 1483.24 o 36557 1483.24 c 4210 1484.04 o 36560 1484.04 c 4207 1492.94 o 36561 1492.95 c 4206 1496.23 o 36562 1496.23 c 4205 1498.70 o 36563 1498.70 c 4204 1499.56 o 36566 1499.56 c 4201 1502.93 o 36567 1502.93 c 4200 1503.78 o 36571 1503.78 c 4196 1504.65 o 36572 1504.65 c 4195 1509.86 o 36574 1509.86 c 4193 1510.72 o 36576 1510.72 c 4191 1512.04 o 36577 1512.04 c 4190 1512.90 o 36580 1512.90 c 4187 1513.77 o 36582 1513.77 c 4185 1514.68 o 36583 1514.68 c 4184 1515.56 o 36585 1515.56 c 4182 1515.98 o 36589 1515.98 c 4178 1517.72 o 36591 1517.72 c 4176 1521.10 o 36592 1521.10 c 4175 1521.97 o 36593 1521.97 c 4174 1524.56 o 36597 1524.56 c 4170 1525.44 o 36599 1525.44 c 4168 1526.31 o 36600 1526.31 c 4167 1527.22 o 36602 1527.22 c 4165 1529.01 o 36605 1529.01 c 4162 1529.92 o 36606 1529.92 c 4161 1538.07 o 36608 1538.07 c 4159 1538.97 o 36610 1538.97 c 4157 1539.88 o 36611 1539.88 c 4156 1542.61 o 36612 1542.61 c 4155 1543.57 o 36614 1543.57 c 4153 1544.50 o 36616 1544.50 c 4151 1545.41 o 36618 1545.41 c 4149 1546.32 o 36619 1546.32 c 4148 1559.68 o 36621 1559.68 c 4146 1560.60 o 36624 1560.60 c 4143 1561.52 o 36626 1561.52 c 4141 1562.43 o 36627 1562.43 c 4140 1565.15 o 36628 1565.15 c 4139 1566.07 o 36629 1566.07 c 4138 1568.71 o 36630 1568.71 c 4137 1569.23 o 36635 1569.23 c 4132 1570.16 o 36637 1570.16 c 4130 1573.89 o 36639 1573.89 c 4128 1579.09 o 36641 1579.09 c 4126 1581.94 o 36643 1581.94 c 4124 1582.88 o 36644 1582.88 c 4123 1584.71 o 36646 1584.71 c 4121 1585.65 o 36647 1585.65 c 4120 1588.95 o 36650 1588.95 c 4117 1589.87 o 36651 1589.87 c 4116 1590.77 o 36652 1590.77 c 4115 1591.71 o 36655 1591.71 c 4112 1592.63 o 36657 1592.63 c 4110 1593.48 o 36661 1593.48 c 4106 1594.39 o 36662 1594.39 c 4105 1597.10 o 36663 1597.10 c 4104 1597.99 o 36667 1597.99 c 4100 1598.18 o 36668 1598.18 c 4099 1599.08 o 36669 1599.08 c 4098 1599.99 o 36672 1599.99 c 4095 1603.45 o 36675 1603.45 c 4092 1605.23 o 36677 1605.23 c 4090 1606.14 o 36679 1606.14 c 4088 1606.69 o 36681 1606.69 c 4086 1610.31 o 36682 1610.31 c 4085 1611.13 o 36685 1611.13 c 4082 1612.96 o 36686 1612.96 c 4081 1613.89 o 36687 1613.89 c 4080 1616.68 o 36688 1616.68 c 4079 1617.45 o 36689 1617.45 c 4078 1618.36 o 36690 1618.36 c 4077 1619.29 o 36692 1619.29 c 4075 1620.21 o 36696 1620.21 c 4071 1625.13 o 36698 1625.13 c 4069 1626.07 o 36700 1626.07 c 4067 1627.03 o 36701 1627.03 c 4066 1629.87 o 36703 1629.87 c 4064 1630.76 o 36706 1630.76 c 4061 1634.33 o 36707 1634.33 c 4060 1634.82 o 36710 1634.82 c 4057 1635.75 o 36711 1635.75 c 4056 1640.42 o 36714 1640.42 c 4053 1645.09 o 36715 1645.09 c 4052 1647.47 o 36717 1647.47 c 4050 1649.28 o 36721 1649.28 c 4046 1650.25 o 36723 1650.25 c 4044 1654.99 o 36727 1654.99 c 4040 1656.48 o 36730 1656.48 c 4037 1658.41 o 36733 1658.41 c 4034 1670.73 o 36735 1670.73 c 4032 1671.69 o 36738 1671.69 c 4029 1673.10 o 36741 1673.10 c 4026 1675.90 o 36743 1675.90 c 4024 1676.83 o 36744 1676.83 c 4023 1680.64 o 36745 1680.64 c 4022 1685.15 o 36747 1685.15 c 4020 1686.13 o 36749 1686.13 c 4018 1687.68 o 36750 1687.68 c 4017 1688.63 o 36751 1688.63 c 4016 1689.58 o 36753 1689.58 c 4014 1690.54 o 36755 1690.54 c 4012 1701.73 o 36757 1701.73 c 4010 1712.72 o 36759 1712.72 c 4008 1713.74 o 36762 1713.74 c 4005 1715.75 o 36764 1715.75 c 4003 1716.76 o 36767 1716.76 c 4000 1718.80 o 36770 1718.80 c 3997 1719.50 o 36774 1719.50 c 3993 1721.50 o 36775 1721.50 c 3992 1723.48 o 36778 1723.48 c 3989 1724.49 o 36781 1724.49 c 3986 1725.47 o 36785 1725.47 c 3982 1726.45 o 36789 1726.45 c 3978 1728.45 o 36792 1728.45 c 3975 1729.43 o 36794 1729.43 c 3973 1730.45 o 36796 1730.45 c 3971 1733.48 o 36803 1733.48 c 3964 1734.49 o 36804 1734.49 c 3963 1739.51 o 36806 1739.51 c 3961 1740.51 o 36807 1740.51 c 3960 1741.50 o 36808 1741.50 c 3959 1749.87 o 36813 1749.87 c 3954 1765.75 o 36816 1765.75 c 3951 1766.46 o 36819 1766.46 c 3948 1769.12 o 36820 1769.12 c 3947 1771.14 o 36822 1771.14 c 3945 1774.01 o 36824 1774.01 c 3943 1775.01 o 36827 1775.01 c 3940 1777.87 o 36829 1777.87 c 3938 1778.88 o 36830 1778.88 c 3937 1779.86 o 36831 1779.86 c 3936 1780.84 o 36833 1780.84 c 3934 1781.67 o 36836 1781.67 c 3931 1782.41 o 36837 1782.41 c 3930 1786.13 o 36838 1786.13 c 3929 1787.16 o 36842 1787.16 c 3925 1791.21 o 36845 1791.21 c 3922 1792.25 o 36847 1792.25 c 3920 1796.43 o 36851 1796.43 c 3916 1798.52 o 36853 1798.52 c 3914 1799.54 o 36854 1799.54 c 3913 1801.61 o 36857 1801.61 c 3910 1802.46 o 36858 1802.46 c 3909 1803.45 o 36860 1803.45 c 3907 1804.27 o 36864 1804.27 c 3903 1805.31 o 36865 1805.31 c 3902 1806.35 o 36866 1806.35 c 3901 1829.19 o 36867 1829.19 c 3900 1830.25 o 36868 1830.25 c 3899 1834.50 o 36870 1834.50 c 3897 1836.20 o 36871 1836.20 c 3896 1837.24 o 36874 1837.24 c 3893 1843.06 o 36875 1843.06 c 3892 1844.11 o 36876 1844.11 c 3891 1845.16 o 36878 1845.16 c 3889 1846.21 o 36881 1846.21 c 3886 1847.28 o 36882 1847.28 c 3885 1848.37 o 36884 1848.37 c 3883 1849.37 o 36886 1849.37 c 3881 1852.30 o 36887 1852.30 c 3880 1853.37 o 36889 1853.37 c 3878 1854.43 o 36890 1854.43 c 3877 1857.53 o 36891 1857.53 c 3876 1867.39 o 36894 1867.39 c 3873 1867.94 o 36897 1867.94 c 3870 1868.39 o 36900 1868.39 c 3867 1869.41 o 36903 1869.41 c 3864 1877.57 o 36904 1877.57 c 3863 1879.61 o 36908 1879.61 c 3859 1888.73 o 36911 1888.73 c 3856 1891.74 o 36913 1891.74 c 3854 1896.84 o 36914 1896.84 c 3853 1897.66 o 36915 1897.66 c 3852 1898.68 o 36917 1898.68 c 3850 1903.71 o 36918 1903.71 c 3849 1906.40 o 36921 1906.40 c 3846 1906.85 o 36924 1906.85 c 3843 1907.69 o 36926 1907.69 c 3841 1908.05 o 36928 1908.05 c 3839 1909.04 o 36931 1909.04 c 3836 1910.02 o 36932 1910.02 c 3835 1913.00 o 36935 1913.00 c 3832 1918.76 o 36937 1918.76 c 3830 1919.74 o 36938 1919.74 c 3829 1927.30 o 36940 1927.30 c 3827 1928.27 o 36942 1928.27 c 3825 1929.27 o 36944 1929.27 c 3823 1931.24 o 36945 1931.24 c 3822 1931.48 o 36948 1931.48 c 3819 1932.04 o 36951 1932.04 c 3816 1932.75 o 36953 1932.75 c 3814 1933.73 o 36956 1933.73 c 3811 1938.15 o 36960 1938.15 c 3807 1940.10 o 36962 1940.10 c 3805 1941.07 o 36965 1941.07 c 3802 1943.04 o 36970 1943.04 c 3797 1948.00 o 36971 1948.00 c 3796 1954.84 o 36972 1954.84 c 3795 1955.81 o 36973 1955.81 c 3794 1961.39 o 36974 1961.39 c 3793 1968.57 o 36975 1968.57 c 3792 1971.53 o 36977 1971.53 c 3790 1973.50 o 36982 1973.50 c 3785 1976.50 o 36988 1976.50 c 3779 1977.47 o 36989 1977.47 c 3778 1978.45 o 36990 1978.45 c 3777 1979.46 o 36991 1979.46 c 3776 1980.32 o 36994 1980.32 c 3773 1982.35 o 36995 1982.35 c 3772 1983.34 o 36999 1983.34 c 3768 1985.29 o 37000 1985.29 c 3767 1987.27 o 37001 1987.27 c 3766 1991.44 o 37003 1991.44 c 3764 1995.35 o 37004 1995.35 c 3763 1996.11 o 37007 1996.11 c 3760 1996.73 o 37010 1996.73 c 3757 1997.70 o 37011 1997.70 c 3756 1998.68 o 37013 1998.68 c 3754 1999.65 o 37015 1999.65 c 3752 2002.58 o 37016 2002.58 c 3751 2005.56 o 37017 2005.56 c 3750 2007.52 o 37021 2007.52 c 3746 2008.20 o 37023 2008.20 c 3744 2009.18 o 37024 2009.18 c 3743 2023.68 o 37025 2023.68 c 3742 2024.67 o 37026 2024.67 c 3741 2030.62 o 37028 2030.63 c 3739 2031.22 o 37029 2031.22 c 3738 2032.25 o 37030 2032.25 c 3737 2035.25 o 37032 2035.25 c 3735 2036.26 o 37036 2036.26 c 3731 2037.26 o 37038 2037.26 c 3729 2038.18 o 37039 2038.18 c 3728 2039.19 o 37041 2039.19 c 3726 2069.96 2069.97 search 2069.97 run=0 nbConstraintChecks=4552783991 nbAssignments=4064 2069.97 => wckTime=2005.702 cpuTime=2003.46 mem=85M406 2069.97 2069.97 global 2069.97 nbConstraintChecks=4552783991 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 2069.97 solvingWckTime=2005.681 solvingCpuTime=2003.44 expiredTime=no totalExploration=no nbFoundSolutions=0 2069.97 globalCpuTime=2065.35 2069.97 => wckTime=2069.637 cpuTime=2065.3 mem=85M406 2069.97 2069.97 solver IterativeSystematicSolver being built... 2070.93 => wckTime=2070.597 cpuTime=2065.85 mem=245M191 2404.88 v 2024 2024 2644 2740 2692 2060 -2020 -2216 -2700 2168 -2588 -2120 2608 -2136 -2528 2632 2596 -2328 -2632 -2036 -2132 -2536 2412 -2020 2336 -2740 -2636 -2460 2740 2064 2416 2020 2216 2552 2512 -2724 -2528 2060 -2492 -2080 -2696 2076 2496 2656 2620 2664 2696 2736 -2380 2064 2108 -2480 -2696 2672 -2256 -2032 2568 2416 -2672 -2188 -2248 -2608 -2720 -2328 -2176 2656 -2684 2148 2028 -2700 -2716 2596 2268 -2696 -2384 -2636 -2020 -2736 -2320 -2600 2024 2640 2604 2340 -2112 2376 -2028 -2484 -2676 -2656 2164 2228 -2508 -2696 2696 -2176 -2484 -2176 2092 -2636 2324 -2164 2376 2028 2312 2732 2656 2468 2616 2688 -2060 2716 2064 2696 2416 -2604 2052 -2172 -2640 2180 2684 -2520 2424 -2056 -2288 2104 -2364 2736 2064 -2544 -2412 -2668 2020 -2032 2572 2024 -2108 -2740 2672 2064 -2656 -2688 2288 2684 -2072 2640 -2724 -2020 2568 2168 2020 -2416 -2240 2456 2432 -2360 -2076 -2740 2280 2480 -2240 -2660 2696 -2740 -2720 -2568 2424 2448 2740 -2436 -2736 2224 2720 2728 2064 2420 2192 2428 -2672 -2072 -2040 2740 2028 2664 -2288 -2716 2684 2608 -2372 2360 2736 2028 -2624 -2280 -2692 -2564 -2020 -2232 -2036 -2328 2608 2576 2268 -2700 -2092 2060 2640 -2636 2728 2728 -2692 -2736 2060 -2020 -2412 -2460 -2640 -2064 -2736 -2416 2288 -2712 2476 -2700 2072 2544 -2080 2740 2048 2040 -2060 2392 -2400 -2072 2688 2668 -2704 2060 2724 2700 -2024 -2620 -2376 2020 -2064 2704 -2364 -2448 -2732 2564 -2636 2332 -2492 2428 2212 2732 -2116 2180 2540 2360 -2116 2520 2440 2388 -2736 -2580 -2712 -2352 -2024 -2728 -2316 -2060 2540 -2712 2064 2660 2276 2672 -2712 -2096 -2020 2684 -2024 2068 -2736 2604 2740 2432 -2496 -2556 -2076 -2684 2444 -2588 -2132 2728 2312 2284 2096 -2348 -2636 -2736 2664 2444 -2728 2336 2648 -2104 2736 -2060 -2700 2084 -2020 2020 -2684 -2540 -2452 2092 2288 -2256 -2468 -2624 -2036 2052 2268 2064 -2212 2108 -2500 2736 2304 -2676 -2040 2540 -2020 2704 2680 2464 -2660 -2180 -2680 2648 2636 2732 -2200 -2144 2296 -2028 2276 2192 -2324 2612 -2612 -2300 -2416 -2736 2156 -2680 -2660 -2064 2628 2532 2068 2540 -2444 2660 -2428 -2060 -2032 2708 2080 2696 -2144 2704 2692 -2468 -2700 2704 -2056 -2476 -2136 -2352 -2312 2464 -2516 -2064 -2112 2216 -2020 -2304 2320 2620 -2700 -2444 -2068 2688 2396 -2620 -2048 -2116 2148 -2728 2652 -2440 2620 -2288 -2340 2720 2604 -2020 2028 2104 2284 2472 2728 2088 -2732 2532 -2372 -2236 -2740 2408 2032 -2732 -2288 -2328 2628 -2704 2368 -2272 2164 2260 2076 2596 -2372 -2020 -2740 -2732 2108 2684 -2020 -2612 -2696 -2332 -2628 -2740 -2076 -2380 -2724 -2720 -2064 2740 -2220 -2740 2064 2616 -2348 -2632 -2368 2112 -2048 2676 -2092 -2604 2024 2676 -2412 2028 2068 2372 -2236 2500 -2736 -2388 2560 -2512 -2700 2380 2456 -2328 2488 -2628 2036 2740 -2032 -2080 2600 2508 2608 2424 -2028 -2164 -2552 2036 -2108 -2608 2712 2148 -2588 2192 2064 -2556 -2040 -2164 -2040 -2516 2060 -2448 2232 2632 2496 2240 -2636 -2020 -2052 -2152 2644 -2244 2228 -2484 2060 -2416 -2292 -2692 -2416 2656 -2268 -2024 -2556 2728 2332 -2052 -2684 -2444 -2684 2160 2520 2496 -2668 -2124 -2696 -2720 -2568 -2700 2364 2548 -2684 2308 2060 -2692 -2020 2440 2280 -2020 2324 -2060 -2520 2348 2692 -2696 -2688 -2212 -2484 -2700 2740 2020 2688 2384 2684 -2540 -2536 -2020 -2064 -2560 2316 -2712 2512 -2564 2036 2088 2216 -2524 -2520 2372 2672 -2276 2112 2400 -2444 2192 -2316 -2132 2700 -2364 2232 2076 2636 2628 -2536 -2288 2652 -2028 -2212 -2212 2028 -2020 2024 -2020 2028 2452 -2676 -2024 2372 2044 2384 2700 2136 2032 2424 -2352 2092 2464 -2728 -2688 -2632 -2272 2384 -2244 -2572 2380 2736 -2256 2696 2652 2424 -2500 -2720 -2696 2692 2140 -2332 -2412 2064 2288 -2072 -2668 -2740 2588 -2568 2564 -2584 2724 2700 2284 -2216 -2720 -2216 -2336 -2096 2120 -2660 2644 2544 -2100 2604 2272 -2132 -2232 2308 2024 2680 -2272 2328 -2444 -2232 -2648 -2700 2740 -2524 -2020 2504 -2528 2560 2384 -2740 -2020 -2300 -2608 -2176 -2052 -2072 -2736 2380 -2724 -2084 -2692 -2060 2672 2692 -2412 2740 -2256 2020 -2096 -2700 2224 2656 2720 2524 2060 2380 2528 -2060 2320 2124 2648 2068 -2024 2044 -2020 -2632 2120 2572 -2060 -2608 -2740 2660 2056 -2228 -2488 2048 2652 2208 2580 -2156 2616 2212 2448 2740 2736 -2684 2516 -2144 -2020 -2740 2020 2056 2740 2304 -2740 -2020 -2628 2340 2740 2024 2056 -2024 -2708 2060 2684 -2076 -2128 2420 -2308 2068 -2512 -2024 -2700 -2668 2032 2020 2036 2356 -2348 -2488 2388 -2444 -2080 -2132 -2160 2212 2620 2032 -2068 2076 2716 2076 2068 2572 -2700 2660 -2688 -2216 -2428 2096 -2376 2592 -2696 -2440 2164 2356 2376 2020 -2656 -2688 2576 -2340 2392 2056 2404 2228 2024 -2492 -2320 2036 2108 -2320 2720 2276 2408 -2516 2484 -2676 2084 -2356 -2184 2204 -2588 2148 -2532 -2740 -2516 2700 -2360 -2064 -2736 2356 2608 -2104 2304 2668 2576 -2264 2652 -2696 -2432 -2120 -2608 2268 2380 -2020 -2696 2024 -2664 -2552 -2568 -2288 2600 -2020 2648 2536 -2684 -2044 -2700 2328 2424 2736 -2248 -2384 2104 2708 2668 2368 2400 -2272 -2068 -2740 2148 -2124 2564 2660 -2020 -2028 2324 -2440 -2368 -2540 -2704 2340 -2200 2508 -2240 -2492 2068 -2740 -2252 2060 -2740 2388 2740 -2696 2620 -2604 2032 -2680 -2364 2508 -2092 -2024 2024 -2424 -2604 2500 2212 -2540 -2680 -2732 2620 2664 -2700 2060 2556 -2564 -2700 2636 2704 2540 2416 2704 2608 2648 2024 -2504 2132 -2420 2728 2428 -2216 2096 2388 2036 -2708 -2200 -2688 2052 2680 -2704 2452 -2572 -2036 2672 -2152 -2060 2740 -2436 -2716 2688 -2360 -2616 -2740 2600 -2024 -2368 2736 2076 2428 2032 2252 2376 2716 -2332 -2688 2252 -2584 -2600 2588 2724 -2132 -2064 -2488 -2232 -2376 -2740 -2284 2092 2736 2112 -2312 -2480 2696 2632 2232 2108 2700 2700 2728 -2220 -2396 -2736 -2624 -2200 2396 -2740 -2700 -2740 -2692 2740 -2704 -2692 2236 2116 2292 -2640 2192 2644 -2180 -2032 2248 -2076 2224 -2252 -2568 2740 2028 -2416 -2736 -2716 -2124 2464 2576 -2688 2640 -2164 2512 2068 2096 -2380 -2248 -2348 -2320 -2720 -2284 2684 -2204 2692 2104 -2436 -2740 2476 -2492 -2064 2060 -2600 -2492 2320 -2696 2028 -2600 -2580 -2372 -2548 2608 -2184 -2040 2556 2656 -2708 2216 -2028 -2504 -2676 2244 2020 2028 2084 2328 -2036 2104 2536 -2068 2600 2156 2640 2724 2068 -2732 -2196 -2352 -2068 2028 2736 2032 -2740 2692 2692 -2288 2716 -2480 -2452 2356 -2348 -2248 2064 2384 -2536 2080 2380 2212 -2036 -2276 2276 -2568 2404 -2732 -2064 -2476 -2688 2272 -2716 2064 -2440 2632 2676 -2044 2232 2700 2064 -2048 2652 -2728 -2076 -2404 2072 -2732 2612 -2068 -2376 2072 -2056 -2032 2048 2360 2088 -2716 -2204 2220 2300 -2020 2136 2660 -2660 -2020 -2420 -2524 -2196 -2740 2700 2144 -2020 2464 -2080 -2664 -2664 -2584 2412 -2568 2064 -2672 -2508 2176 -2648 2620 -2316 2436 2584 2160 2516 2712 2588 2700 -2664 2432 -2228 2624 -2028 2392 -2704 -2700 2560 -2680 2020 -2308 -2700 -2588 -2312 2484 -2584 2024 -2560 2712 -2164 2528 2612 2084 -2640 -2316 2696 -2084 -2708 -2032 -2740 -2672 2164 -2220 -2696 2300 -2516 2156 2696 2208 -2648 2736 2684 -2732 2724 -2096 -2704 2212 2560 -2688 -2372 2632 2696 -2676 2616 2036 2236 2024 -2628 -2700 2020 -2688 -2540 -2204 -2568 -2096 2020 2192 -2532 2064 2020 -2024 2740 -2352 2036 2736 2736 -2436 2048 -2052 -2060 2060 2680 2324 2736 2672 2212 2644 -2092 -2740 -2692 -2312 -2396 2428 2300 -2348 -2704 -2072 -2260 -2076 2148 2288 2300 2640 -2072 -2224 2340 2444 2640 -2020 -2152 2688 2584 -2076 -2548 2020 -2596 2440 2700 2380 2068 2648 -2456 -2484 2084 2024 2096 -2560 2072 2732 2724 -2468 2236 -2724 2708 2064 -2304 2068 -2028 2080 2548 2312 -2248 -2608 2132 -2328 -2672 2596 2132 2604 2344 2024 2240 -2096 -2020 -2520 2504 2020 -2704 2076 -2084 2124 -2060 -2264 -2412 2024 2624 -2412 -2020 -2416 -2300 -2592 2244 -2716 -2452 2032 -2644 -2080 2740 -2452 2680 -2112 -2692 2464 -2060 -2344 2412 -2668 2020 -2020 -2424 2184 -2552 2172 -2124 2112 -2436 2648 2488 2376 -2556 2132 -2400 -2064 -2736 -2716 -2380 2364 -2068 -2072 2740 -2388 -2740 -2460 -2328 2312 -2312 2652 -2732 2340 2236 -2068 2028 -2372 2736 2152 -2524 2692 -2196 2684 2652 2060 -2676 -2048 -2572 2104 -2336 -2728 -2060 -2608 -2720 -2264 2672 2676 2324 -2084 -2292 -2740 2132 -2060 2696 -2340 -2588 -2060 -2472 -2692 -2088 2300 -2324 -2360 2448 -2024 -2176 -2072 2440 2088 -2396 -2524 -2520 -2584 2072 -2672 2452 2696 -2176 2736 2020 2068 2600 -2572 2712 -2660 2380 -2172 -2112 2376 -2092 2716 2040 -2048 2532 2632 -2516 -2388 -2024 2676 2700 2488 2544 2688 2720 -2160 2676 -2108 -2020 -2336 2736 -2728 -2740 2716 2660 2412 2676 2288 2264 2740 2060 -2600 2432 -2724 -2092 -2188 -2152 2356 -2660 2364 -2440 -2484 2156 -2044 2356 -2248 2208 -2060 -2448 -2628 -2608 2368 -2344 -2316 -2732 -2628 -2080 -2616 2020 -2304 2484 -2344 -2736 -2684 2096 2096 -2156 2536 -2664 -2648 2700 -2592 -2472 -2632 2212 -2680 -2124 -2176 -2024 -2072 -2628 2684 2588 -2388 -2140 -2080 2656 -2524 2376 -2564 2400 -2688 2700 -2160 2696 2092 -2368 2736 -2376 -2596 -2460 2508 -2036 -2672 2736 -2024 2700 -2032 -2500 -2568 -2648 2348 2080 2624 -2272 2108 -2072 2352 2672 -2680 -2320 2740 2736 -2432 -2700 2548 -2408 -2020 2068 -2252 2692 2696 -2088 -2068 2640 2716 -2508 -2224 2400 -2020 -2684 -2400 -2464 -2160 -2564 -2560 2056 -2712 2488 2128 2024 -2028 -2376 2660 2212 -2060 -2020 2068 2580 -2452 -2724 -2020 2736 -2048 2416 -2548 2324 -2024 2424 2316 -2676 -2408 2200 -2668 -2724 -2604 -2024 -2064 2576 2020 2064 -2700 2736 -2212 2576 2328 2028 2700 2300 -2556 2628 -2020 2668 2740 -2208 2324 2036 2036 -2092 2340 -2392 2692 -2020 2508 2080 2084 -2316 -2260 2676 2036 2740 -2688 -2724 -2240 2328 2700 -2088 2076 2632 -2436 -2332 -2736 2028 2028 -2160 2176 2040 2568 -2688 -2540 -2672 2436 2660 -2120 2676 2704 2404 -2584 2068 2260 2032 -2464 2108 2588 -2468 2236 -2468 2172 -2032 2356 2676 2060 2700 2024 -2372 2740 -2528 -2200 -2180 -2032 2600 2032 2716 2732 2296 2708 2376 -2068 2436 -2052 2552 -2308 2712 -2048 2740 -2456 -2408 2488 -2344 -2060 2024 -2568 -2020 2732 2168 -2740 2620 2040 2232 -2700 2724 -2424 -2312 -2276 2024 2740 -2456 2076 -2480 -2680 2444 -2328 2068 -2152 -2040 2592 -2080 2620 2432 2740 -2728 -2044 2432 2100 -2044 2652 -2084 2120 -2448 2064 2060 2736 2384 -2604 2068 2076 -2732 -2096 -2120 -2264 -2260 2712 -2060 2336 -2492 -2664 -2136 2736 2356 2692 2064 2076 2280 -2660 -2112 -2024 2724 -2608 2664 -2624 2076 2672 2248 2144 2648 -2060 2740 -2280 2672 2300 2188 2712 2724 -2728 2736 2068 -2060 -2692 2404 -2664 -2120 -2568 -2052 2368 2040 2468 -2456 2320 2428 2692 2644 2028 2256 -2204 2688 -2284 -2032 2672 2332 2404 -2084 2732 -2692 -2396 -2632 -2064 -2544 -2020 -2664 2564 2072 2400 2696 -2080 -2696 -2248 2364 -2416 -2436 -2024 -2668 -2680 2500 2172 2620 2592 -2152 2632 -2696 2108 2144 -2724 2400 2596 -2060 2700 -2728 2624 2704 -2740 2716 -2700 2348 2500 2348 2460 -2064 2024 -2520 -2548 -2740 -2660 2652 -2688 2036 -2700 -2668 2700 2096 -2488 2096 -2072 -2556 2712 2688 -2304 2440 -2044 -2320 -2596 2056 2036 -2660 -2644 2024 -2172 2376 -2060 2352 2552 -2208 -2028 -2464 -2416 2392 -2656 -2040 -2696 -2668 2020 -2616 -2736 2692 -2020 2740 2628 -2228 2596 -2580 -2024 -2436 2392 2688 2080 -2728 2024 -2732 -2492 -2548 2068 2032 2180 2072 2512 2716 -2676 2032 -2648 2228 2020 2560 -2040 -2076 2460 2168 -2576 2560 2648 2696 2060 2036 2132 2604 2668 2108 -2600 -2372 2692 2700 -2696 -2140 -2244 -2104 -2612 -2040 -2452 2732 -2604 2148 -2564 2024 2664 2080 -2508 -2720 -2020 -2192 -2024 -2108 -2476 -2476 2076 -2196 2172 -2688 2664 2068 -2572 -2236 -2544 -2728 2048 -2648 2080 -2404 -2076 -2336 -2740 2148 2032 2540 -2028 -2592 2568 2472 2060 2740 2720 2700 2020 -2296 2028 2020 2692 -2172 -2404 2712 2040 2576 2040 -2072 2608 -2420 2024 2544 -2632 2200 -2736 -2324 2208 2568 2252 2076 2740 2112 2188 2064 -2588 -2076 -2212 -2456 -2352 -2056 2424 -2664 2204 2252 -2040 2220 -2024 -2716 2500 -2480 2700 2732 -2244 2020 -2724 -2020 2628 -2524 -2316 2656 2604 -2060 -2716 -2448 2024 -2736 2076 -2276 -2100 2024 2136 -2024 -2344 -2568 2376 2688 -2064 -2308 -2264 2044 2540 2032 2088 2476 2064 -2396 -2192 2408 2460 2500 2020 -2028 -2644 -2208 2592 2024 -2388 2072 -2580 -2060 2028 2664 -2092 2224 -2072 -2620 -2700 -2076 -2208 -2412 -2580 -2060 -2060 2308 2716 -2528 2740 2740 2368 -2472 2100 2096 -2664 -2180 -2204 2028 2088 2668 -2060 2580 2020 -2020 2216 2236 2484 2456 2088 2420 -2264 2316 -2504 2668 2556 -2740 2076 -2068 -2116 2360 -2088 2352 2400 -2096 2140 -2068 -2512 2104 -2472 -2736 -2600 2428 2608 -2548 2260 2728 -2512 -2340 2592 -2556 -2664 -2052 2380 -2692 -2020 -2156 2024 2020 -2068 -2192 -2056 -2344 -2020 -2388 -2324 2020 -2028 2720 2580 -2404 -2672 -2476 -2028 -2088 -2444 -2104 -2664 -2028 2020 2508 -2468 2324 -2072 -2228 2164 -2724 2740 -2596 2036 2700 2664 -2524 2640 -2732 -2492 2092 2732 -2664 -2036 -2732 -2528 2564 -2468 -2672 -2420 2696 -2260 2648 -2256 2640 2316 2040 -2184 2484 2372 2596 2060 -2640 -2704 2196 2068 -2284 2400 -2552 -2696 -2556 2464 -2668 2288 2196 2196 -2536 -2240 -2124 -2600 2284 2284 2036 -2580 -2048 2120 2288 -2064 2460 -2700 2220 2700 2664 2136 -2700 2288 2468 2644 -2388 -2416 -2360 2676 -2216 2200 2588 2284 -2676 2740 -2612 -2700 2680 2468 2552 2628 2672 2676 -2724 -2700 2604 -2444 2736 -2068 2696 -2020 2340 -2092 2736 2624 -2652 2028 2556 2636 -2608 2376 2740 2220 -2500 2596 2032 2308 2612 2032 -2704 2680 2676 -2284 2624 -2700 -2736 -2288 -2024 -2036 -2020 -2068 2060 -2092 2056 -2476 2408 -2200 -2568 -2328 2072 -2536 2592 2372 2496 2396 2276 2740 2440 -2696 2484 2700 2696 2028 -2728 2360 2332 -2700 -2508 -2452 -2024 2700 -2020 -2628 2176 2612 2700 2716 2420 2652 2124 -2240 -2380 2080 2700 2700 -2232 2068 -2328 2308 -2248 -2532 2236 -2392 2084 2696 -2332 -2228 -2252 2596 2052 2120 -2524 -2160 -2396 -2196 -2296 -2028 2532 2152 -2068 2028 2668 2104 2612 2056 -2280 -2600 -2104 -2144 2036 -2660 2556 2724 2060 2568 2036 2736 2488 -2020 2216 2208 -2440 -2108 -2552 2532 2100 2196 -2124 2568 2740 2408 2020 -2068 2080 -2148 2060 2668 2732 -2452 -2340 -2140 -2736 -2688 2504 2696 2608 -2740 2076 2076 -2036 2440 2060 2140 2644 2144 2024 -2540 2308 2172 2732 -2472 2068 -2352 -2076 2156
3726 unsatisfied constraints, 37041 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-275237-1169218856 -o ROOT/results/node4/solver-275237-1169218856 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275237-1169218856/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: 2.00 2.00 1.93 4/87 23997 /proc/meminfo: memFree=1079016/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=18540 CPUtime=0 /proc/23996/stat : 23996 (runsolver) R 23994 23996 23464 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270281150 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/23996/statm: 4635 279 244 17 0 2626 0 [startup+0.102946 s] /proc/loadavg: 2.00 2.00 1.93 4/87 23997 /proc/meminfo: memFree=1079016/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=913068 CPUtime=0.08 /proc/23996/stat : 23996 (java) S 23994 23996 23464 0 -1 0 2858 0 1 0 7 1 0 0 17 0 8 0 270281150 934981632 2604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228267 2604 1395 14 0 215168 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 913068 [startup+0.510982 s] /proc/loadavg: 2.00 2.00 1.93 4/87 23997 /proc/meminfo: memFree=1079016/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915332 CPUtime=0.48 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 6804 0 1 0 45 3 0 0 18 0 8 0 270281150 937299968 6543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228833 6543 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.33407 s] /proc/loadavg: 2.00 2.00 1.93 3/94 24004 /proc/meminfo: memFree=998704/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915612 CPUtime=1.29 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 24346 0 1 0 115 14 0 0 23 0 8 0 270281150 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228903 24083 2164 14 0 215373 0 [pid=23996/tid=23998] ppid=23994 vsize=915612 CPUtime=0.1 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 7788 0 0 0 7 3 0 0 16 0 8 0 270281155 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915612 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915612 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915612 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915612 CPUtime=0.16 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 402 0 0 0 15 1 0 0 16 0 8 0 270281158 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915612 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915612 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937586688 24083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915612 [startup+2.98721 s] /proc/loadavg: 2.00 2.00 1.93 3/94 24004 /proc/meminfo: memFree=985520/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=2.93 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 26169 0 1 0 277 16 0 0 25 0 8 0 270281150 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228936 25902 2184 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=0.23 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 9534 0 0 0 19 4 0 0 16 0 8 0 270281155 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.18 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 413 0 0 0 17 1 0 0 16 0 8 0 270281158 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 25902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.27453 s] /proc/loadavg: 2.00 2.00 1.93 3/100 24030 /proc/meminfo: memFree=982400/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=6.17 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 26182 0 1 0 600 17 0 0 25 0 8 0 270281150 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228936 25914 2185 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=0.23 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 9534 0 0 0 19 4 0 0 16 0 8 0 270281155 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.2 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 424 0 0 0 19 1 0 0 16 0 8 0 270281158 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 915744 [startup+12.7671 s] /proc/loadavg: 2.00 2.00 1.93 3/100 24070 /proc/meminfo: memFree=980272/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=12.57 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 26727 0 1 0 1239 18 0 0 25 0 8 0 270281150 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228936 26457 2185 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=0.28 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 10075 0 0 0 24 4 0 0 16 0 8 0 270281155 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.21 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 426 0 0 0 20 1 0 0 16 0 8 0 270281158 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 26457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 915744 [startup+25.6164 s] /proc/loadavg: 2.00 2.00 1.93 3/100 24088 /proc/meminfo: memFree=980464/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=25.28 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 26735 0 1 0 2508 20 0 0 25 0 8 0 270281150 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228936 26463 2185 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=0.28 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 10075 0 0 0 24 4 0 0 16 0 8 0 270281155 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.22 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 432 0 0 0 21 1 0 0 15 0 8 0 270281158 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 26463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.28 Current children cumulated vsize (KiB) 915744 [startup+51.2438 s] /proc/loadavg: 2.00 2.00 1.93 3/100 24162 /proc/meminfo: memFree=971000/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=50.58 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 29115 0 1 0 5028 30 0 0 25 0 8 0 270281150 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23996/statm: 228936 28841 2185 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=0.38 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 12445 0 0 0 33 5 0 0 16 0 8 0 270281155 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270281155 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.23 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 440 0 0 0 22 1 0 0 16 0 8 0 270281158 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 28841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 915744 [startup+102.495 s] /proc/loadavg: 1.96 1.98 1.92 3/100 24263 /proc/meminfo: memFree=1102072/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=101.68 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 39158 0 1 0 10116 52 0 0 25 0 8 0 270281150 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228936 38820 2504 14 0 215406 0 [pid=23996/tid=23998] ppid=23994 vsize=915744 CPUtime=1.17 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 22098 0 0 0 107 10 0 0 16 0 8 0 270281155 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915744 CPUtime=0.29 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 476 0 0 0 28 1 0 0 16 0 8 0 270281158 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915744 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937721856 38820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.68 Current children cumulated vsize (KiB) 915744 [startup+162.501 s] /proc/loadavg: 2.02 2.00 1.93 3/100 24263 /proc/meminfo: memFree=1102008/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915744 CPUtime=161.62 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 39159 0 1 0 16104 58 0 0 25 0 8 0 270281150 937721856 38821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2019.93 Current children cumulated vsize (KiB) 915744 [startup+2082.8 s] /proc/loadavg: 2.32 2.08 1.99 3/100 24265 /proc/meminfo: memFree=973176/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2079.85 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67013 0 1 0 207873 112 0 0 25 0 8 0 270281150 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66669 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.4 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 588 0 0 0 38 2 0 0 15 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2079.85 Current children cumulated vsize (KiB) 915980 [startup+2142.86 s] /proc/loadavg: 2.17 2.08 1.99 3/100 24265 /proc/meminfo: memFree=973176/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2139.59 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67013 0 1 0 213847 112 0 0 25 0 8 0 270281150 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020205 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66669 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.4 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 588 0 0 0 38 2 0 0 15 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2139.59 Current children cumulated vsize (KiB) 915980 [startup+2202.88 s] /proc/loadavg: 2.06 2.06 1.99 3/100 24265 /proc/meminfo: memFree=973112/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2199.31 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67013 0 1 0 219818 113 0 0 25 0 8 0 270281150 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074311549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66669 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.4 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 588 0 0 0 38 2 0 0 15 0 8 0 270281158 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66669 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2199.31 Current children cumulated vsize (KiB) 915980 [startup+2262.92 s] /proc/loadavg: 2.02 2.05 1.99 3/100 24265 /proc/meminfo: memFree=973112/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2259.01 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67025 0 1 0 225788 113 0 0 25 0 8 0 270281150 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66678 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.41 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 598 0 0 0 39 2 0 0 16 0 8 0 270281158 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2259.01 Current children cumulated vsize (KiB) 915980 [startup+2323 s] /proc/loadavg: 2.01 2.03 1.99 3/100 24265 /proc/meminfo: memFree=973048/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2318.77 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67029 0 1 0 231764 113 0 0 25 0 8 0 270281150 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66680 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.41 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 602 0 0 0 39 2 0 0 16 0 8 0 270281158 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66680 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2318.77 Current children cumulated vsize (KiB) 915980 [startup+2383.07 s] /proc/loadavg: 2.00 2.03 1.99 3/100 24265 /proc/meminfo: memFree=973048/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2378.53 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67033 0 1 0 237740 113 0 0 25 0 8 0 270281150 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66681 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.41 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 604 0 0 0 39 2 0 0 16 0 8 0 270281158 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2378.53 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2404.77 s] /proc/loadavg: 2.00 2.02 1.99 3/100 24265 /proc/meminfo: memFree=973048/2055920 swapFree=4182144/4192956 [pid=23996] ppid=23994 vsize=915980 CPUtime=2400.09 /proc/23996/stat : 23996 (java) R 23994 23996 23464 0 -1 0 67033 0 1 0 239896 113 0 0 25 0 8 0 270281150 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/23996/statm: 228995 66681 2551 14 0 215465 0 [pid=23996/tid=23998] ppid=23994 vsize=915980 CPUtime=1.49 /proc/23996/task/23998/stat : 23998 (java) S 23994 23996 23464 0 -1 64 49735 0 0 0 129 20 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=23999] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/23999/stat : 23999 (java) S 23994 23996 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24000] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24000/stat : 24000 (java) S 23994 23996 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281155 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24001] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24001/stat : 24001 (java) S 23994 23996 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270281158 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24002] ppid=23994 vsize=915980 CPUtime=0.41 /proc/23996/task/24002/stat : 24002 (java) S 23994 23996 23464 0 -1 64 604 0 0 0 39 2 0 0 16 0 8 0 270281158 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23996/tid=24003] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24003/stat : 24003 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270281159 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23996/tid=24004] ppid=23994 vsize=915980 CPUtime=0 /proc/23996/task/24004/stat : 24004 (java) S 23994 23996 23464 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270281159 937963520 66681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2404.95 CPU time (s): 2400.27 CPU user time (s): 2399.06 CPU system time (s): 1.21181 CPU usage (%): 99.8054 Max. virtual memory (cumulated for all children) (KiB): 917012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.06 system time used= 1.21182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74912 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= 50482 involuntary context switches= 92775 runsolver used 3.2755 s user time and 7.54585 s system time The end
Begin job on node4 on Fri Jan 19 15:00:56 UTC 2007 IDJOB= 275237 IDBENCH= 3728 IDSOLVER= 68 FILE ID= node4/275237-1169218856 PBS_JOBID= 3588931 Free space on /tmp= 66555 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-0.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275237-1169218856/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-275237-1169218856 -o ROOT/results/node4/solver-275237-1169218856 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275237-1169218856/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 48c22b4658f7e95cf77401e5a2d21209 RANDOM SEED= 782793456 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.223 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.223 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: 1079432 kB Buffers: 62976 kB Cached: 485948 kB SwapCached: 2148 kB Active: 454552 kB Inactive: 438804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1079432 kB SwapTotal: 4192956 kB SwapFree: 4182144 kB Dirty: 7304 kB Writeback: 0 kB Mapped: 355444 kB Slab: 67156 kB Committed_AS: 7628664 kB PageTables: 3004 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66551 MiB End job on node4 on Fri Jan 19 15:41:01 UTC 2007