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.18 | 2422.33 |
| Name | fapp/fapp36-40/fapp39/ fapp39-2750-2.xml |
| MD5SUM | b2c8a831f9d033b4a9ad8eac1f5cc450 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 20689 |
| Best CPU time to get the best result obtained on this benchmark | 2400.06 |
| 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.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275610-1169223910/unknown.xml 0.37 0.37 domains being loaded... 0.41 0.41 variables being loaded... 0.87 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 0.87 => wckTime=0.555 cpuTime=0.38 mem=40M672 0.87 0.87 predicates being loaded... 0.87 0.87 constraints being loaded... 61.37 61.37 INFO : Stopping converting binary constraints (cpu=60.06, mem = 62M194) 62.41 nbConstraints=23154 nbConvertedConstraints=1271 nbConvertConstraintsChecks=190897548 nbExtensionStructures=821 62.41 nbSharedExtensionStructures=450 nbConflictsStructures=821 nbSharedConflictsStructures=450 62.41 nbSharedBinaryRepresentations=753397 nbEvaluationManagers=3692 nbSharedEvaluationManagers=18191 maxDegree=23 62.41 maxArity=2 62.41 => wckTime=62.099 cpuTime=60.9 mem=102M20 62.70 62.70 solver LocalSearchSolver being built... 62.74 => wckTime=62.429 cpuTime=60.96 mem=78M6 63.04 63.04 s SATISFIABLE 63.04 o 16387 63.04 c 6767 63.15 o 16394 63.15 c 6760 63.24 o 16400 63.24 c 6754 63.32 o 16405 63.32 c 6749 63.41 o 16408 63.41 c 6746 63.47 o 16411 63.47 c 6743 63.53 o 16413 63.53 c 6741 63.58 o 16415 63.58 c 6739 63.62 o 16417 63.62 c 6737 63.65 o 16419 63.65 c 6735 63.68 o 16420 63.68 c 6734 63.75 o 16427 63.75 c 6727 63.82 o 16434 63.82 c 6720 63.90 o 16440 63.90 c 6714 63.96 o 16446 63.96 c 6708 64.02 o 16452 64.02 c 6702 64.09 o 16458 64.09 c 6696 64.16 o 16463 64.16 c 6691 64.22 o 16468 64.22 c 6686 64.28 o 16473 64.28 c 6681 64.36 o 16478 64.36 c 6676 64.42 o 16483 64.42 c 6671 64.49 o 16487 64.49 c 6667 64.55 o 16491 64.55 c 6663 64.62 o 16494 64.62 c 6660 64.68 o 16497 64.68 c 6657 64.75 o 16500 64.75 c 6654 64.79 o 16503 64.79 c 6651 64.85 o 16506 64.85 c 6648 64.89 o 16509 64.89 c 6645 64.94 o 16512 64.94 c 6642 64.99 o 16515 64.99 c 6639 65.03 o 16518 65.03 c 6636 65.07 o 16521 65.07 c 6633 65.11 o 16523 65.11 c 6631 65.16 o 16525 65.16 c 6629 65.20 o 16527 65.20 c 6627 65.23 o 16529 65.23 c 6625 65.26 o 16530 65.26 c 6624 65.31 o 16531 65.31 c 6623 65.34 o 16532 65.34 c 6622 65.37 o 16533 65.37 c 6621 65.41 o 16534 65.41 c 6620 65.50 o 16538 65.50 c 6616 65.56 o 16540 65.56 c 6614 65.66 o 16547 65.66 c 6607 65.76 o 16554 65.76 c 6600 65.85 o 16560 65.86 c 6594 65.95 o 16566 65.95 c 6588 66.05 o 16572 66.05 c 6582 66.15 o 16577 66.15 c 6577 66.25 o 16582 66.25 c 6572 66.33 o 16587 66.33 c 6567 66.43 o 16592 66.43 c 6562 66.51 o 16597 66.51 c 6557 66.60 o 16602 66.60 c 6552 66.68 o 16607 66.68 c 6547 66.76 o 16612 66.76 c 6542 66.85 o 16617 66.85 c 6537 66.92 o 16621 66.92 c 6533 66.99 o 16625 66.99 c 6529 67.07 o 16629 67.07 c 6525 67.13 o 16633 67.13 c 6521 67.20 o 16636 67.20 c 6518 67.28 o 16639 67.28 c 6515 67.34 o 16642 67.34 c 6512 67.40 o 16645 67.40 c 6509 67.46 o 16648 67.46 c 6506 67.53 o 16656 67.53 c 6498 67.59 o 16659 67.59 c 6495 67.66 o 16661 67.66 c 6493 67.71 o 16663 67.71 c 6491 67.77 o 16665 67.77 c 6489 67.83 o 16667 67.83 c 6487 67.88 o 16669 67.88 c 6485 67.92 o 16671 67.92 c 6483 67.97 o 16673 67.97 c 6481 68.02 o 16675 68.02 c 6479 68.05 o 16677 68.05 c 6477 68.08 o 16679 68.08 c 6475 68.12 o 16681 68.12 c 6473 68.18 o 16682 68.18 c 6472 68.22 o 16683 68.22 c 6471 68.25 o 16684 68.25 c 6470 68.30 o 16685 68.30 c 6469 68.34 o 16686 68.34 c 6468 68.52 o 16689 68.52 c 6465 68.56 o 16694 68.56 c 6460 68.61 o 16696 68.61 c 6458 68.64 o 16701 68.64 c 6453 68.67 o 16706 68.67 c 6448 68.74 o 16707 68.74 c 6447 68.81 o 16710 68.81 c 6444 68.85 o 16713 68.85 c 6441 68.91 o 16718 68.91 c 6436 68.94 o 16721 68.94 c 6433 69.01 o 16726 69.01 c 6428 69.08 o 16729 69.08 c 6425 69.11 o 16730 69.11 c 6424 69.14 o 16732 69.14 c 6422 69.25 o 16737 69.25 c 6417 69.30 o 16739 69.30 c 6415 69.38 o 16742 69.38 c 6412 69.51 o 16743 69.51 c 6411 69.65 o 16749 69.65 c 6405 69.79 o 16752 69.79 c 6402 69.94 o 16758 69.94 c 6396 70.08 o 16764 70.08 c 6390 70.23 o 16769 70.23 c 6385 70.37 o 16774 70.37 c 6380 70.53 o 16779 70.53 c 6375 70.66 o 16784 70.66 c 6370 70.80 o 16789 70.80 c 6365 70.94 o 16791 70.94 c 6363 71.07 o 16796 71.07 c 6358 71.21 o 16797 71.21 c 6357 71.33 o 16800 71.33 c 6354 71.45 o 16808 71.45 c 6346 71.59 o 16812 71.59 c 6342 71.73 o 16816 71.73 c 6338 71.87 o 16820 71.87 c 6334 72.01 o 16824 72.01 c 6330 72.13 o 16828 72.13 c 6326 72.26 o 16832 72.26 c 6322 72.41 o 16836 72.41 c 6318 72.54 o 16839 72.54 c 6315 72.66 o 16842 72.66 c 6312 72.78 o 16846 72.78 c 6308 72.92 o 16849 72.92 c 6305 73.05 o 16850 73.05 c 6304 73.16 o 16853 73.16 c 6301 73.29 o 16856 73.29 c 6298 73.41 o 16859 73.41 c 6295 73.52 o 16862 73.52 c 6292 73.63 o 16865 73.63 c 6289 73.74 o 16868 73.74 c 6286 73.85 o 16871 73.85 c 6283 73.94 o 16874 73.94 c 6280 74.03 o 16877 74.03 c 6277 74.13 o 16880 74.13 c 6274 74.22 o 16883 74.23 c 6271 74.31 o 16889 74.31 c 6265 74.41 o 16892 74.41 c 6262 74.49 o 16894 74.49 c 6260 74.59 o 16896 74.59 c 6258 74.69 o 16898 74.69 c 6256 74.76 o 16900 74.76 c 6254 74.85 o 16902 74.85 c 6252 74.94 o 16904 74.94 c 6250 75.02 o 16906 75.02 c 6248 75.10 o 16908 75.10 c 6246 75.19 o 16910 75.19 c 6244 75.27 o 16912 75.27 c 6242 75.35 o 16914 75.35 c 6240 75.42 o 16916 75.42 c 6238 75.49 o 16918 75.49 c 6236 75.56 o 16920 75.56 c 6234 75.64 o 16922 75.64 c 6232 75.71 o 16924 75.71 c 6230 75.77 o 16926 75.77 c 6228 75.87 o 16927 75.87 c 6227 75.93 o 16928 75.93 c 6226 75.99 o 16929 75.99 c 6225 76.04 o 16930 76.04 c 6224 76.10 o 16931 76.10 c 6223 76.17 o 16932 76.17 c 6222 76.23 o 16933 76.23 c 6221 76.29 o 16934 76.29 c 6220 76.35 o 16935 76.35 c 6219 76.40 o 16936 76.40 c 6218 76.46 o 16937 76.46 c 6217 76.50 o 16938 76.50 c 6216 76.55 o 16939 76.55 c 6215 76.60 o 16940 76.60 c 6214 76.64 o 16941 76.64 c 6213 76.68 o 16942 76.68 c 6212 76.71 o 16943 76.71 c 6211 76.74 o 16944 76.74 c 6210 76.78 o 16945 76.78 c 6209 76.92 o 16948 76.92 c 6206 76.95 o 16950 76.95 c 6204 76.99 o 16954 76.99 c 6200 77.02 o 16955 77.02 c 6199 77.06 o 16960 77.06 c 6194 77.10 o 16961 77.10 c 6193 77.14 o 16966 77.14 c 6188 77.17 o 16971 77.17 c 6183 77.19 o 16976 77.19 c 6178 77.22 o 16979 77.22 c 6175 77.25 o 16981 77.25 c 6173 77.28 o 16984 77.28 c 6170 77.32 o 16985 77.32 c 6169 77.36 o 16990 77.36 c 6164 77.41 o 16994 77.41 c 6160 77.46 o 16998 77.46 c 6156 77.50 o 17004 77.50 c 6150 77.55 o 17006 77.55 c 6148 77.61 o 17008 77.61 c 6146 77.65 o 17011 77.65 c 6143 77.70 o 17017 77.70 c 6137 77.77 o 17018 77.77 c 6136 77.81 o 17022 77.81 c 6132 77.86 o 17023 77.86 c 6131 77.91 o 17025 77.91 c 6129 77.98 o 17026 77.98 c 6128 78.03 o 17027 78.03 c 6127 78.07 o 17029 78.07 c 6125 78.15 o 17033 78.15 c 6121 78.20 o 17037 78.20 c 6117 78.24 o 17038 78.24 c 6116 78.28 o 17040 78.28 c 6114 78.31 o 17042 78.31 c 6112 78.38 o 17043 78.38 c 6111 78.42 o 17048 78.42 c 6106 78.52 o 17050 78.52 c 6104 78.61 o 17056 78.61 c 6098 78.67 o 17061 78.67 c 6093 78.74 o 17062 78.74 c 6092 78.87 o 17068 78.87 c 6086 79.01 o 17074 79.01 c 6080 79.19 o 17080 79.19 c 6074 79.32 o 17087 79.32 c 6067 79.46 o 17093 79.46 c 6061 79.63 o 17098 79.63 c 6056 79.79 o 17103 79.79 c 6051 79.97 o 17108 79.97 c 6046 80.14 o 17113 80.14 c 6041 80.29 o 17119 80.29 c 6035 80.47 o 17124 80.47 c 6030 80.63 o 17129 80.63 c 6025 80.80 o 17134 80.80 c 6020 80.96 o 17138 80.96 c 6016 81.13 o 17142 81.13 c 6012 81.28 o 17146 81.28 c 6008 81.46 o 17150 81.46 c 6004 81.62 o 17152 81.62 c 6002 81.79 o 17156 81.79 c 5998 81.94 o 17160 81.94 c 5994 82.10 o 17164 82.10 c 5990 82.26 o 17167 82.26 c 5987 82.42 o 17170 82.42 c 5984 82.58 o 17173 82.58 c 5981 82.74 o 17176 82.74 c 5978 82.90 o 17179 82.90 c 5975 83.05 o 17182 83.05 c 5972 83.20 o 17185 83.20 c 5969 83.34 o 17189 83.35 c 5965 83.49 o 17192 83.49 c 5962 83.64 o 17195 83.64 c 5959 83.78 o 17198 83.78 c 5956 83.91 o 17201 83.91 c 5953 84.04 o 17204 84.04 c 5950 84.17 o 17207 84.17 c 5947 84.31 o 17210 84.31 c 5944 84.44 o 17213 84.44 c 5941 84.56 o 17215 84.56 c 5939 84.69 o 17217 84.69 c 5937 84.83 o 17219 84.83 c 5935 84.95 o 17223 84.95 c 5931 85.06 o 17229 85.06 c 5925 85.18 o 17231 85.18 c 5923 85.29 o 17236 85.29 c 5918 85.41 o 17238 85.41 c 5916 85.53 o 17240 85.53 c 5914 85.64 o 17242 85.64 c 5912 85.75 o 17244 85.75 c 5910 85.88 o 17246 85.88 c 5908 86.00 o 17248 86.00 c 5906 86.11 o 17250 86.12 c 5904 86.22 o 17252 86.22 c 5902 86.34 o 17254 86.34 c 5900 86.43 o 17256 86.43 c 5898 86.54 o 17258 86.54 c 5896 86.64 o 17260 86.64 c 5894 86.74 o 17262 86.74 c 5892 86.83 o 17264 86.83 c 5890 86.93 o 17266 86.93 c 5888 87.03 o 17268 87.03 c 5886 87.13 o 17270 87.13 c 5884 87.21 o 17272 87.21 c 5882 87.30 o 17274 87.30 c 5880 87.39 o 17276 87.39 c 5878 87.48 o 17278 87.48 c 5876 87.58 o 17280 87.58 c 5874 87.66 o 17281 87.66 c 5873 87.74 o 17283 87.74 c 5871 87.82 o 17285 87.82 c 5869 87.90 o 17286 87.90 c 5868 87.98 o 17290 87.98 c 5864 88.05 o 17291 88.05 c 5863 88.13 o 17292 88.13 c 5862 88.20 o 17293 88.20 c 5861 88.29 o 17294 88.29 c 5860 88.34 o 17295 88.34 c 5859 88.41 o 17296 88.41 c 5858 88.47 o 17297 88.47 c 5857 88.54 o 17298 88.54 c 5856 88.59 o 17299 88.59 c 5855 88.64 o 17300 88.64 c 5854 88.71 o 17301 88.71 c 5853 88.77 o 17302 88.77 c 5852 89.22 o 17303 89.22 c 5851 89.26 o 17305 89.26 c 5849 89.45 o 17312 89.45 c 5842 89.49 o 17315 89.49 c 5839 89.60 o 17316 89.60 c 5838 89.66 o 17319 89.66 c 5835 89.72 o 17322 89.72 c 5832 89.77 o 17328 89.77 c 5826 89.83 o 17329 89.83 c 5825 89.88 o 17331 89.88 c 5823 89.96 o 17332 89.96 c 5822 90.02 o 17338 90.02 c 5816 90.08 o 17344 90.08 c 5810 90.13 o 17346 90.13 c 5808 90.19 o 17349 90.19 c 5805 90.32 o 17351 90.32 c 5803 90.39 o 17354 90.39 c 5800 90.46 o 17355 90.46 c 5799 90.54 o 17358 90.54 c 5796 90.63 o 17359 90.63 c 5795 90.71 o 17363 90.71 c 5791 90.87 o 17368 90.87 c 5786 90.94 o 17370 90.94 c 5784 91.03 o 17372 91.03 c 5782 91.13 o 17373 91.13 c 5781 91.21 o 17376 91.21 c 5778 91.28 o 17377 91.28 c 5777 91.35 o 17383 91.35 c 5771 91.43 o 17385 91.43 c 5769 91.51 o 17387 91.51 c 5767 91.58 o 17391 91.58 c 5763 91.67 o 17392 91.67 c 5762 91.83 o 17394 91.83 c 5760 91.90 o 17398 91.90 c 5756 91.99 o 17403 91.99 c 5751 92.06 o 17405 92.06 c 5749 92.14 o 17410 92.14 c 5744 92.23 o 17412 92.23 c 5742 92.39 o 17415 92.39 c 5739 92.47 o 17416 92.47 c 5738 92.56 o 17417 92.56 c 5737 92.63 o 17420 92.63 c 5734 92.71 o 17423 92.71 c 5731 92.80 o 17426 92.80 c 5728 92.88 o 17430 92.88 c 5724 92.96 o 17432 92.96 c 5722 93.12 o 17435 93.12 c 5719 93.21 o 17438 93.21 c 5716 93.30 o 17442 93.30 c 5712 93.39 o 17444 93.39 c 5710 93.49 o 17447 93.49 c 5707 93.66 o 17449 93.66 c 5705 93.84 o 17450 93.84 c 5704 93.94 o 17451 93.94 c 5703 94.03 o 17452 94.03 c 5702 94.12 o 17454 94.12 c 5700 94.21 o 17455 94.21 c 5699 94.30 o 17458 94.30 c 5696 94.38 o 17460 94.38 c 5694 94.50 o 17462 94.50 c 5692 94.58 o 17464 94.58 c 5690 94.66 o 17467 94.66 c 5687 94.74 o 17469 94.74 c 5685 94.84 o 17471 94.84 c 5683 94.93 o 17474 94.93 c 5680 95.03 o 17475 95.03 c 5679 95.14 o 17479 95.14 c 5675 95.23 o 17480 95.23 c 5674 95.41 o 17482 95.42 c 5672 95.49 o 17489 95.49 c 5665 95.58 o 17494 95.58 c 5660 95.66 o 17497 95.66 c 5657 96.06 o 17501 96.06 c 5653 96.16 o 17503 96.16 c 5651 96.40 o 17509 96.40 c 5645 96.62 o 17514 96.62 c 5640 96.78 o 17519 96.78 c 5635 96.92 o 17524 96.92 c 5630 97.08 o 17529 97.08 c 5625 97.24 o 17530 97.24 c 5624 97.40 o 17535 97.40 c 5619 97.55 o 17540 97.55 c 5614 97.67 o 17541 97.67 c 5613 97.83 o 17545 97.83 c 5609 97.97 o 17549 97.97 c 5605 98.11 o 17553 98.11 c 5601 98.27 o 17557 98.27 c 5597 98.43 o 17561 98.43 c 5593 98.58 o 17565 98.58 c 5589 98.75 o 17569 98.75 c 5585 98.90 o 17573 98.90 c 5581 99.04 o 17576 99.04 c 5578 99.19 o 17577 99.19 c 5577 99.34 o 17580 99.34 c 5574 99.48 o 17583 99.48 c 5571 99.63 o 17587 99.63 c 5567 99.76 o 17590 99.76 c 5564 100.15 o 17592 100.15 c 5562 100.28 o 17595 100.28 c 5559 100.40 o 17598 100.40 c 5556 100.52 o 17601 100.52 c 5553 100.77 o 17603 100.77 c 5551 100.89 o 17605 100.89 c 5549 101.01 o 17607 101.01 c 5547 101.12 o 17609 101.12 c 5545 101.24 o 17611 101.24 c 5543 101.36 o 17613 101.36 c 5541 101.47 o 17617 101.47 c 5537 101.58 o 17619 101.58 c 5535 101.69 o 17621 101.69 c 5533 101.80 o 17623 101.80 c 5531 101.91 o 17625 101.91 c 5529 102.01 o 17627 102.01 c 5527 102.12 o 17628 102.12 c 5526 102.22 o 17630 102.22 c 5524 102.31 o 17631 102.31 c 5523 102.40 o 17632 102.40 c 5522 102.51 o 17633 102.51 c 5521 102.60 o 17634 102.60 c 5520 102.69 o 17635 102.69 c 5519 102.78 o 17636 102.78 c 5518 102.87 o 17637 102.87 c 5517 102.96 o 17638 102.96 c 5516 103.44 o 17640 103.44 c 5514 103.52 o 17642 103.52 c 5512 103.73 o 17643 103.73 c 5511 103.87 o 17646 103.87 c 5508 103.97 o 17650 103.97 c 5504 104.06 o 17653 104.06 c 5501 104.14 o 17655 104.14 c 5499 104.31 o 17656 104.31 c 5498 104.39 o 17658 104.39 c 5496 104.48 o 17659 104.48 c 5495 104.64 o 17665 104.64 c 5489 104.70 o 17666 104.70 c 5488 104.99 o 17669 104.99 c 5485 105.07 o 17672 105.07 c 5482 105.15 o 17674 105.15 c 5480 105.32 o 17680 105.32 c 5474 105.39 o 17684 105.39 c 5470 105.47 o 17686 105.47 c 5468 105.57 o 17688 105.57 c 5466 105.64 o 17693 105.64 c 5461 105.73 o 17697 105.73 c 5457 105.80 o 17700 105.80 c 5454 105.88 o 17704 105.88 c 5450 105.96 o 17706 105.96 c 5448 106.05 o 17708 106.05 c 5446 106.12 o 17715 106.12 c 5439 106.21 o 17718 106.21 c 5436 106.30 o 17720 106.30 c 5434 106.49 o 17721 106.49 c 5433 106.57 o 17725 106.57 c 5429 106.64 o 17728 106.64 c 5426 106.73 o 17731 106.73 c 5423 106.81 o 17733 106.81 c 5421 106.98 o 17736 106.98 c 5418 107.06 o 17740 107.06 c 5414 107.15 o 17741 107.15 c 5413 107.23 o 17745 107.23 c 5409 107.32 o 17746 107.32 c 5408 107.41 o 17747 107.41 c 5407 107.50 o 17748 107.50 c 5406 107.61 o 17749 107.61 c 5405 107.80 o 17750 107.80 c 5404 107.90 o 17753 107.90 c 5401 107.99 o 17755 107.99 c 5399 108.09 o 17756 108.09 c 5398 108.20 o 17758 108.20 c 5396 108.31 o 17760 108.31 c 5394 108.73 o 17761 108.73 c 5393 108.97 o 17764 108.97 c 5390 109.18 o 17766 109.18 c 5388 109.30 o 17768 109.30 c 5386 109.41 o 17771 109.41 c 5383 109.54 o 17776 109.54 c 5378 109.79 o 17779 109.79 c 5375 109.92 o 17783 109.92 c 5371 110.04 o 17786 110.04 c 5368 110.16 o 17789 110.16 c 5365 110.28 o 17793 110.28 c 5361 110.41 o 17796 110.41 c 5358 110.66 o 17798 110.66 c 5356 110.79 o 17802 110.79 c 5352 110.91 o 17804 110.91 c 5350 111.03 o 17805 111.03 c 5349 111.19 o 17808 111.19 c 5346 111.35 o 17813 111.35 c 5341 111.47 o 17817 111.47 c 5337 111.63 o 17818 111.63 c 5336 111.75 o 17822 111.75 c 5332 111.88 o 17826 111.88 c 5328 112.00 o 17827 112.00 c 5327 112.14 o 17833 112.14 c 5321 112.27 o 17834 112.27 c 5320 112.41 o 17836 112.41 c 5318 112.52 o 17840 112.52 c 5314 113.01 o 17844 113.01 c 5310 113.16 o 17846 113.16 c 5308 113.28 o 17849 113.28 c 5305 113.50 o 17852 113.50 c 5302 113.62 o 17855 113.62 c 5299 113.76 o 17858 113.76 c 5296 113.88 o 17859 113.88 c 5295 114.00 o 17861 114.00 c 5293 114.12 o 17863 114.12 c 5291 114.24 o 17866 114.24 c 5288 114.51 o 17867 114.51 c 5287 114.65 o 17871 114.65 c 5283 114.77 o 17873 114.77 c 5281 115.02 o 17874 115.02 c 5280 115.28 o 17875 115.28 c 5279 115.39 o 17877 115.39 c 5277 115.63 o 17879 115.63 c 5275 115.73 o 17882 115.73 c 5272 115.85 o 17883 115.85 c 5271 115.96 o 17885 115.96 c 5269 116.10 o 17886 116.10 c 5268 116.23 o 17888 116.23 c 5266 116.35 o 17890 116.35 c 5264 116.47 o 17892 116.47 c 5262 116.60 o 17894 116.60 c 5260 116.74 o 17898 116.74 c 5256 116.98 o 17899 116.98 c 5255 117.10 o 17903 117.10 c 5251 117.23 o 17908 117.23 c 5246 117.35 o 17909 117.35 c 5245 117.48 o 17913 117.48 c 5241 117.59 o 17914 117.59 c 5240 117.72 o 17919 117.72 c 5235 117.96 o 17925 117.96 c 5229 118.09 o 17929 118.09 c 5225 118.21 o 17931 118.21 c 5223 118.35 o 17935 118.35 c 5219 118.48 o 17938 118.48 c 5216 118.62 o 17941 118.62 c 5213 118.76 o 17943 118.76 c 5211 118.90 o 17945 118.90 c 5209 119.04 o 17946 119.04 c 5208 119.18 o 17950 119.18 c 5204 119.47 o 17953 119.47 c 5201 119.67 o 17957 119.67 c 5197 119.88 o 17961 119.88 c 5193 120.08 o 17965 120.08 c 5189 120.29 o 17969 120.29 c 5185 120.50 o 17972 120.50 c 5182 120.69 o 17975 120.69 c 5179 120.90 o 17978 120.90 c 5176 121.11 o 17981 121.11 c 5173 121.31 o 17984 121.31 c 5170 121.51 o 17987 121.51 c 5167 121.71 o 17988 121.71 c 5166 122.26 o 17991 122.26 c 5163 122.44 o 17994 122.44 c 5160 122.59 o 17995 122.59 c 5159 122.79 o 17998 122.79 c 5156 122.97 o 18001 122.97 c 5153 123.15 o 18004 123.15 c 5150 123.33 o 18007 123.33 c 5147 123.51 o 18009 123.51 c 5145 123.69 o 18011 123.70 c 5143 123.88 o 18013 123.88 c 5141 124.06 o 18015 124.06 c 5139 124.24 o 18017 124.24 c 5137 124.42 o 18019 124.42 c 5135 124.61 o 18021 124.61 c 5133 124.79 o 18023 124.79 c 5131 124.97 o 18025 124.97 c 5129 125.13 o 18029 125.13 c 5125 125.31 o 18031 125.31 c 5123 125.48 o 18035 125.48 c 5119 125.66 o 18037 125.66 c 5117 125.82 o 18039 125.82 c 5115 125.99 o 18041 125.99 c 5113 126.17 o 18042 126.17 c 5112 126.36 o 18043 126.36 c 5111 126.52 o 18044 126.52 c 5110 126.70 o 18045 126.70 c 5109 127.20 o 18046 127.20 c 5108 127.36 o 18047 127.36 c 5107 127.53 o 18048 127.53 c 5106 127.69 o 18050 127.69 c 5104 127.87 o 18051 127.87 c 5103 128.04 o 18052 128.04 c 5102 128.19 o 18053 128.19 c 5101 128.34 o 18054 128.34 c 5100 128.49 o 18055 128.49 c 5099 128.65 o 18056 128.65 c 5098 128.79 o 18057 128.79 c 5097 128.94 o 18061 128.94 c 5093 129.06 o 18065 129.06 c 5089 129.20 o 18066 129.20 c 5088 129.33 o 18067 129.33 c 5087 129.47 o 18068 129.47 c 5086 129.61 o 18069 129.61 c 5085 129.74 o 18070 129.74 c 5084 130.55 o 18071 130.55 c 5083 130.83 o 18075 130.83 c 5079 130.95 o 18076 130.95 c 5078 131.21 o 18077 131.21 c 5077 132.18 o 18078 132.18 c 5076 132.43 o 18080 132.43 c 5074 132.68 o 18081 132.68 c 5073 132.81 o 18082 132.81 c 5072 132.92 o 18086 132.92 c 5068 133.05 o 18090 133.05 c 5064 133.16 o 18092 133.16 c 5062 133.29 o 18095 133.29 c 5059 133.41 o 18098 133.41 c 5056 133.95 o 18103 133.95 c 5051 134.08 o 18105 134.08 c 5049 134.21 o 18106 134.21 c 5048 134.50 o 18108 134.50 c 5046 134.64 o 18112 134.64 c 5042 134.79 o 18113 134.79 c 5041 134.94 o 18116 134.94 c 5038 135.08 o 18119 135.08 c 5035 135.22 o 18123 135.22 c 5031 135.36 o 18126 135.36 c 5028 135.49 o 18127 135.49 c 5027 135.63 o 18132 135.63 c 5022 135.78 o 18133 135.78 c 5021 135.94 o 18134 135.94 c 5020 136.08 o 18136 136.08 c 5018 136.22 o 18139 136.22 c 5015 136.65 o 18142 136.65 c 5012 136.94 o 18145 136.94 c 5009 137.09 o 18150 137.09 c 5004 137.24 o 18153 137.24 c 5001 137.39 o 18155 137.39 c 4999 137.54 o 18158 137.54 c 4996 137.71 o 18161 137.71 c 4993 138.03 o 18162 138.03 c 4992 138.20 o 18163 138.20 c 4991 138.35 o 18165 138.35 c 4989 138.50 o 18167 138.50 c 4987 138.81 o 18168 138.81 c 4986 138.97 o 18171 138.97 c 4983 139.13 o 18172 139.13 c 4982 139.29 o 18173 139.29 c 4981 139.44 o 18175 139.44 c 4979 139.60 o 18177 139.60 c 4977 139.75 o 18178 139.75 c 4976 139.89 o 18179 139.89 c 4975 140.03 o 18184 140.03 c 4970 140.20 o 18186 140.20 c 4968 140.63 o 18187 140.63 c 4967 140.79 o 18192 140.79 c 4962 141.09 o 18193 141.09 c 4961 141.42 o 18194 141.42 c 4960 141.58 o 18195 141.58 c 4959 141.74 o 18199 141.74 c 4955 141.91 o 18201 141.91 c 4953 142.08 o 18204 142.08 c 4950 142.25 o 18206 142.25 c 4948 142.42 o 18209 142.42 c 4945 142.59 o 18213 142.59 c 4941 142.76 o 18217 142.76 c 4937 142.94 o 18218 142.94 c 4936 143.10 o 18220 143.10 c 4934 143.28 o 18223 143.28 c 4931 143.82 o 18224 143.82 c 4930 143.98 o 18225 143.98 c 4929 144.16 o 18227 144.16 c 4927 144.35 o 18230 144.35 c 4924 144.51 o 18233 144.51 c 4921 144.71 o 18235 144.71 c 4919 144.89 o 18239 144.89 c 4915 145.07 o 18240 145.07 c 4914 145.24 o 18242 145.24 c 4912 145.40 o 18243 145.40 c 4911 145.73 o 18246 145.73 c 4908 145.92 o 18248 145.92 c 4906 146.26 o 18253 146.26 c 4901 146.42 o 18254 146.42 c 4900 146.58 o 18258 146.58 c 4896 146.73 o 18262 146.74 c 4892 147.41 o 18264 147.41 c 4890 147.58 o 18268 147.58 c 4886 147.74 o 18270 147.74 c 4884 147.91 o 18272 147.91 c 4882 148.09 o 18273 148.09 c 4881 148.26 o 18276 148.26 c 4878 148.44 o 18278 148.44 c 4876 148.61 o 18279 148.61 c 4875 148.79 o 18281 148.79 c 4873 148.95 o 18283 148.95 c 4871 149.11 o 18287 149.11 c 4867 149.28 o 18289 149.28 c 4865 149.44 o 18291 149.44 c 4863 149.59 o 18292 149.59 c 4862 149.75 o 18294 149.75 c 4860 149.90 o 18296 149.90 c 4858 150.07 o 18297 150.07 c 4857 150.22 o 18302 150.22 c 4852 150.39 o 18303 150.39 c 4851 150.58 o 18306 150.58 c 4848 150.76 o 18307 150.76 c 4847 150.93 o 18308 150.93 c 4846 151.09 o 18312 151.09 c 4842 151.26 o 18315 151.26 c 4839 151.61 o 18319 151.61 c 4835 151.78 o 18322 151.78 c 4832 152.13 o 18325 152.13 c 4829 152.29 o 18330 152.29 c 4824 152.46 o 18332 152.46 c 4822 152.80 o 18337 152.80 c 4817 153.14 o 18338 153.14 c 4816 153.31 o 18341 153.31 c 4813 153.48 o 18343 153.48 c 4811 153.65 o 18345 153.65 c 4809 153.84 o 18348 153.84 c 4806 154.01 o 18349 154.01 c 4805 154.35 o 18352 154.35 c 4802 154.51 o 18353 154.51 c 4801 154.67 o 18355 154.67 c 4799 154.83 o 18356 154.83 c 4798 155.02 o 18360 155.02 c 4794 155.18 o 18362 155.18 c 4792 155.34 o 18363 155.34 c 4791 156.00 o 18364 156.00 c 4790 156.17 o 18365 156.17 c 4789 156.32 o 18366 156.32 c 4788 156.49 o 18371 156.49 c 4783 156.64 o 18373 156.64 c 4781 156.97 o 18374 156.97 c 4780 157.32 o 18375 157.32 c 4779 157.48 o 18378 157.48 c 4776 157.65 o 18381 157.65 c 4773 157.82 o 18383 157.82 c 4771 158.00 o 18385 158.00 c 4769 158.17 o 18386 158.17 c 4768 158.35 o 18388 158.35 c 4766 158.52 o 18390 158.52 c 4764 158.70 o 18392 158.70 c 4762 159.22 o 18393 159.22 c 4761 159.39 o 18396 159.39 c 4758 159.58 o 18400 159.58 c 4754 159.78 o 18401 159.78 c 4753 159.97 o 18402 159.97 c 4752 160.15 o 18403 160.15 c 4751 160.50 o 18405 160.50 c 4749 160.70 o 18410 160.70 c 4744 160.89 o 18413 160.89 c 4741 161.07 o 18414 161.07 c 4740 161.25 o 18416 161.25 c 4738 161.61 o 18418 161.61 c 4736 161.81 o 18420 161.81 c 4734 162.00 o 18423 162.00 c 4731 162.18 o 18428 162.18 c 4726 162.37 o 18433 162.37 c 4721 162.57 o 18434 162.57 c 4720 162.76 o 18436 162.76 c 4718 162.97 o 18437 162.97 c 4717 163.36 o 18440 163.36 c 4714 163.55 o 18443 163.55 c 4711 163.95 o 18444 163.95 c 4710 164.14 o 18446 164.14 c 4708 164.33 o 18448 164.33 c 4706 164.53 o 18450 164.53 c 4704 165.08 o 18453 165.08 c 4701 165.26 o 18454 165.26 c 4700 165.63 o 18456 165.63 c 4698 165.82 o 18458 165.82 c 4696 166.02 o 18459 166.02 c 4695 166.22 o 18461 166.22 c 4693 166.42 o 18463 166.42 c 4691 166.61 o 18464 166.61 c 4690 166.81 o 18467 166.81 c 4687 167.01 o 18469 167.01 c 4685 167.20 o 18472 167.20 c 4682 167.40 o 18475 167.40 c 4679 167.57 o 18477 167.57 c 4677 167.81 o 18480 167.81 c 4674 168.01 o 18483 168.01 c 4671 168.20 o 18486 168.20 c 4668 168.40 o 18488 168.40 c 4666 168.66 o 18492 168.66 c 4662 168.92 o 18496 168.92 c 4658 169.19 o 18499 169.19 c 4655 169.47 o 18501 169.47 c 4653 169.76 o 18503 169.76 c 4651 170.03 o 18505 170.03 c 4649 170.30 o 18507 170.30 c 4647 170.59 o 18509 170.59 c 4645 170.86 o 18511 170.86 c 4643 171.14 o 18513 171.14 c 4641 171.42 o 18515 171.42 c 4639 171.68 o 18517 171.68 c 4637 171.95 o 18519 171.95 c 4635 172.22 o 18521 172.22 c 4633 172.49 o 18523 172.49 c 4631 172.98 o 18525 172.98 c 4629 173.26 o 18527 173.26 c 4627 173.50 o 18529 173.50 c 4625 173.76 o 18531 173.76 c 4623 174.02 o 18533 174.02 c 4621 174.27 o 18538 174.27 c 4616 174.51 o 18541 174.52 c 4613 174.77 o 18542 174.77 c 4612 175.29 o 18543 175.29 c 4611 175.55 o 18544 175.55 c 4610 176.06 o 18545 176.06 c 4609 176.56 o 18546 176.56 c 4608 177.04 o 18547 177.04 c 4607 177.30 o 18548 177.30 c 4606 177.56 o 18549 177.56 c 4605 177.81 o 18550 177.81 c 4604 178.04 o 18551 178.04 c 4603 178.28 o 18553 178.28 c 4601 178.52 o 18554 178.52 c 4600 178.77 o 18555 178.77 c 4599 179.00 o 18556 179.00 c 4598 179.23 o 18557 179.23 c 4597 179.47 o 18558 179.47 c 4596 179.70 o 18561 179.70 c 4593 179.93 o 18562 179.93 c 4592 180.16 o 18563 180.16 c 4591 180.40 o 18564 180.40 c 4590 180.64 o 18567 180.64 c 4587 180.86 o 18568 180.86 c 4586 181.09 o 18569 181.09 c 4585 181.31 o 18570 181.31 c 4584 181.96 o 18572 181.96 c 4582 182.41 o 18575 182.41 c 4579 182.82 o 18577 182.82 c 4577 184.16 o 18578 184.16 c 4576 187.52 o 18581 187.52 c 4573 188.68 o 18584 188.68 c 4570 189.15 o 18588 189.15 c 4566 189.39 o 18590 189.39 c 4564 189.62 o 18593 189.62 c 4561 189.86 o 18594 189.86 c 4560 190.11 o 18595 190.11 c 4559 190.60 o 18599 190.60 c 4555 190.85 o 18600 190.85 c 4554 191.09 o 18603 191.09 c 4551 191.60 o 18605 191.60 c 4549 191.84 o 18608 191.84 c 4546 192.32 o 18610 192.32 c 4544 192.56 o 18612 192.56 c 4542 192.82 o 18614 192.82 c 4540 193.33 o 18616 193.33 c 4538 193.59 o 18617 193.59 c 4537 193.84 o 18620 193.84 c 4534 194.08 o 18623 194.08 c 4531 194.82 o 18629 194.82 c 4525 195.07 o 18631 195.07 c 4523 195.31 o 18635 195.31 c 4519 195.58 o 18637 195.58 c 4517 195.84 o 18638 195.84 c 4516 196.09 o 18640 196.09 c 4514 196.34 o 18642 196.34 c 4512 196.59 o 18643 196.59 c 4511 196.84 o 18644 196.84 c 4510 197.09 o 18645 197.09 c 4509 197.33 o 18646 197.33 c 4508 197.57 o 18649 197.57 c 4505 197.82 o 18650 197.82 c 4504 198.08 o 18652 198.08 c 4502 198.55 o 18654 198.55 c 4500 198.81 o 18657 198.81 c 4497 199.08 o 18659 199.08 c 4495 200.25 o 18660 200.25 c 4494 200.49 o 18662 200.49 c 4492 200.72 o 18666 200.72 c 4488 200.94 o 18669 200.94 c 4485 201.18 o 18673 201.18 c 4481 201.43 o 18674 201.43 c 4480 201.66 o 18675 201.66 c 4479 202.58 o 18676 202.58 c 4478 202.81 o 18678 202.81 c 4476 203.03 o 18681 203.03 c 4473 203.24 o 18682 203.24 c 4472 203.47 o 18683 203.47 c 4471 203.95 o 18684 203.95 c 4470 204.42 o 18685 204.42 c 4469 204.66 o 18687 204.66 c 4467 204.90 o 18688 204.90 c 4466 205.13 o 18689 205.13 c 4465 205.36 o 18690 205.36 c 4464 205.58 o 18691 205.58 c 4463 205.81 o 18692 205.81 c 4462 206.05 o 18696 206.05 c 4458 206.27 o 18700 206.27 c 4454 206.50 o 18704 206.50 c 4450 206.73 o 18705 206.73 c 4449 206.97 o 18709 206.97 c 4445 207.20 o 18711 207.20 c 4443 207.44 o 18713 207.44 c 4441 207.67 o 18715 207.67 c 4439 207.88 o 18718 207.88 c 4436 208.11 o 18720 208.11 c 4434 208.34 o 18721 208.34 c 4433 208.56 o 18722 208.56 c 4432 208.79 o 18726 208.79 c 4428 209.01 o 18727 209.01 c 4427 209.24 o 18729 209.24 c 4425 209.47 o 18732 209.47 c 4422 209.69 o 18734 209.69 c 4420 209.91 o 18738 209.91 c 4416 210.14 o 18740 210.14 c 4414 210.39 o 18742 210.39 c 4412 210.62 o 18744 210.62 c 4410 210.83 o 18746 210.83 c 4408 211.45 o 18747 211.45 c 4407 211.68 o 18748 211.68 c 4406 211.89 o 18751 211.89 c 4403 212.10 o 18753 212.10 c 4401 212.31 o 18755 212.31 c 4399 212.97 o 18756 212.97 c 4398 213.19 o 18759 213.19 c 4395 213.41 o 18762 213.41 c 4392 213.88 o 18763 213.88 c 4391 214.54 o 18766 214.54 c 4388 215.46 o 18768 215.46 c 4386 215.69 o 18770 215.69 c 4384 215.92 o 18773 215.92 c 4381 216.41 o 18776 216.41 c 4378 216.64 o 18780 216.64 c 4374 216.86 o 18783 216.86 c 4371 217.09 o 18787 217.09 c 4367 217.32 o 18791 217.32 c 4363 217.56 o 18795 217.56 c 4359 217.78 o 18796 217.78 c 4358 218.02 o 18798 218.02 c 4356 218.26 o 18799 218.26 c 4355 218.73 o 18800 218.73 c 4354 219.22 o 18801 219.22 c 4353 219.47 o 18802 219.47 c 4352 219.98 o 18805 219.98 c 4349 221.46 o 18810 221.46 c 4344 221.74 o 18813 221.74 c 4341 222.00 o 18817 222.00 c 4337 222.27 o 18819 222.27 c 4335 222.53 o 18820 222.53 c 4334 222.81 o 18824 222.81 c 4330 223.09 o 18827 223.09 c 4327 223.67 o 18830 223.67 c 4324 223.95 o 18831 223.95 c 4323 224.23 o 18832 224.23 c 4322 224.52 o 18834 224.52 c 4320 225.06 o 18835 225.06 c 4319 225.36 o 18837 225.36 c 4317 225.62 o 18840 225.62 c 4314 225.91 o 18842 225.91 c 4312 226.21 o 18844 226.21 c 4310 226.48 o 18846 226.48 c 4308 226.76 o 18849 226.76 c 4305 227.03 o 18852 227.03 c 4302 227.30 o 18856 227.30 c 4298 227.58 o 18857 227.58 c 4297 228.11 o 18858 228.11 c 4296 228.37 o 18859 228.37 c 4295 229.41 o 18861 229.41 c 4293 229.66 o 18862 229.66 c 4292 229.92 o 18864 229.92 c 4290 230.44 o 18866 230.44 c 4288 230.71 o 18871 230.71 c 4283 230.98 o 18874 230.98 c 4280 231.51 o 18875 231.51 c 4279 231.77 o 18880 231.77 c 4274 232.04 o 18882 232.04 c 4272 232.30 o 18885 232.30 c 4269 233.34 o 18888 233.34 c 4266 233.84 o 18891 233.84 c 4263 234.88 o 18892 234.88 c 4262 235.15 o 18895 235.15 c 4259 235.44 o 18896 235.44 c 4258 235.96 o 18897 235.96 c 4257 236.22 o 18898 236.22 c 4256 236.49 o 18899 236.49 c 4255 236.77 o 18902 236.77 c 4252 237.03 o 18904 237.03 c 4250 237.29 o 18908 237.29 c 4246 238.61 o 18909 238.61 c 4245 238.87 o 18911 238.87 c 4243 239.40 o 18915 239.40 c 4239 239.97 o 18917 239.97 c 4237 240.26 o 18920 240.26 c 4234 240.54 o 18923 240.54 c 4231 240.83 o 18924 240.83 c 4230 241.39 o 18927 241.39 c 4227 241.95 o 18929 241.95 c 4225 242.50 o 18931 242.50 c 4223 242.78 o 18934 242.78 c 4220 243.06 o 18935 243.06 c 4219 243.36 o 18936 243.36 c 4218 243.91 o 18939 243.91 c 4215 244.19 o 18940 244.19 c 4214 244.49 o 18941 244.49 c 4213 244.78 o 18942 244.78 c 4212 245.06 o 18943 245.06 c 4211 245.35 o 18944 245.35 c 4210 245.65 o 18947 245.65 c 4207 245.95 o 18950 245.95 c 4204 247.08 o 18954 247.08 c 4200 247.36 o 18955 247.36 c 4199 247.64 o 18959 247.64 c 4195 247.94 o 18962 247.94 c 4192 248.25 o 18965 248.25 c 4189 249.17 o 18966 249.17 c 4188 249.46 o 18969 249.46 c 4185 249.75 o 18971 249.75 c 4183 250.34 o 18972 250.34 c 4182 250.92 o 18975 250.92 c 4179 251.24 o 18978 251.24 c 4176 251.54 o 18979 251.54 c 4175 251.84 o 18980 251.84 c 4174 252.14 o 18984 252.14 c 4170 252.47 o 18987 252.47 c 4167 253.34 o 18989 253.34 c 4165 253.64 o 18992 253.64 c 4162 253.94 o 18993 253.94 c 4161 254.24 o 18995 254.24 c 4159 254.81 o 18997 254.81 c 4157 255.37 o 18998 255.37 c 4156 255.68 o 19000 255.68 c 4154 255.97 o 19001 255.97 c 4153 256.25 o 19002 256.25 c 4152 256.52 o 19006 256.52 c 4148 256.79 o 19007 256.79 c 4147 257.07 o 19008 257.07 c 4146 257.63 o 19012 257.63 c 4142 257.92 o 19013 257.92 c 4141 258.21 o 19014 258.21 c 4140 258.48 o 19018 258.48 c 4136 258.76 o 19020 258.76 c 4134 260.73 o 19022 260.73 c 4132 261.02 o 19025 261.02 c 4129 261.31 o 19026 261.31 c 4128 261.60 o 19030 261.60 c 4124 262.40 o 19032 262.40 c 4122 262.96 o 19033 262.96 c 4121 263.23 o 19036 263.23 c 4118 263.50 o 19037 263.50 c 4117 263.78 o 19039 263.78 c 4115 264.06 o 19040 264.06 c 4114 265.49 o 19042 265.49 c 4112 265.79 o 19043 265.79 c 4111 266.08 o 19044 266.08 c 4110 266.37 o 19045 266.37 c 4109 266.64 o 19047 266.64 c 4107 266.91 o 19049 266.91 c 4105 268.31 o 19050 268.31 c 4104 268.59 o 19051 268.59 c 4103 268.87 o 19052 268.87 c 4102 269.13 o 19053 269.13 c 4101 269.41 o 19055 269.41 c 4099 269.70 o 19057 269.70 c 4097 270.26 o 19060 270.26 c 4094 270.54 o 19061 270.54 c 4093 270.80 o 19062 270.80 c 4092 271.06 o 19066 271.06 c 4088 271.35 o 19070 271.35 c 4084 271.94 o 19071 271.94 c 4083 272.71 o 19074 272.71 c 4080 272.97 o 19076 272.97 c 4078 273.25 o 19079 273.25 c 4075 273.52 o 19080 273.52 c 4074 273.80 o 19081 273.80 c 4073 274.07 o 19082 274.07 c 4072 274.36 o 19084 274.36 c 4070 275.28 o 19085 275.28 c 4069 275.58 o 19087 275.58 c 4067 275.88 o 19089 275.88 c 4065 276.18 o 19091 276.18 c 4063 276.49 o 19092 276.49 c 4062 276.80 o 19093 276.80 c 4061 277.10 o 19094 277.10 c 4060 277.41 o 19095 277.41 c 4059 277.72 o 19096 277.72 c 4058 277.98 o 19098 277.98 c 4056 278.28 o 19099 278.28 c 4055 278.57 o 19103 278.57 c 4051 278.88 o 19104 278.88 c 4050 279.17 o 19105 279.17 c 4049 279.46 o 19108 279.46 c 4046 279.77 o 19109 279.77 c 4045 280.04 o 19110 280.04 c 4044 280.32 o 19111 280.32 c 4043 280.60 o 19112 280.60 c 4042 284.15 o 19115 284.15 c 4039 284.43 o 19117 284.43 c 4037 284.69 o 19120 284.69 c 4034 285.22 o 19122 285.22 c 4032 285.48 o 19123 285.48 c 4031 285.74 o 19124 285.74 c 4030 286.00 o 19125 286.00 c 4029 286.53 o 19128 286.53 c 4026 286.79 o 19131 286.79 c 4023 287.06 o 19134 287.06 c 4020 287.33 o 19136 287.33 c 4018 287.61 o 19139 287.61 c 4015 288.17 o 19140 288.17 c 4014 288.43 o 19141 288.43 c 4013 288.97 o 19142 288.97 c 4012 290.02 o 19144 290.02 c 4010 290.28 o 19146 290.28 c 4008 290.54 o 19148 290.54 c 4006 291.39 o 19151 291.39 c 4003 292.55 o 19152 292.55 c 4002 292.82 o 19154 292.82 c 4000 293.62 o 19155 293.62 c 3999 293.90 o 19158 293.90 c 3996 294.46 o 19160 294.46 c 3994 294.73 o 19161 294.73 c 3993 295.00 o 19163 295.00 c 3991 295.28 o 19165 295.28 c 3989 295.56 o 19169 295.56 c 3985 295.83 o 19172 295.83 c 3982 296.11 o 19173 296.11 c 3981 296.37 o 19175 296.37 c 3979 296.67 o 19176 296.67 c 3978 296.96 o 19180 296.96 c 3974 297.23 o 19182 297.23 c 3972 297.50 o 19184 297.50 c 3970 297.77 o 19186 297.78 c 3968 298.06 o 19188 298.06 c 3966 298.57 o 19191 298.57 c 3963 298.84 o 19192 298.84 c 3962 299.11 o 19195 299.11 c 3959 299.37 o 19197 299.37 c 3957 300.46 o 19198 300.46 c 3956 301.00 o 19199 301.00 c 3955 301.26 o 19202 301.26 c 3952 301.78 o 19204 301.78 c 3950 302.05 o 19206 302.05 c 3948 302.33 o 19209 302.33 c 3945 303.98 o 19211 303.98 c 3943 304.25 o 19215 304.25 c 3939 304.53 o 19217 304.53 c 3937 304.81 o 19219 304.81 c 3935 305.63 o 19220 305.63 c 3934 305.90 o 19222 305.90 c 3932 306.18 o 19224 306.18 c 3930 306.45 o 19227 306.45 c 3927 307.01 o 19230 307.01 c 3924 307.28 o 19233 307.28 c 3921 307.53 o 19236 307.53 c 3918 308.92 o 19239 308.92 c 3915 309.23 o 19243 309.23 c 3911 309.51 o 19245 309.51 c 3909 310.37 o 19248 310.37 c 3906 310.63 o 19249 310.63 c 3905 310.92 o 19250 310.92 c 3904 311.20 o 19253 311.20 c 3901 311.49 o 19255 311.49 c 3899 311.77 o 19256 311.77 c 3898 312.04 o 19260 312.04 c 3894 312.86 o 19261 312.86 c 3893 313.13 o 19262 313.13 c 3892 313.43 o 19264 313.43 c 3890 313.73 o 19266 313.73 c 3888 314.02 o 19269 314.02 c 3885 316.00 o 19271 316.00 c 3883 316.28 o 19273 316.28 c 3881 316.55 o 19275 316.55 c 3879 317.11 o 19276 317.11 c 3878 317.40 o 19279 317.40 c 3875 317.68 o 19282 317.68 c 3872 317.97 o 19284 317.97 c 3870 318.27 o 19287 318.27 c 3867 318.54 o 19289 318.54 c 3865 318.82 o 19290 318.82 c 3864 319.12 o 19291 319.12 c 3863 319.41 o 19292 319.41 c 3862 319.68 o 19296 319.68 c 3858 319.96 o 19299 319.96 c 3855 320.24 o 19300 320.24 c 3854 320.52 o 19303 320.52 c 3851 320.81 o 19305 320.81 c 3849 321.37 o 19308 321.37 c 3846 321.65 o 19310 321.65 c 3844 321.93 o 19311 321.93 c 3843 322.20 o 19312 322.20 c 3842 322.49 o 19315 322.49 c 3839 322.76 o 19317 322.76 c 3837 323.32 o 19318 323.32 c 3836 323.59 o 19319 323.59 c 3835 323.89 o 19321 323.89 c 3833 324.18 o 19322 324.18 c 3832 324.49 o 19323 324.49 c 3831 324.81 o 19324 324.81 c 3830 325.10 o 19327 325.10 c 3827 325.38 o 19328 325.38 c 3826 327.86 o 19330 327.86 c 3824 328.49 o 19331 328.49 c 3823 329.09 o 19333 329.09 c 3821 329.41 o 19335 329.41 c 3819 330.02 o 19338 330.02 c 3816 330.93 o 19339 330.93 c 3815 331.24 o 19340 331.24 c 3814 331.56 o 19341 331.56 c 3813 331.88 o 19343 331.88 c 3811 332.20 o 19345 332.20 c 3809 332.52 o 19346 332.52 c 3808 332.85 o 19347 332.85 c 3807 333.48 o 19348 333.48 c 3806 333.79 o 19350 333.79 c 3804 333.99 o 19355 333.99 c 3799 334.60 o 19356 334.60 c 3798 335.24 o 19359 335.24 c 3795 335.55 o 19362 335.55 c 3792 335.88 o 19364 335.88 c 3790 336.51 o 19365 336.51 c 3789 336.83 o 19367 336.83 c 3787 337.16 o 19371 337.16 c 3783 337.49 o 19372 337.49 c 3782 338.14 o 19375 338.14 c 3779 339.47 o 19376 339.47 c 3778 339.80 o 19377 339.80 c 3777 340.77 o 19379 340.77 c 3775 341.09 o 19380 341.09 c 3774 341.72 o 19383 341.72 c 3771 342.05 o 19385 342.05 c 3769 343.05 o 19387 343.05 c 3767 343.38 o 19389 343.38 c 3765 343.70 o 19390 343.70 c 3764 344.34 o 19391 344.34 c 3763 344.67 o 19394 344.67 c 3760 345.65 o 19396 345.65 c 3758 345.98 o 19397 345.98 c 3757 346.31 o 19398 346.31 c 3756 346.96 o 19399 346.96 c 3755 348.61 o 19402 348.61 c 3752 348.94 o 19404 348.94 c 3750 349.61 o 19405 349.61 c 3749 349.95 o 19408 349.95 c 3746 351.00 o 19409 351.00 c 3745 351.33 o 19412 351.33 c 3742 352.65 o 19414 352.65 c 3740 353.01 o 19416 353.01 c 3738 354.39 o 19417 354.39 c 3737 354.73 o 19419 354.73 c 3735 355.08 o 19422 355.08 c 3732 355.79 o 19424 355.79 c 3730 356.15 o 19425 356.15 c 3729 357.57 o 19426 357.57 c 3728 357.94 o 19429 357.94 c 3725 358.31 o 19431 358.31 c 3723 358.66 o 19433 358.66 c 3721 359.03 o 19434 359.03 c 3720 359.39 o 19437 359.39 c 3717 359.76 o 19440 359.76 c 3714 360.13 o 19441 360.13 c 3713 360.86 o 19443 360.86 c 3711 361.23 o 19444 361.23 c 3710 363.42 o 19449 363.42 c 3705 363.78 o 19451 363.78 c 3703 364.50 o 19452 364.50 c 3702 364.85 o 19454 364.85 c 3700 365.20 o 19455 365.20 c 3699 365.59 o 19456 365.59 c 3698 366.31 o 19457 366.31 c 3697 366.69 o 19459 366.69 c 3695 367.06 o 19461 367.06 c 3693 368.50 o 19462 368.50 c 3692 369.24 o 19463 369.24 c 3691 369.58 o 19466 369.58 c 3688 369.97 o 19468 369.97 c 3686 370.34 o 19471 370.34 c 3683 370.70 o 19474 370.70 c 3680 371.06 o 19476 371.06 c 3678 373.18 o 19479 373.18 c 3675 373.55 o 19480 373.55 c 3674 373.89 o 19481 373.89 c 3673 375.34 o 19483 375.34 c 3671 376.43 o 19486 376.43 c 3668 376.79 o 19487 376.79 c 3667 378.67 o 19488 378.67 c 3666 379.03 o 19489 379.03 c 3665 380.13 o 19492 380.13 c 3662 380.49 o 19493 380.49 c 3661 381.59 o 19494 381.59 c 3660 381.96 o 19495 381.96 c 3659 382.31 o 19498 382.31 c 3656 383.02 o 19499 383.02 c 3655 385.76 o 19500 385.76 c 3654 386.13 o 19501 386.13 c 3653 386.36 o 19503 386.36 c 3651 386.72 o 19505 386.72 c 3649 387.10 o 19508 387.10 c 3646 388.13 o 19511 388.13 c 3643 388.50 o 19512 388.50 c 3642 388.85 o 19514 388.85 c 3640 389.91 o 19515 389.91 c 3639 390.24 o 19516 390.24 c 3638 390.62 o 19519 390.62 c 3635 391.32 o 19522 391.32 c 3632 391.67 o 19524 391.67 c 3630 393.35 o 19526 393.35 c 3628 395.12 o 19527 395.12 c 3627 395.48 o 19528 395.48 c 3626 395.83 o 19533 395.83 c 3621 396.21 o 19537 396.21 c 3617 396.57 o 19538 396.57 c 3616 397.32 o 19539 397.32 c 3615 397.70 o 19540 397.70 c 3614 399.17 o 19541 399.17 c 3613 399.55 o 19542 399.55 c 3612 400.42 o 19545 400.42 c 3609 400.79 o 19547 400.79 c 3607 401.16 o 19548 401.16 c 3606 401.52 o 19549 401.52 c 3605 401.89 o 19551 401.89 c 3603 402.26 o 19552 402.26 c 3602 402.62 o 19554 402.62 c 3600 403.00 o 19556 403.00 c 3598 403.36 o 19558 403.36 c 3596 403.71 o 19560 403.71 c 3594 406.35 o 19561 406.35 c 3593 406.76 o 19564 406.76 c 3590 407.56 o 19565 407.56 c 3589 407.96 o 19567 407.96 c 3587 408.38 o 19568 408.38 c 3586 408.79 o 19569 408.79 c 3585 410.49 o 19570 410.49 c 3584 410.93 o 19571 410.93 c 3583 411.35 o 19573 411.35 c 3581 412.17 o 19574 412.17 c 3580 413.02 o 19576 413.02 c 3578 413.44 o 19577 413.44 c 3577 414.30 o 19578 414.30 c 3576 415.16 o 19579 415.16 c 3575 415.62 o 19580 415.62 c 3574 416.05 o 19581 416.05 c 3573 417.35 o 19582 417.35 c 3572 417.79 o 19583 417.79 c 3571 418.68 o 19586 418.68 c 3568 419.56 o 19589 419.56 c 3565 420.01 o 19590 420.01 c 3564 420.43 o 19591 420.43 c 3563 421.29 o 19593 421.29 c 3561 421.71 o 19595 421.71 c 3559 422.60 o 19596 422.60 c 3558 423.04 o 19597 423.04 c 3557 423.36 o 19599 423.36 c 3555 423.73 o 19601 423.73 c 3553 424.17 o 19602 424.17 c 3552 424.61 o 19606 424.61 c 3548 425.48 o 19607 425.48 c 3547 425.91 o 19608 425.91 c 3546 426.36 o 19609 426.36 c 3545 426.80 o 19610 426.80 c 3544 427.24 o 19614 427.24 c 3540 427.70 o 19616 427.70 c 3538 428.60 o 19618 428.60 c 3536 429.05 o 19620 429.05 c 3534 429.49 o 19624 429.49 c 3530 429.94 o 19626 429.94 c 3528 432.28 o 19629 432.28 c 3525 432.76 o 19630 432.76 c 3524 433.68 o 19632 433.68 c 3522 434.13 o 19633 434.13 c 3521 434.60 o 19634 434.60 c 3520 435.06 o 19635 435.06 c 3519 435.53 o 19638 435.53 c 3516 437.41 o 19639 437.41 c 3515 437.86 o 19640 437.86 c 3514 438.35 o 19641 438.35 c 3513 438.81 o 19643 438.81 c 3511 439.30 o 19645 439.30 c 3509 440.26 o 19646 440.26 c 3508 440.65 o 19650 440.65 c 3504 441.57 o 19653 441.57 c 3501 442.03 o 19655 442.03 c 3499 442.49 o 19656 442.49 c 3498 442.96 o 19658 442.96 c 3496 443.44 o 19661 443.44 c 3493 443.92 o 19664 443.92 c 3490 444.38 o 19666 444.38 c 3488 444.73 o 19669 444.73 c 3485 445.20 o 19672 445.20 c 3482 445.67 o 19674 445.67 c 3480 446.14 o 19676 446.14 c 3478 447.57 o 19677 447.57 c 3477 448.53 o 19682 448.53 c 3472 448.75 o 19685 448.75 c 3469 449.24 o 19688 449.24 c 3466 449.70 o 19689 449.70 c 3465 450.16 o 19692 450.16 c 3462 450.64 o 19693 450.64 c 3461 451.13 o 19694 451.13 c 3460 451.61 o 19697 451.61 c 3457 452.10 o 19700 452.10 c 3454 453.06 o 19701 453.07 c 3453 453.54 o 19702 453.54 c 3452 453.85 o 19704 453.86 c 3450 457.21 o 19705 457.21 c 3449 458.63 o 19709 458.63 c 3445 459.11 o 19710 459.11 c 3444 459.57 o 19711 459.57 c 3443 460.07 o 19712 460.07 c 3442 460.56 o 19714 460.56 c 3440 461.47 o 19716 461.47 c 3438 461.93 o 19717 461.93 c 3437 464.36 o 19719 464.36 c 3435 464.85 o 19721 464.85 c 3433 465.35 o 19722 465.35 c 3432 465.85 o 19723 465.85 c 3431 468.32 o 19724 468.32 c 3430 468.81 o 19725 468.81 c 3429 469.29 o 19726 469.29 c 3428 469.79 o 19727 469.79 c 3427 470.27 o 19731 470.27 c 3423 470.67 o 19734 470.67 c 3420 481.85 o 19736 481.85 c 3418 483.69 o 19737 483.69 c 3417 484.03 o 19740 484.03 c 3414 485.46 o 19743 485.46 c 3411 485.93 o 19744 485.93 c 3410 487.35 o 19745 487.35 c 3409 487.84 o 19746 487.84 c 3408 488.32 o 19747 488.32 c 3407 489.80 o 19751 489.80 c 3403 490.29 o 19752 490.29 c 3402 490.76 o 19754 490.76 c 3400 491.26 o 19755 491.26 c 3399 491.74 o 19756 491.74 c 3398 492.21 o 19757 492.21 c 3397 492.70 o 19759 492.70 c 3395 493.17 o 19760 493.18 c 3394 493.66 o 19761 493.66 c 3393 497.08 o 19763 497.08 c 3391 498.96 o 19764 498.96 c 3390 499.92 o 19765 499.92 c 3389 500.41 o 19766 500.41 c 3388 500.89 o 19768 500.89 c 3386 501.36 o 19769 501.36 c 3385 501.84 o 19770 501.84 c 3384 502.78 o 19771 502.78 c 3383 503.27 o 19772 503.27 c 3382 503.61 o 19774 503.61 c 3380 504.07 o 19775 504.07 c 3379 504.53 o 19778 504.53 c 3376 506.86 o 19779 506.86 c 3375 507.35 o 19781 507.35 c 3373 510.00 o 19782 510.00 c 3372 510.97 o 19784 510.97 c 3370 511.94 o 19785 511.94 c 3369 512.45 o 19786 512.45 c 3368 513.38 o 19789 513.38 c 3365 514.34 o 19791 514.34 c 3363 514.80 o 19794 514.80 c 3360 515.28 o 19795 515.28 c 3359 515.74 o 19796 515.74 c 3358 517.16 o 19798 517.16 c 3356 517.64 o 19800 517.64 c 3354 519.05 o 19804 519.05 c 3350 519.54 o 19807 519.54 c 3347 520.04 o 19810 520.04 c 3344 520.52 o 19811 520.52 c 3343 521.45 o 19813 521.45 c 3341 521.92 o 19816 521.92 c 3338 522.88 o 19819 522.88 c 3335 525.73 o 19821 525.73 c 3333 526.22 o 19823 526.22 c 3331 527.17 o 19825 527.17 c 3329 527.64 o 19826 527.64 c 3328 528.11 o 19827 528.12 c 3327 528.61 o 19831 528.61 c 3323 529.09 o 19835 529.09 c 3319 531.17 o 19836 531.17 c 3318 531.67 o 19838 531.67 c 3316 532.19 o 19841 532.19 c 3313 532.71 o 19842 532.71 c 3312 533.24 o 19843 533.24 c 3311 533.76 o 19844 533.76 c 3310 534.28 o 19845 534.28 c 3309 535.83 o 19846 535.83 c 3308 536.36 o 19848 536.36 c 3306 536.89 o 19851 536.89 c 3303 538.30 o 19852 538.30 c 3302 538.80 o 19853 538.80 c 3301 539.29 o 19854 539.29 c 3300 539.83 o 19855 539.83 c 3299 540.33 o 19857 540.33 c 3297 540.84 o 19858 540.84 c 3296 544.46 o 19859 544.46 c 3295 544.96 o 19860 544.96 c 3294 547.00 o 19862 547.00 c 3292 547.51 o 19864 547.51 c 3290 548.02 o 19866 548.02 c 3288 548.54 o 19868 548.54 c 3286 549.06 o 19870 549.06 c 3284 550.06 o 19872 550.06 c 3282 550.57 o 19873 550.57 c 3281 556.94 o 19874 556.94 c 3280 557.46 o 19876 557.46 c 3278 557.93 o 19878 557.93 c 3276 558.44 o 19883 558.44 c 3271 558.96 o 19887 558.96 c 3267 559.49 o 19888 559.49 c 3266 560.02 o 19890 560.02 c 3264 560.37 o 19892 560.37 c 3262 561.46 o 19893 561.46 c 3261 561.98 o 19894 561.98 c 3260 562.49 o 19896 562.49 c 3258 563.54 o 19899 563.54 c 3255 564.08 o 19900 564.08 c 3254 564.62 o 19902 564.62 c 3252 565.16 o 19903 565.16 c 3251 565.70 o 19904 565.70 c 3250 569.58 o 19906 569.58 c 3248 570.68 o 19910 570.68 c 3244 571.21 o 19911 571.21 c 3243 572.28 o 19912 572.28 c 3242 572.82 o 19913 572.82 c 3241 574.44 o 19916 574.44 c 3238 577.71 o 19917 577.71 c 3237 578.27 o 19919 578.27 c 3235 578.83 o 19920 578.83 c 3234 579.93 o 19921 579.93 c 3233 580.47 o 19924 580.47 c 3230 583.02 o 19926 583.02 c 3228 585.16 o 19927 585.16 c 3227 585.67 o 19929 585.67 c 3225 586.78 o 19932 586.78 c 3222 587.32 o 19934 587.32 c 3220 587.85 o 19936 587.85 c 3218 588.65 o 19939 588.65 c 3215 590.23 o 19941 590.23 c 3213 591.79 o 19943 591.79 c 3211 592.84 o 19944 592.84 c 3210 593.88 o 19945 593.88 c 3209 594.92 o 19946 594.92 c 3208 596.46 o 19948 596.46 c 3206 596.97 o 19950 596.97 c 3204 598.00 o 19952 598.00 c 3202 599.98 o 19955 599.98 c 3199 601.46 o 19956 601.46 c 3198 601.94 o 19960 601.94 c 3194 603.89 o 19964 603.89 c 3190 604.38 o 19965 604.38 c 3189 605.33 o 19966 605.33 c 3188 605.83 o 19967 605.83 c 3187 606.30 o 19969 606.30 c 3185 607.29 o 19970 607.29 c 3184 607.76 o 19972 607.76 c 3182 608.24 o 19973 608.24 c 3181 608.72 o 19974 608.72 c 3180 609.70 o 19975 609.70 c 3179 610.17 o 19977 610.17 c 3177 611.11 o 19978 611.11 c 3176 611.59 o 19980 611.59 c 3174 612.07 o 19981 612.07 c 3173 613.49 o 19983 613.49 c 3171 613.93 o 19984 613.93 c 3170 614.88 o 19986 614.88 c 3168 615.34 o 19987 615.34 c 3167 615.82 o 19988 615.82 c 3166 616.78 o 19989 616.78 c 3165 617.11 o 19990 617.11 c 3164 617.58 o 19992 617.58 c 3162 618.06 o 19993 618.06 c 3161 619.45 o 19994 619.45 c 3160 619.89 o 19996 619.89 c 3158 620.36 o 19998 620.36 c 3156 620.84 o 19999 620.84 c 3155 622.24 o 20000 622.24 c 3154 622.49 o 20002 622.49 c 3152 625.79 o 20004 625.79 c 3150 627.24 o 20008 627.24 c 3146 629.14 o 20011 629.14 c 3143 630.12 o 20014 630.12 c 3140 631.08 o 20015 631.08 c 3139 631.56 o 20016 631.56 c 3138 632.05 o 20018 632.05 c 3136 632.54 o 20019 632.54 c 3135 633.36 o 20021 633.36 c 3133 633.84 o 20022 633.85 c 3132 634.33 o 20023 634.33 c 3131 635.27 o 20025 635.27 c 3129 639.96 o 20026 639.96 c 3128 640.43 o 20027 640.43 c 3127 641.40 o 20028 641.40 c 3126 642.36 o 20030 642.36 c 3124 645.01 o 20031 645.01 c 3123 645.49 o 20032 645.49 c 3122 646.44 o 20033 646.44 c 3121 652.34 o 20034 652.34 c 3120 652.81 o 20035 652.81 c 3119 653.85 o 20036 653.85 c 3118 654.86 o 20037 654.86 c 3117 655.89 o 20039 655.89 c 3115 656.92 o 20040 656.92 c 3114 657.44 o 20041 657.44 c 3113 658.36 o 20043 658.36 c 3111 658.89 o 20044 658.89 c 3110 659.39 o 20045 659.39 c 3109 659.90 o 20046 659.90 c 3108 661.75 o 20049 661.75 c 3105 662.25 o 20050 662.25 c 3104 662.76 o 20051 662.76 c 3103 663.29 o 20055 663.29 c 3099 663.83 o 20056 663.83 c 3098 664.26 o 20058 664.26 c 3096 667.45 o 20061 667.45 c 3093 667.98 o 20064 667.98 c 3090 669.11 o 20065 669.11 c 3089 669.66 o 20066 669.66 c 3088 670.23 o 20068 670.23 c 3086 673.62 o 20070 673.62 c 3084 674.17 o 20073 674.17 c 3081 675.30 o 20074 675.30 c 3080 676.45 o 20075 676.45 c 3079 677.04 o 20076 677.04 c 3078 678.17 o 20078 678.17 c 3076 680.34 o 20079 680.34 c 3075 680.90 o 20082 680.90 c 3072 681.46 o 20084 681.46 c 3070 682.01 o 20086 682.01 c 3068 687.32 o 20089 687.32 c 3065 688.48 o 20090 688.48 c 3064 689.06 o 20091 689.06 c 3063 689.66 o 20093 689.66 c 3061 690.24 o 20095 690.24 c 3059 690.81 o 20096 690.81 c 3058 693.70 o 20097 693.70 c 3057 694.28 o 20098 694.28 c 3056 694.87 o 20100 694.87 c 3054 695.44 o 20101 695.44 c 3053 696.03 o 20102 696.03 c 3052 697.14 o 20104 697.14 c 3050 697.73 o 20106 697.73 c 3048 698.30 o 20107 698.30 c 3047 699.47 o 20110 699.47 c 3044 700.03 o 20112 700.03 c 3042 708.95 o 20113 708.95 c 3041 710.08 o 20114 710.08 c 3040 710.58 o 20115 710.58 c 3039 715.60 o 20118 715.60 c 3036 716.16 o 20120 716.16 c 3034 716.59 o 20123 716.59 c 3031 720.03 o 20125 720.03 c 3029 720.60 o 20127 720.60 c 3027 721.17 o 20129 721.17 c 3025 722.89 o 20131 722.89 c 3023 723.35 o 20133 723.35 c 3021 725.11 o 20138 725.11 c 3016 747.56 o 20139 747.57 c 3015 749.89 o 20140 749.89 c 3014 754.49 o 20141 754.49 c 3013 755.10 o 20142 755.10 c 3012 758.12 o 20143 758.12 c 3011 759.36 o 20144 759.36 c 3010 764.32 o 20147 764.32 c 3007 766.86 o 20150 766.86 c 3004 769.31 o 20152 769.31 c 3002 769.95 o 20154 769.95 c 3000 770.57 o 20155 770.57 c 2999 771.21 o 20156 771.21 c 2998 771.86 o 20157 771.86 c 2997 773.17 o 20158 773.17 c 2996 795.59 o 20160 795.59 c 2994 798.43 o 20161 798.43 c 2993 799.05 o 20162 799.05 c 2992 799.69 o 20164 799.69 c 2990 800.33 o 20166 800.33 c 2988 802.85 o 20167 802.85 c 2987 804.10 o 20168 804.10 c 2986 804.74 o 20170 804.74 c 2984 805.38 o 20171 805.38 c 2983 808.54 o 20174 808.54 c 2980 809.77 o 20175 809.77 c 2979 811.68 o 20177 811.68 c 2977 812.96 o 20181 812.96 c 2973 814.84 o 20185 814.84 c 2969 816.76 o 20186 816.76 c 2968 817.41 o 20188 817.41 c 2966 818.72 o 20189 818.72 c 2965 820.00 o 20190 820.00 c 2964 820.65 o 20194 820.65 c 2960 821.31 o 20195 821.31 c 2959 821.94 o 20196 821.94 c 2958 822.55 o 20198 822.55 c 2956 825.12 o 20199 825.12 c 2955 826.41 o 20200 826.41 c 2954 827.04 o 20201 827.04 c 2953 827.68 o 20204 827.68 c 2950 828.34 o 20205 828.34 c 2949 830.28 o 20207 830.28 c 2947 832.25 o 20210 832.25 c 2944 835.51 o 20213 835.51 c 2941 836.17 o 20214 836.17 c 2940 837.48 o 20218 837.48 c 2936 838.80 o 20222 838.80 c 2932 841.45 o 20224 841.45 c 2930 842.12 o 20228 842.12 c 2926 842.75 o 20229 842.75 c 2925 843.18 o 20230 843.18 c 2924 852.31 o 20231 852.31 c 2923 855.62 o 20232 855.62 c 2922 856.27 o 20233 856.27 c 2921 856.92 o 20234 856.92 c 2920 857.29 o 20238 857.29 c 2916 857.95 o 20240 857.95 c 2914 858.32 o 20241 858.32 c 2913 859.50 o 20243 859.50 c 2911 860.16 o 20247 860.16 c 2907 861.45 o 20249 861.45 c 2905 862.10 o 20250 862.10 c 2904 864.09 o 20251 864.09 c 2903 866.03 o 20253 866.03 c 2901 868.05 o 20254 868.05 c 2900 870.47 o 20257 870.47 c 2897 871.80 o 20258 871.80 c 2896 872.46 o 20260 872.46 c 2894 873.75 o 20262 873.75 c 2892 874.36 o 20265 874.36 c 2889 874.60 o 20266 874.60 c 2888 875.25 o 20267 875.25 c 2887 875.89 o 20270 875.89 c 2884 877.86 o 20271 877.86 c 2883 878.53 o 20272 878.53 c 2882 879.83 o 20275 879.83 c 2879 880.47 o 20276 880.47 c 2878 881.76 o 20277 881.76 c 2877 882.41 o 20278 882.41 c 2876 883.04 o 20279 883.04 c 2875 883.67 o 20280 883.67 c 2874 884.33 o 20282 884.33 c 2872 886.28 o 20284 886.28 c 2870 886.93 o 20286 886.93 c 2868 888.19 o 20288 888.19 c 2866 888.83 o 20293 888.83 c 2861 898.76 o 20295 898.76 c 2859 899.42 o 20297 899.42 c 2857 899.92 o 20298 899.92 c 2856 900.55 o 20299 900.55 c 2855 903.79 o 20301 903.79 c 2853 904.43 o 20304 904.43 c 2850 905.06 o 20305 905.06 c 2849 905.72 o 20307 905.72 c 2847 907.03 o 20309 907.03 c 2845 907.67 o 20310 907.67 c 2844 908.33 o 20312 908.33 c 2842 914.95 o 20313 914.95 c 2841 916.30 o 20316 916.30 c 2838 916.98 o 20317 916.98 c 2837 918.92 o 20318 918.92 c 2836 919.60 o 20319 919.60 c 2835 921.63 o 20320 921.63 c 2834 922.31 o 20322 922.31 c 2832 922.99 o 20323 922.99 c 2831 924.35 o 20324 924.35 c 2830 925.03 o 20325 925.03 c 2829 925.59 o 20327 925.59 c 2827 926.27 o 20329 926.27 c 2825 926.98 o 20331 926.98 c 2823 934.59 o 20332 934.59 c 2822 936.63 o 20334 936.63 c 2820 938.26 o 20335 938.26 c 2819 938.92 o 20336 938.92 c 2818 939.60 o 20337 939.60 c 2817 940.27 o 20338 940.27 c 2816 943.58 o 20340 943.58 c 2814 944.25 o 20341 944.25 c 2813 955.62 o 20343 955.62 c 2811 956.32 o 20346 956.32 c 2808 958.30 o 20347 958.30 c 2807 959.35 o 20350 959.35 c 2804 960.54 o 20351 960.54 c 2803 961.24 o 20352 961.24 c 2802 961.90 o 20353 961.90 c 2801 963.25 o 20354 963.25 c 2800 963.92 o 20356 963.92 c 2798 976.23 o 20357 976.23 c 2797 978.39 o 20359 978.39 c 2795 984.77 o 20360 984.77 c 2794 985.47 o 20363 985.47 c 2791 989.73 o 20365 989.73 c 2789 990.47 o 20367 990.47 c 2787 992.71 o 20368 992.71 c 2786 994.20 o 20370 994.20 c 2784 995.71 o 20371 995.71 c 2783 997.98 o 20372 997.98 c 2782 1015.71 o 20373 1015.71 c 2781 1019.56 o 20374 1019.56 c 2780 1024.80 o 20376 1024.80 c 2778 1025.55 o 20377 1025.55 c 2777 1026.30 o 20380 1026.30 c 2774 1027.06 o 20382 1027.06 c 2772 1028.50 o 20384 1028.50 c 2770 1029.27 o 20385 1029.27 c 2769 1030.78 o 20386 1030.78 c 2768 1031.55 o 20387 1031.55 c 2767 1033.08 o 20389 1033.08 c 2765 1033.84 o 20390 1033.84 c 2764 1035.40 o 20391 1035.40 c 2763 1037.75 o 20393 1037.75 c 2761 1039.32 o 20394 1039.32 c 2760 1040.12 o 20396 1040.12 c 2758 1041.72 o 20398 1041.72 c 2756 1042.24 o 20400 1042.24 c 2754 1043.05 o 20402 1043.05 c 2752 1044.65 o 20404 1044.65 c 2750 1045.21 o 20408 1045.21 c 2746 1047.57 o 20410 1047.57 c 2744 1056.07 o 20411 1056.07 c 2743 1061.39 o 20413 1061.39 c 2741 1062.09 o 20415 1062.09 c 2739 1062.89 o 20416 1062.89 c 2738 1063.66 o 20417 1063.66 c 2737 1065.25 o 20418 1065.25 c 2736 1069.79 o 20419 1069.79 c 2735 1071.36 o 20422 1071.36 c 2732 1072.71 o 20423 1072.71 c 2731 1080.66 o 20424 1080.66 c 2730 1081.46 o 20425 1081.46 c 2729 1082.23 o 20427 1082.23 c 2727 1083.02 o 20428 1083.02 c 2726 1083.81 o 20429 1083.81 c 2725 1087.73 o 20431 1087.73 c 2723 1088.47 o 20432 1088.47 c 2722 1089.26 o 20433 1089.26 c 2721 1090.05 o 20434 1090.05 c 2720 1090.82 o 20435 1090.82 c 2719 1099.96 o 20436 1099.96 c 2718 1101.54 o 20437 1101.54 c 2717 1103.84 o 20438 1103.84 c 2716 1115.64 o 20439 1115.64 c 2715 1116.42 o 20441 1116.42 c 2713 1118.54 o 20442 1118.54 c 2712 1119.20 o 20443 1119.20 c 2711 1120.79 o 20444 1120.79 c 2710 1121.59 o 20445 1121.59 c 2709 1122.37 o 20447 1122.37 c 2707 1123.17 o 20449 1123.17 c 2705 1123.95 o 20450 1123.95 c 2704 1124.54 o 20452 1124.54 c 2702 1125.22 o 20453 1125.22 c 2701 1127.50 o 20454 1127.50 c 2700 1128.25 o 20455 1128.25 c 2699 1129.02 o 20456 1129.02 c 2698 1145.06 o 20457 1145.06 c 2697 1149.73 o 20458 1149.73 c 2696 1150.53 o 20459 1150.53 c 2695 1153.61 o 20460 1153.61 c 2694 1155.17 o 20464 1155.17 c 2690 1155.96 o 20465 1155.96 c 2689 1159.94 o 20467 1159.94 c 2687 1160.52 o 20472 1160.52 c 2682 1161.31 o 20474 1161.31 c 2680 1176.52 o 20475 1176.52 c 2679 1190.61 o 20477 1190.61 c 2677 1191.42 o 20478 1191.42 c 2676 1193.04 o 20481 1193.04 c 2673 1194.65 o 20483 1194.65 c 2671 1200.27 o 20484 1200.27 c 2670 1224.35 o 20485 1224.35 c 2669 1232.70 o 20486 1232.70 c 2668 1233.53 o 20487 1233.53 c 2667 1234.41 o 20489 1234.41 c 2665 1236.00 o 20490 1236.00 c 2664 1236.79 o 20492 1236.79 c 2662 1242.28 o 20497 1242.28 c 2657 1243.12 o 20499 1243.13 c 2655 1244.67 o 20501 1244.67 c 2653 1246.35 o 20503 1246.35 c 2651 1250.42 o 20504 1250.42 c 2650 1268.42 o 20505 1268.42 c 2649 1270.91 o 20507 1270.91 c 2647 1272.61 o 20508 1272.61 c 2646 1275.82 o 20509 1275.82 c 2645 1277.62 o 20510 1277.62 c 2644 1278.50 o 20511 1278.50 c 2643 1285.52 o 20512 1285.52 c 2642 1286.39 o 20513 1286.39 c 2641 1289.48 o 20515 1289.48 c 2639 1292.10 o 20516 1292.10 c 2638 1292.98 o 20517 1292.98 c 2637 1294.74 o 20518 1294.74 c 2636 1300.59 o 20521 1300.59 c 2633 1302.34 o 20522 1302.34 c 2632 1305.02 o 20524 1305.02 c 2630 1305.95 o 20525 1305.95 c 2629 1306.84 o 20526 1306.84 c 2628 1309.57 o 20527 1309.57 c 2627 1310.45 o 20529 1310.45 c 2625 1316.93 o 20531 1316.93 c 2623 1317.84 o 20532 1317.84 c 2622 1320.63 o 20533 1320.63 c 2621 1321.44 o 20534 1321.44 c 2620 1325.82 o 20537 1325.82 c 2617 1328.51 o 20538 1328.51 c 2616 1329.42 o 20539 1329.42 c 2615 1331.27 o 20541 1331.27 c 2613 1332.19 o 20543 1332.19 c 2611 1334.01 o 20545 1334.01 c 2609 1334.74 o 20548 1334.74 c 2606 1335.69 o 20551 1335.69 c 2603 1336.51 o 20552 1336.51 c 2602 1356.61 o 20553 1356.61 c 2601 1357.58 o 20554 1357.58 c 2600 1365.21 o 20555 1365.21 c 2599 1366.15 o 20558 1366.15 c 2596 1380.29 o 20560 1380.29 c 2594 1381.25 o 20561 1381.25 c 2593 1393.12 o 20562 1393.13 c 2592 1394.08 o 20563 1394.09 c 2591 1396.61 o 20564 1396.61 c 2590 1397.43 o 20565 1397.43 c 2589 1398.26 o 20566 1398.26 c 2588 1399.17 o 20571 1399.17 c 2583 1402.91 o 20574 1402.91 c 2580 1413.83 o 20576 1413.83 c 2578 1415.69 o 20578 1415.69 c 2576 1417.50 o 20579 1417.50 c 2575 1420.26 o 20580 1420.26 c 2574 1421.18 o 20582 1421.18 c 2572 1422.09 o 20583 1422.09 c 2571 1424.81 o 20585 1424.86 c 2569 1432.16 o 20586 1432.16 c 2568 1444.41 o 20587 1444.41 c 2567 1445.33 o 20588 1445.33 c 2566 1446.01 o 20589 1446.01 c 2565 1447.89 o 20590 1447.89 c 2564 1457.19 o 20591 1457.19 c 2563 1462.97 o 20592 1462.97 c 2562 1471.46 o 20593 1471.46 c 2561 1472.41 o 20594 1472.41 c 2560 1473.11 o 20596 1473.11 c 2558 1475.00 o 20597 1475.00 c 2557 1476.89 o 20599 1476.89 c 2555 1477.80 o 20603 1477.80 c 2551 1484.49 o 20604 1484.49 c 2550 1485.45 o 20607 1485.45 c 2547 1490.28 o 20608 1490.28 c 2546 1491.25 o 20610 1491.25 c 2544 1492.24 o 20611 1492.24 c 2543 1492.61 o 20614 1492.61 c 2540 1493.44 o 20615 1493.44 c 2539 1494.41 o 20616 1494.41 c 2538 1496.37 o 20617 1496.37 c 2537 1499.32 o 20618 1499.32 c 2536 1500.33 o 20619 1500.33 c 2535 1501.17 o 20622 1501.17 c 2532 1503.14 o 20624 1503.14 c 2530 1505.07 o 20625 1505.07 c 2529 1506.03 o 20626 1506.03 c 2528 1523.22 o 20627 1523.22 c 2527 1524.14 o 20629 1524.14 c 2525 1526.05 o 20632 1526.05 c 2522 1527.03 o 20633 1527.03 c 2521 1528.04 o 20634 1528.04 c 2520 1529.99 o 20635 1529.99 c 2519 1532.35 o 20636 1532.35 c 2518 1535.99 o 20638 1535.99 c 2516 1538.94 o 20639 1538.94 c 2515 1543.48 o 20642 1543.48 c 2512 1545.40 o 20643 1545.40 c 2511 1546.36 o 20645 1546.36 c 2509 1549.29 o 20646 1549.29 c 2508 1553.67 o 20647 1553.67 c 2507 1554.66 o 20648 1554.66 c 2506 1555.62 o 20650 1555.62 c 2504 1557.10 o 20651 1557.10 c 2503 1573.01 o 20653 1573.01 c 2501 1577.84 o 20654 1577.84 c 2500 1581.71 o 20655 1581.71 c 2499 1590.35 o 20657 1590.35 c 2497 1595.00 o 20661 1595.00 c 2493 1595.95 o 20662 1595.95 c 2492 1596.92 o 20663 1596.92 c 2491 1600.67 o 20664 1600.67 c 2490 1601.62 o 20665 1601.62 c 2489 1602.47 o 20667 1602.47 c 2487 1603.20 o 20669 1603.20 c 2485 1612.62 o 20670 1612.62 c 2484 1616.38 o 20671 1616.38 c 2483 1622.61 o 20672 1622.61 c 2482 1623.58 o 20676 1623.58 c 2478 1625.22 o 20677 1625.22 c 2477 1629.00 o 20679 1629.00 c 2475 1629.96 o 20680 1629.96 c 2474 1639.95 o 20681 1639.95 c 2473 1652.48 o 20682 1652.48 c 2472 1653.39 o 20684 1653.39 c 2470 1655.33 o 20686 1655.33 c 2468 1656.91 o 20687 1656.91 c 2467 1657.87 o 20689 1657.87 c 2465 1688.87 1688.87 search 1688.87 run=0 nbConstraintChecks=3341942794 nbAssignments=3614 1688.87 => wckTime=1626.13 cpuTime=1610.92 mem=79M2 1688.87 1688.87 global 1688.87 nbConstraintChecks=3341942794 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1688.87 solvingWckTime=1626.095 solvingCpuTime=1610.89 expiredTime=no totalExploration=no nbFoundSolutions=0 1688.87 globalCpuTime=1671.93 1688.87 => wckTime=1688.56 cpuTime=1671.88 mem=79M2 1688.87 1688.87 solver IterativeSystematicSolver being built... 1689.83 => wckTime=1689.518 cpuTime=1672.42 mem=229M333 2028.12 2028.12 preprocessing 2028.12 nbConstraintChecks=728407992 nbValidityChecks=1594436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 2028.12 nbRemovedValues=0 detectedInconsistency=no 2028.12 => wckTime=338.284 cpuTime=335.31 mem=229M333 2422.25 v -3644 3516 -3992 3188 3688 -3624 -3828 -3252 3168 3764 3052 -3784 3936 -3852 -3096 -3044 -3792 -4000 -3488 3064 3968 -3904 -3128 -3992 3912 -3868 3664 3648 3780 3192 -3044 3240 3404 3952 3960 -3956 -3100 3768 3944 3036 -3892 3000 -3328 3992 3044 3944 3044 3148 -3784 3604 -3004 -3756 -3724 -3000 -3380 -3888 -3948 3296 -3520 3984 -3096 -3148 3304 -3964 -3012 3636 3992 -3108 -3548 -3040 -3584 3036 -3072 -3952 -3944 -3632 -3584 3984 3636 -3700 3968 -3984 3952 3008 -3324 -3036 -3008 -3284 3124 -3000 -3832 3188 3904 -3980 -3952 3812 3784 3856 -3640 -3952 3068 -3784 3876 -3040 3144 3056 -3884 -3908 -3012 3272 3420 -3084 -3068 -3040 3956 3048 3000 -3224 -3172 3240 3984 -3172 -3976 3064 -3896 -3136 3980 -3484 -3712 3932 -3856 3092 3012 3944 -3652 3192 3284 -3824 3624 -3828 3000 3992 -3976 3396 3000 3916 3524 3496 -3928 -3940 -3824 -3960 3248 3052 -3948 -3000 3220 3944 -3040 -3256 3948 3876 3460 -3940 -3352 3472 -3516 3620 -3880 3784 -3000 -3048 3064 -3108 -3124 -3912 -3076 3632 -3148 -3248 3096 3220 -3000 -3912 -3520 -3052 4000 -3960 -3948 -3016 3040 3108 -3956 3936 3776 -3060 3168 -3184 3392 3940 3820 -3180 -3864 -3080 3908 -3824 3000 3480 3432 -3048 -3024 -3908 -3848 3048 -3832 3996 -3876 -3304 -3932 -3936 3968 3532 -3744 -3812 3864 3000 -3152 -3452 -3816 3228 -3048 3004 3076 3692 -3260 -3028 -3712 -3944 3024 3440 3140 -3924 -3020 3492 3960 3992 -3000 -3292 -3000 -3848 -3616 3068 -3960 3792 3580 3068 -3096 3948 3524 3988 3876 3960 -3060 3208 3456 3308 3664 3992 -3188 3152 -3964 4000 3320 -3948 3224 3388 3996 3236 -3912 -3928 -3876 3060 3072 -3344 -3656 -3156 -3836 3976 3176 3996 3052 -3956 -3056 -3936 -3832 -3020 3744 3996 3600 3984 3208 3836 3512 -3180 3144 3056 3964 -3312 3720 3064 -3672 -3092 3232 -3164 3000 -4000 3960 3004 3860 -3048 -3432 3000 -3844 -3876 3668 3004 -3036 3188 3968 3864 3944 -3856 -3248 -3932 -3872 -3828 3260 -3008 -3180 3712 -3196 3144 -3564 3988 -3268 3008 3988 3040 -3928 3948 -3952 -3764 3076 -3052 3000 3588 3572 -3572 3760 3992 3812 -3956 -3572 3040 3012 -3744 -3704 -3732 -3928 -3092 -3352 -3948 -3404 -3872 -3120 -3664 -3304 3132 3040 -3072 -3132 3012 -3044 -3940 3312 3152 3960 3952 3124 -3916 3644 -3844 -3856 -3992 3848 -3324 -3904 3640 -3152 3040 3096 3164 3932 3112 -3104 -3000 3600 3572 3500 -3016 3040 -3704 3752 3924 3008 3052 3008 3440 3104 -3008 -3348 3008 3648 3668 3844 -3796 -3808 -3784 -3288 -3048 -3348 3764 -3664 -3332 3140 -3864 -3064 -3952 3020 3036 3448 -3924 -3944 -3172 -3164 3000 -3692 3256 3044 3028 3988 3252 -3924 -3520 -3276 3168 3056 -3992 -3408 -3168 3520 -3996 -3576 3140 -3048 3032 3944 3692 3728 3428 -3660 -3608 -3300 -3980 3752 3240 -3956 3928 -3012 -3260 3044 3112 -3580 3136 -3016 3020 -3884 -3784 3024 3032 -3004 3320 3148 -3996 3156 -3704 -3624 -3112 -3964 -3196 -3992 3956 -3956 3668 -3512 3520 3704 -3328 3960 -3076 3172 3948 -3036 -3996 3004 3976 -3012 -3004 -3840 3736 -3632 -3076 -3288 -3596 3000 3724 -3136 3104 -3976 3552 -3036 3224 3216 3168 -3620 -3960 -3292 3784 -3668 3016 3824 3972 -3032 3480 3868 -3648 3032 3868 3836 3004 -3960 -3896 -3976 3852 -3144 -3964 3964 3016 3496 -3048 -3040 -3040 3192 -3980 -3980 3044 3932 3828 -3864 3800 3000 3152 -3244 3480 3084 -3216 -3704 -3044 -3664 3852 -3892 3020 -3484 3996 -3056 3072 -3764 3012 3216 -4000 3900 -3956 3020 3996 -4000 -3936 -3120 3672 -3000 -3456 3800 3948 3628 3228 -3988 3632 3440 -3788 3024 3048 3900 3980 -3968 3896 3216 3936 -3380 3092 3032 -3888 -3860 -3856 -3972 -3052 -3792 -3076 3956 -3076 3004 -3052 -3888 3652 -3040 3656 3116 3064 3544 3000 3944 -3188 -3488 3796 -3096 3216 3768 3016 3396 -3980 -3892 3080 -3104 -3708 -3992 3976 -3264 3772 3040 4000 -3012 3044 -3064 -3432 -3072 3984 -3188 -3632 3012 4000 3400 3676 -3000 -3032 3020 -3132 3032 3072 3952 3892 3896 3836 3996 3276 3024 -3700 3940 -3544 -3820 3576 3264 3408 3948 3972 3884 3952 -3928 -3140 3396 -3984 3292 3776 -3984 3900 3628 -3908 3584 -3188 -3052 3244 3140 3964 3128 3040 3908 3484 -3992 3120 -3092 3576 3000 -3004 3036 3960 3968 3824 3932 3636 -3660 3952 3232 3040 -3284 3912 3028 3640 3952 -3752 -3064 3604 -3336 -3168 3984 3488 -3616 3648 3604 3044 3600 -3344 3880 3744 -4000 3992 -3980 -3132 3176 -3972 -3816 -3712 -3776 3020 3084 3364 -3300 -3168 3572 3088 -3084 3592 -3004 3800 3992 -3736 -3908 3956 3896 3112 -3988 3616 -3324 3044 -3080 3088 3972 -3792 3068 -3132 3876 3892 3312 -3040 -3944 -3796 3152 -3212 3748 -3856 -3048 -3000 3004 -3472 3960 -3388 -3064 -3924 -3060 3936 3348 -3592 -3276 3964 3548 -3128 -3816 3276 3940 -3116 -3952 -3248 3532 3024 3740 3328 -3152 -3196 -3308 3988 3176 3724 -3104 3932 3992 -3884 -3948 -3960 -3988 -3624 -3188 -3788 -3040 4000 -3432 -3912 -3012 -3576 -3580 -3056 3924 3568 3068 -3708 3984 3828 3988 -3656 3004 3296 3340 -3036 -3000 -3920 -3876 3056 -3272 3156 3044 -3416 -3000 -3924 -3112 -3852 3956 3704 4000 -3000 -3008 -3088 -3944 3012 -3480 -3064 3880 -3992 -3416 3056 3060 -3812 -3304 -3032 -3948 -3252 3868 -3616 -3280 3896 3956 3196 -3704 3912 -3900 3000 -3008 3940 3548 3964 3796 -3612 3924 3936 3864 -3812 -3592 -3968 3996 -3304 -3452 -3748 -3816 -3240 3940 -3820 -3052 -3988 3932 3936 3416 3012 3192 -3696 3072 3892 -3964 -3928 -3896 -3044 -3052 3520 -3000 3076 -3888 -3872 3292 -3840 -3288 -3856 -3564 3824 3760 -3920 3708 3004 -3656 3940 -3016 -3896 -3992 -3176 3040 3168 3052 -3896 -3952 -3980 4000 -3588 -3940 -3716 3064 -3856 -3164 3264 -3056 3852 3928 3152 3004 -3036 -3080 3284 -3664 3668 -4000 3100 -3044 3928 3368 3884 3760 3136 -3984 -3776 -3192 -3008 3752 3924 -3832 -3124 3904 -3984 -3396 -3524 3564 -3592 -3132 -3232 -3172 -3084 -3808 3984 3908 -3212 3960 -3564 -3956 -3004 3520 -3200 3724 -3052 3008 -3988 -3032 3924 3212 3996 -3936 -3156 3812 3936 -3988 3672 -4000 3060 3384 -3604 3024 3992 3116 3088 3792 3984 3384 3412 -3244 3676 3012 3000 -3944 -3992 -3396 -3048 3068 -3112 -3072 3844 3060 -3040 3812 3200 3088 3304 3980 -3000 3044 3984 -3804 3560 3836 3996 3240 3668 -3584 3412 -3956 3404 3556 -3112 3152 3032 -3992 -3828 -3044 3916 -3008 3632 -3528 3100 3960 -3964 -3616 -3244 3740 -3040 3060 -3988 -3080 -3016 -3008 -3144 3000 -3932 3288 -3148 3992 3740 3072 3964 -3236 -3900 -3920 3248 -3292 -3984 3052 -3980 3000 3144 -3948 3064 -3328 -3760 3664 3016 -3596 3804 3828 3004 3956 3860 3008 3032 -3884 3912 3872 3448 3892 -3944 -3996 3012 -3912 -3556 -3748 3952 -3956 3952 3480 3140 -4000 3568 3008 -3884 -3124 -3476 -3844 3116 3844 -3940 3052 -3956 3936 3944 -3372 3872 -3956 -3952 -3112 -3952 3996 -3268 -3148 3984 3992 3988 3396 -3852 3044 3644 3912 -3040 -3700 -3744 -3928 3180 3892 3712 -3616 -3980 3076 3572 -3876 4000 3044 3004 3980 3860 -3052 -3936 3660 -3588 -3896 3972 3600 3556 3056 -3804 -3316 3784 3056 3012 3180 3816 3008 3040 3192 3660 -3164 3904 3176 3048 -3084 -4000 -3672 3156 -3988 3716 -3192 -3204 3836 -3780 -3012 -3940 -3072 3300 3944 3720 3256 3044 3988 -3068 3952 -3024 3932 -3952 3964 -3040 -3804 3544 -3468 3040 -3252 3692 3288 3008 3956 3300 3496 -3944 3992 3048 -3048 3860 -3904 4000 -3532 -3984 -3048 3712 3268 3064 -4000 -3012 3924 -3688 -3176 -3932 -3292 3932 3864 3272 -3612 3208 3096 3072 -3076 -3944 3956 3012 3612 -3412 -3852 3252 -3000 -3988 -3436 -3744 3272 3204 3108 3732 -3340 3000 3708 3964 3252 -3044 -4000 -3828 -3848 -3428 3052 -3172 3332 3592 3152 3004 3008 -3080 -3976 3000 -3584 3080 -3864 -3052 3460 3912 -3944 3560 3012 3936 3004 3928 3152 -3128 3844 3292 -3524 -3528 -3096 3948 -3380 3576 3996 -3060 3184 -3960 3972 3768 -3740 3048 3816 -3404 -3764 3360 3116 -3048 -3084 3244 -3152 -3708 -3972 3028 3552 3992 3516 -3308 3492 -3036 -3144 3956 3168 -3756 3168 -3960 3244 -3788 3048 -3728 -3856 3024 3052 3448 3776 -3204 3064 -3992 3924 3784 -3928 -3256 -3072 -3948 -3952 -3176 3208 -3656 -3044 3816 -3080 -3964 -3000 3996 3404 3952 -3844 -3860 3200 -3064 -3280 -3136 3780 3024 3948 -3064 -3268 3900 3356 -3916 3056 -3264 -3164 -3052 3440 -3064 3000 3612 -3944 -3976 -3780 -3004 -3924 -3116 -3948 -3980 3812 -3040 -3248 -3180 -3592 -3340 3768 -3784 -3368 3924 -3008 3664 3512 3040 -3008 -3056 -3528 3544 3784 3392 -3244 -3308 3344 -3904 -3124 -3736 3812 3056 3628 -3056 3484 3964 -3940 -3996 3444 -3044 3640 3068 -3208 -3952 -3028 3436 -3116 3304 3776 3264 3904 -3936 3296 3508 3380 -3596 3896 3036 3952 -3868 3044 3256 -3040 -3332 -3252 3000 -3048 -3888 -3944 -3044 -3704 -3720 3740 3176 -3916 3128 3948 3784 -3296 -3112 3864 4000 -3200 -3368 -3996 3044 -3020 -3384 -3068 3968 3416 -3288 -3388 -3952 -3424 3976 3872 -3796 -3004 3088 3000 3072 -3044 3840 3988 3804 -3952 -3340 -3944 3976 3196 -3020 3108 3928 3088 -3232 -3608 3060 3708 -3420 -3000 3000 3560 -3536 -3288 -3044 -3072 -3968 4000 3152 3540 -3956 3016 -3668 3076 3800 3704 -3220 -3788 3040 3848 -3836 -3996 3016 3200 -3916 3004 3928 -3048 3984 3680 -3980 3028 3060 -3048 -3940 -3012 -3952 -3604 -3232 -3148 -3308 3848 -3040 -3640 3052 3120 -3992 3068 3756 3716 -3136 -3176 3292 3860 -3704 3044 -3972 3040 3976 3104 3220 3708 -3980 -3988 3368 -3024 -3988 3932 3412 -3548 -3964 -4000 3152 3984 3004 3996 -3964 3508 -3004 3832 3116 3984 3564 -3904 -3988 -3456 -3836 -3520 -3604 -3140 -3996 3072 3292 -3052 -3052 3816 -3560 3900 -3000 -3732 3368 3884 -3688 -4000 3588 -3412 3868 -3908 -3396 4000 3876 3968 -3892 -4000 -3720 -3936 -3060 3960 -3580 -3796 -3144 3852 -3024 3744 -3940 3392 -3032 -3104 -3080 3976 3944 3624 -3984 -4000 3924 -3708 3332 -3852 -3080 -3748 -3036 3916 -3000 3040 -3908 3000 -3992 3020 3796 -3804 3028 3052 3500 -3964 3020 -3988 3824 3048 3008 -3928 -3752 3036 -3460 -3932 -3068 3108 -3684 -3096 -3300 -3044 3740 3680 -3180 -3976 3076 -3284 -3020 3944 -3964 3004 -3992 3724 3156 3136 -3836 -3996 -3332 -3116 3956 -3056 -3032 3820 3912 3988 3992 3356 -3972 3476 -3020 3444 3052 3304 3528 -3928 3056 3948 3820 3960 -3060 -3280 -3064 3052 -3944 -3944 -3128 3336 -3480 -3788 -3004 3004 -3012 3048 -3184 -3112 -3100 -3020 -3056 3668 -3012 3144 3944 -3956 -3920 -3944 3032 3004 3696 3464 -3952 3952 3916 3924 4000 3940 -3924 -3948 3052 -3952 3092 -3912 3876 3824 -3076 3004 -3988 -3996 -3060 3344 3020 3068 3152 -3920 3944 -3976 3968 -3044 3540 -3000 3024 -3840 3240 3068 3664 3976 3940 3988 -3792 -3948 -3956 -3076 3588 -3936 -3844 3060 -3128 -3952 -3564 -3468 -3968 3584 -3616 -3752 3840 -3860 3044 3068 3020 -3920 -3020 -3164 -3924 3624 3060 -3344 -3016 3940 -4000 -4000 -3116 3008 3776 3340 3972 -3860 3364 3016 -3488 3952 3504 -3956 -3776 -3004 3332 3876 -3076 -3232 3800 3108 3852 -3948 -3020 -3772 -3636 3676 3272 3524 -3136 3020 3008 -3828 -3052 3000 -3148 3264 3860 3048 3068 -3988 -3060 3004 3052 -3108 3208 -3996 3892 -3956 -3800 -3800 -3060 3980 3888 3520 3028 -3128 3048 -3948 3108 3520 4000 -3988 -3012 -3776 3548 -3948 -3788 -3900 -3164 -3948 -3936 3976 3044 -3088 3344 -3312 3000 -3012 -3776 3668 3384 -3796 -4000 3116 3056 -3368 -3084 4000 3688 3356 -3972 -3976 -3920 -3944 -3740 3980 -3148 3044 3004 3248 -3656 3672 3904 -3940 -3160 3012 3064 -3900 3432 3200 3948 3868 -3380 -3212 -3948 3852 3932 3944 3072 -3044 3608 -3052 -3060 -3124 3960 3708 3960 3964 -3040 -3072 3072 -3208 3192 -3044 -3036 -3308 -3528 -3012 -3960 -3012 3028 -3640 -3044 -3944 3092 3308 -3780 -3804 3784 3184 -3060 -3748 4000 3176 -3812 3924 3140 3600 -3040 -3048 3964 -3124 3564 3564 3492 -3968 -3176 -3548 -3524 -3132 -3956 3348 -3596 3344 -3540 3008 3944 3960 3040 3068 -3808 -3824 -3740 3104 -3032 3584 3972 -3524 3848 3932 -3104 3116 -3928 -3020 -3388 3612 3960 -3076 -3108 -3924 -3684 3752 3404 3020 3932 -3796 -3252 3988 -3552 -3988 3616 3564 -3076 -3004 3192 3244 -3532 3148 -3924 3316 3028 -3928 3732 3400 -3572 3780 -3820 -3384 -3712 -3096 3588 -3020 -3028 3628 3268 3120 -3088 3004 -3284 -3364 -3184 -3192 3672 -3924 -3944 3052 -4000 -3908 -3960 3040 -3976 -3764 -3984 -3020 -3232 3008 3924 3040 -3916 3896 -3868 3444 -3148 -3928 4000 -3060 -3596 -3712 3060 3236 -3524 -3900 -3456 3840 -3204 -3744 -3024 3088 3972 3964 3292 -3940 3888 -3776 3860 -3764 -3604 -3004 3016 -3024 -3100 3004 3564 -3496 3112 -3208 3948 -3580 -3972 3940 -3252 -3932 -3048 -3960 -3064 -3420 4000 -3016 3892 -3624 3712 -3024 3576 3460 -3036 -3024 3828 3056 3996 4000 3216 3996 3888 -3108 -3304 3920 -3040 3016 -3900 -3000 -3064 -3048 3024 3040 -3608 3604 3100 3992 -3276 -3020 3540 3012 3668 -3652 -3500 -3180 -3008 3068 3064 -3040 3776 3040 -3096 3048 3124 -3756 -3984 -3044 -3076 -3944 3744 -3900 3072 -3920 -3508 -3904 3996 -3852 -3952 -3056 3800 -3456 3032 3756 -3008 3012 3008 3104 -3236 3728 3440 -3000 -3608 -3956 -3104 -4000 -3212 3080 3004 -3488 -3000 -3648 3944 3068 3112 -3924 -3656 4000 3324 -4000 3204 -3520 -3960 3756 3668 3824 3920 3984 -3708 -3084 -3392 3052 -3516 -3956 3256 3364 -3044 3340 -3372 -3036 3036 3244 -3508 -3004 -3816 -3376 -3932 3936 -3812 -3044 3760 3076 3712 -3708 3556 3680 3076 3936 3688 3688 3772 3516 -3156 -3196 4000 3092 -3188 -3232 3720 3040 -3068 -3996 -3760 -3796 3356 3096 -3800 -3092 3928 -3996 -3680 -3892 3284 3784 3948 3664 -3184 -3964 3224 3976 -3672 -3844 -3748 -3012 -3304 3908 3008 -3940 -3092 3888 -3348 -3760 3972 -3816 -3808 -3268 3988 -3008 -3984 3944 -3356 -3656 -3996 3000 -3948 3604 -3032 -3880 -3012 -3640 -3456 -3128 -3736 -3012 -3004 3816 3976 3024 -3428 3768 3864 -3024 -3960 -3032 -3808 3056 -3844 -3152 -3124 -3100 -3132 -3832 -3984 -3744 -3352 -3520 -3020 -3252 -3880 3148 -3664 3424 -3228 -3028 -3748 -3880 3956 3000 3748 -3688 -3904 3664 -3056 3728 -3100 4000 -3632 3948 3840 3884 3916 3968 -3904 -3104 3060 3960 -3008 3024 -3048 -3064 3384 3812 3228 -3976 3952 3220 3060 3496 -3304 -3048 -3044 -3948 -3908 -3160 3368 -3900 -3364 -3840 3588 -3248 -3088 3712 3008 3720 -3532 -3956 -3088 -3020 -3040 -3596 3080 3900 -3200 -3532 -3476 3272 -3756 -3868 -3236 -3752 -3628 3040 -3048 3672 3336 -3536 -3848 3708 -3864 -3156 -3680 3128 3364 -3048 -3988 -3420 3664 -3040 -3016 -3020 -3012 3304 3524 3188 3012 3288 -3900 -3944 3984 3128 3884 -3236 3992 -3948 3212 -3536 3304 3012 3056 3104 -3192 3960 -3860 -3968 3004 3988 -3540 3624 3940 -3476 3952 3672 -3952 3444 -3520 3044 3260 3824 3004 3780 3040 3268 -3996 3388 3172 -3840 3064 -3480 3356 -3992 3196 -3964 3680 3036 3956 -3356 -3976 3996 -3040 -3992 3960 3104 3552 3044 -3984 -3720 -3632 -3032 -3232 3040 -3040 -3240 -3924 -3996 -3820 -3020 3708 3988 -3900 3312 3984 3980 -3316 -3084 3140 -3016 -3560 -3044 3108 -3040 -3040 3268 3952 -3824 3956 3972 -3968 3956 -3132 -3020 3948 -3328 3768 3136 3208 -3048 3940 -3236 3480 -3000 -4000 -3960 -3088 -3160 3152 3096 3948 3936 -3244 3560 -3764 -3232 -3168 -3996 -3272 -3056 -3020 3612 -3936 -3044 3936 3976 3116 3072 -3036 3496 -3916 3004 -3892 3356 3436 -3168 -3752 -4000 3064 -3480 3880 3880 3940 -3888 -3480 -3032 -3000 -3212 -3956 3996 -3152 -3296 -3476 -3748 3616 3776 3304 3744 3008 3984 -3816 3136 -3972 3664 -3068 -3564 -3552 3052 -3736 3956 3256 3340 -3112 -3672 3780 -3060 -3040 3464 3176 -3444 3184 4000 3004 -3060 3724 3408 -3728 3996 -3024 3564 3860 -3580 3952 3060 -3948 -3708 3008 -3936 -3104 -3248 -3716 3268 3700 3920 -3100 -3388 3004 -3768 -3008 -3936 3964 -3168 -3012 3988 -3056 -3920 -3032 3960 3176 -3896 -3932 3564 -3992 3336 -3300 3652 3208 -3648 -3040 -3968 3700 -3700 -3228 3932 3356 -3020 -3208 -3004 3456 3980 -3940 -3960 3204 3020 -3952 -3852 3944 -3616 3988 3908 3696 3284 -3080 -3020 -3196 -3188 -3956 -3320 3192 -3788 -3784 3264 3084 -3752 4000 -3984 4000
2465 unsatisfied constraints, 20689 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-275610-1169223910 -o ROOT/results/node45/solver-275610-1169223910 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275610-1169223910/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.00 1.70 1.73 4/80 19188 /proc/meminfo: memFree=1106120/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=9948 CPUtime=0 /proc/19187/stat : 19187 (java) S 19185 19187 18561 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 270789984 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0 /proc/19187/statm: 2487 472 386 14 0 1142 0 [startup+0.104277 s] /proc/loadavg: 2.00 1.70 1.73 4/80 19188 /proc/meminfo: memFree=1106120/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=914988 CPUtime=0.09 /proc/19187/stat : 19187 (java) S 19185 19187 18561 0 -1 0 2998 0 1 0 7 2 0 0 17 0 8 0 270789984 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228747 2744 1427 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.512352 s] /proc/loadavg: 2.00 1.70 1.73 4/80 19188 /proc/meminfo: memFree=1106120/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915332 CPUtime=0.5 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 7782 0 1 0 44 6 0 0 18 0 8 0 270789984 937299968 7521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073579470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228833 7521 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.3335 s] /proc/loadavg: 2.00 1.70 1.73 3/87 19195 /proc/meminfo: memFree=1014224/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915604 CPUtime=1.31 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 28123 0 1 0 117 14 0 0 24 0 8 0 270789984 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228901 27860 2161 14 0 215371 0 [pid=19187/tid=19189] ppid=19185 vsize=915604 CPUtime=0.11 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 11569 0 0 0 8 3 0 0 16 0 8 0 270789988 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915604 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915604 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915604 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915604 CPUtime=0.15 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270789992 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915604 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915604 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937578496 27860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915604 [startup+2.97179 s] /proc/loadavg: 2.00 1.70 1.73 3/87 19195 /proc/meminfo: memFree=997392/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=2.93 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 29522 0 1 0 278 15 0 0 25 0 8 0 270789984 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 29256 2181 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.16 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 12891 0 0 0 12 4 0 0 17 0 8 0 270789988 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.17 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 417 0 0 0 17 0 0 0 16 0 8 0 270789992 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 29256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.26839 s] /proc/loadavg: 2.00 1.70 1.74 3/87 19195 /proc/meminfo: memFree=997200/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=6.2 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 29523 0 1 0 604 16 0 0 25 0 8 0 270789984 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 29257 2181 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.16 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 12891 0 0 0 12 4 0 0 16 0 8 0 270789988 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.18 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270789992 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 29257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 915744 [startup+12.7446 s] /proc/loadavg: 2.00 1.71 1.74 3/87 19195 /proc/meminfo: memFree=997264/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=12.61 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 29535 0 1 0 1245 16 0 0 25 0 8 0 270789984 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 29269 2182 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.16 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 12891 0 0 0 12 4 0 0 16 0 8 0 270789988 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.19 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 270789992 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 29269 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 915744 [startup+25.6049 s] /proc/loadavg: 2.00 1.72 1.74 4/87 19195 /proc/meminfo: memFree=979856/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=25.36 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 30402 0 1 0 2519 17 0 0 25 0 8 0 270789984 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 30134 2182 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.22 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 13755 0 0 0 18 4 0 0 16 0 8 0 270789988 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.2 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270789992 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 30134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 915744 [startup+51.2115 s] /proc/loadavg: 2.00 1.74 1.74 3/87 19195 /proc/meminfo: memFree=967248/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=50.73 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 30411 0 1 0 5052 21 0 0 25 0 8 0 270789984 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 30141 2182 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.22 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 13755 0 0 0 18 4 0 0 16 0 8 0 270789988 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.21 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 436 0 0 0 21 0 0 0 16 0 8 0 270789992 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 30141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 915744 [startup+102.44 s] /proc/loadavg: 2.00 1.78 1.75 3/87 19195 /proc/meminfo: memFree=940432/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=101.45 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 37447 0 1 0 10113 32 0 0 25 0 8 0 270789984 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228936 37129 2501 14 0 215406 0 [pid=19187/tid=19189] ppid=19185 vsize=915744 CPUtime=0.68 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 20398 0 0 0 61 7 0 0 16 0 8 0 270789988 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270789989 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915744 CPUtime=0.29 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 476 0 0 0 28 1 0 0 15 0 8 0 270789992 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915744 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937721856 37129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.45 Current children cumulated vsize (KiB) 915744 [startup+162.516 s] /proc/loadavg: 2.00 1.82 1.77 3/87 19195 /proc/meminfo: memFree=940432/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915744 CPUtime=160.94 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 37449 0 1 0 16056 38 0 0 25 0 8 0 270789984 937721856 37131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2006.43 Current children cumulated vsize (KiB) 915980 [startup+2085.18 s] /proc/loadavg: 2.02 2.04 1.95 3/87 19195 /proc/meminfo: memFree=664976/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2065.96 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71800 0 1 0 206510 86 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074307675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2065.96 Current children cumulated vsize (KiB) 915980 [startup+2145.28 s] /proc/loadavg: 2.01 2.03 1.95 3/87 19195 /proc/meminfo: memFree=665040/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2125.51 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71801 0 1 0 212464 87 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2125.51 Current children cumulated vsize (KiB) 915980 [startup+2205.3 s] /proc/loadavg: 2.00 2.02 1.95 3/93 19361 /proc/meminfo: memFree=663696/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2184.77 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71801 0 1 0 218390 87 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2184.77 Current children cumulated vsize (KiB) 915980 [startup+2265.3 s] /proc/loadavg: 2.00 2.02 1.95 3/87 19393 /proc/meminfo: memFree=664656/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2244.17 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71801 0 1 0 224330 87 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074310050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2244.17 Current children cumulated vsize (KiB) 915980 [startup+2325.4 s] /proc/loadavg: 2.00 2.01 1.95 3/87 19393 /proc/meminfo: memFree=664656/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2303.71 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71801 0 1 0 230284 87 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074304975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2303.71 Current children cumulated vsize (KiB) 915980 [startup+2385.49 s] /proc/loadavg: 2.00 2.01 1.95 3/87 19453 /proc/meminfo: memFree=747408/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2363.37 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71801 0 1 0 236239 98 0 0 25 0 8 0 270789984 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074307788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19187/statm: 228995 71471 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 609 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2363.37 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2422.24 s] /proc/loadavg: 2.00 2.00 1.95 3/87 19453 /proc/meminfo: memFree=747472/2055920 swapFree=4184072/4192956 [pid=19187] ppid=19185 vsize=915980 CPUtime=2400.09 /proc/19187/stat : 19187 (java) R 19185 19187 18561 0 -1 0 71803 0 1 0 239910 99 0 0 25 0 8 0 270789984 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19187/statm: 228995 71472 2548 14 0 215465 0 [pid=19187/tid=19189] ppid=19185 vsize=915980 CPUtime=1.02 /proc/19187/task/19189/stat : 19189 (java) S 19185 19187 18561 0 -1 64 54510 0 0 0 82 20 0 0 16 0 8 0 270789988 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19187/tid=19190] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19190/stat : 19190 (java) S 19185 19187 18561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270789988 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19191] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19191/stat : 19191 (java) S 19185 19187 18561 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270789989 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19192] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19192/stat : 19192 (java) S 19185 19187 18561 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270789992 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19193] ppid=19185 vsize=915980 CPUtime=0.42 /proc/19187/task/19193/stat : 19193 (java) S 19185 19187 18561 0 -1 64 610 0 0 0 40 2 0 0 16 0 8 0 270789992 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19187/tid=19194] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19194/stat : 19194 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270789992 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19187/tid=19195] ppid=19185 vsize=915980 CPUtime=0 /proc/19187/task/19195/stat : 19195 (java) S 19185 19187 18561 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270789992 937963520 71472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2422.33 CPU time (s): 2400.18 CPU user time (s): 2399.15 CPU system time (s): 1.03384 CPU usage (%): 99.0856 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.15 system time used= 1.03384 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71828 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= 50757 involuntary context switches= 106831 runsolver used 3.04054 s user time and 7.76382 s system time The end
Begin job on node45 on Fri Jan 19 16:25:10 UTC 2007 IDJOB= 275610 IDBENCH= 4155 IDSOLVER= 69 FILE ID= node45/275610-1169223910 PBS_JOBID= 3589202 Free space on /tmp= 66555 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp39/fapp39-2750-2.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275610-1169223910/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-275610-1169223910 -o ROOT/results/node45/solver-275610-1169223910 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275610-1169223910/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= b2c8a831f9d033b4a9ad8eac1f5cc450 RANDOM SEED= 942404497 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.259 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.259 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: 1106536 kB Buffers: 56600 kB Cached: 688980 kB SwapCached: 2964 kB Active: 359936 kB Inactive: 512652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1106536 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 5016 kB Writeback: 0 kB Mapped: 142232 kB Slab: 61988 kB Committed_AS: 5470108 kB PageTables: 2016 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= 66547 MiB End job on node45 on Fri Jan 19 17:05:33 UTC 2007