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.1 | 2416.17 |
| 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.32 configuration 0.32 name=epfc.xml 0.35 0.35 instance 0.35 name=/tmp/evaluation/275273-1169219115/unknown.xml 0.38 0.38 domains being loaded... 0.42 0.42 variables being loaded... 0.58 nbVariables=1000 nbDomainTypes=18 minDomainSize=50 maxDomainSize=362 0.58 => wckTime=0.265 cpuTime=0.19 mem=17M615 0.58 0.58 predicates being loaded... 0.59 0.59 constraints being loaded... 61.22 61.22 INFO : Stopping converting binary constraints (cpu=60.01, mem = 73M437) 62.30 nbConstraints=15032 nbConvertedConstraints=4482 nbConvertConstraintsChecks=189399816 nbExtensionStructures=2622 62.30 nbSharedExtensionStructures=1860 nbConflictsStructures=2622 nbSharedConflictsStructures=1860 62.30 nbSharedBinaryRepresentations=1328498 nbEvaluationManagers=5071 nbSharedEvaluationManagers=5479 maxDegree=51 62.30 maxArity=2 62.30 => wckTime=61.982 cpuTime=60.82 mem=48M975 62.51 62.51 solver LocalSearchSolver being built... 62.55 => wckTime=62.236 cpuTime=60.87 mem=47M504 62.63 62.64 s SATISFIABLE 62.64 o 12133 62.64 c 2899 62.67 o 12142 62.67 c 2890 62.71 o 12153 62.71 c 2879 62.74 o 12160 62.74 c 2872 62.76 o 12169 62.76 c 2863 62.79 o 12177 62.79 c 2855 62.80 o 12189 62.80 c 2843 62.83 o 12193 62.83 c 2839 62.84 o 12195 62.84 c 2837 62.88 o 12196 62.88 c 2836 62.90 o 12197 62.90 c 2835 62.92 o 12203 62.92 c 2829 62.95 o 12212 62.95 c 2820 62.98 o 12216 62.98 c 2816 63.01 o 12225 63.01 c 2807 63.03 o 12234 63.03 c 2798 63.08 o 12241 63.08 c 2791 63.11 o 12247 63.11 c 2785 63.15 o 12253 63.15 c 2779 63.19 o 12259 63.19 c 2773 63.22 o 12264 63.22 c 2768 63.25 o 12269 63.25 c 2763 63.28 o 12274 63.28 c 2758 63.30 o 12278 63.30 c 2754 63.34 o 12281 63.34 c 2751 63.38 o 12284 63.38 c 2748 63.41 o 12287 63.41 c 2745 63.43 o 12289 63.43 c 2743 63.45 o 12293 63.45 c 2739 63.49 o 12296 63.49 c 2736 63.51 o 12300 63.51 c 2732 63.53 o 12302 63.53 c 2730 63.56 o 12307 63.56 c 2725 63.60 o 12315 63.60 c 2717 63.63 o 12322 63.63 c 2710 63.65 o 12329 63.65 c 2703 63.69 o 12335 63.69 c 2697 63.77 o 12340 63.77 c 2692 63.80 o 12345 63.80 c 2687 63.83 o 12350 63.83 c 2682 63.86 o 12355 63.86 c 2677 63.88 o 12357 63.88 c 2675 63.92 o 12361 63.92 c 2671 63.94 o 12364 63.94 c 2668 63.97 o 12367 63.97 c 2665 63.99 o 12370 63.99 c 2662 64.01 o 12372 64.01 c 2660 64.03 o 12374 64.03 c 2658 64.05 o 12376 64.05 c 2656 64.08 o 12377 64.08 c 2655 64.12 o 12381 64.12 c 2651 64.14 o 12388 64.14 c 2644 64.17 o 12394 64.17 c 2638 64.19 o 12399 64.19 c 2633 64.24 o 12400 64.24 c 2632 64.27 o 12403 64.27 c 2629 64.31 o 12406 64.31 c 2626 64.33 o 12414 64.33 c 2618 64.36 o 12421 64.36 c 2611 64.40 o 12428 64.40 c 2604 64.44 o 12429 64.44 c 2603 64.48 o 12435 64.48 c 2597 64.53 o 12438 64.53 c 2594 64.55 o 12444 64.55 c 2588 64.59 o 12449 64.59 c 2583 64.63 o 12455 64.63 c 2577 64.66 o 12460 64.66 c 2572 64.70 o 12465 64.70 c 2567 64.73 o 12470 64.73 c 2562 64.78 o 12475 64.78 c 2557 64.82 o 12479 64.82 c 2553 64.85 o 12483 64.85 c 2549 64.87 o 12487 64.87 c 2545 64.90 o 12491 64.90 c 2541 64.93 o 12495 64.93 c 2537 64.97 o 12498 64.97 c 2534 65.00 o 12501 65.00 c 2531 65.03 o 12504 65.03 c 2528 65.05 o 12506 65.05 c 2526 65.07 o 12509 65.07 c 2523 65.13 o 12510 65.13 c 2522 65.13 o 12513 65.13 c 2519 65.15 o 12514 65.15 c 2518 65.19 o 12521 65.19 c 2511 65.23 o 12524 65.23 c 2508 65.28 o 12526 65.28 c 2506 65.31 o 12527 65.31 c 2505 65.33 o 12533 65.33 c 2499 65.35 o 12539 65.35 c 2493 65.37 o 12540 65.37 c 2492 65.42 o 12541 65.42 c 2491 65.45 o 12545 65.45 c 2487 65.50 o 12547 65.50 c 2485 65.54 o 12549 65.54 c 2483 65.57 o 12556 65.57 c 2476 65.58 o 12559 65.58 c 2473 65.61 o 12564 65.61 c 2468 65.65 o 12569 65.65 c 2463 65.68 o 12574 65.68 c 2458 65.72 o 12579 65.72 c 2453 65.75 o 12584 65.75 c 2448 65.79 o 12587 65.79 c 2445 65.82 o 12590 65.82 c 2442 65.84 o 12593 65.84 c 2439 65.87 o 12596 65.87 c 2436 65.90 o 12598 65.90 c 2434 65.93 o 12600 65.93 c 2432 65.96 o 12606 65.96 c 2426 65.97 o 12609 65.97 c 2423 66.01 o 12610 66.01 c 2422 66.03 o 12611 66.03 c 2421 66.06 o 12612 66.06 c 2420 66.08 o 12613 66.08 c 2419 66.10 o 12619 66.10 c 2413 66.21 o 12621 66.21 c 2411 66.23 o 12624 66.23 c 2408 66.29 o 12628 66.29 c 2404 66.38 o 12630 66.38 c 2402 66.40 o 12631 66.40 c 2401 66.43 o 12633 66.43 c 2399 66.45 o 12635 66.45 c 2397 66.48 o 12638 66.48 c 2394 66.52 o 12640 66.52 c 2392 66.55 o 12641 66.55 c 2391 66.58 o 12642 66.58 c 2390 66.62 o 12645 66.62 c 2387 66.66 o 12650 66.66 c 2382 66.71 o 12655 66.71 c 2377 66.76 o 12660 66.76 c 2372 66.81 o 12663 66.81 c 2369 66.85 o 12667 66.85 c 2365 66.94 o 12669 66.94 c 2363 66.98 o 12671 66.98 c 2361 67.02 o 12675 67.02 c 2357 67.06 o 12679 67.06 c 2353 67.11 o 12683 67.11 c 2349 67.15 o 12687 67.15 c 2345 67.18 o 12691 67.18 c 2341 67.21 o 12697 67.21 c 2335 67.25 o 12700 67.25 c 2332 67.29 o 12701 67.29 c 2331 67.32 o 12704 67.32 c 2328 67.36 o 12707 67.36 c 2325 67.41 o 12710 67.41 c 2322 67.44 o 12712 67.44 c 2320 67.48 o 12713 67.48 c 2319 67.52 o 12715 67.52 c 2317 67.56 o 12716 67.56 c 2316 67.59 o 12722 67.59 c 2310 67.64 o 12723 67.64 c 2309 67.86 o 12724 67.86 c 2308 67.92 o 12726 67.92 c 2306 67.96 o 12728 67.96 c 2304 67.99 o 12729 67.99 c 2303 68.03 o 12734 68.03 c 2298 68.08 o 12738 68.08 c 2294 68.11 o 12741 68.11 c 2291 68.20 o 12742 68.20 c 2290 68.23 o 12746 68.23 c 2286 68.26 o 12752 68.26 c 2280 68.29 o 12757 68.29 c 2275 68.36 o 12761 68.36 c 2271 68.39 o 12763 68.39 c 2269 68.42 o 12766 68.42 c 2266 68.63 o 12771 68.63 c 2261 68.68 o 12772 68.68 c 2260 68.73 o 12773 68.73 c 2259 68.77 o 12776 68.77 c 2256 68.81 o 12779 68.81 c 2253 68.84 o 12784 68.84 c 2248 68.90 o 12786 68.90 c 2246 68.93 o 12788 68.93 c 2244 68.96 o 12791 68.96 c 2241 68.99 o 12792 68.99 c 2240 69.04 o 12797 69.04 c 2235 69.07 o 12801 69.07 c 2231 69.10 o 12804 69.10 c 2228 69.16 o 12808 69.16 c 2224 69.19 o 12810 69.19 c 2222 69.21 o 12814 69.21 c 2218 69.24 o 12819 69.24 c 2213 69.28 o 12828 69.28 c 2204 69.31 o 12831 69.31 c 2201 69.36 o 12833 69.36 c 2199 69.38 o 12838 69.38 c 2194 69.41 o 12840 69.41 c 2192 69.43 o 12841 69.43 c 2191 69.47 o 12846 69.47 c 2186 69.55 o 12852 69.55 c 2180 69.58 o 12857 69.58 c 2175 69.61 o 12862 69.61 c 2170 69.64 o 12867 69.64 c 2165 69.67 o 12870 69.67 c 2162 69.70 o 12873 69.70 c 2159 69.73 o 12876 69.73 c 2156 69.76 o 12878 69.76 c 2154 69.79 o 12879 69.79 c 2153 69.82 o 12880 69.82 c 2152 69.92 o 12883 69.92 c 2149 69.95 o 12886 69.95 c 2146 69.98 o 12888 69.98 c 2144 70.02 o 12893 70.02 c 2139 70.04 o 12897 70.04 c 2135 70.08 o 12898 70.08 c 2134 70.10 o 12905 70.10 c 2127 70.12 o 12906 70.12 c 2126 70.15 o 12909 70.15 c 2123 70.17 o 12910 70.17 c 2122 70.20 o 12914 70.20 c 2118 70.24 o 12916 70.24 c 2116 70.27 o 12919 70.27 c 2113 70.30 o 12923 70.30 c 2109 70.33 o 12926 70.33 c 2106 70.36 o 12927 70.36 c 2105 70.39 o 12935 70.39 c 2097 70.43 o 12938 70.43 c 2094 70.45 o 12939 70.45 c 2093 70.48 o 12944 70.48 c 2088 70.57 o 12950 70.57 c 2082 70.59 o 12953 70.59 c 2079 70.63 o 12958 70.63 c 2074 70.68 o 12966 70.68 c 2066 70.72 o 12967 70.72 c 2065 70.91 o 12968 70.91 c 2064 70.93 o 12971 70.93 c 2061 70.97 o 12974 70.97 c 2058 71.00 o 12977 71.00 c 2055 71.02 o 12978 71.02 c 2054 71.06 o 12979 71.06 c 2053 71.10 o 12982 71.10 c 2050 71.14 o 12986 71.14 c 2046 71.24 o 12987 71.24 c 2045 71.27 o 12988 71.27 c 2044 71.31 o 12989 71.31 c 2043 71.34 o 12990 71.34 c 2042 71.37 o 12994 71.37 c 2038 71.39 o 13001 71.39 c 2031 71.43 o 13004 71.43 c 2028 71.50 o 13008 71.50 c 2024 71.54 o 13013 71.54 c 2019 71.57 o 13015 71.57 c 2017 71.61 o 13020 71.61 c 2012 71.65 o 13023 71.65 c 2009 71.68 o 13025 71.68 c 2007 71.73 o 13029 71.73 c 2003 71.77 o 13032 71.77 c 2000 71.80 o 13037 71.80 c 1995 71.83 o 13041 71.83 c 1991 71.86 o 13046 71.86 c 1986 71.88 o 13048 71.88 c 1984 71.92 o 13052 71.92 c 1980 71.99 o 13055 71.99 c 1977 72.04 o 13058 72.04 c 1974 72.06 o 13059 72.06 c 1973 72.09 o 13060 72.09 c 1972 72.13 o 13064 72.13 c 1968 72.17 o 13068 72.17 c 1964 72.21 o 13069 72.21 c 1963 72.25 o 13074 72.25 c 1958 72.27 o 13076 72.27 c 1956 72.31 o 13080 72.31 c 1952 72.35 o 13083 72.35 c 1949 72.39 o 13085 72.39 c 1947 72.43 o 13087 72.43 c 1945 72.50 o 13090 72.50 c 1942 72.53 o 13091 72.53 c 1941 72.56 o 13095 72.56 c 1937 72.63 o 13098 72.63 c 1934 72.67 o 13101 72.67 c 1931 72.71 o 13106 72.71 c 1926 72.80 o 13109 72.80 c 1923 72.84 o 13112 72.84 c 1920 72.88 o 13113 72.88 c 1919 72.91 o 13117 72.91 c 1915 72.94 o 13118 72.94 c 1914 72.97 o 13122 72.97 c 1910 73.03 o 13125 73.03 c 1907 73.08 o 13130 73.08 c 1902 73.27 o 13131 73.27 c 1901 73.32 o 13132 73.32 c 1900 73.35 o 13133 73.35 c 1899 73.46 o 13138 73.46 c 1894 73.56 o 13141 73.56 c 1891 73.67 o 13144 73.67 c 1888 73.72 o 13145 73.72 c 1887 73.78 o 13150 73.78 c 1882 73.83 o 13153 73.83 c 1879 73.94 o 13155 73.94 c 1877 74.00 o 13158 74.00 c 1874 74.06 o 13160 74.06 c 1872 74.12 o 13161 74.12 c 1871 74.18 o 13165 74.18 c 1867 74.21 o 13171 74.21 c 1861 74.27 o 13173 74.27 c 1859 74.39 o 13174 74.39 c 1858 74.43 o 13175 74.43 c 1857 74.52 o 13178 74.52 c 1854 74.56 o 13182 74.56 c 1850 74.64 o 13185 74.64 c 1847 74.70 o 13189 74.70 c 1843 74.74 o 13193 74.74 c 1839 74.79 o 13197 74.79 c 1835 74.88 o 13198 74.88 c 1834 74.92 o 13200 74.92 c 1832 75.05 o 13202 75.05 c 1830 75.10 o 13207 75.10 c 1825 75.14 o 13209 75.14 c 1823 75.23 o 13212 75.23 c 1820 75.41 o 13214 75.41 c 1818 75.45 o 13219 75.45 c 1813 75.50 o 13220 75.50 c 1812 75.54 o 13222 75.54 c 1810 75.57 o 13225 75.57 c 1807 75.61 o 13227 75.61 c 1805 75.73 o 13230 75.73 c 1802 75.79 o 13231 75.79 c 1801 76.22 o 13236 76.22 c 1796 76.28 o 13239 76.28 c 1793 76.34 o 13241 76.34 c 1791 76.45 o 13244 76.45 c 1788 76.52 o 13247 76.52 c 1785 76.63 o 13248 76.63 c 1784 76.69 o 13251 76.69 c 1781 76.75 o 13253 76.75 c 1779 76.79 o 13256 76.79 c 1776 76.84 o 13258 76.84 c 1774 77.05 o 13261 77.05 c 1771 77.10 o 13263 77.10 c 1769 77.18 o 13264 77.18 c 1768 77.22 o 13265 77.22 c 1767 77.27 o 13266 77.27 c 1766 77.32 o 13269 77.32 c 1763 77.60 o 13270 77.60 c 1762 77.65 o 13273 77.65 c 1759 77.75 o 13276 77.75 c 1756 77.89 o 13278 77.89 c 1754 77.94 o 13283 77.94 c 1749 77.99 o 13286 77.99 c 1746 78.03 o 13291 78.03 c 1741 78.08 o 13296 78.08 c 1736 78.19 o 13300 78.19 c 1732 78.23 o 13302 78.23 c 1730 78.27 o 13306 78.27 c 1726 78.42 o 13308 78.42 c 1724 78.54 o 13309 78.54 c 1723 78.63 o 13310 78.63 c 1722 78.69 o 13312 78.69 c 1720 78.74 o 13316 78.74 c 1716 78.78 o 13317 78.78 c 1715 78.89 o 13324 78.89 c 1708 78.94 o 13326 78.94 c 1706 78.98 o 13328 78.98 c 1704 79.21 o 13329 79.21 c 1703 79.40 o 13330 79.40 c 1702 79.45 o 13333 79.45 c 1699 79.49 o 13334 79.49 c 1698 79.59 o 13336 79.59 c 1696 79.71 o 13338 79.71 c 1694 79.76 o 13339 79.76 c 1693 79.82 o 13343 79.82 c 1689 79.88 o 13346 79.88 c 1686 79.94 o 13348 79.94 c 1684 80.00 o 13350 80.00 c 1682 80.05 o 13353 80.05 c 1679 80.09 o 13356 80.09 c 1676 80.14 o 13359 80.14 c 1673 80.28 o 13361 80.28 c 1671 80.33 o 13364 80.33 c 1668 80.38 o 13365 80.38 c 1667 80.47 o 13370 80.47 c 1662 80.53 o 13373 80.53 c 1659 80.60 o 13376 80.60 c 1656 80.66 o 13380 80.66 c 1652 80.76 o 13384 80.76 c 1648 80.83 o 13386 80.83 c 1646 80.87 o 13388 80.87 c 1644 80.92 o 13390 80.92 c 1642 80.96 o 13394 80.96 c 1638 81.00 o 13395 81.00 c 1637 81.04 o 13398 81.04 c 1634 81.09 o 13401 81.09 c 1631 81.13 o 13405 81.13 c 1627 81.17 o 13409 81.17 c 1623 81.42 o 13410 81.42 c 1622 81.47 o 13413 81.47 c 1619 81.56 o 13414 81.56 c 1618 81.73 o 13415 81.73 c 1617 81.78 o 13420 81.78 c 1612 81.82 o 13424 81.82 c 1608 81.87 o 13426 81.87 c 1606 81.91 o 13429 81.91 c 1603 81.95 o 13434 81.95 c 1598 82.06 o 13439 82.06 c 1593 82.15 o 13440 82.15 c 1592 82.20 o 13442 82.20 c 1590 82.24 o 13446 82.24 c 1586 82.37 o 13448 82.37 c 1584 82.43 o 13452 82.43 c 1580 82.54 o 13454 82.54 c 1578 82.60 o 13457 82.60 c 1575 82.90 o 13458 82.90 c 1574 82.97 o 13461 82.97 c 1571 83.04 o 13464 83.04 c 1568 83.10 o 13465 83.10 c 1567 83.16 o 13467 83.16 c 1565 83.22 o 13469 83.22 c 1563 83.28 o 13471 83.28 c 1561 83.36 o 13473 83.36 c 1559 83.41 o 13476 83.42 c 1556 83.49 o 13479 83.49 c 1553 83.53 o 13481 83.53 c 1551 83.59 o 13482 83.59 c 1550 83.66 o 13484 83.66 c 1548 83.78 o 13485 83.78 c 1547 83.94 o 13487 83.94 c 1545 84.01 o 13489 84.01 c 1543 84.06 o 13490 84.06 c 1542 84.12 o 13491 84.12 c 1541 84.18 o 13495 84.18 c 1537 84.24 o 13497 84.24 c 1535 84.30 o 13500 84.30 c 1532 84.37 o 13502 84.37 c 1530 84.45 o 13503 84.45 c 1529 84.51 o 13504 84.51 c 1528 84.56 o 13505 84.56 c 1527 84.63 o 13506 84.63 c 1526 84.69 o 13507 84.69 c 1525 84.76 o 13508 84.76 c 1524 85.25 o 13510 85.25 c 1522 85.32 o 13513 85.32 c 1519 85.38 o 13516 85.38 c 1516 85.57 o 13518 85.57 c 1514 85.64 o 13521 85.64 c 1511 85.70 o 13526 85.70 c 1506 85.77 o 13527 85.77 c 1505 85.84 o 13529 85.84 c 1503 86.18 o 13536 86.18 c 1496 86.25 o 13539 86.25 c 1493 86.50 o 13542 86.50 c 1490 86.58 o 13544 86.58 c 1488 86.65 o 13545 86.65 c 1487 87.08 o 13547 87.08 c 1485 87.17 o 13549 87.17 c 1483 87.35 o 13550 87.35 c 1482 87.43 o 13551 87.43 c 1481 87.52 o 13553 87.52 c 1479 87.71 o 13554 87.71 c 1478 87.82 o 13559 87.82 c 1473 88.01 o 13560 88.01 c 1472 88.11 o 13561 88.11 c 1471 88.18 o 13565 88.18 c 1467 88.27 o 13567 88.27 c 1465 88.43 o 13569 88.43 c 1463 88.52 o 13572 88.52 c 1460 88.60 o 13576 88.60 c 1456 88.78 o 13580 88.78 c 1452 88.86 o 13583 88.86 c 1449 88.93 o 13587 88.93 c 1445 89.02 o 13590 89.02 c 1442 89.25 o 13592 89.25 c 1440 89.33 o 13593 89.33 c 1439 89.43 o 13597 89.43 c 1435 89.50 o 13598 89.50 c 1434 89.73 o 13599 89.73 c 1433 89.81 o 13602 89.81 c 1430 89.94 o 13604 89.94 c 1428 90.00 o 13607 90.00 c 1425 90.09 o 13610 90.09 c 1422 90.16 o 13611 90.16 c 1421 90.37 o 13612 90.37 c 1420 90.42 o 13616 90.42 c 1416 90.62 o 13619 90.62 c 1413 90.70 o 13621 90.70 c 1411 90.91 o 13622 90.91 c 1410 90.98 o 13630 90.98 c 1402 91.05 o 13631 91.05 c 1401 91.10 o 13633 91.10 c 1399 91.16 o 13634 91.17 c 1398 91.23 o 13635 91.23 c 1397 91.30 o 13637 91.30 c 1395 91.56 o 13639 91.56 c 1393 91.78 o 13640 91.78 c 1392 92.01 o 13641 92.01 c 1391 92.08 o 13643 92.08 c 1389 92.21 o 13644 92.21 c 1388 92.56 o 13646 92.56 c 1386 92.69 o 13647 92.69 c 1385 92.75 o 13651 92.75 c 1381 92.83 o 13652 92.83 c 1380 92.97 o 13654 92.97 c 1378 93.11 o 13658 93.11 c 1374 93.23 o 13660 93.23 c 1372 93.29 o 13661 93.29 c 1371 93.42 o 13662 93.42 c 1370 93.58 o 13666 93.58 c 1366 93.65 o 13668 93.65 c 1364 93.79 o 13672 93.79 c 1360 93.87 o 13676 93.87 c 1356 93.94 o 13677 93.94 c 1355 94.02 o 13678 94.02 c 1354 94.17 o 13680 94.17 c 1352 94.24 o 13684 94.24 c 1348 94.31 o 13686 94.31 c 1346 94.39 o 13688 94.39 c 1344 94.54 o 13690 94.54 c 1342 94.61 o 13693 94.61 c 1339 94.72 o 13697 94.72 c 1335 94.77 o 13701 94.77 c 1331 94.86 o 13702 94.86 c 1330 94.91 o 13706 94.91 c 1326 95.00 o 13708 95.00 c 1324 95.08 o 13711 95.08 c 1321 95.17 o 13714 95.17 c 1318 95.23 o 13715 95.23 c 1317 95.37 o 13716 95.37 c 1316 95.45 o 13718 95.45 c 1314 95.53 o 13722 95.53 c 1310 95.60 o 13724 95.60 c 1308 95.67 o 13726 95.67 c 1306 95.90 o 13727 95.90 c 1305 95.97 o 13730 95.97 c 1302 96.05 o 13734 96.05 c 1298 96.12 o 13736 96.12 c 1296 96.29 o 13737 96.29 c 1295 96.47 o 13740 96.47 c 1292 96.55 o 13741 96.56 c 1291 96.65 o 13742 96.65 c 1290 96.82 o 13746 96.82 c 1286 97.19 o 13749 97.19 c 1283 97.55 o 13750 97.55 c 1282 97.74 o 13751 97.74 c 1281 97.91 o 13753 97.91 c 1279 98.01 o 13757 98.01 c 1275 98.17 o 13760 98.17 c 1272 98.35 o 13762 98.35 c 1270 98.45 o 13763 98.45 c 1269 98.56 o 13766 98.56 c 1266 98.65 o 13768 98.65 c 1264 98.75 o 13770 98.75 c 1262 98.85 o 13771 98.85 c 1261 98.96 o 13772 98.96 c 1260 99.07 o 13773 99.07 c 1259 99.16 o 13775 99.16 c 1257 99.37 o 13778 99.37 c 1254 99.78 o 13781 99.78 c 1251 99.89 o 13782 99.89 c 1250 100.19 o 13783 100.19 c 1249 100.39 o 13785 100.39 c 1247 100.67 o 13787 100.67 c 1245 100.85 o 13788 100.85 c 1244 100.92 o 13791 100.92 c 1241 101.00 o 13793 101.00 c 1239 101.18 o 13794 101.18 c 1238 101.27 o 13797 101.27 c 1235 101.46 o 13799 101.46 c 1233 101.63 o 13802 101.63 c 1230 101.68 o 13806 101.68 c 1226 101.85 o 13808 101.85 c 1224 101.94 o 13811 101.94 c 1221 102.02 o 13813 102.02 c 1219 102.10 o 13814 102.10 c 1218 102.19 o 13816 102.19 c 1216 102.26 o 13818 102.26 c 1214 102.39 o 13821 102.39 c 1211 102.46 o 13826 102.46 c 1206 102.54 o 13827 102.54 c 1205 102.71 o 13830 102.71 c 1202 102.94 o 13833 102.94 c 1199 103.01 o 13838 103.01 c 1194 103.17 o 13839 103.17 c 1193 103.26 o 13842 103.26 c 1190 103.33 o 13847 103.33 c 1185 103.41 o 13851 103.41 c 1181 103.47 o 13853 103.47 c 1179 103.54 o 13855 103.54 c 1177 103.61 o 13857 103.61 c 1175 103.82 o 13858 103.82 c 1174 103.89 o 13859 103.89 c 1173 103.95 o 13863 103.95 c 1169 104.01 o 13868 104.01 c 1164 104.08 o 13870 104.08 c 1162 104.15 o 13871 104.15 c 1161 104.22 o 13872 104.22 c 1160 104.29 o 13874 104.29 c 1158 104.37 o 13876 104.37 c 1156 104.45 o 13878 104.45 c 1154 104.61 o 13879 104.61 c 1153 104.68 o 13881 104.68 c 1151 104.86 o 13882 104.86 c 1150 104.94 o 13884 104.94 c 1148 105.02 o 13885 105.02 c 1147 105.20 o 13888 105.20 c 1144 105.57 o 13890 105.57 c 1142 105.83 o 13891 105.83 c 1141 105.93 o 13892 105.93 c 1140 106.02 o 13896 106.02 c 1136 106.08 o 13898 106.08 c 1134 106.25 o 13899 106.25 c 1133 106.34 o 13903 106.34 c 1129 107.35 o 13904 107.35 c 1128 107.44 o 13905 107.44 c 1127 107.53 o 13906 107.53 c 1126 107.60 o 13908 107.60 c 1124 107.67 o 13911 107.67 c 1121 107.83 o 13913 107.83 c 1119 107.90 o 13914 107.90 c 1118 107.97 o 13918 107.97 c 1114 108.04 o 13920 108.04 c 1112 108.11 o 13922 108.11 c 1110 108.26 o 13923 108.26 c 1109 108.43 o 13925 108.43 c 1107 108.54 o 13927 108.54 c 1105 108.64 o 13930 108.64 c 1102 108.91 o 13931 108.91 c 1101 109.00 o 13934 109.00 c 1098 109.09 o 13936 109.09 c 1096 109.19 o 13938 109.19 c 1094 109.27 o 13942 109.27 c 1090 109.44 o 13944 109.44 c 1088 109.60 o 13946 109.60 c 1086 109.69 o 13949 109.69 c 1083 111.12 o 13951 111.12 c 1081 111.28 o 13954 111.28 c 1078 111.36 o 13955 111.36 c 1077 111.44 o 13958 111.44 c 1074 111.52 o 13960 111.52 c 1072 111.67 o 13961 111.67 c 1071 111.74 o 13964 111.74 c 1068 111.85 o 13969 111.85 c 1063 112.19 o 13970 112.19 c 1062 112.35 o 13971 112.35 c 1061 112.43 o 13977 112.43 c 1055 114.24 o 13978 114.24 c 1054 114.34 o 13979 114.34 c 1053 114.45 o 13980 114.45 c 1052 114.56 o 13981 114.56 c 1051 114.65 o 13984 114.65 c 1048 114.76 o 13988 114.76 c 1044 115.53 o 13990 115.53 c 1042 115.63 o 13993 115.63 c 1039 115.74 o 13994 115.74 c 1038 115.86 o 13996 115.86 c 1036 115.98 o 13998 115.98 c 1034 116.16 o 13999 116.16 c 1033 116.66 o 14001 116.66 c 1031 116.88 o 14003 116.88 c 1029 116.93 o 14006 116.93 c 1026 117.03 o 14008 117.03 c 1024 117.11 o 14011 117.11 c 1021 117.20 o 14012 117.20 c 1020 117.45 o 14014 117.45 c 1018 117.56 o 14016 117.56 c 1016 117.68 o 14018 117.69 c 1014 118.03 o 14019 118.03 c 1013 118.14 o 14021 118.14 c 1011 118.24 o 14022 118.24 c 1010 118.35 o 14025 118.35 c 1007 118.47 o 14029 118.47 c 1003 118.69 o 14031 118.69 c 1001 118.80 o 14032 118.80 c 1000 118.93 o 14034 118.93 c 998 119.03 o 14035 119.03 c 997 119.50 o 14036 119.50 c 996 119.60 o 14039 119.61 c 993 119.82 o 14042 119.82 c 990 119.94 o 14043 119.94 c 989 120.17 o 14045 120.17 c 987 120.42 o 14046 120.42 c 986 120.54 o 14047 120.54 c 985 120.67 o 14050 120.67 c 982 120.80 o 14051 120.80 c 981 120.93 o 14052 120.93 c 980 121.30 o 14053 121.30 c 979 121.43 o 14054 121.43 c 978 121.75 o 14055 121.75 c 977 122.05 o 14056 122.05 c 976 122.15 o 14059 122.15 c 973 122.26 o 14060 122.26 c 972 122.31 o 14061 122.32 c 971 122.54 o 14063 122.54 c 969 122.77 o 14064 122.77 c 968 122.88 o 14070 122.88 c 962 122.99 o 14071 122.99 c 961 123.10 o 14072 123.10 c 960 123.29 o 14075 123.29 c 957 123.39 o 14076 123.39 c 956 123.82 o 14080 123.82 c 952 124.24 o 14081 124.24 c 951 124.34 o 14083 124.34 c 949 124.68 o 14087 124.68 c 945 124.78 o 14088 124.78 c 944 124.88 o 14089 124.88 c 943 124.98 o 14092 124.98 c 940 125.47 o 14093 125.47 c 939 125.78 o 14094 125.78 c 938 126.70 o 14095 126.70 c 937 126.82 o 14096 126.82 c 936 126.92 o 14098 126.92 c 934 127.16 o 14101 127.16 c 931 127.30 o 14103 127.30 c 929 127.43 o 14104 127.43 c 928 127.57 o 14110 127.57 c 922 127.70 o 14111 127.70 c 921 128.27 o 14114 128.27 c 918 129.06 o 14115 129.06 c 917 129.32 o 14118 129.32 c 914 129.45 o 14120 129.45 c 912 131.95 o 14122 131.95 c 910 132.07 o 14128 132.07 c 904 132.15 o 14130 132.15 c 902 132.25 o 14132 132.25 c 900 132.37 o 14133 132.37 c 899 133.14 o 14134 133.14 c 898 133.27 o 14137 133.27 c 895 133.39 o 14140 133.39 c 892 135.78 o 14144 135.78 c 888 137.04 o 14145 137.04 c 887 137.47 o 14146 137.47 c 886 137.61 o 14148 137.61 c 884 138.17 o 14150 138.17 c 882 138.31 o 14151 138.31 c 881 138.45 o 14152 138.45 c 880 139.06 o 14154 139.06 c 878 139.19 o 14157 139.19 c 875 139.73 o 14158 139.73 c 874 140.31 o 14159 140.31 c 873 140.59 o 14161 140.59 c 871 141.77 o 14162 141.77 c 870 141.90 o 14163 141.90 c 869 142.05 o 14165 142.05 c 867 142.20 o 14166 142.20 c 866 142.36 o 14167 142.36 c 865 142.52 o 14169 142.52 c 863 142.83 o 14173 142.83 c 859 143.06 o 14176 143.06 c 856 143.18 o 14178 143.18 c 854 143.33 o 14181 143.33 c 851 143.59 o 14182 143.59 c 850 143.88 o 14184 143.88 c 848 144.03 o 14185 144.03 c 847 144.14 o 14187 144.14 c 845 144.42 o 14188 144.42 c 844 144.71 o 14190 144.72 c 842 144.96 o 14191 144.96 c 841 145.11 o 14195 145.11 c 837 145.26 o 14196 145.26 c 836 145.42 o 14197 145.42 c 835 145.58 o 14198 145.58 c 834 145.73 o 14202 145.73 c 830 146.36 o 14203 146.36 c 829 146.50 o 14204 146.50 c 828 148.36 o 14205 148.36 c 827 148.51 o 14206 148.51 c 826 148.65 o 14208 148.65 c 824 148.80 o 14210 148.80 c 822 149.19 o 14212 149.19 c 820 149.33 o 14214 149.33 c 818 149.47 o 14215 149.47 c 817 149.62 o 14217 149.62 c 815 150.71 o 14219 150.71 c 813 150.86 o 14222 150.86 c 810 150.97 o 14225 150.97 c 807 151.12 o 14226 151.12 c 806 151.27 o 14229 151.27 c 803 151.43 o 14231 151.43 c 801 151.57 o 14233 151.57 c 799 151.73 o 14234 151.73 c 798 152.49 o 14236 152.49 c 796 153.25 o 14239 153.25 c 793 153.33 o 14242 153.33 c 790 153.47 o 14246 153.47 c 786 153.58 o 14247 153.58 c 785 153.84 o 14250 153.84 c 782 154.22 o 14252 154.22 c 780 154.30 o 14253 154.30 c 779 154.41 o 14255 154.41 c 777 154.81 o 14256 154.81 c 776 155.08 o 14258 155.08 c 774 155.19 o 14259 155.19 c 773 156.48 o 14260 156.48 c 772 156.73 o 14261 156.73 c 771 156.86 o 14262 156.86 c 770 157.00 o 14265 157.00 c 767 157.26 o 14267 157.26 c 765 159.50 o 14275 159.50 c 757 160.05 o 14276 160.05 c 756 160.17 o 14278 160.17 c 754 160.46 o 14280 160.46 c 752 160.61 o 14282 160.61 c 750 160.93 o 14283 160.93 c 749 161.08 o 14285 161.08 c 747 161.20 o 14288 161.20 c 744 162.50 o 14290 162.50 c 742 162.66 o 14291 162.66 c 741 163.08 o 14292 163.08 c 740 163.23 o 14297 163.23 c 735 163.55 o 14299 163.55 c 733 163.70 o 14300 163.70 c 732 164.32 o 14301 164.32 c 731 164.82 o 14302 164.82 c 730 165.73 o 14303 165.73 c 729 166.50 o 14304 166.50 c 728 166.96 o 14306 166.96 c 726 167.12 o 14307 167.12 c 725 167.42 o 14309 167.42 c 723 167.57 o 14311 167.57 c 721 167.72 o 14314 167.72 c 718 167.86 o 14317 167.86 c 715 168.41 o 14320 168.41 c 712 168.55 o 14323 168.55 c 709 169.14 o 14324 169.14 c 708 169.28 o 14327 169.28 c 705 172.17 o 14329 172.17 c 703 172.47 o 14330 172.47 c 702 172.76 o 14332 172.76 c 700 172.90 o 14333 172.90 c 699 175.49 o 14334 175.49 c 698 175.81 o 14335 175.81 c 697 175.97 o 14336 175.97 c 696 176.13 o 14338 176.13 c 694 181.91 o 14340 181.91 c 692 182.07 o 14342 182.07 c 690 182.40 o 14344 182.40 c 688 184.20 o 14345 184.20 c 687 184.80 o 14346 184.80 c 686 184.96 o 14347 184.96 c 685 185.12 o 14348 185.12 c 684 185.29 o 14351 185.29 c 681 185.92 o 14353 185.92 c 679 186.25 o 14356 186.25 c 676 186.42 o 14357 186.42 c 675 186.90 o 14358 186.90 c 674 189.13 o 14359 189.13 c 673 189.29 o 14360 189.29 c 672 189.73 o 14361 189.73 c 671 190.21 o 14363 190.21 c 669 190.65 o 14365 190.65 c 667 191.14 o 14366 191.14 c 666 191.48 o 14367 191.48 c 665 191.78 o 14370 191.78 c 662 192.73 o 14371 192.73 c 661 192.84 o 14372 192.84 c 660 194.48 o 14373 194.48 c 659 194.66 o 14377 194.66 c 655 194.99 o 14378 194.99 c 654 195.18 o 14381 195.18 c 651 195.33 o 14383 195.34 c 649 195.53 o 14384 195.53 c 648 196.04 o 14386 196.04 c 646 196.21 o 14390 196.21 c 642 196.55 o 14391 196.55 c 641 196.71 o 14393 196.71 c 639 196.90 o 14395 196.90 c 637 197.42 o 14396 197.42 c 636 197.56 o 14398 197.56 c 634 197.74 o 14404 197.74 c 628 197.90 o 14405 197.90 c 627 198.25 o 14406 198.25 c 626 198.55 o 14407 198.55 c 625 199.39 o 14408 199.39 c 624 199.69 o 14410 199.69 c 622 199.72 o 14416 199.72 c 616 199.83 o 14419 199.83 c 613 199.92 o 14420 199.92 c 612 200.58 o 14422 200.58 c 610 200.75 o 14423 200.75 c 609 200.87 o 14424 200.87 c 608 201.03 o 14427 201.03 c 605 201.19 o 14428 201.19 c 604 211.42 o 14429 211.42 c 603 211.84 o 14430 211.84 c 602 212.04 o 14432 212.04 c 600 212.24 o 14433 212.24 c 599 212.85 o 14434 212.85 c 598 213.25 o 14436 213.25 c 596 213.26 o 14437 213.26 c 595 213.41 o 14438 213.41 c 594 214.84 o 14439 214.84 c 593 215.03 o 14440 215.03 c 592 223.81 o 14441 223.81 c 591 225.96 o 14443 225.96 c 589 229.85 o 14444 229.85 c 588 230.07 o 14445 230.07 c 587 230.29 o 14448 230.29 c 584 230.73 o 14450 230.73 c 582 231.15 o 14451 231.15 c 581 231.25 o 14454 231.25 c 578 231.65 o 14458 231.65 c 574 232.05 o 14459 232.05 c 573 232.46 o 14460 232.46 c 572 232.66 o 14461 232.66 c 571 232.87 o 14462 232.87 c 570 232.95 o 14463 232.95 c 569 235.00 o 14464 235.00 c 568 235.63 o 14465 235.63 c 567 237.17 o 14466 237.17 c 566 241.44 o 14467 241.44 c 565 241.89 o 14469 241.89 c 563 242.12 o 14471 242.12 c 561 242.35 o 14472 242.35 c 560 248.14 o 14474 248.14 c 558 249.65 o 14475 249.65 c 557 251.39 o 14477 251.39 c 555 252.86 o 14478 252.86 c 554 253.24 o 14480 253.24 c 552 253.46 o 14481 253.46 c 551 253.69 o 14482 253.69 c 550 254.39 o 14483 254.39 c 549 254.78 o 14484 254.78 c 548 255.01 o 14485 255.01 c 547 255.49 o 14487 255.49 c 545 257.62 o 14488 257.62 c 544 258.55 o 14491 258.55 c 541 259.03 o 14492 259.03 c 540 259.28 o 14493 259.28 c 539 262.52 o 14495 262.52 c 537 262.77 o 14498 262.77 c 534 262.99 o 14499 262.99 c 533 263.48 o 14500 263.48 c 532 263.73 o 14501 263.73 c 531 263.89 o 14503 263.89 c 529 264.14 o 14504 264.14 c 528 264.62 o 14505 264.62 c 527 264.86 o 14509 264.86 c 523 265.60 o 14510 265.60 c 522 271.34 o 14513 271.34 c 519 271.43 o 14516 271.43 c 516 272.65 o 14521 272.65 c 511 272.94 o 14523 272.94 c 509 273.55 o 14524 273.55 c 508 273.74 o 14525 273.74 c 507 274.13 o 14526 274.13 c 506 274.53 o 14527 274.53 c 505 274.91 o 14528 274.91 c 504 275.10 o 14529 275.10 c 503 275.44 o 14530 275.44 c 502 275.63 o 14532 275.63 c 500 275.94 o 14533 275.94 c 499 276.14 o 14535 276.14 c 497 276.94 o 14538 276.94 c 494 277.14 o 14539 277.14 c 493 277.55 o 14540 277.55 c 492 279.44 o 14542 279.44 c 490 279.69 o 14544 279.69 c 488 279.88 o 14545 279.88 c 487 280.09 o 14546 280.09 c 486 280.49 o 14547 280.49 c 485 281.11 o 14549 281.11 c 483 281.31 o 14550 281.31 c 482 281.51 o 14552 281.51 c 480 281.81 o 14554 281.81 c 478 283.24 o 14555 283.24 c 477 283.50 o 14558 283.50 c 474 285.41 o 14560 285.41 c 472 285.63 o 14562 285.63 c 470 286.28 o 14563 286.28 c 469 286.49 o 14564 286.49 c 468 288.77 o 14565 288.77 c 467 288.98 o 14568 288.98 c 464 291.00 o 14569 291.00 c 463 292.45 o 14572 292.45 c 460 292.85 o 14577 292.85 c 455 296.13 o 14581 296.13 c 451 297.08 o 14583 297.08 c 449 297.49 o 14585 297.49 c 447 300.72 o 14586 300.72 c 446 301.16 o 14587 301.16 c 445 304.23 o 14588 304.23 c 444 304.43 o 14589 304.43 c 443 305.43 o 14591 305.43 c 441 305.85 o 14592 305.85 c 440 306.06 o 14593 306.06 c 439 306.22 o 14594 306.22 c 438 306.84 o 14595 306.84 c 437 307.25 o 14596 307.25 c 436 308.56 o 14597 308.56 c 435 312.34 o 14598 312.34 c 434 313.53 o 14601 313.53 c 431 313.73 o 14602 313.73 c 430 313.94 o 14603 313.94 c 429 314.12 o 14605 314.12 c 427 320.48 o 14606 320.48 c 426 320.69 o 14607 320.69 c 425 331.44 o 14608 331.44 c 424 331.65 o 14609 331.65 c 423 336.39 o 14610 336.39 c 422 336.85 o 14611 336.85 c 421 337.95 o 14613 337.95 c 419 338.16 o 14615 338.16 c 417 339.29 o 14617 339.29 c 415 341.21 o 14620 341.21 c 412 341.40 o 14621 341.40 c 411 342.03 o 14622 342.03 c 410 343.01 o 14624 343.01 c 408 343.70 o 14625 343.70 c 407 344.16 o 14626 344.16 c 406 344.34 o 14627 344.34 c 405 344.80 o 14628 344.80 c 404 345.06 o 14629 345.06 c 403 345.45 o 14630 345.45 c 402 345.92 o 14631 345.92 c 401 346.32 o 14633 346.32 c 399 349.51 o 14634 349.51 c 398 349.63 o 14635 349.63 c 397 351.21 o 14636 351.21 c 396 351.43 o 14637 351.43 c 395 351.66 o 14638 351.66 c 394 351.88 o 14639 351.88 c 393 352.06 o 14640 352.06 c 392 352.29 o 14641 352.29 c 391 355.55 o 14642 355.55 c 390 355.77 o 14643 355.77 c 389 358.83 o 14644 358.83 c 388 359.06 o 14646 359.06 c 386 359.20 o 14647 359.20 c 385 360.31 o 14648 360.31 c 384 360.44 o 14649 360.44 c 383 362.38 o 14650 362.38 c 382 362.54 o 14652 362.54 c 380 363.41 o 14653 363.41 c 379 364.45 o 14654 364.45 c 378 366.24 o 14657 366.24 c 375 366.46 o 14658 366.46 c 374 366.93 o 14659 366.93 c 373 367.16 o 14660 367.16 c 372 368.09 o 14661 368.09 c 371 368.32 o 14663 368.32 c 369 368.55 o 14664 368.55 c 368 370.10 o 14665 370.10 c 367 370.57 o 14667 370.57 c 365 371.04 o 14669 371.04 c 363 372.80 o 14670 372.80 c 362 373.02 o 14671 373.02 c 361 374.89 o 14672 374.89 c 360 375.09 o 14673 375.09 c 359 376.16 o 14675 376.16 c 357 376.38 o 14676 376.38 c 356 376.59 o 14678 376.59 c 354 395.09 o 14679 395.09 c 353 396.50 o 14680 396.50 c 352 396.74 o 14682 396.74 c 350 397.67 o 14683 397.67 c 349 398.51 o 14685 398.51 c 347 398.74 o 14686 398.74 c 346 398.97 o 14687 398.97 c 345 399.64 o 14688 399.64 c 344 403.01 o 14690 403.01 c 342 403.63 o 14691 403.63 c 341 403.85 o 14692 403.85 c 340 404.07 o 14693 404.07 c 339 404.30 o 14695 404.30 c 337 404.53 o 14696 404.53 c 336 405.47 o 14697 405.47 c 335 407.17 o 14698 407.17 c 334 407.32 o 14699 407.32 c 333 407.56 o 14700 407.56 c 332 408.01 o 14703 408.01 c 329 408.16 o 14706 408.16 c 326 408.40 o 14708 408.40 c 324 408.64 o 14709 408.64 c 323 408.87 o 14710 408.87 c 322 410.22 o 14713 410.22 c 319 411.48 o 14714 411.48 c 318 412.53 o 14715 412.53 c 317 414.58 o 14716 414.58 c 316 414.79 o 14717 414.79 c 315 415.11 o 14718 415.11 c 314 415.91 o 14722 415.91 c 310 416.34 o 14723 416.34 c 309 416.56 o 14725 416.56 c 307 416.67 o 14726 416.67 c 306 416.89 o 14728 416.89 c 304 417.04 o 14729 417.04 c 303 417.68 o 14730 417.68 c 302 418.96 o 14731 418.96 c 301 419.17 o 14732 419.17 c 300 420.18 o 14733 420.18 c 299 420.61 o 14734 420.61 c 298 420.82 o 14735 420.82 c 297 421.03 o 14736 421.03 c 296 421.08 o 14737 421.08 c 295 421.78 o 14738 421.78 c 294 421.97 o 14739 421.97 c 293 422.90 o 14740 422.90 c 292 425.00 o 14741 425.00 c 291 426.13 o 14743 426.13 c 289 428.17 o 14744 428.17 c 288 428.43 o 14745 428.43 c 287 458.96 458.96 search 458.96 run=0 nbConstraintChecks=1176339380 nbAssignments=2806 458.96 => wckTime=396.408 cpuTime=392.88 mem=48M512 458.96 458.96 global 458.96 nbConstraintChecks=1176339380 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 458.96 solvingWckTime=396.399 solvingCpuTime=392.89 expiredTime=no totalExploration=no nbFoundSolutions=0 458.96 globalCpuTime=453.81 458.96 => wckTime=458.645 cpuTime=453.76 mem=48M512 458.96 458.96 solver IterativeSystematicSolver being built... 459.43 => wckTime=459.116 cpuTime=454.05 mem=90M737 1634.38 1634.38 preprocessing 1634.38 nbConstraintChecks=947148196 nbValidityChecks=6935987734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1634.38 nbRemovedValues=0 detectedInconsistency=no 1634.38 => wckTime=1174.939 cpuTime=1164.73 mem=90M737 2416.11 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/node44/watcher-275273-1169219115 -o ROOT/results/node44/solver-275273-1169219115 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275273-1169219115/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.10 2.02 1.94 4/74 29971 /proc/meminfo: memFree=1232312/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=18540 CPUtime=0 /proc/29970/stat : 29970 (runsolver) R 29968 29970 29403 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270310563 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/29970/statm: 4635 279 244 17 0 2626 0 [startup+0.102925 s] /proc/loadavg: 2.10 2.02 1.94 4/74 29971 /proc/meminfo: memFree=1232312/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=914852 CPUtime=0.08 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 2942 0 1 0 7 1 0 0 19 0 8 0 270310563 936808448 2688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11721969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228713 2688 1412 14 0 215208 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914852 [startup+0.510967 s] /proc/loadavg: 2.10 2.02 1.94 4/74 29971 /proc/meminfo: memFree=1232312/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915332 CPUtime=0.49 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 7230 0 1 0 45 4 0 0 18 0 8 0 270310563 937299968 6969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228833 6969 2143 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33605 s] /proc/loadavg: 2.09 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1165312/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=1.3 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 21090 0 1 0 119 11 0 0 24 0 8 0 270310563 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154580576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 20827 2184 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.07 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270310567 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.15 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 400 0 0 0 15 0 0 0 16 0 8 0 270310571 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 20827 18446744073709551615 134512640 134570532 4294956464 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.98621 s] /proc/loadavg: 2.09 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1157376/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=2.94 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 21100 0 1 0 282 12 0 0 25 0 8 0 270310563 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 20836 2184 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.07 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 4474 0 0 0 5 2 0 0 17 0 8 0 270310567 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.17 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 270310571 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 915636 [startup+6.26555 s] /proc/loadavg: 2.09 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1157184/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=6.19 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 21117 0 1 0 607 12 0 0 25 0 8 0 270310563 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 20853 2185 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.07 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270310567 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.18 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 425 0 0 0 18 0 0 0 15 0 8 0 270310571 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 20853 18446744073709551615 134512640 134570532 4294956464 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.7542 s] /proc/loadavg: 2.07 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1157256/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=12.63 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 21120 0 1 0 1249 14 0 0 25 0 8 0 270310563 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 20855 2185 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.07 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270310567 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.18 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 427 0 0 0 18 0 0 0 15 0 8 0 270310571 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 20855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 915636 [startup+25.6005 s] /proc/loadavg: 2.06 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1154824/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=25.36 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 21768 0 1 0 2519 17 0 0 25 0 8 0 270310563 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 21500 2185 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.13 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 5114 0 0 0 11 2 0 0 16 0 8 0 270310567 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.2 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 432 0 0 0 19 1 0 0 16 0 8 0 270310571 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 21500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 915636 [startup+51.2152 s] /proc/loadavg: 2.09 2.03 1.94 3/81 29978 /proc/meminfo: memFree=1142536/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=50.76 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 24864 0 1 0 5048 28 0 0 25 0 8 0 270310563 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 24594 2185 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.24 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 8199 0 0 0 21 3 0 0 16 0 8 0 270310567 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.22 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 441 0 0 0 21 1 0 0 16 0 8 0 270310571 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 24594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.76 Current children cumulated vsize (KiB) 915636 [startup+102.456 s] /proc/loadavg: 2.04 2.03 1.94 3/81 29978 /proc/meminfo: memFree=1121672/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=101.5 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 30416 0 1 0 10103 47 0 0 25 0 8 0 270310563 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/29970/statm: 228909 30140 2504 14 0 215379 0 [pid=29970/tid=29972] ppid=29968 vsize=915636 CPUtime=0.62 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 13373 0 0 0 58 4 0 0 16 0 8 0 270310567 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270310567 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915636 CPUtime=0.27 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 468 0 0 0 26 1 0 0 16 0 8 0 270310571 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915636 CPUtime=0 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270310571 937611264 30140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.5 Current children cumulated vsize (KiB) 915636 [startup+162.558 s] /proc/loadavg: 2.01 2.02 1.94 3/81 29978 /proc/meminfo: memFree=1121672/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915636 CPUtime=161.08 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 30418 0 1 0 16055 53 0 0 25 0 8 0 270310563 937611264 30142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2008.64 Current children cumulated vsize (KiB) 915744 [startup+2084.38 s] /proc/loadavg: 2.04 2.02 1.98 4/82 30148 /proc/meminfo: memFree=1342272/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2068.62 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 206779 83 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2068.62 Current children cumulated vsize (KiB) 915744 [startup+2144.43 s] /proc/loadavg: 2.09 2.03 1.98 3/81 30149 /proc/meminfo: memFree=1342800/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2128.62 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 212779 83 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2128.62 Current children cumulated vsize (KiB) 915744 [startup+2204.48 s] /proc/loadavg: 2.03 2.03 1.98 3/81 30149 /proc/meminfo: memFree=1342800/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2188.61 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 218778 83 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2188.61 Current children cumulated vsize (KiB) 915744 [startup+2264.53 s] /proc/loadavg: 2.12 2.05 2.00 3/81 30149 /proc/meminfo: memFree=1342800/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2248.58 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 224775 83 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2248.58 Current children cumulated vsize (KiB) 915744 [startup+2324.58 s] /proc/loadavg: 2.01 2.03 1.99 3/87 30221 /proc/meminfo: memFree=1319592/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2308.59 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 230775 84 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2308.59 Current children cumulated vsize (KiB) 915744 [startup+2384.63 s] /proc/loadavg: 2.00 2.02 1.99 3/87 30221 /proc/meminfo: memFree=1319592/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2368.59 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 236775 84 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2368.59 Current children cumulated vsize (KiB) 915744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2416.1 s] /proc/loadavg: 2.00 2.02 1.99 3/87 30221 /proc/meminfo: memFree=1319592/2055920 swapFree=4191892/4192956 [pid=29970] ppid=29968 vsize=915744 CPUtime=2400.04 /proc/29970/stat : 29970 (java) R 29968 29970 29403 0 -1 0 39908 0 1 0 239919 85 0 0 25 0 8 0 270310563 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/29970/statm: 228936 39579 2553 14 0 215406 0 [pid=29970/tid=29972] ppid=29968 vsize=915744 CPUtime=0.74 /proc/29970/task/29972/stat : 29972 (java) S 29968 29970 29403 0 -1 64 22616 0 0 0 66 8 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29973] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29973/stat : 29973 (java) S 29968 29970 29403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29974] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29974/stat : 29974 (java) S 29968 29970 29403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270310567 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29975] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29975/stat : 29975 (java) S 29968 29970 29403 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29976] ppid=29968 vsize=915744 CPUtime=0.4 /proc/29970/task/29976/stat : 29976 (java) S 29968 29970 29403 0 -1 64 602 0 0 0 39 1 0 0 17 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=29970/tid=29977] ppid=29968 vsize=915744 CPUtime=0 /proc/29970/task/29977/stat : 29977 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=29970/tid=29978] ppid=29968 vsize=915744 CPUtime=0.01 /proc/29970/task/29978/stat : 29978 (java) S 29968 29970 29403 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 270310571 937721856 39579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 915744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2416.17 CPU time (s): 2400.1 CPU user time (s): 2399.23 CPU system time (s): 0.873867 CPU usage (%): 99.3349 Max. virtual memory (cumulated for all children) (KiB): 915936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.23 system time used= 0.873867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39932 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= 50712 involuntary context switches= 78523 runsolver used 2.48262 s user time and 8.31274 s system time The end
Begin job on node44 on Fri Jan 19 15:05:15 UTC 2007 IDJOB= 275273 IDBENCH= 3761 IDSOLVER= 68 FILE ID= node44/275273-1169219115 PBS_JOBID= 3589176 Free space on /tmp= 66558 MiB SOLVER NAME= AbsconMax 109 EPFC 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 epfc.xml 1 XSax /tmp/evaluation/275273-1169219115/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-275273-1169219115 -o ROOT/results/node44/solver-275273-1169219115 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275273-1169219115/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 6b5dd0783de8ffe8db36fbbb14ddfcf0 RANDOM SEED= 873147268 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.213 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.213 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: 1232792 kB Buffers: 43064 kB Cached: 419408 kB SwapCached: 268 kB Active: 402368 kB Inactive: 345812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1232792 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 3668 kB Writeback: 0 kB Mapped: 295816 kB Slab: 59844 kB Committed_AS: 5004760 kB PageTables: 2284 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 node44 on Fri Jan 19 15:45:31 UTC 2007