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.09 | 2415.88 |
| Name | fapp/fapp11-15/fapp11/ fapp11-1000-6.xml |
| MD5SUM | 6b5dd0783de8ffe8db36fbbb14ddfcf0 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 14745 |
| 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.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=pfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275274-1169219121/unknown.xml 0.37 0.37 domains being loaded... 0.41 0.41 variables being loaded... 0.57 nbVariables=1000 nbDomainTypes=18 minDomainSize=50 maxDomainSize=362 0.57 => wckTime=0.264 cpuTime=0.2 mem=17M636 0.57 0.57 predicates being loaded... 0.58 0.58 constraints being loaded... 61.28 61.28 INFO : Stopping converting binary constraints (cpu=60.01, mem = 72M421) 62.33 nbConstraints=15032 nbConvertedConstraints=4443 nbConvertConstraintsChecks=188764736 nbExtensionStructures=2610 62.33 nbSharedExtensionStructures=1833 nbConflictsStructures=2610 nbSharedConflictsStructures=1833 62.33 nbSharedBinaryRepresentations=1322854 nbEvaluationManagers=5080 nbSharedEvaluationManagers=5509 maxDegree=51 62.33 maxArity=2 62.33 => wckTime=62.022 cpuTime=60.8 mem=49M36 62.55 62.55 solver LocalSearchSolver being built... 62.58 => wckTime=62.276 cpuTime=60.84 mem=47M524 62.67 62.67 s SATISFIABLE 62.67 o 12133 62.67 c 2899 62.70 o 12142 62.70 c 2890 62.74 o 12153 62.74 c 2879 62.77 o 12160 62.77 c 2872 62.79 o 12169 62.79 c 2863 62.82 o 12177 62.82 c 2855 62.83 o 12189 62.83 c 2843 62.86 o 12193 62.86 c 2839 62.88 o 12195 62.88 c 2837 62.91 o 12196 62.91 c 2836 62.93 o 12197 62.93 c 2835 62.96 o 12203 62.96 c 2829 62.98 o 12212 62.98 c 2820 63.00 o 12216 63.01 c 2816 63.04 o 12225 63.04 c 2807 63.06 o 12234 63.06 c 2798 63.11 o 12241 63.11 c 2791 63.14 o 12247 63.14 c 2785 63.18 o 12253 63.18 c 2779 63.22 o 12259 63.22 c 2773 63.26 o 12264 63.26 c 2768 63.29 o 12269 63.29 c 2763 63.32 o 12274 63.32 c 2758 63.34 o 12278 63.34 c 2754 63.38 o 12281 63.38 c 2751 63.41 o 12284 63.41 c 2748 63.45 o 12287 63.45 c 2745 63.47 o 12289 63.47 c 2743 63.49 o 12293 63.49 c 2739 63.52 o 12296 63.52 c 2736 63.55 o 12300 63.55 c 2732 63.57 o 12302 63.57 c 2730 63.60 o 12307 63.60 c 2725 63.63 o 12315 63.63 c 2717 63.67 o 12322 63.67 c 2710 63.69 o 12329 63.69 c 2703 63.73 o 12335 63.73 c 2697 63.81 o 12340 63.81 c 2692 63.84 o 12345 63.84 c 2687 63.88 o 12350 63.88 c 2682 63.90 o 12355 63.90 c 2677 63.93 o 12357 63.93 c 2675 63.96 o 12361 63.96 c 2671 63.98 o 12364 63.98 c 2668 64.01 o 12367 64.01 c 2665 64.03 o 12370 64.03 c 2662 64.06 o 12372 64.06 c 2660 64.08 o 12374 64.08 c 2658 64.10 o 12376 64.10 c 2656 64.12 o 12377 64.12 c 2655 64.16 o 12381 64.16 c 2651 64.18 o 12388 64.18 c 2644 64.21 o 12394 64.21 c 2638 64.23 o 12399 64.23 c 2633 64.28 o 12400 64.28 c 2632 64.31 o 12403 64.31 c 2629 64.35 o 12406 64.35 c 2626 64.37 o 12414 64.37 c 2618 64.41 o 12421 64.41 c 2611 64.45 o 12428 64.45 c 2604 64.49 o 12429 64.49 c 2603 64.53 o 12435 64.53 c 2597 64.57 o 12438 64.57 c 2594 64.60 o 12444 64.60 c 2588 64.64 o 12449 64.64 c 2583 64.67 o 12455 64.67 c 2577 64.70 o 12460 64.70 c 2572 64.75 o 12465 64.75 c 2567 64.78 o 12470 64.78 c 2562 64.83 o 12475 64.83 c 2557 64.87 o 12479 64.87 c 2553 64.89 o 12483 64.89 c 2549 64.92 o 12487 64.92 c 2545 64.95 o 12491 64.95 c 2541 64.98 o 12495 64.98 c 2537 65.02 o 12498 65.02 c 2534 65.05 o 12501 65.05 c 2531 65.07 o 12504 65.07 c 2528 65.10 o 12506 65.10 c 2526 65.12 o 12509 65.12 c 2523 65.18 o 12510 65.18 c 2522 65.18 o 12513 65.18 c 2519 65.20 o 12514 65.20 c 2518 65.24 o 12521 65.24 c 2511 65.28 o 12524 65.28 c 2508 65.33 o 12526 65.33 c 2506 65.36 o 12527 65.36 c 2505 65.37 o 12533 65.37 c 2499 65.39 o 12539 65.39 c 2493 65.42 o 12540 65.42 c 2492 65.47 o 12541 65.47 c 2491 65.50 o 12545 65.50 c 2487 65.55 o 12547 65.55 c 2485 65.60 o 12549 65.60 c 2483 65.63 o 12556 65.63 c 2476 65.64 o 12559 65.64 c 2473 65.67 o 12564 65.67 c 2468 65.71 o 12569 65.71 c 2463 65.73 o 12574 65.73 c 2458 65.77 o 12579 65.77 c 2453 65.81 o 12584 65.81 c 2448 65.84 o 12587 65.84 c 2445 65.88 o 12590 65.88 c 2442 65.90 o 12593 65.90 c 2439 65.93 o 12596 65.93 c 2436 65.96 o 12598 65.96 c 2434 65.99 o 12600 65.99 c 2432 66.02 o 12606 66.02 c 2426 66.04 o 12609 66.04 c 2423 66.07 o 12610 66.07 c 2422 66.09 o 12611 66.09 c 2421 66.13 o 12612 66.13 c 2420 66.14 o 12613 66.14 c 2419 66.17 o 12619 66.17 c 2413 66.27 o 12621 66.27 c 2411 66.30 o 12624 66.30 c 2408 66.36 o 12628 66.36 c 2404 66.45 o 12630 66.45 c 2402 66.46 o 12631 66.46 c 2401 66.49 o 12633 66.49 c 2399 66.51 o 12635 66.51 c 2397 66.55 o 12638 66.55 c 2394 66.58 o 12640 66.58 c 2392 66.61 o 12641 66.61 c 2391 66.65 o 12642 66.65 c 2390 66.69 o 12645 66.69 c 2387 66.73 o 12650 66.73 c 2382 66.79 o 12655 66.79 c 2377 66.84 o 12660 66.84 c 2372 66.89 o 12663 66.89 c 2369 66.93 o 12667 66.93 c 2365 67.02 o 12669 67.02 c 2363 67.05 o 12671 67.05 c 2361 67.09 o 12675 67.09 c 2357 67.14 o 12679 67.14 c 2353 67.18 o 12683 67.18 c 2349 67.22 o 12687 67.22 c 2345 67.26 o 12691 67.26 c 2341 67.29 o 12697 67.29 c 2335 67.33 o 12700 67.33 c 2332 67.37 o 12701 67.37 c 2331 67.40 o 12704 67.40 c 2328 67.44 o 12707 67.44 c 2325 67.49 o 12710 67.49 c 2322 67.52 o 12712 67.52 c 2320 67.56 o 12713 67.56 c 2319 67.60 o 12715 67.60 c 2317 67.63 o 12716 67.63 c 2316 67.67 o 12722 67.67 c 2310 67.72 o 12723 67.72 c 2309 67.95 o 12724 67.95 c 2308 68.01 o 12726 68.01 c 2306 68.04 o 12728 68.04 c 2304 68.08 o 12729 68.08 c 2303 68.12 o 12734 68.12 c 2298 68.17 o 12738 68.17 c 2294 68.20 o 12741 68.20 c 2291 68.29 o 12742 68.29 c 2290 68.32 o 12746 68.32 c 2286 68.35 o 12752 68.35 c 2280 68.38 o 12757 68.38 c 2275 68.45 o 12761 68.45 c 2271 68.48 o 12763 68.48 c 2269 68.51 o 12766 68.51 c 2266 68.73 o 12771 68.73 c 2261 68.78 o 12772 68.78 c 2260 68.83 o 12773 68.83 c 2259 68.87 o 12776 68.87 c 2256 68.91 o 12779 68.91 c 2253 68.94 o 12784 68.94 c 2248 69.01 o 12786 69.01 c 2246 69.04 o 12788 69.04 c 2244 69.07 o 12791 69.07 c 2241 69.11 o 12792 69.11 c 2240 69.15 o 12797 69.15 c 2235 69.18 o 12801 69.18 c 2231 69.21 o 12804 69.21 c 2228 69.27 o 12808 69.27 c 2224 69.30 o 12810 69.30 c 2222 69.33 o 12814 69.33 c 2218 69.35 o 12819 69.35 c 2213 69.39 o 12828 69.39 c 2204 69.42 o 12831 69.42 c 2201 69.47 o 12833 69.47 c 2199 69.50 o 12838 69.50 c 2194 69.52 o 12840 69.52 c 2192 69.55 o 12841 69.55 c 2191 69.59 o 12846 69.59 c 2186 69.66 o 12852 69.66 c 2180 69.70 o 12857 69.70 c 2175 69.73 o 12862 69.73 c 2170 69.76 o 12867 69.76 c 2165 69.79 o 12870 69.79 c 2162 69.82 o 12873 69.82 c 2159 69.85 o 12876 69.85 c 2156 69.88 o 12878 69.88 c 2154 69.91 o 12879 69.91 c 2153 69.93 o 12880 69.93 c 2152 70.04 o 12883 70.04 c 2149 70.07 o 12886 70.07 c 2146 70.10 o 12888 70.10 c 2144 70.14 o 12893 70.14 c 2139 70.17 o 12897 70.17 c 2135 70.20 o 12898 70.20 c 2134 70.23 o 12905 70.23 c 2127 70.25 o 12906 70.25 c 2126 70.28 o 12909 70.28 c 2123 70.30 o 12910 70.30 c 2122 70.33 o 12914 70.33 c 2118 70.36 o 12916 70.36 c 2116 70.40 o 12919 70.40 c 2113 70.43 o 12923 70.43 c 2109 70.46 o 12926 70.46 c 2106 70.49 o 12927 70.49 c 2105 70.52 o 12935 70.52 c 2097 70.56 o 12938 70.56 c 2094 70.58 o 12939 70.58 c 2093 70.61 o 12944 70.61 c 2088 70.70 o 12950 70.70 c 2082 70.73 o 12953 70.73 c 2079 70.77 o 12958 70.77 c 2074 70.81 o 12966 70.81 c 2066 70.85 o 12967 70.85 c 2065 71.04 o 12968 71.04 c 2064 71.07 o 12971 71.07 c 2061 71.10 o 12974 71.10 c 2058 71.13 o 12977 71.13 c 2055 71.15 o 12978 71.16 c 2054 71.20 o 12979 71.20 c 2053 71.24 o 12982 71.24 c 2050 71.28 o 12986 71.28 c 2046 71.38 o 12987 71.38 c 2045 71.42 o 12988 71.42 c 2044 71.45 o 12989 71.45 c 2043 71.48 o 12990 71.48 c 2042 71.51 o 12994 71.51 c 2038 71.54 o 13001 71.54 c 2031 71.57 o 13004 71.57 c 2028 71.64 o 13008 71.64 c 2024 71.68 o 13013 71.68 c 2019 71.72 o 13015 71.72 c 2017 71.76 o 13020 71.76 c 2012 71.79 o 13023 71.79 c 2009 71.82 o 13025 71.82 c 2007 71.88 o 13029 71.88 c 2003 71.92 o 13032 71.92 c 2000 71.95 o 13037 71.95 c 1995 71.98 o 13041 71.98 c 1991 72.00 o 13046 72.00 c 1986 72.03 o 13048 72.03 c 1984 72.07 o 13052 72.07 c 1980 72.14 o 13055 72.14 c 1977 72.18 o 13058 72.18 c 1974 72.21 o 13059 72.21 c 1973 72.24 o 13060 72.24 c 1972 72.28 o 13064 72.28 c 1968 72.32 o 13068 72.32 c 1964 72.37 o 13069 72.37 c 1963 72.41 o 13074 72.41 c 1958 72.43 o 13076 72.43 c 1956 72.47 o 13080 72.47 c 1952 72.51 o 13083 72.51 c 1949 72.55 o 13085 72.55 c 1947 72.58 o 13087 72.58 c 1945 72.65 o 13090 72.65 c 1942 72.69 o 13091 72.69 c 1941 72.72 o 13095 72.72 c 1937 72.79 o 13098 72.79 c 1934 72.83 o 13101 72.83 c 1931 72.87 o 13106 72.87 c 1926 72.95 o 13109 72.95 c 1923 73.00 o 13112 73.00 c 1920 73.04 o 13113 73.04 c 1919 73.07 o 13117 73.07 c 1915 73.10 o 13118 73.10 c 1914 73.13 o 13122 73.13 c 1910 73.19 o 13125 73.19 c 1907 73.24 o 13130 73.24 c 1902 73.43 o 13131 73.43 c 1901 73.48 o 13132 73.48 c 1900 73.52 o 13133 73.52 c 1899 73.62 o 13138 73.62 c 1894 73.73 o 13141 73.73 c 1891 73.83 o 13144 73.83 c 1888 73.89 o 13145 73.89 c 1887 73.94 o 13150 73.94 c 1882 74.00 o 13153 74.00 c 1879 74.10 o 13155 74.10 c 1877 74.17 o 13158 74.17 c 1874 74.23 o 13160 74.23 c 1872 74.29 o 13161 74.29 c 1871 74.35 o 13165 74.35 c 1867 74.38 o 13171 74.38 c 1861 74.44 o 13173 74.44 c 1859 74.56 o 13174 74.56 c 1858 74.60 o 13175 74.60 c 1857 74.70 o 13178 74.70 c 1854 74.74 o 13182 74.74 c 1850 74.81 o 13185 74.81 c 1847 74.87 o 13189 74.87 c 1843 74.92 o 13193 74.92 c 1839 74.96 o 13197 74.96 c 1835 75.05 o 13198 75.05 c 1834 75.09 o 13200 75.09 c 1832 75.23 o 13202 75.23 c 1830 75.27 o 13207 75.27 c 1825 75.31 o 13209 75.31 c 1823 75.40 o 13212 75.40 c 1820 75.58 o 13214 75.58 c 1818 75.62 o 13219 75.62 c 1813 75.67 o 13220 75.67 c 1812 75.71 o 13222 75.71 c 1810 75.75 o 13225 75.75 c 1807 75.79 o 13227 75.79 c 1805 75.91 o 13230 75.91 c 1802 75.97 o 13231 75.97 c 1801 76.39 o 13236 76.39 c 1796 76.45 o 13239 76.45 c 1793 76.52 o 13241 76.52 c 1791 76.63 o 13244 76.63 c 1788 76.69 o 13247 76.69 c 1785 76.80 o 13248 76.80 c 1784 76.87 o 13251 76.87 c 1781 76.92 o 13253 76.92 c 1779 76.97 o 13256 76.97 c 1776 77.02 o 13258 77.02 c 1774 77.23 o 13261 77.23 c 1771 77.27 o 13263 77.27 c 1769 77.35 o 13264 77.35 c 1768 77.39 o 13265 77.39 c 1767 77.44 o 13266 77.44 c 1766 77.49 o 13269 77.49 c 1763 77.77 o 13270 77.77 c 1762 77.82 o 13273 77.82 c 1759 77.91 o 13276 77.91 c 1756 78.07 o 13278 78.07 c 1754 78.12 o 13283 78.12 c 1749 78.17 o 13286 78.17 c 1746 78.21 o 13291 78.21 c 1741 78.26 o 13296 78.26 c 1736 78.36 o 13300 78.36 c 1732 78.40 o 13302 78.40 c 1730 78.45 o 13306 78.45 c 1726 78.59 o 13308 78.59 c 1724 78.71 o 13309 78.71 c 1723 78.81 o 13310 78.81 c 1722 78.87 o 13312 78.87 c 1720 78.91 o 13316 78.91 c 1716 78.96 o 13317 78.96 c 1715 79.06 o 13324 79.06 c 1708 79.11 o 13326 79.11 c 1706 79.16 o 13328 79.16 c 1704 79.39 o 13329 79.39 c 1703 79.58 o 13330 79.58 c 1702 79.62 o 13333 79.62 c 1699 79.67 o 13334 79.67 c 1698 79.76 o 13336 79.76 c 1696 79.88 o 13338 79.88 c 1694 79.94 o 13339 79.94 c 1693 80.00 o 13343 80.00 c 1689 80.06 o 13346 80.06 c 1686 80.11 o 13348 80.11 c 1684 80.16 o 13350 80.16 c 1682 80.22 o 13353 80.22 c 1679 80.26 o 13356 80.26 c 1676 80.31 o 13359 80.31 c 1673 80.46 o 13361 80.46 c 1671 80.51 o 13364 80.51 c 1668 80.55 o 13365 80.55 c 1667 80.64 o 13370 80.64 c 1662 80.70 o 13373 80.70 c 1659 80.77 o 13376 80.77 c 1656 80.82 o 13380 80.82 c 1652 80.93 o 13384 80.93 c 1648 80.99 o 13386 80.99 c 1646 81.04 o 13388 81.04 c 1644 81.09 o 13390 81.09 c 1642 81.13 o 13394 81.13 c 1638 81.17 o 13395 81.17 c 1637 81.21 o 13398 81.21 c 1634 81.25 o 13401 81.25 c 1631 81.29 o 13405 81.29 c 1627 81.33 o 13409 81.33 c 1623 81.59 o 13410 81.59 c 1622 81.63 o 13413 81.63 c 1619 81.73 o 13414 81.73 c 1618 81.89 o 13415 81.89 c 1617 81.94 o 13420 81.94 c 1612 81.98 o 13424 81.98 c 1608 82.03 o 13426 82.03 c 1606 82.07 o 13429 82.07 c 1603 82.11 o 13434 82.11 c 1598 82.22 o 13439 82.22 c 1593 82.31 o 13440 82.31 c 1592 82.36 o 13442 82.36 c 1590 82.39 o 13446 82.39 c 1586 82.53 o 13448 82.53 c 1584 82.60 o 13452 82.60 c 1580 82.70 o 13454 82.70 c 1578 82.76 o 13457 82.76 c 1575 83.06 o 13458 83.06 c 1574 83.13 o 13461 83.13 c 1571 83.20 o 13464 83.20 c 1568 83.26 o 13465 83.26 c 1567 83.32 o 13467 83.32 c 1565 83.38 o 13469 83.38 c 1563 83.44 o 13471 83.44 c 1561 83.51 o 13473 83.51 c 1559 83.57 o 13476 83.57 c 1556 83.65 o 13479 83.65 c 1553 83.69 o 13481 83.69 c 1551 83.75 o 13482 83.75 c 1550 83.83 o 13484 83.83 c 1548 83.94 o 13485 83.94 c 1547 84.10 o 13487 84.10 c 1545 84.17 o 13489 84.17 c 1543 84.23 o 13490 84.23 c 1542 84.29 o 13491 84.29 c 1541 84.34 o 13495 84.34 c 1537 84.41 o 13497 84.41 c 1535 84.47 o 13500 84.47 c 1532 84.54 o 13502 84.54 c 1530 84.61 o 13503 84.61 c 1529 84.67 o 13504 84.67 c 1528 84.73 o 13505 84.73 c 1527 84.79 o 13506 84.79 c 1526 84.86 o 13507 84.86 c 1525 84.94 o 13508 84.94 c 1524 85.42 o 13510 85.42 c 1522 85.49 o 13513 85.49 c 1519 85.56 o 13516 85.56 c 1516 85.75 o 13518 85.75 c 1514 85.81 o 13521 85.81 c 1511 85.88 o 13526 85.88 c 1506 85.95 o 13527 85.95 c 1505 86.02 o 13529 86.02 c 1503 86.36 o 13536 86.36 c 1496 86.43 o 13539 86.43 c 1493 86.68 o 13542 86.68 c 1490 86.76 o 13544 86.76 c 1488 86.84 o 13545 86.84 c 1487 87.28 o 13547 87.28 c 1485 87.37 o 13549 87.37 c 1483 87.55 o 13550 87.55 c 1482 87.63 o 13551 87.63 c 1481 87.72 o 13553 87.72 c 1479 87.91 o 13554 87.91 c 1478 88.02 o 13559 88.02 c 1473 88.22 o 13560 88.22 c 1472 88.32 o 13561 88.32 c 1471 88.39 o 13565 88.39 c 1467 88.48 o 13567 88.48 c 1465 88.64 o 13569 88.64 c 1463 88.72 o 13572 88.72 c 1460 88.81 o 13576 88.81 c 1456 88.99 o 13580 88.99 c 1452 89.07 o 13583 89.07 c 1449 89.14 o 13587 89.14 c 1445 89.23 o 13590 89.23 c 1442 89.47 o 13592 89.47 c 1440 89.55 o 13593 89.55 c 1439 89.64 o 13597 89.64 c 1435 89.72 o 13598 89.72 c 1434 89.95 o 13599 89.95 c 1433 90.03 o 13602 90.03 c 1430 90.16 o 13604 90.16 c 1428 90.22 o 13607 90.22 c 1425 90.31 o 13610 90.31 c 1422 90.38 o 13611 90.38 c 1421 90.60 o 13612 90.60 c 1420 90.66 o 13616 90.66 c 1416 90.85 o 13619 90.85 c 1413 90.93 o 13621 90.93 c 1411 91.14 o 13622 91.14 c 1410 91.22 o 13630 91.22 c 1402 91.28 o 13631 91.28 c 1401 91.34 o 13633 91.34 c 1399 91.40 o 13634 91.40 c 1398 91.46 o 13635 91.46 c 1397 91.54 o 13637 91.54 c 1395 91.81 o 13639 91.81 c 1393 92.02 o 13640 92.02 c 1392 92.26 o 13641 92.26 c 1391 92.32 o 13643 92.32 c 1389 92.46 o 13644 92.46 c 1388 92.81 o 13646 92.81 c 1386 92.94 o 13647 92.94 c 1385 93.00 o 13651 93.00 c 1381 93.08 o 13652 93.08 c 1380 93.22 o 13654 93.22 c 1378 93.35 o 13658 93.35 c 1374 93.48 o 13660 93.48 c 1372 93.53 o 13661 93.53 c 1371 93.67 o 13662 93.67 c 1370 93.83 o 13666 93.83 c 1366 93.90 o 13668 93.90 c 1364 94.05 o 13672 94.05 c 1360 94.12 o 13676 94.12 c 1356 94.19 o 13677 94.19 c 1355 94.27 o 13678 94.27 c 1354 94.42 o 13680 94.42 c 1352 94.49 o 13684 94.49 c 1348 94.56 o 13686 94.56 c 1346 94.64 o 13688 94.64 c 1344 94.79 o 13690 94.79 c 1342 94.86 o 13693 94.86 c 1339 94.97 o 13697 94.97 c 1335 95.02 o 13701 95.02 c 1331 95.11 o 13702 95.11 c 1330 95.17 o 13706 95.17 c 1326 95.25 o 13708 95.25 c 1324 95.33 o 13711 95.33 c 1321 95.42 o 13714 95.42 c 1318 95.49 o 13715 95.49 c 1317 95.62 o 13716 95.62 c 1316 95.70 o 13718 95.70 c 1314 95.78 o 13722 95.78 c 1310 95.85 o 13724 95.85 c 1308 95.92 o 13726 95.92 c 1306 96.14 o 13727 96.14 c 1305 96.22 o 13730 96.22 c 1302 96.30 o 13734 96.30 c 1298 96.37 o 13736 96.37 c 1296 96.54 o 13737 96.54 c 1295 96.71 o 13740 96.71 c 1292 96.80 o 13741 96.80 c 1291 96.90 o 13742 96.90 c 1290 97.07 o 13746 97.07 c 1286 97.44 o 13749 97.44 c 1283 97.79 o 13750 97.79 c 1282 97.99 o 13751 97.99 c 1281 98.16 o 13753 98.16 c 1279 98.25 o 13757 98.25 c 1275 98.41 o 13760 98.41 c 1272 98.60 o 13762 98.60 c 1270 98.70 o 13763 98.70 c 1269 98.80 o 13766 98.80 c 1266 98.89 o 13768 98.89 c 1264 99.00 o 13770 99.00 c 1262 99.10 o 13771 99.10 c 1261 99.20 o 13772 99.20 c 1260 99.31 o 13773 99.31 c 1259 99.40 o 13775 99.40 c 1257 99.62 o 13778 99.62 c 1254 100.02 o 13781 100.02 c 1251 100.13 o 13782 100.13 c 1250 100.43 o 13783 100.43 c 1249 100.63 o 13785 100.63 c 1247 100.91 o 13787 100.91 c 1245 101.09 o 13788 101.09 c 1244 101.15 o 13791 101.15 c 1241 101.24 o 13793 101.24 c 1239 101.42 o 13794 101.42 c 1238 101.50 o 13797 101.50 c 1235 101.68 o 13799 101.68 c 1233 101.87 o 13802 101.87 c 1230 101.92 o 13806 101.92 c 1226 102.08 o 13808 102.08 c 1224 102.18 o 13811 102.18 c 1221 102.25 o 13813 102.25 c 1219 102.33 o 13814 102.33 c 1218 102.42 o 13816 102.42 c 1216 102.49 o 13818 102.49 c 1214 102.63 o 13821 102.63 c 1211 102.70 o 13826 102.70 c 1206 102.77 o 13827 102.77 c 1205 102.95 o 13830 102.95 c 1202 103.18 o 13833 103.18 c 1199 103.25 o 13838 103.25 c 1194 103.41 o 13839 103.41 c 1193 103.50 o 13842 103.50 c 1190 103.57 o 13847 103.57 c 1185 103.65 o 13851 103.65 c 1181 103.71 o 13853 103.71 c 1179 103.78 o 13855 103.78 c 1177 103.86 o 13857 103.86 c 1175 104.07 o 13858 104.07 c 1174 104.14 o 13859 104.14 c 1173 104.21 o 13863 104.21 c 1169 104.27 o 13868 104.27 c 1164 104.33 o 13870 104.33 c 1162 104.40 o 13871 104.40 c 1161 104.48 o 13872 104.48 c 1160 104.55 o 13874 104.55 c 1158 104.63 o 13876 104.63 c 1156 104.70 o 13878 104.70 c 1154 104.86 o 13879 104.86 c 1153 104.94 o 13881 104.94 c 1151 105.11 o 13882 105.11 c 1150 105.20 o 13884 105.20 c 1148 105.29 o 13885 105.29 c 1147 105.47 o 13888 105.47 c 1144 105.84 o 13890 105.84 c 1142 106.11 o 13891 106.11 c 1141 106.21 o 13892 106.21 c 1140 106.30 o 13896 106.30 c 1136 106.36 o 13898 106.36 c 1134 106.54 o 13899 106.54 c 1133 106.63 o 13903 106.63 c 1129 107.66 o 13904 107.66 c 1128 107.75 o 13905 107.75 c 1127 107.83 o 13906 107.83 c 1126 107.91 o 13908 107.91 c 1124 107.98 o 13911 107.98 c 1121 108.14 o 13913 108.14 c 1119 108.22 o 13914 108.22 c 1118 108.29 o 13918 108.29 c 1114 108.36 o 13920 108.36 c 1112 108.43 o 13922 108.43 c 1110 108.58 o 13923 108.58 c 1109 108.76 o 13925 108.76 c 1107 108.87 o 13927 108.87 c 1105 108.96 o 13930 108.96 c 1102 109.24 o 13931 109.24 c 1101 109.33 o 13934 109.33 c 1098 109.42 o 13936 109.42 c 1096 109.52 o 13938 109.52 c 1094 109.60 o 13942 109.60 c 1090 109.78 o 13944 109.78 c 1088 109.95 o 13946 109.95 c 1086 110.03 o 13949 110.03 c 1083 111.48 o 13951 111.48 c 1081 111.63 o 13954 111.63 c 1078 111.72 o 13955 111.72 c 1077 111.80 o 13958 111.80 c 1074 111.88 o 13960 111.88 c 1072 112.03 o 13961 112.04 c 1071 112.11 o 13964 112.11 c 1068 112.21 o 13969 112.21 c 1063 112.55 o 13970 112.55 c 1062 112.72 o 13971 112.72 c 1061 112.80 o 13977 112.80 c 1055 114.62 o 13978 114.62 c 1054 114.71 o 13979 114.71 c 1053 114.83 o 13980 114.83 c 1052 114.93 o 13981 114.93 c 1051 115.02 o 13984 115.02 c 1048 115.13 o 13988 115.13 c 1044 115.90 o 13990 115.90 c 1042 116.00 o 13993 116.00 c 1039 116.12 o 13994 116.12 c 1038 116.23 o 13996 116.23 c 1036 116.35 o 13998 116.35 c 1034 116.53 o 13999 116.53 c 1033 117.03 o 14001 117.03 c 1031 117.25 o 14003 117.25 c 1029 117.30 o 14006 117.30 c 1026 117.40 o 14008 117.40 c 1024 117.47 o 14011 117.47 c 1021 117.58 o 14012 117.58 c 1020 117.82 o 14014 117.82 c 1018 117.93 o 14016 117.93 c 1016 118.05 o 14018 118.05 c 1014 118.40 o 14019 118.40 c 1013 118.50 o 14021 118.50 c 1011 118.61 o 14022 118.61 c 1010 118.72 o 14025 118.72 c 1007 118.84 o 14029 118.84 c 1003 119.06 o 14031 119.06 c 1001 119.17 o 14032 119.17 c 1000 119.29 o 14034 119.29 c 998 119.40 o 14035 119.40 c 997 119.86 o 14036 119.86 c 996 119.97 o 14039 119.97 c 993 120.19 o 14042 120.19 c 990 120.31 o 14043 120.31 c 989 120.53 o 14045 120.53 c 987 120.77 o 14046 120.77 c 986 120.90 o 14047 120.90 c 985 121.03 o 14050 121.03 c 982 121.16 o 14051 121.16 c 981 121.29 o 14052 121.29 c 980 121.65 o 14053 121.65 c 979 121.78 o 14054 121.78 c 978 122.11 o 14055 122.11 c 977 122.41 o 14056 122.41 c 976 122.51 o 14059 122.51 c 973 122.61 o 14060 122.61 c 972 122.67 o 14061 122.67 c 971 122.89 o 14063 122.89 c 969 123.13 o 14064 123.13 c 968 123.24 o 14070 123.24 c 962 123.36 o 14071 123.36 c 961 123.46 o 14072 123.46 c 960 123.65 o 14075 123.65 c 957 123.75 o 14076 123.75 c 956 124.18 o 14080 124.18 c 952 124.61 o 14081 124.61 c 951 124.72 o 14083 124.72 c 949 125.05 o 14087 125.05 c 945 125.15 o 14088 125.15 c 944 125.25 o 14089 125.25 c 943 125.35 o 14092 125.35 c 940 125.85 o 14093 125.85 c 939 126.17 o 14094 126.17 c 938 127.11 o 14095 127.11 c 937 127.22 o 14096 127.22 c 936 127.33 o 14098 127.33 c 934 127.57 o 14101 127.57 c 931 127.71 o 14103 127.71 c 929 127.85 o 14104 127.85 c 928 127.99 o 14110 127.99 c 922 128.13 o 14111 128.13 c 921 128.70 o 14114 128.70 c 918 129.50 o 14115 129.50 c 917 129.77 o 14118 129.77 c 914 129.89 o 14120 129.89 c 912 132.43 o 14122 132.43 c 910 132.55 o 14128 132.56 c 904 132.64 o 14130 132.64 c 902 132.74 o 14132 132.74 c 900 132.86 o 14133 132.86 c 899 133.64 o 14134 133.64 c 898 133.76 o 14137 133.76 c 895 133.89 o 14140 133.89 c 892 136.30 o 14144 136.30 c 888 137.55 o 14145 137.55 c 887 137.99 o 14146 137.99 c 886 138.13 o 14148 138.13 c 884 138.68 o 14150 138.68 c 882 138.82 o 14151 138.82 c 881 138.96 o 14152 138.96 c 880 139.57 o 14154 139.57 c 878 139.71 o 14157 139.71 c 875 140.25 o 14158 140.25 c 874 140.83 o 14159 140.83 c 873 141.10 o 14161 141.10 c 871 142.29 o 14162 142.29 c 870 142.41 o 14163 142.41 c 869 142.57 o 14165 142.57 c 867 142.73 o 14166 142.73 c 866 142.89 o 14167 142.89 c 865 143.04 o 14169 143.04 c 863 143.36 o 14173 143.36 c 859 143.58 o 14176 143.58 c 856 143.72 o 14178 143.72 c 854 143.86 o 14181 143.86 c 851 144.12 o 14182 144.12 c 850 144.41 o 14184 144.41 c 848 144.56 o 14185 144.56 c 847 144.67 o 14187 144.67 c 845 144.96 o 14188 144.96 c 844 145.26 o 14190 145.26 c 842 145.49 o 14191 145.49 c 841 145.65 o 14195 145.65 c 837 145.80 o 14196 145.80 c 836 145.97 o 14197 145.97 c 835 146.13 o 14198 146.13 c 834 146.29 o 14202 146.29 c 830 146.91 o 14203 146.91 c 829 147.06 o 14204 147.06 c 828 148.95 o 14205 148.95 c 827 149.10 o 14206 149.10 c 826 149.24 o 14208 149.24 c 824 149.40 o 14210 149.40 c 822 149.79 o 14212 149.79 c 820 149.94 o 14214 149.94 c 818 150.08 o 14215 150.08 c 817 150.23 o 14217 150.23 c 815 151.33 o 14219 151.33 c 813 151.49 o 14222 151.49 c 810 151.60 o 14225 151.60 c 807 151.76 o 14226 151.76 c 806 151.91 o 14229 151.91 c 803 152.07 o 14231 152.07 c 801 152.22 o 14233 152.22 c 799 152.37 o 14234 152.37 c 798 153.14 o 14236 153.14 c 796 153.92 o 14239 153.92 c 793 154.00 o 14242 154.00 c 790 154.13 o 14246 154.13 c 786 154.24 o 14247 154.24 c 785 154.50 o 14250 154.50 c 782 154.88 o 14252 154.88 c 780 154.96 o 14253 154.96 c 779 155.09 o 14255 155.09 c 777 155.48 o 14256 155.48 c 776 155.74 o 14258 155.74 c 774 155.86 o 14259 155.86 c 773 157.15 o 14260 157.15 c 772 157.40 o 14261 157.40 c 771 157.53 o 14262 157.53 c 770 157.67 o 14265 157.67 c 767 157.93 o 14267 157.93 c 765 160.17 o 14275 160.17 c 757 160.72 o 14276 160.72 c 756 160.83 o 14278 160.83 c 754 161.12 o 14280 161.12 c 752 161.27 o 14282 161.27 c 750 161.59 o 14283 161.59 c 749 161.74 o 14285 161.74 c 747 161.87 o 14288 161.87 c 744 163.17 o 14290 163.17 c 742 163.32 o 14291 163.32 c 741 163.74 o 14292 163.74 c 740 163.89 o 14297 163.89 c 735 164.22 o 14299 164.22 c 733 164.37 o 14300 164.37 c 732 164.99 o 14301 164.99 c 731 165.50 o 14302 165.50 c 730 166.43 o 14303 166.43 c 729 167.20 o 14304 167.20 c 728 167.68 o 14306 167.68 c 726 167.84 o 14307 167.84 c 725 168.14 o 14309 168.14 c 723 168.29 o 14311 168.29 c 721 168.45 o 14314 168.45 c 718 168.59 o 14317 168.59 c 715 169.15 o 14320 169.15 c 712 169.29 o 14323 169.29 c 709 169.89 o 14324 169.89 c 708 170.03 o 14327 170.03 c 705 172.97 o 14329 172.97 c 703 173.27 o 14330 173.27 c 702 173.56 o 14332 173.56 c 700 173.71 o 14333 173.71 c 699 176.30 o 14334 176.30 c 698 176.63 o 14335 176.63 c 697 176.78 o 14336 176.78 c 696 176.94 o 14338 176.94 c 694 182.68 o 14340 182.68 c 692 182.85 o 14342 182.85 c 690 183.17 o 14344 183.17 c 688 184.98 o 14345 184.98 c 687 185.59 o 14346 185.59 c 686 185.75 o 14347 185.75 c 685 185.91 o 14348 185.91 c 684 186.08 o 14351 186.08 c 681 186.73 o 14353 186.73 c 679 187.05 o 14356 187.05 c 676 187.22 o 14357 187.22 c 675 187.71 o 14358 187.71 c 674 189.96 o 14359 189.96 c 673 190.14 o 14360 190.14 c 672 190.58 o 14361 190.58 c 671 191.07 o 14363 191.07 c 669 191.53 o 14365 191.53 c 667 192.03 o 14366 192.03 c 666 192.38 o 14367 192.38 c 665 192.69 o 14370 192.69 c 662 193.66 o 14371 193.66 c 661 193.77 o 14372 193.77 c 660 195.43 o 14373 195.43 c 659 195.61 o 14377 195.61 c 655 195.95 o 14378 195.95 c 654 196.13 o 14381 196.13 c 651 196.29 o 14383 196.29 c 649 196.48 o 14384 196.49 c 648 197.01 o 14386 197.01 c 646 197.18 o 14390 197.18 c 642 197.52 o 14391 197.52 c 641 197.68 o 14393 197.68 c 639 197.86 o 14395 197.86 c 637 198.39 o 14396 198.39 c 636 198.53 o 14398 198.53 c 634 198.71 o 14404 198.71 c 628 198.88 o 14405 198.88 c 627 199.23 o 14406 199.23 c 626 199.53 o 14407 199.53 c 625 200.38 o 14408 200.38 c 624 200.68 o 14410 200.68 c 622 200.71 o 14416 200.71 c 616 200.82 o 14419 200.82 c 613 200.91 o 14420 200.91 c 612 201.58 o 14422 201.58 c 610 201.75 o 14423 201.75 c 609 201.87 o 14424 201.87 c 608 202.03 o 14427 202.03 c 605 202.19 o 14428 202.19 c 604 212.66 o 14429 212.66 c 603 213.09 o 14430 213.09 c 602 213.30 o 14432 213.30 c 600 213.50 o 14433 213.50 c 599 214.12 o 14434 214.12 c 598 214.52 o 14436 214.52 c 596 214.53 o 14437 214.53 c 595 214.68 o 14438 214.68 c 594 216.14 o 14439 216.14 c 593 216.33 o 14440 216.33 c 592 225.19 o 14441 225.19 c 591 227.40 o 14443 227.40 c 589 231.38 o 14444 231.38 c 588 231.61 o 14445 231.61 c 587 231.83 o 14448 231.83 c 584 232.29 o 14450 232.29 c 582 232.71 o 14451 232.71 c 581 232.82 o 14454 232.82 c 578 233.24 o 14458 233.24 c 574 233.64 o 14459 233.64 c 573 234.05 o 14460 234.05 c 572 234.27 o 14461 234.27 c 571 234.49 o 14462 234.49 c 570 234.56 o 14463 234.56 c 569 236.64 o 14464 236.64 c 568 237.27 o 14465 237.27 c 567 238.83 o 14466 238.83 c 566 243.13 o 14467 243.13 c 565 243.59 o 14469 243.59 c 563 243.82 o 14471 243.82 c 561 244.04 o 14472 244.04 c 560 249.98 o 14474 249.98 c 558 251.54 o 14475 251.54 c 557 253.33 o 14477 253.33 c 555 254.85 o 14478 254.85 c 554 255.23 o 14480 255.23 c 552 255.46 o 14481 255.46 c 551 255.69 o 14482 255.69 c 550 256.40 o 14483 256.40 c 549 256.79 o 14484 256.79 c 548 257.03 o 14485 257.03 c 547 257.51 o 14487 257.51 c 545 259.67 o 14488 259.67 c 544 260.61 o 14491 260.61 c 541 261.09 o 14492 261.09 c 540 261.35 o 14493 261.35 c 539 264.61 o 14495 264.61 c 537 264.87 o 14498 264.87 c 534 265.09 o 14499 265.09 c 533 265.60 o 14500 265.60 c 532 265.85 o 14501 265.85 c 531 266.03 o 14503 266.03 c 529 266.27 o 14504 266.27 c 528 266.77 o 14505 266.77 c 527 267.02 o 14509 267.02 c 523 267.77 o 14510 267.77 c 522 273.66 o 14513 273.66 c 519 273.74 o 14516 273.74 c 516 275.00 o 14521 275.00 c 511 275.30 o 14523 275.30 c 509 275.91 o 14524 275.91 c 508 276.11 o 14525 276.11 c 507 276.50 o 14526 276.50 c 506 276.90 o 14527 276.90 c 505 277.28 o 14528 277.28 c 504 277.48 o 14529 277.48 c 503 277.81 o 14530 277.81 c 502 278.00 o 14532 278.00 c 500 278.32 o 14533 278.32 c 499 278.53 o 14535 278.53 c 497 279.33 o 14538 279.33 c 494 279.53 o 14539 279.53 c 493 279.94 o 14540 279.94 c 492 281.85 o 14542 281.85 c 490 282.10 o 14544 282.10 c 488 282.29 o 14545 282.29 c 487 282.50 o 14546 282.50 c 486 282.91 o 14547 282.91 c 485 283.53 o 14549 283.53 c 483 283.73 o 14550 283.73 c 482 283.94 o 14552 283.94 c 480 284.24 o 14554 284.24 c 478 285.69 o 14555 285.69 c 477 285.95 o 14558 285.95 c 474 287.91 o 14560 287.91 c 472 288.13 o 14562 288.13 c 470 288.81 o 14563 288.81 c 469 289.02 o 14564 289.02 c 468 291.35 o 14565 291.35 c 467 291.56 o 14568 291.56 c 464 293.63 o 14569 293.63 c 463 295.10 o 14572 295.10 c 460 295.52 o 14577 295.52 c 455 298.83 o 14581 298.83 c 451 299.78 o 14583 299.78 c 449 300.20 o 14585 300.20 c 447 303.45 o 14586 303.45 c 446 303.89 o 14587 303.89 c 445 307.01 o 14588 307.01 c 444 307.22 o 14589 307.22 c 443 308.25 o 14591 308.25 c 441 308.66 o 14592 308.66 c 440 308.87 o 14593 308.87 c 439 309.05 o 14594 309.05 c 438 309.68 o 14595 309.68 c 437 310.10 o 14596 310.10 c 436 311.45 o 14597 311.45 c 435 315.32 o 14598 315.32 c 434 316.52 o 14601 316.52 c 431 316.72 o 14602 316.72 c 430 316.94 o 14603 316.94 c 429 317.11 o 14605 317.11 c 427 323.52 o 14606 323.52 c 426 323.74 o 14607 323.74 c 425 334.71 o 14608 334.71 c 424 334.93 o 14609 334.93 c 423 339.72 o 14610 339.72 c 422 340.18 o 14611 340.18 c 421 341.29 o 14613 341.29 c 419 341.51 o 14615 341.51 c 417 342.64 o 14617 342.64 c 415 344.58 o 14620 344.58 c 412 344.77 o 14621 344.77 c 411 345.41 o 14622 345.41 c 410 346.42 o 14624 346.42 c 408 347.11 o 14625 347.11 c 407 347.60 o 14626 347.60 c 406 347.77 o 14627 347.77 c 405 348.24 o 14628 348.24 c 404 348.52 o 14629 348.52 c 403 348.91 o 14630 348.91 c 402 349.39 o 14631 349.39 c 401 349.81 o 14633 349.81 c 399 353.08 o 14634 353.08 c 398 353.21 o 14635 353.21 c 397 354.81 o 14636 354.81 c 396 355.04 o 14637 355.04 c 395 355.28 o 14638 355.28 c 394 355.51 o 14639 355.51 c 393 355.69 o 14640 355.69 c 392 355.93 o 14641 355.93 c 391 359.21 o 14642 359.21 c 390 359.43 o 14643 359.43 c 389 362.53 o 14644 362.53 c 388 362.76 o 14646 362.76 c 386 362.90 o 14647 362.90 c 385 364.02 o 14648 364.02 c 384 364.16 o 14649 364.16 c 383 366.12 o 14650 366.12 c 382 366.28 o 14652 366.28 c 380 367.19 o 14653 367.19 c 379 368.25 o 14654 368.25 c 378 370.08 o 14657 370.08 c 375 370.32 o 14658 370.32 c 374 370.79 o 14659 370.79 c 373 371.03 o 14660 371.03 c 372 371.98 o 14661 371.98 c 371 372.22 o 14663 372.22 c 369 372.47 o 14664 372.47 c 368 374.05 o 14665 374.05 c 367 374.52 o 14667 374.52 c 365 375.02 o 14669 375.02 c 363 376.79 o 14670 376.79 c 362 377.02 o 14671 377.02 c 361 378.89 o 14672 378.89 c 360 379.10 o 14673 379.10 c 359 380.17 o 14675 380.17 c 357 380.39 o 14676 380.39 c 356 380.61 o 14678 380.61 c 354 399.34 o 14679 399.34 c 353 400.77 o 14680 400.77 c 352 401.01 o 14682 401.01 c 350 401.95 o 14683 401.95 c 349 402.78 o 14685 402.78 c 347 403.02 o 14686 403.02 c 346 403.25 o 14687 403.25 c 345 403.92 o 14688 403.92 c 344 407.33 o 14690 407.33 c 342 407.97 o 14691 407.97 c 341 408.20 o 14692 408.20 c 340 408.42 o 14693 408.42 c 339 408.66 o 14695 408.66 c 337 408.89 o 14696 408.89 c 336 409.85 o 14697 409.85 c 335 411.59 o 14698 411.59 c 334 411.74 o 14699 411.74 c 333 411.99 o 14700 411.99 c 332 412.45 o 14703 412.45 c 329 412.60 o 14706 412.60 c 326 412.85 o 14708 412.85 c 324 413.09 o 14709 413.09 c 323 413.33 o 14710 413.33 c 322 414.72 o 14713 414.72 c 319 416.00 o 14714 416.00 c 318 417.06 o 14715 417.06 c 317 419.12 o 14716 419.12 c 316 419.33 o 14717 419.33 c 315 419.64 o 14718 419.64 c 314 420.45 o 14722 420.45 c 310 420.88 o 14723 420.88 c 309 421.10 o 14725 421.10 c 307 421.21 o 14726 421.21 c 306 421.43 o 14728 421.43 c 304 421.58 o 14729 421.58 c 303 422.23 o 14730 422.23 c 302 423.50 o 14731 423.50 c 301 423.72 o 14732 423.72 c 300 424.74 o 14733 424.74 c 299 425.16 o 14734 425.16 c 298 425.37 o 14735 425.37 c 297 425.60 o 14736 425.60 c 296 425.63 o 14737 425.63 c 295 426.35 o 14738 426.35 c 294 426.54 o 14739 426.54 c 293 427.49 o 14740 427.49 c 292 429.64 o 14741 429.64 c 291 430.79 o 14743 430.79 c 289 432.89 o 14744 432.89 c 288 433.15 o 14745 433.15 c 287 463.59 463.59 search 463.59 run=0 nbConstraintChecks=1174724855 nbAssignments=2804 463.59 => wckTime=401.005 cpuTime=397.23 mem=48M540 463.59 463.59 global 463.59 nbConstraintChecks=1174724855 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 463.59 solvingWckTime=400.995 solvingCpuTime=397.22 expiredTime=no totalExploration=no nbFoundSolutions=0 463.59 globalCpuTime=458.12 463.59 => wckTime=463.281 cpuTime=458.07 mem=48M540 463.59 463.59 solver IterativeSystematicSolver being built... 464.06 => wckTime=463.753 cpuTime=458.37 mem=90M789 499.66 499.66 preprocessing 499.66 nbConstraintChecks=77633892 nbValidityChecks=350398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 499.66 nbRemovedValues=0 detectedInconsistency=no 499.66 => wckTime=35.596 cpuTime=35.25 mem=90M789 2415.83 v -2032 -2720 2064 -2020 -2088 -2736 -2060 -2456 2700 2396 2060 -2736 2068 -2492 -2740 2632 -2244 -2524 -2572 2572 2204 2020 -2496 -2484 2424 2408 2476 2552 2692 2664 -2076 2652 2508 -2300 2700 -2060 -2448 2044 -2344 -2540 2544 2504 2072 -2580 2056 -2488 -2108 -2196 -2192 -2460 2272 -2448 2276 -2168 2420 -2736 2668 2256 -2720 2232 -2712 -2580 -2076 2568 -2368 2020 2072 -2264 -2668 -2024 -2316 -2296 2668 2740 2536 -2468 -2372 -2284 2628 2336 2716 -2036 2412 2320 -2020 -2580 -2140 -2488 -2272 2712 -2096 -2688 2568 -2084 2092 2564 2028 -2376 -2532 -2068 -2116 2456 -2536 2348 -2676 -2548 -2728 -2668 -2740 -2336 -2720 -2516 2680 -2600 -2504 -2056 -2536 2240 -2680 2308 2272 -2500 -2116 -2680 -2148 2196 2564 -2632 -2692 -2468 -2560 -2688 2692 2292 2032 -2088 -2356 -2696 -2624 2424 2528 2100 2208 2028 -2252 -2028 -2408 2588 2608 -2336 2244 -2316 2156 2632 -2040 -2720 2372 -2660 2028 -2152 2588 2592 2552 2316 -2452 -2192 2204 -2452 2740 2700 -2416 2700 2200 2100 -2432 2420 2324 -2080 -2516 2660 -2696 2720 -2292 -2384 -2504 2268 -2428 -2364 2568 -2196 2100 -2508 2112 -2228 2404 2220 2232 2148 2236 -2592 2556 -2292 -2072 -2684 -2324 -2552 -2608 2060 2740 2080 2672 -2464 2028 2540 2724 -2540 2240 2628 2368 -2372 2112 -2172 -2028 -2436 2736 2736 2480 -2712 2320 2388 -2524 -2672 -2636 -2440 -2648 2488 2364 -2028 2292 2388 -2564 -2276 2052 2740 -2684 -2580 -2592 2532 2248 2072 2512 2104 -2100 2668 -2032 -2084 -2252 2708 2356 -2696 -2020 -2200 2140 2392 -2724 -2080 2360 2524 -2120 2052 -2496 -2352 -2648 -2628 2120 -2076 -2460 -2072 2232 2708 -2152 -2544 -2180 2168 -2620 -2472 -2104 2676 2692 2080 -2740 -2660 -2248 2236 -2080 2412 -2640 2440 -2428 2416 2388 -2148 2144 -2608 2512 -2296 2652 -2520 2376 -2276 2388 2136 -2400 2264 2416 -2504 2188 2120 -2020 -2256 -2360 -2496 -2724 2072 -2068 -2428 2572 2732 2444 2644 2544 -2740 -2040 2436 2040 2092 2212 -2544 -2260 2408 2184 2060 -2260 2096 2060 2552 2304 2708 -2636 2244 -2620 2088 -2108 -2544 2576 -2592 -2572 2340 2448 -2316 2584 2376 2092 -2148 2324 2548 -2028 2036 2464 2468 -2700 -2300 -2084 2180 2700 2616 2612 -2632 -2672 -2148 2024 -2052 2684 2076 2108 -2136 -2288 -2628 -2020 2252 -2080 2580 -2584 2220 2472 2184 2136 -2716 2344 -2200 -2564 -2468 -2184 -2528 2180 2540 2352 2276 2232 -2692 2280 -2588 2696 2488 -2620 2356 2472 2228 2680 -2676 2540 2108 2596 -2624 2460 2136 -2436 2100 -2532 2348 2472 -2740 -2076 2444 -2436 -2740 2296 -2260 -2092 -2388 2024 2060 -2204 -2732 -2684 -2032 2480 2544 2616 2680 2080 -2432 2552 2584 -2136 -2540 2348 -2596 2420 2572 2716 -2304 2452 -2148 2580 2740 2608 -2332 2172 2184 2020 2080 -2284 -2360 2268 2700 -2324 -2488 -2400 2096 -2488 2628 -2504 2348 2412 -2036 2672 -2684 2644 2284 2632 2592 -2628 -2412 -2408 2192 2036 2592 2384 2500 -2380 -2240 2096 2540 -2732 2580 -2024 -2256 -2376 2064 2476 -2308 -2228 -2704 -2524 2688 -2480 -2188 2676 2740 -2700 2496 -2600 -2076 -2512 -2504 2332 2672 -2464 2620 -2640 2356 2032 -2568 -2160 -2496 -2072 -2648 2548 -2384 -2680 -2532 -2464 -2532 -2264 2428 -2620 -2692 2404 2680 2176 2692 2724 2468 -2424 2112 -2596 -2036 -2700 -2252 -2480 -2212 2660 -2164 2212 -2196 -2096 2700 2700 -2268 -2528 -2140 2168 2068 -2320 -2416 2140 2560 2708 -2648 -2512 2192 -2588 -2400 -2408 -2572 -2312 2096 -2700 -2024 -2496 2556 -2584 -2224 2684 2652 2256 -2372 -2588 -2076 2356 2648 -2076 -2632 2512 2288 -2304 2328 -2220 -2640 2668 -2540 -2596 -2524 -2536 -2192 -2388 -2212 2740 2684 2660 2376 -2348 2032 2236 -2724 -2068 2160 -2580 -2740 2392 2540 2500 2064 2432 -2484 -2400 2216 -2492 2588 2224 -2096 -2368 -2296 -2072 -2060 2104 -2080 2612 2088 -2548 -2028 -2468 -2556 2348 2068 -2024 -2472 -2216 -2032 -2536 2492 -2208 2308 -2168 -2180 2724 -2564 2720 -2244 -2436 2252 -2396 2204 2608 -2692 -2432 -2300 -2360 -2168 2740 -2328 -2112 2572 -2368 2284 -2228 -2624 2412 -2340 -2076 -2020 2360 2724 -2068 2500 -2656 -2328 2284 2020 2476 2256 -2048 2100 2648 -2348 2636 2448 -2068 -2436 2336 -2508 2036 -2604 -2420 2580 2296 -2608 -2128 -2144 -2556 -2344 -2356 -2040 2156 2232 2684 -2388 -2256 2412 -2712 2536 -2240 2472 2036 -2124 2676 -2220 2552 -2352 -2184 -2220 2148 2724 -2396 2724 -2280 -2120 -2544 2116 -2524 2036 2280 -2192 2068 -2376 2684 -2460 2336 2492 -2336 2492 -2316 2460 2128 2408 2564 2548 -2212 2600 2316 2628 2456 2696 2084 -2532 2200 2036 -2388 2156 2728 2152 2564 2044 2288 2060 -2720 -2448 2168 2244 -2552 -2064 -2616 -2680 -2504 2128 2672 -2432 -2440 -2688 2672 -2504 2440 2284 2688 2284 2064 2400 -2456 -2212 -2732 -2576 2508 -2296 -2328 -2336 -2392 2064 -2484 2684 2584 -2740 -2296 2060 -2636 -2592 2616 -2432 2084 2296 2020 -2060 -2324 -2528 2728 -2064 -2708 -2384 2656 -2700 2060 -2444 -2588 -2704 -2612 -2672 -2724 2444 2064 2032 -2580 2476 2192 2112 2056 2312 2544 2560 2044 2608 -2508 2428 -2164 -2716 2224 -2216 -2596 -2700 2528 2128 -2560 2512 -2336 -2332 -2668 2288 2128 2064 -2108 -2396 -2256 2732 -2464 2620 -2664 2672 2028 -2440 2400 2728 -2060 2732 -2524 2208 -2152 2124 -2524 2384 -2700 2600 2668 2696 2124 -2644 2344 -2188 -2384 -2272 2576 -2484 -2096 -2712 2132 2320 2276 -2208 -2628 2448 2360 -2072 2072 2712 2416 2672 2392 2164 -2108 2372 2020 2732 2524 -2740 -2372 2668 -2328 -2684 -2316 -2044 2468 -2588 2252 -2448 2280 2548 2020 2440 -2144 -2212 -2560 2268 -2180 2576 2568 2584 -2392 -2344 2332 -2564 -2608 2152 2252 2060 -2276 2048 2144 2252 2264 -2040 2032 -2592 2660 -2448 -2492 -2372 -2092 -2484 2060 -2072 -2364 2212 -2068 -2580 2660 -2400 -2076 -2408 2136 2584 2584 2700 2020 -2316 2700 2620 -2676 2452 -2608 2684 2520 -2644
287 unsatisfied constraints, 14745 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-275274-1169219121 -o ROOT/results/node41/solver-275274-1169219121 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275274-1169219121/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.92 1.97 1.91 4/80 13444 /proc/meminfo: memFree=1568016/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=9748 CPUtime=0 /proc/13443/stat : 13443 (java) D 13441 13443 12807 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270311413 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1962788 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0 /proc/13443/statm: 2487 472 386 14 0 1142 0 [startup+0.103396 s] /proc/loadavg: 1.92 1.97 1.91 4/80 13444 /proc/meminfo: memFree=1568016/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=914988 CPUtime=0.09 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 2996 0 1 0 7 2 0 0 19 0 8 0 270311413 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228747 2742 1427 14 0 215242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.511432 s] /proc/loadavg: 1.92 1.97 1.91 4/80 13444 /proc/meminfo: memFree=1568016/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915332 CPUtime=0.5 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 7396 0 1 0 45 5 0 0 18 0 8 0 270311413 937299968 7135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228833 7135 2140 14 0 215303 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 915332 [startup+1.3365 s] /proc/loadavg: 1.92 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1500952/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=1.3 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 21087 0 1 0 118 12 0 0 24 0 8 0 270311413 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 20824 2181 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.06 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 4475 0 0 0 5 1 0 0 16 0 8 0 270311416 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.17 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 401 0 0 0 16 1 0 0 16 0 8 0 270311420 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915636 [startup+2.98164 s] /proc/loadavg: 1.92 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1492952/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=2.95 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 21095 0 1 0 282 13 0 0 25 0 8 0 270311413 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 20831 2181 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.06 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 4475 0 0 0 5 1 0 0 17 0 8 0 270311416 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.18 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 408 0 0 0 17 1 0 0 15 0 8 0 270311420 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 915636 [startup+6.26193 s] /proc/loadavg: 1.93 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1492760/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=6.19 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 21112 0 1 0 605 14 0 0 25 0 8 0 270311413 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 20848 2182 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.06 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 4475 0 0 0 5 1 0 0 16 0 8 0 270311416 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.2 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 424 0 0 0 19 1 0 0 15 0 8 0 270311420 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 915636 [startup+12.7485 s] /proc/loadavg: 1.93 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1492824/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=12.62 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 21115 0 1 0 1246 16 0 0 25 0 8 0 270311413 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 20850 2182 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.06 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 4475 0 0 0 5 1 0 0 16 0 8 0 270311416 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.2 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 426 0 0 0 19 1 0 0 15 0 8 0 270311420 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 915636 [startup+25.5956 s] /proc/loadavg: 1.95 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1490456/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=25.35 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 21765 0 1 0 2516 19 0 0 25 0 8 0 270311413 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 21497 2182 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.12 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 5117 0 0 0 11 1 0 0 16 0 8 0 270311416 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.21 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270311420 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 21497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 915636 [startup+51.2068 s] /proc/loadavg: 1.96 1.97 1.91 4/87 13451 /proc/meminfo: memFree=1478104/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=50.72 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 24854 0 1 0 5043 29 0 0 25 0 8 0 270311413 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 24584 2182 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.24 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 8196 0 0 0 21 3 0 0 16 0 8 0 270311416 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.23 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 439 0 0 0 22 1 0 0 16 0 8 0 270311420 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) R 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 24584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 915636 [startup+102.444 s] /proc/loadavg: 1.98 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1457176/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=101.46 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 30403 0 1 0 10099 47 0 0 25 0 8 0 270311413 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13443/statm: 228909 30127 2501 14 0 215379 0 [pid=13443/tid=13445] ppid=13441 vsize=915636 CPUtime=0.63 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 13365 0 0 0 58 5 0 0 16 0 8 0 270311416 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270311417 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915636 CPUtime=0.29 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 468 0 0 0 27 2 0 0 15 0 8 0 270311420 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915636 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937611264 30127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.46 Current children cumulated vsize (KiB) 915636 [startup+162.541 s] /proc/loadavg: 1.99 1.97 1.91 3/87 13451 /proc/meminfo: memFree=1457176/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915636 CPUtime=160.98 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 30405 0 1 0 16046 52 0 0 25 0 8 0 270311413 937611264 30129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2009.12 Current children cumulated vsize (KiB) 915744 [startup+2084.59 s] /proc/loadavg: 2.08 2.02 1.98 3/80 13501 /proc/meminfo: memFree=1441184/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2069.09 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 206835 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2069.09 Current children cumulated vsize (KiB) 915744 [startup+2144.64 s] /proc/loadavg: 2.03 2.01 1.98 3/80 13501 /proc/meminfo: memFree=1441248/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2129.1 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 212836 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2129.1 Current children cumulated vsize (KiB) 915744 [startup+2204.69 s] /proc/loadavg: 2.01 2.01 1.98 3/80 13501 /proc/meminfo: memFree=1441184/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2189.1 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 218836 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2189.1 Current children cumulated vsize (KiB) 915744 [startup+2264.75 s] /proc/loadavg: 2.00 2.00 1.98 3/80 13501 /proc/meminfo: memFree=1441184/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2249.08 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 224834 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2249.08 Current children cumulated vsize (KiB) 915744 [startup+2324.8 s] /proc/loadavg: 2.00 2.00 1.98 3/80 13501 /proc/meminfo: memFree=1441184/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2309.09 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 230835 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2309.09 Current children cumulated vsize (KiB) 915744 [startup+2384.86 s] /proc/loadavg: 2.00 2.00 1.98 3/80 13501 /proc/meminfo: memFree=1441248/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2369.1 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 236836 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2369.1 Current children cumulated vsize (KiB) 915744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2415.82 s] /proc/loadavg: 2.00 2.00 1.98 3/80 13501 /proc/meminfo: memFree=1441184/2055920 swapFree=4191892/4192956 [pid=13443] ppid=13441 vsize=915744 CPUtime=2400.03 /proc/13443/stat : 13443 (java) R 13441 13443 12807 0 -1 0 39906 0 1 0 239929 74 0 0 25 0 8 0 270311413 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13443/statm: 228936 39577 2548 14 0 215406 0 [pid=13443/tid=13445] ppid=13441 vsize=915744 CPUtime=0.74 /proc/13443/task/13445/stat : 13445 (java) S 13441 13443 12807 0 -1 64 22630 0 0 0 66 8 0 0 16 0 8 0 270311416 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13446] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13446/stat : 13446 (java) S 13441 13443 12807 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13447] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13447/stat : 13447 (java) S 13441 13443 12807 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270311417 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13448] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13448/stat : 13448 (java) S 13441 13443 12807 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13449] ppid=13441 vsize=915744 CPUtime=0.41 /proc/13443/task/13449/stat : 13449 (java) S 13441 13443 12807 0 -1 64 594 0 0 0 39 2 0 0 16 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13450] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13450/stat : 13450 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13443/tid=13451] ppid=13441 vsize=915744 CPUtime=0 /proc/13443/task/13451/stat : 13451 (java) S 13441 13443 12807 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270311420 937721856 39577 18446744073709551615 134512640 134570532 4294956480 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) 915744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2415.88 CPU time (s): 2400.09 CPU user time (s): 2399.32 CPU system time (s): 0.771882 CPU usage (%): 99.3463 Max. virtual memory (cumulated for all children) (KiB): 915936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.32 system time used= 0.771882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39931 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= 50665 involuntary context switches= 86485 runsolver used 2.77858 s user time and 7.74582 s system time The end
Begin job on node41 on Fri Jan 19 15:05:22 UTC 2007 IDJOB= 275274 IDBENCH= 3761 IDSOLVER= 69 FILE ID= node41/275274-1169219121 PBS_JOBID= 3589149 Free space on /tmp= 66559 MiB SOLVER NAME= AbsconMax 109 PFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-6.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275274-1169219121/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-275274-1169219121 -o ROOT/results/node41/solver-275274-1169219121 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275274-1169219121/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 6b5dd0783de8ffe8db36fbbb14ddfcf0 RANDOM SEED= 996206650 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.234 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.234 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: 1568432 kB Buffers: 45444 kB Cached: 317196 kB SwapCached: 276 kB Active: 136588 kB Inactive: 272024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568432 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 3740 kB Writeback: 0 kB Mapped: 64984 kB Slab: 64084 kB Committed_AS: 5674536 kB PageTables: 1972 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= 66559 MiB End job on node41 on Fri Jan 19 15:45:38 UTC 2007