Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.09 | 2413.32 |
| Name | fapp/fapp36-40/fapp39/ fapp39-2750-1.xml |
| MD5SUM | 0711f87a2f23f1ada9e0aed542733318 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 20342 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2750 |
| Number of constraints | 23154 |
| Maximum constraint arity | 2 |
| Maximum domain size | 502 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 23154 |
| Global constraints used (with number of constraints) |
0.29 0.29 Abscon 109 (November, 2006) 0.30 0.30 configuration 0.30 name=pfc.xml 0.33 0.33 instance 0.33 name=/tmp/evaluation/275604-1169223850/unknown.xml 0.36 0.36 domains being loaded... 0.39 0.39 variables being loaded... 0.84 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 0.84 => wckTime=0.539 cpuTime=0.35 mem=40M672 0.84 0.84 predicates being loaded... 0.84 0.84 constraints being loaded... 61.13 61.13 INFO : Stopping converting binary constraints (cpu=60.04, mem = 69M244) 62.08 nbConstraints=23154 nbConvertedConstraints=1515 nbConvertConstraintsChecks=206521796 nbExtensionStructures=891 62.08 nbSharedExtensionStructures=624 nbConflictsStructures=891 nbSharedConflictsStructures=624 62.08 nbSharedBinaryRepresentations=818091 nbEvaluationManagers=3570 nbSharedEvaluationManagers=18069 maxDegree=23 62.08 maxArity=2 62.08 => wckTime=61.783 cpuTime=60.81 mem=106M680 62.40 62.40 solver LocalSearchSolver being built... 62.44 => wckTime=62.146 cpuTime=60.86 mem=78M691 62.73 62.73 s SATISFIABLE 62.73 o 16265 62.73 c 6889 62.82 o 16272 62.82 c 6882 62.91 o 16277 62.91 c 6877 62.99 o 16281 62.99 c 6873 63.08 o 16285 63.08 c 6869 63.14 o 16288 63.14 c 6866 63.19 o 16291 63.19 c 6863 63.24 o 16293 63.24 c 6861 63.28 o 16295 63.28 c 6859 63.32 o 16297 63.32 c 6857 63.36 o 16299 63.36 c 6855 63.40 o 16300 63.40 c 6854 63.47 o 16307 63.47 c 6847 63.54 o 16313 63.54 c 6841 63.61 o 16319 63.61 c 6835 63.67 o 16325 63.67 c 6829 63.73 o 16331 63.73 c 6823 63.80 o 16334 63.80 c 6820 63.86 o 16339 63.86 c 6815 63.93 o 16344 63.93 c 6810 63.99 o 16349 63.99 c 6805 64.05 o 16354 64.05 c 6800 64.11 o 16359 64.11 c 6795 64.18 o 16364 64.18 c 6790 64.24 o 16369 64.24 c 6785 64.30 o 16373 64.30 c 6781 64.35 o 16377 64.35 c 6777 64.43 o 16381 64.43 c 6773 64.50 o 16384 64.50 c 6770 64.54 o 16387 64.54 c 6767 64.59 o 16390 64.59 c 6764 64.64 o 16393 64.64 c 6761 64.69 o 16396 64.69 c 6758 64.74 o 16399 64.74 c 6755 64.81 o 16402 64.81 c 6752 64.85 o 16405 64.85 c 6749 64.90 o 16407 64.90 c 6747 64.94 o 16409 64.94 c 6745 65.00 o 16411 65.00 c 6743 65.03 o 16413 65.03 c 6741 65.08 o 16415 65.08 c 6739 65.10 o 16416 65.10 c 6738 65.13 o 16417 65.13 c 6737 65.16 o 16418 65.16 c 6736 65.18 o 16419 65.18 c 6735 65.23 o 16420 65.23 c 6734 65.31 o 16423 65.31 c 6731 65.38 o 16426 65.38 c 6728 65.47 o 16433 65.47 c 6721 65.55 o 16440 65.55 c 6714 65.65 o 16446 65.65 c 6708 65.74 o 16452 65.74 c 6702 65.85 o 16458 65.85 c 6696 65.94 o 16463 65.94 c 6691 66.03 o 16465 66.03 c 6689 66.12 o 16470 66.12 c 6684 66.22 o 16475 66.22 c 6679 66.30 o 16480 66.30 c 6674 66.39 o 16485 66.39 c 6669 66.47 o 16490 66.47 c 6664 66.55 o 16495 66.55 c 6659 66.63 o 16500 66.63 c 6654 66.71 o 16505 66.71 c 6649 66.79 o 16510 66.79 c 6644 66.87 o 16514 66.87 c 6640 66.95 o 16518 66.95 c 6636 67.02 o 16522 67.02 c 6632 67.09 o 16526 67.09 c 6628 67.15 o 16530 67.16 c 6624 67.25 o 16537 67.25 c 6617 67.32 o 16540 67.32 c 6614 67.41 o 16541 67.41 c 6613 67.49 o 16544 67.49 c 6610 67.56 o 16547 67.56 c 6607 67.62 o 16550 67.62 c 6604 67.68 o 16553 67.68 c 6601 67.73 o 16556 67.73 c 6598 67.79 o 16559 67.79 c 6595 67.84 o 16562 67.84 c 6592 67.89 o 16565 67.89 c 6589 67.94 o 16567 67.94 c 6587 67.99 o 16569 67.99 c 6585 68.05 o 16571 68.05 c 6583 68.11 o 16573 68.11 c 6581 68.16 o 16575 68.16 c 6579 68.21 o 16577 68.21 c 6577 68.26 o 16579 68.26 c 6575 68.30 o 16581 68.30 c 6573 68.35 o 16583 68.35 c 6571 68.39 o 16585 68.40 c 6569 68.44 o 16587 68.44 c 6567 68.47 o 16589 68.47 c 6565 68.50 o 16590 68.50 c 6564 68.53 o 16591 68.53 c 6563 68.55 o 16592 68.55 c 6562 68.59 o 16593 68.59 c 6561 68.61 o 16594 68.61 c 6560 68.80 o 16598 68.80 c 6556 68.84 o 16603 68.84 c 6551 68.87 o 16604 68.87 c 6550 68.92 o 16606 68.92 c 6548 68.97 o 16609 68.97 c 6545 69.02 o 16611 69.02 c 6543 69.05 o 16616 69.05 c 6538 69.07 o 16622 69.07 c 6532 69.09 o 16625 69.09 c 6529 69.12 o 16630 69.12 c 6524 69.16 o 16633 69.16 c 6521 69.23 o 16634 69.23 c 6520 69.28 o 16639 69.28 c 6515 69.34 o 16647 69.34 c 6507 69.39 o 16649 69.39 c 6505 69.42 o 16650 69.42 c 6504 69.52 o 16653 69.52 c 6501 69.61 o 16655 69.61 c 6499 69.72 o 16661 69.72 c 6493 69.84 o 16667 69.84 c 6487 69.97 o 16673 69.97 c 6481 70.10 o 16678 70.10 c 6476 70.24 o 16683 70.24 c 6471 70.36 o 16688 70.36 c 6466 70.48 o 16693 70.48 c 6461 70.61 o 16698 70.61 c 6456 70.73 o 16703 70.73 c 6451 70.85 o 16708 70.85 c 6446 70.98 o 16713 70.98 c 6441 71.11 o 16717 71.11 c 6437 71.26 o 16721 71.26 c 6433 71.38 o 16729 71.38 c 6425 71.51 o 16733 71.51 c 6421 71.64 o 16737 71.64 c 6417 71.76 o 16740 71.76 c 6414 71.87 o 16741 71.87 c 6413 71.99 o 16745 71.99 c 6409 72.09 o 16747 72.09 c 6407 72.31 o 16751 72.31 c 6403 72.43 o 16754 72.43 c 6400 72.54 o 16757 72.54 c 6397 72.64 o 16760 72.64 c 6394 72.74 o 16763 72.74 c 6391 72.85 o 16766 72.85 c 6388 72.95 o 16769 72.95 c 6385 73.06 o 16772 73.06 c 6382 73.15 o 16775 73.15 c 6379 73.25 o 16778 73.25 c 6376 73.33 o 16779 73.33 c 6375 73.42 o 16780 73.42 c 6374 73.52 o 16783 73.52 c 6371 73.60 o 16786 73.60 c 6368 73.70 o 16789 73.70 c 6365 73.78 o 16791 73.78 c 6363 73.86 o 16793 73.86 c 6361 73.94 o 16795 73.94 c 6359 74.03 o 16797 74.03 c 6357 74.11 o 16799 74.11 c 6355 74.19 o 16801 74.19 c 6353 74.27 o 16803 74.27 c 6351 74.35 o 16805 74.35 c 6349 74.42 o 16807 74.42 c 6347 74.49 o 16809 74.49 c 6345 74.57 o 16811 74.57 c 6343 74.65 o 16813 74.65 c 6341 74.71 o 16815 74.71 c 6339 74.79 o 16817 74.79 c 6337 74.85 o 16819 74.85 c 6335 74.91 o 16821 74.91 c 6333 74.97 o 16823 74.97 c 6331 75.03 o 16825 75.03 c 6329 75.08 o 16827 75.08 c 6327 75.14 o 16829 75.14 c 6325 75.20 o 16830 75.20 c 6324 75.25 o 16831 75.25 c 6323 75.30 o 16832 75.30 c 6322 75.35 o 16833 75.35 c 6321 75.39 o 16834 75.39 c 6320 75.43 o 16835 75.43 c 6319 75.48 o 16836 75.48 c 6318 75.53 o 16837 75.53 c 6317 75.56 o 16838 75.56 c 6316 75.59 o 16839 75.59 c 6315 75.64 o 16840 75.64 c 6314 75.67 o 16841 75.67 c 6313 75.70 o 16842 75.70 c 6312 75.75 o 16843 75.75 c 6311 75.80 o 16844 75.80 c 6310 75.83 o 16845 75.83 c 6309 75.86 o 16846 75.86 c 6308 75.96 o 16848 75.96 c 6306 76.00 o 16849 76.00 c 6305 76.03 o 16851 76.03 c 6303 76.06 o 16855 76.06 c 6299 76.09 o 16861 76.09 c 6293 76.12 o 16866 76.12 c 6288 76.15 o 16869 76.15 c 6285 76.18 o 16870 76.18 c 6284 76.25 o 16875 76.25 c 6279 76.28 o 16878 76.28 c 6276 76.32 o 16880 76.32 c 6274 76.35 o 16885 76.35 c 6269 76.38 o 16888 76.38 c 6266 76.42 o 16889 76.42 c 6265 76.45 o 16892 76.45 c 6262 76.48 o 16897 76.48 c 6257 76.51 o 16901 76.51 c 6253 76.59 o 16907 76.59 c 6247 76.66 o 16914 76.66 c 6240 76.68 o 16916 76.68 c 6238 76.72 o 16920 76.72 c 6234 76.77 o 16922 76.78 c 6232 76.80 o 16924 76.80 c 6230 76.84 o 16929 76.84 c 6225 76.89 o 16935 76.89 c 6219 76.93 o 16940 76.93 c 6214 76.96 o 16947 76.96 c 6207 77.00 o 16948 77.00 c 6206 77.04 o 16949 77.04 c 6205 77.08 o 16951 77.08 c 6203 77.14 o 16953 77.14 c 6201 77.18 o 16954 77.18 c 6200 77.23 o 16956 77.23 c 6198 77.26 o 16960 77.26 c 6194 77.32 o 16961 77.32 c 6193 77.35 o 16964 77.35 c 6190 77.40 o 16965 77.40 c 6189 77.47 o 16966 77.47 c 6188 77.52 o 16968 77.52 c 6186 77.64 o 16974 77.64 c 6180 77.79 o 16980 77.79 c 6174 77.92 o 16986 77.92 c 6168 78.06 o 16992 78.06 c 6162 78.18 o 16998 78.18 c 6156 78.30 o 16999 78.30 c 6155 78.38 o 17004 78.38 c 6150 78.51 o 17010 78.51 c 6144 78.67 o 17016 78.67 c 6138 78.83 o 17021 78.83 c 6133 78.97 o 17026 78.97 c 6128 79.12 o 17031 79.12 c 6123 79.26 o 17036 79.26 c 6118 79.39 o 17041 79.39 c 6113 79.53 o 17046 79.53 c 6108 79.69 o 17050 79.69 c 6104 79.84 o 17054 79.85 c 6100 79.99 o 17058 79.99 c 6096 80.14 o 17062 80.14 c 6092 80.44 o 17067 80.44 c 6087 80.58 o 17071 80.58 c 6083 80.74 o 17074 80.74 c 6080 80.88 o 17077 80.88 c 6077 81.03 o 17080 81.03 c 6074 81.18 o 17083 81.18 c 6071 81.32 o 17086 81.32 c 6068 81.47 o 17089 81.47 c 6065 81.61 o 17092 81.61 c 6062 81.74 o 17095 81.74 c 6059 81.88 o 17098 81.88 c 6056 82.00 o 17101 82.00 c 6053 82.12 o 17104 82.12 c 6050 82.25 o 17107 82.25 c 6047 82.37 o 17110 82.37 c 6044 82.49 o 17113 82.49 c 6041 82.61 o 17116 82.61 c 6038 82.72 o 17120 82.73 c 6034 82.85 o 17121 82.85 c 6033 82.95 o 17124 82.96 c 6030 83.06 o 17126 83.06 c 6028 83.18 o 17128 83.18 c 6026 83.29 o 17130 83.29 c 6024 83.40 o 17132 83.40 c 6022 83.51 o 17134 83.51 c 6020 83.62 o 17136 83.62 c 6018 83.72 o 17138 83.72 c 6016 83.82 o 17140 83.82 c 6014 83.93 o 17142 83.93 c 6012 84.02 o 17145 84.02 c 6009 84.12 o 17147 84.12 c 6007 84.23 o 17151 84.23 c 6003 84.32 o 17157 84.32 c 5997 84.42 o 17159 84.42 c 5995 84.53 o 17161 84.53 c 5993 84.61 o 17163 84.61 c 5991 84.71 o 17165 84.71 c 5989 84.81 o 17167 84.81 c 5987 84.91 o 17169 84.91 c 5985 84.99 o 17171 84.99 c 5983 85.09 o 17173 85.09 c 5981 85.16 o 17175 85.16 c 5979 85.24 o 17177 85.24 c 5977 85.33 o 17181 85.33 c 5973 85.42 o 17183 85.42 c 5971 85.50 o 17185 85.50 c 5969 85.58 o 17187 85.58 c 5967 85.66 o 17189 85.66 c 5965 85.74 o 17190 85.74 c 5964 85.81 o 17191 85.81 c 5963 85.90 o 17192 85.90 c 5962 85.99 o 17193 85.99 c 5961 86.07 o 17194 86.07 c 5960 86.14 o 17195 86.14 c 5959 86.21 o 17196 86.21 c 5958 86.27 o 17197 86.27 c 5957 86.33 o 17198 86.33 c 5956 86.39 o 17199 86.40 c 5955 86.47 o 17200 86.47 c 5954 86.96 o 17201 86.96 c 5953 87.23 o 17202 87.23 c 5952 87.27 o 17203 87.27 c 5951 87.31 o 17205 87.31 c 5949 87.38 o 17209 87.38 c 5945 87.42 o 17211 87.42 c 5943 87.47 o 17212 87.47 c 5942 87.54 o 17213 87.54 c 5941 87.59 o 17215 87.59 c 5939 87.64 o 17220 87.64 c 5934 87.72 o 17221 87.72 c 5933 87.78 o 17223 87.78 c 5931 87.83 o 17227 87.83 c 5927 87.88 o 17230 87.88 c 5924 87.98 o 17231 87.98 c 5923 88.02 o 17232 88.02 c 5922 88.09 o 17235 88.09 c 5919 88.13 o 17237 88.13 c 5917 88.24 o 17238 88.24 c 5916 88.30 o 17240 88.30 c 5914 88.36 o 17241 88.36 c 5913 88.44 o 17243 88.44 c 5911 88.52 o 17245 88.52 c 5909 88.75 o 17247 88.75 c 5907 88.82 o 17250 88.82 c 5904 88.90 o 17255 88.90 c 5899 88.97 o 17257 88.97 c 5897 89.03 o 17260 89.03 c 5894 89.09 o 17261 89.10 c 5893 89.34 o 17263 89.34 c 5891 89.42 o 17265 89.42 c 5889 89.48 o 17269 89.48 c 5885 89.55 o 17274 89.55 c 5880 89.62 o 17276 89.62 c 5878 89.69 o 17278 89.69 c 5876 89.77 o 17284 89.77 c 5870 89.85 o 17285 89.85 c 5869 89.93 o 17286 89.93 c 5868 90.00 o 17290 90.00 c 5864 90.07 o 17291 90.07 c 5863 90.17 o 17292 90.17 c 5862 90.24 o 17294 90.24 c 5860 90.30 o 17297 90.30 c 5857 90.37 o 17302 90.37 c 5852 90.44 o 17304 90.44 c 5850 90.52 o 17308 90.52 c 5846 90.59 o 17311 90.59 c 5843 90.74 o 17316 90.74 c 5838 90.80 o 17318 90.80 c 5836 90.89 o 17321 90.89 c 5833 90.98 o 17324 90.98 c 5830 91.06 o 17325 91.06 c 5829 91.16 o 17328 91.16 c 5826 91.22 o 17331 91.22 c 5823 91.33 o 17332 91.33 c 5822 91.42 o 17334 91.42 c 5820 91.62 o 17337 91.62 c 5817 91.71 o 17338 91.71 c 5816 91.80 o 17339 91.80 c 5815 91.92 o 17342 91.92 c 5812 92.00 o 17346 92.00 c 5808 92.10 o 17349 92.10 c 5805 92.20 o 17350 92.20 c 5804 92.30 o 17351 92.30 c 5803 92.40 o 17354 92.40 c 5800 92.51 o 17355 92.51 c 5799 92.62 o 17356 92.62 c 5798 92.72 o 17357 92.72 c 5797 92.84 o 17360 92.84 c 5794 92.95 o 17364 92.95 c 5790 93.04 o 17365 93.04 c 5789 93.13 o 17367 93.13 c 5787 93.22 o 17371 93.22 c 5783 93.39 o 17373 93.39 c 5781 93.49 o 17376 93.49 c 5778 93.61 o 17380 93.61 c 5774 93.70 o 17384 93.70 c 5770 93.79 o 17389 93.79 c 5765 93.91 o 17391 93.91 c 5763 94.04 o 17394 94.04 c 5760 94.18 o 17396 94.18 c 5758 94.34 o 17401 94.34 c 5753 94.50 o 17406 94.50 c 5748 94.66 o 17411 94.66 c 5743 94.83 o 17416 94.83 c 5738 95.02 o 17421 95.02 c 5733 95.20 o 17425 95.20 c 5729 95.37 o 17429 95.37 c 5725 95.53 o 17436 95.53 c 5718 95.69 o 17439 95.69 c 5715 95.86 o 17443 95.86 c 5711 96.02 o 17447 96.02 c 5707 96.19 o 17451 96.19 c 5703 96.35 o 17453 96.35 c 5701 96.51 o 17455 96.51 c 5699 96.81 o 17458 96.81 c 5696 96.97 o 17461 96.97 c 5693 97.12 o 17462 97.12 c 5692 97.28 o 17465 97.28 c 5689 97.59 o 17468 97.59 c 5686 97.74 o 17471 97.74 c 5683 97.88 o 17473 97.88 c 5681 98.03 o 17476 98.03 c 5678 98.30 o 17478 98.30 c 5676 98.44 o 17479 98.44 c 5675 98.58 o 17482 98.58 c 5672 98.73 o 17485 98.73 c 5669 98.85 o 17490 98.85 c 5664 99.00 o 17493 99.00 c 5661 99.12 o 17496 99.12 c 5658 99.26 o 17499 99.26 c 5655 99.39 o 17501 99.39 c 5653 99.52 o 17503 99.52 c 5651 99.66 o 17506 99.66 c 5648 99.78 o 17508 99.78 c 5646 99.92 o 17510 99.92 c 5644 100.05 o 17512 100.05 c 5642 100.16 o 17514 100.16 c 5640 100.25 o 17519 100.25 c 5635 100.38 o 17520 100.38 c 5634 100.49 o 17522 100.49 c 5632 100.60 o 17524 100.60 c 5630 100.72 o 17526 100.72 c 5628 100.82 o 17528 100.82 c 5626 100.93 o 17530 100.93 c 5624 101.04 o 17532 101.04 c 5622 101.14 o 17534 101.14 c 5620 101.25 o 17536 101.25 c 5618 101.35 o 17538 101.35 c 5616 101.45 o 17540 101.45 c 5614 101.55 o 17542 101.55 c 5612 101.65 o 17546 101.65 c 5608 101.74 o 17547 101.74 c 5607 101.83 o 17548 101.83 c 5606 101.92 o 17549 101.92 c 5605 102.01 o 17550 102.01 c 5604 102.11 o 17551 102.11 c 5603 102.20 o 17552 102.20 c 5602 102.29 o 17553 102.29 c 5601 102.38 o 17554 102.38 c 5600 102.48 o 17555 102.48 c 5599 102.63 o 17560 102.63 c 5594 103.57 o 17564 103.57 c 5590 103.64 o 17566 103.64 c 5588 103.73 o 17568 103.73 c 5586 103.79 o 17571 103.79 c 5583 103.85 o 17573 103.85 c 5581 103.91 o 17577 103.91 c 5577 103.98 o 17579 103.98 c 5575 104.06 o 17582 104.06 c 5572 104.13 o 17583 104.13 c 5571 104.28 o 17584 104.28 c 5570 104.43 o 17587 104.43 c 5567 104.51 o 17589 104.51 c 5565 104.60 o 17593 104.60 c 5561 104.67 o 17595 104.67 c 5559 104.76 o 17596 104.76 c 5558 104.90 o 17598 104.90 c 5556 104.99 o 17599 104.99 c 5555 105.06 o 17602 105.06 c 5552 105.23 o 17604 105.23 c 5550 105.30 o 17610 105.30 c 5544 105.48 o 17616 105.48 c 5538 105.55 o 17620 105.55 c 5534 105.72 o 17622 105.72 c 5532 105.79 o 17624 105.79 c 5530 105.88 o 17627 105.88 c 5527 105.96 o 17631 105.96 c 5523 106.05 o 17633 106.05 c 5521 106.14 o 17639 106.14 c 5515 106.22 o 17640 106.22 c 5514 106.30 o 17642 106.30 c 5512 106.40 o 17645 106.40 c 5509 106.49 o 17650 106.49 c 5504 106.59 o 17656 106.59 c 5498 106.68 o 17661 106.68 c 5493 106.76 o 17664 106.76 c 5490 106.87 o 17668 106.87 c 5486 106.99 o 17673 106.99 c 5481 107.08 o 17675 107.08 c 5479 107.17 o 17678 107.17 c 5476 107.27 o 17679 107.27 c 5475 107.36 o 17682 107.36 c 5472 107.47 o 17683 107.47 c 5471 107.57 o 17686 107.57 c 5468 107.67 o 17687 107.67 c 5467 107.78 o 17689 107.78 c 5465 107.90 o 17690 107.90 c 5464 108.37 o 17692 108.37 c 5462 108.45 o 17696 108.45 c 5458 108.56 o 17698 108.56 c 5456 108.67 o 17701 108.67 c 5453 108.78 o 17703 108.78 c 5451 108.91 o 17705 108.91 c 5449 109.02 o 17708 109.02 c 5446 109.55 o 17711 109.55 c 5443 109.64 o 17714 109.64 c 5440 109.87 o 17716 109.87 c 5438 109.98 o 17718 109.98 c 5436 110.08 o 17722 110.08 c 5432 110.20 o 17723 110.20 c 5431 110.31 o 17724 110.31 c 5430 110.43 o 17725 110.43 c 5429 110.56 o 17728 110.56 c 5426 110.67 o 17732 110.67 c 5422 110.78 o 17733 110.78 c 5421 111.03 o 17734 111.03 c 5420 111.15 o 17735 111.15 c 5419 111.26 o 17738 111.27 c 5416 111.37 o 17741 111.37 c 5413 111.49 o 17742 111.49 c 5412 111.70 o 17747 111.70 c 5407 111.93 o 17752 111.93 c 5402 112.05 o 17755 112.05 c 5399 112.16 o 17757 112.16 c 5397 112.39 o 17761 112.39 c 5393 112.63 o 17765 112.63 c 5389 112.74 o 17766 112.74 c 5388 112.85 o 17768 112.85 c 5386 112.96 o 17770 112.96 c 5384 113.06 o 17774 113.06 c 5380 113.18 o 17778 113.18 c 5376 113.29 o 17782 113.29 c 5372 113.41 o 17783 113.41 c 5371 113.63 o 17787 113.63 c 5367 113.74 o 17790 113.74 c 5364 113.85 o 17794 113.85 c 5360 113.96 o 17796 113.96 c 5358 114.08 o 17799 114.08 c 5355 114.19 o 17802 114.19 c 5352 114.31 o 17803 114.31 c 5351 114.42 o 17806 114.42 c 5348 114.53 o 17807 114.53 c 5347 114.62 o 17811 114.62 c 5343 114.72 o 17815 114.72 c 5339 114.83 o 17817 114.83 c 5337 114.94 o 17818 114.94 c 5336 115.02 o 17820 115.02 c 5334 115.12 o 17823 115.12 c 5331 115.22 o 17824 115.22 c 5330 115.31 o 17828 115.31 c 5326 115.42 o 17831 115.42 c 5323 115.52 o 17833 115.52 c 5321 115.62 o 17834 115.62 c 5320 115.70 o 17835 115.70 c 5319 115.81 o 17836 115.81 c 5318 115.90 o 17838 115.90 c 5316 116.00 o 17844 116.00 c 5310 116.11 o 17846 116.11 c 5308 116.23 o 17848 116.23 c 5306 116.36 o 17851 116.36 c 5303 116.47 o 17857 116.47 c 5297 116.60 o 17860 116.60 c 5294 116.72 o 17864 116.72 c 5290 116.83 o 17866 116.83 c 5288 117.07 o 17868 117.07 c 5286 117.19 o 17869 117.19 c 5285 117.31 o 17870 117.31 c 5284 117.43 o 17872 117.43 c 5282 117.56 o 17875 117.56 c 5279 117.68 o 17878 117.68 c 5276 117.81 o 17879 117.81 c 5275 117.94 o 17883 117.94 c 5271 118.07 o 17884 118.07 c 5270 118.19 o 17888 118.19 c 5266 118.31 o 17893 118.31 c 5261 118.42 o 17897 118.42 c 5257 118.79 o 17898 118.79 c 5256 118.92 o 17899 118.92 c 5255 119.03 o 17902 119.03 c 5252 119.15 o 17905 119.15 c 5249 119.41 o 17906 119.41 c 5248 119.65 o 17908 119.65 c 5246 119.76 o 17911 119.76 c 5243 119.89 o 17915 119.89 c 5239 120.14 o 17916 120.14 c 5238 120.26 o 17919 120.26 c 5235 120.39 o 17922 120.39 c 5232 120.57 o 17926 120.57 c 5228 120.74 o 17930 120.74 c 5224 120.89 o 17931 120.89 c 5223 121.06 o 17936 121.06 c 5218 121.22 o 17939 121.22 c 5215 121.39 o 17942 121.39 c 5212 121.56 o 17945 121.56 c 5209 121.72 o 17948 121.72 c 5206 121.87 o 17951 121.87 c 5203 122.03 o 17953 122.03 c 5201 122.20 o 17956 122.20 c 5198 122.36 o 17959 122.36 c 5195 122.51 o 17962 122.51 c 5192 122.82 o 17965 122.82 c 5189 122.98 o 17968 122.98 c 5186 123.12 o 17970 123.12 c 5184 123.27 o 17972 123.27 c 5182 123.43 o 17974 123.43 c 5180 123.57 o 17976 123.57 c 5178 123.71 o 17978 123.71 c 5176 123.86 o 17980 123.86 c 5174 124.01 o 17981 124.01 c 5173 124.15 o 17982 124.15 c 5172 124.29 o 17983 124.29 c 5171 124.43 o 17984 124.43 c 5170 124.57 o 17990 124.57 c 5164 124.72 o 17991 124.72 c 5163 124.85 o 17992 124.85 c 5162 124.98 o 17993 124.98 c 5161 125.12 o 17994 125.12 c 5160 125.26 o 17995 125.26 c 5159 125.39 o 17996 125.39 c 5158 125.54 o 17999 125.54 c 5155 125.69 o 18000 125.69 c 5154 125.82 o 18001 125.82 c 5153 126.09 o 18002 126.09 c 5152 126.72 o 18005 126.72 c 5149 127.68 o 18006 127.68 c 5148 127.80 o 18008 127.80 c 5146 127.93 o 18009 127.93 c 5145 128.06 o 18011 128.06 c 5143 128.17 o 18014 128.17 c 5140 128.32 o 18015 128.32 c 5139 128.44 o 18019 128.44 c 5135 128.57 o 18023 128.57 c 5131 128.70 o 18025 128.70 c 5129 128.83 o 18027 128.83 c 5127 128.96 o 18028 128.96 c 5126 129.23 o 18029 129.23 c 5125 129.48 o 18030 129.48 c 5124 129.73 o 18033 129.73 c 5121 129.87 o 18035 129.87 c 5119 129.99 o 18037 129.99 c 5117 130.23 o 18040 130.23 c 5114 130.36 o 18043 130.36 c 5111 130.47 o 18046 130.47 c 5108 130.60 o 18047 130.60 c 5107 130.72 o 18048 130.72 c 5106 131.06 o 18051 131.06 c 5103 131.17 o 18052 131.17 c 5102 131.29 o 18056 131.29 c 5098 131.41 o 18060 131.41 c 5094 131.53 o 18062 131.53 c 5092 131.64 o 18066 131.64 c 5088 131.76 o 18068 131.76 c 5086 131.89 o 18072 131.89 c 5082 132.01 o 18075 132.01 c 5079 132.14 o 18076 132.14 c 5078 132.26 o 18077 132.26 c 5077 132.40 o 18081 132.40 c 5073 132.51 o 18085 132.51 c 5069 132.64 o 18090 132.64 c 5064 132.91 o 18091 132.91 c 5063 133.03 o 18092 133.03 c 5062 133.16 o 18096 133.16 c 5058 133.41 o 18101 133.41 c 5053 133.54 o 18104 133.54 c 5050 133.68 o 18105 133.68 c 5049 133.91 o 18108 133.91 c 5046 134.04 o 18110 134.04 c 5044 134.16 o 18111 134.16 c 5043 134.30 o 18115 134.30 c 5039 134.54 o 18119 134.54 c 5035 134.67 o 18120 134.67 c 5034 135.17 o 18122 135.18 c 5032 135.56 o 18123 135.56 c 5031 135.69 o 18126 135.69 c 5028 135.82 o 18127 135.82 c 5027 135.94 o 18128 135.94 c 5026 136.21 o 18130 136.21 c 5024 136.35 o 18131 136.35 c 5023 136.47 o 18133 136.47 c 5021 136.61 o 18135 136.61 c 5019 136.74 o 18137 136.74 c 5017 137.03 o 18139 137.03 c 5015 137.16 o 18141 137.16 c 5013 137.31 o 18142 137.31 c 5012 137.44 o 18144 137.44 c 5010 137.69 o 18146 137.69 c 5008 137.82 o 18148 137.82 c 5006 137.97 o 18149 137.97 c 5005 138.26 o 18154 138.26 c 5000 138.41 o 18160 138.41 c 4994 138.53 o 18162 138.53 c 4992 138.67 o 18163 138.67 c 4991 139.09 o 18166 139.09 c 4988 139.24 o 18171 139.24 c 4983 139.39 o 18174 139.39 c 4980 140.12 o 18175 140.12 c 4979 140.27 o 18178 140.27 c 4976 141.03 o 18180 141.03 c 4974 141.18 o 18184 141.18 c 4970 141.52 o 18190 141.52 c 4964 141.69 o 18192 141.69 c 4962 141.85 o 18194 141.85 c 4960 142.33 o 18198 142.33 c 4956 142.50 o 18199 142.50 c 4955 142.67 o 18204 142.67 c 4950 142.99 o 18206 142.99 c 4948 143.31 o 18209 143.31 c 4945 143.47 o 18210 143.47 c 4944 143.64 o 18213 143.64 c 4941 143.82 o 18217 143.82 c 4937 144.17 o 18218 144.17 c 4936 144.35 o 18222 144.35 c 4932 144.52 o 18224 144.52 c 4930 144.70 o 18226 144.70 c 4928 144.89 o 18229 144.89 c 4925 145.08 o 18234 145.08 c 4920 145.26 o 18235 145.26 c 4919 145.47 o 18237 145.47 c 4917 145.66 o 18238 145.66 c 4916 145.85 o 18240 145.85 c 4914 146.04 o 18241 146.04 c 4913 146.22 o 18242 146.22 c 4912 146.40 o 18245 146.40 c 4909 146.59 o 18248 146.59 c 4906 147.15 o 18249 147.15 c 4905 147.68 o 18250 147.68 c 4904 148.03 o 18254 148.03 c 4900 148.23 o 18255 148.23 c 4899 148.80 o 18257 148.80 c 4897 148.98 o 18258 148.98 c 4896 149.38 o 18260 149.38 c 4894 149.60 o 18264 149.60 c 4890 149.79 o 18268 149.79 c 4886 149.99 o 18270 149.99 c 4884 150.38 o 18271 150.38 c 4883 150.58 o 18273 150.58 c 4881 150.77 o 18275 150.77 c 4879 151.16 o 18277 151.16 c 4877 151.56 o 18278 151.56 c 4876 151.76 o 18280 151.76 c 4874 151.95 o 18286 151.95 c 4868 152.36 o 18287 152.36 c 4867 152.56 o 18289 152.56 c 4865 152.77 o 18291 152.77 c 4863 152.96 o 18292 152.96 c 4862 153.17 o 18295 153.17 c 4859 153.37 o 18297 153.37 c 4857 153.58 o 18298 153.58 c 4856 153.98 o 18301 153.98 c 4853 154.19 o 18302 154.19 c 4852 155.23 o 18306 155.23 c 4848 155.43 o 18307 155.43 c 4847 155.84 o 18309 155.84 c 4845 156.08 o 18312 156.08 c 4842 156.26 o 18313 156.26 c 4841 156.68 o 18316 156.68 c 4838 156.89 o 18319 156.89 c 4835 157.08 o 18322 157.08 c 4832 157.31 o 18323 157.31 c 4831 157.53 o 18326 157.53 c 4828 157.76 o 18327 157.76 c 4827 157.96 o 18332 157.96 c 4822 158.19 o 18334 158.19 c 4820 158.43 o 18338 158.43 c 4816 158.65 o 18343 158.65 c 4811 158.86 o 18344 158.86 c 4810 159.08 o 18346 159.08 c 4808 159.28 o 18347 159.28 c 4807 159.50 o 18350 159.50 c 4804 159.73 o 18355 159.73 c 4799 159.96 o 18356 159.96 c 4798 160.37 o 18358 160.37 c 4796 160.58 o 18359 160.58 c 4795 161.03 o 18362 161.03 c 4792 161.24 o 18365 161.24 c 4789 161.46 o 18367 161.46 c 4787 161.69 o 18370 161.69 c 4784 161.94 o 18371 161.94 c 4783 162.17 o 18374 162.17 c 4780 162.34 o 18376 162.34 c 4778 162.56 o 18379 162.56 c 4775 163.10 o 18383 163.10 c 4771 163.36 o 18387 163.36 c 4767 163.63 o 18391 163.63 c 4763 163.91 o 18395 163.91 c 4759 164.19 o 18397 164.19 c 4757 164.46 o 18400 164.46 c 4754 164.73 o 18403 164.73 c 4751 165.00 o 18406 165.00 c 4748 165.56 o 18408 165.56 c 4746 165.84 o 18410 165.84 c 4744 166.09 o 18412 166.09 c 4742 166.38 o 18414 166.38 c 4740 166.65 o 18416 166.65 c 4738 166.94 o 18418 166.94 c 4736 167.20 o 18419 167.20 c 4735 167.95 o 18420 167.95 c 4734 168.21 o 18423 168.21 c 4731 168.48 o 18425 168.48 c 4729 168.75 o 18427 168.75 c 4727 169.03 o 18429 169.03 c 4725 169.27 o 18431 169.27 c 4723 169.51 o 18434 169.51 c 4720 169.79 o 18436 169.79 c 4718 170.04 o 18438 170.04 c 4716 170.31 o 18440 170.31 c 4714 170.58 o 18442 170.58 c 4712 170.84 o 18444 170.84 c 4710 171.09 o 18445 171.09 c 4709 171.35 o 18446 171.35 c 4708 171.60 o 18447 171.60 c 4707 171.86 o 18448 171.86 c 4706 172.12 o 18449 172.12 c 4705 172.38 o 18450 172.38 c 4704 172.63 o 18452 172.63 c 4702 172.88 o 18453 172.88 c 4701 173.15 o 18454 173.15 c 4700 173.40 o 18455 173.40 c 4699 173.66 o 18456 173.66 c 4698 173.91 o 18457 173.91 c 4697 174.16 o 18458 174.16 c 4696 174.41 o 18459 174.41 c 4695 174.66 o 18460 174.66 c 4694 174.87 o 18463 174.87 c 4691 175.11 o 18464 175.11 c 4690 175.36 o 18469 175.36 c 4685 175.60 o 18473 175.60 c 4681 175.86 o 18474 175.86 c 4680 178.48 o 18476 178.48 c 4678 181.01 o 18478 181.01 c 4676 181.24 o 18480 181.24 c 4674 181.48 o 18482 181.48 c 4672 181.70 o 18485 181.70 c 4669 181.93 o 18487 181.93 c 4667 182.15 o 18491 182.15 c 4663 183.52 o 18492 183.52 c 4662 183.76 o 18494 183.77 c 4660 184.26 o 18497 184.26 c 4657 184.50 o 18498 184.50 c 4656 184.76 o 18500 184.76 c 4654 185.02 o 18502 185.02 c 4652 186.23 o 18504 186.23 c 4650 186.48 o 18507 186.48 c 4647 186.97 o 18508 186.97 c 4646 187.20 o 18512 187.20 c 4642 187.43 o 18515 187.43 c 4639 187.69 o 18516 187.69 c 4638 187.92 o 18517 187.92 c 4637 188.41 o 18518 188.41 c 4636 188.65 o 18521 188.65 c 4633 188.88 o 18524 188.88 c 4630 189.58 o 18526 189.58 c 4628 190.24 o 18529 190.24 c 4625 190.49 o 18531 190.49 c 4623 190.71 o 18535 190.71 c 4619 191.34 o 18536 191.34 c 4618 191.58 o 18537 191.58 c 4617 191.80 o 18539 191.80 c 4615 192.01 o 18540 192.01 c 4614 192.21 o 18544 192.21 c 4610 192.64 o 18546 192.64 c 4608 192.85 o 18547 192.85 c 4607 193.08 o 18554 193.08 c 4600 193.28 o 18557 193.28 c 4597 193.90 o 18560 193.90 c 4594 194.56 o 18562 194.56 c 4592 194.78 o 18564 194.78 c 4590 196.27 o 18565 196.27 c 4589 196.51 o 18566 196.51 c 4588 196.94 o 18568 196.94 c 4586 197.38 o 18569 197.38 c 4585 197.59 o 18570 197.59 c 4584 197.81 o 18572 197.81 c 4582 198.06 o 18576 198.06 c 4578 198.50 o 18578 198.50 c 4576 198.73 o 18579 198.73 c 4575 198.94 o 18581 198.94 c 4573 199.16 o 18583 199.16 c 4571 199.40 o 18584 199.40 c 4570 199.64 o 18585 199.64 c 4569 200.07 o 18588 200.07 c 4566 200.31 o 18592 200.31 c 4562 200.53 o 18595 200.53 c 4559 202.30 o 18599 202.30 c 4555 202.74 o 18601 202.74 c 4553 202.96 o 18605 202.96 c 4549 203.17 o 18607 203.17 c 4547 203.38 o 18608 203.38 c 4546 203.60 o 18610 203.60 c 4544 203.81 o 18611 203.81 c 4543 204.03 o 18612 204.03 c 4542 204.26 o 18615 204.26 c 4539 204.49 o 18616 204.49 c 4538 204.71 o 18617 204.71 c 4537 205.15 o 18618 205.15 c 4536 205.57 o 18620 205.57 c 4534 205.77 o 18622 205.77 c 4532 205.99 o 18623 205.99 c 4531 206.21 o 18624 206.21 c 4530 206.44 o 18625 206.44 c 4529 206.65 o 18627 206.65 c 4527 206.86 o 18630 206.86 c 4524 207.09 o 18631 207.09 c 4523 207.30 o 18632 207.30 c 4522 207.50 o 18635 207.50 c 4519 207.72 o 18637 207.72 c 4517 207.95 o 18639 207.95 c 4515 208.18 o 18641 208.18 c 4513 208.40 o 18643 208.40 c 4511 208.63 o 18645 208.63 c 4509 208.86 o 18647 208.86 c 4507 209.09 o 18648 209.09 c 4506 210.00 o 18650 210.00 c 4504 210.23 o 18653 210.23 c 4501 210.48 o 18656 210.48 c 4498 210.71 o 18659 210.71 c 4495 210.96 o 18661 210.96 c 4493 211.20 o 18663 211.20 c 4491 211.44 o 18667 211.44 c 4487 211.67 o 18673 211.67 c 4481 211.91 o 18674 211.91 c 4480 213.13 o 18675 213.13 c 4479 213.36 o 18676 213.36 c 4478 213.86 o 18678 213.86 c 4476 214.59 o 18680 214.59 c 4474 214.83 o 18683 214.83 c 4471 215.07 o 18686 215.07 c 4468 215.31 o 18690 215.31 c 4464 215.56 o 18693 215.56 c 4461 215.76 o 18694 215.76 c 4460 215.99 o 18699 215.99 c 4455 216.95 o 18701 216.95 c 4453 217.19 o 18703 217.19 c 4451 217.44 o 18708 217.44 c 4446 217.69 o 18709 217.69 c 4445 217.93 o 18711 217.93 c 4443 218.19 o 18712 218.19 c 4442 218.94 o 18713 218.94 c 4441 219.19 o 18714 219.19 c 4440 219.44 o 18717 219.44 c 4437 219.69 o 18719 219.69 c 4435 219.94 o 18720 219.94 c 4434 220.19 o 18721 220.19 c 4433 220.44 o 18723 220.44 c 4431 221.20 o 18724 221.20 c 4430 221.46 o 18726 221.46 c 4428 221.73 o 18727 221.73 c 4427 221.99 o 18732 221.99 c 4422 222.25 o 18734 222.25 c 4420 223.31 o 18735 223.31 c 4419 223.56 o 18738 223.56 c 4416 223.80 o 18743 223.80 c 4411 224.07 o 18745 224.07 c 4409 224.59 o 18747 224.59 c 4407 225.11 o 18749 225.11 c 4405 225.38 o 18750 225.38 c 4404 225.64 o 18751 225.64 c 4403 225.91 o 18753 225.91 c 4401 226.98 o 18756 226.98 c 4398 227.52 o 18758 227.52 c 4396 227.80 o 18761 227.80 c 4393 228.05 o 18764 228.05 c 4390 228.58 o 18766 228.58 c 4388 229.12 o 18767 229.12 c 4387 230.20 o 18768 230.20 c 4386 230.47 o 18769 230.47 c 4385 230.74 o 18770 230.74 c 4384 231.24 o 18772 231.24 c 4382 231.50 o 18774 231.50 c 4380 231.76 o 18777 231.76 c 4377 232.03 o 18779 232.03 c 4375 232.31 o 18781 232.31 c 4373 232.85 o 18782 232.85 c 4372 233.12 o 18783 233.12 c 4371 233.38 o 18786 233.38 c 4368 233.64 o 18788 233.64 c 4366 233.90 o 18790 233.90 c 4364 234.18 o 18792 234.18 c 4362 234.44 o 18793 234.44 c 4361 234.70 o 18794 234.70 c 4360 234.97 o 18795 234.97 c 4359 235.24 o 18796 235.24 c 4358 235.53 o 18798 235.53 c 4356 235.78 o 18799 235.78 c 4355 236.04 o 18800 236.04 c 4354 236.29 o 18802 236.29 c 4352 236.55 o 18804 236.55 c 4350 236.80 o 18805 236.80 c 4349 237.57 o 18807 237.57 c 4347 237.83 o 18811 237.83 c 4343 238.09 o 18812 238.09 c 4342 238.34 o 18814 238.34 c 4340 238.57 o 18815 238.57 c 4339 238.77 o 18817 238.77 c 4337 239.01 o 18818 239.01 c 4336 239.25 o 18819 239.25 c 4335 239.96 o 18820 239.96 c 4334 240.18 o 18821 240.18 c 4333 240.43 o 18826 240.43 c 4328 240.93 o 18827 240.93 c 4327 241.18 o 18829 241.18 c 4325 241.67 o 18830 241.67 c 4324 241.92 o 18831 241.92 c 4323 243.42 o 18832 243.42 c 4322 243.94 o 18834 243.94 c 4320 244.70 o 18835 244.70 c 4319 245.44 o 18837 245.44 c 4317 245.71 o 18840 245.71 c 4314 245.97 o 18844 245.97 c 4310 246.24 o 18846 246.24 c 4308 247.30 o 18848 247.30 c 4306 247.59 o 18850 247.59 c 4304 248.14 o 18852 248.14 c 4302 248.42 o 18853 248.42 c 4301 248.70 o 18854 248.70 c 4300 248.97 o 18856 248.97 c 4298 249.51 o 18857 249.51 c 4297 249.77 o 18858 249.77 c 4296 250.04 o 18859 250.04 c 4295 250.31 o 18860 250.31 c 4294 250.58 o 18861 250.58 c 4293 250.85 o 18862 250.85 c 4292 251.12 o 18866 251.12 c 4288 251.39 o 18868 251.39 c 4286 251.66 o 18870 251.66 c 4284 251.91 o 18872 251.91 c 4282 253.24 o 18874 253.24 c 4280 253.51 o 18875 253.51 c 4279 253.89 o 18877 253.89 c 4277 254.15 o 18882 254.15 c 4272 255.19 o 18884 255.19 c 4270 255.44 o 18886 255.44 c 4268 255.71 o 18889 255.71 c 4265 255.96 o 18891 255.96 c 4263 256.22 o 18894 256.22 c 4260 257.01 o 18897 257.01 c 4257 257.28 o 18900 257.28 c 4254 257.81 o 18901 257.81 c 4253 258.08 o 18903 258.08 c 4251 258.34 o 18905 258.34 c 4249 258.87 o 18906 258.87 c 4248 259.41 o 18907 259.41 c 4247 259.67 o 18908 259.67 c 4246 259.93 o 18912 259.93 c 4242 260.18 o 18914 260.18 c 4240 260.44 o 18915 260.44 c 4239 260.69 o 18916 260.69 c 4238 260.96 o 18918 260.96 c 4236 261.50 o 18920 261.50 c 4234 261.99 o 18921 261.99 c 4233 262.78 o 18924 262.78 c 4230 263.03 o 18928 263.03 c 4226 263.28 o 18931 263.28 c 4223 263.79 o 18932 263.79 c 4222 264.06 o 18934 264.06 c 4220 264.31 o 18938 264.31 c 4216 264.84 o 18940 264.84 c 4214 265.09 o 18942 265.09 c 4212 265.35 o 18944 265.35 c 4210 265.89 o 18945 265.89 c 4209 266.19 o 18948 266.19 c 4206 266.46 o 18949 266.46 c 4205 266.74 o 18952 266.74 c 4202 267.05 o 18955 267.05 c 4199 267.36 o 18958 267.36 c 4196 267.66 o 18961 267.66 c 4193 267.96 o 18963 267.96 c 4191 268.25 o 18966 268.25 c 4188 268.53 o 18968 268.53 c 4186 268.81 o 18969 268.81 c 4185 269.08 o 18971 269.08 c 4183 269.39 o 18973 269.39 c 4181 269.98 o 18975 269.98 c 4179 270.27 o 18977 270.27 c 4177 270.54 o 18979 270.54 c 4175 270.82 o 18980 270.82 c 4174 271.09 o 18981 271.09 c 4173 271.36 o 18982 271.36 c 4172 271.65 o 18985 271.65 c 4169 271.94 o 18986 271.94 c 4168 272.23 o 18988 272.23 c 4166 272.52 o 18991 272.52 c 4163 272.81 o 18993 272.81 c 4161 273.10 o 18995 273.10 c 4159 273.38 o 18997 273.38 c 4157 273.67 o 18998 273.67 c 4156 273.96 o 18999 273.96 c 4155 274.25 o 19000 274.25 c 4154 274.55 o 19001 274.55 c 4153 274.83 o 19002 274.83 c 4152 275.13 o 19003 275.13 c 4151 275.41 o 19004 275.41 c 4150 277.39 o 19006 277.39 c 4148 279.59 o 19008 279.59 c 4146 280.14 o 19009 280.14 c 4145 280.74 o 19011 280.74 c 4143 281.01 o 19013 281.01 c 4141 281.29 o 19015 281.29 c 4139 283.27 o 19016 283.27 c 4138 283.56 o 19018 283.56 c 4136 283.85 o 19022 283.85 c 4132 284.15 o 19024 284.15 c 4130 284.44 o 19025 284.44 c 4129 284.73 o 19027 284.73 c 4127 285.02 o 19031 285.02 c 4123 285.30 o 19032 285.30 c 4122 285.59 o 19034 285.59 c 4120 285.89 o 19037 285.89 c 4117 286.17 o 19038 286.17 c 4116 286.46 o 19041 286.46 c 4113 287.04 o 19042 287.04 c 4112 287.33 o 19045 287.33 c 4109 287.89 o 19046 287.89 c 4108 288.17 o 19048 288.17 c 4106 288.45 o 19051 288.45 c 4103 288.74 o 19052 288.74 c 4102 289.04 o 19056 289.04 c 4098 289.65 o 19058 289.65 c 4096 290.50 o 19060 290.50 c 4094 290.78 o 19061 290.78 c 4093 291.06 o 19063 291.06 c 4091 291.34 o 19066 291.34 c 4088 291.64 o 19067 291.64 c 4087 291.92 o 19068 291.92 c 4086 292.19 o 19069 292.19 c 4085 292.76 o 19070 292.76 c 4084 293.03 o 19073 293.03 c 4081 293.33 o 19075 293.33 c 4079 293.52 o 19079 293.52 c 4075 293.79 o 19081 293.79 c 4073 294.37 o 19083 294.37 c 4071 295.52 o 19086 295.52 c 4068 296.10 o 19090 296.10 c 4064 296.38 o 19091 296.38 c 4063 296.97 o 19092 296.97 c 4062 298.48 o 19093 298.48 c 4061 298.78 o 19095 298.78 c 4059 299.12 o 19096 299.12 c 4058 299.41 o 19097 299.41 c 4057 299.72 o 19102 299.72 c 4052 300.03 o 19103 300.03 c 4051 300.65 o 19106 300.65 c 4048 300.95 o 19107 300.95 c 4047 301.25 o 19108 301.25 c 4046 302.17 o 19110 302.17 c 4044 302.41 o 19114 302.41 c 4040 303.01 o 19118 303.01 c 4036 304.27 o 19119 304.27 c 4035 306.17 o 19120 306.17 c 4034 306.48 o 19122 306.48 c 4032 307.70 o 19127 307.70 c 4027 308.01 o 19130 308.01 c 4024 308.21 o 19131 308.21 c 4023 308.78 o 19132 308.78 c 4022 309.41 o 19134 309.41 c 4020 309.71 o 19135 309.71 c 4019 310.34 o 19138 310.34 c 4016 310.63 o 19141 310.63 c 4013 310.93 o 19142 310.93 c 4012 311.27 o 19144 311.27 c 4010 311.56 o 19148 311.56 c 4006 311.99 o 19149 311.99 c 4005 312.87 o 19150 312.87 c 4004 313.15 o 19152 313.15 c 4002 313.44 o 19153 313.44 c 4001 313.72 o 19156 313.72 c 3998 314.01 o 19157 314.01 c 3997 314.89 o 19158 314.89 c 3996 315.20 o 19160 315.20 c 3994 315.50 o 19162 315.50 c 3992 316.09 o 19165 316.09 c 3989 316.40 o 19170 316.40 c 3984 316.69 o 19171 316.69 c 3983 317.88 o 19173 317.88 c 3981 318.49 o 19174 318.49 c 3980 319.10 o 19177 319.11 c 3977 320.31 o 19179 320.31 c 3975 320.61 o 19184 320.61 c 3970 320.90 o 19185 320.90 c 3969 321.19 o 19186 321.19 c 3968 321.51 o 19187 321.51 c 3967 321.80 o 19190 321.80 c 3964 322.09 o 19194 322.09 c 3960 322.40 o 19195 322.40 c 3959 322.69 o 19197 322.69 c 3957 323.00 o 19198 323.00 c 3956 323.29 o 19202 323.29 c 3952 323.60 o 19204 323.60 c 3950 323.75 o 19207 323.75 c 3947 324.04 o 19208 324.04 c 3946 324.33 o 19210 324.33 c 3944 325.20 o 19215 325.20 c 3939 325.51 o 19218 325.51 c 3936 325.78 o 19219 325.78 c 3935 326.08 o 19222 326.08 c 3932 326.39 o 19224 326.39 c 3930 326.71 o 19225 326.71 c 3929 327.02 o 19228 327.02 c 3926 327.32 o 19230 327.32 c 3924 327.62 o 19233 327.62 c 3921 327.94 o 19236 327.94 c 3918 328.26 o 19237 328.26 c 3917 328.58 o 19242 328.58 c 3912 328.88 o 19243 328.88 c 3911 329.19 o 19244 329.19 c 3910 329.49 o 19245 329.49 c 3909 329.80 o 19246 329.80 c 3908 330.11 o 19248 330.11 c 3906 330.41 o 19250 330.41 c 3904 330.71 o 19252 330.71 c 3902 332.28 o 19257 332.28 c 3897 332.93 o 19259 332.93 c 3895 333.23 o 19261 333.23 c 3893 333.55 o 19264 333.55 c 3890 333.79 o 19268 333.79 c 3886 334.11 o 19270 334.11 c 3884 335.00 o 19271 335.00 c 3883 335.29 o 19274 335.29 c 3880 335.60 o 19275 335.60 c 3879 335.91 o 19276 335.91 c 3878 336.22 o 19278 336.22 c 3876 336.52 o 19280 336.52 c 3874 336.84 o 19281 336.84 c 3873 337.45 o 19284 337.45 c 3870 337.78 o 19287 337.78 c 3867 338.70 o 19289 338.70 c 3865 339.00 o 19291 339.00 c 3863 339.29 o 19292 339.29 c 3862 339.89 o 19293 339.89 c 3861 340.19 o 19295 340.19 c 3859 340.50 o 19297 340.50 c 3857 340.82 o 19298 340.82 c 3856 341.13 o 19302 341.13 c 3852 341.45 o 19303 341.45 c 3851 342.08 o 19304 342.08 c 3850 342.39 o 19306 342.39 c 3848 343.04 o 19308 343.04 c 3846 343.99 o 19309 343.99 c 3845 344.62 o 19310 344.62 c 3844 344.95 o 19312 344.95 c 3842 345.27 o 19313 345.27 c 3841 345.91 o 19314 345.91 c 3840 346.12 o 19317 346.12 c 3837 346.39 o 19319 346.39 c 3835 346.70 o 19321 346.70 c 3833 347.03 o 19325 347.03 c 3829 347.35 o 19326 347.35 c 3828 347.67 o 19329 347.67 c 3825 347.98 o 19331 347.98 c 3823 348.30 o 19333 348.30 c 3821 348.62 o 19335 348.62 c 3819 348.93 o 19338 348.93 c 3816 349.88 o 19340 349.88 c 3814 350.51 o 19341 350.51 c 3813 351.13 o 19344 351.13 c 3810 352.43 o 19346 352.43 c 3808 352.77 o 19347 352.77 c 3807 353.11 o 19349 353.11 c 3805 353.43 o 19351 353.43 c 3803 353.78 o 19353 353.78 c 3801 354.12 o 19354 354.12 c 3800 354.46 o 19355 354.46 c 3799 354.77 o 19359 354.77 c 3795 355.10 o 19360 355.10 c 3794 356.74 o 19361 356.74 c 3793 357.07 o 19363 357.07 c 3791 357.40 o 19365 357.40 c 3789 357.72 o 19367 357.72 c 3787 359.11 o 19369 359.11 c 3785 359.45 o 19372 359.45 c 3782 359.64 o 19376 359.64 c 3778 360.71 o 19377 360.71 c 3777 361.76 o 19378 361.76 c 3776 362.11 o 19379 362.11 c 3775 362.46 o 19382 362.46 c 3772 363.18 o 19384 363.18 c 3770 363.91 o 19386 363.91 c 3768 364.64 o 19388 364.64 c 3766 365.01 o 19390 365.01 c 3764 365.36 o 19393 365.36 c 3761 366.80 o 19395 366.80 c 3759 367.16 o 19396 367.16 c 3758 367.53 o 19398 367.53 c 3756 367.89 o 19400 367.89 c 3754 368.60 o 19402 368.60 c 3752 368.97 o 19403 368.97 c 3751 369.36 o 19409 369.36 c 3745 369.72 o 19410 369.72 c 3744 370.09 o 19412 370.09 c 3742 372.29 o 19413 372.29 c 3741 373.01 o 19415 373.01 c 3739 373.38 o 19416 373.38 c 3738 374.47 o 19417 374.47 c 3737 375.21 o 19421 375.21 c 3733 376.33 o 19422 376.33 c 3732 376.69 o 19423 376.69 c 3731 377.08 o 19425 377.08 c 3729 377.44 o 19426 377.44 c 3728 377.81 o 19428 377.81 c 3726 378.17 o 19429 378.17 c 3725 378.54 o 19430 378.54 c 3724 379.61 o 19434 379.61 c 3720 379.98 o 19436 379.98 c 3718 380.33 o 19438 380.33 c 3716 381.05 o 19442 381.05 c 3712 381.41 o 19443 381.41 c 3711 383.23 o 19445 383.23 c 3709 383.60 o 19447 383.60 c 3707 383.98 o 19449 383.98 c 3705 384.35 o 19450 384.35 c 3704 384.72 o 19453 384.72 c 3701 385.52 o 19455 385.52 c 3699 387.46 o 19456 387.46 c 3698 388.67 o 19459 388.67 c 3695 389.08 o 19462 389.08 c 3692 389.49 o 19464 389.49 c 3690 389.86 o 19468 389.86 c 3686 390.66 o 19470 390.66 c 3684 391.08 o 19472 391.08 c 3682 391.90 o 19474 391.90 c 3680 392.31 o 19476 392.31 c 3678 392.73 o 19479 392.73 c 3675 393.13 o 19482 393.13 c 3672 393.54 o 19484 393.54 c 3670 393.95 o 19486 393.95 c 3668 394.36 o 19487 394.36 c 3667 395.19 o 19489 395.19 c 3665 396.90 o 19490 396.90 c 3664 397.32 o 19492 397.32 c 3662 397.75 o 19494 397.75 c 3660 398.15 o 19495 398.15 c 3659 398.56 o 19496 398.56 c 3658 399.38 o 19497 399.38 c 3657 399.81 o 19498 399.81 c 3656 400.65 o 19499 400.65 c 3655 401.09 o 19500 401.09 c 3654 401.53 o 19501 401.53 c 3653 402.83 o 19502 402.83 c 3652 403.17 o 19503 403.17 c 3651 409.31 o 19506 409.31 c 3648 409.75 o 19508 409.75 c 3646 410.19 o 19511 410.19 c 3643 414.02 o 19512 414.02 c 3642 414.47 o 19514 414.47 c 3640 414.90 o 19518 414.90 c 3636 415.01 o 19519 415.01 c 3635 415.45 o 19520 415.45 c 3634 416.29 o 19521 416.29 c 3633 416.72 o 19522 416.72 c 3632 417.14 o 19523 417.14 c 3631 417.57 o 19524 417.57 c 3630 418.01 o 19526 418.01 c 3628 419.28 o 19528 419.28 c 3626 419.73 o 19531 419.73 c 3623 420.15 o 19532 420.15 c 3622 420.58 o 19533 420.58 c 3621 421.01 o 19535 421.01 c 3619 422.29 o 19536 422.29 c 3618 422.71 o 19537 422.71 c 3617 423.15 o 19538 423.15 c 3616 424.02 o 19540 424.02 c 3614 424.45 o 19542 424.45 c 3612 425.30 o 19543 425.30 c 3611 425.72 o 19544 425.72 c 3610 426.59 o 19546 426.59 c 3608 427.43 o 19547 427.43 c 3607 427.86 o 19548 427.86 c 3606 428.29 o 19550 428.29 c 3604 428.72 o 19552 428.72 c 3602 429.14 o 19554 429.14 c 3600 429.56 o 19557 429.56 c 3597 429.99 o 19562 429.99 c 3592 430.40 o 19563 430.40 c 3591 431.24 o 19565 431.24 c 3589 431.66 o 19567 431.66 c 3587 432.82 o 19571 432.82 c 3583 433.23 o 19572 433.23 c 3582 435.73 o 19573 435.73 c 3581 436.12 o 19577 436.12 c 3577 436.56 o 19578 436.56 c 3576 437.00 o 19579 437.00 c 3575 437.43 o 19580 437.43 c 3574 437.87 o 19581 437.87 c 3573 438.29 o 19582 438.29 c 3572 438.71 o 19586 438.71 c 3568 439.56 o 19587 439.56 c 3567 439.99 o 19590 439.99 c 3564 440.41 o 19594 440.41 c 3560 440.84 o 19597 440.84 c 3557 441.26 o 19598 441.26 c 3556 442.91 o 19601 442.91 c 3553 443.72 o 19605 443.72 c 3549 444.14 o 19606 444.14 c 3548 444.43 o 19608 444.43 c 3546 444.84 o 19609 444.84 c 3545 445.27 o 19611 445.27 c 3543 445.68 o 19613 445.68 c 3541 446.10 o 19616 446.10 c 3538 446.53 o 19619 446.53 c 3535 447.37 o 19621 447.37 c 3533 448.24 o 19622 448.24 c 3532 448.68 o 19624 448.68 c 3530 449.53 o 19627 449.53 c 3527 450.78 o 19628 450.78 c 3526 451.63 o 19633 451.63 c 3521 452.04 o 19635 452.04 c 3519 452.87 o 19636 452.87 c 3518 453.70 o 19637 453.70 c 3517 454.11 o 19639 454.11 c 3515 454.54 o 19643 454.54 c 3511 454.95 o 19644 454.95 c 3510 455.35 o 19645 455.35 c 3509 455.78 o 19646 455.78 c 3508 456.19 o 19648 456.19 c 3506 456.61 o 19650 456.61 c 3504 457.02 o 19653 457.02 c 3501 457.45 o 19656 457.45 c 3498 457.86 o 19657 457.86 c 3497 458.30 o 19659 458.30 c 3495 458.73 o 19660 458.73 c 3494 459.15 o 19661 459.15 c 3493 459.57 o 19663 459.57 c 3491 460.00 o 19665 460.00 c 3489 460.88 o 19668 460.88 c 3486 461.33 o 19672 461.33 c 3482 462.60 o 19673 462.60 c 3481 464.33 o 19674 464.33 c 3480 465.20 o 19676 465.20 c 3478 466.49 o 19677 466.49 c 3477 466.93 o 19679 466.93 c 3475 467.37 o 19681 467.37 c 3473 467.82 o 19683 467.82 c 3471 468.25 o 19684 468.25 c 3470 468.71 o 19685 468.71 c 3469 469.16 o 19687 469.16 c 3467 469.63 o 19688 469.63 c 3466 470.07 o 19690 470.07 c 3464 470.53 o 19691 470.53 c 3463 471.00 o 19692 471.00 c 3462 471.45 o 19693 471.45 c 3461 471.92 o 19694 471.92 c 3460 485.94 o 19695 485.94 c 3459 486.82 o 19696 486.82 c 3458 489.44 o 19697 489.44 c 3457 489.88 o 19698 489.88 c 3456 490.33 o 19699 490.33 c 3455 490.79 o 19702 490.79 c 3452 491.24 o 19705 491.24 c 3449 495.76 o 19707 495.76 c 3447 496.65 o 19708 496.65 c 3446 497.56 o 19709 497.56 c 3445 498.03 o 19710 498.03 c 3444 500.29 o 19712 500.29 c 3442 501.19 o 19714 501.19 c 3440 501.64 o 19715 501.64 c 3439 502.11 o 19716 502.11 c 3438 502.56 o 19718 502.56 c 3436 503.48 o 19719 503.48 c 3435 504.87 o 19721 504.87 c 3433 505.32 o 19722 505.32 c 3432 507.64 o 19724 507.64 c 3430 508.09 o 19725 508.09 c 3429 509.01 o 19727 509.01 c 3427 509.94 o 19730 509.94 c 3424 512.72 o 19731 512.72 c 3423 514.13 o 19733 514.13 c 3421 515.94 o 19735 515.94 c 3419 516.40 o 19736 516.40 c 3418 517.33 o 19738 517.33 c 3416 518.24 o 19739 518.25 c 3415 518.70 o 19740 518.70 c 3414 519.14 o 19743 519.14 c 3411 519.97 o 19744 519.97 c 3410 520.42 o 19745 520.42 c 3409 520.89 o 19747 520.89 c 3407 521.34 o 19750 521.34 c 3404 521.82 o 19751 521.82 c 3403 523.22 o 19752 523.22 c 3402 523.67 o 19753 523.67 c 3401 524.15 o 19754 524.15 c 3400 525.08 o 19755 525.08 c 3399 526.00 o 19757 526.00 c 3397 526.35 o 19758 526.35 c 3396 529.55 o 19762 529.55 c 3392 530.00 o 19764 530.00 c 3390 532.26 o 19766 532.26 c 3388 532.63 o 19770 532.63 c 3384 533.07 o 19771 533.07 c 3383 533.51 o 19772 533.51 c 3382 534.00 o 19773 534.00 c 3381 536.68 o 19776 536.68 c 3378 537.13 o 19778 537.13 c 3376 537.59 o 19779 537.59 c 3375 538.04 o 19782 538.04 c 3372 538.49 o 19783 538.49 c 3371 538.94 o 19784 538.94 c 3370 540.29 o 19785 540.29 c 3369 540.73 o 19786 540.73 c 3368 541.17 o 19787 541.17 c 3367 542.48 o 19789 542.48 c 3365 543.80 o 19790 543.80 c 3364 544.22 o 19791 544.22 c 3363 546.54 o 19794 546.54 c 3360 547.46 o 19796 547.46 c 3358 548.38 o 19797 548.38 c 3357 548.87 o 19800 548.87 c 3354 550.29 o 19802 550.29 c 3352 550.79 o 19805 550.79 c 3349 551.25 o 19807 551.25 c 3347 551.72 o 19811 551.72 c 3343 551.88 o 19814 551.88 c 3340 552.35 o 19816 552.35 c 3338 552.73 o 19817 552.73 c 3337 553.64 o 19819 553.64 c 3335 554.12 o 19821 554.12 c 3333 554.57 o 19823 554.57 c 3331 556.00 o 19824 556.00 c 3330 556.46 o 19825 556.46 c 3329 556.93 o 19827 556.93 c 3327 558.78 o 19828 558.78 c 3326 559.25 o 19831 559.25 c 3323 559.71 o 19834 559.71 c 3320 560.17 o 19838 560.17 c 3316 561.08 o 19840 561.08 c 3314 561.54 o 19842 561.54 c 3312 566.10 o 19843 566.10 c 3311 566.57 o 19844 566.57 c 3310 567.02 o 19845 567.02 c 3309 567.94 o 19846 567.94 c 3308 568.41 o 19848 568.41 c 3306 570.15 o 19849 570.15 c 3305 570.60 o 19850 570.60 c 3304 571.06 o 19852 571.06 c 3302 572.94 o 19854 572.94 c 3300 573.42 o 19857 573.42 c 3297 574.82 o 19859 574.82 c 3295 575.29 o 19860 575.29 c 3294 575.75 o 19861 575.75 c 3293 577.16 o 19864 577.16 c 3290 577.64 o 19865 577.64 c 3289 578.57 o 19867 578.57 c 3287 579.03 o 19868 579.03 c 3286 579.49 o 19869 579.49 c 3285 580.42 o 19870 580.42 c 3284 580.90 o 19871 580.90 c 3283 583.26 o 19872 583.26 c 3282 583.73 o 19873 583.73 c 3281 584.20 o 19874 584.20 c 3280 584.68 o 19875 584.68 c 3279 586.94 o 19876 586.94 c 3278 587.43 o 19878 587.43 c 3276 588.33 o 19882 588.33 c 3272 588.81 o 19884 588.81 c 3270 589.28 o 19885 589.28 c 3269 589.78 o 19886 589.78 c 3268 590.24 o 19888 590.24 c 3266 590.71 o 19891 590.71 c 3263 591.20 o 19892 591.20 c 3262 591.67 o 19893 591.67 c 3261 592.14 o 19894 592.14 c 3260 593.11 o 19895 593.12 c 3259 594.09 o 19897 594.09 c 3257 594.51 o 19899 594.51 c 3255 594.98 o 19901 594.98 c 3253 596.94 o 19902 596.94 c 3252 597.93 o 19903 597.93 c 3251 600.82 o 19904 600.82 c 3250 602.75 o 19909 602.75 c 3245 603.23 o 19910 603.23 c 3244 603.71 o 19911 603.71 c 3243 604.17 o 19914 604.17 c 3240 604.68 o 19915 604.68 c 3239 605.17 o 19916 605.17 c 3238 605.67 o 19918 605.67 c 3236 606.18 o 19919 606.18 c 3235 606.68 o 19922 606.68 c 3232 607.19 o 19923 607.19 c 3231 608.76 o 19924 608.76 c 3230 609.57 o 19927 609.57 c 3227 614.22 o 19930 614.22 c 3224 614.75 o 19931 614.75 c 3223 621.09 o 19932 621.09 c 3222 621.62 o 19933 621.62 c 3221 622.70 o 19935 622.70 c 3219 623.24 o 19936 623.24 c 3218 623.76 o 19939 623.77 c 3215 624.29 o 19941 624.29 c 3213 624.84 o 19942 624.84 c 3212 625.38 o 19945 625.38 c 3209 626.48 o 19946 626.48 c 3208 627.57 o 19947 627.57 c 3207 631.99 o 19948 631.99 c 3206 632.53 o 19949 632.53 c 3205 634.71 o 19951 634.71 c 3203 635.26 o 19952 635.26 c 3202 636.36 o 19954 636.36 c 3200 642.03 o 19955 642.03 c 3199 643.20 o 19957 643.20 c 3197 643.75 o 19959 643.75 c 3195 644.33 o 19961 644.33 c 3193 644.90 o 19963 644.90 c 3191 646.03 o 19966 646.03 c 3188 647.18 o 19967 647.18 c 3187 648.33 o 19968 648.33 c 3186 648.90 o 19969 648.90 c 3185 650.06 o 19971 650.06 c 3183 650.65 o 19973 650.65 c 3181 651.82 o 19975 651.82 c 3179 666.50 o 19976 666.50 c 3178 668.39 o 19977 668.39 c 3177 669.03 o 19978 669.03 c 3176 669.65 o 19979 669.65 c 3175 672.77 o 19980 672.77 c 3174 673.40 o 19981 673.40 c 3173 677.08 o 19986 677.08 c 3168 677.69 o 19988 677.69 c 3166 678.94 o 19989 678.94 c 3165 680.17 o 19991 680.17 c 3163 680.79 o 19993 680.79 c 3161 681.41 o 19995 681.41 c 3159 685.18 o 19997 685.18 c 3157 686.47 o 19998 686.47 c 3156 687.09 o 19999 687.09 c 3155 688.35 o 20001 688.35 c 3153 689.01 o 20003 689.01 c 3151 692.89 o 20004 692.89 c 3150 694.78 o 20006 694.78 c 3148 699.20 o 20007 699.20 c 3147 701.04 o 20008 701.04 c 3146 704.12 o 20009 704.12 c 3145 704.74 o 20011 704.74 c 3143 706.62 o 20012 706.62 c 3142 707.24 o 20014 707.24 c 3140 707.85 o 20017 707.85 c 3137 708.46 o 20021 708.46 c 3133 708.85 o 20022 708.85 c 3132 711.94 o 20024 711.94 c 3130 713.81 o 20025 713.81 c 3129 716.36 o 20026 716.36 c 3128 716.98 o 20027 716.98 c 3127 718.86 o 20028 718.86 c 3126 719.50 o 20030 719.50 c 3124 720.74 o 20032 720.74 c 3122 722.62 o 20034 722.62 c 3120 723.28 o 20035 723.28 c 3119 727.13 o 20037 727.13 c 3117 727.79 o 20043 727.79 c 3111 728.44 o 20046 728.44 c 3108 729.72 o 20047 729.72 c 3107 730.36 o 20049 730.36 c 3105 737.38 o 20051 737.38 c 3103 739.29 o 20052 739.29 c 3102 740.56 o 20053 740.56 c 3101 742.46 o 20054 742.46 c 3100 743.09 o 20055 743.09 c 3099 744.36 o 20056 744.36 c 3098 745.00 o 20057 745.00 c 3097 746.30 o 20058 746.30 c 3096 747.56 o 20061 747.56 c 3093 748.20 o 20062 748.20 c 3092 748.84 o 20063 748.84 c 3091 749.46 o 20064 749.46 c 3090 756.59 o 20065 756.59 c 3089 757.82 o 20067 757.82 c 3087 758.47 o 20070 758.47 c 3084 759.09 o 20071 759.09 c 3083 759.72 o 20073 759.72 c 3081 762.21 o 20075 762.21 c 3079 762.38 o 20078 762.38 c 3076 765.97 o 20079 765.97 c 3075 766.61 o 20080 766.61 c 3074 767.90 o 20081 767.90 c 3073 768.56 o 20082 768.56 c 3072 769.86 o 20084 769.86 c 3070 770.15 o 20087 770.15 c 3067 784.97 o 20089 784.97 c 3065 789.49 o 20092 789.49 c 3062 790.14 o 20093 790.14 c 3061 791.45 o 20096 791.45 c 3058 792.76 o 20097 792.76 c 3057 793.40 o 20098 793.40 c 3056 795.98 o 20099 795.98 c 3055 798.60 o 20101 798.60 c 3053 800.49 o 20102 800.49 c 3052 803.78 o 20104 803.78 c 3050 805.76 o 20106 805.76 c 3048 807.12 o 20108 807.12 c 3046 809.78 o 20109 809.78 c 3045 810.46 o 20112 810.46 c 3042 811.83 o 20113 811.83 c 3041 812.22 o 20115 812.22 c 3039 813.54 o 20118 813.54 c 3036 815.54 o 20119 815.54 c 3035 816.21 o 20123 816.21 c 3031 816.87 o 20126 816.87 c 3028 817.53 o 20127 817.53 c 3027 820.17 o 20129 820.17 c 3025 820.85 o 20131 820.85 c 3023 824.60 o 20132 824.60 c 3022 825.28 o 20135 825.28 c 3019 825.95 o 20137 825.95 c 3017 826.58 o 20138 826.58 c 3016 827.24 o 20140 827.24 c 3014 832.71 o 20141 832.71 c 3013 834.53 o 20142 834.53 c 3012 835.21 o 20144 835.21 c 3010 836.57 o 20145 836.57 c 3009 837.26 o 20146 837.26 c 3008 837.94 o 20148 837.94 c 3006 839.29 o 20149 839.29 c 3005 840.51 o 20150 840.51 c 3004 852.44 o 20152 852.44 c 3002 854.56 o 20154 854.56 c 3000 855.23 o 20156 855.23 c 2998 858.69 o 20158 858.69 c 2996 859.40 o 20159 859.40 c 2995 863.60 o 20160 863.60 c 2994 863.84 o 20163 863.84 c 2991 867.15 o 20164 867.15 c 2990 868.52 o 20166 868.52 c 2988 869.21 o 20168 869.21 c 2986 869.88 o 20170 869.88 c 2984 870.58 o 20171 870.58 c 2983 872.67 o 20174 872.67 c 2980 875.45 o 20175 875.45 c 2979 876.16 o 20177 876.16 c 2977 880.37 o 20180 880.37 c 2974 886.83 o 20182 886.83 c 2972 899.81 o 20183 899.81 c 2971 901.98 o 20184 901.98 c 2970 904.18 o 20185 904.18 c 2969 906.39 o 20186 906.39 c 2968 907.80 o 20187 907.80 c 2967 909.26 o 20190 909.26 c 2964 910.00 o 20191 910.00 c 2963 910.75 o 20195 910.75 c 2959 925.99 o 20196 925.99 c 2958 926.74 o 20197 926.74 c 2957 927.46 o 20199 927.46 c 2955 928.20 o 20202 928.20 c 2952 928.58 o 20204 928.58 c 2950 930.00 o 20205 930.00 c 2949 931.40 o 20206 931.40 c 2948 932.13 o 20207 932.13 c 2947 932.70 o 20209 932.70 c 2945 933.43 o 20210 933.43 c 2944 934.88 o 20211 934.88 c 2943 937.02 o 20213 937.02 c 2941 937.74 o 20214 937.74 c 2940 938.46 o 20215 938.46 c 2939 939.87 o 20217 939.87 c 2937 940.58 o 20218 940.58 c 2936 941.11 o 20219 941.11 c 2935 942.53 o 20220 942.53 c 2934 943.24 o 20222 943.24 c 2932 944.67 o 20224 944.67 c 2930 954.90 o 20226 954.90 c 2928 958.31 o 20227 958.31 c 2927 959.03 o 20230 959.03 c 2924 959.76 o 20232 959.77 c 2922 960.48 o 20233 960.48 c 2921 963.00 o 20234 963.00 c 2920 967.91 o 20236 967.91 c 2918 977.33 o 20237 977.33 c 2917 978.05 o 20238 978.05 c 2916 981.36 o 20239 981.36 c 2915 982.09 o 20240 982.09 c 2914 982.85 o 20241 982.85 c 2913 988.83 o 20243 988.83 c 2911 989.31 o 20244 989.31 c 2910 991.60 o 20245 991.60 c 2909 992.35 o 20249 992.35 c 2905 993.11 o 20251 993.11 c 2903 993.86 o 20252 993.86 c 2902 999.63 o 20253 999.63 c 2901 1000.38 o 20255 1000.38 c 2899 1019.99 o 20256 1019.99 c 2898 1020.58 o 20258 1020.58 c 2896 1021.30 o 20259 1021.30 c 2895 1022.05 o 20261 1022.05 c 2893 1022.77 o 20263 1022.77 c 2891 1025.68 o 20264 1025.68 c 2890 1030.10 o 20265 1030.10 c 2889 1031.56 o 20268 1031.56 c 2886 1032.30 o 20270 1032.30 c 2884 1033.07 o 20273 1033.07 c 2881 1035.31 o 20275 1035.31 c 2879 1039.10 o 20276 1039.10 c 2878 1039.87 o 20277 1039.87 c 2877 1040.64 o 20278 1040.64 c 2876 1041.43 o 20279 1041.43 c 2875 1042.03 o 20281 1042.03 c 2873 1044.35 o 20282 1044.35 c 2872 1047.99 o 20284 1047.99 c 2870 1048.75 o 20285 1048.75 c 2869 1051.06 o 20286 1051.06 c 2868 1051.84 o 20287 1051.84 c 2867 1052.61 o 20289 1052.61 c 2865 1054.91 o 20290 1054.91 c 2864 1070.11 o 20291 1070.11 c 2863 1070.85 o 20293 1070.85 c 2861 1072.31 o 20294 1072.31 c 2860 1080.02 o 20298 1080.02 c 2856 1080.76 o 20299 1080.76 c 2855 1084.46 o 20300 1084.46 c 2854 1084.80 o 20304 1084.80 c 2850 1087.64 o 20305 1087.64 c 2849 1090.52 o 20306 1090.52 c 2848 1091.18 o 20308 1091.18 c 2846 1091.91 o 20309 1091.91 c 2845 1106.37 o 20312 1106.37 c 2842 1109.21 o 20313 1109.21 c 2841 1109.94 o 20315 1109.94 c 2839 1112.78 o 20316 1112.78 c 2838 1114.22 o 20317 1114.22 c 2837 1114.96 o 20318 1114.96 c 2836 1115.70 o 20319 1115.70 c 2835 1116.43 o 20320 1116.43 c 2834 1117.25 o 20321 1117.25 c 2833 1119.40 o 20322 1119.40 c 2832 1120.12 o 20324 1120.12 c 2830 1122.29 o 20325 1122.29 c 2829 1123.74 o 20326 1123.75 c 2828 1124.48 o 20327 1124.48 c 2827 1125.22 o 20329 1125.22 c 2825 1125.91 o 20331 1125.91 c 2823 1129.61 o 20332 1129.61 c 2822 1130.36 o 20334 1130.36 c 2820 1130.99 o 20335 1130.99 c 2819 1132.48 o 20338 1132.48 c 2816 1141.38 o 20339 1141.38 c 2815 1142.14 o 20340 1142.14 c 2814 1142.91 o 20341 1142.91 c 2813 1144.42 o 20342 1144.42 c 2812 1174.71 1174.71 search 1174.71 run=0 nbConstraintChecks=2545125201 nbAssignments=3077 1174.71 => wckTime=1112.272 cpuTime=1106.1 mem=78M691 1174.72 1174.72 global 1174.72 nbConstraintChecks=2545125201 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1174.72 solvingWckTime=1112.238 solvingCpuTime=1106.07 expiredTime=no totalExploration=no nbFoundSolutions=0 1174.72 globalCpuTime=1167.01 1174.72 => wckTime=1174.418 cpuTime=1166.96 mem=78M691 1174.72 1174.72 solver IterativeSystematicSolver being built... 1175.61 => wckTime=1175.314 cpuTime=1167.44 mem=229M428 1492.24 1492.24 preprocessing 1492.24 nbConstraintChecks=744946803 nbValidityChecks=1580135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1492.24 nbRemovedValues=0 detectedInconsistency=no 1492.24 => wckTime=316.621 cpuTime=314.98 mem=229M428 2413.24 v 3644 3040 3228 3188 3036 3068 3096 3252 3760 3764 3052 -3784 3936 -3872 3956 -3872 -3792 -3044 3952 3408 3968 -3904 -3128 -4000 -3912 -3044 3452 3648 3780 3192 3016 3240 3264 -3692 3056 3324 -3020 3768 -3864 -3116 3972 -3040 -3964 3164 3044 -3200 3868 3056 -3784 3524 -3324 -3756 -3044 -3012 -3380 -3888 3960 -3084 -3440 -4000 -3276 3148 3304 -3968 3952 3020 3992 -3108 -3548 -3040 -3028 3036 3212 3416 -3024 -3552 3584 3992 3288 -3408 3968 -3864 -3820 3008 3432 -3036 3056 -3284 3728 3096 3912 3004 -3932 3856 3952 3892 3728 3856 3772 3816 3068 3072 3984 3208 3064 3056 -3884 -3908 -3004 3424 3328 -3768 -3932 -4000 3960 -3000 3000 -3740 -3172 -3056 -3868 -3012 -3968 3064 -3040 -3136 -3988 3148 -3060 3620 3000 3172 3012 3328 -3652 3192 3924 3824 -4000 3040 -3000 -3760 -3160 3396 -3692 3916 3524 3496 3176 -3940 -3904 -3968 3248 3052 -3972 3960 -3096 -3948 -3040 3848 -3652 3876 3460 -3896 3540 -3472 -3516 3052 -3880 -3784 3040 -3120 3888 -3040 -3412 -3956 3176 3632 3008 -3084 3068 -3656 -3000 3912 -3208 -3040 -3088 -3960 -3008 -3016 3040 3968 3916 -3952 -3776 4000 3932 -3780 -3392 3940 -3044 3908 -3864 -3080 3908 -3856 3792 3480 3432 -3392 3760 3980 3368 -3028 3912 3816 -3956 3304 3336 -3084 -3812 -3940 3744 -3812 -3000 -3040 -3608 -3816 -3480 3228 -3948 -3968 3076 3376 -3212 -3008 3632 -3956 3068 -3484 3088 3564 3168 3980 -3784 3992 -3916 -3292 -3000 3096 3084 3068 -3008 3792 3580 3852 3188 3012 -3416 3988 -3004 -3968 -3004 3208 -3344 -3388 3664 3048 -3588 -3136 3868 3984 3804 -4000 3224 3852 3996 -3848 -3992 -3876 -3128 3508 3976 -3344 -3316 3576 -3088 -3996 -3736 -3936 -3912 -4000 3008 3016 -3196 -3968 3744 -3168 3044 3164 -3892 -3096 3584 -3180 3128 3984 3928 -3312 3720 -3912 -3592 3940 3232 -3244 -3820 -3084 -3944 -3992 3128 -3000 -3408 -3000 3924 3804 -3108 -3004 -3036 3016 -3836 3864 -3908 3856 -3248 -3096 -3872 -3836 3260 3896 -3260 -3080 -3116 3144 3644 -3960 -3268 -3008 -3192 4000 -3060 3884 -3952 3856 -3496 -3892 -3956 3588 -3972 3492 3760 -3780 3812 3932 -3408 3852 3928 -3768 -3168 -3732 -3928 -3092 3352 3960 -3884 -3872 3032 -3284 -3304 -3132 4000 3840 3844 3040 3124 3948 -3580 3700 3040 3956 3864 3836 3644 -3804 -3856 -3992 3848 -3324 -3904 3640 3956 3900 3096 3060 3352 -3880 3124 3040 -3600 -3268 -3580 3016 3040 3928 3544 -3924 3916 -3980 -3036 3440 3104 -3064 -3348 3056 -3552 -3428 -3108 3796 -3808 -3784 -3208 3908 -3348 -3552 -3820 3772 3976 3136 3888 3704 -3004 -3988 3528 3996 -3228 3252 3824 -3020 3024 3728 -3072 3028 -3976 -3252 3064 -3520 -3276 -3248 -3940 3848 3044 -3168 3520 -3820 -3576 -3060 -3036 -3040 -3928 -3604 3648 -3028 -3652 -3608 -3220 3996 -3672 -3460 3956 3960 -3012 3260 3044 3684 -3580 3136 -3036 -3084 -3040 3704 3852 3072 3960 3320 3628 -3072 3988 3704 -3624 3996 3884 -3276 -3996 3992 3004 3220 -3664 3244 -3032 -3328 3928 3076 3884 -3600 3216 -3964 3004 -3884 3484 -3828 -3840 3636 -3632 3960 -3004 3560 -3868 3296 -3136 3028 3948 3632 3928 -3148 -3216 3124 -3068 -3052 3292 -3944 3120 -3980 3824 3008 3968 -3280 3868 -3668 -3032 3940 3836 3000 3368 -3896 -4000 -3968 3068 -3984 -3776 3680 -3540 -3956 -3040 -3076 -3872 -3812 -3984 3160 3932 3004 -3864 -3800 -3000 3152 3244 -3548 3004 3844 -3704 -3848 -3676 -3728 -3088 3980 -3484 -3968 -3056 -3640 3524 3460 3808 3968 3900 3368 3008 3984 3984 3640 -3120 3672 -3048 -3012 -3880 3320 -3944 3228 3996 -3060 3440 3924 -3032 3988 3900 3980 -3040 -3976 3216 3936 -3380 3884 3952 -3888 -3044 -3856 -3580 -3988 -3236 3076 -3080 -3968 3004 -3024 3756 3572 -3992 3736 3456 3300 -3624 -3080 -3988 3088 3600 3796 3048 -3808 3768 3372 3908 -3100 -3912 3952 -3004 3080 3992 3976 3328 3772 3040 3984 -3012 -3364 3484 -3432 -3092 -3712 3512 3380 3044 -3996 -3052 -3824 -3024 -3172 -3020 -3112 3112 -3572 -3996 -3956 -3896 3836 3980 3276 -3928 3692 3940 -3700 -3820 3172 3904 3408 3788 3392 3256 3952 3008 -3088 3396 3020 -3956 -3776 3984 3900 3260 -3048 3584 -3188 -3052 3244 -3060 3964 -3856 -3876 3004 3484 -3916 -3812 -3076 3576 -3960 4000 -3932 3704 3672 3824 3932 3096 -3660 3940 3232 3124 -3284 3912 -3120 -3720 -3960 3672 -3028 -3524 -3740 3036 3984 3488 -3252 3648 3604 3092 -3472 -3548 3032 -3956 -4000 3996 3888 3680 3108 -3980 -3816 -3364 -3076 3000 3084 -4000 -3300 -3956 3572 3948 -3084 3592 -4000 -3044 3992 -4000 3948 3008 -3196 3192 3004 3616 -3324 -3044 -3000 3000 -3964 3852 -3072 -3132 3900 3972 3312 -3040 3540 -3796 -4000 3876 3748 -3896 3992 -3080 3004 3892 -3908 -3388 -3064 3924 3052 3200 3348 -3592 -3028 -3964 3784 3076 3816 -3348 3992 -3848 -3108 -3248 3228 3048 -3448 3408 -3152 -3808 -3308 3812 3176 3712 -3104 3932 3908 -3884 3204 -3108 3392 3676 -3188 3056 -3044 3556 3932 -3912 3480 -3052 3012 -3016 -3924 -3388 -3716 -3316 3016 -3324 3952 -3656 3000 3784 3936 -3036 -3932 -3016 3796 -3056 -3192 3960 -3112 -3004 -3072 -3924 -3112 -3852 3204 -3860 4000 -3860 3908 4000 -3996 3644 -3480 -3008 -3800 -3956 -3332 3000 -3988 -3968 -3364 3936 -3948 3376 -3168 -3092 -3360 3108 -3928 3196 -3784 -3992 -3980 -3292 -3976 -3060 3080 3164 -3140 -3448 3148 -3156 3916 -3976 -3592 -3292 3984 -3204 -3372 -3964 -3816 -3240 -3088 3820 3500 3820 4000 3944 3404 3004 -3304 -3012 3032 3044 -3032 3928 -3896 -3428 -3048 3208 -3000 3076 3956 -3872 -3996 -3840 -3288 -3620 3656 3808 -3004 -3048 3708 -3888 3452 3952 -3016 -3896 -3988 -3096 3040 -3088 3052 3960 -3952 4000 4000 3164 -3940 -3716 3064 -3856 -3852 -3264 3768 -3284 3940 -3256 3032 -3004 -3164 3284 3208 -3676 -3068 -3820 3820 -3912 3696 3884 3840 3136 3064 3856 -3832 3012 -3752 -3040 3504 3500 -3580 -3000 3316 3524 3272 -3592 -3132 3044 -3172 -3084 -3808 3860 3056 -3052 3044 -3564 -3956 3324 -3520 -3076 3724 3040 -3604 -3988 3012 3924 3212 3916 3168 -3076 3812 3988 -3060 -3524 -3036 -3964 3108 -3604 -3156 4000 -3136 -3948 3792 3984 3384 -3956 3184 -3060 3792 3000 3692 -3992 -3316 3048 -3348 -3112 -3072 3984 3060 3040 3040 3200 3936 3304 3952 -3080 -4000 -3164 3044 3560 -3892 3104 -3072 3748 -3584 -3776 -3000 3404 3556 -3192 3152 3532 -3048 -3196 3044 -3072 -3024 -3240 -3588 -3676 -3056 -3964 -3616 3960 3740 3940 3928 -3640 -3080 -3016 3928 -3996 3000 -3960 3288 -3148 -3996 3208 -3052 3956 3236 -3900 -3100 -3240 -3812 -3984 -3040 3992 -3956 -3512 -3948 -3028 -3328 -3760 3088 -3808 -3328 -3924 3828 -3004 -3940 -3940 3056 -3992 -3884 3924 -3952 -3872 3864 3204 -3448 3008 3988 3600 -3748 -3008 -3872 3952 3708 3088 -3984 3568 -3008 3508 -3840 3872 -3704 3116 3844 -3956 3968 -3928 -3936 -3752 -3996 -3544 3860 3948 -3192 3024 3048 -3188 -3068 3948 -3972 3216 3524 3912 3960 3644 3912 3960 -3960 3072 -3928 3128 -3892 3712 -3616 -3900 3076 3932 -3956 3724 3044 -3468 3004 3860 -3372 3972 -3932 -3228 -3056 3972 3876 3556 -3128 -3564 -3316 -3864 -3888 3188 -3844 3816 -3068 3056 3112 -3936 -3164 3968 3176 3640 -3132 3956 3344 3096 3952 4000 -3272 -3204 3916 3700 -3656 -3940 3968 3272 -3024 3876 3332 3044 3976 -3020 3912 -3056 3048 3120 3956 -3912 3804 3544 -3608 -3964 -3944 -3416 3368 -3204 -3008 3300 3888 -3040 3992 3076 -3064 3860 3048 3048 -3532 3392 3040 3504 -3928 3064 -3936 -3008 3168 -3688 3668 -3932 -3744 -3000 3864 3996 -3612 3208 3068 3072 -3804 -3104 -3076 -3660 3420 3056 -3852 -3808 -3952 3976 3564 -3172 3272 3204 -3028 -3564 3936 3008 3688 3964 3616 -3060 -3004 3172 3456 -3892 3052 3172 3332 -3560 3152 -3012 3000 -3080 3476 3960 -3504 -3852 -3864 -3052 3460 3432 3972 3748 3008 3936 -3012 3576 -3232 -3260 -3972 3360 3604 -3528 -3016 3456 -3976 -3292 -3996 -3608 3184 -3868 -3972 -3040 -3348 3048 3168 -3276 -3148 3360 3116 3948 -3084 3244 3152 3872 -3212 3900 -3520 3316 -3468 -3672 3952 -3036 3280 3956 3168 -3324 3168 -3000 -3932 -3000 3856 3712 -3920 -3944 -3980 3448 3676 3060 -3332 3964 3892 3184 3200 3884 -3072 3948 -3176 3956 -3720 3052 3040 3896 3296 -3968 3720 -4000 3404 3008 -3844 3216 3200 -3064 -3772 -3136 3860 3004 -3184 3096 3632 3008 3356 3940 -3020 -3264 3096 -3036 3760 -3880 -3080 3612 3972 3016 -3780 3120 -3000 -3116 3780 -3148 -3812 -3004 -3248 -3096 3040 3420 -3768 -3116 -3368 3076 -3024 3664 -3628 -3056 3948 -3996 -3048 3488 -3996 3356 -3244 -3004 3344 3984 -3124 3736 3812 3056 3628 -3960 3484 3000 3960 -3024 3444 3960 -3916 3960 -3208 -3952 -3048 -3020 3052 3224 3776 3264 3140 -3936 3940 3276 3380 3628 -3896 3052 3952 3960 3520 3824 -3040 3956 3292 3096 -3016 3416 3904 3044 -3704 3880 -3920 3176 -3944 3128 3044 -3864 3820 3192 3864 3000 3016 -3192 -3032 3452 -3988 3500 -3000 3040 3972 -3288 -3308 3032 3504 3896 -3872 -3876 -3000 3932 -3000 -3212 -3052 3840 -3064 3804 -3964 -3340 -3956 3976 -3144 3180 3164 -3928 -3968 3080 -3608 -3016 -3708 -3420 3948 3000 -3512 3880 -3288 3044 -3072 3048 3004 3152 -3540 3340 3036 -3668 3156 3828 3704 -3220 -4000 3064 3996 -3836 -3040 3020 3500 3452 -3004 3632 -3064 3984 -3960 3832 3984 -3684 3996 4000 -3012 3960 -3060 3912 -3048 3400 -3108 -3040 -3004 3052 3120 -3216 3968 3756 -3556 3100 -3140 -3012 3860 -3324 -3040 -3020 -3000 3124 3104 3220 3708 -3980 -3956 3924 3928 -3912 3932 3412 -3548 -3968 3020 3312 -3996 -3000 -3276 3036 -3120 3912 3676 3948 3064 3564 -3876 -3988 3292 -3944 3428 -3604 -3012 -3996 3416 3292 3120 3000 3736 -4000 3900 -3000 3056 3744 -3932 -3840 -3048 -3952 -3412 3044 -3996 -3396 -3928 3876 3536 -3892 -3072 4000 -3936 3064 3220 3956 3052 -3144 3852 -3852 3744 3992 3392 -3112 -3996 3160 3976 -3944 3588 -3984 -3112 3028 -3440 3332 3936 3352 3912 3096 3960 -3012 -3048 -3828 3812 -3072 3020 3824 -3316 3820 -3052 -3420 -3988 -3020 -3648 3824 3048 3772 -3928 3104 3036 3800 -3932 3088 3204 -3336 -3096 3252 -3044 3820 3680 -4000 -3048 3684 -3012 -3020 -3728 -3964 -4000 -4000 -3108 -3888 -3108 -3836 -3972 -3876 -3116 -3988 -3844 -3948 -3820 3912 -4000 3980 3356 3992 3476 -3932 3984 3052 -3224 3528 3960 -3056 -3176 3820 -3968 3996 -3280 3176 -3048 -3044 -3352 -3128 -3044 -3480 -3004 -3944 3956 -3012 3060 -3444 3960 3936 -3020 3996 3984 -3092 -3936 -3828 -3744 -3136 3824 3300 3052 3224 -3972 -3368 3012 -3044 3924 -3408 -3628 -3924 3948 3964 -3888 -3948 3376 3796 3824 -3076 -3016 -3096 -3304 3636 3960 -3960 3680 3152 3192 -3960 -3976 -3768 3928 3540 -3104 -3008 -3920 3320 -3960 3664 3676 3940 3972 -3872 -3948 -3960 -3076 3588 -3928 3656 3060 -3128 -3392 3564 3468 -3012 3528 -3244 -3752 3072 -3860 -3092 -3068 3932 -3920 -3268 -3688 3016 3412 3376 -3344 -3864 -3240 -3544 3352 -3116 -3796 3856 3896 3376 -3860 3364 -3096 -3488 3952 -3716 -3956 3728 -3000 3332 3876 -3076 -3232 3800 -3720 3824 -3852 -3020 -3772 -3636 3596 3272 3524 -3860 -3024 -3772 -3128 3052 -3960 3276 3264 3860 -3928 3124 -3496 -3044 3004 -3016 3860 3208 3896 3892 3680 -3800 3720 -3220 -3996 -3096 3824 -3308 3976 -3048 3376 3996 3672 3872 -3988 3084 -3776 -3992 -3048 -3788 3872 -3880 -3996 3044 -3976 3112 3088 3344 -3392 3896 -3940 -3440 3072 -3464 3068 -3168 -3468 3056 -3368 3372 3096 3372 3212 -3056 3976 3012 -3944 -3336 3980 -3768 -3728 3004 3168 3016 3672 3824 -3940 -3116 -3972 3064 -3004 3396 3200 3992 3940 -3032 3332 -3948 -3456 3252 3944 3072 -3052 3628 3948 3060 -3044 -3224 3708 -3984 -3692 -3652 3940 -3992 -3632 3192 -3044 3216 -3044 -3912 3016 3996 -3020 3892 3256 -3040 -3944 3092 3388 -3960 3512 -3768 3256 3940 3668 -3724 3248 -3416 -3020 3948 -3220 -3312 -3012 3964 -3020 3564 3104 3492 -3952 3968 3260 -3220 -3132 -3188 3084 3436 -3344 3996 3884 3120 3960 3040 3068 -3136 -3944 3068 -3048 3028 3584 -3892 3144 -3768 3932 3372 3500 -3928 3700 -3800 -4000 3312 3076 -3816 -3072 -3588 3276 -3916 -3012 -3004 -3112 -3252 3988 -3000 -3960 -3616 -3376 -3076 -3960 -3216 3244 -3532 3148 3652 3040 -3564 -3920 3064 3400 -3924 3028 -3100 3588 -3860 -3072 -3220 -3024 -3008 3204 3868 3088 -3052 3024 3204 -3956 -3096 3740 3672 -3928 -3992 3832 -4000 3004 3796 3336 -3976 -3964 -3116 -3008 -3312 -3088 -3924 3052 -3980 -3816 -3868 -3444 -3776 -3952 -3824 3488 -3596 3632 -3972 3236 -3604 -3980 -3452 3840 3204 3984 -3068 3008 3972 -3068 3372 -3008 -4000 3492 3860 -3764 -3032 -3020 -3848 -3832 -3048 -3020 3564 -3840 3032 -3832 -3936 3108 -3972 -3948 3916 -3932 3936 3012 3060 -3420 3956 3988 3892 3556 -3792 3840 -3656 3380 3116 3016 -4000 3056 3996 3108 3372 -3020 -3888 -3108 -3304 -3128 3000 3004 -3900 -3040 3344 3052 3020 -3120 3608 -3604 3100 -3988 -3080 -3784 -3828 3988 3648 3456 -3420 3900 3988 3960 3064 -3040 -4000 3984 3956 -3936 3124 3676 3044 -3040 -3076 -3712 3232 3900 -3072 3928 3568 3904 3008 -3776 3000 -3076 3800 3456 3032 -3708 3080 3064 3996 3024 -3236 3008 3092 -3872 -3608 3924 -3104 -3944 3984 3080 3000 -3488 -3000 -3648 3944 3068 3000 3828 -3696 3908 3884 3020 -3972 -3520 -3208 -3880 3668 3824 3052 3992 3732 -3084 -3392 3380 -3516 3028 -3336 3924 3112 -3340 -3016 -3988 -3196 -3800 -3508 -3948 3816 -3044 -3932 3080 3120 -3052 3868 -3156 -3792 -3044 3356 -3680 3076 3156 3688 -3752 -3692 3516 -3156 -3276 3092 -3416 3188 -3232 -3948 3032 -3032 4000 -3920 -3756 3356 3000 -3848 -3852 -3000 3992 3680 3688 3392 3784 3352 -3596 -3184 -3964 3224 3796 3948 -3972 3004 -3012 3624 -3168 3016 -3940 3992 -3408 -3440 3988 4000 3532 3728 3772 4000 3968 -3996 -3160 -3436 -3284 3996 -3452 -3044 -3604 3376 3232 -3012 -3180 -3456 3028 3088 -3012 -3004 -3688 -3984 -3216 3108 3848 3864 -3024 -3956 -3032 3808 -3988 -3844 3344 -3204 -3548 -3368 -3832 3188 -3744 -3352 3192 -3020 -3052 -3236 3148 -3744 -3424 -3228 -3972 3040 -3880 3988 -3812 -3344 -3688 -3904 3664 -3032 3000 -3100 -3992 -3632 -3024 3892 -3852 3916 -3008 3120 3496 4000 3912 -3916 3024 3972 3048 -3384 3736 -3552 -3992 3128 3220 3000 3056 -3304 3048 -3044 3988 4000 -3160 3368 -3996 3028 -3888 -3824 -3248 3040 3384 4000 -3040 3532 -3128 3088 3992 3000 -3516 3048 -3668 3032 -3532 -3476 3272 -3756 -3212 -3076 -3752 -3996 -3960 -3928 -3996 3860 -3536 3928 -3788 3896 -3012 -3792 -3660 -3964 -3992 -3004 -3420 -3960 -3992 -3824 -3932 -3060 -3368 3444 3024 -3064 3288 -3872 -3944 3984 -3128 -3108 -3236 3980 3032 3212 -3804 -4000 -3000 3056 3104 -3192 3960 3860 -3968 3980 3972 -3540 3704 3832 -3000 3952 -3688 3996 3524 -3960 3060 3260 3820 3004 -3376 -3332 -3044 -3964 -3068 3172 -3840 -3388 3480 3000 -3872 3680 3348 -3676 -4000 3948 3868 -3056 -4000 3040 -3000 -3160 3088 3552 -3788 -3984 -3720 -3632 3000 -3232 3728 3988 -3812 -3816 -3988 3088 -3924 3020 4000 3820 3232 3868 3048 4000 -3040 3140 3944 -3560 3732 3108 3088 -3920 3008 3924 -3012 3948 -3928 -3968 -4000 3936 -3992 -3960 -3328 3048 3040 3956 -3028 -3940 -3236 3444 -3000 -3180 -3964 3680 -3160 3152 3096 3960 3968 -3936 -3468 3672 3048 -3684 -3988 -3992 3056 -3816 3612 -3572 -3044 3936 3976 3116 -3928 -3948 -3052 3836 -3084 3224 3356 3960 3220 3832 3044 -3196 -3480 3880 3852 3940 3968 -3632 3600 -3920 -3912 -3960 -3024 -3152 -3296 -3476 3748 3616 3860 3304 3112 3896 -3952 -3816 3228 -3972 -3628 -3068 -3564 3588 3052 -3236 4000 3256 3312 -3272 -3672 3836 -3948 3860 3464 3096 3916 3568 3952 3016 -3952 3628 3408 3808 3960 -3016 3564 3140 3072 3056 -3060 -3272 -3708 -3948 3140 -3184 -3248 3364 -3980 3700 -4000 -3100 3068 3012 3848 3008 -3856 -3024 3872 -3000 3988 3012 -3196 -3928 3400 3176 -3896 -3932 -3072 -3160 -3980 -3020 -3460 3128 -3076 3060 -3912 3700 3308 -3940 -3968 -3604 -3012 -3064 -3004 3244 3048 3940 -3684 -3144 3004 3124 -3004 -3980 -3616 -3932 3908 3696 -3840 -3920 -3056 3116 -3188 -3952 -3512 -3568 3156 3864 -3324 3780 -3912 -3956 3988 3000
2812 unsatisfied constraints, 20342 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-275604-1169223850 -o ROOT/results/node29/solver-275604-1169223850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275604-1169223850/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: 0.85 1.05 1.44 6/86 10949 /proc/meminfo: memFree=1392720/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=47416 CPUtime=0 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 1017 0 1 0 0 0 0 0 17 0 1 0 270779118 48553984 766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4596698 0 4 0 7368 0 0 0 17 1 0 0 /proc/10948/statm: 11854 769 620 14 0 1707 0 [startup+0.103558 s] /proc/loadavg: 0.85 1.05 1.44 6/86 10949 /proc/meminfo: memFree=1392720/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=914988 CPUtime=0.08 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 2986 0 1 0 7 1 0 0 17 0 8 0 270779118 936947712 2732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228747 2732 1426 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.511542 s] /proc/loadavg: 0.85 1.05 1.44 6/86 10949 /proc/meminfo: memFree=1392720/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915332 CPUtime=0.49 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 8435 0 1 0 44 5 0 0 19 0 8 0 270779118 937299968 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228833 8177 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33459 s] /proc/loadavg: 0.85 1.05 1.44 5/100 10963 /proc/meminfo: memFree=1202144/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915604 CPUtime=1.3 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 28122 0 1 0 116 14 0 0 25 0 8 0 270779118 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228901 27859 2161 14 0 215371 0 [pid=10948/tid=10950] ppid=10943 vsize=915604 CPUtime=0.11 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 11569 0 0 0 7 4 0 0 16 0 8 0 270779122 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915604 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915604 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915604 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915604 CPUtime=0.15 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 404 0 0 0 15 0 0 0 15 0 8 0 270779126 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915604 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915604 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937578496 27859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915604 [startup+2.98669 s] /proc/loadavg: 0.85 1.05 1.44 3/100 10963 /proc/meminfo: memFree=1175072/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=2.96 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 29520 0 1 0 280 16 0 0 25 0 8 0 270779118 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 29254 2181 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.17 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 12891 0 0 0 12 5 0 0 17 0 8 0 270779122 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.17 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 416 0 0 0 17 0 0 0 15 0 8 0 270779126 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 915744 [startup+6.18889 s] /proc/loadavg: 0.94 1.07 1.44 3/100 10963 /proc/meminfo: memFree=1174944/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=6.14 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 29521 0 1 0 598 16 0 0 25 0 8 0 270779118 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 29255 2181 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.17 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 12891 0 0 0 12 5 0 0 16 0 8 0 270779122 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.17 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 417 0 0 0 17 0 0 0 15 0 8 0 270779126 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 915744 [startup+12.6653 s] /proc/loadavg: 1.02 1.08 1.44 3/100 10963 /proc/meminfo: memFree=1174968/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=12.56 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 29533 0 1 0 1240 16 0 0 25 0 8 0 270779118 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 29267 2182 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.17 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 12891 0 0 0 12 5 0 0 16 0 8 0 270779122 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.18 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 428 0 0 0 18 0 0 0 15 0 8 0 270779126 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 29267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 915744 [startup+25.5171 s] /proc/loadavg: 1.24 1.13 1.45 4/100 10963 /proc/meminfo: memFree=1168568/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=25.34 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 30377 0 1 0 2517 17 0 0 25 0 8 0 270779118 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 30109 2182 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.22 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 13731 0 0 0 17 5 0 0 16 0 8 0 270779122 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.19 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 430 0 0 0 19 0 0 0 15 0 8 0 270779126 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 30109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 915744 [startup+51.1267 s] /proc/loadavg: 1.50 1.20 1.47 3/100 10963 /proc/meminfo: memFree=1168376/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=50.83 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 30385 0 1 0 5063 20 0 0 25 0 8 0 270779118 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 30115 2182 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.22 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 13731 0 0 0 17 5 0 0 16 0 8 0 270779122 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.2 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 435 0 0 0 20 0 0 0 16 0 8 0 270779126 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 30115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 915744 [startup+102.377 s] /proc/loadavg: 1.78 1.32 1.49 3/100 10963 /proc/meminfo: memFree=1114360/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=101.75 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 37601 0 1 0 10141 34 0 0 25 0 8 0 270779118 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228936 37283 2501 14 0 215406 0 [pid=10948/tid=10950] ppid=10943 vsize=915744 CPUtime=0.7 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 20554 0 0 0 62 8 0 0 16 0 8 0 270779122 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270779123 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779123 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915744 CPUtime=0.27 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 475 0 0 0 26 1 0 0 16 0 8 0 270779126 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915744 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937721856 37283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 915744 [startup+162.479 s] /proc/loadavg: 1.92 1.44 1.52 3/100 10963 /proc/meminfo: memFree=1114296/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915744 CPUtime=161.5 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 37603 0 1 0 16110 40 0 0 25 0 8 0 270779118 937721856 37285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2013.14 Current children cumulated vsize (KiB) 915984 [startup+2084.17 s] /proc/loadavg: 2.01 2.02 1.92 3/100 10963 /proc/meminfo: memFree=839864/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2072.8 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 207200 80 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2072.8 Current children cumulated vsize (KiB) 915984 [startup+2144.17 s] /proc/loadavg: 2.05 2.03 1.93 3/100 10963 /proc/meminfo: memFree=839928/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2132.48 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 213168 80 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2132.48 Current children cumulated vsize (KiB) 915984 [startup+2204.17 s] /proc/loadavg: 2.05 2.03 1.93 3/100 10963 /proc/meminfo: memFree=839864/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2192.17 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 219136 81 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2192.17 Current children cumulated vsize (KiB) 915984 [startup+2264.2 s] /proc/loadavg: 2.07 2.04 1.94 3/106 11129 /proc/meminfo: memFree=838520/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2251.78 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 225087 91 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843670 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2251.78 Current children cumulated vsize (KiB) 915984 [startup+2324.22 s] /proc/loadavg: 2.02 2.03 1.94 3/100 11161 /proc/meminfo: memFree=839608/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2311.46 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 231053 93 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074290906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2311.46 Current children cumulated vsize (KiB) 915984 [startup+2384.22 s] /proc/loadavg: 2.01 2.02 1.94 3/100 11161 /proc/meminfo: memFree=839608/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2371.16 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 237022 94 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2371.16 Current children cumulated vsize (KiB) 915984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2413.23 s] /proc/loadavg: 2.00 2.02 1.94 3/90 11172 /proc/meminfo: memFree=1112968/2055920 swapFree=4161388/4192956 [pid=10948] ppid=10943 vsize=915984 CPUtime=2400.01 /proc/10948/stat : 10948 (java) R 10943 10948 10837 0 -1 0 71826 0 1 0 239907 94 0 0 25 0 8 0 270779118 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10948/statm: 228996 71494 2548 14 0 215466 0 [pid=10948/tid=10950] ppid=10943 vsize=915984 CPUtime=1.03 /proc/10948/task/10950/stat : 10950 (java) S 10943 10948 10837 0 -1 64 54536 0 0 0 83 20 0 0 16 0 8 0 270779122 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10952] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10952/stat : 10952 (java) S 10943 10948 10837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10953] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10953/stat : 10953 (java) S 10943 10948 10837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779123 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10957] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10957/stat : 10957 (java) S 10943 10948 10837 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10959] ppid=10943 vsize=915984 CPUtime=0.39 /proc/10948/task/10959/stat : 10959 (java) S 10943 10948 10837 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10948/tid=10961] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10961/stat : 10961 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10948/tid=10963] ppid=10943 vsize=915984 CPUtime=0 /proc/10948/task/10963/stat : 10963 (java) S 10943 10948 10837 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270779126 937967616 71494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 915984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2413.32 CPU time (s): 2400.09 CPU user time (s): 2399.1 CPU system time (s): 0.98585 CPU usage (%): 99.4519 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.1 system time used= 0.98585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71850 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= 50706 involuntary context switches= 133043 runsolver used 3.11753 s user time and 7.72283 s system time The end
Begin job on node29 on Fri Jan 19 16:24:10 UTC 2007 IDJOB= 275604 IDBENCH= 4148 IDSOLVER= 69 FILE ID= node29/275604-1169223850 PBS_JOBID= 3589205 Free space on /tmp= 66555 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp39/fapp39-2750-1.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275604-1169223850/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-275604-1169223850 -o ROOT/results/node29/solver-275604-1169223850 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275604-1169223850/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 0711f87a2f23f1ada9e0aed542733318 RANDOM SEED= 266612227 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.241 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.241 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: 1393744 kB Buffers: 39520 kB Cached: 522756 kB SwapCached: 2192 kB Active: 152764 kB Inactive: 438928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1393744 kB SwapTotal: 4192956 kB SwapFree: 4161388 kB Dirty: 10084 kB Writeback: 0 kB Mapped: 44808 kB Slab: 55492 kB Committed_AS: 4976932 kB PageTables: 2264 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node29 on Fri Jan 19 17:04:24 UTC 2007