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.09 | 2403.09 |
| Name | fapp/fapp36-40/fapp39/ fapp39-2750-0.xml |
| MD5SUM | 2cbccfaa4c4c5e630cbb69b5e8dba07c |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 19948 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 2750 |
| Number of constraints | 23154 |
| Maximum constraint arity | 2 |
| Maximum domain size | 502 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 23154 |
| Global constraints used (with number of constraints) |
0.33 0.33 Abscon 109 (November, 2006) 0.33 0.33 configuration 0.33 name=epfc.xml 0.36 0.36 instance 0.37 name=/tmp/evaluation/275606-1169223872/unknown.xml 0.40 0.40 domains being loaded... 0.43 0.43 variables being loaded... 0.92 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 0.92 => wckTime=0.589 cpuTime=0.39 mem=40M653 0.92 0.92 predicates being loaded... 0.93 0.93 constraints being loaded... 61.20 61.20 INFO : Stopping converting binary constraints (cpu=60.03, mem = 64M101) 62.19 nbConstraints=23154 nbConvertedConstraints=1149 nbConvertConstraintsChecks=194929612 nbExtensionStructures=832 62.19 nbSharedExtensionStructures=317 nbConflictsStructures=832 nbSharedConflictsStructures=317 62.19 nbSharedBinaryRepresentations=766916 nbEvaluationManagers=3854 nbSharedEvaluationManagers=18151 maxDegree=23 62.19 maxArity=2 62.19 => wckTime=61.852 cpuTime=60.83 mem=104M440 62.46 62.46 solver LocalSearchSolver being built... 62.50 => wckTime=62.17 cpuTime=60.87 mem=78M233 62.79 62.79 s SATISFIABLE 62.79 o 16226 62.79 c 6928 62.92 o 16233 62.92 c 6921 63.02 o 16241 63.02 c 6913 63.10 o 16246 63.10 c 6908 63.18 o 16250 63.18 c 6904 63.25 o 16254 63.25 c 6900 63.31 o 16257 63.31 c 6897 63.35 o 16260 63.35 c 6894 63.39 o 16262 63.39 c 6892 63.42 o 16264 63.42 c 6890 63.47 o 16266 63.47 c 6888 63.50 o 16267 63.50 c 6887 63.58 o 16274 63.58 c 6880 63.66 o 16280 63.66 c 6874 63.74 o 16286 63.74 c 6868 63.81 o 16292 63.81 c 6862 63.88 o 16298 63.88 c 6856 63.95 o 16301 63.95 c 6853 64.02 o 16306 64.02 c 6848 64.08 o 16311 64.08 c 6843 64.15 o 16316 64.15 c 6838 64.22 o 16321 64.22 c 6833 64.28 o 16326 64.28 c 6828 64.35 o 16331 64.35 c 6823 64.41 o 16336 64.41 c 6818 64.48 o 16340 64.48 c 6814 64.53 o 16344 64.53 c 6810 64.58 o 16348 64.58 c 6806 64.63 o 16351 64.63 c 6803 64.69 o 16354 64.69 c 6800 64.73 o 16357 64.73 c 6797 64.78 o 16360 64.78 c 6794 64.83 o 16363 64.83 c 6791 64.89 o 16366 64.89 c 6788 64.93 o 16369 64.93 c 6785 64.96 o 16372 64.96 c 6782 65.02 o 16374 65.02 c 6780 65.07 o 16376 65.07 c 6778 65.13 o 16378 65.13 c 6776 65.16 o 16380 65.16 c 6774 65.19 o 16382 65.19 c 6772 65.24 o 16383 65.24 c 6771 65.26 o 16384 65.26 c 6770 65.30 o 16385 65.30 c 6769 65.34 o 16386 65.34 c 6768 65.41 o 16389 65.41 c 6765 65.45 o 16392 65.45 c 6762 65.54 o 16399 65.54 c 6755 65.63 o 16406 65.63 c 6748 65.72 o 16412 65.72 c 6742 65.82 o 16418 65.82 c 6736 65.92 o 16423 65.92 c 6731 66.02 o 16428 66.02 c 6726 66.12 o 16429 66.12 c 6725 66.23 o 16434 66.23 c 6720 66.33 o 16439 66.33 c 6715 66.42 o 16444 66.42 c 6710 66.51 o 16449 66.51 c 6705 66.59 o 16454 66.59 c 6700 66.68 o 16459 66.68 c 6695 66.79 o 16464 66.79 c 6690 66.87 o 16469 66.87 c 6685 66.97 o 16473 66.97 c 6681 67.07 o 16477 67.07 c 6677 67.15 o 16481 67.15 c 6673 67.23 o 16485 67.23 c 6669 67.31 o 16489 67.31 c 6665 67.38 o 16492 67.38 c 6662 67.46 o 16495 67.46 c 6659 67.54 o 16498 67.54 c 6656 67.63 o 16501 67.63 c 6653 67.70 o 16504 67.70 c 6650 67.78 o 16505 67.78 c 6649 67.84 o 16508 67.84 c 6646 67.90 o 16511 67.90 c 6643 67.97 o 16518 67.97 c 6636 68.03 o 16521 68.03 c 6633 68.09 o 16524 68.09 c 6630 68.16 o 16526 68.16 c 6628 68.21 o 16528 68.21 c 6626 68.27 o 16530 68.27 c 6624 68.34 o 16532 68.34 c 6622 68.39 o 16534 68.39 c 6620 68.43 o 16536 68.43 c 6618 68.50 o 16538 68.50 c 6616 68.54 o 16540 68.54 c 6614 68.59 o 16542 68.59 c 6612 68.65 o 16544 68.65 c 6610 68.68 o 16548 68.68 c 6606 68.73 o 16550 68.73 c 6604 68.78 o 16551 68.78 c 6603 68.83 o 16552 68.83 c 6602 68.87 o 16553 68.87 c 6601 68.90 o 16554 68.90 c 6600 68.93 o 16555 68.93 c 6599 68.96 o 16561 68.96 c 6593 68.99 o 16562 68.99 c 6592 69.15 o 16566 69.15 c 6588 69.17 o 16571 69.17 c 6583 69.21 o 16573 69.21 c 6581 69.25 o 16574 69.25 c 6580 69.29 o 16580 69.29 c 6574 69.35 o 16583 69.35 c 6571 69.39 o 16585 69.39 c 6569 69.41 o 16589 69.41 c 6565 69.44 o 16592 69.44 c 6562 69.50 o 16598 69.50 c 6556 69.53 o 16603 69.53 c 6551 69.54 o 16606 69.54 c 6548 69.56 o 16607 69.56 c 6547 69.61 o 16612 69.61 c 6542 69.66 o 16620 69.66 c 6534 69.69 o 16624 69.69 c 6530 69.72 o 16626 69.72 c 6528 69.74 o 16629 69.74 c 6525 69.78 o 16630 69.78 c 6524 69.80 o 16632 69.80 c 6522 69.91 o 16634 69.91 c 6520 70.04 o 16640 70.04 c 6514 70.17 o 16646 70.17 c 6508 70.29 o 16652 70.29 c 6502 70.43 o 16657 70.43 c 6497 70.56 o 16662 70.56 c 6492 70.71 o 16667 70.71 c 6487 70.84 o 16672 70.84 c 6482 70.97 o 16677 70.97 c 6477 71.10 o 16682 71.10 c 6472 71.22 o 16687 71.22 c 6467 71.36 o 16695 71.36 c 6459 71.49 o 16699 71.49 c 6455 71.62 o 16703 71.62 c 6451 71.76 o 16707 71.76 c 6447 71.89 o 16711 71.89 c 6443 72.01 o 16715 72.01 c 6439 72.14 o 16719 72.14 c 6435 72.27 o 16723 72.27 c 6431 72.40 o 16726 72.40 c 6428 72.53 o 16729 72.53 c 6425 72.65 o 16732 72.65 c 6422 72.77 o 16735 72.77 c 6419 72.88 o 16738 72.88 c 6416 73.00 o 16741 73.00 c 6413 73.12 o 16744 73.12 c 6410 73.24 o 16747 73.24 c 6407 73.34 o 16750 73.34 c 6404 73.45 o 16752 73.45 c 6402 73.55 o 16753 73.55 c 6401 73.65 o 16754 73.65 c 6400 73.75 o 16757 73.75 c 6397 73.85 o 16760 73.85 c 6394 73.95 o 16763 73.95 c 6391 74.05 o 16766 74.05 c 6388 74.14 o 16768 74.14 c 6386 74.23 o 16770 74.23 c 6384 74.32 o 16772 74.32 c 6382 74.41 o 16774 74.41 c 6380 74.50 o 16776 74.50 c 6378 74.58 o 16778 74.58 c 6376 74.67 o 16780 74.67 c 6374 74.75 o 16782 74.75 c 6372 74.83 o 16784 74.83 c 6370 74.92 o 16786 74.92 c 6368 74.99 o 16788 74.99 c 6366 75.06 o 16790 75.06 c 6364 75.13 o 16792 75.13 c 6362 75.19 o 16794 75.19 c 6360 75.25 o 16796 75.25 c 6358 75.31 o 16798 75.31 c 6356 75.37 o 16800 75.37 c 6354 75.43 o 16802 75.43 c 6352 75.50 o 16804 75.50 c 6350 75.56 o 16806 75.56 c 6348 75.62 o 16808 75.62 c 6346 75.67 o 16809 75.67 c 6345 75.72 o 16810 75.72 c 6344 75.78 o 16811 75.78 c 6343 75.83 o 16812 75.83 c 6342 75.87 o 16813 75.87 c 6341 75.91 o 16814 75.91 c 6340 75.96 o 16815 75.96 c 6339 76.00 o 16816 76.00 c 6338 76.03 o 16817 76.03 c 6337 76.07 o 16818 76.07 c 6336 76.11 o 16819 76.11 c 6335 76.15 o 16820 76.15 c 6334 76.18 o 16821 76.18 c 6333 76.22 o 16822 76.22 c 6332 76.25 o 16823 76.25 c 6331 76.28 o 16824 76.28 c 6330 76.31 o 16825 76.31 c 6329 76.50 o 16826 76.50 c 6328 76.52 o 16828 76.52 c 6326 76.55 o 16830 76.55 c 6324 76.58 o 16835 76.58 c 6319 76.64 o 16836 76.64 c 6318 76.67 o 16841 76.67 c 6313 76.71 o 16842 76.71 c 6312 76.76 o 16845 76.76 c 6309 76.79 o 16848 76.79 c 6306 76.83 o 16849 76.83 c 6305 76.87 o 16854 76.87 c 6300 76.91 o 16859 76.91 c 6295 76.94 o 16863 76.94 c 6291 76.98 o 16867 76.98 c 6287 77.02 o 16869 77.02 c 6285 77.10 o 16875 77.10 c 6279 77.14 o 16882 77.14 c 6272 77.17 o 16886 77.17 c 6268 77.20 o 16890 77.20 c 6264 77.24 o 16891 77.24 c 6263 77.29 o 16893 77.29 c 6261 77.32 o 16899 77.32 c 6255 77.36 o 16906 77.36 c 6248 77.39 o 16909 77.39 c 6245 77.43 o 16914 77.43 c 6240 77.48 o 16916 77.48 c 6238 77.57 o 16918 77.57 c 6236 77.61 o 16920 77.61 c 6234 77.64 o 16922 77.64 c 6232 77.69 o 16926 77.69 c 6228 77.75 o 16928 77.75 c 6226 77.79 o 16932 77.79 c 6222 77.84 o 16933 77.84 c 6221 77.87 o 16934 77.87 c 6220 78.02 o 16936 78.02 c 6218 78.15 o 16942 78.15 c 6212 78.27 o 16948 78.27 c 6206 78.40 o 16954 78.40 c 6200 78.54 o 16960 78.54 c 6194 78.69 o 16966 78.69 c 6188 78.82 o 16972 78.82 c 6182 78.94 o 16978 78.94 c 6176 79.10 o 16983 79.10 c 6171 79.25 o 16988 79.25 c 6166 79.41 o 16993 79.41 c 6161 79.56 o 16998 79.56 c 6156 79.72 o 17003 79.72 c 6151 79.88 o 17004 79.88 c 6150 80.04 o 17009 80.04 c 6145 80.20 o 17013 80.20 c 6141 80.35 o 17017 80.35 c 6137 80.52 o 17021 80.52 c 6133 80.67 o 17025 80.67 c 6129 80.83 o 17029 80.83 c 6125 80.98 o 17033 80.98 c 6121 81.13 o 17037 81.13 c 6117 81.24 o 17041 81.24 c 6113 81.40 o 17044 81.40 c 6110 81.56 o 17047 81.56 c 6107 81.71 o 17050 81.71 c 6104 81.86 o 17053 81.86 c 6101 82.00 o 17056 82.00 c 6098 82.14 o 17059 82.15 c 6095 82.29 o 17062 82.29 c 6092 82.44 o 17065 82.44 c 6089 82.57 o 17068 82.57 c 6086 82.71 o 17071 82.71 c 6083 82.85 o 17074 82.85 c 6080 83.00 o 17077 83.00 c 6077 83.12 o 17080 83.12 c 6074 83.24 o 17083 83.24 c 6071 83.38 o 17085 83.38 c 6069 83.50 o 17087 83.50 c 6067 83.64 o 17088 83.64 c 6066 83.76 o 17090 83.76 c 6064 83.89 o 17092 83.89 c 6062 84.00 o 17094 84.00 c 6060 84.11 o 17096 84.11 c 6058 84.17 o 17099 84.17 c 6055 84.28 o 17105 84.28 c 6049 84.39 o 17107 84.39 c 6047 84.51 o 17109 84.51 c 6045 84.62 o 17111 84.62 c 6043 84.72 o 17113 84.72 c 6041 84.83 o 17115 84.83 c 6039 84.93 o 17117 84.93 c 6037 85.04 o 17119 85.04 c 6035 85.14 o 17121 85.14 c 6033 85.25 o 17123 85.25 c 6031 85.36 o 17125 85.36 c 6029 85.46 o 17127 85.46 c 6027 85.55 o 17129 85.55 c 6025 85.66 o 17131 85.66 c 6023 85.77 o 17133 85.77 c 6021 85.88 o 17135 85.88 c 6019 85.98 o 17137 85.98 c 6017 86.07 o 17139 86.07 c 6015 86.19 o 17141 86.19 c 6013 86.27 o 17143 86.27 c 6011 86.37 o 17144 86.37 c 6010 86.46 o 17145 86.46 c 6009 86.55 o 17146 86.55 c 6008 86.63 o 17147 86.63 c 6007 86.71 o 17149 86.71 c 6005 86.79 o 17150 86.79 c 6004 86.88 o 17151 86.88 c 6003 86.96 o 17152 86.96 c 6002 87.02 o 17153 87.02 c 6001 87.10 o 17154 87.10 c 6000 87.16 o 17155 87.16 c 5999 87.23 o 17156 87.23 c 5998 87.30 o 17157 87.30 c 5997 88.09 o 17158 88.09 c 5996 88.15 o 17162 88.15 c 5992 88.21 o 17164 88.21 c 5990 88.27 o 17165 88.27 c 5989 88.33 o 17167 88.33 c 5987 88.40 o 17172 88.40 c 5982 88.46 o 17174 88.46 c 5980 88.55 o 17175 88.55 c 5979 88.60 o 17178 88.60 c 5976 88.71 o 17182 88.71 c 5972 88.76 o 17185 88.76 c 5969 88.81 o 17186 88.81 c 5968 88.87 o 17188 88.87 c 5966 88.93 o 17189 88.93 c 5965 89.00 o 17191 89.01 c 5963 89.08 o 17192 89.08 c 5962 89.14 o 17194 89.14 c 5960 89.21 o 17195 89.21 c 5959 89.28 o 17197 89.28 c 5957 89.37 o 17199 89.37 c 5955 89.52 o 17203 89.52 c 5951 89.60 o 17205 89.60 c 5949 89.73 o 17208 89.73 c 5946 89.80 o 17209 89.80 c 5945 89.87 o 17214 89.87 c 5940 89.94 o 17215 89.94 c 5939 90.04 o 17216 90.04 c 5938 90.11 o 17217 90.11 c 5937 90.27 o 17221 90.27 c 5933 90.33 o 17223 90.34 c 5931 90.41 o 17225 90.41 c 5929 90.57 o 17227 90.57 c 5927 90.64 o 17232 90.64 c 5922 90.72 o 17234 90.72 c 5920 90.79 o 17236 90.79 c 5918 90.87 o 17237 90.87 c 5917 90.93 o 17243 90.93 c 5911 91.00 o 17244 91.00 c 5910 91.09 o 17248 91.09 c 5906 91.17 o 17249 91.17 c 5905 91.25 o 17255 91.25 c 5899 91.32 o 17256 91.32 c 5898 91.40 o 17258 91.40 c 5896 91.49 o 17260 91.49 c 5894 91.57 o 17265 91.57 c 5889 91.65 o 17268 91.65 c 5886 91.73 o 17271 91.73 c 5883 91.90 o 17274 91.90 c 5880 92.07 o 17276 92.07 c 5878 92.25 o 17279 92.25 c 5875 92.35 o 17282 92.35 c 5872 92.45 o 17285 92.45 c 5869 92.54 o 17289 92.54 c 5865 92.74 o 17290 92.74 c 5864 93.03 o 17291 93.03 c 5863 93.12 o 17292 93.12 c 5862 93.22 o 17295 93.22 c 5859 93.33 o 17299 93.33 c 5855 93.43 o 17300 93.43 c 5854 93.53 o 17301 93.53 c 5853 93.63 o 17306 93.63 c 5848 93.74 o 17307 93.74 c 5847 93.94 o 17309 93.95 c 5845 94.05 o 17310 94.05 c 5844 94.15 o 17311 94.15 c 5843 94.25 o 17315 94.25 c 5839 94.35 o 17319 94.35 c 5835 94.44 o 17321 94.44 c 5833 94.53 o 17324 94.53 c 5830 94.64 o 17327 94.64 c 5827 94.72 o 17329 94.72 c 5825 94.83 o 17333 94.83 c 5821 94.91 o 17334 94.91 c 5820 95.13 o 17337 95.13 c 5817 95.21 o 17340 95.21 c 5814 95.31 o 17344 95.31 c 5810 95.40 o 17346 95.40 c 5808 95.50 o 17348 95.50 c 5806 95.59 o 17355 95.59 c 5799 95.74 o 17360 95.74 c 5794 95.90 o 17365 95.90 c 5789 96.06 o 17370 96.06 c 5784 96.22 o 17375 96.22 c 5779 96.38 o 17380 96.38 c 5774 96.55 o 17385 96.55 c 5769 96.72 o 17389 96.72 c 5765 96.88 o 17390 96.88 c 5764 97.05 o 17394 97.05 c 5760 97.21 o 17396 97.21 c 5758 97.37 o 17400 97.37 c 5754 97.52 o 17402 97.52 c 5752 97.67 o 17406 97.67 c 5748 97.95 o 17409 97.95 c 5745 98.08 o 17412 98.08 c 5742 98.22 o 17415 98.22 c 5739 98.36 o 17418 98.36 c 5736 98.63 o 17419 98.63 c 5735 98.76 o 17422 98.76 c 5732 98.90 o 17425 98.90 c 5729 99.03 o 17428 99.03 c 5726 99.17 o 17431 99.17 c 5723 99.30 o 17434 99.30 c 5720 99.42 o 17437 99.42 c 5717 99.56 o 17440 99.56 c 5714 99.69 o 17442 99.69 c 5712 99.94 o 17444 99.94 c 5710 100.06 o 17447 100.06 c 5707 100.19 o 17449 100.19 c 5705 100.32 o 17451 100.32 c 5703 100.43 o 17453 100.43 c 5701 100.54 o 17455 100.54 c 5699 100.65 o 17457 100.65 c 5697 100.77 o 17459 100.77 c 5695 100.88 o 17461 100.88 c 5693 100.99 o 17463 100.99 c 5691 101.10 o 17465 101.10 c 5689 101.21 o 17466 101.21 c 5688 101.32 o 17468 101.32 c 5686 101.42 o 17473 101.42 c 5681 101.52 o 17475 101.52 c 5679 101.62 o 17477 101.62 c 5677 101.73 o 17479 101.73 c 5675 101.82 o 17483 101.82 c 5671 101.93 o 17485 101.93 c 5669 102.02 o 17487 102.02 c 5667 102.13 o 17488 102.13 c 5666 102.23 o 17489 102.23 c 5665 102.34 o 17490 102.34 c 5664 102.44 o 17491 102.44 c 5663 102.53 o 17493 102.53 c 5661 102.62 o 17494 102.62 c 5660 102.72 o 17495 102.72 c 5659 102.81 o 17496 102.81 c 5658 102.89 o 17497 102.89 c 5657 103.50 o 17498 103.50 c 5656 103.57 o 17500 103.57 c 5654 104.21 o 17502 104.21 c 5652 104.28 o 17504 104.28 c 5650 104.36 o 17507 104.36 c 5647 104.42 o 17510 104.42 c 5644 104.50 o 17512 104.50 c 5642 104.56 o 17516 104.56 c 5638 104.66 o 17522 104.66 c 5632 104.82 o 17525 104.82 c 5629 104.90 o 17526 104.90 c 5628 105.06 o 17527 105.06 c 5627 105.20 o 17530 105.20 c 5624 105.28 o 17532 105.28 c 5622 105.38 o 17534 105.38 c 5620 105.64 o 17535 105.64 c 5619 105.74 o 17538 105.74 c 5616 105.82 o 17540 105.82 c 5614 106.09 o 17543 106.09 c 5611 106.18 o 17544 106.18 c 5610 106.26 o 17550 106.26 c 5604 106.40 o 17554 106.40 c 5600 106.49 o 17560 106.49 c 5594 106.67 o 17564 106.67 c 5590 106.76 o 17566 106.76 c 5588 106.83 o 17568 106.83 c 5586 106.92 o 17570 106.92 c 5584 107.00 o 17572 107.00 c 5582 107.08 o 17574 107.08 c 5580 107.16 o 17578 107.16 c 5576 107.25 o 17581 107.25 c 5573 107.33 o 17587 107.33 c 5567 107.42 o 17590 107.42 c 5564 107.51 o 17591 107.51 c 5563 107.60 o 17597 107.60 c 5557 107.72 o 17599 107.72 c 5555 107.81 o 17604 107.81 c 5550 107.91 o 17606 107.91 c 5548 108.01 o 17611 108.01 c 5543 108.09 o 17613 108.09 c 5541 108.19 o 17616 108.19 c 5538 108.30 o 17617 108.30 c 5537 108.39 o 17620 108.39 c 5534 108.58 o 17624 108.58 c 5530 108.68 o 17628 108.68 c 5526 108.77 o 17631 108.77 c 5523 108.87 o 17632 108.87 c 5522 108.97 o 17633 108.97 c 5521 109.07 o 17636 109.07 c 5518 109.17 o 17637 109.17 c 5517 109.26 o 17638 109.26 c 5516 109.35 o 17640 109.35 c 5514 109.63 o 17643 109.63 c 5511 109.83 o 17645 109.83 c 5509 109.93 o 17647 109.93 c 5507 110.11 o 17648 110.11 c 5506 110.22 o 17650 110.22 c 5504 110.35 o 17651 110.35 c 5503 110.54 o 17655 110.54 c 5499 110.64 o 17658 110.64 c 5496 111.11 o 17660 111.11 c 5494 111.22 o 17665 111.22 c 5489 111.34 o 17666 111.34 c 5488 111.45 o 17667 111.45 c 5487 111.77 o 17670 111.78 c 5484 111.88 o 17673 111.88 c 5481 112.01 o 17674 112.01 c 5480 112.13 o 17675 112.13 c 5479 112.25 o 17679 112.25 c 5475 112.36 o 17682 112.36 c 5472 112.48 o 17683 112.48 c 5471 112.58 o 17686 112.58 c 5468 112.71 o 17693 112.71 c 5461 112.94 o 17695 112.94 c 5459 113.17 o 17697 113.17 c 5457 113.30 o 17701 113.30 c 5453 113.56 o 17703 113.56 c 5451 113.68 o 17705 113.68 c 5449 113.81 o 17709 113.81 c 5445 113.93 o 17715 113.93 c 5439 114.07 o 17717 114.07 c 5437 114.18 o 17718 114.18 c 5436 114.31 o 17720 114.31 c 5434 114.43 o 17721 114.43 c 5433 114.55 o 17725 114.55 c 5429 114.68 o 17729 114.68 c 5425 114.80 o 17733 114.80 c 5421 114.93 o 17737 114.93 c 5417 115.05 o 17740 115.05 c 5414 115.17 o 17741 115.17 c 5413 115.29 o 17745 115.29 c 5409 115.41 o 17746 115.41 c 5408 115.54 o 17748 115.54 c 5406 115.65 o 17751 115.65 c 5403 115.78 o 17755 115.78 c 5399 115.89 o 17758 115.89 c 5396 116.01 o 17761 116.01 c 5393 116.12 o 17763 116.12 c 5391 116.23 o 17765 116.23 c 5389 116.34 o 17768 116.34 c 5386 116.46 o 17770 116.46 c 5384 116.57 o 17773 116.57 c 5381 116.68 o 17777 116.68 c 5377 116.79 o 17778 116.79 c 5376 116.90 o 17781 116.90 c 5373 117.01 o 17782 117.01 c 5372 117.13 o 17783 117.13 c 5371 117.34 o 17787 117.34 c 5367 117.58 o 17789 117.59 c 5365 117.71 o 17795 117.71 c 5359 117.83 o 17800 117.83 c 5354 117.96 o 17802 117.96 c 5352 118.09 o 17805 118.09 c 5349 118.22 o 17807 118.22 c 5347 118.35 o 17809 118.35 c 5345 118.62 o 17811 118.62 c 5343 118.75 o 17812 118.75 c 5342 118.88 o 17814 118.88 c 5340 119.13 o 17816 119.13 c 5338 119.27 o 17819 119.27 c 5335 119.56 o 17823 119.56 c 5331 119.70 o 17829 119.70 c 5325 119.85 o 17834 119.85 c 5320 120.00 o 17835 120.00 c 5319 120.13 o 17836 120.13 c 5318 120.27 o 17838 120.27 c 5316 120.41 o 17841 120.41 c 5313 120.71 o 17845 120.71 c 5309 120.88 o 17849 120.88 c 5305 121.21 o 17850 121.21 c 5304 121.34 o 17853 121.34 c 5301 121.48 o 17854 121.48 c 5300 121.62 o 17857 121.62 c 5297 121.76 o 17860 121.76 c 5294 121.94 o 17861 121.94 c 5293 122.12 o 17862 122.12 c 5292 122.25 o 17863 122.25 c 5291 122.60 o 17866 122.60 c 5288 122.79 o 17870 122.79 c 5284 122.99 o 17873 122.99 c 5281 123.19 o 17876 123.19 c 5278 123.38 o 17879 123.38 c 5275 123.58 o 17882 123.58 c 5272 123.77 o 17885 123.77 c 5269 124.14 o 17888 124.14 c 5266 124.33 o 17891 124.33 c 5263 124.52 o 17893 124.52 c 5261 124.70 o 17896 124.70 c 5258 124.88 o 17901 124.88 c 5253 125.05 o 17904 125.05 c 5250 125.23 o 17906 125.23 c 5248 125.42 o 17908 125.42 c 5246 125.60 o 17910 125.60 c 5244 125.78 o 17912 125.78 c 5242 125.97 o 17914 125.97 c 5240 126.15 o 17916 126.15 c 5238 126.33 o 17918 126.33 c 5236 126.49 o 17920 126.49 c 5234 126.67 o 17922 126.67 c 5232 126.84 o 17923 126.84 c 5231 127.00 o 17924 127.00 c 5230 127.17 o 17925 127.17 c 5229 127.35 o 17926 127.35 c 5228 127.51 o 17927 127.51 c 5227 127.67 o 17929 127.67 c 5225 127.84 o 17930 127.84 c 5224 127.98 o 17931 127.98 c 5223 128.13 o 17932 128.13 c 5222 128.30 o 17933 128.30 c 5221 128.46 o 17937 128.46 c 5217 128.61 o 17938 128.61 c 5216 128.75 o 17941 128.75 c 5213 128.89 o 17942 128.89 c 5212 129.04 o 17943 129.04 c 5211 129.19 o 17944 129.19 c 5210 129.33 o 17945 129.33 c 5209 129.49 o 17946 129.49 c 5208 130.05 o 17948 130.05 c 5206 130.46 o 17951 130.46 c 5203 131.36 o 17953 131.36 c 5201 131.50 o 17955 131.50 c 5199 131.64 o 17961 131.64 c 5193 132.06 o 17964 132.06 c 5190 132.20 o 17966 132.20 c 5188 132.35 o 17967 132.35 c 5187 132.49 o 17971 132.49 c 5183 132.80 o 17974 132.80 c 5180 132.94 o 17976 132.94 c 5178 133.10 o 17977 133.10 c 5177 133.26 o 17981 133.26 c 5173 133.54 o 17985 133.54 c 5169 133.81 o 17987 133.81 c 5167 133.95 o 17991 133.95 c 5163 134.09 o 17994 134.09 c 5160 134.49 o 17995 134.49 c 5159 134.63 o 17997 134.63 c 5157 134.76 o 18001 134.76 c 5153 134.89 o 18003 134.89 c 5151 135.03 o 18004 135.03 c 5150 135.17 o 18005 135.17 c 5149 135.57 o 18007 135.57 c 5147 135.70 o 18010 135.70 c 5144 135.85 o 18012 135.85 c 5142 136.09 o 18016 136.10 c 5138 136.37 o 18017 136.37 c 5137 136.52 o 18022 136.52 c 5132 136.67 o 18025 136.67 c 5129 136.80 o 18030 136.80 c 5124 136.96 o 18033 136.96 c 5121 137.10 o 18034 137.10 c 5120 137.23 o 18035 137.23 c 5119 137.37 o 18037 137.37 c 5117 137.51 o 18041 137.51 c 5113 137.66 o 18042 137.66 c 5112 137.81 o 18043 137.81 c 5111 138.10 o 18045 138.10 c 5109 138.26 o 18050 138.26 c 5104 138.40 o 18053 138.40 c 5101 138.70 o 18054 138.70 c 5100 139.17 o 18057 139.17 c 5097 139.66 o 18060 139.66 c 5094 140.29 o 18061 140.29 c 5093 140.61 o 18066 140.61 c 5088 140.78 o 18067 140.78 c 5087 140.94 o 18069 140.94 c 5085 141.60 o 18071 141.60 c 5083 142.08 o 18072 142.08 c 5082 142.24 o 18076 142.24 c 5078 142.39 o 18082 142.39 c 5072 142.55 o 18084 142.55 c 5070 142.70 o 18087 142.70 c 5067 142.85 o 18091 142.85 c 5063 142.99 o 18093 142.99 c 5061 143.16 o 18095 143.16 c 5059 143.31 o 18096 143.31 c 5058 143.47 o 18098 143.47 c 5056 143.60 o 18102 143.60 c 5052 143.90 o 18107 143.90 c 5047 144.19 o 18109 144.19 c 5045 144.32 o 18110 144.32 c 5044 144.45 o 18111 144.45 c 5043 144.74 o 18113 144.74 c 5041 144.89 o 18114 144.89 c 5040 145.05 o 18118 145.05 c 5036 145.34 o 18119 145.34 c 5035 145.49 o 18120 145.49 c 5034 145.63 o 18124 145.63 c 5030 145.80 o 18125 145.80 c 5029 145.96 o 18127 145.96 c 5027 146.12 o 18128 146.12 c 5026 146.27 o 18129 146.27 c 5025 146.42 o 18134 146.42 c 5020 146.59 o 18138 146.59 c 5016 146.76 o 18139 146.76 c 5015 146.92 o 18141 146.92 c 5013 147.09 o 18147 147.09 c 5007 147.23 o 18149 147.23 c 5005 147.38 o 18154 147.38 c 5000 147.54 o 18155 147.54 c 4999 147.70 o 18159 147.70 c 4995 147.85 o 18160 147.85 c 4994 148.01 o 18162 148.01 c 4992 148.19 o 18165 148.19 c 4989 148.53 o 18166 148.53 c 4988 149.19 o 18168 149.19 c 4986 149.37 o 18169 149.37 c 4985 149.69 o 18170 149.69 c 4984 149.87 o 18173 149.87 c 4981 150.05 o 18177 150.05 c 4977 150.23 o 18182 150.23 c 4972 150.58 o 18185 150.58 c 4969 150.75 o 18186 150.75 c 4968 150.93 o 18191 150.93 c 4963 151.09 o 18194 151.09 c 4960 151.25 o 18196 151.25 c 4958 151.42 o 18200 151.42 c 4954 151.59 o 18201 151.59 c 4953 151.77 o 18204 151.77 c 4950 151.94 o 18207 151.94 c 4947 152.13 o 18209 152.13 c 4945 152.30 o 18214 152.30 c 4940 152.66 o 18216 152.66 c 4938 152.83 o 18217 152.83 c 4937 153.00 o 18220 153.00 c 4934 153.20 o 18222 153.20 c 4932 153.37 o 18223 153.37 c 4931 153.53 o 18224 153.53 c 4930 153.89 o 18226 153.89 c 4928 154.08 o 18227 154.08 c 4927 154.27 o 18232 154.27 c 4922 154.47 o 18234 154.47 c 4920 155.46 o 18239 155.46 c 4915 155.66 o 18241 155.66 c 4913 155.85 o 18245 155.85 c 4909 156.06 o 18248 156.06 c 4906 156.67 o 18250 156.67 c 4904 156.88 o 18254 156.88 c 4900 157.09 o 18256 157.09 c 4898 157.30 o 18258 157.30 c 4896 157.51 o 18260 157.51 c 4894 157.72 o 18262 157.73 c 4892 157.93 o 18264 157.93 c 4890 158.35 o 18265 158.35 c 4889 158.57 o 18267 158.57 c 4887 158.79 o 18270 158.79 c 4884 159.01 o 18273 159.01 c 4881 159.44 o 18277 159.44 c 4877 159.85 o 18279 159.85 c 4875 160.07 o 18282 160.07 c 4872 160.31 o 18283 160.31 c 4871 160.53 o 18286 160.53 c 4868 161.19 o 18287 161.19 c 4867 161.41 o 18289 161.41 c 4865 161.63 o 18291 161.63 c 4863 162.06 o 18294 162.06 c 4860 162.29 o 18296 162.29 c 4858 162.51 o 18301 162.51 c 4853 162.73 o 18304 162.73 c 4850 162.96 o 18307 162.96 c 4847 163.20 o 18310 163.20 c 4844 163.42 o 18311 163.42 c 4843 163.66 o 18312 163.66 c 4842 163.89 o 18315 163.89 c 4839 164.12 o 18316 164.12 c 4838 164.61 o 18318 164.61 c 4836 164.83 o 18319 164.83 c 4835 165.55 o 18320 165.55 c 4834 165.78 o 18323 165.78 c 4831 166.03 o 18327 166.03 c 4827 166.27 o 18328 166.27 c 4826 166.51 o 18329 166.51 c 4825 166.75 o 18332 166.75 c 4822 167.51 o 18334 167.51 c 4820 167.76 o 18335 167.76 c 4819 168.02 o 18338 168.02 c 4816 168.29 o 18339 168.29 c 4815 168.57 o 18343 168.57 c 4811 169.15 o 18346 169.15 c 4808 169.45 o 18349 169.45 c 4805 169.73 o 18351 169.73 c 4803 169.99 o 18354 169.99 c 4800 170.25 o 18355 170.25 c 4799 170.54 o 18358 170.54 c 4796 170.79 o 18359 170.79 c 4795 171.08 o 18364 171.08 c 4790 171.37 o 18366 171.37 c 4788 171.66 o 18368 171.66 c 4786 172.50 o 18370 172.50 c 4784 172.78 o 18372 172.78 c 4782 173.07 o 18374 173.07 c 4780 173.36 o 18376 173.36 c 4778 173.63 o 18378 173.63 c 4776 173.91 o 18380 173.91 c 4774 174.20 o 18382 174.20 c 4772 174.49 o 18384 174.49 c 4770 174.78 o 18386 174.78 c 4768 175.06 o 18388 175.06 c 4766 175.34 o 18390 175.34 c 4764 175.61 o 18393 175.61 c 4761 175.89 o 18395 175.89 c 4759 176.44 o 18397 176.44 c 4757 176.72 o 18399 176.72 c 4755 176.99 o 18401 176.99 c 4753 177.26 o 18402 177.27 c 4752 177.54 o 18403 177.54 c 4751 177.82 o 18404 177.82 c 4750 178.10 o 18405 178.10 c 4749 178.37 o 18406 178.37 c 4748 178.66 o 18407 178.66 c 4747 178.93 o 18408 178.93 c 4746 179.21 o 18409 179.21 c 4745 179.50 o 18410 179.50 c 4744 179.77 o 18412 179.77 c 4742 180.04 o 18413 180.04 c 4741 180.31 o 18414 180.31 c 4740 180.59 o 18415 180.59 c 4739 180.87 o 18416 180.87 c 4738 181.14 o 18417 181.14 c 4737 181.41 o 18418 181.41 c 4736 181.95 o 18419 181.95 c 4735 185.11 o 18423 185.11 c 4731 187.85 o 18424 187.85 c 4730 188.11 o 18425 188.11 c 4729 188.61 o 18426 188.61 c 4728 188.85 o 18428 188.85 c 4726 189.11 o 18429 189.11 c 4725 189.36 o 18432 189.36 c 4722 189.63 o 18434 189.63 c 4720 189.89 o 18438 189.89 c 4716 190.13 o 18444 190.13 c 4710 190.37 o 18445 190.37 c 4709 190.86 o 18446 190.86 c 4708 191.11 o 18448 191.11 c 4706 191.60 o 18450 191.60 c 4704 191.84 o 18452 191.84 c 4702 192.09 o 18454 192.09 c 4700 192.82 o 18455 192.82 c 4699 193.55 o 18456 193.55 c 4698 194.02 o 18458 194.02 c 4696 194.26 o 18460 194.26 c 4694 194.73 o 18462 194.73 c 4692 194.96 o 18464 194.96 c 4690 195.19 o 18468 195.19 c 4686 195.42 o 18473 195.42 c 4681 195.65 o 18476 195.65 c 4678 196.81 o 18477 196.81 c 4677 197.06 o 18481 197.06 c 4673 197.28 o 18482 197.28 c 4672 197.52 o 18483 197.52 c 4671 197.97 o 18485 197.97 c 4669 198.19 o 18486 198.19 c 4668 198.62 o 18487 198.62 c 4667 198.84 o 18490 198.84 c 4664 199.99 o 18492 199.99 c 4662 200.22 o 18494 200.22 c 4660 200.45 o 18495 200.45 c 4659 200.90 o 18496 200.90 c 4658 201.12 o 18501 201.12 c 4653 201.35 o 18502 201.35 c 4652 201.79 o 18504 201.79 c 4650 202.03 o 18506 202.03 c 4648 202.49 o 18507 202.49 c 4647 203.66 o 18510 203.66 c 4644 204.54 o 18511 204.54 c 4643 204.77 o 18513 204.77 c 4641 205.22 o 18514 205.22 c 4640 205.45 o 18515 205.45 c 4639 205.69 o 18517 205.69 c 4637 205.90 o 18518 205.91 c 4636 206.35 o 18520 206.35 c 4634 206.81 o 18522 206.81 c 4632 208.16 o 18523 208.16 c 4631 208.39 o 18524 208.39 c 4630 208.62 o 18528 208.62 c 4626 208.85 o 18530 208.85 c 4624 209.08 o 18531 209.08 c 4623 209.54 o 18532 209.54 c 4622 209.78 o 18533 209.78 c 4621 210.00 o 18535 210.00 c 4619 210.24 o 18539 210.24 c 4615 211.15 o 18540 211.15 c 4614 211.37 o 18541 211.37 c 4613 211.84 o 18542 211.84 c 4612 212.06 o 18543 212.06 c 4611 212.28 o 18544 212.28 c 4610 212.51 o 18546 212.51 c 4608 212.74 o 18549 212.74 c 4605 213.18 o 18553 213.18 c 4601 213.40 o 18555 213.40 c 4599 213.63 o 18556 213.63 c 4598 213.87 o 18559 213.87 c 4595 214.09 o 18560 214.09 c 4594 214.31 o 18563 214.31 c 4591 214.54 o 18565 214.54 c 4589 214.76 o 18566 214.76 c 4588 214.99 o 18570 214.99 c 4584 215.23 o 18572 215.23 c 4582 216.16 o 18576 216.16 c 4578 216.39 o 18577 216.39 c 4577 216.60 o 18580 216.60 c 4574 216.83 o 18582 216.83 c 4572 217.06 o 18584 217.06 c 4570 217.27 o 18588 217.27 c 4566 217.49 o 18589 217.49 c 4565 217.70 o 18590 217.70 c 4564 217.94 o 18592 217.94 c 4562 218.17 o 18594 218.17 c 4560 218.37 o 18597 218.37 c 4557 218.61 o 18599 218.61 c 4555 219.09 o 18604 219.09 c 4550 219.33 o 18607 219.33 c 4547 219.56 o 18611 219.56 c 4543 219.82 o 18614 219.82 c 4540 220.10 o 18618 220.10 c 4536 220.35 o 18619 220.35 c 4535 220.62 o 18621 220.62 c 4533 221.65 o 18622 221.65 c 4532 221.92 o 18623 221.92 c 4531 222.44 o 18626 222.44 c 4528 222.70 o 18629 222.70 c 4525 223.17 o 18630 223.17 c 4524 223.42 o 18632 223.42 c 4522 223.68 o 18637 223.68 c 4517 223.93 o 18639 223.93 c 4515 224.71 o 18640 224.71 c 4514 224.99 o 18643 224.99 c 4511 225.26 o 18645 225.26 c 4509 226.57 o 18648 226.58 c 4506 226.83 o 18649 226.83 c 4505 227.39 o 18651 227.39 c 4503 227.67 o 18653 227.67 c 4501 227.95 o 18654 227.95 c 4500 228.23 o 18655 228.23 c 4499 228.50 o 18657 228.50 c 4497 228.77 o 18659 228.77 c 4495 229.04 o 18662 229.04 c 4492 229.60 o 18664 229.60 c 4490 230.15 o 18669 230.15 c 4485 230.43 o 18673 230.43 c 4481 230.98 o 18676 230.98 c 4478 232.99 o 18677 232.99 c 4477 233.29 o 18681 233.29 c 4473 233.58 o 18683 233.58 c 4471 233.90 o 18685 233.90 c 4469 234.19 o 18687 234.19 c 4467 234.79 o 18688 234.79 c 4466 235.06 o 18689 235.06 c 4465 235.36 o 18691 235.36 c 4463 235.66 o 18693 235.66 c 4461 236.82 o 18694 236.82 c 4460 237.41 o 18695 237.41 c 4459 237.71 o 18696 237.71 c 4458 238.00 o 18700 238.00 c 4454 238.85 o 18703 238.85 c 4451 239.15 o 18705 239.15 c 4449 239.70 o 18706 239.70 c 4448 239.98 o 18708 239.98 c 4446 240.26 o 18711 240.26 c 4443 240.81 o 18713 240.81 c 4441 241.10 o 18714 241.10 c 4440 241.37 o 18715 241.37 c 4439 241.65 o 18719 241.65 c 4435 241.92 o 18720 241.92 c 4434 242.75 o 18722 242.75 c 4432 243.02 o 18725 243.02 c 4429 243.30 o 18727 243.30 c 4427 243.58 o 18730 243.58 c 4424 243.86 o 18731 243.86 c 4423 244.14 o 18736 244.14 c 4418 244.43 o 18738 244.43 c 4416 244.71 o 18740 244.71 c 4414 244.98 o 18741 244.98 c 4413 245.55 o 18743 245.55 c 4411 245.82 o 18746 245.82 c 4408 246.09 o 18747 246.09 c 4407 246.38 o 18748 246.38 c 4406 246.65 o 18749 246.65 c 4405 246.92 o 18750 246.92 c 4404 249.94 o 18752 249.94 c 4402 250.21 o 18753 250.21 c 4401 250.48 o 18754 250.48 c 4400 250.74 o 18755 250.74 c 4399 251.02 o 18758 251.02 c 4396 251.30 o 18761 251.30 c 4393 252.09 o 18762 252.09 c 4392 252.35 o 18765 252.35 c 4389 252.62 o 18768 252.62 c 4386 252.89 o 18769 252.89 c 4385 253.16 o 18770 253.16 c 4384 253.39 o 18773 253.39 c 4381 254.19 o 18774 254.19 c 4380 254.44 o 18777 254.44 c 4377 254.71 o 18778 254.71 c 4376 254.98 o 18780 254.98 c 4374 255.23 o 18783 255.23 c 4371 255.50 o 18784 255.50 c 4370 255.74 o 18788 255.74 c 4366 255.99 o 18791 255.99 c 4363 256.25 o 18792 256.25 c 4362 256.75 o 18794 256.75 c 4360 257.25 o 18797 257.25 c 4357 257.50 o 18799 257.50 c 4355 257.78 o 18800 257.78 c 4354 258.03 o 18803 258.03 c 4351 258.28 o 18805 258.28 c 4349 258.54 o 18806 258.54 c 4348 258.81 o 18809 258.81 c 4345 259.08 o 18813 259.08 c 4341 259.37 o 18816 259.37 c 4338 259.92 o 18818 259.92 c 4336 261.54 o 18820 261.54 c 4334 261.83 o 18821 261.84 c 4333 262.38 o 18825 262.38 c 4329 262.65 o 18827 262.65 c 4327 263.20 o 18829 263.20 c 4325 263.47 o 18832 263.47 c 4322 263.75 o 18834 263.75 c 4320 264.04 o 18835 264.04 c 4319 264.33 o 18837 264.33 c 4317 264.61 o 18838 264.61 c 4316 265.72 o 18839 265.72 c 4315 266.00 o 18842 266.00 c 4312 266.29 o 18844 266.29 c 4310 266.57 o 18846 266.57 c 4308 266.85 o 18847 266.85 c 4307 267.13 o 18849 267.13 c 4305 267.42 o 18851 267.42 c 4303 267.70 o 18855 267.70 c 4299 267.98 o 18856 267.98 c 4298 268.51 o 18860 268.51 c 4294 269.04 o 18861 269.04 c 4293 269.58 o 18863 269.58 c 4291 269.85 o 18866 269.85 c 4288 270.39 o 18868 270.39 c 4286 270.65 o 18869 270.65 c 4285 271.77 o 18871 271.77 c 4283 272.62 o 18872 272.62 c 4282 272.90 o 18876 272.90 c 4278 273.18 o 18877 273.19 c 4277 273.47 o 18879 273.47 c 4275 273.78 o 18883 273.78 c 4271 274.61 o 18885 274.61 c 4269 274.90 o 18886 274.90 c 4268 275.21 o 18890 275.21 c 4264 275.51 o 18891 275.51 c 4263 275.82 o 18892 275.82 c 4262 276.13 o 18895 276.13 c 4259 277.04 o 18896 277.04 c 4258 277.66 o 18897 277.66 c 4257 277.96 o 18900 277.96 c 4254 278.29 o 18901 278.29 c 4253 278.95 o 18903 278.95 c 4251 279.27 o 18907 279.27 c 4247 279.61 o 18909 279.61 c 4245 279.94 o 18911 279.94 c 4243 280.27 o 18913 280.27 c 4241 280.59 o 18915 280.59 c 4239 280.92 o 18916 280.92 c 4238 281.24 o 18917 281.24 c 4237 281.57 o 18919 281.57 c 4235 281.90 o 18921 281.90 c 4233 282.23 o 18923 282.23 c 4231 282.55 o 18925 282.55 c 4229 282.89 o 18926 282.89 c 4228 283.22 o 18927 283.22 c 4227 283.56 o 18928 283.56 c 4226 283.88 o 18929 283.88 c 4225 284.20 o 18930 284.21 c 4224 284.52 o 18934 284.52 c 4220 284.84 o 18936 284.84 c 4218 285.16 o 18941 285.16 c 4213 285.49 o 18943 285.49 c 4211 285.81 o 18946 285.81 c 4208 286.14 o 18947 286.14 c 4207 286.46 o 18948 286.46 c 4206 286.79 o 18949 286.79 c 4205 287.12 o 18950 287.12 c 4204 287.45 o 18951 287.45 c 4203 287.79 o 18952 287.79 c 4202 290.37 o 18953 290.37 c 4201 290.69 o 18957 290.69 c 4197 291.03 o 18959 291.03 c 4195 291.37 o 18964 291.37 c 4190 292.69 o 18965 292.69 c 4189 293.35 o 18967 293.35 c 4187 294.02 o 18968 294.02 c 4186 294.36 o 18971 294.36 c 4183 295.37 o 18973 295.37 c 4181 295.72 o 18975 295.72 c 4179 296.07 o 18977 296.07 c 4177 298.45 o 18980 298.45 c 4174 298.79 o 18981 298.79 c 4173 299.13 o 18983 299.13 c 4171 299.46 o 18985 299.46 c 4169 300.50 o 18987 300.50 c 4167 300.83 o 18989 300.83 c 4165 301.17 o 18992 301.17 c 4162 301.49 o 18996 301.49 c 4158 301.82 o 19001 301.82 c 4153 302.80 o 19004 302.80 c 4150 303.48 o 19006 303.48 c 4148 303.83 o 19008 303.83 c 4146 304.16 o 19012 304.16 c 4142 304.48 o 19014 304.48 c 4140 304.82 o 19016 304.82 c 4138 305.16 o 19019 305.16 c 4135 306.18 o 19020 306.18 c 4134 306.83 o 19021 306.83 c 4133 308.08 o 19024 308.08 c 4130 308.41 o 19025 308.41 c 4129 308.72 o 19028 308.72 c 4126 309.02 o 19031 309.02 c 4123 309.65 o 19032 309.65 c 4122 309.95 o 19033 309.95 c 4121 310.27 o 19036 310.27 c 4118 310.58 o 19038 310.58 c 4116 310.90 o 19039 310.90 c 4115 311.50 o 19040 311.50 c 4114 311.81 o 19042 311.81 c 4112 312.41 o 19045 312.41 c 4109 312.71 o 19048 312.71 c 4106 313.25 o 19051 313.25 c 4103 313.47 o 19053 313.47 c 4101 313.77 o 19054 313.77 c 4100 314.07 o 19056 314.07 c 4098 314.37 o 19057 314.37 c 4097 314.66 o 19059 314.66 c 4095 314.96 o 19062 314.96 c 4092 316.13 o 19063 316.13 c 4091 316.42 o 19064 316.42 c 4090 316.72 o 19068 316.72 c 4086 317.30 o 19069 317.30 c 4085 317.59 o 19070 317.59 c 4084 318.51 o 19071 318.51 c 4083 319.42 o 19073 319.42 c 4081 320.03 o 19075 320.03 c 4079 320.33 o 19078 320.33 c 4076 320.64 o 19079 320.64 c 4075 320.94 o 19080 320.94 c 4074 322.14 o 19084 322.14 c 4070 322.46 o 19086 322.46 c 4068 322.77 o 19087 322.77 c 4067 323.38 o 19090 323.38 c 4064 324.64 o 19091 324.64 c 4063 324.96 o 19092 324.96 c 4062 325.28 o 19095 325.28 c 4059 325.89 o 19097 325.89 c 4057 326.22 o 19098 326.22 c 4056 326.53 o 19100 326.53 c 4054 327.17 o 19105 327.17 c 4049 327.51 o 19106 327.51 c 4048 327.83 o 19107 327.83 c 4047 328.15 o 19108 328.15 c 4046 328.47 o 19112 328.47 c 4042 329.12 o 19114 329.12 c 4040 329.45 o 19118 329.45 c 4036 330.00 o 19119 330.00 c 4035 330.34 o 19122 330.34 c 4032 330.68 o 19124 330.68 c 4030 331.02 o 19126 331.02 c 4028 331.36 o 19128 331.36 c 4026 331.71 o 19130 331.71 c 4024 332.04 o 19134 332.04 c 4020 332.39 o 19136 332.39 c 4018 333.07 o 19139 333.07 c 4015 333.21 o 19141 333.21 c 4013 334.85 o 19142 334.85 c 4012 335.18 o 19145 335.18 c 4009 335.40 o 19146 335.40 c 4008 336.05 o 19149 336.05 c 4005 337.01 o 19150 337.01 c 4004 337.64 o 19152 337.64 c 4002 337.97 o 19155 337.97 c 3999 338.64 o 19157 338.64 c 3997 338.97 o 19159 338.97 c 3995 339.14 o 19160 339.14 c 3994 339.79 o 19163 339.79 c 3991 340.47 o 19168 340.47 c 3986 340.79 o 19170 340.79 c 3984 341.12 o 19171 341.12 c 3983 341.43 o 19172 341.43 c 3982 341.76 o 19173 341.76 c 3981 342.08 o 19177 342.08 c 3977 342.40 o 19180 342.40 c 3974 342.74 o 19183 342.74 c 3971 343.05 o 19185 343.05 c 3969 343.38 o 19188 343.38 c 3966 343.69 o 19190 343.69 c 3964 344.00 o 19191 344.00 c 3963 344.34 o 19193 344.34 c 3961 345.68 o 19194 345.68 c 3960 346.02 o 19198 346.02 c 3956 346.33 o 19199 346.33 c 3955 346.98 o 19202 346.98 c 3952 347.32 o 19205 347.32 c 3949 347.65 o 19207 347.65 c 3947 348.31 o 19212 348.31 c 3942 349.31 o 19214 349.31 c 3940 350.65 o 19216 350.65 c 3938 352.31 o 19217 352.31 c 3937 353.33 o 19218 353.33 c 3936 354.00 o 19220 354.00 c 3934 354.34 o 19221 354.34 c 3933 354.70 o 19223 354.70 c 3931 355.03 o 19225 355.03 c 3929 355.70 o 19228 355.70 c 3926 356.04 o 19232 356.04 c 3922 356.38 o 19235 356.38 c 3919 357.73 o 19237 357.73 c 3917 358.06 o 19239 358.06 c 3915 358.39 o 19240 358.39 c 3914 358.68 o 19241 358.68 c 3913 359.01 o 19244 359.01 c 3910 359.33 o 19245 359.33 c 3909 359.66 o 19246 359.66 c 3908 359.98 o 19247 359.98 c 3907 360.17 o 19248 360.17 c 3906 360.52 o 19249 360.52 c 3905 360.84 o 19250 360.84 c 3904 361.18 o 19251 361.18 c 3903 361.51 o 19254 361.51 c 3900 361.99 o 19257 361.99 c 3897 362.64 o 19260 362.64 c 3894 362.96 o 19261 362.96 c 3893 363.92 o 19262 363.92 c 3892 364.24 o 19263 364.24 c 3891 365.88 o 19265 365.88 c 3889 366.21 o 19266 366.21 c 3888 366.55 o 19267 366.55 c 3887 371.32 o 19269 371.32 c 3885 371.67 o 19270 371.67 c 3884 372.39 o 19271 372.39 c 3883 372.74 o 19272 372.74 c 3882 373.80 o 19274 373.80 c 3880 375.18 o 19275 375.18 c 3879 375.50 o 19278 375.50 c 3876 375.83 o 19280 375.83 c 3874 376.17 o 19282 376.17 c 3872 376.53 o 19284 376.53 c 3870 377.54 o 19286 377.54 c 3868 377.88 o 19288 377.88 c 3866 378.24 o 19291 378.24 c 3863 378.57 o 19292 378.57 c 3862 378.92 o 19295 378.92 c 3859 379.60 o 19296 379.60 c 3858 379.94 o 19297 379.94 c 3857 380.64 o 19300 380.64 c 3854 381.35 o 19301 381.35 c 3853 381.72 o 19304 381.72 c 3850 382.08 o 19305 382.08 c 3849 382.42 o 19307 382.42 c 3847 383.13 o 19310 383.13 c 3844 383.85 o 19311 383.85 c 3843 384.95 o 19313 384.95 c 3841 389.81 o 19314 389.81 c 3840 390.21 o 19316 390.21 c 3838 392.06 o 19317 392.06 c 3837 392.43 o 19318 392.43 c 3836 392.82 o 19320 392.82 c 3834 393.96 o 19322 393.96 c 3832 394.34 o 19323 394.34 c 3831 395.50 o 19324 395.50 c 3830 396.25 o 19326 396.25 c 3828 398.55 o 19329 398.55 c 3825 398.94 o 19330 398.94 c 3824 400.10 o 19333 400.10 c 3821 400.86 o 19336 400.86 c 3818 401.24 o 19337 401.24 c 3817 401.62 o 19340 401.62 c 3814 402.00 o 19341 402.00 c 3813 402.77 o 19343 402.77 c 3811 403.17 o 19344 403.17 c 3810 403.58 o 19346 403.58 c 3808 403.96 o 19347 403.96 c 3807 404.36 o 19349 404.36 c 3805 404.75 o 19353 404.75 c 3801 405.14 o 19357 405.14 c 3797 405.53 o 19359 405.53 c 3795 405.93 o 19361 405.93 c 3793 406.31 o 19364 406.31 c 3790 409.12 o 19365 409.12 c 3789 409.52 o 19368 409.52 c 3786 409.91 o 19369 409.91 c 3785 410.33 o 19371 410.33 c 3783 410.76 o 19374 410.76 c 3780 412.03 o 19375 412.03 c 3779 412.45 o 19377 412.45 c 3777 412.87 o 19378 412.87 c 3776 413.31 o 19380 413.31 c 3774 413.74 o 19382 413.74 c 3772 414.15 o 19384 414.15 c 3770 416.19 o 19385 416.19 c 3769 417.02 o 19386 417.02 c 3768 417.44 o 19387 417.44 c 3767 417.87 o 19389 417.87 c 3765 418.25 o 19391 418.25 c 3763 418.67 o 19393 418.67 c 3761 420.36 o 19395 420.36 c 3759 420.79 o 19398 420.79 c 3756 421.22 o 19399 421.22 c 3755 422.07 o 19401 422.07 c 3753 422.48 o 19402 422.48 c 3752 423.30 o 19403 423.30 c 3751 423.70 o 19404 423.70 c 3750 425.72 o 19405 425.72 c 3749 426.14 o 19406 426.14 c 3748 426.55 o 19407 426.55 c 3747 426.96 o 19408 426.96 c 3746 427.37 o 19409 427.37 c 3745 427.79 o 19412 427.79 c 3742 428.21 o 19414 428.21 c 3740 428.55 o 19418 428.55 c 3736 429.38 o 19419 429.38 c 3735 429.78 o 19420 429.78 c 3734 430.18 o 19422 430.18 c 3732 430.58 o 19423 430.58 c 3731 430.98 o 19424 430.98 c 3730 431.38 o 19426 431.38 c 3728 432.18 o 19429 432.18 c 3725 432.58 o 19430 432.58 c 3724 432.96 o 19433 432.96 c 3721 433.39 o 19435 433.39 c 3719 434.20 o 19436 434.20 c 3718 434.60 o 19437 434.60 c 3717 435.02 o 19439 435.02 c 3715 435.42 o 19441 435.42 c 3713 435.82 o 19442 435.82 c 3712 436.22 o 19444 436.22 c 3710 437.03 o 19445 437.03 c 3709 437.81 o 19446 437.81 c 3708 438.63 o 19448 438.63 c 3706 439.06 o 19451 439.06 c 3703 439.47 o 19456 439.47 c 3698 439.87 o 19458 439.87 c 3696 440.28 o 19459 440.28 c 3695 440.68 o 19462 440.68 c 3692 441.88 o 19463 441.88 c 3691 442.69 o 19466 442.69 c 3688 443.51 o 19468 443.51 c 3686 443.92 o 19470 443.92 c 3684 444.35 o 19471 444.35 c 3683 445.16 o 19472 445.16 c 3682 445.57 o 19473 445.57 c 3681 447.65 o 19474 447.65 c 3680 448.08 o 19476 448.08 c 3678 449.31 o 19477 449.31 c 3677 449.72 o 19480 449.72 c 3674 450.12 o 19481 450.12 c 3673 451.77 o 19483 451.77 c 3671 452.17 o 19484 452.17 c 3670 452.99 o 19486 452.99 c 3668 453.39 o 19492 453.39 c 3662 453.79 o 19496 453.79 c 3658 454.13 o 19499 454.13 c 3655 454.93 o 19500 454.93 c 3654 455.34 o 19502 455.34 c 3652 455.74 o 19504 455.74 c 3650 456.15 o 19505 456.15 c 3649 456.94 o 19508 456.94 c 3646 457.34 o 19509 457.34 c 3645 457.74 o 19510 457.74 c 3644 458.14 o 19512 458.14 c 3642 458.95 o 19513 458.95 c 3641 459.35 o 19516 459.35 c 3638 460.17 o 19518 460.17 c 3636 460.98 o 19521 460.98 c 3633 461.39 o 19523 461.39 c 3631 461.70 o 19526 461.70 c 3628 462.09 o 19528 462.09 c 3626 462.88 o 19529 462.88 c 3625 463.28 o 19532 463.28 c 3622 463.69 o 19533 463.69 c 3621 464.09 o 19536 464.09 c 3618 464.49 o 19537 464.49 c 3617 466.18 o 19538 466.18 c 3616 466.63 o 19541 466.63 c 3613 469.49 o 19543 469.49 c 3611 469.89 o 19546 469.89 c 3608 470.29 o 19547 470.29 c 3607 471.10 o 19548 471.10 c 3606 471.50 o 19553 471.50 c 3601 471.92 o 19554 471.92 c 3600 472.73 o 19558 472.73 c 3596 473.90 o 19560 473.90 c 3594 474.33 o 19562 474.33 c 3592 475.55 o 19563 475.55 c 3591 475.97 o 19564 475.97 c 3590 476.37 o 19565 476.37 c 3589 477.21 o 19568 477.21 c 3586 478.44 o 19571 478.44 c 3583 480.46 o 19575 480.46 c 3579 480.86 o 19577 480.86 c 3577 481.30 o 19578 481.30 c 3576 481.72 o 19580 481.72 c 3574 482.15 o 19581 482.15 c 3573 483.00 o 19582 483.01 c 3572 487.33 o 19584 487.33 c 3570 487.74 o 19586 487.74 c 3568 488.21 o 19588 488.21 c 3566 488.65 o 19589 488.65 c 3565 489.10 o 19590 489.10 c 3564 489.56 o 19591 489.56 c 3563 490.00 o 19593 490.00 c 3561 490.44 o 19594 490.44 c 3560 490.88 o 19597 490.88 c 3557 491.33 o 19598 491.33 c 3556 492.24 o 19600 492.24 c 3554 492.70 o 19601 492.70 c 3553 493.12 o 19603 493.12 c 3551 495.30 o 19606 495.30 c 3548 501.07 o 19608 501.07 c 3546 501.53 o 19610 501.53 c 3544 501.98 o 19611 501.98 c 3543 502.45 o 19614 502.45 c 3540 503.37 o 19616 503.37 c 3538 504.32 o 19617 504.32 c 3537 505.23 o 19621 505.23 c 3533 505.68 o 19623 505.68 c 3531 506.13 o 19625 506.13 c 3529 507.06 o 19626 507.06 c 3528 508.02 o 19628 508.02 c 3526 508.51 o 19631 508.51 c 3523 509.41 o 19633 509.41 c 3521 509.89 o 19634 509.89 c 3520 516.49 o 19637 516.49 c 3517 516.98 o 19638 516.98 c 3516 517.94 o 19640 517.94 c 3514 518.43 o 19642 518.43 c 3512 520.39 o 19644 520.39 c 3510 520.86 o 19647 520.86 c 3507 521.33 o 19648 521.33 c 3506 521.82 o 19649 521.82 c 3505 522.77 o 19650 522.77 c 3504 523.24 o 19653 523.24 c 3501 523.71 o 19655 523.71 c 3499 524.19 o 19657 524.19 c 3497 524.69 o 19660 524.69 c 3494 525.18 o 19664 525.18 c 3490 525.66 o 19667 525.66 c 3487 526.15 o 19669 526.15 c 3485 527.59 o 19670 527.59 c 3484 528.10 o 19674 528.10 c 3480 529.07 o 19675 529.07 c 3479 529.57 o 19677 529.57 c 3477 530.06 o 19682 530.06 c 3472 531.40 o 19683 531.40 c 3471 531.88 o 19684 531.88 c 3470 538.30 o 19686 538.30 c 3468 539.04 o 19687 539.04 c 3467 540.56 o 19690 540.56 c 3464 541.07 o 19692 541.07 c 3462 541.58 o 19693 541.58 c 3461 543.09 o 19695 543.09 c 3459 543.58 o 19697 543.58 c 3457 544.09 o 19699 544.09 c 3455 544.61 o 19703 544.61 c 3451 545.11 o 19704 545.11 c 3450 545.60 o 19705 545.60 c 3449 550.68 o 19707 550.68 c 3447 551.61 o 19711 551.61 c 3443 552.60 o 19713 552.60 c 3441 553.66 o 19714 553.66 c 3440 554.65 o 19717 554.65 c 3437 555.18 o 19721 555.18 c 3433 555.70 o 19722 555.70 c 3432 556.24 o 19723 556.24 c 3431 556.78 o 19725 556.78 c 3429 557.84 o 19727 557.84 c 3427 558.37 o 19730 558.37 c 3424 559.98 o 19732 559.98 c 3422 560.50 o 19737 560.50 c 3417 561.05 o 19740 561.05 c 3414 561.57 o 19741 561.57 c 3413 562.08 o 19742 562.08 c 3412 562.61 o 19746 562.61 c 3408 563.15 o 19749 563.15 c 3405 564.20 o 19751 564.20 c 3403 564.72 o 19754 564.72 c 3400 566.35 o 19756 566.35 c 3398 566.74 o 19758 566.74 c 3396 567.28 o 19759 567.28 c 3395 567.81 o 19762 567.81 c 3392 568.34 o 19763 568.34 c 3391 577.15 o 19765 577.15 c 3389 579.64 o 19769 579.64 c 3385 581.72 o 19771 581.72 c 3383 582.25 o 19773 582.25 c 3381 582.80 o 19776 582.80 c 3378 585.55 o 19777 585.55 c 3377 586.10 o 19778 586.10 c 3376 587.21 o 19779 587.21 c 3375 587.76 o 19781 587.76 c 3373 588.32 o 19783 588.32 c 3371 588.86 o 19784 588.86 c 3370 590.52 o 19787 590.52 c 3367 591.66 o 19788 591.66 c 3366 592.24 o 19789 592.24 c 3365 592.81 o 19791 592.81 c 3363 593.90 o 19794 593.90 c 3360 595.03 o 19795 595.03 c 3359 597.24 o 19798 597.24 c 3356 597.80 o 19799 597.80 c 3355 598.91 o 19800 598.91 c 3354 599.47 o 19803 599.47 c 3351 600.58 o 19804 600.58 c 3350 601.13 o 19807 601.13 c 3347 601.68 o 19808 601.68 c 3346 603.29 o 19811 603.29 c 3343 605.48 o 19813 605.48 c 3341 610.87 o 19815 610.87 c 3339 611.42 o 19817 611.42 c 3337 611.96 o 19818 611.96 c 3336 615.27 o 19819 615.27 c 3335 616.35 o 19821 616.35 c 3333 617.24 o 19822 617.24 c 3332 619.39 o 19823 619.39 c 3331 619.79 o 19824 619.79 c 3330 621.39 o 19827 621.39 c 3327 624.15 o 19829 624.15 c 3325 625.23 o 19830 625.23 c 3324 625.77 o 19831 625.77 c 3323 626.30 o 19833 626.30 c 3321 626.84 o 19834 626.84 c 3320 627.34 o 19837 627.34 c 3317 627.86 o 19839 627.86 c 3315 628.92 o 19841 628.92 c 3313 629.99 o 19843 629.99 c 3311 630.53 o 19844 630.53 c 3310 631.07 o 19845 631.07 c 3309 631.63 o 19846 631.63 c 3308 632.72 o 19847 632.72 c 3307 633.81 o 19848 633.81 c 3306 634.78 o 19851 634.78 c 3303 635.33 o 19853 635.33 c 3301 635.87 o 19854 635.87 c 3300 636.41 o 19855 636.41 c 3299 636.96 o 19856 636.96 c 3298 637.50 o 19859 637.50 c 3295 638.05 o 19861 638.05 c 3293 639.12 o 19863 639.12 c 3291 640.18 o 19866 640.18 c 3288 640.74 o 19868 640.74 c 3286 642.39 o 19869 642.39 c 3285 643.49 o 19871 643.49 c 3283 644.04 o 19872 644.04 c 3282 645.12 o 19874 645.12 c 3280 645.66 o 19875 645.66 c 3279 652.66 o 19876 652.66 c 3278 653.22 o 19877 653.23 c 3277 653.78 o 19879 653.78 c 3275 654.35 o 19880 654.35 c 3274 654.91 o 19883 654.91 c 3271 656.02 o 19885 656.02 c 3269 656.57 o 19886 656.57 c 3268 657.06 o 19887 657.06 c 3267 657.61 o 19891 657.61 c 3263 658.16 o 19892 658.16 c 3262 662.10 o 19893 662.10 c 3261 662.66 o 19895 662.66 c 3259 665.46 o 19898 665.46 c 3256 666.04 o 19899 666.04 c 3255 666.60 o 19901 666.60 c 3253 667.74 o 19902 667.74 c 3252 670.54 o 19903 670.54 c 3251 671.10 o 19904 671.10 c 3250 675.52 o 19906 675.52 c 3248 676.62 o 19907 676.62 c 3247 678.26 o 19910 678.26 c 3244 678.80 o 19912 678.80 c 3242 679.35 o 19914 679.35 c 3240 685.76 o 19916 685.76 c 3238 687.34 o 19918 687.34 c 3236 687.86 o 19920 687.86 c 3234 688.37 o 19922 688.37 c 3232 688.70 o 19923 688.70 c 3231 689.21 o 19925 689.21 c 3229 689.72 o 19927 689.72 c 3227 690.24 o 19929 690.24 c 3225 691.29 o 19930 691.29 c 3224 693.35 o 19932 693.35 c 3222 693.86 o 19933 693.86 c 3221 694.37 o 19934 694.37 c 3220 694.90 o 19936 694.90 c 3218 696.49 o 19939 696.49 c 3215 697.02 o 19940 697.02 c 3214 699.11 o 19941 699.11 c 3213 699.66 o 19942 699.66 c 3212 701.72 o 19943 701.72 c 3211 703.26 o 19944 703.26 c 3210 704.35 o 19945 704.35 c 3209 707.04 o 19947 707.04 c 3207 707.58 o 19948 707.58 c 3206 737.67 737.67 search 737.67 run=0 nbConstraintChecks=1512434499 nbAssignments=2415 737.67 => wckTime=675.166 cpuTime=674.28 mem=78M233 737.67 737.67 global 737.67 nbConstraintChecks=1512434499 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 737.67 solvingWckTime=675.132 solvingCpuTime=674.24 expiredTime=no totalExploration=no nbFoundSolutions=0 737.67 globalCpuTime=735.21 737.67 => wckTime=737.336 cpuTime=735.15 mem=78M233 737.67 737.67 solver IterativeSystematicSolver being built... 738.57 => wckTime=738.233 cpuTime=735.64 mem=229M818 2403.03 v 3644 3516 3992 3188 3608 3040 3096 -3956 3680 3764 -3372 -3784 3296 3220 3956 -3104 -3792 -3020 3952 3408 3968 -3904 -3128 -3988 -3484 -3044 -3260 3848 3428 3192 3012 3240 3080 -3692 -3880 3024 -3980 3020 3944 3160 3972 -3008 -3328 3996 -3044 -3196 -3044 3148 -3784 3604 3008 -3756 3044 -3008 -3380 -3888 3960 3296 3440 3072 3952 3148 3304 3604 3952 3524 3984 -3108 -3628 -3848 -3000 3036 3076 3416 -3944 -3384 -3664 3080 -3084 3700 -3844 -3960 -3820 3008 -3808 -3512 3052 -3284 3124 -3080 3912 3004 -3948 3836 3952 3892 -3384 3856 -3772 3816 3068 3704 3956 -3868 3144 3064 -3884 3200 3064 3424 -3328 3768 -3932 -3044 3752 3060 3044 -3740 3300 3240 -3996 3928 -4000 3064 -3040 -3136 -3996 3148 3756 3656 3004 3092 3012 3328 -3652 -3208 3924 3824 -4000 -3992 -3900 3176 -3160 3316 -3692 3916 3524 3496 3176 3940 -3824 -3952 3248 3052 -3980 3040 -3072 -3956 -3040 3848 3928 3876 3460 -3980 -3620 3972 -3516 3052 -3800 -3784 3980 -3056 3232 3004 -3564 -3236 3176 3632 3172 3912 -3956 -3656 -3000 3912 -3208 -3052 -3088 -3960 3924 -3016 3984 -3308 -3240 3028 -3604 3060 3852 -3780 -3392 3860 -3044 -3856 -3864 -3080 3908 -3968 -3792 -3864 3432 -3444 3768 -3908 -3848 -3012 -3832 3816 -3956 3304 3932 -3860 -3808 -3940 3664 -3812 -3000 -3200 -3608 -3816 3060 3228 -3972 -4000 3076 3000 -4000 -3920 -3712 3060 3448 -3484 -3304 3564 -3648 3980 3960 3992 -3916 -3292 -3736 -3960 3084 3068 -3764 -3872 3580 3852 -3512 3376 -3064 3988 -3000 -3996 3056 3208 3000 3104 -3664 3428 -3188 -3112 -3140 3044 3320 -3940 3224 3000 3996 3688 -3912 -3876 -3876 -3812 3976 -3344 -3316 3496 -3836 -3056 3180 3772 3052 -3996 3196 3008 3276 3000 -3824 3956 3000 3164 3812 -3096 3592 -3180 3344 -3996 -3072 3312 3720 -3912 3672 3044 3232 -3164 3820 -3984 -3716 -3916 -3700 -3948 -3112 -3012 3924 -3956 3084 -3084 -3036 3188 -3836 3864 -3956 3104 -3248 -3096 -3872 -3228 3260 3016 -3180 -3080 3116 3144 -3644 -3980 3188 3984 -3192 4000 -3024 3964 -3952 3888 -3496 3004 3024 3588 -3956 3492 3840 -3780 3812 3920 -3400 -3852 3976 3344 3624 -3064 -3848 -3092 3924 3956 3036 -3872 3984 -3284 -3304 3132 -3080 -3016 3844 3120 3124 3772 -3660 3980 3040 -3592 3864 3836 3644 -3216 3924 -3992 3848 -3324 -3904 3052 -3696 3052 3096 -3904 3932 3056 3020 3256 3600 3492 -3004 -3016 -3040 3128 3920 -3924 3996 -3040 3044 3440 3104 -3868 3360 -3564 -3860 -3428 3728 -3796 -3808 -3784 -3288 3988 -3348 3844 -3820 -3332 3976 -3900 -3116 3704 -3972 3016 3528 3972 -3228 3252 -3824 3660 3104 -3140 -3060 3028 -3152 -3332 3064 -3520 3276 -3248 -3924 -4000 3108 -3168 3520 3992 3588 3140 -3268 3028 3928 3004 -3004 3108 -3060 -3608 3296 -3064 -3672 -3540 3956 -3020 -3012 3688 3044 3684 -3580 3136 -3004 -3040 3884 4000 3852 -3392 3064 3320 3628 -3876 -3008 3704 3064 3656 3964 -3032 3996 -3396 4000 -3868 -3316 3960 -3032 -3984 3380 -3928 3300 3984 -3036 -3032 3004 -3664 3484 -3004 -3840 3380 -3632 3972 3048 -3596 -3948 3848 -3136 -3052 3728 3632 3940 3020 -3136 3124 3520 3052 -3108 3784 3120 -3964 3824 -3056 3156 -3480 -3868 3724 -3032 -3992 3836 3004 3368 -3896 -4000 -3968 3012 -3028 -3980 3600 -3540 -3956 -3708 3040 3112 -3732 -3988 3088 3136 -3084 -3864 -3800 -4000 -3804 -3164 -3648 -3012 3844 -3704 3448 -3948 -3728 -3072 3980 -3484 3964 -3056 3072 3604 3460 3216 -3956 -3716 -3288 -3008 3968 -3500 3640 -3120 3672 -3040 -3012 3568 3948 -3232 3228 3980 -3060 3440 3924 3632 -3988 -3980 3980 -3984 -3976 3216 3936 3460 3884 -3976 -3888 -3860 -3856 3056 -3708 -3236 3076 3144 -3980 3004 -3968 -3504 3572 -3028 3736 -3456 3300 3988 -3000 -3948 -3076 -3520 -3796 3236 3808 3768 3372 3908 3976 3812 3068 -3340 3080 3936 3896 -3264 3772 -3972 3996 -3012 -3048 3484 -3432 -3920 -3712 -3512 3300 3924 -3996 -3052 3676 -3908 -3116 -3020 3448 3112 -3492 -3196 3960 -3964 3756 3004 -3276 -3192 3020 3940 -3544 -3820 3948 3344 3408 3948 3972 3260 -3008 -3088 3948 3396 3968 -3956 3776 3984 3900 3320 -3884 3584 -4000 3108 3244 -3060 3964 -3856 -3876 3008 3484 -3916 -3812 -3164 3576 -3960 -3004 -3932 3832 -3672 3824 3932 3052 -3660 3996 3232 3468 -3204 3912 4000 3720 3044 3672 4000 3604 3740 3036 3984 3488 -3252 3648 3604 3876 -3472 -3344 3040 3928 -4000 3016 -3936 3680 3100 3028 -3816 -3340 -3776 3000 3084 -3988 -3300 3168 -3276 3088 -3084 3344 -4000 3776 3992 -3996 3960 3000 -3116 -3764 3004 3616 -3324 3044 -3748 3680 3976 3144 -3836 -3744 3060 3068 3960 -3604 3052 3640 -3048 -3876 3748 3684 -3924 -3080 3040 3892 3976 3320 -3064 3924 3160 3200 3348 -3592 -3460 -3016 3784 3076 -3816 3276 3064 3848 -3956 -3248 3532 3928 3740 3328 -3152 3728 -3308 3212 3176 -3804 -3104 3932 3988 -3884 3204 -3108 3392 3008 -3108 -3860 3992 3556 3932 3824 3400 -3576 4000 -3716 -3924 -3388 -3724 -3828 -3436 -3316 -3952 -3656 3004 -3296 3936 -3936 3108 -3920 3796 -3056 -3192 3960 3592 -3544 3948 -3924 3712 -3852 3204 -3860 3992 3012 3020 -3804 -3928 -3420 -3480 3968 -3416 -3936 3416 -3000 3936 -3940 -3364 -3936 -3948 3092 -3088 3536 -3784 -3108 3176 3896 -3704 3912 -3980 -3756 -3008 3060 3548 3164 -3140 -3656 -3788 -3156 -3952 -3120 -3592 3180 3164 3388 3372 -3016 -3816 -3240 -3008 3900 3500 3820 3932 -3216 3748 3000 -3304 -3644 -3912 3044 -3028 -3928 -3896 -3764 -3208 3208 -3000 3076 -3252 -3872 3372 -3840 3380 3000 -3656 3008 3816 -3988 3708 -3408 3372 3984 -3016 3816 -4000 3992 -3684 3168 3968 3872 3040 -3940 4000 -3588 -3940 -3716 3064 -3856 -3852 3264 3768 -3428 -3860 -3256 3020 3296 -3508 3284 -3664 3684 3948 3348 3820 3980 -3480 3884 -3212 3136 -3984 -3776 -3832 -3008 -3752 -3344 -3912 -3124 3856 3000 3676 3524 3272 -3384 -3132 -3232 -3092 -3084 -3808 -3156 -3988 -3968 3044 -3564 -3956 -3992 -3188 3212 3724 -3040 -3604 -3988 -3960 3044 3212 -3724 -3000 3076 3812 3948 3060 -3524 -3016 3884 3024 -3604 -3236 -3976 3716 -3008 3792 3984 3384 -3876 3280 3484 3792 3000 3692 -3992 -3396 3048 -3348 -3112 -3072 3276 3060 3040 -3928 -3056 -3936 3304 -3984 -3080 3872 3348 -3044 3560 3924 3620 3064 3748 -3584 -3776 -3036 3404 3556 -3112 3152 3532 -3016 3076 -3280 -3072 -3012 -3344 3668 -3676 -3056 -3884 3616 3244 3740 3940 -3040 3944 -3080 -3096 3036 -4000 3000 -3184 3288 -3148 -3988 -3996 -4000 3064 -3236 -3900 -3100 -3996 -3292 -3908 -3044 3108 3136 3376 -3160 3892 -3328 -3760 -3088 -3808 -3328 -3944 3828 3004 -3784 3756 3648 3964 -3208 -3196 -3952 3988 -3468 3812 -3448 3016 -3728 3600 -3828 3056 3252 -3952 3708 -3884 -3992 3568 3000 3508 -3840 3872 3004 3116 -3844 -3960 3936 3596 -3936 3672 -3916 3872 3884 -3976 -3192 3016 -3996 -3268 -3148 3960 -3976 3216 3396 3948 3044 3644 3992 -3356 -3956 3072 -3928 3264 -3892 3712 -3616 3860 3076 -3236 -3956 3724 3044 -3952 3024 3860 -3372 3004 -3852 -3588 3048 3972 3600 3556 3980 -3564 -3396 3020 3056 3188 -3924 3816 -3056 3704 3112 -3580 -3164 -3888 3176 3640 3152 3168 -3424 -3168 3952 3716 -3192 3116 3916 -3780 -3656 3820 -3024 3952 -3104 3048 3332 3044 3104 -3944 -3220 -3004 3932 3028 3932 -3980 3804 -3624 3048 3040 3692 -3416 3288 3124 -3956 3300 3808 -3120 3992 3004 -3992 -3096 3488 3724 -3532 -3984 -3044 3504 3920 3064 3008 -3000 -4000 3864 3064 -3932 3960 -3016 3864 -3276 -3612 3208 3240 3072 -3076 -3944 3992 3192 -3652 3804 -3852 -3960 -3544 -3164 3436 3904 4000 3204 -3596 -3044 -3340 3008 -3360 3964 3696 3036 -3076 3172 -3848 -3892 3132 3784 3252 3052 3152 -3992 -3004 3080 -3040 3004 -3504 3524 3896 -3052 3332 -3432 3988 -3336 3008 -3504 3004 -3024 -3152 -3260 3032 3916 4000 3100 -3020 3064 -3976 -3292 -3364 -3608 3184 -3376 -3972 3564 -3348 3048 -3908 -3284 3284 3360 3116 -3608 -3084 3244 3900 3872 -3212 3548 -3012 3912 3452 -3672 -3872 3036 -3060 -3404 3168 -3756 3168 -3000 -3932 3000 -3128 -3728 -3004 3020 -3924 3448 -3340 -3892 -3332 3988 3044 3012 -3120 3884 -3072 3948 -3952 3956 3720 3696 3980 3896 3376 -3976 3720 -3000 3484 3468 -3844 -3584 3200 -3064 -3772 3952 3320 -3000 -3940 3044 3632 3900 3356 -3984 -3044 -3264 -3560 -3008 3520 -3064 -3080 -3532 -3196 3036 -3780 3128 -3560 -3116 3780 3960 -3812 -3044 -3248 -3376 3608 3420 -3100 -3856 -3368 -3068 -3052 3664 3592 3000 3948 -3968 -3996 3076 -3968 3064 -3244 -3004 3344 3904 -3124 -3736 3812 3056 -3780 -3984 -3484 3876 -3980 3996 3444 3984 -3992 -3012 -3208 -3952 -3028 -3100 -3960 3304 3776 3264 3084 -3936 -3260 3508 3380 3628 -3896 3864 -3444 3868 3520 3256 -3040 -3332 -3252 3040 -3012 3396 3476 -3000 -3704 3800 3740 3176 -3912 -3960 -3920 -3864 -3296 -3192 3864 -3264 -3200 3368 3008 3452 -3644 -3344 -3044 3040 -3972 -3288 -3388 3032 -3504 -3532 -3872 -3876 3956 3932 -3952 -4000 -3952 3840 3064 3804 -3236 -3340 -3956 3896 4000 -3824 3804 -3928 -3968 3080 -3608 3860 3088 -3420 3896 -3808 3560 -3536 -3288 -3872 3256 3048 3000 3152 3776 3340 -3928 -3668 3076 3728 3704 -3220 -3276 3068 3212 -3836 -3020 3280 3500 3452 3240 3632 -3012 3984 -3960 3832 3028 -3684 -3356 3952 -3012 -3016 -3060 3152 -3116 -3308 3200 -3040 -3040 -3052 3120 -3912 3984 -3680 -3824 -3948 3988 -3012 3860 3324 -3036 3060 -3048 3820 3104 -3220 3708 -3980 3404 3368 3772 -3920 -3788 3412 -3548 -3960 -3284 3152 3208 -3484 -3196 3028 3508 3468 -3832 3960 3064 3564 3104 -3988 3376 3996 3428 -3604 3380 -3996 -3072 3292 -3948 -3160 -3736 -4000 3900 -3000 3336 3148 3992 3820 -3056 3288 -3412 -3868 -3944 3104 3640 -3360 3064 3748 -3996 4000 -3936 3044 -3752 -3580 3052 -3144 3852 3852 3664 3524 3392 -3032 -3096 -3920 3976 3944 3624 -3984 -3112 -3776 -3440 -3888 3080 -3944 3912 -3344 3776 -3048 -3048 -3908 3812 -3072 3020 3012 -3316 3900 3016 -3240 3048 -3488 -3096 3824 3048 3852 3884 3104 3036 -3572 3404 -3068 3072 -3336 -3096 -3224 -3044 -3448 -3012 3980 -3424 3076 -3012 -3020 -3728 -3964 -3020 -3996 3776 3808 3996 -3836 3960 -3876 3116 3316 3888 -3032 -3388 3912 3036 -3084 3356 -3992 3476 -3940 -3444 3052 3304 3528 3912 -3056 -3176 3820 4000 3352 -3280 3176 -3048 -3888 3944 -3128 -3120 -3480 -3788 3016 -3084 3012 3020 -3444 3960 -3936 3936 3996 3980 3332 3144 -3828 3044 -3136 4000 3300 -3916 3120 -3972 -3368 3984 -3960 3924 -3328 3940 3168 -3948 -3964 -3960 3444 3456 3796 3824 -3980 -3000 -3096 -3912 3636 3112 -3100 3680 3152 -3920 -3112 -3976 -3160 -3736 3540 -3004 -4000 3608 3320 -3960 3664 3664 -3928 3924 -3872 -3948 3752 3076 3588 -3960 -3440 3448 3184 -3392 3644 -3468 -3564 3036 -3244 -3752 -3000 -3860 3192 -3068 3068 -3920 -3020 -3164 3024 3300 3012 -3344 3068 -3240 -3868 -3344 -3116 -3944 -3756 3340 3972 -3940 3364 -3096 3488 3952 -3988 -3956 3728 -3940 -3148 3876 -3076 -3816 3800 -3720 3796 -3252 -3020 -3772 -3636 -3784 3272 3524 3596 3004 3524 -3128 -3052 -3960 -3940 -3212 -3940 -3048 3020 3104 3932 3004 3780 3952 3208 -3072 3892 3236 -3800 3720 -3864 -3940 -3004 3744 -3004 3976 3048 3948 3100 3152 3008 -3988 3128 -3776 3248 3960 -3788 3848 -3880 3952 3756 -3976 -3024 4000 -3344 -3960 3228 3080 -3100 -3668 3992 3060 -3940 -3468 3056 -3368 -3524 3096 -3080 3988 -3056 3976 3912 -3084 -3740 -3968 3864 -3728 3004 3168 -3656 3672 3904 -3940 -3172 3988 3064 -3900 3024 3200 3152 3868 3040 3332 -3948 3852 3252 3944 -3072 -3956 3764 -3948 3060 3124 -3224 3708 3080 -3692 -3652 3260 3964 3164 -3940 -3044 3940 -3308 -3912 3016 -3484 -3012 3892 -3176 3136 -3944 3092 3308 3780 -3804 3048 3336 3940 -3040 -3724 3168 -3892 3688 3140 3680 -3012 -3928 3384 -3136 3564 3104 -3492 -3940 -3176 3260 3108 -3132 -3108 3348 3356 -3264 3996 3964 3960 3960 3040 3068 4000 -3060 3096 -3052 -3072 -3948 3364 3064 -3296 3932 3372 3116 -3096 3700 -3216 4000 3960 3076 -3816 3068 -3960 3276 -3916 3928 -3004 -3796 -3252 3988 -3648 3120 3616 -3024 3472 -3960 -3216 3244 -3532 3148 -3924 -3120 -4000 3956 3064 3480 3924 3136 -3064 -3384 3960 3136 3588 -3428 -3004 3204 3780 3004 -3888 -3388 -3524 -3956 -3872 3940 3672 3936 3004 3832 -4000 3908 3304 3336 -3976 -3984 3000 3776 -3232 -3016 -3844 -3008 -3992 -3024 -3868 -3444 -3776 -3956 4000 3488 3660 3712 -3992 3236 -3604 -3980 -3464 3048 -3808 -3744 -3960 3008 3972 -3004 3848 -3952 -3952 3316 3860 -3764 3984 -3076 3096 3996 3924 3996 3564 3496 -3216 -3208 -3908 -3560 -3972 3956 -3916 3932 -3048 3012 3040 -3420 -3316 4000 -3892 -3624 -3712 3024 -3656 3460 3116 -3004 -3828 -3060 3996 -3024 3372 3248 -3888 -3108 -3304 -3944 3940 3044 -3900 -3028 -3004 3052 3000 -3040 -3608 3652 3100 -4000 -3080 -3016 -3540 3988 3320 3456 -3500 3900 3228 3960 3960 -3040 3776 3952 -3444 3808 3124 3676 3024 3976 -3076 3084 3232 3820 3072 -3956 -3008 -3872 -3200 3836 -3892 -3044 3800 -3408 3032 3836 -3016 -3388 3940 3024 -3236 -3728 3012 3940 -3608 3932 -3104 -3976 -3732 3752 3004 -3140 -3000 3824 3944 3044 3080 3828 -3696 3916 3884 -3972 -3972 -3520 -3208 -3012 3668 3824 3048 3028 -3056 -3084 -3472 -3380 -3516 3952 -3336 -3076 3112 -3340 3376 -3036 3016 -3800 -3508 -3948 3564 -3584 -3932 3936 4000 3040 -3688 -3156 -3792 3040 3980 3680 -3976 -3076 -3888 3688 -3024 3516 -3156 -3276 3092 -3084 -3268 -3232 -3948 -3204 -3076 4000 3840 -3056 3356 4000 -3924 3044 -3944 -3952 -3760 3688 3392 3244 3352 3584 -3184 -3964 3224 3796 3992 -3468 3000 3056 -3624 -3828 -3316 -3488 3428 -3808 -3348 3988 -3000 3276 3728 -3016 3996 3008 3100 3944 -3356 3284 3380 -3960 -3048 -3604 -3032 -3960 3332 -3640 -3456 3844 -3736 -3012 -3004 3816 -4000 -3216 -3108 3848 -3784 -3976 -3988 -3032 3808 -3100 3340 3344 -3124 -3852 -3072 -3832 3188 -3744 -4000 -3520 -3020 -3052 -3236 3148 -3744 3308 3528 -3972 3040 -3880 -3492 -3812 -3344 -3688 -3904 3664 3176 3524 -3100 -3040 -3712 3024 -3000 -3924 3916 -3996 -3904 3496 -3060 3048 -3008 3024 -3776 3016 -3384 3796 3552 -3976 3952 3220 3892 3540 3504 4000 -3044 -3080 4000 -3160 3368 -4000 -3064 -3964 -3744 3340 3988 -3384 -3012 3720 -3532 -3996 -3224 -3448 3240 -3596 3896 3900 -3024 -3532 -3476 3708 -3756 3132 -3156 -3752 -3628 -3960 -3928 -3716 3336 -3536 3928 3708 -3128 -3000 3956 3660 3884 -3040 3120 -3560 -3960 3584 -3004 -3964 3404 3304 3444 3824 3928 3288 3004 3944 3984 -3128 -3828 -3236 -3956 3992 3212 -3936 -3072 3012 3056 3104 3192 -3816 -3860 -3968 3964 -3336 3440 -3624 -3988 3476 3952 -3100 3976 3444 -3756 -3124 3260 3976 3004 3780 -3796 -3044 3972 -3068 3092 -3376 -3044 3148 3028 -3912 3680 -3528 3216 -3932 -3212 -3356 -3020 -3124 3040 3720 -3960 3152 -3380 -3788 -3984 -3720 -3632 3040 -3232 -3216 -3028 3812 -3996 -3992 3740 -3844 3708 4000 3136 3232 3868 3048 -3316 3760 3140 -3000 -3560 3732 3108 3012 -3920 3956 -3948 -3824 3376 -4000 -3968 -3960 3124 -3992 3076 -3328 -3872 -3024 -3956 -3016 -3940 -3236 3444 -3080 3712 -3976 3680 -3160 3152 3096 3960 3936 -3244 3560 3992 3412 -3088 -3964 3776 3056 3144 -3900 -3572 -3044 3936 3976 3116 3196 3988 3496 -3132 3004 -3892 3356 -3956 3220 3832 3000 -3196 -3480 3880 -3040 3940 3968 -3948 -3032 -3920 -3212 3564 3004 -3152 -3296 -3476 3748 3616 -3868 3304 3744 3880 3976 -3816 3152 3176 -3628 -3068 -3564 -3552 3052 -3236 3996 3256 -3312 -3112 -3672 -3004 3184 3860 3464 3176 3916 -3164 3924 3016 -3952 4000 3408 3060 -3956 3156 3564 3024 3072 3964 -3060 3136 -3788 -3948 3140 -3184 -3248 -3120 3268 3700 3856 -3100 3068 3000 3508 -3008 3916 -3024 -3168 -3000 3988 3852 -3196 -3032 3400 3256 -3896 3848 -3072 -3068 -3300 3928 -3460 3128 -3648 3620 3912 3700 3308 -3228 -3124 3356 3732 3208 -3004 -3856 3912 -3488 -3684 3240 3024 -3216 -3004 3944 -3616 -3968 3828 3696 -3840 3396 -3900 3116 -3188 -3992 3048 3968 -3404 -3864 3264 3780 3832 -3524 3996 -3080
3206 unsatisfied constraints, 19948 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-275606-1169223872 -o ROOT/results/node45/solver-275606-1169223872 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275606-1169223872/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.04 1.66 1.73 4/81 19130 /proc/meminfo: memFree=682432/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=906644 CPUtime=0.03 /proc/19129/stat : 19129 (java) S 19127 19129 18588 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 270786235 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 226661 1817 1036 14 0 214244 0 [pid=19129/tid=19131] ppid=19127 vsize=906644 CPUtime=0 /proc/19129/task/19131/stat : 19131 (java) R 19127 19129 18588 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270786239 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.104846 s] /proc/loadavg: 2.04 1.66 1.73 4/81 19130 /proc/meminfo: memFree=682432/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=914988 CPUtime=0.08 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 2976 0 1 0 7 1 0 0 17 0 8 0 270786235 936947712 2722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153985117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228747 2722 1422 14 0 215242 0 [pid=19129/tid=19131] ppid=19127 vsize=914988 CPUtime=0 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270786239 936947712 2722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914988 [startup+0.514915 s] /proc/loadavg: 2.04 1.66 1.73 4/81 19130 /proc/meminfo: memFree=682432/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915332 CPUtime=0.49 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 6983 0 1 0 45 4 0 0 18 0 8 0 270786235 937299968 6722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154100623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228833 6722 2143 14 0 215303 0 [pid=19129/tid=19131] ppid=19127 vsize=915332 CPUtime=0 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 270786239 937299968 6722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.34407 s] /proc/loadavg: 2.03 1.66 1.73 3/88 19137 /proc/meminfo: memFree=583304/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915604 CPUtime=1.31 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 28126 0 1 0 116 15 0 0 24 0 8 0 270786235 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073770816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228901 27863 2164 14 0 215371 0 [pid=19129/tid=19131] ppid=19127 vsize=915604 CPUtime=0.12 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 11568 0 0 0 8 4 0 0 16 0 8 0 270786239 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915604 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915604 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915604 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915604 CPUtime=0.16 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270786243 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915604 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915604 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937578496 27863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 915604 [startup+2.98535 s] /proc/loadavg: 2.03 1.66 1.73 3/88 19137 /proc/meminfo: memFree=565896/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=2.93 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 29531 0 1 0 277 16 0 0 25 0 8 0 270786235 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228936 29265 2184 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.18 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 12896 0 0 0 13 5 0 0 17 0 8 0 270786239 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.19 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 417 0 0 0 19 0 0 0 16 0 8 0 270786243 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 29265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 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.27895 s] /proc/loadavg: 2.03 1.66 1.73 3/88 19137 /proc/meminfo: memFree=517000/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=6.2 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 29532 0 1 0 603 17 0 0 25 0 8 0 270786235 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228936 29266 2184 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.18 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 12896 0 0 0 13 5 0 0 16 0 8 0 270786239 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.19 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 418 0 0 0 19 0 0 0 16 0 8 0 270786243 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 29266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 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.2 Current children cumulated vsize (KiB) 915744 [startup+12.7621 s] /proc/loadavg: 2.03 1.67 1.73 3/88 19137 /proc/meminfo: memFree=425352/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=12.62 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 29544 0 1 0 1245 17 0 0 25 0 8 0 270786235 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228936 29278 2185 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.18 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 12896 0 0 0 13 5 0 0 16 0 8 0 270786239 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.21 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 429 0 0 0 21 0 0 0 15 0 8 0 270786243 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 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.6155 s] /proc/loadavg: 2.10 1.70 1.74 5/88 19137 /proc/meminfo: memFree=407048/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=25.35 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 30415 0 1 0 2516 19 0 0 25 0 8 0 270786235 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19129/statm: 228936 30147 2185 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.24 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 13764 0 0 0 19 5 0 0 16 0 8 0 270786239 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.21 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 430 0 0 0 21 0 0 0 15 0 8 0 270786243 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937721856 30147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 915744 [startup+51.2301 s] /proc/loadavg: 2.00 1.71 1.74 3/87 19195 /proc/meminfo: memFree=997264/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=50.84 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 30423 0 1 0 5060 24 0 0 25 0 8 0 270786235 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228936 30153 2185 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.24 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 13764 0 0 0 19 5 0 0 16 0 8 0 270786239 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.22 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 436 0 0 0 22 0 0 0 16 0 8 0 270786243 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937721856 30153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (KiB) 915744 [startup+102.452 s] /proc/loadavg: 2.00 1.75 1.75 3/87 19195 /proc/meminfo: memFree=940496/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915744 CPUtime=101.96 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 37495 0 1 0 10160 36 0 0 25 0 8 0 270786235 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228936 37178 2504 14 0 215406 0 [pid=19129/tid=19131] ppid=19127 vsize=915744 CPUtime=0.69 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 20444 0 0 0 61 8 0 0 16 0 8 0 270786239 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270786240 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915744 CPUtime=0.3 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 476 0 0 0 29 1 0 0 16 0 8 0 270786243 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915744 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937721856 37178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.96 Current children cumulated vsize (KiB) 915744 ################ # More data... # ################ Current children cumulated CPU time (s) 2022.59 Current children cumulated vsize (KiB) 915980 [startup+2085.22 s] /proc/loadavg: 2.04 2.05 1.95 3/87 19195 /proc/meminfo: memFree=664976/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2082.6 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71918 0 1 0 208183 77 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2082.6 Current children cumulated vsize (KiB) 915980 [startup+2145.32 s] /proc/loadavg: 2.01 2.04 1.95 3/87 19195 /proc/meminfo: memFree=664976/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2142.62 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71918 0 1 0 214185 77 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074301874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2142.62 Current children cumulated vsize (KiB) 915980 [startup+2205.41 s] /proc/loadavg: 2.00 2.03 1.95 3/93 19277 /proc/meminfo: memFree=663768/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2202.64 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71918 0 1 0 220181 83 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074284240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2202.64 Current children cumulated vsize (KiB) 915980 [startup+2265.42 s] /proc/loadavg: 2.00 2.02 1.95 3/87 19393 /proc/meminfo: memFree=664640/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2262.55 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71919 0 1 0 226165 90 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 606 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2262.55 Current children cumulated vsize (KiB) 915980 [startup+2325.52 s] /proc/loadavg: 2.00 2.02 1.95 3/87 19393 /proc/meminfo: memFree=664656/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2322.58 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71919 0 1 0 232168 90 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074126251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 606 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2322.58 Current children cumulated vsize (KiB) 915980 [startup+2385.53 s] /proc/loadavg: 2.00 2.01 1.95 3/87 19393 /proc/meminfo: memFree=664656/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2382.53 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71919 0 1 0 238163 90 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 606 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2382.53 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2403.02 s] /proc/loadavg: 2.00 2.01 1.95 3/87 19393 /proc/meminfo: memFree=664656/2055920 swapFree=4184072/4192956 [pid=19129] ppid=19127 vsize=915980 CPUtime=2400.01 /proc/19129/stat : 19129 (java) R 19127 19129 18588 0 -1 0 71919 0 1 0 239911 90 0 0 25 0 8 0 270786235 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074308474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19129/statm: 228995 71587 2551 14 0 215465 0 [pid=19129/tid=19131] ppid=19127 vsize=915980 CPUtime=1.01 /proc/19129/task/19131/stat : 19131 (java) S 19127 19129 18588 0 -1 64 54630 0 0 0 81 20 0 0 16 0 8 0 270786239 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19132] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19132/stat : 19132 (java) S 19127 19129 18588 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19133] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19133/stat : 19133 (java) S 19127 19129 18588 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270786240 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19134] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19134/stat : 19134 (java) S 19127 19129 18588 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19135] ppid=19127 vsize=915980 CPUtime=0.42 /proc/19129/task/19135/stat : 19135 (java) S 19127 19129 18588 0 -1 64 606 0 0 0 40 2 0 0 16 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19129/tid=19136] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19136/stat : 19136 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19129/tid=19137] ppid=19127 vsize=915980 CPUtime=0 /proc/19129/task/19137/stat : 19137 (java) S 19127 19129 18588 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270786243 937963520 71587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2403.09 CPU time (s): 2400.09 CPU user time (s): 2399.14 CPU system time (s): 0.947855 CPU usage (%): 99.8751 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.14 system time used= 0.947855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71944 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= 50332 involuntary context switches= 50381 runsolver used 2.35364 s user time and 8.43972 s system time The end
Begin job on node45 on Fri Jan 19 16:24:33 UTC 2007 IDJOB= 275606 IDBENCH= 4150 IDSOLVER= 68 FILE ID= node45/275606-1169223872 PBS_JOBID= 3589203 Free space on /tmp= 66557 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp39/fapp39-2750-0.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275606-1169223872/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-275606-1169223872 -o ROOT/results/node45/solver-275606-1169223872 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275606-1169223872/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2cbccfaa4c4c5e630cbb69b5e8dba07c RANDOM SEED= 388963442 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 682848 kB Buffers: 56552 kB Cached: 684200 kB SwapCached: 2964 kB Active: 786020 kB Inactive: 509368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 682848 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 8544 kB Writeback: 0 kB Mapped: 568436 kB Slab: 61948 kB Committed_AS: 5316508 kB PageTables: 2880 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node45 on Fri Jan 19 17:04:36 UTC 2007