Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 PFC | MSAT (TO) | 2400.13 | 2413.66 |
| 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=pfc.xml 0.37 0.37 instance 0.37 name=/tmp/evaluation/275607-1169223877/unknown.xml 0.40 0.40 domains being loaded... 0.43 0.43 variables being loaded... 0.86 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 0.86 => wckTime=0.532 cpuTime=0.35 mem=40M672 0.87 0.87 predicates being loaded... 0.87 0.87 constraints being loaded... 61.09 61.09 INFO : Stopping converting binary constraints (cpu=60.02, mem = 68M120) 62.07 nbConstraints=23154 nbConvertedConstraints=1240 nbConvertConstraintsChecks=207025804 nbExtensionStructures=884 62.07 nbSharedExtensionStructures=356 nbConflictsStructures=884 nbSharedConflictsStructures=356 62.07 nbSharedBinaryRepresentations=816148 nbEvaluationManagers=3847 nbSharedEvaluationManagers=18067 maxDegree=23 62.07 maxArity=2 62.07 => wckTime=61.738 cpuTime=60.84 mem=108M441 62.36 62.36 solver LocalSearchSolver being built... 62.43 => wckTime=62.092 cpuTime=60.89 mem=78M749 62.71 62.71 s SATISFIABLE 62.71 o 16226 62.71 c 6928 62.84 o 16233 62.84 c 6921 62.94 o 16241 62.94 c 6913 63.02 o 16246 63.02 c 6908 63.10 o 16250 63.10 c 6904 63.17 o 16254 63.17 c 6900 63.23 o 16257 63.23 c 6897 63.27 o 16260 63.27 c 6894 63.31 o 16262 63.31 c 6892 63.34 o 16264 63.34 c 6890 63.39 o 16266 63.39 c 6888 63.42 o 16267 63.42 c 6887 63.50 o 16274 63.50 c 6880 63.58 o 16280 63.58 c 6874 63.66 o 16286 63.66 c 6868 63.74 o 16292 63.74 c 6862 63.80 o 16298 63.80 c 6856 63.87 o 16301 63.87 c 6853 63.94 o 16306 63.94 c 6848 64.00 o 16311 64.00 c 6843 64.07 o 16316 64.07 c 6838 64.14 o 16321 64.14 c 6833 64.20 o 16326 64.20 c 6828 64.26 o 16331 64.26 c 6823 64.32 o 16336 64.32 c 6818 64.40 o 16340 64.40 c 6814 64.44 o 16344 64.44 c 6810 64.50 o 16348 64.50 c 6806 64.55 o 16351 64.55 c 6803 64.61 o 16354 64.61 c 6800 64.65 o 16357 64.65 c 6797 64.71 o 16360 64.71 c 6794 64.75 o 16363 64.75 c 6791 64.81 o 16366 64.81 c 6788 64.85 o 16369 64.85 c 6785 64.88 o 16372 64.88 c 6782 64.94 o 16374 64.94 c 6780 64.99 o 16376 64.99 c 6778 65.04 o 16378 65.04 c 6776 65.08 o 16380 65.08 c 6774 65.11 o 16382 65.11 c 6772 65.16 o 16383 65.16 c 6771 65.18 o 16384 65.18 c 6770 65.21 o 16385 65.21 c 6769 65.26 o 16386 65.26 c 6768 65.33 o 16389 65.33 c 6765 65.36 o 16392 65.36 c 6762 65.45 o 16399 65.45 c 6755 65.54 o 16406 65.54 c 6748 65.64 o 16412 65.64 c 6742 65.74 o 16418 65.74 c 6736 65.84 o 16423 65.84 c 6731 65.94 o 16428 65.94 c 6726 66.04 o 16429 66.04 c 6725 66.15 o 16434 66.15 c 6720 66.24 o 16439 66.24 c 6715 66.34 o 16444 66.34 c 6710 66.43 o 16449 66.43 c 6705 66.51 o 16454 66.51 c 6700 66.59 o 16459 66.59 c 6695 66.70 o 16464 66.70 c 6690 66.79 o 16469 66.79 c 6685 66.89 o 16473 66.89 c 6681 66.99 o 16477 66.99 c 6677 67.08 o 16481 67.08 c 6673 67.15 o 16485 67.15 c 6669 67.23 o 16489 67.23 c 6665 67.30 o 16492 67.30 c 6662 67.38 o 16495 67.38 c 6659 67.47 o 16498 67.47 c 6656 67.56 o 16501 67.56 c 6653 67.63 o 16504 67.63 c 6650 67.70 o 16505 67.70 c 6649 67.76 o 16508 67.76 c 6646 67.82 o 16511 67.82 c 6643 67.90 o 16518 67.90 c 6636 67.96 o 16521 67.96 c 6633 68.02 o 16524 68.02 c 6630 68.08 o 16526 68.08 c 6628 68.13 o 16528 68.13 c 6626 68.20 o 16530 68.20 c 6624 68.26 o 16532 68.26 c 6622 68.31 o 16534 68.31 c 6620 68.35 o 16536 68.35 c 6618 68.42 o 16538 68.42 c 6616 68.46 o 16540 68.46 c 6614 68.51 o 16542 68.51 c 6612 68.57 o 16544 68.57 c 6610 68.60 o 16548 68.60 c 6606 68.65 o 16550 68.66 c 6604 68.70 o 16551 68.70 c 6603 68.75 o 16552 68.75 c 6602 68.79 o 16553 68.79 c 6601 68.82 o 16554 68.82 c 6600 68.85 o 16555 68.85 c 6599 68.88 o 16561 68.88 c 6593 68.91 o 16562 68.91 c 6592 69.07 o 16566 69.07 c 6588 69.10 o 16571 69.10 c 6583 69.14 o 16573 69.14 c 6581 69.18 o 16574 69.18 c 6580 69.22 o 16580 69.22 c 6574 69.27 o 16583 69.27 c 6571 69.31 o 16585 69.31 c 6569 69.34 o 16589 69.34 c 6565 69.37 o 16592 69.37 c 6562 69.42 o 16598 69.42 c 6556 69.45 o 16603 69.45 c 6551 69.46 o 16606 69.46 c 6548 69.48 o 16607 69.48 c 6547 69.54 o 16612 69.54 c 6542 69.58 o 16620 69.58 c 6534 69.62 o 16624 69.62 c 6530 69.65 o 16626 69.65 c 6528 69.67 o 16629 69.67 c 6525 69.71 o 16630 69.71 c 6524 69.73 o 16632 69.73 c 6522 69.83 o 16634 69.83 c 6520 69.96 o 16640 69.96 c 6514 70.09 o 16646 70.09 c 6508 70.22 o 16652 70.22 c 6502 70.36 o 16657 70.36 c 6497 70.49 o 16662 70.49 c 6492 70.64 o 16667 70.64 c 6487 70.77 o 16672 70.77 c 6482 70.90 o 16677 70.90 c 6477 71.02 o 16682 71.02 c 6472 71.14 o 16687 71.14 c 6467 71.28 o 16695 71.28 c 6459 71.41 o 16699 71.41 c 6455 71.55 o 16703 71.55 c 6451 71.68 o 16707 71.68 c 6447 71.81 o 16711 71.81 c 6443 71.93 o 16715 71.93 c 6439 72.06 o 16719 72.06 c 6435 72.19 o 16723 72.19 c 6431 72.32 o 16726 72.32 c 6428 72.45 o 16729 72.45 c 6425 72.57 o 16732 72.57 c 6422 72.69 o 16735 72.69 c 6419 72.80 o 16738 72.80 c 6416 72.92 o 16741 72.92 c 6413 73.04 o 16744 73.04 c 6410 73.15 o 16747 73.15 c 6407 73.26 o 16750 73.26 c 6404 73.36 o 16752 73.36 c 6402 73.46 o 16753 73.46 c 6401 73.57 o 16754 73.57 c 6400 73.67 o 16757 73.67 c 6397 73.77 o 16760 73.77 c 6394 73.87 o 16763 73.87 c 6391 73.96 o 16766 73.96 c 6388 74.05 o 16768 74.05 c 6386 74.14 o 16770 74.14 c 6384 74.23 o 16772 74.23 c 6382 74.32 o 16774 74.32 c 6380 74.41 o 16776 74.41 c 6378 74.49 o 16778 74.49 c 6376 74.58 o 16780 74.58 c 6374 74.67 o 16782 74.67 c 6372 74.75 o 16784 74.75 c 6370 74.81 o 16786 74.81 c 6368 74.88 o 16788 74.88 c 6366 74.95 o 16790 74.95 c 6364 75.02 o 16792 75.02 c 6362 75.08 o 16794 75.08 c 6360 75.14 o 16796 75.14 c 6358 75.20 o 16798 75.20 c 6356 75.26 o 16800 75.26 c 6354 75.32 o 16802 75.32 c 6352 75.38 o 16804 75.38 c 6350 75.44 o 16806 75.44 c 6348 75.50 o 16808 75.50 c 6346 75.56 o 16809 75.56 c 6345 75.61 o 16810 75.61 c 6344 75.66 o 16811 75.66 c 6343 75.71 o 16812 75.71 c 6342 75.76 o 16813 75.76 c 6341 75.80 o 16814 75.80 c 6340 75.84 o 16815 75.84 c 6339 75.88 o 16816 75.88 c 6338 75.92 o 16817 75.92 c 6337 75.96 o 16818 75.96 c 6336 76.00 o 16819 76.00 c 6335 76.04 o 16820 76.04 c 6334 76.07 o 16821 76.07 c 6333 76.10 o 16822 76.11 c 6332 76.14 o 16823 76.14 c 6331 76.17 o 16824 76.17 c 6330 76.20 o 16825 76.20 c 6329 76.39 o 16826 76.39 c 6328 76.41 o 16828 76.41 c 6326 76.44 o 16830 76.44 c 6324 76.47 o 16835 76.47 c 6319 76.53 o 16836 76.53 c 6318 76.55 o 16841 76.55 c 6313 76.59 o 16842 76.59 c 6312 76.64 o 16845 76.64 c 6309 76.68 o 16848 76.68 c 6306 76.72 o 16849 76.72 c 6305 76.75 o 16854 76.75 c 6300 76.80 o 16859 76.80 c 6295 76.83 o 16863 76.83 c 6291 76.87 o 16867 76.87 c 6287 76.90 o 16869 76.90 c 6285 76.99 o 16875 76.99 c 6279 77.03 o 16882 77.03 c 6272 77.06 o 16886 77.06 c 6268 77.09 o 16890 77.09 c 6264 77.13 o 16891 77.13 c 6263 77.18 o 16893 77.18 c 6261 77.21 o 16899 77.21 c 6255 77.25 o 16906 77.25 c 6248 77.28 o 16909 77.28 c 6245 77.32 o 16914 77.32 c 6240 77.37 o 16916 77.37 c 6238 77.46 o 16918 77.46 c 6236 77.50 o 16920 77.50 c 6234 77.53 o 16922 77.53 c 6232 77.58 o 16926 77.58 c 6228 77.63 o 16928 77.63 c 6226 77.68 o 16932 77.68 c 6222 77.72 o 16933 77.72 c 6221 77.75 o 16934 77.75 c 6220 77.91 o 16936 77.91 c 6218 78.04 o 16942 78.04 c 6212 78.16 o 16948 78.16 c 6206 78.29 o 16954 78.29 c 6200 78.43 o 16960 78.43 c 6194 78.58 o 16966 78.58 c 6188 78.71 o 16972 78.71 c 6182 78.83 o 16978 78.83 c 6176 78.99 o 16983 78.99 c 6171 79.14 o 16988 79.14 c 6166 79.30 o 16993 79.30 c 6161 79.45 o 16998 79.45 c 6156 79.60 o 17003 79.60 c 6151 79.76 o 17004 79.76 c 6150 79.92 o 17009 79.92 c 6145 80.08 o 17013 80.08 c 6141 80.23 o 17017 80.23 c 6137 80.40 o 17021 80.40 c 6133 80.56 o 17025 80.56 c 6129 80.71 o 17029 80.71 c 6125 80.85 o 17033 80.86 c 6121 81.01 o 17037 81.01 c 6117 81.12 o 17041 81.12 c 6113 81.28 o 17044 81.28 c 6110 81.43 o 17047 81.43 c 6107 81.58 o 17050 81.58 c 6104 81.73 o 17053 81.73 c 6101 81.87 o 17056 81.87 c 6098 82.02 o 17059 82.02 c 6095 82.16 o 17062 82.16 c 6092 82.31 o 17065 82.31 c 6089 82.44 o 17068 82.44 c 6086 82.59 o 17071 82.59 c 6083 82.72 o 17074 82.72 c 6080 82.87 o 17077 82.87 c 6077 82.99 o 17080 82.99 c 6074 83.11 o 17083 83.12 c 6071 83.25 o 17085 83.25 c 6069 83.37 o 17087 83.37 c 6067 83.51 o 17088 83.51 c 6066 83.63 o 17090 83.63 c 6064 83.76 o 17092 83.76 c 6062 83.87 o 17094 83.87 c 6060 83.98 o 17096 83.98 c 6058 84.04 o 17099 84.04 c 6055 84.15 o 17105 84.15 c 6049 84.26 o 17107 84.26 c 6047 84.37 o 17109 84.37 c 6045 84.48 o 17111 84.48 c 6043 84.59 o 17113 84.59 c 6041 84.69 o 17115 84.69 c 6039 84.80 o 17117 84.80 c 6037 84.91 o 17119 84.91 c 6035 85.01 o 17121 85.01 c 6033 85.12 o 17123 85.12 c 6031 85.22 o 17125 85.22 c 6029 85.32 o 17127 85.32 c 6027 85.42 o 17129 85.42 c 6025 85.53 o 17131 85.53 c 6023 85.64 o 17133 85.64 c 6021 85.74 o 17135 85.74 c 6019 85.83 o 17137 85.83 c 6017 85.93 o 17139 85.93 c 6015 86.04 o 17141 86.04 c 6013 86.13 o 17143 86.13 c 6011 86.23 o 17144 86.23 c 6010 86.31 o 17145 86.31 c 6009 86.40 o 17146 86.40 c 6008 86.49 o 17147 86.49 c 6007 86.57 o 17149 86.57 c 6005 86.65 o 17150 86.65 c 6004 86.73 o 17151 86.73 c 6003 86.81 o 17152 86.81 c 6002 86.88 o 17153 86.88 c 6001 86.95 o 17154 86.95 c 6000 87.02 o 17155 87.02 c 5999 87.08 o 17156 87.08 c 5998 87.15 o 17157 87.15 c 5997 87.94 o 17158 87.94 c 5996 88.00 o 17162 88.00 c 5992 88.06 o 17164 88.06 c 5990 88.12 o 17165 88.12 c 5989 88.18 o 17167 88.18 c 5987 88.25 o 17172 88.25 c 5982 88.32 o 17174 88.32 c 5980 88.41 o 17175 88.41 c 5979 88.45 o 17178 88.45 c 5976 88.56 o 17182 88.56 c 5972 88.61 o 17185 88.61 c 5969 88.66 o 17186 88.66 c 5968 88.71 o 17188 88.72 c 5966 88.78 o 17189 88.78 c 5965 88.85 o 17191 88.86 c 5963 88.93 o 17192 88.93 c 5962 88.99 o 17194 88.99 c 5960 89.06 o 17195 89.06 c 5959 89.13 o 17197 89.13 c 5957 89.22 o 17199 89.22 c 5955 89.37 o 17203 89.37 c 5951 89.45 o 17205 89.45 c 5949 89.58 o 17208 89.58 c 5946 89.65 o 17209 89.65 c 5945 89.72 o 17214 89.72 c 5940 89.79 o 17215 89.79 c 5939 89.89 o 17216 89.89 c 5938 89.96 o 17217 89.96 c 5937 90.12 o 17221 90.12 c 5933 90.18 o 17223 90.19 c 5931 90.26 o 17225 90.26 c 5929 90.42 o 17227 90.42 c 5927 90.50 o 17232 90.50 c 5922 90.57 o 17234 90.57 c 5920 90.64 o 17236 90.64 c 5918 90.72 o 17237 90.72 c 5917 90.79 o 17243 90.79 c 5911 90.85 o 17244 90.85 c 5910 90.94 o 17248 90.94 c 5906 91.02 o 17249 91.02 c 5905 91.10 o 17255 91.10 c 5899 91.18 o 17256 91.18 c 5898 91.25 o 17258 91.25 c 5896 91.34 o 17260 91.34 c 5894 91.42 o 17265 91.42 c 5889 91.50 o 17268 91.50 c 5886 91.58 o 17271 91.58 c 5883 91.75 o 17274 91.75 c 5880 91.92 o 17276 91.92 c 5878 92.10 o 17279 92.10 c 5875 92.20 o 17282 92.20 c 5872 92.30 o 17285 92.30 c 5869 92.39 o 17289 92.39 c 5865 92.59 o 17290 92.59 c 5864 92.87 o 17291 92.87 c 5863 92.97 o 17292 92.97 c 5862 93.07 o 17295 93.07 c 5859 93.18 o 17299 93.18 c 5855 93.28 o 17300 93.28 c 5854 93.37 o 17301 93.37 c 5853 93.47 o 17306 93.47 c 5848 93.58 o 17307 93.58 c 5847 93.78 o 17309 93.78 c 5845 93.89 o 17310 93.89 c 5844 93.99 o 17311 93.99 c 5843 94.08 o 17315 94.08 c 5839 94.19 o 17319 94.19 c 5835 94.28 o 17321 94.28 c 5833 94.37 o 17324 94.37 c 5830 94.47 o 17327 94.47 c 5827 94.56 o 17329 94.56 c 5825 94.66 o 17333 94.66 c 5821 94.75 o 17334 94.75 c 5820 94.96 o 17337 94.96 c 5817 95.05 o 17340 95.05 c 5814 95.14 o 17344 95.14 c 5810 95.23 o 17346 95.23 c 5808 95.33 o 17348 95.33 c 5806 95.42 o 17355 95.42 c 5799 95.57 o 17360 95.57 c 5794 95.73 o 17365 95.73 c 5789 95.89 o 17370 95.89 c 5784 96.05 o 17375 96.05 c 5779 96.21 o 17380 96.21 c 5774 96.38 o 17385 96.38 c 5769 96.55 o 17389 96.55 c 5765 96.71 o 17390 96.71 c 5764 96.88 o 17394 96.88 c 5760 97.03 o 17396 97.03 c 5758 97.20 o 17400 97.20 c 5754 97.35 o 17402 97.35 c 5752 97.50 o 17406 97.50 c 5748 97.78 o 17409 97.78 c 5745 97.91 o 17412 97.91 c 5742 98.05 o 17415 98.05 c 5739 98.20 o 17418 98.20 c 5736 98.47 o 17419 98.47 c 5735 98.60 o 17422 98.60 c 5732 98.74 o 17425 98.74 c 5729 98.87 o 17428 98.87 c 5726 99.01 o 17431 99.01 c 5723 99.13 o 17434 99.13 c 5720 99.26 o 17437 99.26 c 5717 99.39 o 17440 99.39 c 5714 99.52 o 17442 99.52 c 5712 99.77 o 17444 99.77 c 5710 99.89 o 17447 99.89 c 5707 100.02 o 17449 100.02 c 5705 100.14 o 17451 100.14 c 5703 100.25 o 17453 100.25 c 5701 100.36 o 17455 100.37 c 5699 100.47 o 17457 100.47 c 5697 100.59 o 17459 100.59 c 5695 100.70 o 17461 100.70 c 5693 100.81 o 17463 100.81 c 5691 100.92 o 17465 100.92 c 5689 101.03 o 17466 101.03 c 5688 101.14 o 17468 101.14 c 5686 101.24 o 17473 101.24 c 5681 101.34 o 17475 101.34 c 5679 101.44 o 17477 101.44 c 5677 101.55 o 17479 101.55 c 5675 101.64 o 17483 101.64 c 5671 101.75 o 17485 101.75 c 5669 101.84 o 17487 101.84 c 5667 101.95 o 17488 101.95 c 5666 102.05 o 17489 102.05 c 5665 102.16 o 17490 102.16 c 5664 102.26 o 17491 102.26 c 5663 102.34 o 17493 102.34 c 5661 102.44 o 17494 102.44 c 5660 102.54 o 17495 102.54 c 5659 102.62 o 17496 102.62 c 5658 102.71 o 17497 102.71 c 5657 103.31 o 17498 103.31 c 5656 103.38 o 17500 103.38 c 5654 104.02 o 17502 104.02 c 5652 104.09 o 17504 104.09 c 5650 104.17 o 17507 104.17 c 5647 104.23 o 17510 104.23 c 5644 104.30 o 17512 104.30 c 5642 104.36 o 17516 104.36 c 5638 104.46 o 17522 104.46 c 5632 104.62 o 17525 104.62 c 5629 104.70 o 17526 104.70 c 5628 104.86 o 17527 104.86 c 5627 105.01 o 17530 105.01 c 5624 105.08 o 17532 105.08 c 5622 105.18 o 17534 105.18 c 5620 105.44 o 17535 105.44 c 5619 105.54 o 17538 105.54 c 5616 105.62 o 17540 105.63 c 5614 105.89 o 17543 105.89 c 5611 105.98 o 17544 105.98 c 5610 106.05 o 17550 106.05 c 5604 106.20 o 17554 106.20 c 5600 106.28 o 17560 106.28 c 5594 106.47 o 17564 106.47 c 5590 106.56 o 17566 106.56 c 5588 106.63 o 17568 106.63 c 5586 106.72 o 17570 106.72 c 5584 106.80 o 17572 106.80 c 5582 106.88 o 17574 106.88 c 5580 106.96 o 17578 106.96 c 5576 107.04 o 17581 107.04 c 5573 107.13 o 17587 107.13 c 5567 107.22 o 17590 107.22 c 5564 107.31 o 17591 107.31 c 5563 107.40 o 17597 107.40 c 5557 107.52 o 17599 107.52 c 5555 107.63 o 17604 107.63 c 5550 107.73 o 17606 107.73 c 5548 107.83 o 17611 107.83 c 5543 107.91 o 17613 107.91 c 5541 108.01 o 17616 108.01 c 5538 108.11 o 17617 108.11 c 5537 108.21 o 17620 108.21 c 5534 108.40 o 17624 108.40 c 5530 108.49 o 17628 108.49 c 5526 108.59 o 17631 108.59 c 5523 108.69 o 17632 108.69 c 5522 108.79 o 17633 108.79 c 5521 108.89 o 17636 108.89 c 5518 108.99 o 17637 108.99 c 5517 109.08 o 17638 109.08 c 5516 109.17 o 17640 109.17 c 5514 109.44 o 17643 109.44 c 5511 109.64 o 17645 109.64 c 5509 109.75 o 17647 109.75 c 5507 109.93 o 17648 109.93 c 5506 110.04 o 17650 110.04 c 5504 110.17 o 17651 110.17 c 5503 110.36 o 17655 110.36 c 5499 110.46 o 17658 110.46 c 5496 110.93 o 17660 110.93 c 5494 111.04 o 17665 111.04 c 5489 111.16 o 17666 111.16 c 5488 111.27 o 17667 111.27 c 5487 111.59 o 17670 111.59 c 5484 111.70 o 17673 111.70 c 5481 111.82 o 17674 111.82 c 5480 111.94 o 17675 111.94 c 5479 112.07 o 17679 112.07 c 5475 112.18 o 17682 112.18 c 5472 112.29 o 17683 112.29 c 5471 112.40 o 17686 112.40 c 5468 112.52 o 17693 112.52 c 5461 112.75 o 17695 112.76 c 5459 112.98 o 17697 112.98 c 5457 113.11 o 17701 113.11 c 5453 113.37 o 17703 113.37 c 5451 113.51 o 17705 113.51 c 5449 113.64 o 17709 113.64 c 5445 113.76 o 17715 113.76 c 5439 113.89 o 17717 113.89 c 5437 114.01 o 17718 114.01 c 5436 114.13 o 17720 114.13 c 5434 114.26 o 17721 114.26 c 5433 114.38 o 17725 114.38 c 5429 114.51 o 17729 114.51 c 5425 114.63 o 17733 114.63 c 5421 114.76 o 17737 114.76 c 5417 114.87 o 17740 114.87 c 5414 115.00 o 17741 115.00 c 5413 115.12 o 17745 115.12 c 5409 115.23 o 17746 115.24 c 5408 115.36 o 17748 115.36 c 5406 115.48 o 17751 115.48 c 5403 115.60 o 17755 115.60 c 5399 115.72 o 17758 115.72 c 5396 115.84 o 17761 115.84 c 5393 115.94 o 17763 115.94 c 5391 116.05 o 17765 116.05 c 5389 116.17 o 17768 116.17 c 5386 116.28 o 17770 116.28 c 5384 116.39 o 17773 116.39 c 5381 116.50 o 17777 116.50 c 5377 116.62 o 17778 116.62 c 5376 116.73 o 17781 116.73 c 5373 116.84 o 17782 116.84 c 5372 116.96 o 17783 116.96 c 5371 117.16 o 17787 117.16 c 5367 117.41 o 17789 117.41 c 5365 117.53 o 17795 117.53 c 5359 117.66 o 17800 117.66 c 5354 117.79 o 17802 117.79 c 5352 117.92 o 17805 117.92 c 5349 118.05 o 17807 118.05 c 5347 118.18 o 17809 118.18 c 5345 118.45 o 17811 118.45 c 5343 118.58 o 17812 118.58 c 5342 118.71 o 17814 118.71 c 5340 118.96 o 17816 118.96 c 5338 119.10 o 17819 119.10 c 5335 119.39 o 17823 119.39 c 5331 119.53 o 17829 119.53 c 5325 119.68 o 17834 119.68 c 5320 119.81 o 17835 119.81 c 5319 119.95 o 17836 119.95 c 5318 120.08 o 17838 120.08 c 5316 120.22 o 17841 120.22 c 5313 120.52 o 17845 120.52 c 5309 120.68 o 17849 120.68 c 5305 121.02 o 17850 121.02 c 5304 121.15 o 17853 121.15 c 5301 121.28 o 17854 121.28 c 5300 121.42 o 17857 121.42 c 5297 121.56 o 17860 121.56 c 5294 121.74 o 17861 121.74 c 5293 121.92 o 17862 121.92 c 5292 122.05 o 17863 122.05 c 5291 122.40 o 17866 122.40 c 5288 122.58 o 17870 122.58 c 5284 122.78 o 17873 122.78 c 5281 122.97 o 17876 122.98 c 5278 123.16 o 17879 123.16 c 5275 123.37 o 17882 123.37 c 5272 123.56 o 17885 123.56 c 5269 123.92 o 17888 123.92 c 5266 124.11 o 17891 124.11 c 5263 124.30 o 17893 124.30 c 5261 124.49 o 17896 124.49 c 5258 124.66 o 17901 124.66 c 5253 124.83 o 17904 124.83 c 5250 125.01 o 17906 125.01 c 5248 125.20 o 17908 125.20 c 5246 125.37 o 17910 125.37 c 5244 125.55 o 17912 125.55 c 5242 125.75 o 17914 125.75 c 5240 125.92 o 17916 125.92 c 5238 126.10 o 17918 126.10 c 5236 126.27 o 17920 126.27 c 5234 126.44 o 17922 126.44 c 5232 126.60 o 17923 126.60 c 5231 126.77 o 17924 126.77 c 5230 126.94 o 17925 126.94 c 5229 127.12 o 17926 127.12 c 5228 127.28 o 17927 127.28 c 5227 127.43 o 17929 127.43 c 5225 127.60 o 17930 127.60 c 5224 127.74 o 17931 127.74 c 5223 127.89 o 17932 127.89 c 5222 128.06 o 17933 128.06 c 5221 128.22 o 17937 128.22 c 5217 128.37 o 17938 128.37 c 5216 128.50 o 17941 128.50 c 5213 128.64 o 17942 128.64 c 5212 128.79 o 17943 128.79 c 5211 128.94 o 17944 128.94 c 5210 129.08 o 17945 129.08 c 5209 129.24 o 17946 129.24 c 5208 129.79 o 17948 129.79 c 5206 130.20 o 17951 130.20 c 5203 131.10 o 17953 131.10 c 5201 131.23 o 17955 131.23 c 5199 131.37 o 17961 131.37 c 5193 131.79 o 17964 131.79 c 5190 131.92 o 17966 131.92 c 5188 132.07 o 17967 132.07 c 5187 132.21 o 17971 132.21 c 5183 132.52 o 17974 132.52 c 5180 132.66 o 17976 132.66 c 5178 132.82 o 17977 132.82 c 5177 132.98 o 17981 132.98 c 5173 133.25 o 17985 133.25 c 5169 133.53 o 17987 133.53 c 5167 133.67 o 17991 133.67 c 5163 133.81 o 17994 133.81 c 5160 134.20 o 17995 134.20 c 5159 134.34 o 17997 134.34 c 5157 134.47 o 18001 134.47 c 5153 134.60 o 18003 134.60 c 5151 134.74 o 18004 134.74 c 5150 134.88 o 18005 134.88 c 5149 135.27 o 18007 135.27 c 5147 135.41 o 18010 135.41 c 5144 135.55 o 18012 135.55 c 5142 135.81 o 18016 135.81 c 5138 136.08 o 18017 136.08 c 5137 136.23 o 18022 136.23 c 5132 136.38 o 18025 136.38 c 5129 136.51 o 18030 136.51 c 5124 136.66 o 18033 136.66 c 5121 136.81 o 18034 136.81 c 5120 136.94 o 18035 136.94 c 5119 137.08 o 18037 137.08 c 5117 137.22 o 18041 137.22 c 5113 137.37 o 18042 137.37 c 5112 137.52 o 18043 137.52 c 5111 137.81 o 18045 137.82 c 5109 137.97 o 18050 137.97 c 5104 138.12 o 18053 138.12 c 5101 138.41 o 18054 138.41 c 5100 138.88 o 18057 138.88 c 5097 139.37 o 18060 139.37 c 5094 140.00 o 18061 140.00 c 5093 140.32 o 18066 140.32 c 5088 140.49 o 18067 140.49 c 5087 140.65 o 18069 140.65 c 5085 141.31 o 18071 141.31 c 5083 141.79 o 18072 141.79 c 5082 141.94 o 18076 141.94 c 5078 142.09 o 18082 142.09 c 5072 142.25 o 18084 142.25 c 5070 142.40 o 18087 142.40 c 5067 142.55 o 18091 142.55 c 5063 142.69 o 18093 142.69 c 5061 142.86 o 18095 142.86 c 5059 143.00 o 18096 143.00 c 5058 143.16 o 18098 143.16 c 5056 143.29 o 18102 143.29 c 5052 143.58 o 18107 143.58 c 5047 143.88 o 18109 143.88 c 5045 144.01 o 18110 144.01 c 5044 144.14 o 18111 144.14 c 5043 144.42 o 18113 144.42 c 5041 144.56 o 18114 144.56 c 5040 144.72 o 18118 144.72 c 5036 145.01 o 18119 145.01 c 5035 145.16 o 18120 145.16 c 5034 145.30 o 18124 145.30 c 5030 145.46 o 18125 145.46 c 5029 145.62 o 18127 145.62 c 5027 145.78 o 18128 145.78 c 5026 145.93 o 18129 145.93 c 5025 146.08 o 18134 146.08 c 5020 146.25 o 18138 146.25 c 5016 146.42 o 18139 146.42 c 5015 146.58 o 18141 146.58 c 5013 146.74 o 18147 146.74 c 5007 146.89 o 18149 146.89 c 5005 147.03 o 18154 147.03 c 5000 147.19 o 18155 147.19 c 4999 147.35 o 18159 147.35 c 4995 147.50 o 18160 147.50 c 4994 147.66 o 18162 147.66 c 4992 147.83 o 18165 147.83 c 4989 148.17 o 18166 148.17 c 4988 148.83 o 18168 148.83 c 4986 149.00 o 18169 149.00 c 4985 149.32 o 18170 149.32 c 4984 149.50 o 18173 149.50 c 4981 149.68 o 18177 149.68 c 4977 149.86 o 18182 149.86 c 4972 150.20 o 18185 150.20 c 4969 150.37 o 18186 150.37 c 4968 150.56 o 18191 150.56 c 4963 150.72 o 18194 150.72 c 4960 150.87 o 18196 150.87 c 4958 151.05 o 18200 151.05 c 4954 151.22 o 18201 151.22 c 4953 151.39 o 18204 151.39 c 4950 151.56 o 18207 151.56 c 4947 151.75 o 18209 151.75 c 4945 151.92 o 18214 151.92 c 4940 152.28 o 18216 152.28 c 4938 152.48 o 18217 152.48 c 4937 152.65 o 18220 152.65 c 4934 152.84 o 18222 152.84 c 4932 153.01 o 18223 153.01 c 4931 153.18 o 18224 153.18 c 4930 153.53 o 18226 153.53 c 4928 153.72 o 18227 153.72 c 4927 153.91 o 18232 153.91 c 4922 154.11 o 18234 154.11 c 4920 155.10 o 18239 155.10 c 4915 155.29 o 18241 155.29 c 4913 155.48 o 18245 155.48 c 4909 155.69 o 18248 155.69 c 4906 156.30 o 18250 156.30 c 4904 156.50 o 18254 156.50 c 4900 156.72 o 18256 156.72 c 4898 156.93 o 18258 156.93 c 4896 157.13 o 18260 157.14 c 4894 157.35 o 18262 157.35 c 4892 157.55 o 18264 157.55 c 4890 157.97 o 18265 157.97 c 4889 158.19 o 18267 158.19 c 4887 158.41 o 18270 158.41 c 4884 158.63 o 18273 158.63 c 4881 159.05 o 18277 159.05 c 4877 159.48 o 18279 159.48 c 4875 159.70 o 18282 159.70 c 4872 159.93 o 18283 159.93 c 4871 160.15 o 18286 160.15 c 4868 160.81 o 18287 160.81 c 4867 161.02 o 18289 161.02 c 4865 161.24 o 18291 161.24 c 4863 161.67 o 18294 161.67 c 4860 161.90 o 18296 161.90 c 4858 162.12 o 18301 162.12 c 4853 162.34 o 18304 162.34 c 4850 162.56 o 18307 162.56 c 4847 162.80 o 18310 162.80 c 4844 163.03 o 18311 163.03 c 4843 163.26 o 18312 163.26 c 4842 163.49 o 18315 163.49 c 4839 163.72 o 18316 163.72 c 4838 164.21 o 18318 164.21 c 4836 164.44 o 18319 164.44 c 4835 165.13 o 18320 165.13 c 4834 165.36 o 18323 165.36 c 4831 165.60 o 18327 165.60 c 4827 165.85 o 18328 165.85 c 4826 166.08 o 18329 166.08 c 4825 166.32 o 18332 166.32 c 4822 167.07 o 18334 167.07 c 4820 167.32 o 18335 167.32 c 4819 167.59 o 18338 167.59 c 4816 167.85 o 18339 167.85 c 4815 168.13 o 18343 168.13 c 4811 168.71 o 18346 168.71 c 4808 169.00 o 18349 169.00 c 4805 169.29 o 18351 169.29 c 4803 169.54 o 18354 169.54 c 4800 169.81 o 18355 169.81 c 4799 170.09 o 18358 170.09 c 4796 170.34 o 18359 170.34 c 4795 170.62 o 18364 170.62 c 4790 170.92 o 18366 170.92 c 4788 171.21 o 18368 171.21 c 4786 172.04 o 18370 172.04 c 4784 172.33 o 18372 172.33 c 4782 172.62 o 18374 172.62 c 4780 172.90 o 18376 172.90 c 4778 173.18 o 18378 173.18 c 4776 173.46 o 18380 173.46 c 4774 173.74 o 18382 173.74 c 4772 174.02 o 18384 174.02 c 4770 174.32 o 18386 174.32 c 4768 174.59 o 18388 174.59 c 4766 174.88 o 18390 174.88 c 4764 175.14 o 18393 175.14 c 4761 175.42 o 18395 175.42 c 4759 175.97 o 18397 175.97 c 4757 176.25 o 18399 176.25 c 4755 176.53 o 18401 176.53 c 4753 176.79 o 18402 176.79 c 4752 177.07 o 18403 177.07 c 4751 177.34 o 18404 177.34 c 4750 177.62 o 18405 177.62 c 4749 177.89 o 18406 177.89 c 4748 178.17 o 18407 178.17 c 4747 178.44 o 18408 178.44 c 4746 178.72 o 18409 178.72 c 4745 179.01 o 18410 179.01 c 4744 179.27 o 18412 179.27 c 4742 179.54 o 18413 179.54 c 4741 179.81 o 18414 179.81 c 4740 180.10 o 18415 180.10 c 4739 180.37 o 18416 180.37 c 4738 180.65 o 18417 180.65 c 4737 180.92 o 18418 180.92 c 4736 181.46 o 18419 181.46 c 4735 184.59 o 18423 184.59 c 4731 187.30 o 18424 187.30 c 4730 187.55 o 18425 187.55 c 4729 188.04 o 18426 188.04 c 4728 188.29 o 18428 188.29 c 4726 188.54 o 18429 188.54 c 4725 188.79 o 18432 188.79 c 4722 189.06 o 18434 189.06 c 4720 189.31 o 18438 189.31 c 4716 189.55 o 18444 189.55 c 4710 189.79 o 18445 189.79 c 4709 190.28 o 18446 190.28 c 4708 190.52 o 18448 190.52 c 4706 191.01 o 18450 191.01 c 4704 191.25 o 18452 191.25 c 4702 191.50 o 18454 191.50 c 4700 192.21 o 18455 192.21 c 4699 192.94 o 18456 192.94 c 4698 193.41 o 18458 193.41 c 4696 193.64 o 18460 193.64 c 4694 194.12 o 18462 194.12 c 4692 194.35 o 18464 194.35 c 4690 194.58 o 18468 194.58 c 4686 194.81 o 18473 194.81 c 4681 195.04 o 18476 195.04 c 4678 196.19 o 18477 196.19 c 4677 196.43 o 18481 196.43 c 4673 196.65 o 18482 196.65 c 4672 196.89 o 18483 196.89 c 4671 197.34 o 18485 197.34 c 4669 197.58 o 18486 197.58 c 4668 198.01 o 18487 198.01 c 4667 198.23 o 18490 198.23 c 4664 199.37 o 18492 199.37 c 4662 199.60 o 18494 199.60 c 4660 199.82 o 18495 199.82 c 4659 200.27 o 18496 200.27 c 4658 200.49 o 18501 200.49 c 4653 200.72 o 18502 200.72 c 4652 201.15 o 18504 201.15 c 4650 201.39 o 18506 201.39 c 4648 201.85 o 18507 201.85 c 4647 203.02 o 18510 203.02 c 4644 203.89 o 18511 203.89 c 4643 204.11 o 18513 204.11 c 4641 204.56 o 18514 204.56 c 4640 204.79 o 18515 204.79 c 4639 205.03 o 18517 205.03 c 4637 205.24 o 18518 205.24 c 4636 205.70 o 18520 205.70 c 4634 206.15 o 18522 206.15 c 4632 207.49 o 18523 207.49 c 4631 207.72 o 18524 207.72 c 4630 207.95 o 18528 207.95 c 4626 208.18 o 18530 208.18 c 4624 208.41 o 18531 208.41 c 4623 208.86 o 18532 208.86 c 4622 209.10 o 18533 209.10 c 4621 209.32 o 18535 209.32 c 4619 209.54 o 18539 209.54 c 4615 210.44 o 18540 210.44 c 4614 210.66 o 18541 210.66 c 4613 211.13 o 18542 211.13 c 4612 211.35 o 18543 211.35 c 4611 211.57 o 18544 211.57 c 4610 211.79 o 18546 211.79 c 4608 212.02 o 18549 212.02 c 4605 212.46 o 18553 212.46 c 4601 212.67 o 18555 212.67 c 4599 212.91 o 18556 212.91 c 4598 213.14 o 18559 213.14 c 4595 213.36 o 18560 213.36 c 4594 213.58 o 18563 213.58 c 4591 213.80 o 18565 213.80 c 4589 214.03 o 18566 214.03 c 4588 214.26 o 18570 214.26 c 4584 214.49 o 18572 214.49 c 4582 215.42 o 18576 215.42 c 4578 215.64 o 18577 215.64 c 4577 215.86 o 18580 215.86 c 4574 216.08 o 18582 216.08 c 4572 216.31 o 18584 216.31 c 4570 216.52 o 18588 216.52 c 4566 216.73 o 18589 216.73 c 4565 216.95 o 18590 216.95 c 4564 217.19 o 18592 217.19 c 4562 217.42 o 18594 217.42 c 4560 217.61 o 18597 217.61 c 4557 217.85 o 18599 217.85 c 4555 218.33 o 18604 218.33 c 4550 218.57 o 18607 218.57 c 4547 218.80 o 18611 218.80 c 4543 219.05 o 18614 219.05 c 4540 219.32 o 18618 219.32 c 4536 219.58 o 18619 219.58 c 4535 219.84 o 18621 219.84 c 4533 220.87 o 18622 220.87 c 4532 221.14 o 18623 221.14 c 4531 221.66 o 18626 221.66 c 4528 221.91 o 18629 221.91 c 4525 222.38 o 18630 222.38 c 4524 222.62 o 18632 222.62 c 4522 222.89 o 18637 222.89 c 4517 223.14 o 18639 223.14 c 4515 223.90 o 18640 223.90 c 4514 224.18 o 18643 224.18 c 4511 224.45 o 18645 224.45 c 4509 225.76 o 18648 225.76 c 4506 226.01 o 18649 226.01 c 4505 226.57 o 18651 226.57 c 4503 226.85 o 18653 226.85 c 4501 227.13 o 18654 227.13 c 4500 227.41 o 18655 227.41 c 4499 227.67 o 18657 227.67 c 4497 227.94 o 18659 227.94 c 4495 228.21 o 18662 228.21 c 4492 228.77 o 18664 228.77 c 4490 229.32 o 18669 229.32 c 4485 229.60 o 18673 229.60 c 4481 230.15 o 18676 230.15 c 4478 232.17 o 18677 232.17 c 4477 232.46 o 18681 232.46 c 4473 232.75 o 18683 232.75 c 4471 233.07 o 18685 233.07 c 4469 233.37 o 18687 233.37 c 4467 233.96 o 18688 233.96 c 4466 234.24 o 18689 234.24 c 4465 234.53 o 18691 234.53 c 4463 234.83 o 18693 234.83 c 4461 235.99 o 18694 235.99 c 4460 236.59 o 18695 236.59 c 4459 236.88 o 18696 236.88 c 4458 237.17 o 18700 237.17 c 4454 238.03 o 18703 238.03 c 4451 238.32 o 18705 238.32 c 4449 238.88 o 18706 238.88 c 4448 239.16 o 18708 239.16 c 4446 239.43 o 18711 239.43 c 4443 239.99 o 18713 239.99 c 4441 240.28 o 18714 240.28 c 4440 240.54 o 18715 240.54 c 4439 240.83 o 18719 240.83 c 4435 241.10 o 18720 241.10 c 4434 241.92 o 18722 241.92 c 4432 242.20 o 18725 242.20 c 4429 242.48 o 18727 242.48 c 4427 242.78 o 18730 242.78 c 4424 243.06 o 18731 243.06 c 4423 243.34 o 18736 243.34 c 4418 243.64 o 18738 243.64 c 4416 243.91 o 18740 243.91 c 4414 244.18 o 18741 244.18 c 4413 244.75 o 18743 244.75 c 4411 245.02 o 18746 245.02 c 4408 245.29 o 18747 245.29 c 4407 245.59 o 18748 245.59 c 4406 245.85 o 18749 245.85 c 4405 246.12 o 18750 246.12 c 4404 249.15 o 18752 249.15 c 4402 249.41 o 18753 249.41 c 4401 249.68 o 18754 249.68 c 4400 249.94 o 18755 249.94 c 4399 250.22 o 18758 250.22 c 4396 250.50 o 18761 250.50 c 4393 251.30 o 18762 251.30 c 4392 251.56 o 18765 251.56 c 4389 251.83 o 18768 251.83 c 4386 252.10 o 18769 252.10 c 4385 252.37 o 18770 252.37 c 4384 252.60 o 18773 252.60 c 4381 253.39 o 18774 253.39 c 4380 253.65 o 18777 253.65 c 4377 253.92 o 18778 253.92 c 4376 254.16 o 18780 254.16 c 4374 254.42 o 18783 254.42 c 4371 254.68 o 18784 254.68 c 4370 254.93 o 18788 254.93 c 4366 255.18 o 18791 255.18 c 4363 255.44 o 18792 255.44 c 4362 255.94 o 18794 255.94 c 4360 256.44 o 18797 256.44 c 4357 256.69 o 18799 256.69 c 4355 256.97 o 18800 256.97 c 4354 257.21 o 18803 257.21 c 4351 257.46 o 18805 257.46 c 4349 257.73 o 18806 257.73 c 4348 257.99 o 18809 257.99 c 4345 258.27 o 18813 258.27 c 4341 258.55 o 18816 258.55 c 4338 259.10 o 18818 259.10 c 4336 260.71 o 18820 260.71 c 4334 261.01 o 18821 261.01 c 4333 261.55 o 18825 261.55 c 4329 261.82 o 18827 261.82 c 4327 262.37 o 18829 262.37 c 4325 262.65 o 18832 262.65 c 4322 262.92 o 18834 262.92 c 4320 263.21 o 18835 263.21 c 4319 263.50 o 18837 263.50 c 4317 263.78 o 18838 263.78 c 4316 264.89 o 18839 264.89 c 4315 265.17 o 18842 265.17 c 4312 265.45 o 18844 265.45 c 4310 265.73 o 18846 265.73 c 4308 266.01 o 18847 266.01 c 4307 266.29 o 18849 266.29 c 4305 266.58 o 18851 266.58 c 4303 266.86 o 18855 266.86 c 4299 267.15 o 18856 267.15 c 4298 267.67 o 18860 267.67 c 4294 268.20 o 18861 268.20 c 4293 268.73 o 18863 268.73 c 4291 269.01 o 18866 269.01 c 4288 269.53 o 18868 269.53 c 4286 269.80 o 18869 269.80 c 4285 270.92 o 18871 270.92 c 4283 271.76 o 18872 271.76 c 4282 272.04 o 18876 272.04 c 4278 272.33 o 18877 272.33 c 4277 272.61 o 18879 272.61 c 4275 272.92 o 18883 272.92 c 4271 273.75 o 18885 273.75 c 4269 274.04 o 18886 274.04 c 4268 274.35 o 18890 274.35 c 4264 274.65 o 18891 274.65 c 4263 274.96 o 18892 274.96 c 4262 275.28 o 18895 275.28 c 4259 276.19 o 18896 276.19 c 4258 276.80 o 18897 276.80 c 4257 277.11 o 18900 277.11 c 4254 277.44 o 18901 277.44 c 4253 278.09 o 18903 278.09 c 4251 278.42 o 18907 278.42 c 4247 278.76 o 18909 278.76 c 4245 279.09 o 18911 279.09 c 4243 279.42 o 18913 279.42 c 4241 279.74 o 18915 279.74 c 4239 280.07 o 18916 280.07 c 4238 280.39 o 18917 280.39 c 4237 280.72 o 18919 280.72 c 4235 281.05 o 18921 281.05 c 4233 281.38 o 18923 281.38 c 4231 281.70 o 18925 281.70 c 4229 282.05 o 18926 282.05 c 4228 282.38 o 18927 282.38 c 4227 282.71 o 18928 282.71 c 4226 283.04 o 18929 283.04 c 4225 283.36 o 18930 283.36 c 4224 283.67 o 18934 283.67 c 4220 283.99 o 18936 283.99 c 4218 284.31 o 18941 284.31 c 4213 284.65 o 18943 284.65 c 4211 284.96 o 18946 284.96 c 4208 285.30 o 18947 285.30 c 4207 285.62 o 18948 285.62 c 4206 285.94 o 18949 285.94 c 4205 286.28 o 18950 286.28 c 4204 286.61 o 18951 286.61 c 4203 286.94 o 18952 286.94 c 4202 289.55 o 18953 289.55 c 4201 289.87 o 18957 289.87 c 4197 290.21 o 18959 290.21 c 4195 290.54 o 18964 290.54 c 4190 291.86 o 18965 291.86 c 4189 292.53 o 18967 292.53 c 4187 293.20 o 18968 293.20 c 4186 293.53 o 18971 293.53 c 4183 294.55 o 18973 294.55 c 4181 294.90 o 18975 294.90 c 4179 295.24 o 18977 295.24 c 4177 297.64 o 18980 297.64 c 4174 297.97 o 18981 297.97 c 4173 298.31 o 18983 298.31 c 4171 298.65 o 18985 298.65 c 4169 299.66 o 18987 299.66 c 4167 299.99 o 18989 299.99 c 4165 300.33 o 18992 300.33 c 4162 300.66 o 18996 300.66 c 4158 300.99 o 19001 300.99 c 4153 301.96 o 19004 301.96 c 4150 302.64 o 19006 302.64 c 4148 302.99 o 19008 302.99 c 4146 303.32 o 19012 303.32 c 4142 303.64 o 19014 303.64 c 4140 303.98 o 19016 303.98 c 4138 304.31 o 19019 304.31 c 4135 305.34 o 19020 305.34 c 4134 305.98 o 19021 305.98 c 4133 307.24 o 19024 307.24 c 4130 307.56 o 19025 307.56 c 4129 307.88 o 19028 307.88 c 4126 308.17 o 19031 308.17 c 4123 308.80 o 19032 308.80 c 4122 309.11 o 19033 309.11 c 4121 309.42 o 19036 309.42 c 4118 309.73 o 19038 309.73 c 4116 310.05 o 19039 310.05 c 4115 310.65 o 19040 310.65 c 4114 310.96 o 19042 310.96 c 4112 311.57 o 19045 311.57 c 4109 311.87 o 19048 311.87 c 4106 312.41 o 19051 312.41 c 4103 312.63 o 19053 312.63 c 4101 312.93 o 19054 312.93 c 4100 313.22 o 19056 313.22 c 4098 313.52 o 19057 313.52 c 4097 313.81 o 19059 313.81 c 4095 314.11 o 19062 314.11 c 4092 315.27 o 19063 315.27 c 4091 315.56 o 19064 315.56 c 4090 315.86 o 19068 315.86 c 4086 316.44 o 19069 316.44 c 4085 316.73 o 19070 316.73 c 4084 317.65 o 19071 317.65 c 4083 318.56 o 19073 318.56 c 4081 319.18 o 19075 319.18 c 4079 319.48 o 19078 319.48 c 4076 319.79 o 19079 319.79 c 4075 320.08 o 19080 320.08 c 4074 321.29 o 19084 321.29 c 4070 321.62 o 19086 321.62 c 4068 321.92 o 19087 321.92 c 4067 322.53 o 19090 322.53 c 4064 323.80 o 19091 323.80 c 4063 324.12 o 19092 324.12 c 4062 324.44 o 19095 324.44 c 4059 325.06 o 19097 325.06 c 4057 325.38 o 19098 325.38 c 4056 325.69 o 19100 325.69 c 4054 326.35 o 19105 326.35 c 4049 326.68 o 19106 326.68 c 4048 327.01 o 19107 327.01 c 4047 327.33 o 19108 327.33 c 4046 327.65 o 19112 327.65 c 4042 328.31 o 19114 328.31 c 4040 328.64 o 19118 328.64 c 4036 329.18 o 19119 329.18 c 4035 329.53 o 19122 329.53 c 4032 329.87 o 19124 329.87 c 4030 330.21 o 19126 330.21 c 4028 330.57 o 19128 330.57 c 4026 330.91 o 19130 330.91 c 4024 331.24 o 19134 331.24 c 4020 331.60 o 19136 331.60 c 4018 332.29 o 19139 332.29 c 4015 332.43 o 19141 332.43 c 4013 334.11 o 19142 334.11 c 4012 334.44 o 19145 334.44 c 4009 334.65 o 19146 334.65 c 4008 335.31 o 19149 335.31 c 4005 336.27 o 19150 336.27 c 4004 336.91 o 19152 336.91 c 4002 337.24 o 19155 337.24 c 3999 337.92 o 19157 337.92 c 3997 338.24 o 19159 338.25 c 3995 338.42 o 19160 338.42 c 3994 339.07 o 19163 339.07 c 3991 339.75 o 19168 339.75 c 3986 340.08 o 19170 340.08 c 3984 340.41 o 19171 340.41 c 3983 340.72 o 19172 340.72 c 3982 341.05 o 19173 341.05 c 3981 341.38 o 19177 341.38 c 3977 341.70 o 19180 341.70 c 3974 342.04 o 19183 342.04 c 3971 342.35 o 19185 342.35 c 3969 342.68 o 19188 342.68 c 3966 342.99 o 19190 342.99 c 3964 343.31 o 19191 343.31 c 3963 343.65 o 19193 343.65 c 3961 344.98 o 19194 344.98 c 3960 345.32 o 19198 345.32 c 3956 345.64 o 19199 345.64 c 3955 346.29 o 19202 346.29 c 3952 346.64 o 19205 346.64 c 3949 346.96 o 19207 346.96 c 3947 347.63 o 19212 347.63 c 3942 348.63 o 19214 348.63 c 3940 349.97 o 19216 349.97 c 3938 351.65 o 19217 351.65 c 3937 352.67 o 19218 352.67 c 3936 353.35 o 19220 353.35 c 3934 353.69 o 19221 353.69 c 3933 354.05 o 19223 354.05 c 3931 354.39 o 19225 354.39 c 3929 355.06 o 19228 355.06 c 3926 355.40 o 19232 355.40 c 3922 355.74 o 19235 355.74 c 3919 357.10 o 19237 357.10 c 3917 357.43 o 19239 357.43 c 3915 357.77 o 19240 357.77 c 3914 358.06 o 19241 358.06 c 3913 358.39 o 19244 358.39 c 3910 358.72 o 19245 358.72 c 3909 359.05 o 19246 359.05 c 3908 359.37 o 19247 359.37 c 3907 359.56 o 19248 359.56 c 3906 359.91 o 19249 359.91 c 3905 360.24 o 19250 360.24 c 3904 360.57 o 19251 360.57 c 3903 360.90 o 19254 360.90 c 3900 361.39 o 19257 361.39 c 3897 362.03 o 19260 362.03 c 3894 362.36 o 19261 362.36 c 3893 363.33 o 19262 363.33 c 3892 363.64 o 19263 363.64 c 3891 365.29 o 19265 365.29 c 3889 365.63 o 19266 365.63 c 3888 365.96 o 19267 365.96 c 3887 370.77 o 19269 370.77 c 3885 371.12 o 19270 371.12 c 3884 371.85 o 19271 371.85 c 3883 372.19 o 19272 372.19 c 3882 373.26 o 19274 373.26 c 3880 374.66 o 19275 374.66 c 3879 374.98 o 19278 374.98 c 3876 375.31 o 19280 375.31 c 3874 375.66 o 19282 375.66 c 3872 376.02 o 19284 376.02 c 3870 377.03 o 19286 377.03 c 3868 377.38 o 19288 377.38 c 3866 377.76 o 19291 377.76 c 3863 378.10 o 19292 378.10 c 3862 378.45 o 19295 378.45 c 3859 379.14 o 19296 379.14 c 3858 379.48 o 19297 379.48 c 3857 380.18 o 19300 380.18 c 3854 380.89 o 19301 380.89 c 3853 381.26 o 19304 381.26 c 3850 381.62 o 19305 381.62 c 3849 381.96 o 19307 381.96 c 3847 382.68 o 19310 382.68 c 3844 383.40 o 19311 383.40 c 3843 384.51 o 19313 384.51 c 3841 389.38 o 19314 389.38 c 3840 389.77 o 19316 389.77 c 3838 391.64 o 19317 391.64 c 3837 392.00 o 19318 392.00 c 3836 392.39 o 19320 392.39 c 3834 393.54 o 19322 393.54 c 3832 393.92 o 19323 393.92 c 3831 395.09 o 19324 395.09 c 3830 395.84 o 19326 395.84 c 3828 398.15 o 19329 398.15 c 3825 398.54 o 19330 398.54 c 3824 399.71 o 19333 399.71 c 3821 400.47 o 19336 400.47 c 3818 400.85 o 19337 400.85 c 3817 401.23 o 19340 401.23 c 3814 401.61 o 19341 401.61 c 3813 402.39 o 19343 402.39 c 3811 402.79 o 19344 402.79 c 3810 403.20 o 19346 403.20 c 3808 403.58 o 19347 403.58 c 3807 403.98 o 19349 403.98 c 3805 404.38 o 19353 404.38 c 3801 404.77 o 19357 404.77 c 3797 405.16 o 19359 405.16 c 3795 405.56 o 19361 405.56 c 3793 405.95 o 19364 405.95 c 3790 408.76 o 19365 408.76 c 3789 409.15 o 19368 409.15 c 3786 409.55 o 19369 409.55 c 3785 409.97 o 19371 409.97 c 3783 410.40 o 19374 410.40 c 3780 411.68 o 19375 411.68 c 3779 412.10 o 19377 412.10 c 3777 412.53 o 19378 412.53 c 3776 412.96 o 19380 412.96 c 3774 413.40 o 19382 413.40 c 3772 413.81 o 19384 413.81 c 3770 415.87 o 19385 415.87 c 3769 416.71 o 19386 416.71 c 3768 417.12 o 19387 417.12 c 3767 417.56 o 19389 417.56 c 3765 417.94 o 19391 417.94 c 3763 418.37 o 19393 418.37 c 3761 420.07 o 19395 420.07 c 3759 420.50 o 19398 420.50 c 3756 420.93 o 19399 420.93 c 3755 421.77 o 19401 421.77 c 3753 422.19 o 19402 422.19 c 3752 423.03 o 19403 423.03 c 3751 423.44 o 19404 423.44 c 3750 425.47 o 19405 425.47 c 3749 425.89 o 19406 425.89 c 3748 426.30 o 19407 426.30 c 3747 426.71 o 19408 426.71 c 3746 427.12 o 19409 427.12 c 3745 427.54 o 19412 427.54 c 3742 427.96 o 19414 427.96 c 3740 428.30 o 19418 428.30 c 3736 429.14 o 19419 429.14 c 3735 429.54 o 19420 429.54 c 3734 429.94 o 19422 429.94 c 3732 430.34 o 19423 430.34 c 3731 430.75 o 19424 430.75 c 3730 431.16 o 19426 431.16 c 3728 431.95 o 19429 431.95 c 3725 432.36 o 19430 432.36 c 3724 432.74 o 19433 432.74 c 3721 433.17 o 19435 433.17 c 3719 433.98 o 19436 433.98 c 3718 434.39 o 19437 434.39 c 3717 434.79 o 19439 434.79 c 3715 435.19 o 19441 435.19 c 3713 435.60 o 19442 435.60 c 3712 436.01 o 19444 436.01 c 3710 436.82 o 19445 436.82 c 3709 437.61 o 19446 437.61 c 3708 438.44 o 19448 438.44 c 3706 438.87 o 19451 438.87 c 3703 439.29 o 19456 439.29 c 3698 439.69 o 19458 439.69 c 3696 440.10 o 19459 440.10 c 3695 440.50 o 19462 440.51 c 3692 441.71 o 19463 441.71 c 3691 442.53 o 19466 442.53 c 3688 443.34 o 19468 443.34 c 3686 443.77 o 19470 443.77 c 3684 444.19 o 19471 444.19 c 3683 445.01 o 19472 445.01 c 3682 445.42 o 19473 445.42 c 3681 447.51 o 19474 447.51 c 3680 447.93 o 19476 447.93 c 3678 449.17 o 19477 449.17 c 3677 449.58 o 19480 449.58 c 3674 449.98 o 19481 449.98 c 3673 451.64 o 19483 451.64 c 3671 452.04 o 19484 452.04 c 3670 452.87 o 19486 452.87 c 3668 453.27 o 19492 453.27 c 3662 453.67 o 19496 453.67 c 3658 454.01 o 19499 454.01 c 3655 454.82 o 19500 454.82 c 3654 455.23 o 19502 455.23 c 3652 455.63 o 19504 455.63 c 3650 456.04 o 19505 456.04 c 3649 456.84 o 19508 456.84 c 3646 457.24 o 19509 457.24 c 3645 457.65 o 19510 457.65 c 3644 458.05 o 19512 458.05 c 3642 458.87 o 19513 458.87 c 3641 459.27 o 19516 459.27 c 3638 460.10 o 19518 460.10 c 3636 460.91 o 19521 460.91 c 3633 461.32 o 19523 461.32 c 3631 461.62 o 19526 461.62 c 3628 462.03 o 19528 462.03 c 3626 462.81 o 19529 462.81 c 3625 463.22 o 19532 463.22 c 3622 463.63 o 19533 463.63 c 3621 464.03 o 19536 464.03 c 3618 464.44 o 19537 464.44 c 3617 466.13 o 19538 466.13 c 3616 466.58 o 19541 466.58 c 3613 469.47 o 19543 469.47 c 3611 469.87 o 19546 469.87 c 3608 470.28 o 19547 470.28 c 3607 471.09 o 19548 471.09 c 3606 471.50 o 19553 471.50 c 3601 471.92 o 19554 471.92 c 3600 472.72 o 19558 472.72 c 3596 473.90 o 19560 473.90 c 3594 474.33 o 19562 474.33 c 3592 475.56 o 19563 475.56 c 3591 475.97 o 19564 475.97 c 3590 476.38 o 19565 476.38 c 3589 477.22 o 19568 477.22 c 3586 478.46 o 19571 478.46 c 3583 480.47 o 19575 480.47 c 3579 480.87 o 19577 480.87 c 3577 481.31 o 19578 481.31 c 3576 481.75 o 19580 481.75 c 3574 482.18 o 19581 482.18 c 3573 483.03 o 19582 483.03 c 3572 487.38 o 19584 487.38 c 3570 487.79 o 19586 487.80 c 3568 488.25 o 19588 488.25 c 3566 488.70 o 19589 488.70 c 3565 489.15 o 19590 489.15 c 3564 489.61 o 19591 489.61 c 3563 490.06 o 19593 490.06 c 3561 490.50 o 19594 490.50 c 3560 490.94 o 19597 490.94 c 3557 491.40 o 19598 491.40 c 3556 492.31 o 19600 492.31 c 3554 492.77 o 19601 492.77 c 3553 493.19 o 19603 493.19 c 3551 495.39 o 19606 495.39 c 3548 501.19 o 19608 501.19 c 3546 501.65 o 19610 501.65 c 3544 502.10 o 19611 502.10 c 3543 502.57 o 19614 502.57 c 3540 503.49 o 19616 503.49 c 3538 504.45 o 19617 504.45 c 3537 505.37 o 19621 505.37 c 3533 505.82 o 19623 505.82 c 3531 506.27 o 19625 506.27 c 3529 507.21 o 19626 507.21 c 3528 508.17 o 19628 508.17 c 3526 508.65 o 19631 508.65 c 3523 509.57 o 19633 509.57 c 3521 510.04 o 19634 510.04 c 3520 516.69 o 19637 516.69 c 3517 517.19 o 19638 517.19 c 3516 518.15 o 19640 518.16 c 3514 518.65 o 19642 518.65 c 3512 520.62 o 19644 520.62 c 3510 521.09 o 19647 521.09 c 3507 521.57 o 19648 521.57 c 3506 522.06 o 19649 522.06 c 3505 523.02 o 19650 523.02 c 3504 523.48 o 19653 523.48 c 3501 523.96 o 19655 523.96 c 3499 524.45 o 19657 524.45 c 3497 524.94 o 19660 524.94 c 3494 525.42 o 19664 525.42 c 3490 525.90 o 19667 525.90 c 3487 526.39 o 19669 526.39 c 3485 527.85 o 19670 527.85 c 3484 528.35 o 19674 528.35 c 3480 529.33 o 19675 529.33 c 3479 529.83 o 19677 529.83 c 3477 530.33 o 19682 530.33 c 3472 531.67 o 19683 531.67 c 3471 532.15 o 19684 532.15 c 3470 538.61 o 19686 538.61 c 3468 539.36 o 19687 539.36 c 3467 540.89 o 19690 540.89 c 3464 541.39 o 19692 541.39 c 3462 541.90 o 19693 541.90 c 3461 543.42 o 19695 543.42 c 3459 543.91 o 19697 543.91 c 3457 544.43 o 19699 544.43 c 3455 544.95 o 19703 544.95 c 3451 545.45 o 19704 545.45 c 3450 545.94 o 19705 545.94 c 3449 551.01 o 19707 551.01 c 3447 551.94 o 19711 551.94 c 3443 552.94 o 19713 552.94 c 3441 554.00 o 19714 554.00 c 3440 554.99 o 19717 554.99 c 3437 555.52 o 19721 555.52 c 3433 556.04 o 19722 556.04 c 3432 556.59 o 19723 556.59 c 3431 557.13 o 19725 557.13 c 3429 558.22 o 19727 558.22 c 3427 558.75 o 19730 558.75 c 3424 560.37 o 19732 560.37 c 3422 560.89 o 19737 560.89 c 3417 561.44 o 19740 561.44 c 3414 561.96 o 19741 561.96 c 3413 562.48 o 19742 562.48 c 3412 563.01 o 19746 563.01 c 3408 563.55 o 19749 563.55 c 3405 564.61 o 19751 564.61 c 3403 565.12 o 19754 565.12 c 3400 566.76 o 19756 566.76 c 3398 567.16 o 19758 567.16 c 3396 567.69 o 19759 567.69 c 3395 568.22 o 19762 568.22 c 3392 568.75 o 19763 568.75 c 3391 577.57 o 19765 577.57 c 3389 580.08 o 19769 580.08 c 3385 582.16 o 19771 582.17 c 3383 582.69 o 19773 582.69 c 3381 583.26 o 19776 583.26 c 3378 586.01 o 19777 586.01 c 3377 586.56 o 19778 586.56 c 3376 587.68 o 19779 587.68 c 3375 588.23 o 19781 588.23 c 3373 588.79 o 19783 588.79 c 3371 589.33 o 19784 589.33 c 3370 591.00 o 19787 591.00 c 3367 592.14 o 19788 592.14 c 3366 592.72 o 19789 592.72 c 3365 593.30 o 19791 593.30 c 3363 594.40 o 19794 594.40 c 3360 595.53 o 19795 595.53 c 3359 597.75 o 19798 597.75 c 3356 598.32 o 19799 598.32 c 3355 599.44 o 19800 599.44 c 3354 600.00 o 19803 600.00 c 3351 601.11 o 19804 601.11 c 3350 601.66 o 19807 601.66 c 3347 602.22 o 19808 602.22 c 3346 603.86 o 19811 603.86 c 3343 606.06 o 19813 606.06 c 3341 611.46 o 19815 611.46 c 3339 612.01 o 19817 612.01 c 3337 612.56 o 19818 612.56 c 3336 615.86 o 19819 615.86 c 3335 616.95 o 19821 616.95 c 3333 617.84 o 19822 617.84 c 3332 620.02 o 19823 620.02 c 3331 620.43 o 19824 620.43 c 3330 622.03 o 19827 622.03 c 3327 624.80 o 19829 624.80 c 3325 625.89 o 19830 625.89 c 3324 626.43 o 19831 626.43 c 3323 626.97 o 19833 626.97 c 3321 627.51 o 19834 627.51 c 3320 628.01 o 19837 628.01 c 3317 628.52 o 19839 628.52 c 3315 629.59 o 19841 629.59 c 3313 630.66 o 19843 630.66 c 3311 631.19 o 19844 631.19 c 3310 631.74 o 19845 631.74 c 3309 632.30 o 19846 632.30 c 3308 633.40 o 19847 633.40 c 3307 634.49 o 19848 634.49 c 3306 635.47 o 19851 635.47 c 3303 636.02 o 19853 636.02 c 3301 636.56 o 19854 636.56 c 3300 637.11 o 19855 637.11 c 3299 637.65 o 19856 637.65 c 3298 638.21 o 19859 638.21 c 3295 638.75 o 19861 638.75 c 3293 639.83 o 19863 639.83 c 3291 640.89 o 19866 640.89 c 3288 641.45 o 19868 641.45 c 3286 643.11 o 19869 643.11 c 3285 644.21 o 19871 644.21 c 3283 644.76 o 19872 644.76 c 3282 645.84 o 19874 645.84 c 3280 646.39 o 19875 646.39 c 3279 653.42 o 19876 653.42 c 3278 653.98 o 19877 653.98 c 3277 654.54 o 19879 654.54 c 3275 655.11 o 19880 655.11 c 3274 655.68 o 19883 655.68 c 3271 656.79 o 19885 656.79 c 3269 657.34 o 19886 657.34 c 3268 657.84 o 19887 657.84 c 3267 658.39 o 19891 658.39 c 3263 658.95 o 19892 658.95 c 3262 662.88 o 19893 662.88 c 3261 663.44 o 19895 663.44 c 3259 666.25 o 19898 666.25 c 3256 666.84 o 19899 666.84 c 3255 667.40 o 19901 667.40 c 3253 668.54 o 19902 668.54 c 3252 671.34 o 19903 671.34 c 3251 671.90 o 19904 671.90 c 3250 676.33 o 19906 676.33 c 3248 677.43 o 19907 677.43 c 3247 679.08 o 19910 679.08 c 3244 679.63 o 19912 679.63 c 3242 680.18 o 19914 680.18 c 3240 686.57 o 19916 686.57 c 3238 688.15 o 19918 688.15 c 3236 688.66 o 19920 688.66 c 3234 689.17 o 19922 689.17 c 3232 689.49 o 19923 689.49 c 3231 690.01 o 19925 690.01 c 3229 690.52 o 19927 690.52 c 3227 691.03 o 19929 691.03 c 3225 692.08 o 19930 692.08 c 3224 694.16 o 19932 694.16 c 3222 694.67 o 19933 694.67 c 3221 695.18 o 19934 695.18 c 3220 695.71 o 19936 695.71 c 3218 697.30 o 19939 697.30 c 3215 697.82 o 19940 697.82 c 3214 699.93 o 19941 699.93 c 3213 700.47 o 19942 700.47 c 3212 702.52 o 19943 702.52 c 3211 704.07 o 19944 704.07 c 3210 705.16 o 19945 705.16 c 3209 707.81 o 19947 707.81 c 3207 708.36 o 19948 708.36 c 3206 738.99 738.99 search 738.99 run=0 nbConstraintChecks=1513726827 nbAssignments=2416 738.99 => wckTime=676.561 cpuTime=672.6 mem=78M749 738.99 738.99 global 738.99 nbConstraintChecks=1513726827 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 738.99 solvingWckTime=676.528 solvingCpuTime=672.57 expiredTime=no totalExploration=no nbFoundSolutions=0 738.99 globalCpuTime=733.54 738.99 => wckTime=738.654 cpuTime=733.49 mem=78M749 738.99 738.99 solver IterativeSystematicSolver being built... 739.89 => wckTime=739.561 cpuTime=733.98 mem=230M90 1064.68 1064.68 preprocessing 1064.68 nbConstraintChecks=765382409 nbValidityChecks=1599567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1064.68 nbRemovedValues=0 detectedInconsistency=no 1064.68 => wckTime=324.775 cpuTime=323.07 mem=230M90 2413.57 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/node2/watcher-275607-1169223877 -o ROOT/results/node2/solver-275607-1169223877 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275607-1169223877/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.93 1.99 1.99 5/94 11587 /proc/meminfo: memFree=1268176/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=18540 CPUtime=0 /proc/11586/stat : 11586 (runsolver) R 11584 11586 11518 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270783358 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/11586/statm: 4635 279 244 17 0 2626 0 [startup+0.103509 s] /proc/loadavg: 1.93 1.99 1.99 5/94 11587 /proc/meminfo: memFree=1268176/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=907808 CPUtime=0.05 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 2465 0 1 0 4 1 0 0 22 0 4 0 270783358 929595392 2212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23755 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 226952 2212 1218 14 0 214535 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 907808 [startup+0.515584 s] /proc/loadavg: 1.93 1.99 1.99 5/94 11587 /proc/meminfo: memFree=1268176/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915332 CPUtime=0.45 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 7372 0 1 0 40 5 0 0 25 0 8 0 270783358 937299968 7111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073580188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228833 7111 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 915332 [startup+1.33774 s] /proc/loadavg: 1.93 1.99 1.99 4/101 11594 /proc/meminfo: memFree=1176152/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915604 CPUtime=1.27 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 28123 0 1 0 113 14 0 0 25 0 8 0 270783358 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228901 27860 2161 14 0 215371 0 [pid=11586/tid=11588] ppid=11584 vsize=915604 CPUtime=0.1 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 11570 0 0 0 6 4 0 0 16 0 8 0 270783366 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915604 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915604 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915604 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915604 CPUtime=0.16 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270783370 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915604 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915604 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937578496 27860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 915604 [startup+2.97503 s] /proc/loadavg: 1.93 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1159384/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=2.9 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 29522 0 1 0 276 14 0 0 25 0 8 0 270783358 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 29256 2181 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.16 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 12892 0 0 0 12 4 0 0 17 0 8 0 270783366 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.18 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 417 0 0 0 18 0 0 0 15 0 8 0 270783370 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 29256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 915744 [startup+6.27164 s] /proc/loadavg: 1.94 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1159392/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=6.19 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 29523 0 1 0 604 15 0 0 25 0 8 0 270783358 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 29257 2181 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.16 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 12892 0 0 0 12 4 0 0 16 0 8 0 270783366 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.18 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 418 0 0 0 18 0 0 0 15 0 8 0 270783370 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 29257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 915744 [startup+12.7448 s] /proc/loadavg: 1.94 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1159392/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=12.62 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 29535 0 1 0 1247 15 0 0 25 0 8 0 270783358 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 29269 2182 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.16 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 12892 0 0 0 12 4 0 0 16 0 8 0 270783366 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.19 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 270783370 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 29269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 915744 [startup+25.6022 s] /proc/loadavg: 1.95 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1156064/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=25.42 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 30410 0 1 0 2525 17 0 0 25 0 8 0 270783358 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 30142 2182 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.21 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 13763 0 0 0 17 4 0 0 16 0 8 0 270783366 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.2 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 431 0 0 0 20 0 0 0 15 0 8 0 270783370 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 915744 [startup+51.2039 s] /proc/loadavg: 1.97 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1156064/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=50.89 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 30418 0 1 0 5070 19 0 0 25 0 8 0 270783358 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 30148 2182 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.21 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 13763 0 0 0 17 4 0 0 16 0 8 0 270783366 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.21 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 436 0 0 0 21 0 0 0 16 0 8 0 270783370 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 30148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 915744 [startup+102.426 s] /proc/loadavg: 1.98 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1128928/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=101.81 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 37611 0 1 0 10150 31 0 0 25 0 8 0 270783358 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228936 37293 2501 14 0 215406 0 [pid=11586/tid=11588] ppid=11584 vsize=915744 CPUtime=0.65 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 20567 0 0 0 59 6 0 0 16 0 8 0 270783366 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270783366 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915744 CPUtime=0.28 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 472 0 0 0 27 1 0 0 15 0 8 0 270783370 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915744 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937721856 37293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 915744 [startup+162.5 s] /proc/loadavg: 1.99 1.99 1.99 3/101 11594 /proc/meminfo: memFree=1128864/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915744 CPUtime=161.5 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 37613 0 1 0 16113 37 0 0 25 0 8 0 270783358 937721856 37295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2013.36 Current children cumulated vsize (KiB) 915980 [startup+2084.73 s] /proc/loadavg: 2.00 2.00 2.00 3/100 11688 /proc/meminfo: memFree=870464/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2073.12 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71985 0 1 0 207238 74 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2073.12 Current children cumulated vsize (KiB) 915980 [startup+2144.81 s] /proc/loadavg: 2.00 2.00 2.00 3/100 11688 /proc/meminfo: memFree=870400/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2132.86 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71985 0 1 0 213211 75 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2132.86 Current children cumulated vsize (KiB) 915980 [startup+2204.9 s] /proc/loadavg: 2.00 2.00 2.00 3/106 11772 /proc/meminfo: memFree=869152/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2192.58 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71986 0 1 0 219178 80 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2192.58 Current children cumulated vsize (KiB) 915980 [startup+2264.99 s] /proc/loadavg: 2.06 2.03 2.01 3/100 11886 /proc/meminfo: memFree=870144/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2252.31 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71986 0 1 0 225144 87 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2252.31 Current children cumulated vsize (KiB) 915980 [startup+2325.07 s] /proc/loadavg: 2.02 2.02 2.00 3/100 11886 /proc/meminfo: memFree=870144/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2312.03 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71986 0 1 0 231116 87 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074301120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2312.03 Current children cumulated vsize (KiB) 915980 [startup+2385.15 s] /proc/loadavg: 2.01 2.01 2.00 3/100 11886 /proc/meminfo: memFree=870144/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2371.79 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71986 0 1 0 237092 87 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074305429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2371.79 Current children cumulated vsize (KiB) 915980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2413.56 s] /proc/loadavg: 2.00 2.01 2.00 3/100 11886 /proc/meminfo: memFree=870144/2055920 swapFree=4180552/4192956 [pid=11586] ppid=11584 vsize=915980 CPUtime=2400.03 /proc/11586/stat : 11586 (java) R 11584 11586 11518 0 -1 0 71986 0 1 0 239916 87 0 0 25 0 8 0 270783358 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074337259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11586/statm: 228995 71653 2548 14 0 215465 0 [pid=11586/tid=11588] ppid=11584 vsize=915980 CPUtime=0.99 /proc/11586/task/11588/stat : 11588 (java) S 11584 11586 11518 0 -1 64 54695 0 0 0 80 19 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11589] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11589/stat : 11589 (java) S 11584 11586 11518 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11590] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11590/stat : 11590 (java) S 11584 11586 11518 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270783366 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11591] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11591/stat : 11591 (java) S 11584 11586 11518 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11592] ppid=11584 vsize=915980 CPUtime=0.41 /proc/11586/task/11592/stat : 11592 (java) S 11584 11586 11518 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11593] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11593/stat : 11593 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11586/tid=11594] ppid=11584 vsize=915980 CPUtime=0 /proc/11586/task/11594/stat : 11594 (java) S 11584 11586 11518 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270783370 937963520 71653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 915980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2413.66 CPU time (s): 2400.13 CPU user time (s): 2399.21 CPU system time (s): 0.91886 CPU usage (%): 99.4394 Max. virtual memory (cumulated for all children) (KiB): 915996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.21 system time used= 0.91886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72011 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= 50698 involuntary context switches= 115304 runsolver used 3.19951 s user time and 7.49686 s system time The end
Begin job on node2 on Fri Jan 19 16:24:37 UTC 2007 IDJOB= 275607 IDBENCH= 4150 IDSOLVER= 69 FILE ID= node2/275607-1169223877 PBS_JOBID= 3588968 Free space on /tmp= 66559 MiB SOLVER NAME= AbsconMax 109 PFC 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 pfc.xml 1 XSax /tmp/evaluation/275607-1169223877/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275607-1169223877 -o ROOT/results/node2/solver-275607-1169223877 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275607-1169223877/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 2cbccfaa4c4c5e630cbb69b5e8dba07c RANDOM SEED= 115387285 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 : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.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: 1268848 kB Buffers: 44212 kB Cached: 610080 kB SwapCached: 548 kB Active: 158116 kB Inactive: 555940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1268848 kB SwapTotal: 4192956 kB SwapFree: 4180552 kB Dirty: 5092 kB Writeback: 0 kB Mapped: 78636 kB Slab: 57640 kB Committed_AS: 6988088 kB PageTables: 2492 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= 66556 MiB End job on node2 on Fri Jan 19 17:04:51 UTC 2007