Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | MSAT (TO) | 2400.09 | 2402.93 |
| Name | fapp/fapp11-15/fapp11/ fapp11-1000-4.xml |
| MD5SUM | 5145a33efd34f749485cb3d43c764923 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 14754 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 1000 |
| Number of constraints | 15032 |
| Maximum constraint arity | 2 |
| Maximum domain size | 362 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 15032 |
| Global constraints used (with number of constraints) |
0.36 0.36 Abscon 109 (November, 2006) 0.36 0.36 configuration 0.36 name=epfc.xml 0.39 0.39 instance 0.39 name=/tmp/evaluation/275270-1169219057/unknown.xml 0.42 0.42 domains being loaded... 0.45 0.45 variables being loaded... 0.61 nbVariables=1000 nbDomainTypes=18 minDomainSize=50 maxDomainSize=362 0.61 => wckTime=0.248 cpuTime=0.19 mem=17M615 0.61 0.61 predicates being loaded... 0.61 0.61 constraints being loaded... 60.89 60.89 INFO : Stopping converting binary constraints (cpu=60.02, mem = 40M662) 61.79 nbConstraints=15032 nbConvertedConstraints=4804 nbConvertConstraintsChecks=203955896 nbExtensionStructures=2825 61.79 nbSharedExtensionStructures=1979 nbConflictsStructures=2825 nbSharedConflictsStructures=1979 61.79 nbSharedBinaryRepresentations=1433806 nbEvaluationManagers=5007 nbSharedEvaluationManagers=5221 maxDegree=51 61.79 maxArity=2 61.79 => wckTime=61.429 cpuTime=60.77 mem=56M765 62.01 62.01 solver LocalSearchSolver being built... 62.04 => wckTime=61.685 cpuTime=60.82 mem=48M248 62.12 62.12 s SATISFIABLE 62.12 o 11954 62.12 c 3078 62.16 o 11963 62.16 c 3069 62.19 o 11973 62.19 c 3059 62.21 o 11979 62.21 c 3053 62.22 o 11985 62.22 c 3047 62.25 o 11995 62.25 c 3037 62.28 o 12003 62.28 c 3029 62.30 o 12009 62.30 c 3023 62.32 o 12013 62.32 c 3019 62.35 o 12020 62.35 c 3012 62.37 o 12027 62.37 c 3005 62.40 o 12034 62.40 c 2998 62.44 o 12040 62.44 c 2992 62.46 o 12044 62.46 c 2988 62.50 o 12048 62.50 c 2984 62.52 o 12059 62.52 c 2973 62.54 o 12062 62.54 c 2970 62.56 o 12065 62.56 c 2967 62.58 o 12066 62.58 c 2966 62.62 o 12069 62.62 c 2963 62.64 o 12078 62.64 c 2954 62.67 o 12086 62.67 c 2946 62.70 o 12094 62.70 c 2938 62.72 o 12101 62.72 c 2931 62.75 o 12106 62.75 c 2926 62.77 o 12111 62.77 c 2921 62.80 o 12116 62.80 c 2916 62.82 o 12120 62.82 c 2912 62.85 o 12124 62.85 c 2908 62.87 o 12127 62.87 c 2905 62.90 o 12131 62.90 c 2901 62.92 o 12133 62.92 c 2899 62.94 o 12135 62.94 c 2897 62.96 o 12139 62.96 c 2893 62.98 o 12141 62.98 c 2891 63.02 o 12145 63.02 c 2887 63.04 o 12147 63.04 c 2885 63.08 o 12153 63.08 c 2879 63.11 o 12161 63.11 c 2871 63.14 o 12166 63.14 c 2866 63.16 o 12167 63.16 c 2865 63.19 o 12171 63.19 c 2861 63.20 o 12173 63.20 c 2859 63.23 o 12179 63.23 c 2853 63.26 o 12186 63.26 c 2846 63.29 o 12193 63.29 c 2839 63.32 o 12200 63.32 c 2832 63.35 o 12206 63.35 c 2826 63.41 o 12212 63.41 c 2820 63.44 o 12218 63.44 c 2814 63.46 o 12224 63.46 c 2808 63.49 o 12229 63.49 c 2803 63.52 o 12234 63.52 c 2798 63.54 o 12238 63.54 c 2794 63.57 o 12242 63.57 c 2790 63.59 o 12245 63.59 c 2787 63.62 o 12247 63.62 c 2785 63.65 o 12249 63.65 c 2783 63.67 o 12250 63.67 c 2782 63.70 o 12251 63.70 c 2781 63.72 o 12254 63.72 c 2778 63.82 o 12256 63.82 c 2776 63.84 o 12261 63.84 c 2771 63.85 o 12265 63.85 c 2767 63.87 o 12272 63.87 c 2760 63.89 o 12280 63.89 c 2752 63.92 o 12282 63.92 c 2750 63.94 o 12288 63.94 c 2744 63.96 o 12290 63.96 c 2742 63.98 o 12298 63.98 c 2734 64.02 o 12301 64.02 c 2731 64.05 o 12307 64.05 c 2725 64.08 o 12313 64.08 c 2719 64.12 o 12319 64.12 c 2713 64.16 o 12325 64.16 c 2707 64.19 o 12331 64.19 c 2701 64.23 o 12335 64.23 c 2697 64.26 o 12339 64.26 c 2693 64.30 o 12343 64.30 c 2689 64.33 o 12346 64.33 c 2686 64.36 o 12349 64.36 c 2683 64.39 o 12352 64.39 c 2680 64.42 o 12355 64.42 c 2677 64.45 o 12358 64.45 c 2674 64.48 o 12361 64.48 c 2671 64.51 o 12363 64.51 c 2669 64.53 o 12365 64.53 c 2667 64.56 o 12367 64.56 c 2665 64.58 o 12369 64.58 c 2663 64.60 o 12371 64.60 c 2661 64.62 o 12373 64.62 c 2659 64.65 o 12375 64.65 c 2657 64.67 o 12381 64.67 c 2651 64.69 o 12383 64.69 c 2649 64.70 o 12384 64.70 c 2648 64.72 o 12390 64.72 c 2642 64.74 o 12394 64.74 c 2638 64.77 o 12398 64.77 c 2634 64.79 o 12400 64.79 c 2632 64.81 o 12405 64.81 c 2627 64.82 o 12409 64.82 c 2623 64.83 o 12411 64.83 c 2621 64.84 o 12412 64.84 c 2620 64.86 o 12415 64.86 c 2617 64.88 o 12421 64.88 c 2611 64.89 o 12428 64.89 c 2604 64.92 o 12433 64.92 c 2599 64.93 o 12434 64.93 c 2598 64.95 o 12440 64.95 c 2592 64.98 o 12442 64.98 c 2590 65.03 o 12443 65.03 c 2589 65.05 o 12444 65.05 c 2588 65.07 o 12448 65.07 c 2584 65.11 o 12450 65.11 c 2582 65.14 o 12452 65.14 c 2580 65.17 o 12457 65.17 c 2575 65.20 o 12461 65.20 c 2571 65.23 o 12466 65.23 c 2566 65.27 o 12471 65.27 c 2561 65.31 o 12474 65.31 c 2558 65.34 o 12477 65.34 c 2555 65.37 o 12480 65.37 c 2552 65.39 o 12483 65.39 c 2549 65.42 o 12485 65.42 c 2547 65.45 o 12488 65.45 c 2544 65.48 o 12490 65.48 c 2542 65.50 o 12491 65.50 c 2541 65.53 o 12492 65.53 c 2540 65.56 o 12493 65.56 c 2539 65.68 o 12499 65.68 c 2533 65.70 o 12500 65.70 c 2532 65.72 o 12503 65.72 c 2529 65.73 o 12505 65.73 c 2527 65.76 o 12509 65.76 c 2523 65.78 o 12511 65.78 c 2521 65.80 o 12512 65.80 c 2520 65.83 o 12515 65.83 c 2517 65.85 o 12516 65.85 c 2516 65.92 o 12518 65.92 c 2514 65.95 o 12524 65.95 c 2508 65.98 o 12526 65.98 c 2506 66.01 o 12527 66.01 c 2505 66.04 o 12531 66.04 c 2501 66.07 o 12532 66.07 c 2500 66.11 o 12534 66.11 c 2498 66.14 o 12539 66.14 c 2493 66.16 o 12542 66.16 c 2490 66.20 o 12547 66.20 c 2485 66.23 o 12552 66.23 c 2480 66.26 o 12553 66.26 c 2479 66.29 o 12556 66.29 c 2476 66.31 o 12559 66.31 c 2473 66.34 o 12562 66.34 c 2470 66.40 o 12565 66.40 c 2467 66.43 o 12570 66.43 c 2462 66.46 o 12573 66.46 c 2459 66.49 o 12577 66.49 c 2455 66.51 o 12584 66.51 c 2448 66.53 o 12590 66.53 c 2442 66.56 o 12591 66.56 c 2441 66.59 o 12597 66.59 c 2435 66.63 o 12602 66.63 c 2430 66.66 o 12607 66.66 c 2425 66.70 o 12610 66.70 c 2422 66.74 o 12611 66.74 c 2421 66.77 o 12613 66.77 c 2419 66.79 o 12614 66.79 c 2418 66.81 o 12617 66.81 c 2415 66.84 o 12622 66.84 c 2410 66.90 o 12625 66.90 c 2407 66.93 o 12629 66.93 c 2403 66.96 o 12631 66.96 c 2401 66.98 o 12634 66.99 c 2398 67.01 o 12635 67.01 c 2397 67.04 o 12636 67.04 c 2396 67.06 o 12637 67.06 c 2395 67.12 o 12638 67.12 c 2394 67.14 o 12641 67.14 c 2391 67.18 o 12644 67.18 c 2388 67.20 o 12645 67.20 c 2387 67.23 o 12649 67.23 c 2383 67.27 o 12651 67.27 c 2381 67.31 o 12654 67.31 c 2378 67.36 o 12657 67.36 c 2375 67.40 o 12658 67.40 c 2374 67.44 o 12664 67.44 c 2368 67.48 o 12667 67.48 c 2365 67.57 o 12670 67.57 c 2362 67.73 o 12672 67.73 c 2360 67.77 o 12673 67.77 c 2359 67.81 o 12678 67.81 c 2354 67.84 o 12680 67.84 c 2352 67.88 o 12683 67.88 c 2349 67.92 o 12687 67.92 c 2345 67.95 o 12691 67.95 c 2341 68.00 o 12700 68.00 c 2332 68.03 o 12702 68.03 c 2330 68.07 o 12703 68.07 c 2329 68.12 o 12705 68.12 c 2327 68.16 o 12706 68.16 c 2326 68.20 o 12708 68.20 c 2324 68.24 o 12710 68.24 c 2322 68.28 o 12711 68.28 c 2321 68.32 o 12712 68.32 c 2320 68.40 o 12714 68.40 c 2318 68.47 o 12716 68.47 c 2316 68.51 o 12718 68.51 c 2314 68.55 o 12719 68.55 c 2313 68.58 o 12721 68.58 c 2311 68.62 o 12726 68.62 c 2306 68.65 o 12730 68.65 c 2302 68.69 o 12732 68.69 c 2300 68.73 o 12735 68.73 c 2297 68.77 o 12737 68.77 c 2295 68.87 o 12741 68.87 c 2291 68.90 o 12744 68.90 c 2288 68.92 o 12746 68.92 c 2286 68.94 o 12748 68.94 c 2284 68.97 o 12749 68.97 c 2283 68.99 o 12750 68.99 c 2282 69.02 o 12753 69.02 c 2279 69.05 o 12758 69.05 c 2274 69.08 o 12762 69.08 c 2270 69.11 o 12765 69.11 c 2267 69.15 o 12767 69.15 c 2265 69.18 o 12768 69.18 c 2264 69.22 o 12769 69.22 c 2263 69.27 o 12772 69.27 c 2260 69.48 o 12776 69.48 c 2256 69.50 o 12781 69.50 c 2251 69.52 o 12784 69.52 c 2248 69.53 o 12789 69.53 c 2243 69.55 o 12792 69.55 c 2240 69.58 o 12794 69.58 c 2238 69.60 o 12798 69.60 c 2234 69.63 o 12803 69.63 c 2229 69.67 o 12805 69.67 c 2227 69.70 o 12814 69.70 c 2218 69.72 o 12821 69.72 c 2211 69.75 o 12822 69.75 c 2210 69.79 o 12826 69.79 c 2206 69.82 o 12827 69.82 c 2205 69.87 o 12830 69.87 c 2202 69.90 o 12833 69.90 c 2199 69.92 o 12834 69.92 c 2198 70.01 o 12837 70.01 c 2195 70.04 o 12840 70.04 c 2192 70.08 o 12843 70.08 c 2189 70.12 o 12845 70.12 c 2187 70.15 o 12846 70.15 c 2186 70.17 o 12850 70.17 c 2182 70.19 o 12853 70.19 c 2179 70.22 o 12859 70.22 c 2173 70.24 o 12865 70.24 c 2167 70.26 o 12869 70.26 c 2163 70.29 o 12871 70.29 c 2161 70.30 o 12873 70.30 c 2159 70.33 o 12875 70.33 c 2157 70.36 o 12879 70.36 c 2153 70.42 o 12882 70.42 c 2150 70.44 o 12886 70.44 c 2146 70.47 o 12891 70.47 c 2141 70.49 o 12892 70.49 c 2140 70.51 o 12898 70.51 c 2134 70.53 o 12902 70.53 c 2130 70.55 o 12904 70.55 c 2128 70.58 o 12907 70.58 c 2125 70.60 o 12910 70.60 c 2122 70.62 o 12911 70.62 c 2121 70.66 o 12913 70.66 c 2119 70.69 o 12914 70.69 c 2118 70.79 o 12915 70.79 c 2117 70.81 o 12919 70.81 c 2113 70.83 o 12924 70.83 c 2108 70.86 o 12928 70.86 c 2104 70.88 o 12931 70.88 c 2101 70.91 o 12934 70.91 c 2098 70.94 o 12935 70.94 c 2097 71.01 o 12937 71.01 c 2095 71.04 o 12938 71.04 c 2094 71.07 o 12939 71.07 c 2093 71.15 o 12940 71.15 c 2092 71.18 o 12944 71.18 c 2088 71.21 o 12946 71.21 c 2086 71.25 o 12950 71.25 c 2082 71.28 o 12955 71.28 c 2077 71.32 o 12959 71.32 c 2073 71.37 o 12962 71.37 c 2070 71.41 o 12964 71.41 c 2068 71.45 o 12970 71.45 c 2062 71.53 o 12972 71.53 c 2060 71.58 o 12974 71.58 c 2058 71.62 o 12975 71.62 c 2057 71.66 o 12977 71.66 c 2055 71.78 o 12979 71.78 c 2053 71.81 o 12983 71.82 c 2049 71.86 o 12986 71.86 c 2046 71.94 o 12988 71.94 c 2044 71.97 o 12991 71.97 c 2041 72.02 o 12993 72.02 c 2039 72.06 o 12998 72.06 c 2034 72.10 o 13003 72.10 c 2029 72.15 o 13005 72.15 c 2027 72.19 o 13007 72.19 c 2025 72.24 o 13010 72.24 c 2022 72.34 o 13011 72.34 c 2021 72.38 o 13015 72.38 c 2017 72.42 o 13017 72.42 c 2015 72.46 o 13019 72.46 c 2013 72.49 o 13021 72.49 c 2011 72.52 o 13023 72.52 c 2009 72.56 o 13024 72.56 c 2008 72.63 o 13026 72.63 c 2006 72.67 o 13032 72.67 c 2000 72.71 o 13037 72.71 c 1995 72.80 o 13039 72.80 c 1993 72.84 o 13042 72.84 c 1990 72.88 o 13044 72.88 c 1988 72.91 o 13046 72.91 c 1986 72.96 o 13050 72.96 c 1982 73.04 o 13051 73.04 c 1981 73.07 o 13054 73.07 c 1978 73.11 o 13057 73.11 c 1975 73.17 o 13058 73.17 c 1974 73.20 o 13059 73.20 c 1973 73.24 o 13061 73.24 c 1971 73.30 o 13064 73.30 c 1968 73.33 o 13068 73.33 c 1964 73.37 o 13069 73.37 c 1963 73.42 o 13072 73.42 c 1960 73.51 o 13073 73.51 c 1959 73.55 o 13076 73.56 c 1956 73.69 o 13080 73.69 c 1952 73.73 o 13081 73.73 c 1951 73.77 o 13082 73.77 c 1950 73.82 o 13083 73.82 c 1949 73.86 o 13086 73.86 c 1946 73.96 o 13087 73.96 c 1945 74.01 o 13088 74.01 c 1944 74.06 o 13091 74.06 c 1941 74.11 o 13095 74.11 c 1937 74.16 o 13097 74.16 c 1935 74.20 o 13101 74.20 c 1931 74.26 o 13103 74.26 c 1929 74.30 o 13108 74.30 c 1924 74.34 o 13112 74.35 c 1920 74.39 o 13116 74.39 c 1916 74.44 o 13118 74.44 c 1914 74.54 o 13120 74.54 c 1912 74.59 o 13123 74.59 c 1909 74.65 o 13125 74.65 c 1907 74.70 o 13127 74.70 c 1905 74.75 o 13128 74.75 c 1904 74.81 o 13132 74.81 c 1900 74.87 o 13133 74.87 c 1899 74.93 o 13134 74.93 c 1898 74.97 o 13137 74.97 c 1895 75.03 o 13141 75.03 c 1891 75.08 o 13142 75.08 c 1890 75.15 o 13148 75.15 c 1884 75.21 o 13150 75.21 c 1882 75.26 o 13153 75.26 c 1879 75.39 o 13156 75.39 c 1876 75.45 o 13157 75.45 c 1875 75.55 o 13162 75.55 c 1870 75.61 o 13163 75.61 c 1869 75.66 o 13164 75.66 c 1868 75.72 o 13168 75.72 c 1864 75.86 o 13171 75.86 c 1861 75.90 o 13173 75.90 c 1859 75.96 o 13181 75.96 c 1851 76.00 o 13184 76.00 c 1848 76.05 o 13186 76.05 c 1846 76.15 o 13188 76.15 c 1844 76.28 o 13192 76.28 c 1840 76.33 o 13193 76.33 c 1839 76.38 o 13195 76.38 c 1837 76.42 o 13197 76.42 c 1835 76.49 o 13202 76.49 c 1830 76.68 o 13205 76.68 c 1827 76.90 o 13206 76.90 c 1826 76.94 o 13207 76.94 c 1825 77.09 o 13210 77.09 c 1822 77.14 o 13211 77.14 c 1821 77.18 o 13217 77.18 c 1815 77.23 o 13218 77.23 c 1814 77.28 o 13220 77.28 c 1812 77.34 o 13223 77.34 c 1809 77.41 o 13224 77.41 c 1808 77.46 o 13227 77.46 c 1805 77.52 o 13232 77.52 c 1800 77.58 o 13235 77.58 c 1797 77.63 o 13240 77.63 c 1792 77.69 o 13242 77.69 c 1790 77.74 o 13243 77.74 c 1789 77.80 o 13244 77.80 c 1788 77.98 o 13245 77.98 c 1787 78.04 o 13248 78.04 c 1784 78.09 o 13251 78.09 c 1781 78.20 o 13254 78.20 c 1778 78.46 o 13258 78.46 c 1774 78.51 o 13263 78.51 c 1769 78.56 o 13264 78.56 c 1768 78.63 o 13267 78.63 c 1765 78.68 o 13272 78.68 c 1760 78.75 o 13276 78.75 c 1756 78.81 o 13277 78.81 c 1755 78.87 o 13281 78.87 c 1751 78.93 o 13283 78.93 c 1749 78.98 o 13285 78.98 c 1747 79.15 o 13286 79.15 c 1746 79.20 o 13287 79.20 c 1745 79.37 o 13289 79.37 c 1743 79.48 o 13291 79.48 c 1741 79.66 o 13296 79.66 c 1736 79.72 o 13298 79.72 c 1734 79.79 o 13299 79.79 c 1733 79.84 o 13301 79.84 c 1731 79.90 o 13303 79.90 c 1729 79.96 o 13305 79.96 c 1727 80.01 o 13308 80.01 c 1724 80.07 o 13309 80.07 c 1723 80.13 o 13313 80.13 c 1719 80.25 o 13317 80.25 c 1715 80.30 o 13318 80.30 c 1714 80.35 o 13319 80.35 c 1713 80.41 o 13322 80.41 c 1710 80.46 o 13326 80.46 c 1706 80.50 o 13327 80.50 c 1705 80.55 o 13328 80.55 c 1704 80.59 o 13330 80.59 c 1702 80.67 o 13331 80.67 c 1701 80.72 o 13332 80.72 c 1700 80.76 o 13334 80.76 c 1698 80.88 o 13336 80.88 c 1696 81.03 o 13338 81.03 c 1694 81.30 o 13340 81.30 c 1692 81.41 o 13341 81.41 c 1691 81.45 o 13342 81.45 c 1690 81.50 o 13344 81.50 c 1688 81.56 o 13348 81.56 c 1684 81.61 o 13351 81.61 c 1681 81.67 o 13352 81.67 c 1680 81.73 o 13355 81.73 c 1677 81.79 o 13356 81.79 c 1676 81.91 o 13358 81.91 c 1674 82.04 o 13361 82.04 c 1671 82.11 o 13365 82.11 c 1667 82.25 o 13369 82.25 c 1663 82.31 o 13371 82.31 c 1661 82.46 o 13372 82.46 c 1660 82.52 o 13374 82.52 c 1658 82.59 o 13377 82.59 c 1655 82.66 o 13384 82.66 c 1648 82.72 o 13386 82.72 c 1646 82.78 o 13389 82.78 c 1643 82.84 o 13391 82.84 c 1641 82.90 o 13395 82.90 c 1637 82.95 o 13397 82.95 c 1635 83.01 o 13398 83.01 c 1634 83.12 o 13400 83.12 c 1632 83.17 o 13402 83.17 c 1630 83.24 o 13403 83.24 c 1629 83.29 o 13404 83.29 c 1628 83.56 o 13407 83.56 c 1625 83.62 o 13408 83.62 c 1624 83.69 o 13410 83.69 c 1622 83.83 o 13412 83.83 c 1620 83.91 o 13414 83.91 c 1618 83.98 o 13415 83.98 c 1617 84.05 o 13418 84.05 c 1614 84.13 o 13420 84.13 c 1612 84.20 o 13421 84.20 c 1611 84.27 o 13422 84.27 c 1610 84.34 o 13424 84.34 c 1608 84.55 o 13426 84.55 c 1606 84.64 o 13427 84.64 c 1605 84.72 o 13428 84.72 c 1604 84.79 o 13429 84.79 c 1603 84.87 o 13433 84.87 c 1599 84.95 o 13434 84.95 c 1598 85.01 o 13435 85.01 c 1597 85.16 o 13438 85.16 c 1594 85.24 o 13440 85.24 c 1592 85.46 o 13444 85.46 c 1588 85.61 o 13445 85.61 c 1587 85.76 o 13447 85.76 c 1585 85.82 o 13449 85.82 c 1583 85.94 o 13450 85.94 c 1582 86.00 o 13451 86.00 c 1581 86.35 o 13452 86.35 c 1580 86.41 o 13453 86.41 c 1579 86.48 o 13456 86.48 c 1576 86.65 o 13458 86.65 c 1574 86.72 o 13466 86.72 c 1566 86.87 o 13468 86.87 c 1564 87.06 o 13470 87.06 c 1562 87.12 o 13472 87.12 c 1560 87.18 o 13476 87.18 c 1556 87.25 o 13480 87.26 c 1552 87.33 o 13481 87.33 c 1551 87.40 o 13483 87.40 c 1549 87.47 o 13485 87.47 c 1547 87.54 o 13487 87.54 c 1545 87.61 o 13489 87.61 c 1543 87.68 o 13493 87.68 c 1539 87.75 o 13496 87.75 c 1536 87.83 o 13501 87.83 c 1531 87.91 o 13505 87.91 c 1527 88.37 o 13506 88.37 c 1526 88.44 o 13510 88.44 c 1522 88.65 o 13512 88.65 c 1520 88.78 o 13513 88.78 c 1519 88.93 o 13516 88.93 c 1516 89.07 o 13518 89.07 c 1514 89.13 o 13520 89.13 c 1512 89.20 o 13522 89.20 c 1510 89.34 o 13524 89.34 c 1508 89.48 o 13526 89.48 c 1506 89.55 o 13529 89.55 c 1503 89.70 o 13532 89.70 c 1500 89.77 o 13535 89.77 c 1497 89.84 o 13540 89.84 c 1492 89.89 o 13541 89.89 c 1491 89.96 o 13543 89.96 c 1489 90.71 o 13544 90.71 c 1488 90.85 o 13545 90.85 c 1487 90.92 o 13546 90.92 c 1486 90.98 o 13549 90.98 c 1483 91.04 o 13553 91.04 c 1479 91.30 o 13556 91.30 c 1476 91.37 o 13563 91.37 c 1469 91.50 o 13564 91.51 c 1468 91.64 o 13565 91.64 c 1467 91.86 o 13568 91.86 c 1464 92.00 o 13569 92.00 c 1463 92.15 o 13570 92.15 c 1462 92.38 o 13574 92.38 c 1458 92.45 o 13578 92.45 c 1454 92.61 o 13581 92.61 c 1451 93.18 o 13584 93.18 c 1448 93.23 o 13586 93.23 c 1446 93.34 o 13587 93.34 c 1445 93.42 o 13589 93.42 c 1443 93.47 o 13591 93.47 c 1441 93.60 o 13592 93.60 c 1440 93.66 o 13596 93.66 c 1436 93.73 o 13598 93.73 c 1434 93.80 o 13599 93.80 c 1433 93.86 o 13600 93.86 c 1432 93.94 o 13601 93.94 c 1431 94.01 o 13602 94.01 c 1430 94.08 o 13606 94.08 c 1426 94.15 o 13607 94.15 c 1425 94.22 o 13609 94.22 c 1423 94.36 o 13611 94.36 c 1421 94.80 o 13613 94.80 c 1419 94.89 o 13614 94.89 c 1418 94.96 o 13617 94.96 c 1415 95.03 o 13621 95.03 c 1411 95.09 o 13624 95.09 c 1408 95.16 o 13625 95.16 c 1407 95.22 o 13630 95.22 c 1402 95.32 o 13631 95.32 c 1401 95.47 o 13632 95.47 c 1400 96.42 o 13635 96.42 c 1397 96.47 o 13638 96.47 c 1394 96.70 o 13639 96.70 c 1393 96.79 o 13640 96.79 c 1392 96.88 o 13642 96.88 c 1390 96.96 o 13643 96.96 c 1389 97.13 o 13644 97.13 c 1388 97.38 o 13646 97.38 c 1386 97.46 o 13647 97.46 c 1385 97.56 o 13651 97.56 c 1381 97.64 o 13654 97.64 c 1378 97.82 o 13657 97.82 c 1375 98.28 o 13661 98.28 c 1371 98.45 o 13662 98.45 c 1370 98.63 o 13663 98.63 c 1369 98.82 o 13664 98.82 c 1368 98.91 o 13665 98.91 c 1367 99.00 o 13668 99.00 c 1364 99.19 o 13671 99.19 c 1361 99.38 o 13673 99.38 c 1359 99.55 o 13675 99.55 c 1357 99.64 o 13678 99.64 c 1354 99.82 o 13681 99.82 c 1351 99.91 o 13685 99.91 c 1347 100.00 o 13687 100.00 c 1345 100.09 o 13689 100.09 c 1343 100.25 o 13693 100.25 c 1339 100.33 o 13694 100.33 c 1338 100.42 o 13697 100.42 c 1335 100.59 o 13699 100.59 c 1333 100.67 o 13701 100.67 c 1331 100.75 o 13702 100.75 c 1330 101.07 o 13706 101.07 c 1326 101.57 o 13707 101.57 c 1325 101.65 o 13709 101.65 c 1323 101.75 o 13710 101.75 c 1322 101.83 o 13711 101.83 c 1321 101.92 o 13713 101.92 c 1319 102.01 o 13715 102.01 c 1317 102.11 o 13717 102.11 c 1315 102.22 o 13719 102.22 c 1313 102.31 o 13720 102.31 c 1312 102.49 o 13721 102.49 c 1311 102.58 o 13722 102.58 c 1310 102.67 o 13723 102.67 c 1309 102.76 o 13724 102.76 c 1308 102.85 o 13729 102.85 c 1303 103.36 o 13732 103.36 c 1300 103.45 o 13733 103.45 c 1299 103.72 o 13736 103.72 c 1296 103.81 o 13739 103.81 c 1293 104.08 o 13740 104.08 c 1292 104.37 o 13741 104.38 c 1291 104.50 o 13744 104.50 c 1288 104.58 o 13745 104.58 c 1287 104.67 o 13746 104.67 c 1286 104.76 o 13749 104.76 c 1283 104.93 o 13753 104.93 c 1279 105.05 o 13754 105.05 c 1278 105.14 o 13755 105.14 c 1277 105.21 o 13756 105.21 c 1276 105.29 o 13757 105.29 c 1275 105.37 o 13758 105.37 c 1274 105.44 o 13759 105.44 c 1273 105.52 o 13761 105.52 c 1271 105.68 o 13766 105.68 c 1266 105.76 o 13767 105.76 c 1265 105.90 o 13769 105.90 c 1263 105.98 o 13771 105.98 c 1261 106.06 o 13774 106.06 c 1258 106.14 o 13776 106.14 c 1256 106.35 o 13777 106.35 c 1255 106.43 o 13780 106.43 c 1252 106.58 o 13781 106.58 c 1251 106.64 o 13783 106.64 c 1249 106.71 o 13784 106.71 c 1248 106.94 o 13786 106.94 c 1246 106.99 o 13788 106.99 c 1244 107.16 o 13793 107.16 c 1239 107.24 o 13795 107.24 c 1237 107.33 o 13799 107.33 c 1233 107.41 o 13802 107.41 c 1230 107.50 o 13804 107.50 c 1228 107.97 o 13805 107.97 c 1227 108.22 o 13806 108.22 c 1226 108.30 o 13809 108.30 c 1223 108.41 o 13812 108.41 c 1220 108.49 o 13813 108.49 c 1219 108.60 o 13816 108.60 c 1216 109.34 o 13817 109.34 c 1215 109.44 o 13818 109.44 c 1214 109.64 o 13819 109.64 c 1213 109.71 o 13821 109.71 c 1211 109.81 o 13823 109.81 c 1209 110.89 o 13824 110.89 c 1208 110.97 o 13826 110.97 c 1206 111.06 o 13830 111.06 c 1202 111.27 o 13832 111.27 c 1200 111.98 o 13833 111.98 c 1199 112.08 o 13835 112.08 c 1197 112.19 o 13837 112.19 c 1195 112.30 o 13840 112.30 c 1192 112.59 o 13841 112.59 c 1191 112.79 o 13843 112.79 c 1189 113.20 o 13844 113.20 c 1188 113.30 o 13845 113.30 c 1187 113.41 o 13846 113.41 c 1186 113.52 o 13848 113.52 c 1184 113.64 o 13852 113.64 c 1180 114.21 o 13854 114.21 c 1178 114.32 o 13857 114.32 c 1175 114.43 o 13858 114.43 c 1174 114.55 o 13861 114.55 c 1171 114.68 o 13863 114.68 c 1169 114.92 o 13866 114.92 c 1166 115.05 o 13868 115.05 c 1164 115.29 o 13870 115.29 c 1162 115.41 o 13875 115.41 c 1157 115.54 o 13876 115.54 c 1156 115.82 o 13878 115.82 c 1154 116.49 o 13881 116.49 c 1151 116.74 o 13883 116.74 c 1149 116.88 o 13885 116.88 c 1147 118.54 o 13886 118.54 c 1146 118.80 o 13888 118.80 c 1144 118.90 o 13890 118.90 c 1142 119.02 o 13891 119.02 c 1141 119.26 o 13896 119.26 c 1136 119.62 o 13897 119.62 c 1135 119.74 o 13898 119.74 c 1134 120.07 o 13899 120.07 c 1133 120.18 o 13901 120.18 c 1131 120.52 o 13903 120.52 c 1129 120.62 o 13905 120.62 c 1127 120.73 o 13908 120.73 c 1124 121.23 o 13909 121.23 c 1123 121.35 o 13911 121.35 c 1121 121.40 o 13913 121.40 c 1119 122.40 o 13915 122.40 c 1117 122.68 o 13917 122.68 c 1115 124.49 o 13921 124.49 c 1111 124.63 o 13922 124.63 c 1110 124.72 o 13924 124.72 c 1108 124.85 o 13928 124.85 c 1104 124.94 o 13929 124.94 c 1103 125.20 o 13932 125.20 c 1100 125.95 o 13933 125.95 c 1099 126.72 o 13934 126.72 c 1098 126.87 o 13935 126.87 c 1097 127.00 o 13936 127.00 c 1096 127.13 o 13938 127.13 c 1094 127.27 o 13940 127.27 c 1092 127.41 o 13942 127.41 c 1090 128.71 o 13945 128.71 c 1087 128.80 o 13946 128.80 c 1086 128.92 o 13951 128.92 c 1081 129.04 o 13954 129.04 c 1078 129.18 o 13956 129.18 c 1076 129.31 o 13957 129.31 c 1075 129.44 o 13958 129.44 c 1074 129.72 o 13959 129.72 c 1073 130.00 o 13962 130.00 c 1070 130.10 o 13966 130.10 c 1066 130.24 o 13968 130.24 c 1064 130.38 o 13969 130.38 c 1063 130.50 o 13970 130.50 c 1062 130.65 o 13972 130.65 c 1060 132.60 o 13973 132.60 c 1059 133.34 o 13974 133.34 c 1058 133.49 o 13976 133.49 c 1056 133.64 o 13977 133.64 c 1055 133.78 o 13982 133.78 c 1050 134.03 o 13986 134.03 c 1046 134.06 o 13990 134.06 c 1042 134.19 o 13991 134.19 c 1041 134.82 o 13995 134.82 c 1037 135.59 o 13999 135.59 c 1033 136.43 o 14001 136.43 c 1031 136.89 o 14007 136.89 c 1025 137.01 o 14008 137.01 c 1024 137.14 o 14010 137.14 c 1022 137.26 o 14014 137.26 c 1018 137.71 o 14015 137.71 c 1017 137.82 o 14017 137.82 c 1015 138.16 o 14020 138.16 c 1012 138.59 o 14021 138.59 c 1011 138.70 o 14022 138.70 c 1010 138.82 o 14023 138.82 c 1009 138.95 o 14024 138.95 c 1008 139.08 o 14026 139.08 c 1006 139.21 o 14027 139.21 c 1005 139.33 o 14028 139.33 c 1004 139.44 o 14031 139.44 c 1001 140.85 o 14032 140.85 c 1000 140.97 o 14033 140.97 c 999 141.09 o 14034 141.09 c 998 141.47 o 14035 141.47 c 997 141.60 o 14037 141.60 c 995 142.26 o 14038 142.26 c 994 142.38 o 14040 142.38 c 992 147.33 o 14041 147.33 c 991 147.63 o 14043 147.63 c 989 147.78 o 14045 147.78 c 987 148.21 o 14048 148.21 c 984 148.35 o 14049 148.36 c 983 148.51 o 14050 148.51 c 982 148.81 o 14052 148.81 c 980 149.10 o 14053 149.10 c 979 149.40 o 14056 149.40 c 976 149.82 o 14057 149.82 c 975 149.97 o 14059 149.97 c 973 150.12 o 14062 150.12 c 970 150.28 o 14065 150.28 c 967 150.70 o 14066 150.70 c 966 151.01 o 14067 151.01 c 965 151.45 o 14068 151.45 c 964 151.61 o 14070 151.61 c 962 152.11 o 14075 152.11 c 957 153.22 o 14079 153.22 c 953 156.27 o 14081 156.27 c 951 156.76 o 14084 156.76 c 948 160.01 o 14088 160.01 c 944 160.58 o 14090 160.58 c 942 160.72 o 14092 160.72 c 940 161.17 o 14093 161.17 c 939 161.32 o 14095 161.32 c 937 161.46 o 14096 161.46 c 936 162.08 o 14097 162.08 c 935 162.24 o 14099 162.24 c 933 163.28 o 14102 163.28 c 930 164.59 o 14104 164.59 c 928 165.02 o 14106 165.02 c 926 165.46 o 14107 165.46 c 925 166.03 o 14108 166.03 c 924 166.10 o 14111 166.10 c 921 167.67 o 14113 167.67 c 919 167.79 o 14116 167.79 c 916 167.95 o 14117 167.95 c 915 169.13 o 14118 169.13 c 914 170.12 o 14119 170.12 c 913 170.27 o 14120 170.27 c 912 173.51 o 14122 173.51 c 910 173.68 o 14124 173.68 c 908 173.83 o 14126 173.83 c 906 173.99 o 14128 173.99 c 904 174.32 o 14129 174.32 c 903 174.44 o 14130 174.44 c 902 174.61 o 14131 174.61 c 901 175.91 o 14132 175.91 c 900 176.07 o 14134 176.07 c 898 176.23 o 14135 176.23 c 897 176.41 o 14138 176.41 c 894 176.57 o 14140 176.57 c 892 177.68 o 14142 177.68 c 890 178.02 o 14143 178.02 c 889 178.33 o 14144 178.33 c 888 179.24 o 14148 179.24 c 884 179.40 o 14151 179.40 c 881 180.20 o 14153 180.20 c 879 180.37 o 14156 180.37 c 876 180.69 o 14159 180.69 c 873 180.99 o 14160 180.99 c 872 181.30 o 14161 181.30 c 871 182.72 o 14166 182.72 c 866 185.53 o 14167 185.53 c 865 185.71 o 14169 185.71 c 863 185.89 o 14171 185.89 c 861 186.08 o 14172 186.08 c 860 186.27 o 14173 186.27 c 859 186.47 o 14174 186.47 c 858 187.17 o 14175 187.17 c 857 187.36 o 14176 187.36 c 856 188.71 o 14177 188.71 c 855 189.23 o 14178 189.23 c 854 191.87 o 14179 191.87 c 853 192.43 o 14181 192.43 c 851 192.60 o 14182 192.60 c 850 192.77 o 14186 192.77 c 846 192.96 o 14188 192.96 c 844 193.34 o 14189 193.34 c 843 193.51 o 14191 193.51 c 841 195.88 o 14193 195.88 c 839 196.24 o 14196 196.24 c 836 197.76 o 14197 197.76 c 835 199.36 o 14198 199.36 c 834 200.13 o 14200 200.13 c 832 200.98 o 14202 200.98 c 830 201.31 o 14204 201.31 c 828 201.63 o 14207 201.63 c 825 201.80 o 14209 201.80 c 823 201.94 o 14212 201.94 c 820 202.26 o 14213 202.26 c 819 202.41 o 14215 202.41 c 817 202.56 o 14216 202.56 c 816 203.49 o 14219 203.49 c 813 203.66 o 14220 203.66 c 812 203.82 o 14222 203.82 c 810 203.99 o 14224 203.99 c 808 207.20 o 14225 207.20 c 807 207.88 o 14228 207.88 c 804 208.06 o 14229 208.06 c 803 208.26 o 14231 208.26 c 801 211.35 o 14232 211.35 c 800 211.96 o 14233 211.96 c 799 212.56 o 14234 212.56 c 798 212.77 o 14236 212.77 c 796 212.98 o 14237 212.98 c 795 213.39 o 14238 213.39 c 794 213.82 o 14240 213.82 c 792 213.89 o 14241 213.89 c 791 214.28 o 14245 214.28 c 787 214.65 o 14247 214.65 c 785 215.54 o 14248 215.54 c 784 215.72 o 14249 215.72 c 783 215.90 o 14250 215.90 c 782 216.74 o 14254 216.74 c 778 217.08 o 14256 217.08 c 776 217.60 o 14262 217.60 c 770 217.99 o 14263 217.99 c 769 218.02 o 14265 218.02 c 767 218.19 o 14266 218.19 c 766 218.35 o 14267 218.35 c 765 218.50 o 14268 218.50 c 764 218.66 o 14270 218.66 c 762 219.13 o 14271 219.13 c 761 219.62 o 14276 219.62 c 756 219.79 o 14277 219.79 c 755 220.23 o 14278 220.23 c 754 220.39 o 14280 220.39 c 752 221.03 o 14281 221.03 c 751 221.53 o 14282 221.53 c 750 221.68 o 14284 221.68 c 748 221.85 o 14286 221.85 c 746 222.01 o 14287 222.01 c 745 224.41 o 14289 224.41 c 743 224.78 o 14291 224.78 c 741 224.85 o 14293 224.85 c 739 225.01 o 14297 225.01 c 735 225.38 o 14301 225.38 c 731 225.91 o 14302 225.91 c 730 227.38 o 14303 227.38 c 729 227.53 o 14304 227.53 c 728 227.64 o 14305 227.64 c 727 227.81 o 14306 227.81 c 726 227.99 o 14308 227.99 c 724 228.28 o 14312 228.28 c 720 228.41 o 14313 228.41 c 719 228.54 o 14316 228.54 c 716 228.71 o 14318 228.71 c 714 228.86 o 14319 228.86 c 713 229.83 o 14320 229.83 c 712 233.58 o 14323 233.58 c 709 233.74 o 14325 233.74 c 707 234.42 o 14326 234.42 c 706 234.59 o 14327 234.59 c 705 236.79 o 14328 236.79 c 704 237.36 o 14329 237.36 c 703 237.54 o 14331 237.54 c 701 237.67 o 14332 237.67 c 700 237.70 o 14333 237.70 c 699 237.87 o 14335 237.87 c 697 238.22 o 14336 238.22 c 696 238.39 o 14337 238.39 c 695 238.90 o 14339 238.90 c 693 239.09 o 14341 239.09 c 691 239.26 o 14342 239.26 c 690 239.61 o 14343 239.61 c 689 239.79 o 14344 239.79 c 688 240.31 o 14345 240.31 c 687 240.48 o 14347 240.48 c 685 240.66 o 14350 240.66 c 682 240.85 o 14351 240.85 c 681 241.43 o 14352 241.43 c 680 241.62 o 14353 241.62 c 679 245.33 o 14354 245.33 c 678 245.93 o 14355 245.93 c 677 246.33 o 14357 246.33 c 675 246.91 o 14359 246.91 c 673 247.10 o 14361 247.10 c 671 247.31 o 14362 247.31 c 670 247.52 o 14363 247.52 c 669 247.65 o 14368 247.65 c 664 247.85 o 14372 247.85 c 660 249.56 o 14373 249.56 c 659 249.76 o 14374 249.76 c 658 250.16 o 14376 250.16 c 656 250.32 o 14377 250.32 c 655 250.50 o 14379 250.50 c 653 251.00 o 14381 251.00 c 651 251.20 o 14382 251.20 c 650 251.39 o 14383 251.39 c 649 251.58 o 14387 251.58 c 645 251.77 o 14388 251.77 c 644 254.23 o 14390 254.23 c 642 255.44 o 14391 255.44 c 641 257.23 o 14392 257.23 c 640 257.63 o 14393 257.63 c 639 257.81 o 14394 257.81 c 638 258.01 o 14398 258.01 c 634 258.71 o 14399 258.71 c 633 261.57 o 14400 261.57 c 632 261.60 o 14402 261.60 c 630 263.47 o 14404 263.47 c 628 263.56 o 14406 263.56 c 626 264.15 o 14407 264.15 c 625 264.31 o 14408 264.31 c 624 264.67 o 14409 264.67 c 623 272.36 o 14411 272.36 c 621 272.55 o 14412 272.55 c 620 274.18 o 14416 274.18 c 616 275.47 o 14417 275.47 c 615 275.67 o 14418 275.67 c 614 276.06 o 14419 276.06 c 613 276.96 o 14420 276.96 c 612 277.14 o 14422 277.14 c 610 288.58 o 14424 288.58 c 608 289.12 o 14426 289.12 c 606 289.48 o 14429 289.48 c 603 290.45 o 14431 290.45 c 601 290.88 o 14433 290.88 c 599 291.10 o 14435 291.10 c 597 291.30 o 14439 291.30 c 593 291.49 o 14440 291.50 c 592 291.71 o 14441 291.71 c 591 291.90 o 14443 291.90 c 589 292.50 o 14445 292.50 c 587 294.40 o 14448 294.40 c 584 294.61 o 14449 294.61 c 583 295.89 o 14450 295.89 c 582 296.34 o 14451 296.34 c 581 298.16 o 14453 298.16 c 579 299.40 o 14454 299.40 c 578 300.70 o 14455 300.70 c 577 300.80 o 14457 300.80 c 575 301.48 o 14460 301.48 c 572 301.91 o 14461 301.91 c 571 302.36 o 14463 302.36 c 569 306.78 o 14467 306.78 c 565 306.95 o 14468 306.95 c 564 307.07 o 14470 307.07 c 562 307.16 o 14473 307.16 c 559 307.39 o 14474 307.39 c 558 308.22 o 14476 308.22 c 556 308.45 o 14477 308.45 c 555 308.67 o 14479 308.67 c 553 308.89 o 14480 308.89 c 552 309.12 o 14481 309.12 c 551 316.17 o 14482 316.17 c 550 316.40 o 14483 316.40 c 549 320.10 o 14484 320.10 c 548 327.71 o 14485 327.71 c 547 327.93 o 14486 327.93 c 546 328.37 o 14488 328.37 c 544 329.40 o 14490 329.40 c 542 329.61 o 14493 329.61 c 539 329.83 o 14494 329.83 c 538 330.05 o 14495 330.05 c 537 330.71 o 14499 330.71 c 533 332.19 o 14501 332.19 c 531 339.04 o 14502 339.04 c 530 339.55 o 14503 339.55 c 529 340.06 o 14504 340.06 c 528 340.26 o 14505 340.26 c 527 340.76 o 14509 340.76 c 523 341.24 o 14510 341.24 c 522 345.49 o 14511 345.49 c 521 347.00 o 14512 347.00 c 520 347.24 o 14514 347.24 c 518 351.75 o 14516 351.75 c 516 354.07 o 14517 354.07 c 515 354.12 o 14518 354.12 c 514 354.76 o 14519 354.76 c 513 355.04 o 14521 355.04 c 511 356.49 o 14522 356.49 c 510 356.74 o 14523 356.74 c 509 357.73 o 14524 357.73 c 508 359.08 o 14527 359.08 c 505 359.78 o 14528 359.78 c 504 360.01 o 14530 360.01 c 502 360.46 o 14531 360.46 c 501 360.70 o 14532 360.70 c 500 360.96 o 14533 360.96 c 499 361.21 o 14534 361.21 c 498 361.37 o 14535 361.37 c 497 361.50 o 14536 361.50 c 496 361.68 o 14537 361.68 c 495 361.92 o 14538 361.92 c 494 362.17 o 14539 362.17 c 493 362.91 o 14540 362.91 c 492 363.15 o 14541 363.15 c 491 363.40 o 14542 363.40 c 490 363.64 o 14543 363.64 c 489 363.89 o 14544 363.89 c 488 364.14 o 14545 364.14 c 487 364.33 o 14546 364.33 c 486 364.52 o 14548 364.52 c 484 364.76 o 14549 364.76 c 483 365.00 o 14550 365.00 c 482 365.37 o 14551 365.37 c 481 365.61 o 14552 365.61 c 480 365.85 o 14553 365.85 c 479 366.09 o 14554 366.09 c 478 367.05 o 14555 367.05 c 477 372.57 o 14556 372.57 c 476 385.53 o 14557 385.53 c 475 386.21 o 14558 386.21 c 474 386.62 o 14561 386.62 c 471 386.85 o 14562 386.85 c 470 387.20 o 14563 387.20 c 469 396.13 o 14564 396.13 c 468 401.27 o 14566 401.27 c 466 401.49 o 14567 401.49 c 465 401.94 o 14568 401.94 c 464 402.16 o 14570 402.16 c 462 405.32 o 14572 405.32 c 460 409.38 o 14573 409.38 c 459 409.59 o 14578 409.59 c 454 413.62 o 14583 413.63 c 449 413.79 o 14587 413.79 c 445 418.89 o 14589 418.89 c 443 421.09 o 14590 421.09 c 442 442.43 o 14591 442.43 c 441 453.04 o 14592 453.04 c 440 453.59 o 14593 453.59 c 439 453.89 o 14594 453.89 c 438 454.18 o 14595 454.18 c 437 454.65 o 14596 454.65 c 436 456.59 o 14597 456.59 c 435 457.09 o 14598 457.09 c 434 457.37 o 14599 457.37 c 433 457.64 o 14600 457.64 c 432 457.88 o 14602 457.88 c 430 458.16 o 14603 458.16 c 429 458.44 o 14604 458.44 c 428 458.72 o 14605 458.72 c 427 459.00 o 14607 459.00 c 425 459.83 o 14608 459.83 c 424 460.95 o 14610 460.95 c 422 461.25 o 14612 461.25 c 420 461.53 o 14614 461.53 c 418 467.37 o 14618 467.37 c 414 468.35 o 14619 468.35 c 413 474.42 o 14624 474.42 c 408 474.61 o 14625 474.61 c 407 474.89 o 14628 474.89 c 404 476.81 o 14629 476.81 c 403 500.90 o 14630 500.90 c 402 517.31 o 14631 517.31 c 401 532.99 o 14632 532.99 c 400 544.29 o 14635 544.29 c 397 544.55 o 14636 544.55 c 396 545.09 o 14637 545.09 c 395 545.31 o 14638 545.31 c 394 548.57 o 14639 548.57 c 393 549.70 o 14642 549.70 c 390 551.30 o 14643 551.30 c 389 551.58 o 14644 551.58 c 388 553.18 o 14646 553.18 c 386 567.12 o 14647 567.12 c 385 571.87 o 14648 571.87 c 384 572.24 o 14649 572.24 c 383 575.20 o 14650 575.20 c 382 575.48 o 14651 575.48 c 381 575.76 o 14653 575.76 c 379 586.55 o 14654 586.55 c 378 587.05 o 14655 587.05 c 377 589.53 o 14656 589.53 c 376 589.94 o 14658 589.94 c 374 598.65 o 14663 598.65 c 369 601.18 o 14664 601.18 c 368 601.68 o 14665 601.68 c 367 601.94 o 14666 601.94 c 366 613.13 o 14667 613.13 c 365 615.11 o 14668 615.11 c 364 617.72 o 14670 617.72 c 362 618.01 o 14672 618.01 c 360 628.75 o 14673 628.75 c 359 628.99 o 14674 628.99 c 358 629.30 o 14675 629.30 c 357 629.61 o 14676 629.61 c 356 635.53 o 14677 635.53 c 355 635.68 o 14679 635.68 c 353 636.26 o 14682 636.26 c 350 636.54 o 14683 636.54 c 349 636.84 o 14687 636.84 c 345 637.45 o 14690 637.45 c 342 637.75 o 14691 637.75 c 341 639.54 o 14693 639.54 c 339 640.15 o 14697 640.15 c 335 650.32 o 14698 650.32 c 334 651.21 o 14699 651.21 c 333 652.53 o 14700 652.53 c 332 652.83 o 14702 652.83 c 330 653.12 o 14703 653.12 c 329 681.67 o 14704 681.67 c 328 681.92 o 14705 681.92 c 327 691.18 o 14706 691.18 c 326 691.99 o 14712 691.99 c 320 692.27 o 14713 692.27 c 319 692.37 o 14715 692.37 c 317 714.23 o 14717 714.23 c 315 718.42 o 14718 718.42 c 314 718.70 o 14719 718.70 c 313 719.28 o 14720 719.28 c 312 719.56 o 14721 719.56 c 311 744.16 o 14723 744.16 c 309 744.44 o 14724 744.44 c 308 746.64 o 14725 746.64 c 307 773.15 o 14727 773.15 c 305 773.45 o 14729 773.45 c 303 773.74 o 14730 773.74 c 302 774.04 o 14731 774.04 c 301 774.34 o 14732 774.34 c 300 774.94 o 14733 774.94 c 299 775.53 o 14734 775.53 c 298 777.45 o 14735 777.45 c 297 787.92 o 14736 787.92 c 296 788.21 o 14737 788.21 c 295 789.03 o 14738 789.03 c 294 790.20 o 14739 790.20 c 293 791.63 o 14741 791.63 c 291 793.53 o 14742 793.53 c 290 811.94 o 14743 811.94 c 289 830.60 o 14744 830.60 c 288 839.61 o 14745 839.61 c 287 839.91 o 14746 839.91 c 286 840.20 o 14747 840.20 c 285 842.62 o 14748 842.62 c 284 842.91 o 14749 842.91 c 283 850.69 o 14750 850.69 c 282 853.88 o 14751 853.88 c 281 854.19 o 14752 854.19 c 280 855.38 o 14754 855.38 c 278 885.62 885.62 search 885.62 run=0 nbConstraintChecks=2777845319 nbAssignments=4429 885.62 => wckTime=823.576 cpuTime=822.51 mem=49M257 885.62 885.62 global 885.62 nbConstraintChecks=2777845319 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 885.62 solvingWckTime=823.567 solvingCpuTime=822.5 expiredTime=no totalExploration=no nbFoundSolutions=0 885.62 globalCpuTime=883.37 885.62 => wckTime=885.261 cpuTime=883.33 mem=49M257 885.62 885.62 solver IterativeSystematicSolver being built... 886.09 => wckTime=885.729 cpuTime=883.61 mem=89M828 2001.63 2001.63 preprocessing 2001.63 nbConstraintChecks=1002865412 nbValidityChecks=6680001013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 2001.63 nbRemovedValues=0 detectedInconsistency=no 2001.63 => wckTime=1115.533 cpuTime=1114.28 mem=89M828 2402.87 v -2028 -2720 2020 -2036 2080 2684 -2072 -2368 2700 -2328 2060 2696 2064 -2472 -2640 -2728 -2208 2496 2504 2564 2032 -2036 2332 -2400 2360 2496 2468 -2548 2696 2548 -2024 2732 2508 2300 2700 2060 -2364 -2140 2344 2504 -2620 2472 -2124 -2552 -2080 -2492 -2100 -2196 -2212 2472 2328 2536 2288 -2248 -2540 -2704 2668 -2260 2684 2156 -2640 2740 -2048 -2632 2420 -2064 2064 2432 2688 -2060 -2272 -2188 2564 2740 2500 2468 -2500 2372 -2616 2332 2592 2088 -2572 2272 -2080 -2588 2148 -2504 2304 -2692 2180 -2648 2616 -2024 2080 -2556 2032 -2360 2524 -2060 -2132 2456 -2516 2348 -2636 -2548 2728 -2524 2740 -2320 -2724 2508 2488 2548 -2516 2064 -2536 -2196 -2724 2264 -2708 -2536 2160 -2680 -2140 -2152 -2536 2732 -2696 -2492 -2516 -2688 2368 -2340 -2116 2024 -2348 2724 2532 2740 -2660 -2100 -2276 2040 2252 -2152 2496 2652 -2608 -2336 -2224 2308 -2092 2600 -2020 2528 2364 2664 -2072 -2380 2556 2640 2616 2316 2432 2116 2124 2380 2628 -2728 2736 -2700 2308 2088 -2424 -2532 -2356 -2020 2448 -2636 2696 -2724 -2328 2364 -2484 2256 -2672 -2416 -2716 -2208 -2132 2428 -2144 -2076 -2376 2204 -2028 2076 2248 2508 -2548 2292 -2068 2660 2316 -2520 2612 2020 2720 2064 -2592 2464 -2024 -2508 2732 2708 -2348 2596 2356 -2364 -2164 2024 -2060 2436 2696 2736 2484 2472 2272 -2476 2608 -2680 -2628 -2376 2688 -2472 2320 2064 -2292 2308 2560 -2236 2072 -2692 2704 2548 -2576 2456 2220 -2144 2560 2068 -2148 2688 -2192 2020 2272 2656 -2356 2656 -2020 -2200 2128 2404 -2632 -2148 2412 -2512 2032 -2028 -2460 -2304 -2600 -2484 2136 2100 2580 -2024 2728 2728 2020 2464 -2180 -2048 2584 -2544 -2104 2716 -2688 -2096 2700 -2688 2280 2276 2080 -2388 -2720 2372 2532 2244 -2328 2136 2024 2676 -2648 -2296 2656 2520 2296 -2312 2712 -2080 2368 -2260 2416 -2504 2112 -2040 -2064 -2228 2368 2600 -2700 -2040 -2064 2376 -2496 -2656 -2380 -2696 2496 -2120 -2020 -2452 -2024 -2020 -2204 -2512 2244 2472 2156 2144 -2352 2580 -2104 -2584 2300 2672 -2636 2412 -2608 -2060 -2020 -2512 2496 2584 2696 2340 2396 2432 -2596 -2376 -2060 -2208 2324 2548 2020 2060 2700 -2524 2576 -2188 2044 -2244 -2624 -2560 -2612 -2624 -2416 -2120 -2048 -2020 -2604 2128 2156 2220 2216 2596 2020 2252 -2168 2740 2472 -2312 2372 -2228 2092 -2676 2324 -2252 -2568 -2724 -2136 -2580 -2124 2576 2456 2332 -2248 2692 -2236 -2636 -2736 2620 2692 2300 -2620 -2020 -2644 2692 2544 -2248 2596 -2568 2432 2020 -2376 2176 2516 -2348 2340 2732 2076 -2444 -2436 2740 2092 2228 -2068 -2388 -2052 -2060 -2088 -2656 -2672 -2184 2476 2556 -2636 2684 2060 2380 2688 2504 -2620 -2700 -2368 -2592 -2416 2680 2724 2308 -2296 -2072 2464 -2740 -2560 2324 2260 2064 2596 2060 2316 2312 2224 -2680 -2364 2540 2416 -2104 -2436 2708 2628 -2348 2460 2028 2732 2680 2532 -2252 2552 -2596 -2604 2420 2468 -2080 -2096 2708 2508 2468 -2376 2224 -2024 -2512 2728 2560 2064 -2256 -2408 -2088 -2476 -2296 2360 -2588 2524 2696 -2556 2036 2668 2720 -2724 2476 -2600 2156 -2412 2504 2300 2716 -2376 -2648 -2508 2360 -2028 2556 -2148 -2416 -2092 -2668 2560 -2304 2684 -2684 -2544 -2724 -2276 2432 -2620 2700 -2392 2680 -2060 2616 2740 2336 -2336 2136 -2464 2196 -2700 -2244 2480 -2220 -2700 -2088 2252 -2108 2040 2696 2676 -2160 -2544 -2132 2148 2072 2372 2424 2136 -2580 2604 2648 -2456 2060 -2628 2376 2404 -2604 -2344 -2132 -2700 2068 -2496 -2556 -2636 -2196 2692 -2652 -2296 -2380 2588 -2068 -2384 2728 2044 2668 -2580 -2320 2248 -2256 2220 -2644 -2616 -2588 2588 -2580 2292 -2340 2352 -2232 -2616 2700 -2580 2204 -2348 2024 2248 2620 2196 2212 2668 -2736 -2416 2520 2432 2104 2504 -2508 -2452 -2256 -2684 -2736 2472 2028 -2336 2272 2148 -2076 -2084 2072 2616 2160 -2552 -2020 -2468 -2504 -2392 -2112 -2068 -2464 -2296 -2108 2516 2724 2224 2308 2236 -2172 2644 2552 -2684 2164 2376 -2232 2416 2216 2596 -2696 -2448 2316 -2412 2184 2688 -2440 -2064 2576 2348 2356 2200 2596 2324 -2276 2136 -2104 2428 -2628 -2020 2604 -2684 2328 2248 2060 2396 2052 -2040 2124 -2688 -2436 -2652 2512 -2060 2444 2368 -2104 -2064 2548 2472 -2580 -2224 2464 -2188 2024 2500 -2468 2288 -2108 2156 2240 2660 2388 -2264 2336 -2676 -2560 2240 -2496 -2088 -2064 2684 -2284 2556 2352 2064 -2192 -2060 2660 2400 2652 -2320 2128 -2668 2036 -2520 2084 -2264 2208 -2032 2364 -2700 2564 -2328 2372 -2312 -2556 2344 -2572 2064 -2376 2508 -2588 -2192 -2596 2372 2696 2384 2704 -2208 -2640 -2188 2048 2360 -2068 2736 2120 2620 2060 2400 -2124 -2720 2428 2148 -2212 2512 -2028 2456 -2724 -2536 2188 2688 -2444 2520 -2436 -2704 2580 2444 2284 -2172 2264 -2028 2468 2456 2240 2700 2520 2660 2288 -2316 -2336 -2408 2092 -2484 -2472 -2572 -2684 -2300 -2228 -2644 2552 -2724 -2352 2036 2292 -2084 -2084 2280 2656 -2476 -2144 -2728 2304 -2664 -2732 2024 -2400 2588 2684 2564 2632 2720 2352 -2180 -2224 -2584 2488 2688 2080 2068 -2344 -2544 -2560 2084 2648 -2484 2320 2176 2676 -2236 -2220 2596 2636 2536 2088 -2524 -2544 2324 2368 2644 2288 -2100 2028 2080 -2412 -2260 -2408 2464 2740 -2724 2512 -2024 -2436 2392 2712 -2092 -2740 2536 -2208 -2104 -2076 -2468 2320 2680 -2576 2668 -2664 -2128 2680 -2348 2732 2424 -2280 -2556 -2440 -2040 2692 2052 2360 2548 2180 -2692 -2512 -2352 2056 2176 2664 -2408 2732 -2312 -2128 2096 2348 2032 2736 2360 -2740 2532 -2576 -2308 -2736 -2260 2248 2472 -2600 -2332 2456 2312 -2620 -2188 -2416 -2176 -2064 -2536 -2400 2152 2496 -2496 2584 -2392 2344 2332 -2564 2552 -2252 2280 -2060 -2472 -2200 -2268 2292 -2288 -2060 2072 -2528 2732 2452 -2340 2292 -2092 2420 -2040 -2156 2404 2212 -2104 -2544 2568 -2328 -2088 2380 -2144 -2528 -2680 2740 -2020 2740 2740 2620 2684 -2412 -2592 2668 2564 2664
278 unsatisfied constraints, 14754 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-275270-1169219057 -o ROOT/results/node13/solver-275270-1169219057 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275270-1169219057/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 2.00 2.00 1.95 4/94 13551 /proc/meminfo: memFree=1353864/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=18540 CPUtime=0 /proc/13550/stat : 13550 (runsolver) D 13548 13550 13066 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270300672 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/13550/statm: 4635 279 244 17 0 2626 0 [startup+0.107202 s] /proc/loadavg: 2.00 2.00 1.95 4/94 13551 /proc/meminfo: memFree=1353864/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=907676 CPUtime=0.03 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 2207 0 1 0 2 1 0 0 20 0 4 0 270300672 929460224 1954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 226919 1955 1113 14 0 214502 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 907676 [startup+0.515254 s] /proc/loadavg: 2.00 2.00 1.95 4/94 13551 /proc/meminfo: memFree=1353864/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915332 CPUtime=0.43 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 6618 0 1 0 40 3 0 0 25 0 8 0 270300672 937299968 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228833 6357 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 915332 [startup+1.33837 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1286736/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=1.26 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 21093 0 1 0 115 11 0 0 25 0 8 0 270300672 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 20830 2184 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.06 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270300682 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.15 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 270300686 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 20830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 915636 [startup+2.99159 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1278800/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=2.91 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 21100 0 1 0 280 11 0 0 25 0 8 0 270300672 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 20836 2184 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.06 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270300682 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.16 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 408 0 0 0 16 0 0 0 15 0 8 0 270300686 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 915636 [startup+6.27303 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1278608/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=6.19 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 21117 0 1 0 607 12 0 0 25 0 8 0 270300672 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 20853 2185 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.06 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270300682 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.18 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 424 0 0 0 17 1 0 0 16 0 8 0 270300686 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 20853 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) 915636 [startup+12.7679 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1278608/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=12.67 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 21124 0 1 0 1255 12 0 0 25 0 8 0 270300672 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 20859 2185 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.06 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270300682 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.19 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 430 0 0 0 18 1 0 0 16 0 8 0 270300686 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 915636 [startup+25.6216 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1276304/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=25.52 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 21754 0 1 0 2536 16 0 0 25 0 8 0 270300672 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 21487 2185 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.11 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 5101 0 0 0 10 1 0 0 16 0 8 0 270300682 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.2 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 270300686 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 21487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.52 Current children cumulated vsize (KiB) 915636 [startup+51.245 s] /proc/loadavg: 2.00 2.00 1.95 3/101 13558 /proc/meminfo: memFree=1264144/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=51.1 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 24817 0 1 0 5083 27 0 0 25 0 8 0 270300672 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 24548 2185 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.23 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 8153 0 0 0 20 3 0 0 16 0 8 0 270300682 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.21 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 270300686 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 24548 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 915636 [startup+102.534 s] /proc/loadavg: 2.04 2.01 1.95 4/101 13558 /proc/meminfo: memFree=1242320/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=102.29 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 30598 0 1 0 10184 45 0 0 25 0 8 0 270300672 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793857 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228909 30323 2504 14 0 215379 0 [pid=13550/tid=13552] ppid=13548 vsize=915636 CPUtime=0.6 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 13555 0 0 0 55 5 0 0 16 0 8 0 270300682 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270300683 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915636 CPUtime=0.27 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 468 0 0 0 26 1 0 0 16 0 8 0 270300686 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915636 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937611264 30323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 915636 [startup+162.582 s] /proc/loadavg: 2.01 2.01 1.95 3/101 13558 /proc/meminfo: memFree=1242320/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915636 CPUtime=162.25 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 30599 0 1 0 16176 49 0 0 25 0 8 0 270300672 937611264 30324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2021.1 Current children cumulated vsize (KiB) 915744 [startup+2083.57 s] /proc/loadavg: 2.03 2.02 1.99 3/100 13654 /proc/meminfo: memFree=1114472/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2081.1 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40522 0 1 0 208020 90 0 0 25 0 8 0 270300672 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40198 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.38 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 604 0 0 0 37 1 0 0 16 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2081.1 Current children cumulated vsize (KiB) 915744 [startup+2143.62 s] /proc/loadavg: 2.01 2.01 1.99 3/100 13654 /proc/meminfo: memFree=1114472/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2141.09 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40522 0 1 0 214019 90 0 0 25 0 8 0 270300672 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40198 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.38 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 604 0 0 0 37 1 0 0 16 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2141.09 Current children cumulated vsize (KiB) 915744 [startup+2203.68 s] /proc/loadavg: 2.00 2.01 1.99 3/100 13654 /proc/meminfo: memFree=1114408/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2201.06 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40522 0 1 0 220016 90 0 0 25 0 8 0 270300672 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40198 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.38 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 604 0 0 0 37 1 0 0 16 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2201.06 Current children cumulated vsize (KiB) 915744 [startup+2263.73 s] /proc/loadavg: 2.00 2.00 1.99 3/100 13654 /proc/meminfo: memFree=1114472/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2261.06 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40523 0 1 0 226016 90 0 0 25 0 8 0 270300672 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40198 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.38 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 604 0 0 0 37 1 0 0 16 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2261.06 Current children cumulated vsize (KiB) 915744 [startup+2323.79 s] /proc/loadavg: 2.00 2.00 1.99 3/100 13654 /proc/meminfo: memFree=1114408/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2321.05 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40523 0 1 0 232015 90 0 0 25 0 8 0 270300672 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074236996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40198 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.38 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 604 0 0 0 37 1 0 0 16 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2321.05 Current children cumulated vsize (KiB) 915744 [startup+2383.84 s] /proc/loadavg: 2.00 2.00 1.99 3/100 13654 /proc/meminfo: memFree=1114408/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2381.01 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40528 0 1 0 238011 90 0 0 25 0 8 0 270300672 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074250009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40202 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.39 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 608 0 0 0 38 1 0 0 17 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2381.01 Current children cumulated vsize (KiB) 915744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2402.86 s] /proc/loadavg: 2.00 2.00 1.99 3/100 13654 /proc/meminfo: memFree=1114408/2055920 swapFree=4169400/4192956 [pid=13550] ppid=13548 vsize=915744 CPUtime=2400.02 /proc/13550/stat : 13550 (java) R 13548 13550 13066 0 -1 0 40528 0 1 0 239912 90 0 0 25 0 8 0 270300672 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074276365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13550/statm: 228936 40202 2553 14 0 215406 0 [pid=13550/tid=13552] ppid=13548 vsize=915744 CPUtime=0.71 /proc/13550/task/13552/stat : 13552 (java) S 13548 13550 13066 0 -1 64 23238 0 0 0 63 8 0 0 16 0 8 0 270300682 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13553] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13553/stat : 13553 (java) S 13548 13550 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270300683 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13554] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13554/stat : 13554 (java) S 13548 13550 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270300683 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13555] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13555/stat : 13555 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13556] ppid=13548 vsize=915744 CPUtime=0.39 /proc/13550/task/13556/stat : 13556 (java) S 13548 13550 13066 0 -1 64 608 0 0 0 38 1 0 0 17 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13557] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13557/stat : 13557 (java) S 13548 13550 13066 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13550/tid=13558] ppid=13548 vsize=915744 CPUtime=0 /proc/13550/task/13558/stat : 13558 (java) S 13548 13550 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270300686 937721856 40202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 915744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2402.93 CPU time (s): 2400.09 CPU user time (s): 2399.16 CPU system time (s): 0.929858 CPU usage (%): 99.882 Max. virtual memory (cumulated for all children) (KiB): 915936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.16 system time used= 0.929858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40553 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= 50479 involuntary context switches= 81088 runsolver used 3.22251 s user time and 7.62184 s system time The end
Begin job on node13 on Fri Jan 19 15:04:17 UTC 2007 IDJOB= 275270 IDBENCH= 3759 IDSOLVER= 68 FILE ID= node13/275270-1169219057 PBS_JOBID= 3588938 Free space on /tmp= 66561 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-4.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275270-1169219057/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-275270-1169219057 -o ROOT/results/node13/solver-275270-1169219057 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275270-1169219057/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 5145a33efd34f749485cb3d43c764923 RANDOM SEED= 720659275 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.247 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 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: 1354344 kB Buffers: 58728 kB Cached: 487552 kB SwapCached: 3092 kB Active: 315032 kB Inactive: 309556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1354344 kB SwapTotal: 4192956 kB SwapFree: 4169400 kB Dirty: 3696 kB Writeback: 0 kB Mapped: 93848 kB Slab: 61564 kB Committed_AS: 7451060 kB PageTables: 2564 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 node13 on Fri Jan 19 15:44:20 UTC 2007