Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.06 | 2418.16 |
| 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=epfc.xml 0.34 0.34 instance 0.35 name=/tmp/evaluation/275609-1169223883/unknown.xml 0.38 0.38 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.36 mem=40M653 0.87 0.87 predicates being loaded... 0.88 0.88 constraints being loaded... 61.40 61.40 INFO : Stopping converting binary constraints (cpu=60.05, mem = 63M129) 62.44 nbConstraints=23154 nbConvertedConstraints=1272 nbConvertConstraintsChecks=191149552 nbExtensionStructures=822 62.44 nbSharedExtensionStructures=450 nbConflictsStructures=822 nbSharedConflictsStructures=450 62.44 nbSharedBinaryRepresentations=754401 nbEvaluationManagers=3692 nbSharedEvaluationManagers=18190 maxDegree=23 62.44 maxArity=2 62.44 => wckTime=62.122 cpuTime=60.9 mem=101M650 62.73 62.73 solver LocalSearchSolver being built... 62.77 => wckTime=62.459 cpuTime=60.95 mem=78M53 63.07 63.07 s SATISFIABLE 63.07 o 16387 63.07 c 6767 63.18 o 16394 63.18 c 6760 63.26 o 16400 63.26 c 6754 63.34 o 16405 63.34 c 6749 63.43 o 16408 63.43 c 6746 63.49 o 16411 63.49 c 6743 63.55 o 16413 63.55 c 6741 63.60 o 16415 63.60 c 6739 63.64 o 16417 63.64 c 6737 63.68 o 16419 63.68 c 6735 63.71 o 16420 63.71 c 6734 63.78 o 16427 63.78 c 6727 63.85 o 16434 63.85 c 6720 63.92 o 16440 63.92 c 6714 63.98 o 16446 63.98 c 6708 64.05 o 16452 64.05 c 6702 64.12 o 16458 64.12 c 6696 64.19 o 16463 64.19 c 6691 64.25 o 16468 64.25 c 6686 64.31 o 16473 64.31 c 6681 64.38 o 16478 64.38 c 6676 64.44 o 16483 64.44 c 6671 64.52 o 16487 64.52 c 6667 64.57 o 16491 64.57 c 6663 64.64 o 16494 64.64 c 6660 64.70 o 16497 64.70 c 6657 64.77 o 16500 64.77 c 6654 64.81 o 16503 64.81 c 6651 64.87 o 16506 64.87 c 6648 64.92 o 16509 64.92 c 6645 64.96 o 16512 64.96 c 6642 65.01 o 16515 65.02 c 6639 65.06 o 16518 65.06 c 6636 65.09 o 16521 65.09 c 6633 65.13 o 16523 65.13 c 6631 65.19 o 16525 65.19 c 6629 65.22 o 16527 65.22 c 6627 65.25 o 16529 65.25 c 6625 65.28 o 16530 65.28 c 6624 65.33 o 16531 65.33 c 6623 65.36 o 16532 65.36 c 6622 65.39 o 16533 65.39 c 6621 65.43 o 16534 65.43 c 6620 65.52 o 16538 65.52 c 6616 65.58 o 16540 65.58 c 6614 65.68 o 16547 65.68 c 6607 65.77 o 16554 65.77 c 6600 65.87 o 16560 65.87 c 6594 65.97 o 16566 65.97 c 6588 66.07 o 16572 66.07 c 6582 66.16 o 16577 66.16 c 6577 66.26 o 16582 66.26 c 6572 66.35 o 16587 66.35 c 6567 66.44 o 16592 66.44 c 6562 66.53 o 16597 66.53 c 6557 66.62 o 16602 66.62 c 6552 66.69 o 16607 66.69 c 6547 66.77 o 16612 66.77 c 6542 66.85 o 16617 66.85 c 6537 66.93 o 16621 66.93 c 6533 67.00 o 16625 67.00 c 6529 67.08 o 16629 67.08 c 6525 67.15 o 16633 67.15 c 6521 67.22 o 16636 67.22 c 6518 67.29 o 16639 67.29 c 6515 67.35 o 16642 67.35 c 6512 67.41 o 16645 67.41 c 6509 67.47 o 16648 67.47 c 6506 67.54 o 16656 67.54 c 6498 67.61 o 16659 67.61 c 6495 67.67 o 16661 67.67 c 6493 67.72 o 16663 67.72 c 6491 67.78 o 16665 67.78 c 6489 67.84 o 16667 67.84 c 6487 67.88 o 16669 67.88 c 6485 67.93 o 16671 67.93 c 6483 67.98 o 16673 67.98 c 6481 68.03 o 16675 68.03 c 6479 68.06 o 16677 68.06 c 6477 68.10 o 16679 68.10 c 6475 68.14 o 16681 68.14 c 6473 68.19 o 16682 68.19 c 6472 68.24 o 16683 68.24 c 6471 68.27 o 16684 68.27 c 6470 68.31 o 16685 68.31 c 6469 68.36 o 16686 68.36 c 6468 68.54 o 16689 68.54 c 6465 68.58 o 16694 68.58 c 6460 68.63 o 16696 68.63 c 6458 68.66 o 16701 68.66 c 6453 68.69 o 16706 68.69 c 6448 68.75 o 16707 68.75 c 6447 68.82 o 16710 68.82 c 6444 68.86 o 16713 68.86 c 6441 68.92 o 16718 68.92 c 6436 68.96 o 16721 68.96 c 6433 69.02 o 16726 69.02 c 6428 69.09 o 16729 69.09 c 6425 69.12 o 16730 69.12 c 6424 69.15 o 16732 69.15 c 6422 69.27 o 16737 69.27 c 6417 69.32 o 16739 69.32 c 6415 69.40 o 16742 69.40 c 6412 69.53 o 16743 69.53 c 6411 69.67 o 16749 69.67 c 6405 69.81 o 16752 69.81 c 6402 69.96 o 16758 69.96 c 6396 70.10 o 16764 70.10 c 6390 70.24 o 16769 70.24 c 6385 70.39 o 16774 70.39 c 6380 70.55 o 16779 70.55 c 6375 70.68 o 16784 70.68 c 6370 70.82 o 16789 70.82 c 6365 70.96 o 16791 70.96 c 6363 71.10 o 16796 71.10 c 6358 71.22 o 16797 71.22 c 6357 71.34 o 16800 71.34 c 6354 71.47 o 16808 71.47 c 6346 71.61 o 16812 71.61 c 6342 71.74 o 16816 71.74 c 6338 71.88 o 16820 71.88 c 6334 72.02 o 16824 72.02 c 6330 72.15 o 16828 72.15 c 6326 72.27 o 16832 72.27 c 6322 72.41 o 16836 72.41 c 6318 72.54 o 16839 72.54 c 6315 72.67 o 16842 72.67 c 6312 72.79 o 16846 72.79 c 6308 72.93 o 16849 72.93 c 6305 73.06 o 16850 73.06 c 6304 73.17 o 16853 73.17 c 6301 73.30 o 16856 73.30 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.75 o 16868 73.75 c 6286 73.86 o 16871 73.86 c 6283 73.95 o 16874 73.95 c 6280 74.04 o 16877 74.04 c 6277 74.14 o 16880 74.14 c 6274 74.23 o 16883 74.23 c 6271 74.32 o 16889 74.32 c 6265 74.41 o 16892 74.41 c 6262 74.50 o 16894 74.50 c 6260 74.59 o 16896 74.59 c 6258 74.68 o 16898 74.68 c 6256 74.76 o 16900 74.76 c 6254 74.85 o 16902 74.85 c 6252 74.93 o 16904 74.93 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.34 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.63 o 16922 75.63 c 6232 75.70 o 16924 75.70 c 6230 75.76 o 16926 75.76 c 6228 75.86 o 16927 75.86 c 6227 75.92 o 16928 75.92 c 6226 75.98 o 16929 75.98 c 6225 76.03 o 16930 76.03 c 6224 76.10 o 16931 76.10 c 6223 76.16 o 16932 76.16 c 6222 76.23 o 16933 76.23 c 6221 76.29 o 16934 76.29 c 6220 76.34 o 16935 76.34 c 6219 76.39 o 16936 76.39 c 6218 76.46 o 16937 76.46 c 6217 76.50 o 16938 76.50 c 6216 76.54 o 16939 76.54 c 6215 76.59 o 16940 76.59 c 6214 76.63 o 16941 76.63 c 6213 76.67 o 16942 76.67 c 6212 76.70 o 16943 76.70 c 6211 76.73 o 16944 76.73 c 6210 76.77 o 16945 76.77 c 6209 76.90 o 16948 76.90 c 6206 76.93 o 16950 76.93 c 6204 76.97 o 16954 76.97 c 6200 77.00 o 16955 77.00 c 6199 77.04 o 16960 77.04 c 6194 77.08 o 16961 77.08 c 6193 77.12 o 16966 77.12 c 6188 77.15 o 16971 77.15 c 6183 77.18 o 16976 77.18 c 6178 77.21 o 16979 77.21 c 6175 77.24 o 16981 77.24 c 6173 77.27 o 16984 77.27 c 6170 77.31 o 16985 77.31 c 6169 77.34 o 16990 77.34 c 6164 77.40 o 16994 77.40 c 6160 77.44 o 16998 77.44 c 6156 77.48 o 17004 77.48 c 6150 77.54 o 17006 77.54 c 6148 77.59 o 17008 77.59 c 6146 77.64 o 17011 77.64 c 6143 77.68 o 17017 77.68 c 6137 77.75 o 17018 77.75 c 6136 77.79 o 17022 77.79 c 6132 77.84 o 17023 77.84 c 6131 77.89 o 17025 77.89 c 6129 77.95 o 17026 77.95 c 6128 78.00 o 17027 78.00 c 6127 78.04 o 17029 78.04 c 6125 78.12 o 17033 78.12 c 6121 78.17 o 17037 78.17 c 6117 78.21 o 17038 78.21 c 6116 78.25 o 17040 78.25 c 6114 78.28 o 17042 78.28 c 6112 78.35 o 17043 78.35 c 6111 78.39 o 17048 78.39 c 6106 78.49 o 17050 78.49 c 6104 78.57 o 17056 78.57 c 6098 78.64 o 17061 78.64 c 6093 78.70 o 17062 78.70 c 6092 78.83 o 17068 78.83 c 6086 78.97 o 17074 78.97 c 6080 79.14 o 17080 79.14 c 6074 79.27 o 17087 79.27 c 6067 79.41 o 17093 79.41 c 6061 79.58 o 17098 79.58 c 6056 79.74 o 17103 79.74 c 6051 79.92 o 17108 79.92 c 6046 80.08 o 17113 80.08 c 6041 80.22 o 17119 80.22 c 6035 80.40 o 17124 80.40 c 6030 80.56 o 17129 80.56 c 6025 80.73 o 17134 80.73 c 6020 80.89 o 17138 80.89 c 6016 81.05 o 17142 81.05 c 6012 81.21 o 17146 81.21 c 6008 81.37 o 17150 81.37 c 6004 81.54 o 17152 81.54 c 6002 81.71 o 17156 81.71 c 5998 81.86 o 17160 81.86 c 5994 82.03 o 17164 82.03 c 5990 82.18 o 17167 82.18 c 5987 82.34 o 17170 82.34 c 5984 82.49 o 17173 82.49 c 5981 82.65 o 17176 82.65 c 5978 82.81 o 17179 82.81 c 5975 82.97 o 17182 82.97 c 5972 83.11 o 17185 83.11 c 5969 83.26 o 17189 83.26 c 5965 83.40 o 17192 83.40 c 5962 83.54 o 17195 83.54 c 5959 83.68 o 17198 83.68 c 5956 83.82 o 17201 83.82 c 5953 83.95 o 17204 83.95 c 5950 84.08 o 17207 84.08 c 5947 84.22 o 17210 84.22 c 5944 84.34 o 17213 84.34 c 5941 84.46 o 17215 84.46 c 5939 84.59 o 17217 84.59 c 5937 84.73 o 17219 84.73 c 5935 84.84 o 17223 84.84 c 5931 84.96 o 17229 84.96 c 5925 85.07 o 17231 85.07 c 5923 85.19 o 17236 85.19 c 5918 85.31 o 17238 85.31 c 5916 85.43 o 17240 85.43 c 5914 85.54 o 17242 85.54 c 5912 85.65 o 17244 85.65 c 5910 85.77 o 17246 85.77 c 5908 85.89 o 17248 85.89 c 5906 86.00 o 17250 86.00 c 5904 86.11 o 17252 86.11 c 5902 86.23 o 17254 86.23 c 5900 86.32 o 17256 86.32 c 5898 86.43 o 17258 86.43 c 5896 86.53 o 17260 86.53 c 5894 86.63 o 17262 86.63 c 5892 86.72 o 17264 86.72 c 5890 86.82 o 17266 86.82 c 5888 86.92 o 17268 86.92 c 5886 87.00 o 17270 87.00 c 5884 87.09 o 17272 87.09 c 5882 87.19 o 17274 87.19 c 5880 87.28 o 17276 87.28 c 5878 87.37 o 17278 87.37 c 5876 87.47 o 17280 87.47 c 5874 87.55 o 17281 87.55 c 5873 87.63 o 17283 87.63 c 5871 87.71 o 17285 87.71 c 5869 87.78 o 17286 87.78 c 5868 87.87 o 17290 87.87 c 5864 87.94 o 17291 87.94 c 5863 88.02 o 17292 88.02 c 5862 88.08 o 17293 88.08 c 5861 88.17 o 17294 88.17 c 5860 88.22 o 17295 88.22 c 5859 88.29 o 17296 88.29 c 5858 88.36 o 17297 88.36 c 5857 88.43 o 17298 88.43 c 5856 88.47 o 17299 88.48 c 5855 88.53 o 17300 88.53 c 5854 88.60 o 17301 88.60 c 5853 88.67 o 17302 88.67 c 5852 89.11 o 17303 89.11 c 5851 89.15 o 17305 89.15 c 5849 89.34 o 17312 89.34 c 5842 89.38 o 17315 89.38 c 5839 89.49 o 17316 89.49 c 5838 89.55 o 17319 89.55 c 5835 89.60 o 17322 89.60 c 5832 89.67 o 17328 89.67 c 5826 89.72 o 17329 89.72 c 5825 89.78 o 17331 89.78 c 5823 89.85 o 17332 89.85 c 5822 89.91 o 17338 89.91 c 5816 89.97 o 17344 89.97 c 5810 90.03 o 17346 90.03 c 5808 90.08 o 17349 90.08 c 5805 90.21 o 17351 90.21 c 5803 90.28 o 17354 90.28 c 5800 90.35 o 17355 90.35 c 5799 90.43 o 17358 90.43 c 5796 90.51 o 17359 90.51 c 5795 90.60 o 17363 90.60 c 5791 90.76 o 17368 90.76 c 5786 90.84 o 17370 90.84 c 5784 90.92 o 17372 90.92 c 5782 91.02 o 17373 91.02 c 5781 91.10 o 17376 91.10 c 5778 91.17 o 17377 91.17 c 5777 91.24 o 17383 91.24 c 5771 91.32 o 17385 91.32 c 5769 91.40 o 17387 91.40 c 5767 91.47 o 17391 91.47 c 5763 91.55 o 17392 91.55 c 5762 91.71 o 17394 91.71 c 5760 91.78 o 17398 91.78 c 5756 91.87 o 17403 91.87 c 5751 91.95 o 17405 91.95 c 5749 92.02 o 17410 92.02 c 5744 92.12 o 17412 92.12 c 5742 92.28 o 17415 92.28 c 5739 92.35 o 17416 92.35 c 5738 92.44 o 17417 92.44 c 5737 92.52 o 17420 92.52 c 5734 92.59 o 17423 92.59 c 5731 92.67 o 17426 92.67 c 5728 92.75 o 17430 92.75 c 5724 92.84 o 17432 92.84 c 5722 92.99 o 17435 92.99 c 5719 93.09 o 17438 93.09 c 5716 93.18 o 17442 93.18 c 5712 93.27 o 17444 93.27 c 5710 93.37 o 17447 93.37 c 5707 93.54 o 17449 93.54 c 5705 93.71 o 17450 93.71 c 5704 93.81 o 17451 93.81 c 5703 93.90 o 17452 93.90 c 5702 93.99 o 17454 93.99 c 5700 94.08 o 17455 94.08 c 5699 94.17 o 17458 94.17 c 5696 94.25 o 17460 94.25 c 5694 94.37 o 17462 94.37 c 5692 94.45 o 17464 94.45 c 5690 94.53 o 17467 94.53 c 5687 94.61 o 17469 94.61 c 5685 94.71 o 17471 94.71 c 5683 94.79 o 17474 94.79 c 5680 94.89 o 17475 94.89 c 5679 95.00 o 17479 95.00 c 5675 95.10 o 17480 95.10 c 5674 95.28 o 17482 95.28 c 5672 95.36 o 17489 95.36 c 5665 95.45 o 17494 95.45 c 5660 95.53 o 17497 95.53 c 5657 95.92 o 17501 95.92 c 5653 96.02 o 17503 96.02 c 5651 96.26 o 17509 96.26 c 5645 96.49 o 17514 96.49 c 5640 96.64 o 17519 96.64 c 5635 96.78 o 17524 96.78 c 5630 96.94 o 17529 96.94 c 5625 97.09 o 17530 97.09 c 5624 97.25 o 17535 97.25 c 5619 97.40 o 17540 97.40 c 5614 97.52 o 17541 97.52 c 5613 97.68 o 17545 97.68 c 5609 97.82 o 17549 97.82 c 5605 97.97 o 17553 97.97 c 5601 98.12 o 17557 98.12 c 5597 98.27 o 17561 98.27 c 5593 98.42 o 17565 98.42 c 5589 98.59 o 17569 98.59 c 5585 98.74 o 17573 98.74 c 5581 98.88 o 17576 98.88 c 5578 99.03 o 17577 99.03 c 5577 99.18 o 17580 99.18 c 5574 99.31 o 17583 99.31 c 5571 99.45 o 17587 99.45 c 5567 99.59 o 17590 99.59 c 5564 99.98 o 17592 99.98 c 5562 100.11 o 17595 100.11 c 5559 100.23 o 17598 100.23 c 5556 100.35 o 17601 100.35 c 5553 100.59 o 17603 100.59 c 5551 100.70 o 17605 100.70 c 5549 100.82 o 17607 100.82 c 5547 100.95 o 17609 100.95 c 5545 101.07 o 17611 101.07 c 5543 101.18 o 17613 101.18 c 5541 101.29 o 17617 101.29 c 5537 101.40 o 17619 101.40 c 5535 101.51 o 17621 101.51 c 5533 101.62 o 17623 101.62 c 5531 101.72 o 17625 101.72 c 5529 101.82 o 17627 101.82 c 5527 101.93 o 17628 101.93 c 5526 102.04 o 17630 102.04 c 5524 102.13 o 17631 102.13 c 5523 102.22 o 17632 102.22 c 5522 102.33 o 17633 102.33 c 5521 102.42 o 17634 102.42 c 5520 102.51 o 17635 102.51 c 5519 102.60 o 17636 102.60 c 5518 102.69 o 17637 102.69 c 5517 102.77 o 17638 102.77 c 5516 103.26 o 17640 103.26 c 5514 103.33 o 17642 103.33 c 5512 103.55 o 17643 103.55 c 5511 103.69 o 17646 103.69 c 5508 103.78 o 17650 103.78 c 5504 103.87 o 17653 103.87 c 5501 103.95 o 17655 103.95 c 5499 104.13 o 17656 104.13 c 5498 104.20 o 17658 104.20 c 5496 104.29 o 17659 104.29 c 5495 104.45 o 17665 104.45 c 5489 104.51 o 17666 104.51 c 5488 104.81 o 17669 104.81 c 5485 104.89 o 17672 104.89 c 5482 104.96 o 17674 104.96 c 5480 105.12 o 17680 105.12 c 5474 105.20 o 17684 105.20 c 5470 105.28 o 17686 105.28 c 5468 105.37 o 17688 105.37 c 5466 105.45 o 17693 105.45 c 5461 105.53 o 17697 105.53 c 5457 105.61 o 17700 105.61 c 5454 105.69 o 17704 105.69 c 5450 105.77 o 17706 105.77 c 5448 105.86 o 17708 105.86 c 5446 105.93 o 17715 105.93 c 5439 106.02 o 17718 106.02 c 5436 106.10 o 17720 106.10 c 5434 106.28 o 17721 106.28 c 5433 106.36 o 17725 106.36 c 5429 106.44 o 17728 106.44 c 5426 106.52 o 17731 106.52 c 5423 106.61 o 17733 106.61 c 5421 106.78 o 17736 106.78 c 5418 106.86 o 17740 106.86 c 5414 106.95 o 17741 106.95 c 5413 107.03 o 17745 107.03 c 5409 107.12 o 17746 107.12 c 5408 107.21 o 17747 107.21 c 5407 107.29 o 17748 107.29 c 5406 107.39 o 17749 107.39 c 5405 107.59 o 17750 107.59 c 5404 107.69 o 17753 107.69 c 5401 107.78 o 17755 107.78 c 5399 107.89 o 17756 107.89 c 5398 108.00 o 17758 108.00 c 5396 108.10 o 17760 108.10 c 5394 108.52 o 17761 108.52 c 5393 108.76 o 17764 108.76 c 5390 108.98 o 17766 108.98 c 5388 109.10 o 17768 109.10 c 5386 109.21 o 17771 109.21 c 5383 109.34 o 17776 109.34 c 5378 109.58 o 17779 109.58 c 5375 109.71 o 17783 109.71 c 5371 109.83 o 17786 109.83 c 5368 109.96 o 17789 109.96 c 5365 110.08 o 17793 110.08 c 5361 110.21 o 17796 110.21 c 5358 110.47 o 17798 110.47 c 5356 110.59 o 17802 110.59 c 5352 110.70 o 17804 110.70 c 5350 110.82 o 17805 110.83 c 5349 110.99 o 17808 110.99 c 5346 111.16 o 17813 111.16 c 5341 111.27 o 17817 111.27 c 5337 111.43 o 17818 111.43 c 5336 111.55 o 17822 111.55 c 5332 111.68 o 17826 111.68 c 5328 111.79 o 17827 111.79 c 5327 111.93 o 17833 111.93 c 5321 112.06 o 17834 112.06 c 5320 112.20 o 17836 112.20 c 5318 112.32 o 17840 112.32 c 5314 112.80 o 17844 112.80 c 5310 112.94 o 17846 112.94 c 5308 113.06 o 17849 113.06 c 5305 113.29 o 17852 113.29 c 5302 113.41 o 17855 113.41 c 5299 113.55 o 17858 113.55 c 5296 113.67 o 17859 113.67 c 5295 113.79 o 17861 113.79 c 5293 113.91 o 17863 113.91 c 5291 114.02 o 17866 114.02 c 5288 114.29 o 17867 114.29 c 5287 114.43 o 17871 114.43 c 5283 114.56 o 17873 114.56 c 5281 114.80 o 17874 114.80 c 5280 115.06 o 17875 115.06 c 5279 115.17 o 17877 115.17 c 5277 115.40 o 17879 115.40 c 5275 115.51 o 17882 115.51 c 5272 115.63 o 17883 115.63 c 5271 115.74 o 17885 115.74 c 5269 115.88 o 17886 115.88 c 5268 116.00 o 17888 116.00 c 5266 116.12 o 17890 116.12 c 5264 116.24 o 17892 116.24 c 5262 116.36 o 17894 116.36 c 5260 116.50 o 17898 116.50 c 5256 116.75 o 17899 116.75 c 5255 116.87 o 17903 116.87 c 5251 117.00 o 17908 117.00 c 5246 117.12 o 17909 117.12 c 5245 117.25 o 17913 117.25 c 5241 117.36 o 17914 117.36 c 5240 117.48 o 17919 117.48 c 5235 117.72 o 17925 117.72 c 5229 117.84 o 17929 117.84 c 5225 117.97 o 17931 117.97 c 5223 118.11 o 17935 118.11 c 5219 118.24 o 17938 118.24 c 5216 118.37 o 17941 118.37 c 5213 118.51 o 17943 118.51 c 5211 118.64 o 17945 118.64 c 5209 118.78 o 17946 118.78 c 5208 118.92 o 17950 118.92 c 5204 119.21 o 17953 119.21 c 5201 119.41 o 17957 119.41 c 5197 119.61 o 17961 119.61 c 5193 119.80 o 17965 119.80 c 5189 120.01 o 17969 120.01 c 5185 120.23 o 17972 120.23 c 5182 120.42 o 17975 120.42 c 5179 120.62 o 17978 120.62 c 5176 120.83 o 17981 120.83 c 5173 121.02 o 17984 121.02 c 5170 121.23 o 17987 121.23 c 5167 121.43 o 17988 121.43 c 5166 121.97 o 17991 121.97 c 5163 122.15 o 17994 122.15 c 5160 122.31 o 17995 122.31 c 5159 122.51 o 17998 122.51 c 5156 122.68 o 18001 122.68 c 5153 122.86 o 18004 122.86 c 5150 123.04 o 18007 123.04 c 5147 123.22 o 18009 123.22 c 5145 123.41 o 18011 123.41 c 5143 123.59 o 18013 123.59 c 5141 123.77 o 18015 123.77 c 5139 123.95 o 18017 123.95 c 5137 124.13 o 18019 124.13 c 5135 124.31 o 18021 124.31 c 5133 124.49 o 18023 124.49 c 5131 124.68 o 18025 124.68 c 5129 124.84 o 18029 124.84 c 5125 125.01 o 18031 125.01 c 5123 125.19 o 18035 125.19 c 5119 125.36 o 18037 125.36 c 5117 125.52 o 18039 125.52 c 5115 125.69 o 18041 125.69 c 5113 125.88 o 18042 125.88 c 5112 126.06 o 18043 126.06 c 5111 126.22 o 18044 126.23 c 5110 126.39 o 18045 126.39 c 5109 126.90 o 18046 126.90 c 5108 127.06 o 18047 127.06 c 5107 127.22 o 18048 127.22 c 5106 127.38 o 18050 127.38 c 5104 127.56 o 18051 127.56 c 5103 127.73 o 18052 127.73 c 5102 127.87 o 18053 127.87 c 5101 128.04 o 18054 128.04 c 5100 128.19 o 18055 128.19 c 5099 128.35 o 18056 128.35 c 5098 128.49 o 18057 128.49 c 5097 128.63 o 18061 128.63 c 5093 128.75 o 18065 128.75 c 5089 128.89 o 18066 128.89 c 5088 129.03 o 18067 129.03 c 5087 129.18 o 18068 129.18 c 5086 129.31 o 18069 129.31 c 5085 129.45 o 18070 129.45 c 5084 130.26 o 18071 130.26 c 5083 130.54 o 18075 130.54 c 5079 130.66 o 18076 130.66 c 5078 130.92 o 18077 130.92 c 5077 131.89 o 18078 131.89 c 5076 132.12 o 18080 132.12 c 5074 132.37 o 18081 132.37 c 5073 132.50 o 18082 132.50 c 5072 132.63 o 18086 132.63 c 5068 132.75 o 18090 132.75 c 5064 132.86 o 18092 132.86 c 5062 132.99 o 18095 132.99 c 5059 133.11 o 18098 133.11 c 5056 133.64 o 18103 133.64 c 5051 133.78 o 18105 133.78 c 5049 133.90 o 18106 133.90 c 5048 134.19 o 18108 134.19 c 5046 134.33 o 18112 134.33 c 5042 134.48 o 18113 134.48 c 5041 134.63 o 18116 134.63 c 5038 134.77 o 18119 134.77 c 5035 134.91 o 18123 134.91 c 5031 135.05 o 18126 135.05 c 5028 135.18 o 18127 135.18 c 5027 135.32 o 18132 135.32 c 5022 135.45 o 18133 135.45 c 5021 135.61 o 18134 135.61 c 5020 135.76 o 18136 135.76 c 5018 135.90 o 18139 135.90 c 5015 136.33 o 18142 136.33 c 5012 136.61 o 18145 136.61 c 5009 136.75 o 18150 136.75 c 5004 136.91 o 18153 136.91 c 5001 137.06 o 18155 137.06 c 4999 137.21 o 18158 137.21 c 4996 137.38 o 18161 137.38 c 4993 137.69 o 18162 137.69 c 4992 137.85 o 18163 137.85 c 4991 138.01 o 18165 138.01 c 4989 138.16 o 18167 138.16 c 4987 138.47 o 18168 138.47 c 4986 138.62 o 18171 138.62 c 4983 138.78 o 18172 138.78 c 4982 138.93 o 18173 138.93 c 4981 139.08 o 18175 139.08 c 4979 139.24 o 18177 139.24 c 4977 139.39 o 18178 139.39 c 4976 139.53 o 18179 139.53 c 4975 139.67 o 18184 139.67 c 4970 139.83 o 18186 139.83 c 4968 140.25 o 18187 140.25 c 4967 140.41 o 18192 140.41 c 4962 140.72 o 18193 140.72 c 4961 141.03 o 18194 141.03 c 4960 141.19 o 18195 141.19 c 4959 141.35 o 18199 141.35 c 4955 141.53 o 18201 141.53 c 4953 141.70 o 18204 141.70 c 4950 141.87 o 18206 141.87 c 4948 142.03 o 18209 142.03 c 4945 142.20 o 18213 142.20 c 4941 142.37 o 18217 142.37 c 4937 142.54 o 18218 142.54 c 4936 142.72 o 18220 142.72 c 4934 142.89 o 18223 142.89 c 4931 143.41 o 18224 143.41 c 4930 143.58 o 18225 143.58 c 4929 143.76 o 18227 143.76 c 4927 143.95 o 18230 143.95 c 4924 144.11 o 18233 144.11 c 4921 144.30 o 18235 144.30 c 4919 144.48 o 18239 144.48 c 4915 144.66 o 18240 144.66 c 4914 144.83 o 18242 144.83 c 4912 145.00 o 18243 145.00 c 4911 145.33 o 18246 145.33 c 4908 145.51 o 18248 145.51 c 4906 145.85 o 18253 145.85 c 4901 146.01 o 18254 146.01 c 4900 146.18 o 18258 146.18 c 4896 146.33 o 18262 146.33 c 4892 146.99 o 18264 146.99 c 4890 147.16 o 18268 147.16 c 4886 147.33 o 18270 147.33 c 4884 147.50 o 18272 147.50 c 4882 147.68 o 18273 147.68 c 4881 147.84 o 18276 147.84 c 4878 148.02 o 18278 148.02 c 4876 148.19 o 18279 148.19 c 4875 148.38 o 18281 148.38 c 4873 148.54 o 18283 148.54 c 4871 148.70 o 18287 148.70 c 4867 148.87 o 18289 148.87 c 4865 149.03 o 18291 149.03 c 4863 149.18 o 18292 149.18 c 4862 149.34 o 18294 149.34 c 4860 149.50 o 18296 149.50 c 4858 149.66 o 18297 149.66 c 4857 149.82 o 18302 149.82 c 4852 149.98 o 18303 149.98 c 4851 150.17 o 18306 150.17 c 4848 150.35 o 18307 150.35 c 4847 150.52 o 18308 150.52 c 4846 150.69 o 18312 150.69 c 4842 150.86 o 18315 150.86 c 4839 151.20 o 18319 151.20 c 4835 151.37 o 18322 151.37 c 4832 151.72 o 18325 151.72 c 4829 151.89 o 18330 151.89 c 4824 152.05 o 18332 152.05 c 4822 152.39 o 18337 152.39 c 4817 152.72 o 18338 152.72 c 4816 152.90 o 18341 152.90 c 4813 153.06 o 18343 153.06 c 4811 153.24 o 18345 153.24 c 4809 153.42 o 18348 153.42 c 4806 153.59 o 18349 153.59 c 4805 153.93 o 18352 153.93 c 4802 154.10 o 18353 154.10 c 4801 154.26 o 18355 154.26 c 4799 154.42 o 18356 154.42 c 4798 154.60 o 18360 154.60 c 4794 154.76 o 18362 154.76 c 4792 154.91 o 18363 154.91 c 4791 155.57 o 18364 155.57 c 4790 155.74 o 18365 155.74 c 4789 155.89 o 18366 155.89 c 4788 156.05 o 18371 156.05 c 4783 156.21 o 18373 156.21 c 4781 156.54 o 18374 156.54 c 4780 156.87 o 18375 156.87 c 4779 157.04 o 18378 157.04 c 4776 157.21 o 18381 157.21 c 4773 157.38 o 18383 157.38 c 4771 157.56 o 18385 157.56 c 4769 157.73 o 18386 157.73 c 4768 157.90 o 18388 157.90 c 4766 158.07 o 18390 158.07 c 4764 158.24 o 18392 158.24 c 4762 158.77 o 18393 158.77 c 4761 158.93 o 18396 158.93 c 4758 159.11 o 18400 159.11 c 4754 159.31 o 18401 159.31 c 4753 159.49 o 18402 159.49 c 4752 159.68 o 18403 159.68 c 4751 160.03 o 18405 160.03 c 4749 160.21 o 18410 160.21 c 4744 160.40 o 18413 160.40 c 4741 160.58 o 18414 160.58 c 4740 160.76 o 18416 160.76 c 4738 161.13 o 18418 161.13 c 4736 161.32 o 18420 161.32 c 4734 161.50 o 18423 161.50 c 4731 161.68 o 18428 161.68 c 4726 161.87 o 18433 161.87 c 4721 162.08 o 18434 162.08 c 4720 162.27 o 18436 162.27 c 4718 162.47 o 18437 162.47 c 4717 162.86 o 18440 162.86 c 4714 163.05 o 18443 163.05 c 4711 163.45 o 18444 163.45 c 4710 163.63 o 18446 163.63 c 4708 163.82 o 18448 163.82 c 4706 164.02 o 18450 164.02 c 4704 164.57 o 18453 164.57 c 4701 164.75 o 18454 164.75 c 4700 165.11 o 18456 165.11 c 4698 165.31 o 18458 165.31 c 4696 165.51 o 18459 165.51 c 4695 165.70 o 18461 165.70 c 4693 165.89 o 18463 165.89 c 4691 166.08 o 18464 166.08 c 4690 166.28 o 18467 166.28 c 4687 166.49 o 18469 166.49 c 4685 166.68 o 18472 166.68 c 4682 166.87 o 18475 166.87 c 4679 167.04 o 18477 167.04 c 4677 167.28 o 18480 167.28 c 4674 167.48 o 18483 167.48 c 4671 167.67 o 18486 167.67 c 4668 167.88 o 18488 167.88 c 4666 168.13 o 18492 168.13 c 4662 168.39 o 18496 168.39 c 4658 168.68 o 18499 168.68 c 4655 168.96 o 18501 168.96 c 4653 169.24 o 18503 169.24 c 4651 169.51 o 18505 169.51 c 4649 169.78 o 18507 169.78 c 4647 170.08 o 18509 170.08 c 4645 170.34 o 18511 170.34 c 4643 170.62 o 18513 170.62 c 4641 170.89 o 18515 170.89 c 4639 171.16 o 18517 171.16 c 4637 171.43 o 18519 171.43 c 4635 171.70 o 18521 171.70 c 4633 171.96 o 18523 171.96 c 4631 172.46 o 18525 172.46 c 4629 172.73 o 18527 172.73 c 4627 172.96 o 18529 172.96 c 4625 173.23 o 18531 173.23 c 4623 173.49 o 18533 173.49 c 4621 173.73 o 18538 173.73 c 4616 173.98 o 18541 173.98 c 4613 174.23 o 18542 174.23 c 4612 174.76 o 18543 174.76 c 4611 175.01 o 18544 175.01 c 4610 175.53 o 18545 175.53 c 4609 176.01 o 18546 176.01 c 4608 176.50 o 18547 176.50 c 4607 176.77 o 18548 176.77 c 4606 177.02 o 18549 177.02 c 4605 177.26 o 18550 177.26 c 4604 177.49 o 18551 177.49 c 4603 177.74 o 18553 177.74 c 4601 177.98 o 18554 177.98 c 4600 178.21 o 18555 178.21 c 4599 178.44 o 18556 178.44 c 4598 178.67 o 18557 178.67 c 4597 178.91 o 18558 178.91 c 4596 179.14 o 18561 179.14 c 4593 179.36 o 18562 179.36 c 4592 179.59 o 18563 179.59 c 4591 179.82 o 18564 179.82 c 4590 180.07 o 18567 180.07 c 4587 180.29 o 18568 180.29 c 4586 180.50 o 18569 180.50 c 4585 180.72 o 18570 180.72 c 4584 181.38 o 18572 181.38 c 4582 181.82 o 18575 181.82 c 4579 182.22 o 18577 182.22 c 4577 183.56 o 18578 183.56 c 4576 186.92 o 18581 186.92 c 4573 188.07 o 18584 188.07 c 4570 188.54 o 18588 188.54 c 4566 188.78 o 18590 188.78 c 4564 189.01 o 18593 189.01 c 4561 189.27 o 18594 189.27 c 4560 189.50 o 18595 189.50 c 4559 190.00 o 18599 190.00 c 4555 190.26 o 18600 190.26 c 4554 190.49 o 18603 190.49 c 4551 190.99 o 18605 190.99 c 4549 191.23 o 18608 191.23 c 4546 191.71 o 18610 191.71 c 4544 191.95 o 18612 191.95 c 4542 192.21 o 18614 192.21 c 4540 192.73 o 18616 192.73 c 4538 192.98 o 18617 192.98 c 4537 193.23 o 18620 193.23 c 4534 193.47 o 18623 193.47 c 4531 194.21 o 18629 194.21 c 4525 194.46 o 18631 194.46 c 4523 194.71 o 18635 194.71 c 4519 194.97 o 18637 194.97 c 4517 195.22 o 18638 195.22 c 4516 195.48 o 18640 195.48 c 4514 195.72 o 18642 195.72 c 4512 195.98 o 18643 195.98 c 4511 196.23 o 18644 196.23 c 4510 196.46 o 18645 196.46 c 4509 196.71 o 18646 196.71 c 4508 196.94 o 18649 196.94 c 4505 197.21 o 18650 197.21 c 4504 197.46 o 18652 197.46 c 4502 197.92 o 18654 197.92 c 4500 198.19 o 18657 198.19 c 4497 198.45 o 18659 198.45 c 4495 199.60 o 18660 199.60 c 4494 199.84 o 18662 199.84 c 4492 200.07 o 18666 200.07 c 4488 200.29 o 18669 200.29 c 4485 200.54 o 18673 200.54 c 4481 200.77 o 18674 200.78 c 4480 201.00 o 18675 201.00 c 4479 201.92 o 18676 201.92 c 4478 202.15 o 18678 202.15 c 4476 202.36 o 18681 202.36 c 4473 202.58 o 18682 202.58 c 4472 202.82 o 18683 202.82 c 4471 203.29 o 18684 203.29 c 4470 203.77 o 18685 203.77 c 4469 204.00 o 18687 204.00 c 4467 204.24 o 18688 204.24 c 4466 204.46 o 18689 204.46 c 4465 204.69 o 18690 204.69 c 4464 204.92 o 18691 204.92 c 4463 205.14 o 18692 205.14 c 4462 205.37 o 18696 205.37 c 4458 205.60 o 18700 205.60 c 4454 205.82 o 18704 205.82 c 4450 206.06 o 18705 206.06 c 4449 206.29 o 18709 206.29 c 4445 206.51 o 18711 206.51 c 4443 206.75 o 18713 206.75 c 4441 206.98 o 18715 206.98 c 4439 207.20 o 18718 207.20 c 4436 207.43 o 18720 207.43 c 4434 207.65 o 18721 207.65 c 4433 207.88 o 18722 207.88 c 4432 208.11 o 18726 208.11 c 4428 208.34 o 18727 208.34 c 4427 208.56 o 18729 208.56 c 4425 208.79 o 18732 208.79 c 4422 209.01 o 18734 209.01 c 4420 209.23 o 18738 209.23 c 4416 209.48 o 18740 209.48 c 4414 209.71 o 18742 209.71 c 4412 209.94 o 18744 209.94 c 4410 210.16 o 18746 210.16 c 4408 210.78 o 18747 210.78 c 4407 211.00 o 18748 211.00 c 4406 211.21 o 18751 211.21 c 4403 211.42 o 18753 211.42 c 4401 211.63 o 18755 211.63 c 4399 212.29 o 18756 212.29 c 4398 212.50 o 18759 212.50 c 4395 212.72 o 18762 212.72 c 4392 213.19 o 18763 213.19 c 4391 213.85 o 18766 213.85 c 4388 214.75 o 18768 214.75 c 4386 214.99 o 18770 214.99 c 4384 215.23 o 18773 215.23 c 4381 215.70 o 18776 215.70 c 4378 215.92 o 18780 215.93 c 4374 216.15 o 18783 216.15 c 4371 216.38 o 18787 216.38 c 4367 216.60 o 18791 216.60 c 4363 216.84 o 18795 216.84 c 4359 217.06 o 18796 217.07 c 4358 217.30 o 18798 217.30 c 4356 217.55 o 18799 217.55 c 4355 218.00 o 18800 218.00 c 4354 218.50 o 18801 218.50 c 4353 218.74 o 18802 218.74 c 4352 219.23 o 18805 219.23 c 4349 220.70 o 18810 220.70 c 4344 220.98 o 18813 220.98 c 4341 221.23 o 18817 221.23 c 4337 221.50 o 18819 221.50 c 4335 221.76 o 18820 221.76 c 4334 222.05 o 18824 222.05 c 4330 222.32 o 18827 222.32 c 4327 222.89 o 18830 222.89 c 4324 223.18 o 18831 223.18 c 4323 223.45 o 18832 223.45 c 4322 223.74 o 18834 223.74 c 4320 224.29 o 18835 224.29 c 4319 224.58 o 18837 224.58 c 4317 224.84 o 18840 224.84 c 4314 225.13 o 18842 225.13 c 4312 225.43 o 18844 225.43 c 4310 225.70 o 18846 225.70 c 4308 225.97 o 18849 225.97 c 4305 226.24 o 18852 226.24 c 4302 226.52 o 18856 226.52 c 4298 226.78 o 18857 226.78 c 4297 227.31 o 18858 227.31 c 4296 227.59 o 18859 227.59 c 4295 228.61 o 18861 228.61 c 4293 228.88 o 18862 228.88 c 4292 229.13 o 18864 229.13 c 4290 229.65 o 18866 229.65 c 4288 229.93 o 18871 229.93 c 4283 230.19 o 18874 230.19 c 4280 230.71 o 18875 230.71 c 4279 230.99 o 18880 230.99 c 4274 231.25 o 18882 231.25 c 4272 231.51 o 18885 231.51 c 4269 232.54 o 18888 232.54 c 4266 233.04 o 18891 233.04 c 4263 234.08 o 18892 234.08 c 4262 234.36 o 18895 234.36 c 4259 234.63 o 18896 234.63 c 4258 235.15 o 18897 235.15 c 4257 235.41 o 18898 235.41 c 4256 235.68 o 18899 235.68 c 4255 235.95 o 18902 235.95 c 4252 236.21 o 18904 236.21 c 4250 236.48 o 18908 236.48 c 4246 237.79 o 18909 237.79 c 4245 238.04 o 18911 238.04 c 4243 238.57 o 18915 238.57 c 4239 239.13 o 18917 239.13 c 4237 239.41 o 18920 239.41 c 4234 239.69 o 18923 239.69 c 4231 239.97 o 18924 239.97 c 4230 240.53 o 18927 240.53 c 4227 241.08 o 18929 241.08 c 4225 241.63 o 18931 241.63 c 4223 241.90 o 18934 241.90 c 4220 242.18 o 18935 242.18 c 4219 242.48 o 18936 242.48 c 4218 243.02 o 18939 243.02 c 4215 243.30 o 18940 243.30 c 4214 243.60 o 18941 243.60 c 4213 243.89 o 18942 243.89 c 4212 244.17 o 18943 244.17 c 4211 244.45 o 18944 244.45 c 4210 244.75 o 18947 244.75 c 4207 245.04 o 18950 245.04 c 4204 246.16 o 18954 246.17 c 4200 246.44 o 18955 246.45 c 4199 246.72 o 18959 246.72 c 4195 247.02 o 18962 247.02 c 4192 247.33 o 18965 247.33 c 4189 248.24 o 18966 248.24 c 4188 248.53 o 18969 248.53 c 4185 248.83 o 18971 248.83 c 4183 249.41 o 18972 249.41 c 4182 250.00 o 18975 250.00 c 4179 250.32 o 18978 250.32 c 4176 250.61 o 18979 250.61 c 4175 250.91 o 18980 250.91 c 4174 251.21 o 18984 251.21 c 4170 251.54 o 18987 251.54 c 4167 252.40 o 18989 252.40 c 4165 252.70 o 18992 252.70 c 4162 252.99 o 18993 252.99 c 4161 253.29 o 18995 253.29 c 4159 253.86 o 18997 253.86 c 4157 254.42 o 18998 254.42 c 4156 254.72 o 19000 254.72 c 4154 255.01 o 19001 255.01 c 4153 255.29 o 19002 255.29 c 4152 255.55 o 19006 255.55 c 4148 255.82 o 19007 255.82 c 4147 256.11 o 19008 256.11 c 4146 256.66 o 19012 256.66 c 4142 256.94 o 19013 256.94 c 4141 257.23 o 19014 257.23 c 4140 257.51 o 19018 257.51 c 4136 257.78 o 19020 257.78 c 4134 259.72 o 19022 259.72 c 4132 260.01 o 19025 260.01 c 4129 260.29 o 19026 260.29 c 4128 260.58 o 19030 260.58 c 4124 261.38 o 19032 261.38 c 4122 261.93 o 19033 261.93 c 4121 262.20 o 19036 262.20 c 4118 262.46 o 19037 262.46 c 4117 262.74 o 19039 262.74 c 4115 263.02 o 19040 263.02 c 4114 264.44 o 19042 264.44 c 4112 264.73 o 19043 264.73 c 4111 265.02 o 19044 265.02 c 4110 265.31 o 19045 265.31 c 4109 265.58 o 19047 265.58 c 4107 265.85 o 19049 265.85 c 4105 267.24 o 19050 267.24 c 4104 267.52 o 19051 267.52 c 4103 267.79 o 19052 267.79 c 4102 268.06 o 19053 268.06 c 4101 268.34 o 19055 268.34 c 4099 268.63 o 19057 268.63 c 4097 269.19 o 19060 269.19 c 4094 269.47 o 19061 269.47 c 4093 269.73 o 19062 269.73 c 4092 269.98 o 19066 269.98 c 4088 270.27 o 19070 270.27 c 4084 270.86 o 19071 270.86 c 4083 271.62 o 19074 271.62 c 4080 271.88 o 19076 271.88 c 4078 272.16 o 19079 272.16 c 4075 272.44 o 19080 272.44 c 4074 272.71 o 19081 272.71 c 4073 272.98 o 19082 272.98 c 4072 273.27 o 19084 273.27 c 4070 274.18 o 19085 274.18 c 4069 274.48 o 19087 274.48 c 4067 274.77 o 19089 274.77 c 4065 275.07 o 19091 275.07 c 4063 275.39 o 19092 275.39 c 4062 275.69 o 19093 275.69 c 4061 275.99 o 19094 275.99 c 4060 276.30 o 19095 276.30 c 4059 276.61 o 19096 276.61 c 4058 276.87 o 19098 276.87 c 4056 277.16 o 19099 277.16 c 4055 277.45 o 19103 277.46 c 4051 277.76 o 19104 277.76 c 4050 278.04 o 19105 278.04 c 4049 278.33 o 19108 278.33 c 4046 278.63 o 19109 278.63 c 4045 278.90 o 19110 278.90 c 4044 279.18 o 19111 279.18 c 4043 279.45 o 19112 279.45 c 4042 282.97 o 19115 282.97 c 4039 283.26 o 19117 283.26 c 4037 283.52 o 19120 283.52 c 4034 284.04 o 19122 284.04 c 4032 284.30 o 19123 284.30 c 4031 284.56 o 19124 284.56 c 4030 284.82 o 19125 284.82 c 4029 285.34 o 19128 285.34 c 4026 285.61 o 19131 285.61 c 4023 285.87 o 19134 285.87 c 4020 286.14 o 19136 286.14 c 4018 286.41 o 19139 286.41 c 4015 286.98 o 19140 286.98 c 4014 287.23 o 19141 287.23 c 4013 287.77 o 19142 287.77 c 4012 288.82 o 19144 288.82 c 4010 289.08 o 19146 289.08 c 4008 289.35 o 19148 289.35 c 4006 290.19 o 19151 290.19 c 4003 291.34 o 19152 291.34 c 4002 291.61 o 19154 291.61 c 4000 292.41 o 19155 292.41 c 3999 292.69 o 19158 292.69 c 3996 293.23 o 19160 293.23 c 3994 293.52 o 19161 293.52 c 3993 293.78 o 19163 293.78 c 3991 294.06 o 19165 294.06 c 3989 294.33 o 19169 294.33 c 3985 294.61 o 19172 294.61 c 3982 294.88 o 19173 294.88 c 3981 295.14 o 19175 295.14 c 3979 295.43 o 19176 295.43 c 3978 295.73 o 19180 295.73 c 3974 296.00 o 19182 296.00 c 3972 296.26 o 19184 296.26 c 3970 296.53 o 19186 296.53 c 3968 296.83 o 19188 296.83 c 3966 297.33 o 19191 297.33 c 3963 297.59 o 19192 297.59 c 3962 297.86 o 19195 297.86 c 3959 298.13 o 19197 298.13 c 3957 299.20 o 19198 299.20 c 3956 299.73 o 19199 299.73 c 3955 299.98 o 19202 299.98 c 3952 300.51 o 19204 300.51 c 3950 300.77 o 19206 300.77 c 3948 301.04 o 19209 301.04 c 3945 302.70 o 19211 302.70 c 3943 302.97 o 19215 302.97 c 3939 303.23 o 19217 303.23 c 3937 303.52 o 19219 303.52 c 3935 304.33 o 19220 304.33 c 3934 304.60 o 19222 304.60 c 3932 304.89 o 19224 304.89 c 3930 305.16 o 19227 305.16 c 3927 305.71 o 19230 305.71 c 3924 305.98 o 19233 305.98 c 3921 306.22 o 19236 306.22 c 3918 307.61 o 19239 307.61 c 3915 307.91 o 19243 307.91 c 3911 308.20 o 19245 308.20 c 3909 309.06 o 19248 309.06 c 3906 309.33 o 19249 309.33 c 3905 309.62 o 19250 309.62 c 3904 309.89 o 19253 309.89 c 3901 310.18 o 19255 310.18 c 3899 310.46 o 19256 310.46 c 3898 310.73 o 19260 310.73 c 3894 311.55 o 19261 311.55 c 3893 311.82 o 19262 311.82 c 3892 312.11 o 19264 312.11 c 3890 312.41 o 19266 312.41 c 3888 312.70 o 19269 312.70 c 3885 314.67 o 19271 314.67 c 3883 314.96 o 19273 314.96 c 3881 315.22 o 19275 315.22 c 3879 315.77 o 19276 315.78 c 3878 316.07 o 19279 316.07 c 3875 316.35 o 19282 316.35 c 3872 316.63 o 19284 316.63 c 3870 316.92 o 19287 316.92 c 3867 317.21 o 19289 317.21 c 3865 317.49 o 19290 317.49 c 3864 317.78 o 19291 317.78 c 3863 318.05 o 19292 318.06 c 3862 318.33 o 19296 318.33 c 3858 318.61 o 19299 318.61 c 3855 318.88 o 19300 318.88 c 3854 319.15 o 19303 319.15 c 3851 319.45 o 19305 319.45 c 3849 320.00 o 19308 320.00 c 3846 320.27 o 19310 320.27 c 3844 320.56 o 19311 320.56 c 3843 320.83 o 19312 320.83 c 3842 321.11 o 19315 321.11 c 3839 321.37 o 19317 321.37 c 3837 321.93 o 19318 321.93 c 3836 322.19 o 19319 322.19 c 3835 322.48 o 19321 322.48 c 3833 322.77 o 19322 322.77 c 3832 323.07 o 19323 323.07 c 3831 323.37 o 19324 323.37 c 3830 323.66 o 19327 323.66 c 3827 323.95 o 19328 323.95 c 3826 326.37 o 19330 326.37 c 3824 326.97 o 19331 326.97 c 3823 327.56 o 19333 327.56 c 3821 327.87 o 19335 327.87 c 3819 328.48 o 19338 328.48 c 3816 329.37 o 19339 329.37 c 3815 329.68 o 19340 329.68 c 3814 329.99 o 19341 329.99 c 3813 330.30 o 19343 330.30 c 3811 330.61 o 19345 330.61 c 3809 330.93 o 19346 330.93 c 3808 331.24 o 19347 331.24 c 3807 331.87 o 19348 331.87 c 3806 332.17 o 19350 332.17 c 3804 332.36 o 19355 332.36 c 3799 332.97 o 19356 332.97 c 3798 333.59 o 19359 333.59 c 3795 333.89 o 19362 333.89 c 3792 334.21 o 19364 334.21 c 3790 334.82 o 19365 334.82 c 3789 335.13 o 19367 335.13 c 3787 335.46 o 19371 335.46 c 3783 335.77 o 19372 335.77 c 3782 336.43 o 19375 336.43 c 3779 337.72 o 19376 337.72 c 3778 338.03 o 19377 338.03 c 3777 338.96 o 19379 338.96 c 3775 339.28 o 19380 339.28 c 3774 339.89 o 19383 339.89 c 3771 340.21 o 19385 340.21 c 3769 341.18 o 19387 341.18 c 3767 341.51 o 19389 341.51 c 3765 341.82 o 19390 341.82 c 3764 342.45 o 19391 342.45 c 3763 342.77 o 19394 342.77 c 3760 343.72 o 19396 343.72 c 3758 344.04 o 19397 344.04 c 3757 344.36 o 19398 344.36 c 3756 345.00 o 19399 345.00 c 3755 346.61 o 19402 346.61 c 3752 346.92 o 19404 346.92 c 3750 347.58 o 19405 347.58 c 3749 347.92 o 19408 347.92 c 3746 348.95 o 19409 348.95 c 3745 349.28 o 19412 349.28 c 3742 350.56 o 19414 350.56 c 3740 350.91 o 19416 350.91 c 3738 352.26 o 19417 352.26 c 3737 352.59 o 19419 352.59 c 3735 352.93 o 19422 352.93 c 3732 353.62 o 19424 353.62 c 3730 353.97 o 19425 353.97 c 3729 355.36 o 19426 355.36 c 3728 355.72 o 19429 355.72 c 3725 356.08 o 19431 356.08 c 3723 356.42 o 19433 356.42 c 3721 356.79 o 19434 356.79 c 3720 357.14 o 19437 357.14 c 3717 357.50 o 19440 357.50 c 3714 357.86 o 19441 357.86 c 3713 358.57 o 19443 358.57 c 3711 358.92 o 19444 358.92 c 3710 361.05 o 19449 361.05 c 3705 361.42 o 19451 361.42 c 3703 362.11 o 19452 362.11 c 3702 362.46 o 19454 362.46 c 3700 362.80 o 19455 362.80 c 3699 363.17 o 19456 363.17 c 3698 363.88 o 19457 363.88 c 3697 364.24 o 19459 364.24 c 3695 364.60 o 19461 364.60 c 3693 366.02 o 19462 366.02 c 3692 366.73 o 19463 366.73 c 3691 367.08 o 19466 367.08 c 3688 367.45 o 19468 367.45 c 3686 367.81 o 19471 367.81 c 3683 368.17 o 19474 368.17 c 3680 368.52 o 19476 368.52 c 3678 370.60 o 19479 370.60 c 3675 370.95 o 19480 370.95 c 3674 371.28 o 19481 371.28 c 3673 372.70 o 19483 372.70 c 3671 373.77 o 19486 373.77 c 3668 374.12 o 19487 374.12 c 3667 375.96 o 19488 375.96 c 3666 376.30 o 19489 376.30 c 3665 377.38 o 19492 377.38 c 3662 377.73 o 19493 377.73 c 3661 378.79 o 19494 378.79 c 3660 379.15 o 19495 379.15 c 3659 379.50 o 19498 379.50 c 3656 380.18 o 19499 380.18 c 3655 382.87 o 19500 382.87 c 3654 383.22 o 19501 383.22 c 3653 383.44 o 19503 383.44 c 3651 383.80 o 19505 383.80 c 3649 384.16 o 19508 384.16 c 3646 385.17 o 19511 385.17 c 3643 385.53 o 19512 385.53 c 3642 385.87 o 19514 385.87 c 3640 386.90 o 19515 386.90 c 3639 387.23 o 19516 387.23 c 3638 387.60 o 19519 387.60 c 3635 388.28 o 19522 388.28 c 3632 388.63 o 19524 388.63 c 3630 390.27 o 19526 390.27 c 3628 392.00 o 19527 392.00 c 3627 392.35 o 19528 392.35 c 3626 392.69 o 19533 392.69 c 3621 393.06 o 19537 393.06 c 3617 393.41 o 19538 393.41 c 3616 394.15 o 19539 394.15 c 3615 394.52 o 19540 394.52 c 3614 395.96 o 19541 395.96 c 3613 396.32 o 19542 396.32 c 3612 397.18 o 19545 397.18 c 3609 397.54 o 19547 397.54 c 3607 397.91 o 19548 397.91 c 3606 398.26 o 19549 398.26 c 3605 398.62 o 19551 398.62 c 3603 398.98 o 19552 398.98 c 3602 399.33 o 19554 399.33 c 3600 399.69 o 19556 399.69 c 3598 400.05 o 19558 400.05 c 3596 400.40 o 19560 400.40 c 3594 402.97 o 19561 402.97 c 3593 403.38 o 19564 403.38 c 3590 404.15 o 19565 404.15 c 3589 404.55 o 19567 404.55 c 3587 404.95 o 19568 404.95 c 3586 405.35 o 19569 405.35 c 3585 407.02 o 19570 407.02 c 3584 407.44 o 19571 407.44 c 3583 407.86 o 19573 407.86 c 3581 408.65 o 19574 408.65 c 3580 409.49 o 19576 409.49 c 3578 409.89 o 19577 409.89 c 3577 410.73 o 19578 410.73 c 3576 411.58 o 19579 411.58 c 3575 412.02 o 19580 412.02 c 3574 412.46 o 19581 412.46 c 3573 413.73 o 19582 413.73 c 3572 414.15 o 19583 414.15 c 3571 415.02 o 19586 415.02 c 3568 415.89 o 19589 415.89 c 3565 416.32 o 19590 416.32 c 3564 416.74 o 19591 416.74 c 3563 417.57 o 19593 417.57 c 3561 417.99 o 19595 417.99 c 3559 418.86 o 19596 418.86 c 3558 419.30 o 19597 419.30 c 3557 419.60 o 19599 419.60 c 3555 419.96 o 19601 419.96 c 3553 420.40 o 19602 420.40 c 3552 420.82 o 19606 420.82 c 3548 421.68 o 19607 421.68 c 3547 422.09 o 19608 422.09 c 3546 422.54 o 19609 422.54 c 3545 422.96 o 19610 422.96 c 3544 423.39 o 19614 423.39 c 3540 423.85 o 19616 423.85 c 3538 424.73 o 19618 424.73 c 3536 425.16 o 19620 425.16 c 3534 425.59 o 19624 425.59 c 3530 426.04 o 19626 426.04 c 3528 428.32 o 19629 428.32 c 3525 428.78 o 19630 428.78 c 3524 429.68 o 19632 429.68 c 3522 430.13 o 19633 430.13 c 3521 430.59 o 19634 430.59 c 3520 431.04 o 19635 431.04 c 3519 431.51 o 19638 431.51 c 3516 433.33 o 19639 433.33 c 3515 433.79 o 19640 433.79 c 3514 434.26 o 19641 434.26 c 3513 434.71 o 19643 434.71 c 3511 435.19 o 19645 435.19 c 3509 436.14 o 19646 436.14 c 3508 436.52 o 19650 436.52 c 3504 437.42 o 19653 437.42 c 3501 437.87 o 19655 437.87 c 3499 438.33 o 19656 438.33 c 3498 438.78 o 19658 438.78 c 3496 439.25 o 19661 439.25 c 3493 439.72 o 19664 439.72 c 3490 440.17 o 19666 440.17 c 3488 440.52 o 19669 440.52 c 3485 440.97 o 19672 440.97 c 3482 441.43 o 19674 441.43 c 3480 441.89 o 19676 441.89 c 3478 443.30 o 19677 443.30 c 3477 444.23 o 19682 444.23 c 3472 444.44 o 19685 444.44 c 3469 444.92 o 19688 444.92 c 3466 445.37 o 19689 445.37 c 3465 445.82 o 19692 445.82 c 3462 446.29 o 19693 446.29 c 3461 446.77 o 19694 446.77 c 3460 447.23 o 19697 447.23 c 3457 447.71 o 19700 447.71 c 3454 448.66 o 19701 448.66 c 3453 449.13 o 19702 449.13 c 3452 449.42 o 19704 449.42 c 3450 452.72 o 19705 452.72 c 3449 454.12 o 19709 454.12 c 3445 454.58 o 19710 454.58 c 3444 455.03 o 19711 455.03 c 3443 455.53 o 19712 455.53 c 3442 455.99 o 19714 455.99 c 3440 456.90 o 19716 456.90 c 3438 457.34 o 19717 457.34 c 3437 459.73 o 19719 459.73 c 3435 460.22 o 19721 460.22 c 3433 460.69 o 19722 460.69 c 3432 461.19 o 19723 461.19 c 3431 463.61 o 19724 463.61 c 3430 464.08 o 19725 464.08 c 3429 464.55 o 19726 464.55 c 3428 465.04 o 19727 465.04 c 3427 465.52 o 19731 465.52 c 3423 465.91 o 19734 465.91 c 3420 476.86 o 19736 476.86 c 3418 478.66 o 19737 478.66 c 3417 479.01 o 19740 479.01 c 3414 480.39 o 19743 480.39 c 3411 480.85 o 19744 480.85 c 3410 482.24 o 19745 482.24 c 3409 482.72 o 19746 482.72 c 3408 483.20 o 19747 483.20 c 3407 484.65 o 19751 484.65 c 3403 485.12 o 19752 485.12 c 3402 485.58 o 19754 485.58 c 3400 486.07 o 19755 486.07 c 3399 486.54 o 19756 486.54 c 3398 487.00 o 19757 487.00 c 3397 487.47 o 19759 487.47 c 3395 487.94 o 19760 487.94 c 3394 488.40 o 19761 488.40 c 3393 491.76 o 19763 491.76 c 3391 493.60 o 19764 493.60 c 3390 494.54 o 19765 494.54 c 3389 495.02 o 19766 495.02 c 3388 495.48 o 19768 495.48 c 3386 495.95 o 19769 495.95 c 3385 496.42 o 19770 496.42 c 3384 497.36 o 19771 497.36 c 3383 497.83 o 19772 497.83 c 3382 498.17 o 19774 498.17 c 3380 498.62 o 19775 498.62 c 3379 499.06 o 19778 499.06 c 3376 501.34 o 19779 501.34 c 3375 501.83 o 19781 501.83 c 3373 504.42 o 19782 504.42 c 3372 505.37 o 19784 505.37 c 3370 506.31 o 19785 506.31 c 3369 506.81 o 19786 506.81 c 3368 507.71 o 19789 507.71 c 3365 508.65 o 19791 508.65 c 3363 509.10 o 19794 509.10 c 3360 509.57 o 19795 509.57 c 3359 510.02 o 19796 510.02 c 3358 511.41 o 19798 511.41 c 3356 511.88 o 19800 511.88 c 3354 513.27 o 19804 513.27 c 3350 513.74 o 19807 513.74 c 3347 514.24 o 19810 514.24 c 3344 514.70 o 19811 514.70 c 3343 515.62 o 19813 515.62 c 3341 516.07 o 19816 516.07 c 3338 517.02 o 19819 517.02 c 3335 519.83 o 19821 519.83 c 3333 520.30 o 19823 520.30 c 3331 521.24 o 19825 521.24 c 3329 521.69 o 19826 521.69 c 3328 522.16 o 19827 522.16 c 3327 522.64 o 19831 522.64 c 3323 523.11 o 19835 523.11 c 3319 525.14 o 19836 525.14 c 3318 525.63 o 19838 525.63 c 3316 526.13 o 19841 526.13 c 3313 526.64 o 19842 526.64 c 3312 527.15 o 19843 527.15 c 3311 527.65 o 19844 527.65 c 3310 528.16 o 19845 528.16 c 3309 529.68 o 19846 529.68 c 3308 530.21 o 19848 530.21 c 3306 530.72 o 19851 530.72 c 3303 532.10 o 19852 532.10 c 3302 532.59 o 19853 532.59 c 3301 533.07 o 19854 533.07 c 3300 533.61 o 19855 533.61 c 3299 534.09 o 19857 534.09 c 3297 534.60 o 19858 534.60 c 3296 538.16 o 19859 538.16 c 3295 538.65 o 19860 538.65 c 3294 540.65 o 19862 540.65 c 3292 541.15 o 19864 541.15 c 3290 541.65 o 19866 541.65 c 3288 542.15 o 19868 542.15 c 3286 542.66 o 19870 542.66 c 3284 543.64 o 19872 543.64 c 3282 544.14 o 19873 544.14 c 3281 550.35 o 19874 550.35 c 3280 550.86 o 19876 550.86 c 3278 551.31 o 19878 551.31 c 3276 551.82 o 19883 551.82 c 3271 552.32 o 19887 552.32 c 3267 552.85 o 19888 552.85 c 3266 553.36 o 19890 553.36 c 3264 553.71 o 19892 553.72 c 3262 554.78 o 19893 554.78 c 3261 555.29 o 19894 555.29 c 3260 555.80 o 19896 555.80 c 3258 556.83 o 19899 556.83 c 3255 557.36 o 19900 557.36 c 3254 557.89 o 19902 557.89 c 3252 558.43 o 19903 558.43 c 3251 558.96 o 19904 558.96 c 3250 562.74 o 19906 562.74 c 3248 563.82 o 19910 563.82 c 3244 564.34 o 19911 564.34 c 3243 565.39 o 19912 565.39 c 3242 565.89 o 19913 565.89 c 3241 567.48 o 19916 567.48 c 3238 570.68 o 19917 570.68 c 3237 571.22 o 19919 571.22 c 3235 571.77 o 19920 571.77 c 3234 572.85 o 19921 572.85 c 3233 573.37 o 19924 573.37 c 3230 575.88 o 19926 575.88 c 3228 577.99 o 19927 577.99 c 3227 578.50 o 19929 578.50 c 3225 579.58 o 19932 579.58 c 3222 580.11 o 19934 580.11 c 3220 580.62 o 19936 580.62 c 3218 581.41 o 19939 581.41 c 3215 582.95 o 19941 582.95 c 3213 584.49 o 19943 584.49 c 3211 585.50 o 19944 585.50 c 3210 586.51 o 19945 586.51 c 3209 587.52 o 19946 587.52 c 3208 589.02 o 19948 589.02 c 3206 589.51 o 19950 589.51 c 3204 590.52 o 19952 590.52 c 3202 592.46 o 19955 592.46 c 3199 593.91 o 19956 593.91 c 3198 594.39 o 19960 594.39 c 3194 596.31 o 19964 596.31 c 3190 596.80 o 19965 596.80 c 3189 597.74 o 19966 597.74 c 3188 598.22 o 19967 598.22 c 3187 598.68 o 19969 598.68 c 3185 599.64 o 19970 599.64 c 3184 600.12 o 19972 600.12 c 3182 600.58 o 19973 600.58 c 3181 601.05 o 19974 601.05 c 3180 602.00 o 19975 602.00 c 3179 602.47 o 19977 602.47 c 3177 603.38 o 19978 603.38 c 3176 603.85 o 19980 603.85 c 3174 604.31 o 19981 604.31 c 3173 605.68 o 19983 605.68 c 3171 606.12 o 19984 606.12 c 3170 607.04 o 19986 607.04 c 3168 607.48 o 19987 607.48 c 3167 607.95 o 19988 607.95 c 3166 608.88 o 19989 608.88 c 3165 609.21 o 19990 609.21 c 3164 609.67 o 19992 609.67 c 3162 610.14 o 19993 610.14 c 3161 611.49 o 19994 611.49 c 3160 611.93 o 19996 611.93 c 3158 612.38 o 19998 612.38 c 3156 612.86 o 19999 612.86 c 3155 614.23 o 20000 614.23 c 3154 614.47 o 20002 614.47 c 3152 617.72 o 20004 617.72 c 3150 619.13 o 20008 619.13 c 3146 621.00 o 20011 621.00 c 3143 621.95 o 20014 621.95 c 3140 622.88 o 20015 622.88 c 3139 623.34 o 20016 623.34 c 3138 623.82 o 20018 623.82 c 3136 624.30 o 20019 624.30 c 3135 625.09 o 20021 625.09 c 3133 625.56 o 20022 625.56 c 3132 626.03 o 20023 626.03 c 3131 626.93 o 20025 626.93 c 3129 631.51 o 20026 631.51 c 3128 631.98 o 20027 631.98 c 3127 632.92 o 20028 632.92 c 3126 633.86 o 20030 633.86 c 3124 636.49 o 20031 636.49 c 3123 636.94 o 20032 636.94 c 3122 637.88 o 20033 637.88 c 3121 643.62 o 20034 643.62 c 3120 644.09 o 20035 644.09 c 3119 645.09 o 20036 645.09 c 3118 646.07 o 20037 646.07 c 3117 647.06 o 20039 647.06 c 3115 648.06 o 20040 648.06 c 3114 648.57 o 20041 648.57 c 3113 649.47 o 20043 649.47 c 3111 649.98 o 20044 649.98 c 3110 650.47 o 20045 650.47 c 3109 650.97 o 20046 650.97 c 3108 652.78 o 20049 652.78 c 3105 653.27 o 20050 653.27 c 3104 653.78 o 20051 653.78 c 3103 654.30 o 20055 654.30 c 3099 654.82 o 20056 654.82 c 3098 655.25 o 20058 655.25 c 3096 658.39 o 20061 658.39 c 3093 658.90 o 20064 658.90 c 3090 660.00 o 20065 660.00 c 3089 660.54 o 20066 660.54 c 3088 661.09 o 20068 661.09 c 3086 664.37 o 20070 664.37 c 3084 664.92 o 20073 664.92 c 3081 666.00 o 20074 666.00 c 3080 667.12 o 20075 667.12 c 3079 667.68 o 20076 667.68 c 3078 668.79 o 20078 668.79 c 3076 670.90 o 20079 670.90 c 3075 671.46 o 20082 671.46 c 3072 671.99 o 20084 671.99 c 3070 672.55 o 20086 672.55 c 3068 677.77 o 20089 677.77 c 3065 678.90 o 20090 678.90 c 3064 679.48 o 20091 679.48 c 3063 680.06 o 20093 680.06 c 3061 680.63 o 20095 680.63 c 3059 681.18 o 20096 681.18 c 3058 683.98 o 20097 683.98 c 3057 684.54 o 20098 684.54 c 3056 685.11 o 20100 685.11 c 3054 685.66 o 20101 685.66 c 3053 686.24 o 20102 686.24 c 3052 687.32 o 20104 687.32 c 3050 687.88 o 20106 687.88 c 3048 688.44 o 20107 688.44 c 3047 689.58 o 20110 689.58 c 3044 690.13 o 20112 690.13 c 3042 698.88 o 20113 698.88 c 3041 699.99 o 20114 699.99 c 3040 700.48 o 20115 700.48 c 3039 705.34 o 20118 705.34 c 3036 705.88 o 20120 705.88 c 3034 706.29 o 20123 706.29 c 3031 709.65 o 20125 709.65 c 3029 710.21 o 20127 710.21 c 3027 710.77 o 20129 710.77 c 3025 712.47 o 20131 712.47 c 3023 712.91 o 20133 712.91 c 3021 714.66 o 20138 714.66 c 3016 736.61 o 20139 736.61 c 3015 738.89 o 20140 738.89 c 3014 743.36 o 20141 743.36 c 3013 743.94 o 20142 743.94 c 3012 746.88 o 20143 746.88 c 3011 748.07 o 20144 748.07 c 3010 752.95 o 20147 752.95 c 3007 755.45 o 20150 755.45 c 3004 757.86 o 20152 757.86 c 3002 758.48 o 20154 758.48 c 3000 759.09 o 20155 759.09 c 2999 759.72 o 20156 759.72 c 2998 760.34 o 20157 760.34 c 2997 761.61 o 20158 761.61 c 2996 783.49 o 20160 783.49 c 2994 786.24 o 20161 786.24 c 2993 786.84 o 20162 786.84 c 2992 787.46 o 20164 787.46 c 2990 788.08 o 20166 788.08 c 2988 790.56 o 20167 790.56 c 2987 791.79 o 20168 791.79 c 2986 792.42 o 20170 792.42 c 2984 793.06 o 20171 793.06 c 2983 796.17 o 20174 796.17 c 2980 797.39 o 20175 797.39 c 2979 799.24 o 20177 799.24 c 2977 800.48 o 20181 800.48 c 2973 802.31 o 20185 802.31 c 2969 804.17 o 20186 804.17 c 2968 804.79 o 20188 804.80 c 2966 806.06 o 20189 806.06 c 2965 807.31 o 20190 807.31 c 2964 807.94 o 20194 807.94 c 2960 808.58 o 20195 808.58 c 2959 809.20 o 20196 809.20 c 2958 809.81 o 20198 809.81 c 2956 812.33 o 20199 812.33 c 2955 813.60 o 20200 813.61 c 2954 814.24 o 20201 814.24 c 2953 814.86 o 20204 814.86 c 2950 815.51 o 20205 815.51 c 2949 817.42 o 20207 817.42 c 2947 819.34 o 20210 819.34 c 2944 822.49 o 20213 822.49 c 2941 823.13 o 20214 823.13 c 2940 824.40 o 20218 824.40 c 2936 825.68 o 20222 825.68 c 2932 828.25 o 20224 828.25 c 2930 828.91 o 20228 828.91 c 2926 829.54 o 20229 829.54 c 2925 829.96 o 20230 829.96 c 2924 838.93 o 20231 838.93 c 2923 842.14 o 20232 842.14 c 2922 842.77 o 20233 842.77 c 2921 843.39 o 20234 843.39 c 2920 843.75 o 20238 843.75 c 2916 844.39 o 20240 844.39 c 2914 844.75 o 20241 844.75 c 2913 845.90 o 20243 845.90 c 2911 846.54 o 20247 846.54 c 2907 847.79 o 20249 847.79 c 2905 848.43 o 20250 848.43 c 2904 850.40 o 20251 850.40 c 2903 852.31 o 20253 852.31 c 2901 854.31 o 20254 854.31 c 2900 856.69 o 20257 856.69 c 2897 857.98 o 20258 857.98 c 2896 858.63 o 20260 858.63 c 2894 859.88 o 20262 859.88 c 2892 860.46 o 20265 860.46 c 2889 860.70 o 20266 860.70 c 2888 861.32 o 20267 861.32 c 2887 861.96 o 20270 861.96 c 2884 863.86 o 20271 863.86 c 2883 864.50 o 20272 864.50 c 2882 865.76 o 20275 865.76 c 2879 866.39 o 20276 866.39 c 2878 867.64 o 20277 867.64 c 2877 868.28 o 20278 868.28 c 2876 868.90 o 20279 868.90 c 2875 869.53 o 20280 869.53 c 2874 870.18 o 20282 870.18 c 2872 872.09 o 20284 872.09 c 2870 872.73 o 20286 872.73 c 2868 873.98 o 20288 873.98 c 2866 874.61 o 20293 874.61 c 2861 884.28 o 20295 884.28 c 2859 884.91 o 20297 884.91 c 2857 885.40 o 20298 885.40 c 2856 886.01 o 20299 886.01 c 2855 889.18 o 20301 889.18 c 2853 889.81 o 20304 889.81 c 2850 890.44 o 20305 890.44 c 2849 891.08 o 20307 891.08 c 2847 892.37 o 20309 892.37 c 2845 893.01 o 20310 893.01 c 2844 893.65 o 20312 893.65 c 2842 900.13 o 20313 900.13 c 2841 901.44 o 20316 901.44 c 2838 902.09 o 20317 902.09 c 2837 903.99 o 20318 903.99 c 2836 904.64 o 20319 904.64 c 2835 906.62 o 20320 906.62 c 2834 907.29 o 20322 907.29 c 2832 907.95 o 20323 907.95 c 2831 909.30 o 20324 909.30 c 2830 909.97 o 20325 909.97 c 2829 910.52 o 20327 910.52 c 2827 911.19 o 20329 911.19 c 2825 911.88 o 20331 911.88 c 2823 919.35 o 20332 919.35 c 2822 921.32 o 20334 921.32 c 2820 922.91 o 20335 922.91 c 2819 923.54 o 20336 923.54 c 2818 924.21 o 20337 924.21 c 2817 924.85 o 20338 924.85 c 2816 928.09 o 20340 928.09 c 2814 928.75 o 20341 928.75 c 2813 939.91 o 20343 939.91 c 2811 940.59 o 20346 940.59 c 2808 942.52 o 20347 942.52 c 2807 943.54 o 20350 943.54 c 2804 944.69 o 20351 944.69 c 2803 945.36 o 20352 945.36 c 2802 946.02 o 20353 946.02 c 2801 947.33 o 20354 947.33 c 2800 948.00 o 20356 948.00 c 2798 960.09 o 20357 960.09 c 2797 962.19 o 20359 962.19 c 2795 968.42 o 20360 968.42 c 2794 969.10 o 20363 969.10 c 2791 973.32 o 20365 973.32 c 2789 974.05 o 20367 974.05 c 2787 976.24 o 20368 976.25 c 2786 977.70 o 20370 977.70 c 2784 979.17 o 20371 979.17 c 2783 981.37 o 20372 981.37 c 2782 998.75 o 20373 998.75 c 2781 1002.49 o 20374 1002.49 c 2780 1007.58 o 20376 1007.58 c 2778 1008.32 o 20377 1008.32 c 2777 1009.07 o 20380 1009.07 c 2774 1009.81 o 20382 1009.81 c 2772 1011.24 o 20384 1011.24 c 2770 1011.99 o 20385 1011.99 c 2769 1013.49 o 20386 1013.49 c 2768 1014.24 o 20387 1014.24 c 2767 1015.74 o 20389 1015.74 c 2765 1016.47 o 20390 1016.47 c 2764 1018.01 o 20391 1018.01 c 2763 1020.28 o 20393 1020.28 c 2761 1021.81 o 20394 1021.81 c 2760 1022.58 o 20396 1022.58 c 2758 1024.14 o 20398 1024.14 c 2756 1024.65 o 20400 1024.65 c 2754 1025.44 o 20402 1025.44 c 2752 1027.01 o 20404 1027.01 c 2750 1027.55 o 20408 1027.55 c 2746 1029.87 o 20410 1029.87 c 2744 1038.20 o 20411 1038.20 c 2743 1043.38 o 20413 1043.38 c 2741 1044.06 o 20415 1044.06 c 2739 1044.83 o 20416 1044.83 c 2738 1045.60 o 20417 1045.60 c 2737 1047.15 o 20418 1047.15 c 2736 1051.62 o 20419 1051.62 c 2735 1053.17 o 20422 1053.17 c 2732 1054.50 o 20423 1054.50 c 2731 1062.25 o 20424 1062.25 c 2730 1063.01 o 20425 1063.01 c 2729 1063.77 o 20427 1063.77 c 2727 1064.54 o 20428 1064.54 c 2726 1065.31 o 20429 1065.31 c 2725 1069.16 o 20431 1069.16 c 2723 1069.89 o 20432 1069.89 c 2722 1070.67 o 20433 1070.67 c 2721 1071.45 o 20434 1071.45 c 2720 1072.22 o 20435 1072.22 c 2719 1081.13 o 20436 1081.13 c 2718 1082.67 o 20437 1082.67 c 2717 1084.93 o 20438 1084.93 c 2716 1096.51 o 20439 1096.51 c 2715 1097.27 o 20441 1097.27 c 2713 1099.33 o 20442 1099.33 c 2712 1099.97 o 20443 1099.97 c 2711 1101.51 o 20444 1101.51 c 2710 1102.29 o 20445 1102.29 c 2709 1103.07 o 20447 1103.07 c 2707 1103.84 o 20449 1103.84 c 2705 1104.60 o 20450 1104.60 c 2704 1105.18 o 20452 1105.18 c 2702 1105.84 o 20453 1105.84 c 2701 1108.07 o 20454 1108.07 c 2700 1108.82 o 20455 1108.82 c 2699 1109.58 o 20456 1109.58 c 2698 1125.26 o 20457 1125.26 c 2697 1129.86 o 20458 1129.86 c 2696 1130.64 o 20459 1130.64 c 2695 1133.67 o 20460 1133.67 c 2694 1135.19 o 20464 1135.20 c 2690 1135.97 o 20465 1135.97 c 2689 1139.84 o 20467 1139.84 c 2687 1140.41 o 20472 1140.41 c 2682 1141.17 o 20474 1141.17 c 2680 1156.09 o 20475 1156.09 c 2679 1169.87 o 20477 1169.87 c 2677 1170.66 o 20478 1170.66 c 2676 1172.24 o 20481 1172.24 c 2673 1173.82 o 20483 1173.82 c 2671 1179.31 o 20484 1179.31 c 2670 1202.88 o 20485 1202.88 c 2669 1211.07 o 20486 1211.07 c 2668 1211.90 o 20487 1211.90 c 2667 1212.76 o 20489 1212.76 c 2665 1214.30 o 20490 1214.30 c 2664 1215.09 o 20492 1215.09 c 2662 1220.45 o 20497 1220.45 c 2657 1221.27 o 20499 1221.27 c 2655 1222.79 o 20501 1222.79 c 2653 1224.44 o 20503 1224.44 c 2651 1228.42 o 20504 1228.42 c 2650 1246.04 o 20505 1246.04 c 2649 1248.49 o 20507 1248.49 c 2647 1250.16 o 20508 1250.16 c 2646 1253.29 o 20509 1253.29 c 2645 1255.06 o 20510 1255.06 c 2644 1255.92 o 20511 1255.92 c 2643 1262.78 o 20512 1262.78 c 2642 1263.64 o 20513 1263.64 c 2641 1266.66 o 20515 1266.66 c 2639 1269.23 o 20516 1269.23 c 2638 1270.08 o 20517 1270.08 c 2637 1271.81 o 20518 1271.81 c 2636 1277.53 o 20521 1277.53 c 2633 1279.24 o 20522 1279.24 c 2632 1281.87 o 20524 1281.87 c 2630 1282.78 o 20525 1282.78 c 2629 1283.65 o 20526 1283.65 c 2628 1286.32 o 20527 1286.32 c 2627 1287.17 o 20529 1287.17 c 2625 1293.51 o 20531 1293.51 c 2623 1294.40 o 20532 1294.40 c 2622 1297.14 o 20533 1297.14 c 2621 1297.93 o 20534 1297.93 c 2620 1302.21 o 20537 1302.21 c 2617 1304.85 o 20538 1304.85 c 2616 1305.74 o 20539 1305.74 c 2615 1307.53 o 20541 1307.53 c 2613 1308.43 o 20543 1308.43 c 2611 1310.21 o 20545 1310.21 c 2609 1310.92 o 20548 1310.92 c 2606 1311.84 o 20551 1311.84 c 2603 1312.66 o 20552 1312.66 c 2602 1332.30 o 20553 1332.30 c 2601 1333.24 o 20554 1333.24 c 2600 1340.71 o 20555 1340.71 c 2599 1341.63 o 20558 1341.63 c 2596 1355.46 o 20560 1355.46 c 2594 1356.39 o 20561 1356.39 c 2593 1368.00 o 20562 1368.00 c 2592 1368.94 o 20563 1368.94 c 2591 1371.41 o 20564 1371.41 c 2590 1372.20 o 20565 1372.20 c 2589 1373.01 o 20566 1373.01 c 2588 1373.90 o 20571 1373.90 c 2583 1377.57 o 20574 1377.57 c 2580 1388.23 o 20576 1388.23 c 2578 1390.05 o 20578 1390.05 c 2576 1391.82 o 20579 1391.82 c 2575 1394.52 o 20580 1394.52 c 2574 1395.42 o 20582 1395.42 c 2572 1396.31 o 20583 1396.31 c 2571 1399.00 o 20585 1399.00 c 2569 1406.17 o 20586 1406.17 c 2568 1418.15 o 20587 1418.15 c 2567 1419.06 o 20588 1419.06 c 2566 1419.72 o 20589 1419.72 c 2565 1421.56 o 20590 1421.56 c 2564 1430.63 o 20591 1430.63 c 2563 1436.31 o 20592 1436.31 c 2562 1444.61 o 20593 1444.61 c 2561 1445.55 o 20594 1445.55 c 2560 1446.22 o 20596 1446.22 c 2558 1448.05 o 20597 1448.05 c 2557 1449.90 o 20599 1449.90 c 2555 1450.80 o 20603 1450.80 c 2551 1457.37 o 20604 1457.37 c 2550 1458.31 o 20607 1458.31 c 2547 1463.04 o 20608 1463.04 c 2546 1463.99 o 20610 1463.99 c 2544 1464.94 o 20611 1464.94 c 2543 1465.31 o 20614 1465.31 c 2540 1466.10 o 20615 1466.10 c 2539 1467.05 o 20616 1467.05 c 2538 1468.95 o 20617 1468.95 c 2537 1471.84 o 20618 1471.84 c 2536 1472.83 o 20619 1472.83 c 2535 1473.65 o 20622 1473.65 c 2532 1475.59 o 20624 1475.59 c 2530 1477.50 o 20625 1477.50 c 2529 1478.45 o 20626 1478.45 c 2528 1495.24 o 20627 1495.24 c 2527 1496.14 o 20629 1496.14 c 2525 1498.03 o 20632 1498.03 c 2522 1498.98 o 20633 1498.98 c 2521 1499.97 o 20634 1499.97 c 2520 1501.88 o 20635 1501.88 c 2519 1504.17 o 20636 1504.17 c 2518 1507.70 o 20638 1507.70 c 2516 1510.60 o 20639 1510.60 c 2515 1515.06 o 20642 1515.06 c 2512 1516.94 o 20643 1516.94 c 2511 1517.89 o 20645 1517.89 c 2509 1520.76 o 20646 1520.76 c 2508 1525.02 o 20647 1525.02 c 2507 1525.98 o 20648 1525.98 c 2506 1526.91 o 20650 1526.91 c 2504 1528.36 o 20651 1528.36 c 2503 1543.95 o 20653 1543.95 c 2501 1548.63 o 20654 1548.63 c 2500 1552.43 o 20655 1552.43 c 2499 1560.93 o 20657 1560.93 c 2497 1565.44 o 20661 1565.44 c 2493 1566.36 o 20662 1566.36 c 2492 1567.31 o 20663 1567.31 c 2491 1570.96 o 20664 1570.96 c 2490 1571.90 o 20665 1571.90 c 2489 1572.75 o 20667 1572.75 c 2487 1573.46 o 20669 1573.46 c 2485 1582.71 o 20670 1582.71 c 2484 1586.34 o 20671 1586.34 c 2483 1592.44 o 20672 1592.44 c 2482 1593.40 o 20676 1593.40 c 2478 1595.01 o 20677 1595.01 c 2477 1598.73 o 20679 1598.73 c 2475 1599.66 o 20680 1599.66 c 2474 1609.38 o 20681 1609.38 c 2473 1621.68 o 20682 1621.68 c 2472 1622.56 o 20684 1622.56 c 2470 1624.44 o 20686 1624.44 c 2468 1625.97 o 20687 1625.97 c 2467 1626.91 o 20689 1626.91 c 2465 1657.25 1657.25 search 1657.25 run=0 nbConstraintChecks=3341942794 nbAssignments=3614 1657.25 => wckTime=1594.481 cpuTime=1579.55 mem=78M53 1657.26 1657.26 global 1657.26 nbConstraintChecks=3341942794 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1657.26 solvingWckTime=1594.445 solvingCpuTime=1579.52 expiredTime=no totalExploration=no nbFoundSolutions=0 1657.26 globalCpuTime=1640.55 1657.26 => wckTime=1656.941 cpuTime=1640.5 mem=78M53 1657.26 1657.26 solver IterativeSystematicSolver being built... 1658.22 => wckTime=1657.902 cpuTime=1641.02 mem=229M370 2418.12 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/node11/watcher-275609-1169223883 -o ROOT/results/node11/solver-275609-1169223883 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275609-1169223883/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.85 1.97 1.99 4/87 10870 /proc/meminfo: memFree=1157384/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=18540 CPUtime=0 /proc/10869/stat : 10869 (runsolver) R 10867 10869 10801 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270783377 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/10869/statm: 4635 279 244 17 0 2626 0 [startup+0.103856 s] /proc/loadavg: 1.85 1.97 1.99 4/87 10870 /proc/meminfo: memFree=1157384/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=914988 CPUtime=0.08 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 2969 0 1 0 6 2 0 0 19 0 8 0 270783377 936947712 2715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228747 2715 1420 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.511935 s] /proc/loadavg: 1.85 1.97 1.99 4/87 10870 /proc/meminfo: memFree=1157384/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915332 CPUtime=0.48 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 7598 0 1 0 44 4 0 0 18 0 8 0 270783377 937299968 7337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228833 7337 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 915332 [startup+1.3351 s] /proc/loadavg: 1.85 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1065424/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915604 CPUtime=1.29 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 28127 0 1 0 116 13 0 0 23 0 8 0 270783377 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228901 27864 2164 14 0 215371 0 [pid=10869/tid=10871] ppid=10867 vsize=915604 CPUtime=0.11 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 11568 0 0 0 6 5 0 0 16 0 8 0 270783381 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915604 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915604 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915604 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915604 CPUtime=0.16 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 270783385 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915604 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915604 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937578496 27864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915604 [startup+2.98842 s] /proc/loadavg: 1.85 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1048528/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=2.93 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 29531 0 1 0 279 14 0 0 25 0 8 0 270783377 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 29265 2184 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.16 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 12896 0 0 0 11 5 0 0 17 0 8 0 270783381 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.19 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 417 0 0 0 19 0 0 0 16 0 8 0 270783385 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915744 [startup+6.27007 s] /proc/loadavg: 1.86 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1048400/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=6.18 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 29532 0 1 0 603 15 0 0 25 0 8 0 270783377 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 29266 2184 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.16 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 12896 0 0 0 11 5 0 0 16 0 8 0 270783381 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.19 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270783385 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 915744 [startup+12.7594 s] /proc/loadavg: 1.87 1.97 1.99 4/94 10877 /proc/meminfo: memFree=1048528/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=12.62 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 29544 0 1 0 1246 16 0 0 25 0 8 0 270783377 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 29278 2185 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.16 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 12896 0 0 0 11 5 0 0 16 0 8 0 270783381 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.21 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 429 0 0 0 21 0 0 0 15 0 8 0 270783385 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 915744 [startup+25.6089 s] /proc/loadavg: 1.90 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1045264/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=25.34 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 30408 0 1 0 2517 17 0 0 25 0 8 0 270783377 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 30140 2185 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.22 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 13757 0 0 0 17 5 0 0 16 0 8 0 270783381 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.21 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 430 0 0 0 21 0 0 0 16 0 8 0 270783385 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 915744 [startup+51.223 s] /proc/loadavg: 1.93 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1045264/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=50.72 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 30416 0 1 0 5051 21 0 0 25 0 8 0 270783377 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 30146 2185 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.22 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 13757 0 0 0 17 5 0 0 16 0 8 0 270783381 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.22 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 436 0 0 0 22 0 0 0 16 0 8 0 270783385 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 30146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 915744 [startup+102.471 s] /proc/loadavg: 1.97 1.97 1.99 4/94 10877 /proc/meminfo: memFree=1018576/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=101.45 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 37448 0 1 0 10113 32 0 0 25 0 8 0 270783377 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/10869/statm: 228936 37130 2504 14 0 215406 0 [pid=10869/tid=10871] ppid=10867 vsize=915744 CPUtime=0.68 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 20400 0 0 0 61 7 0 0 16 0 8 0 270783381 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270783381 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915744 CPUtime=0.31 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 472 0 0 0 30 1 0 0 15 0 8 0 270783385 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937721856 37130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915744 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937721856 37130 18446744073709551615 134512640 134570532 4294956464 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.472 s] /proc/loadavg: 1.99 1.97 1.99 3/94 10877 /proc/meminfo: memFree=1018576/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915744 CPUtime=160.86 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 37450 0 1 0 16047 39 0 0 25 0 8 0 270783377 937721856 37132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2006.23 Current children cumulated vsize (KiB) 915980 [startup+2083.83 s] /proc/loadavg: 2.03 2.00 2.00 3/100 10972 /proc/meminfo: memFree=985384/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2066.18 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71805 0 1 0 206523 95 0 0 25 0 8 0 270783377 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71476 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 594 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2066.18 Current children cumulated vsize (KiB) 915980 [startup+2143.84 s] /proc/loadavg: 2.06 2.01 2.00 3/100 10972 /proc/meminfo: memFree=985320/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2126.12 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71805 0 1 0 212516 96 0 0 25 0 8 0 270783377 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074311320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71476 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 594 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2126.12 Current children cumulated vsize (KiB) 915980 [startup+2203.88 s] /proc/loadavg: 2.02 2.01 2.00 3/106 11080 /proc/meminfo: memFree=984120/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2186.03 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71806 0 1 0 218504 99 0 0 25 0 8 0 270783377 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71476 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 595 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2186.03 Current children cumulated vsize (KiB) 915980 [startup+2263.91 s] /proc/loadavg: 2.01 2.00 2.00 3/100 11170 /proc/meminfo: memFree=985136/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2245.98 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71806 0 1 0 224493 105 0 0 25 0 8 0 270783377 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71476 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 595 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2245.98 Current children cumulated vsize (KiB) 915980 [startup+2323.92 s] /proc/loadavg: 2.06 2.02 2.00 3/100 11170 /proc/meminfo: memFree=985136/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2305.91 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71806 0 1 0 230486 105 0 0 25 0 8 0 270783377 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71476 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 595 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2305.91 Current children cumulated vsize (KiB) 915980 [startup+2383.93 s] /proc/loadavg: 2.02 2.01 2.00 3/100 11170 /proc/meminfo: memFree=985264/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2365.85 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71808 0 1 0 236480 105 0 0 25 0 8 0 270783377 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826290 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71477 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 597 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2365.85 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2418.11 s] /proc/loadavg: 2.09 2.02 2.01 3/100 11170 /proc/meminfo: memFree=985264/2055920 swapFree=4171812/4192956 [pid=10869] ppid=10867 vsize=915980 CPUtime=2400 /proc/10869/stat : 10869 (java) R 10867 10869 10801 0 -1 0 71808 0 1 0 239894 106 0 0 25 0 8 0 270783377 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/10869/statm: 228995 71477 2551 14 0 215465 0 [pid=10869/tid=10871] ppid=10867 vsize=915980 CPUtime=1.02 /proc/10869/task/10871/stat : 10871 (java) S 10867 10869 10801 0 -1 64 54520 0 0 0 84 18 0 0 16 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10872] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10872/stat : 10872 (java) S 10867 10869 10801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10873] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10873/stat : 10873 (java) S 10867 10869 10801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783381 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10874] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10874/stat : 10874 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10875] ppid=10867 vsize=915980 CPUtime=0.43 /proc/10869/task/10875/stat : 10875 (java) S 10867 10869 10801 0 -1 64 597 0 0 0 41 2 0 0 16 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=10869/tid=10876] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10876/stat : 10876 (java) S 10867 10869 10801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=10869/tid=10877] ppid=10867 vsize=915980 CPUtime=0 /proc/10869/task/10877/stat : 10877 (java) S 10867 10869 10801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783385 937963520 71477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2418.16 CPU time (s): 2400.06 CPU user time (s): 2398.96 CPU system time (s): 1.10383 CPU usage (%): 99.2513 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.96 system time used= 1.10383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71832 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= 50644 involuntary context switches= 97219 runsolver used 2.89656 s user time and 7.98879 s system time The end
Begin job on node11 on Fri Jan 19 16:24:43 UTC 2007 IDJOB= 275609 IDBENCH= 4155 IDSOLVER= 68 FILE ID= node11/275609-1169223883 PBS_JOBID= 3588969 Free space on /tmp= 66558 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275609-1169223883/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-275609-1169223883 -o ROOT/results/node11/solver-275609-1169223883 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275609-1169223883/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= b2c8a831f9d033b4a9ad8eac1f5cc450 RANDOM SEED= 477955463 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.261 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 : 5931.00 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.261 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: 1157864 kB Buffers: 61308 kB Cached: 569420 kB SwapCached: 2828 kB Active: 340320 kB Inactive: 478612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1157864 kB SwapTotal: 4192956 kB SwapFree: 4171812 kB Dirty: 5112 kB Writeback: 0 kB Mapped: 206392 kB Slab: 63640 kB Committed_AS: 8095448 kB PageTables: 2676 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= 66558 MiB End job on node11 on Fri Jan 19 17:05:02 UTC 2007