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.25 | 2405.18 |
| Name | fapp/fapp11-15/fapp11/ fapp11-1000-7.xml |
| MD5SUM | 76197611c0892ae9e5058ee39d3aa972 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of satisfied constraints | 14533 |
| Best CPU time to get the best result obtained on this benchmark | 2400.13 |
| 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.30 0.30 Abscon 109 (November, 2006) 0.30 0.30 configuration 0.30 name=epfc.xml 0.33 0.33 instance 0.33 name=/tmp/evaluation/275285-1169219417/unknown.xml 0.36 0.36 domains being loaded... 0.40 0.40 variables being loaded... 0.55 nbVariables=1000 nbDomainTypes=18 minDomainSize=50 maxDomainSize=362 0.55 => wckTime=0.25 cpuTime=0.18 mem=17M615 0.55 0.55 predicates being loaded... 0.56 0.56 constraints being loaded... 61.29 61.29 INFO : Stopping converting binary constraints (cpu=60.02, mem = 42M26) 62.22 nbConstraints=15032 nbConvertedConstraints=5168 nbConvertConstraintsChecks=201867870 nbExtensionStructures=2868 62.22 nbSharedExtensionStructures=2300 nbConflictsStructures=2868 nbSharedConflictsStructures=2300 62.22 nbSharedBinaryRepresentations=1441273 nbEvaluationManagers=4675 nbSharedEvaluationManagers=5189 maxDegree=51 62.22 maxArity=2 62.22 => wckTime=61.914 cpuTime=60.79 mem=55M213 62.44 62.44 solver LocalSearchSolver being built... 62.47 => wckTime=62.169 cpuTime=60.84 mem=48M410 62.54 62.54 s SATISFIABLE 62.54 o 12266 62.54 c 2766 62.58 o 12277 62.58 c 2755 62.60 o 12285 62.60 c 2747 62.62 o 12292 62.62 c 2740 62.64 o 12300 62.64 c 2732 62.67 o 12306 62.67 c 2726 62.68 o 12314 62.68 c 2718 62.70 o 12319 62.70 c 2713 62.71 o 12323 62.71 c 2709 62.73 o 12325 62.73 c 2707 62.76 o 12334 62.76 c 2698 62.77 o 12343 62.77 c 2689 62.80 o 12347 62.80 c 2685 62.82 o 12353 62.82 c 2679 62.84 o 12359 62.84 c 2673 62.88 o 12365 62.88 c 2667 62.90 o 12369 62.90 c 2663 62.92 o 12373 62.92 c 2659 62.95 o 12377 62.95 c 2655 62.96 o 12380 62.96 c 2652 62.99 o 12383 62.99 c 2649 63.02 o 12386 63.02 c 2646 63.02 o 12387 63.02 c 2645 63.04 o 12391 63.04 c 2641 63.08 o 12399 63.08 c 2633 63.10 o 12407 63.10 c 2625 63.13 o 12414 63.13 c 2618 63.17 o 12421 63.17 c 2611 63.21 o 12428 63.21 c 2604 63.23 o 12435 63.23 c 2597 63.27 o 12441 63.27 c 2591 63.29 o 12446 63.29 c 2586 63.33 o 12451 63.33 c 2581 63.36 o 12456 63.36 c 2576 63.38 o 12461 63.38 c 2571 63.40 o 12466 63.40 c 2566 63.42 o 12470 63.42 c 2562 63.45 o 12474 63.45 c 2558 63.49 o 12478 63.49 c 2554 63.51 o 12480 63.51 c 2552 63.53 o 12482 63.53 c 2550 63.57 o 12485 63.57 c 2547 63.60 o 12487 63.60 c 2545 63.62 o 12490 63.62 c 2542 63.65 o 12497 63.65 c 2535 63.66 o 12506 63.66 c 2526 63.68 o 12513 63.68 c 2519 63.71 o 12519 63.71 c 2513 63.73 o 12524 63.73 c 2508 63.76 o 12529 63.76 c 2503 63.79 o 12534 63.79 c 2498 63.82 o 12539 63.82 c 2493 63.86 o 12544 63.86 c 2488 63.89 o 12547 63.89 c 2485 63.92 o 12551 63.92 c 2481 63.94 o 12555 63.94 c 2477 63.98 o 12561 63.98 c 2471 64.01 o 12565 64.01 c 2467 64.04 o 12570 64.04 c 2462 64.07 o 12573 64.07 c 2459 64.10 o 12576 64.10 c 2456 64.13 o 12579 64.13 c 2453 64.15 o 12580 64.15 c 2452 64.17 o 12581 64.17 c 2451 64.21 o 12583 64.21 c 2449 64.24 o 12584 64.24 c 2448 64.25 o 12587 64.25 c 2445 64.30 o 12589 64.30 c 2443 64.31 o 12596 64.31 c 2436 64.32 o 12603 64.32 c 2429 64.33 o 12606 64.33 c 2426 64.34 o 12608 64.34 c 2424 64.37 o 12609 64.37 c 2423 64.41 o 12610 64.41 c 2422 64.43 o 12611 64.43 c 2421 64.47 o 12612 64.47 c 2420 64.48 o 12616 64.48 c 2416 64.51 o 12619 64.51 c 2413 64.52 o 12622 64.52 c 2410 64.56 o 12626 64.56 c 2406 64.61 o 12632 64.61 c 2400 64.65 o 12637 64.65 c 2395 64.70 o 12642 64.70 c 2390 64.74 o 12647 64.74 c 2385 64.79 o 12652 64.79 c 2380 64.83 o 12657 64.83 c 2375 64.86 o 12662 64.86 c 2370 64.90 o 12666 64.90 c 2366 64.94 o 12670 64.94 c 2362 64.97 o 12673 64.97 c 2359 65.02 o 12676 65.02 c 2356 65.06 o 12679 65.06 c 2353 65.09 o 12682 65.09 c 2350 65.15 o 12685 65.15 c 2347 65.19 o 12688 65.19 c 2344 65.21 o 12691 65.21 c 2341 65.26 o 12692 65.26 c 2340 65.28 o 12694 65.28 c 2338 65.31 o 12696 65.31 c 2336 65.33 o 12698 65.33 c 2334 65.36 o 12700 65.36 c 2332 65.38 o 12702 65.38 c 2330 65.41 o 12703 65.41 c 2329 65.42 o 12708 65.42 c 2324 65.45 o 12709 65.45 c 2323 65.53 o 12710 65.53 c 2322 65.60 o 12712 65.60 c 2320 65.61 o 12717 65.61 c 2315 65.63 o 12720 65.63 c 2312 65.65 o 12723 65.65 c 2309 65.65 o 12726 65.65 c 2306 65.67 o 12730 65.67 c 2302 65.68 o 12733 65.68 c 2299 65.73 o 12735 65.73 c 2297 65.76 o 12740 65.76 c 2292 65.78 o 12741 65.78 c 2291 65.80 o 12743 65.80 c 2289 65.82 o 12746 65.82 c 2286 65.88 o 12750 65.88 c 2282 65.90 o 12753 65.90 c 2279 65.93 o 12754 65.93 c 2278 65.97 o 12755 65.97 c 2277 65.97 o 12757 65.97 c 2275 66.00 o 12763 66.00 c 2269 66.03 o 12769 66.03 c 2263 66.07 o 12772 66.07 c 2260 66.10 o 12776 66.10 c 2256 66.12 o 12780 66.12 c 2252 66.16 o 12784 66.16 c 2248 66.19 o 12787 66.19 c 2245 66.23 o 12791 66.23 c 2241 66.28 o 12793 66.28 c 2239 66.31 o 12794 66.31 c 2238 66.34 o 12795 66.34 c 2237 66.36 o 12796 66.36 c 2236 66.44 o 12797 66.44 c 2235 66.47 o 12801 66.47 c 2231 66.49 o 12802 66.49 c 2230 66.51 o 12805 66.51 c 2227 66.52 o 12806 66.52 c 2226 66.54 o 12807 66.54 c 2225 66.55 o 12809 66.55 c 2223 66.58 o 12810 66.58 c 2222 66.60 o 12812 66.60 c 2220 66.62 o 12814 66.62 c 2218 66.65 o 12819 66.65 c 2213 66.69 o 12823 66.69 c 2209 66.72 o 12828 66.72 c 2204 66.74 o 12830 66.74 c 2202 66.76 o 12834 66.76 c 2198 66.79 o 12839 66.79 c 2193 66.82 o 12841 66.82 c 2191 66.85 o 12845 66.85 c 2187 66.89 o 12847 66.89 c 2185 66.94 o 12851 66.94 c 2181 66.98 o 12852 66.98 c 2180 67.04 o 12856 67.04 c 2176 67.08 o 12862 67.08 c 2170 67.12 o 12864 67.12 c 2168 67.15 o 12866 67.15 c 2166 67.19 o 12868 67.19 c 2164 67.23 o 12870 67.23 c 2162 67.26 o 12871 67.26 c 2161 67.29 o 12874 67.29 c 2158 67.33 o 12884 67.33 c 2148 67.37 o 12887 67.37 c 2145 67.40 o 12889 67.40 c 2143 67.42 o 12890 67.42 c 2142 67.46 o 12895 67.46 c 2137 67.51 o 12897 67.51 c 2135 67.56 o 12900 67.56 c 2132 67.57 o 12902 67.57 c 2130 67.60 o 12904 67.60 c 2128 67.64 o 12906 67.64 c 2126 67.67 o 12909 67.67 c 2123 67.69 o 12911 67.69 c 2121 67.72 o 12914 67.72 c 2118 67.75 o 12917 67.75 c 2115 67.78 o 12919 67.78 c 2113 67.80 o 12923 67.80 c 2109 67.83 o 12924 67.83 c 2108 67.85 o 12929 67.85 c 2103 67.89 o 12934 67.89 c 2098 67.91 o 12941 67.91 c 2091 67.93 o 12947 67.93 c 2085 67.97 o 12952 67.97 c 2080 67.99 o 12957 67.99 c 2075 68.02 o 12961 68.02 c 2071 68.05 o 12962 68.05 c 2070 68.07 o 12966 68.07 c 2066 68.11 o 12970 68.11 c 2062 68.13 o 12973 68.13 c 2059 68.15 o 12976 68.15 c 2056 68.18 o 12977 68.18 c 2055 68.20 o 12979 68.20 c 2053 68.22 o 12981 68.22 c 2051 68.25 o 12982 68.25 c 2050 68.26 o 12983 68.26 c 2049 68.31 o 12987 68.31 c 2045 68.33 o 12988 68.33 c 2044 68.36 o 12990 68.36 c 2042 68.40 o 12991 68.40 c 2041 68.50 o 12993 68.50 c 2039 68.52 o 12996 68.52 c 2036 68.55 o 12999 68.55 c 2033 68.57 o 13005 68.57 c 2027 68.59 o 13010 68.59 c 2022 68.62 o 13012 68.62 c 2020 68.64 o 13013 68.64 c 2019 68.68 o 13016 68.68 c 2016 68.70 o 13017 68.70 c 2015 68.72 o 13022 68.72 c 2010 68.74 o 13026 68.74 c 2006 68.77 o 13029 68.77 c 2003 68.79 o 13030 68.79 c 2002 68.85 o 13034 68.85 c 1998 68.87 o 13037 68.87 c 1995 68.94 o 13040 68.94 c 1992 69.00 o 13045 69.00 c 1987 69.05 o 13046 69.05 c 1986 69.07 o 13048 69.07 c 1984 69.10 o 13055 69.10 c 1977 69.17 o 13060 69.17 c 1972 69.21 o 13061 69.21 c 1971 69.24 o 13062 69.24 c 1970 69.28 o 13066 69.28 c 1966 69.32 o 13067 69.32 c 1965 69.35 o 13070 69.35 c 1962 69.39 o 13073 69.39 c 1959 69.42 o 13079 69.42 c 1953 69.47 o 13082 69.47 c 1950 69.51 o 13085 69.51 c 1947 69.57 o 13089 69.57 c 1943 69.60 o 13094 69.60 c 1938 69.63 o 13101 69.63 c 1931 69.65 o 13103 69.65 c 1929 69.67 o 13109 69.67 c 1923 69.69 o 13110 69.69 c 1922 69.77 o 13112 69.77 c 1920 69.80 o 13117 69.80 c 1915 69.85 o 13118 69.85 c 1914 69.87 o 13123 69.87 c 1909 69.91 o 13125 69.91 c 1907 69.94 o 13128 69.94 c 1904 69.96 o 13131 69.96 c 1901 70.00 o 13136 70.00 c 1896 70.03 o 13138 70.03 c 1894 70.06 o 13141 70.06 c 1891 70.10 o 13143 70.10 c 1889 70.13 o 13144 70.13 c 1888 70.17 o 13149 70.17 c 1883 70.19 o 13150 70.19 c 1882 70.22 o 13153 70.22 c 1879 70.25 o 13156 70.25 c 1876 70.28 o 13157 70.28 c 1875 70.31 o 13158 70.31 c 1874 70.34 o 13162 70.34 c 1870 70.38 o 13165 70.38 c 1867 70.41 o 13167 70.41 c 1865 70.45 o 13171 70.45 c 1861 70.48 o 13178 70.48 c 1854 70.53 o 13182 70.53 c 1850 70.56 o 13184 70.56 c 1848 70.61 o 13185 70.61 c 1847 70.68 o 13188 70.68 c 1844 70.71 o 13190 70.71 c 1842 70.87 o 13191 70.87 c 1841 71.05 o 13192 71.05 c 1840 71.08 o 13195 71.08 c 1837 71.11 o 13199 71.11 c 1833 71.16 o 13200 71.16 c 1832 71.21 o 13202 71.21 c 1830 71.26 o 13203 71.26 c 1829 71.34 o 13208 71.34 c 1824 71.47 o 13211 71.47 c 1821 71.53 o 13213 71.53 c 1819 71.57 o 13217 71.57 c 1815 71.61 o 13221 71.61 c 1811 71.68 o 13223 71.68 c 1809 71.73 o 13226 71.73 c 1806 71.77 o 13228 71.77 c 1804 71.82 o 13229 71.82 c 1803 71.86 o 13232 71.86 c 1800 71.90 o 13235 71.90 c 1797 71.94 o 13237 71.94 c 1795 71.99 o 13238 71.99 c 1794 72.02 o 13241 72.02 c 1791 72.12 o 13243 72.12 c 1789 72.16 o 13245 72.16 c 1787 72.29 o 13246 72.29 c 1786 72.33 o 13248 72.33 c 1784 72.45 o 13252 72.45 c 1780 72.51 o 13255 72.51 c 1777 72.54 o 13257 72.54 c 1775 72.58 o 13260 72.58 c 1772 72.64 o 13262 72.64 c 1770 72.69 o 13263 72.69 c 1769 72.72 o 13265 72.72 c 1767 72.75 o 13269 72.75 c 1763 72.77 o 13271 72.77 c 1761 72.79 o 13272 72.79 c 1760 72.81 o 13273 72.81 c 1759 72.83 o 13275 72.83 c 1757 72.85 o 13283 72.85 c 1749 72.90 o 13285 72.90 c 1747 72.91 o 13288 72.91 c 1744 72.93 o 13289 72.93 c 1743 72.96 o 13292 72.96 c 1740 73.03 o 13293 73.03 c 1739 73.08 o 13295 73.08 c 1737 73.11 o 13298 73.11 c 1734 73.24 o 13303 73.24 c 1729 73.28 o 13305 73.28 c 1727 73.31 o 13309 73.31 c 1723 73.35 o 13313 73.35 c 1719 73.39 o 13317 73.39 c 1715 73.43 o 13320 73.43 c 1712 73.48 o 13325 73.48 c 1707 73.51 o 13330 73.51 c 1702 73.55 o 13332 73.55 c 1700 73.58 o 13335 73.58 c 1697 73.61 o 13340 73.61 c 1692 73.64 o 13344 73.64 c 1688 73.68 o 13347 73.68 c 1685 73.79 o 13351 73.79 c 1681 73.82 o 13352 73.82 c 1680 73.85 o 13357 73.85 c 1675 73.88 o 13361 73.88 c 1671 73.93 o 13363 73.93 c 1669 73.96 o 13367 73.96 c 1665 74.00 o 13369 74.00 c 1663 74.03 o 13371 74.03 c 1661 74.06 o 13373 74.06 c 1659 74.10 o 13376 74.10 c 1656 74.14 o 13379 74.14 c 1653 74.17 o 13381 74.17 c 1651 74.21 o 13383 74.21 c 1649 74.24 o 13385 74.24 c 1647 74.26 o 13387 74.26 c 1645 74.29 o 13391 74.29 c 1641 74.32 o 13393 74.32 c 1639 74.34 o 13395 74.34 c 1637 74.37 o 13399 74.37 c 1633 74.41 o 13400 74.41 c 1632 74.45 o 13401 74.45 c 1631 74.57 o 13402 74.57 c 1630 74.61 o 13404 74.61 c 1628 74.63 o 13408 74.63 c 1624 74.67 o 13410 74.67 c 1622 74.70 o 13413 74.70 c 1619 74.72 o 13416 74.72 c 1616 74.76 o 13419 74.76 c 1613 74.80 o 13422 74.80 c 1610 74.82 o 13424 74.82 c 1608 74.85 o 13427 74.85 c 1605 74.89 o 13430 74.89 c 1602 74.98 o 13434 74.98 c 1598 75.03 o 13435 75.03 c 1597 75.07 o 13439 75.07 c 1593 75.10 o 13440 75.10 c 1592 75.14 o 13444 75.14 c 1588 75.18 o 13445 75.18 c 1587 75.22 o 13449 75.22 c 1583 75.25 o 13452 75.25 c 1580 75.35 o 13454 75.35 c 1578 75.39 o 13456 75.39 c 1576 75.42 o 13458 75.42 c 1574 75.45 o 13459 75.45 c 1573 75.48 o 13462 75.48 c 1570 75.57 o 13464 75.57 c 1568 75.60 o 13465 75.60 c 1567 75.64 o 13469 75.64 c 1563 75.68 o 13473 75.68 c 1559 75.71 o 13475 75.71 c 1557 75.75 o 13476 75.75 c 1556 75.89 o 13478 75.89 c 1554 75.93 o 13480 75.93 c 1552 75.96 o 13484 75.96 c 1548 76.00 o 13488 76.00 c 1544 76.03 o 13491 76.03 c 1541 76.07 o 13494 76.07 c 1538 76.11 o 13501 76.11 c 1531 76.15 o 13504 76.15 c 1528 76.19 o 13508 76.19 c 1524 76.23 o 13511 76.23 c 1521 76.32 o 13515 76.32 c 1517 76.35 o 13520 76.35 c 1512 76.39 o 13522 76.39 c 1510 76.43 o 13525 76.43 c 1507 76.47 o 13527 76.47 c 1505 76.51 o 13529 76.51 c 1503 76.55 o 13530 76.55 c 1502 76.64 o 13531 76.64 c 1501 76.72 o 13533 76.72 c 1499 76.76 o 13535 76.76 c 1497 76.85 o 13537 76.85 c 1495 76.90 o 13538 76.90 c 1494 76.94 o 13541 76.94 c 1491 77.00 o 13543 77.00 c 1489 77.04 o 13546 77.04 c 1486 77.08 o 13550 77.08 c 1482 77.18 o 13555 77.18 c 1477 77.22 o 13556 77.22 c 1476 77.27 o 13558 77.27 c 1474 77.38 o 13562 77.38 c 1470 77.43 o 13565 77.43 c 1467 77.55 o 13568 77.55 c 1464 77.62 o 13569 77.62 c 1463 77.72 o 13570 77.72 c 1462 77.76 o 13575 77.76 c 1457 77.82 o 13577 77.82 c 1455 77.88 o 13578 77.88 c 1454 77.98 o 13581 77.98 c 1451 78.04 o 13584 78.04 c 1448 78.15 o 13585 78.15 c 1447 78.21 o 13588 78.21 c 1444 78.35 o 13592 78.35 c 1440 78.40 o 13597 78.40 c 1435 78.50 o 13598 78.50 c 1434 78.56 o 13600 78.56 c 1432 78.60 o 13603 78.60 c 1429 78.67 o 13608 78.67 c 1424 78.72 o 13611 78.72 c 1421 78.78 o 13613 78.78 c 1419 78.83 o 13614 78.83 c 1418 78.88 o 13615 78.88 c 1417 78.93 o 13617 78.93 c 1415 79.03 o 13619 79.03 c 1413 79.38 o 13620 79.38 c 1412 79.44 o 13626 79.44 c 1406 79.50 o 13629 79.50 c 1403 79.56 o 13630 79.56 c 1402 79.67 o 13633 79.67 c 1399 79.72 o 13634 79.72 c 1398 79.77 o 13635 79.77 c 1397 79.89 o 13636 79.89 c 1396 79.95 o 13637 79.95 c 1395 80.39 o 13638 80.39 c 1394 80.44 o 13639 80.44 c 1393 80.50 o 13640 80.50 c 1392 80.58 o 13641 80.58 c 1391 80.68 o 13646 80.68 c 1386 80.74 o 13649 80.74 c 1383 80.79 o 13652 80.79 c 1380 80.89 o 13656 80.89 c 1376 80.94 o 13661 80.94 c 1371 81.10 o 13663 81.10 c 1369 81.15 o 13668 81.15 c 1364 81.25 o 13671 81.25 c 1361 81.30 o 13672 81.30 c 1360 81.39 o 13674 81.39 c 1358 81.45 o 13677 81.45 c 1355 81.55 o 13678 81.55 c 1354 81.61 o 13679 81.61 c 1353 81.65 o 13682 81.65 c 1350 81.70 o 13684 81.70 c 1348 81.75 o 13688 81.75 c 1344 81.80 o 13693 81.80 c 1339 81.85 o 13694 81.85 c 1338 81.88 o 13698 81.88 c 1334 81.93 o 13699 81.93 c 1333 81.97 o 13700 81.97 c 1332 82.02 o 13702 82.02 c 1330 82.07 o 13703 82.07 c 1329 82.20 o 13705 82.20 c 1327 82.24 o 13708 82.24 c 1324 82.28 o 13710 82.28 c 1322 82.39 o 13714 82.39 c 1318 82.43 o 13717 82.43 c 1315 82.47 o 13721 82.47 c 1311 82.52 o 13724 82.52 c 1308 82.74 o 13726 82.74 c 1306 82.79 o 13727 82.79 c 1305 82.84 o 13730 82.84 c 1302 82.89 o 13732 82.89 c 1300 82.94 o 13733 82.94 c 1299 82.96 o 13735 82.96 c 1297 83.16 o 13736 83.16 c 1296 83.21 o 13737 83.21 c 1295 83.27 o 13739 83.27 c 1293 83.41 o 13740 83.41 c 1292 83.56 o 13741 83.56 c 1291 83.65 o 13743 83.65 c 1289 83.85 o 13746 83.85 c 1286 83.90 o 13751 83.90 c 1281 83.96 o 13752 83.96 c 1280 84.02 o 13755 84.02 c 1277 86.31 o 13758 86.31 c 1274 86.59 o 13759 86.59 c 1273 87.27 o 13760 87.27 c 1272 87.34 o 13761 87.34 c 1271 87.47 o 13763 87.47 c 1269 87.70 o 13767 87.70 c 1265 87.83 o 13768 87.83 c 1264 88.64 o 13769 88.64 c 1263 89.32 o 13771 89.32 c 1261 89.39 o 13773 89.39 c 1259 89.47 o 13775 89.47 c 1257 89.54 o 13776 89.54 c 1256 89.62 o 13777 89.62 c 1255 89.70 o 13778 89.70 c 1254 89.78 o 13779 89.78 c 1253 89.87 o 13780 89.87 c 1252 89.95 o 13781 89.95 c 1251 90.03 o 13782 90.03 c 1250 90.11 o 13785 90.11 c 1247 90.27 o 13787 90.27 c 1245 90.34 o 13788 90.34 c 1244 90.67 o 13791 90.67 c 1241 90.75 o 13792 90.75 c 1240 90.82 o 13796 90.82 c 1236 90.97 o 13797 90.97 c 1235 91.31 o 13800 91.31 c 1232 91.40 o 13802 91.40 c 1230 91.50 o 13804 91.50 c 1228 91.59 o 13808 91.59 c 1224 91.85 o 13810 91.85 c 1222 91.94 o 13811 91.94 c 1221 92.02 o 13814 92.02 c 1218 92.11 o 13816 92.11 c 1216 92.19 o 13817 92.19 c 1215 92.34 o 13821 92.34 c 1211 92.43 o 13823 92.43 c 1209 92.57 o 13824 92.57 c 1208 92.73 o 13825 92.73 c 1207 92.80 o 13828 92.80 c 1204 92.87 o 13829 92.87 c 1203 92.96 o 13832 92.96 c 1200 93.01 o 13833 93.01 c 1199 93.08 o 13835 93.08 c 1197 93.16 o 13838 93.16 c 1194 93.24 o 13839 93.24 c 1193 93.31 o 13842 93.31 c 1190 93.38 o 13845 93.38 c 1187 93.45 o 13847 93.45 c 1185 93.52 o 13848 93.52 c 1184 93.59 o 13849 93.59 c 1183 93.67 o 13851 93.67 c 1181 93.72 o 13854 93.72 c 1178 93.77 o 13857 93.77 c 1175 93.85 o 13859 93.85 c 1173 93.92 o 13861 93.92 c 1171 93.99 o 13863 93.99 c 1169 94.06 o 13867 94.06 c 1165 94.13 o 13871 94.13 c 1161 94.29 o 13874 94.29 c 1158 94.34 o 13878 94.34 c 1154 94.42 o 13883 94.42 c 1149 94.49 o 13886 94.49 c 1146 94.56 o 13887 94.56 c 1145 94.64 o 13888 94.64 c 1144 94.72 o 13890 94.72 c 1142 94.79 o 13891 94.79 c 1141 95.07 o 13894 95.07 c 1138 95.21 o 13895 95.21 c 1137 95.38 o 13898 95.38 c 1134 95.45 o 13900 95.45 c 1132 95.53 o 13901 95.53 c 1131 95.59 o 13903 95.59 c 1129 95.66 o 13908 95.66 c 1124 95.73 o 13909 95.73 c 1123 95.79 o 13911 95.79 c 1121 95.90 o 13915 95.90 c 1117 95.96 o 13920 95.96 c 1112 96.38 o 13921 96.38 c 1111 96.51 o 13923 96.51 c 1109 96.57 o 13926 96.57 c 1106 96.70 o 13927 96.70 c 1105 96.81 o 13928 96.81 c 1104 96.88 o 13929 96.88 c 1103 96.95 o 13932 96.95 c 1100 97.09 o 13933 97.09 c 1099 97.15 o 13937 97.15 c 1095 97.37 o 13938 97.37 c 1094 98.08 o 13939 98.08 c 1093 98.15 o 13941 98.15 c 1091 98.22 o 13942 98.22 c 1090 98.27 o 13944 98.27 c 1088 98.40 o 13945 98.40 c 1087 98.47 o 13948 98.47 c 1084 98.53 o 13950 98.53 c 1082 98.59 o 13952 98.59 c 1080 98.89 o 13953 98.89 c 1079 98.94 o 13954 98.94 c 1078 99.00 o 13955 99.00 c 1077 99.12 o 13957 99.12 c 1075 99.37 o 13959 99.37 c 1073 99.43 o 13961 99.43 c 1071 99.51 o 13962 99.51 c 1070 99.57 o 13965 99.57 c 1067 99.70 o 13966 99.70 c 1066 99.88 o 13967 99.88 c 1065 99.92 o 13969 99.92 c 1063 99.99 o 13971 99.99 c 1061 100.55 o 13973 100.55 c 1059 100.71 o 13979 100.71 c 1053 100.87 o 13981 100.87 c 1051 101.71 o 13983 101.71 c 1049 101.80 o 13984 101.80 c 1048 101.97 o 13986 101.97 c 1046 102.04 o 13988 102.04 c 1044 102.22 o 13989 102.22 c 1043 102.30 o 13991 102.30 c 1041 102.39 o 13992 102.39 c 1040 102.46 o 13994 102.46 c 1038 102.63 o 13995 102.63 c 1037 102.71 o 13996 102.71 c 1036 102.79 o 13997 102.79 c 1035 103.79 o 14000 103.79 c 1032 103.98 o 14001 103.98 c 1031 104.08 o 14005 104.08 c 1027 104.41 o 14006 104.41 c 1026 104.51 o 14007 104.51 c 1025 104.71 o 14009 104.71 c 1023 104.81 o 14011 104.81 c 1021 105.32 o 14013 105.32 c 1019 105.42 o 14014 105.42 c 1018 105.53 o 14016 105.53 c 1016 105.66 o 14017 105.66 c 1015 105.74 o 14018 105.74 c 1014 106.70 o 14021 106.70 c 1011 107.12 o 14024 107.12 c 1008 107.45 o 14026 107.45 c 1006 108.15 o 14030 108.15 c 1002 108.19 o 14032 108.19 c 1000 108.29 o 14034 108.29 c 998 108.49 o 14037 108.49 c 995 109.81 o 14038 109.81 c 994 110.09 o 14040 110.09 c 992 110.36 o 14041 110.36 c 991 110.42 o 14043 110.42 c 989 110.52 o 14044 110.52 c 988 110.62 o 14046 110.62 c 986 110.71 o 14048 110.71 c 984 110.81 o 14050 110.81 c 982 111.29 o 14053 111.29 c 979 111.39 o 14057 111.39 c 975 111.49 o 14059 111.49 c 973 111.59 o 14061 111.59 c 971 112.50 o 14063 112.50 c 969 112.69 o 14064 112.69 c 968 112.88 o 14065 112.88 c 967 112.97 o 14066 112.97 c 966 113.17 o 14067 113.17 c 965 113.25 o 14070 113.25 c 962 113.33 o 14072 113.33 c 960 113.41 o 14077 113.41 c 955 113.52 o 14079 113.52 c 953 113.71 o 14081 113.71 c 951 114.05 o 14082 114.05 c 950 114.15 o 14084 114.15 c 948 114.32 o 14085 114.32 c 947 115.72 o 14086 115.72 c 946 115.83 o 14090 115.83 c 942 116.04 o 14091 116.04 c 941 116.14 o 14092 116.14 c 940 116.20 o 14093 116.20 c 939 116.28 o 14096 116.28 c 936 116.36 o 14099 116.36 c 933 116.56 o 14100 116.56 c 932 116.76 o 14101 116.76 c 931 117.04 o 14102 117.04 c 930 117.13 o 14106 117.13 c 926 117.22 o 14108 117.22 c 924 117.97 o 14112 117.97 c 920 118.07 o 14116 118.07 c 916 118.16 o 14118 118.16 c 914 118.54 o 14119 118.54 c 913 118.75 o 14122 118.75 c 910 118.81 o 14123 118.81 c 909 118.98 o 14126 118.98 c 906 119.09 o 14128 119.09 c 904 119.20 o 14130 119.20 c 902 119.23 o 14134 119.23 c 898 119.31 o 14135 119.31 c 897 119.40 o 14136 119.40 c 896 119.50 o 14137 119.50 c 895 119.59 o 14139 119.59 c 893 119.99 o 14140 119.99 c 892 120.10 o 14144 120.10 c 888 120.79 o 14145 120.79 c 887 120.89 o 14146 120.89 c 886 121.00 o 14149 121.00 c 883 121.12 o 14152 121.12 c 880 121.22 o 14153 121.22 c 879 121.33 o 14154 121.33 c 878 121.44 o 14159 121.44 c 873 121.71 o 14160 121.71 c 872 122.35 o 14165 122.35 c 867 122.46 o 14166 122.46 c 866 122.56 o 14169 122.56 c 863 123.37 o 14170 123.37 c 862 123.84 o 14171 123.84 c 861 124.06 o 14174 124.06 c 858 124.17 o 14175 124.17 c 857 124.29 o 14177 124.29 c 855 124.36 o 14180 124.36 c 852 124.50 o 14181 124.50 c 851 124.63 o 14183 124.63 c 849 124.74 o 14185 124.74 c 847 124.79 o 14187 124.79 c 845 126.02 o 14188 126.02 c 844 127.35 o 14189 127.35 c 843 128.62 o 14190 128.62 c 842 128.73 o 14192 128.73 c 840 128.76 o 14197 128.76 c 835 128.87 o 14199 128.87 c 833 129.43 o 14200 129.43 c 832 130.42 o 14202 130.42 c 830 130.55 o 14204 130.55 c 828 130.66 o 14205 130.66 c 827 130.78 o 14207 130.78 c 825 130.87 o 14213 130.87 c 819 132.46 o 14216 132.46 c 816 132.56 o 14217 132.56 c 815 132.68 o 14221 132.68 c 811 132.79 o 14223 132.79 c 809 133.16 o 14224 133.16 c 808 133.54 o 14225 133.54 c 807 133.60 o 14228 133.60 c 804 133.73 o 14232 133.73 c 800 133.81 o 14233 133.81 c 799 133.92 o 14235 133.92 c 797 134.04 o 14237 134.04 c 795 134.15 o 14240 134.15 c 792 134.27 o 14241 134.27 c 791 135.30 o 14243 135.30 c 789 135.54 o 14244 135.54 c 788 135.65 o 14245 135.65 c 787 135.77 o 14247 135.77 c 785 135.88 o 14250 135.88 c 782 137.00 o 14255 137.00 c 777 137.12 o 14256 137.12 c 776 137.25 o 14257 137.25 c 775 137.37 o 14258 137.37 c 774 137.49 o 14259 137.49 c 773 137.75 o 14260 137.75 c 772 137.80 o 14263 137.80 c 769 137.92 o 14264 137.92 c 768 138.06 o 14267 138.06 c 765 138.52 o 14268 138.52 c 764 138.64 o 14270 138.64 c 762 139.91 o 14271 139.91 c 761 140.04 o 14274 140.04 c 758 140.13 o 14277 140.13 c 755 140.40 o 14279 140.40 c 753 140.65 o 14281 140.65 c 751 141.08 o 14283 141.08 c 749 141.21 o 14284 141.21 c 748 141.35 o 14285 141.35 c 747 141.47 o 14288 141.47 c 744 141.71 o 14289 141.71 c 743 141.82 o 14294 141.82 c 738 144.55 o 14296 144.55 c 736 144.91 o 14298 144.91 c 734 145.03 o 14299 145.03 c 733 145.12 o 14301 145.12 c 731 145.24 o 14303 145.24 c 729 145.48 o 14304 145.48 c 728 146.11 o 14305 146.11 c 727 146.23 o 14306 146.23 c 726 146.49 o 14307 146.49 c 725 146.62 o 14308 146.62 c 724 148.39 o 14309 148.39 c 723 148.52 o 14310 148.52 c 722 148.66 o 14311 148.66 c 721 148.80 o 14312 148.80 c 720 150.53 o 14315 150.53 c 717 150.55 o 14318 150.55 c 714 150.96 o 14319 150.96 c 713 151.09 o 14320 151.09 c 712 151.24 o 14322 151.24 c 710 151.51 o 14323 151.51 c 709 152.59 o 14324 152.59 c 708 152.78 o 14326 152.78 c 706 153.07 o 14327 153.08 c 705 153.22 o 14329 153.22 c 703 154.30 o 14331 154.30 c 701 154.46 o 14332 154.46 c 700 154.63 o 14333 154.63 c 699 154.80 o 14336 154.80 c 696 159.06 o 14337 159.06 c 695 159.31 o 14338 159.31 c 694 159.48 o 14340 159.48 c 692 159.62 o 14342 159.62 c 690 160.25 o 14346 160.25 c 686 160.41 o 14348 160.41 c 684 160.58 o 14352 160.58 c 680 161.02 o 14353 161.02 c 679 161.32 o 14355 161.32 c 677 161.45 o 14358 161.45 c 674 161.76 o 14360 161.76 c 672 161.91 o 14361 161.91 c 671 162.07 o 14363 162.07 c 669 162.22 o 14364 162.22 c 668 162.53 o 14365 162.53 c 667 163.44 o 14366 163.44 c 666 163.90 o 14368 163.90 c 664 164.06 o 14371 164.06 c 661 164.22 o 14372 164.22 c 660 164.52 o 14373 164.52 c 659 164.67 o 14374 164.67 c 658 164.82 o 14375 164.82 c 657 164.96 o 14376 164.96 c 656 165.12 o 14377 165.12 c 655 165.27 o 14380 165.27 c 652 166.02 o 14383 166.02 c 649 166.18 o 14385 166.18 c 647 166.48 o 14387 166.48 c 645 166.79 o 14388 166.79 c 644 166.95 o 14389 166.95 c 643 167.85 o 14391 167.85 c 641 168.00 o 14392 168.00 c 640 168.16 o 14393 168.16 c 639 168.34 o 14394 168.34 c 638 168.51 o 14395 168.51 c 637 168.55 o 14396 168.55 c 636 172.60 o 14397 172.60 c 635 173.19 o 14398 173.19 c 634 174.26 o 14400 174.26 c 632 174.40 o 14401 174.40 c 631 174.54 o 14403 174.54 c 629 175.83 o 14404 175.83 c 628 175.98 o 14405 175.98 c 627 176.43 o 14406 176.43 c 626 176.88 o 14408 176.88 c 624 177.10 o 14410 177.10 c 622 177.24 o 14411 177.24 c 621 177.47 o 14414 177.47 c 618 177.61 o 14416 177.61 c 616 178.00 o 14418 178.00 c 614 178.54 o 14420 178.54 c 612 178.97 o 14421 178.97 c 611 179.11 o 14424 179.11 c 608 179.26 o 14425 179.26 c 607 179.41 o 14426 179.41 c 606 179.55 o 14427 179.55 c 605 179.84 o 14430 179.84 c 602 179.96 o 14432 179.96 c 600 180.11 o 14434 180.11 c 598 180.26 o 14435 180.26 c 597 180.40 o 14436 180.41 c 596 181.32 o 14438 181.32 c 594 181.46 o 14442 181.46 c 590 182.22 o 14443 182.22 c 589 182.27 o 14445 182.27 c 587 182.40 o 14446 182.40 c 586 182.53 o 14447 182.53 c 585 183.68 o 14448 183.68 c 584 183.94 o 14449 183.94 c 583 184.07 o 14451 184.07 c 581 184.22 o 14453 184.22 c 579 184.31 o 14454 184.31 c 578 189.30 o 14458 189.30 c 574 189.32 o 14461 189.32 c 571 189.47 o 14462 189.47 c 570 189.59 o 14463 189.59 c 569 190.03 o 14464 190.03 c 568 192.51 o 14465 192.51 c 567 192.68 o 14466 192.68 c 566 195.03 o 14468 195.03 c 564 195.21 o 14469 195.21 c 563 195.54 o 14472 195.54 c 560 195.61 o 14473 195.61 c 559 196.65 o 14474 196.65 c 558 196.83 o 14477 196.83 c 555 203.22 o 14479 203.22 c 553 203.55 o 14484 203.55 c 548 203.75 o 14485 203.75 c 547 203.93 o 14489 203.93 c 543 204.70 o 14491 204.70 c 541 205.10 o 14495 205.10 c 537 205.21 o 14496 205.21 c 536 205.35 o 14498 205.35 c 534 206.06 o 14499 206.06 c 533 206.23 o 14502 206.23 c 530 206.56 o 14503 206.56 c 529 206.85 o 14504 206.85 c 528 207.68 o 14505 207.68 c 527 207.85 o 14506 207.85 c 526 212.18 o 14507 212.18 c 525 213.25 o 14508 213.25 c 524 213.63 o 14510 213.63 c 522 214.89 o 14511 214.89 c 521 215.06 o 14512 215.06 c 520 215.24 o 14513 215.24 c 519 215.43 o 14515 215.43 c 517 216.29 o 14516 216.29 c 516 216.46 o 14517 216.46 c 515 216.62 o 14518 216.62 c 514 216.79 o 14519 216.79 c 513 217.29 o 14520 217.29 c 512 217.80 o 14521 217.81 c 511 217.97 o 14523 217.97 c 509 222.43 o 14524 222.43 c 508 222.59 o 14525 222.59 c 507 222.75 o 14526 222.75 c 506 222.92 o 14528 222.92 c 504 223.39 o 14529 223.39 c 503 223.55 o 14530 223.55 c 502 223.88 o 14531 223.88 c 501 224.23 o 14533 224.23 c 499 254.55 254.55 search 254.55 run=0 nbConstraintChecks=639882144 nbAssignments=1989 254.55 => wckTime=192.08 cpuTime=190.4 mem=49M419 254.55 254.55 global 254.55 nbConstraintChecks=639882144 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 254.55 solvingWckTime=192.07 solvingCpuTime=190.39 expiredTime=no totalExploration=no nbFoundSolutions=0 254.55 globalCpuTime=251.27 254.55 => wckTime=254.25 cpuTime=251.23 mem=49M419 254.55 254.55 solver IterativeSystematicSolver being built... 254.92 => wckTime=254.619 cpuTime=251.49 mem=109M169 1135.20 1135.20 preprocessing 1135.20 nbConstraintChecks=995973203 nbValidityChecks=5614866399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1135.20 nbRemovedValues=0 detectedInconsistency=no 1135.20 => wckTime=880.273 cpuTime=877.95 mem=109M169 2405.11 v -2032 2720 2116 -2020 2276 2700 2060 -2412 2696 -2088 2024 2696 -2172 -2444 -2608 -2632 2336 -2496 -2592 2568 -2020 2020 -2496 -2484 -2460 2536 -2472 -2536 2688 -2684 -2096 2732 2512 -2300 -2732 2116 -2452 -2188 2344 -2540 2544 -2700 -2056 2596 2076 2436 2140 -2196 -2020 2580 2284 2456 2372 -2024 2500 2660 -2692 -2304 2720 2072 -2724 2064 2124 2580 2300 -2116 2072 -2064 -2668 -2328 -2352 -2296 -2664 -2732 -2496 -2512 -2232 2464 2736 2336 2616 -2064 2548 -2668 2056 2500 -2060 -2480 -2372 2260 -2072 2688 -2568 2044 2080 -2504 -2164 -2300 2528 2076 -2116 -2536 2500 2348 -2648 -2520 2668 2668 2600 2340 -2724 -2512 -2508 -2680 -2740 2336 2376 -2288 -2684 2204 2276 -2576 -2132 -2680 -2180 -2064 -2536 -2688 -2704 -2484 2556 2628 -2580 2292 -2032 -2028 2376 2740 -2544 2716 2528 2284 -2224 -2040 -2332 2124 -2416 2684 -2584 -2336 -2244 -2336 2156 2628 -2028 2468 -2440 2660 -2184 2080 -2576 -2588 2620 -2248 2404 -2032 2204 -2228 -2724 2652 -2680 -2732 -2244 -2128 -2576 2692 -2040 2032 2684 -2672 -2700 -2724 2328 2304 2504 -2252 -2600 -2300 -2576 -2092 2036 -2472 -2128 2060 2260 2408 2236 -2064 2412 2576 -2580 2292 -2072 2708 -2364 2396 2740 -2096 -2716 -2060 -2620 2464 -2028 -2696 2596 -2540 2348 -2616 2516 -2460 -2128 -2172 2116 2472 2596 2740 2544 2284 -2280 2416 2608 2684 2636 2520 2700 -2436 2396 2056 2296 -2308 -2500 -2228 -2052 2736 -2548 -2544 -2580 -2476 2020 -2076 2168 2024 -2020 -2676 -2024 -2116 -2256 2720 2288 2636 -2036 -2308 -2088 -2180 2620 2080 2340 2436 -2176 2736 2456 -2352 -2648 -2708 -2032 2104 -2460 -2232 2356 2636 2096 -2456 -2260 -2168 2616 2588 -2104 2728 2692 -2072 -2740 -2660 -2248 -2256 2056 -2380 2492 -2188 2524 2216 -2308 2120 2332 -2536 2652 2296 2728 2452 2360 -2392 -2640 2076 2412 2312 -2416 -2480 2320 2096 2040 2336 -2428 -2496 -2712 2068 -2068 -2428 2516 -2516 -2364 -2636 2576 2092 2020 2428 -2020 2092 2212 -2740 2368 -2412 2324 2140 -2424 -2464 -2020 2552 -2352 2652 -2592 2504 2620 2124 -2068 2552 -2416 2584 2640 -2340 2408 -2388 -2552 2376 -2052 2212 2324 2548 2036 -2064 -2676 2536 -2700 2208 2140 2092 2700 -2660 -2692 2624 2388 -2080 -2144 -2092 2636 -2024 2212 -2032 -2296 -2624 -2020 2268 -2064 2600 2592 -2384 -2376 -2276 -2096 2688 -2344 -2464 -2568 -2328 -2132 2528 2116 -2616 2408 -2332 -2280 -2692 2248 -2584 -2736 2488 -2716 2472 2552 2176 -2680 -2676 -2528 -2252 -2632 -2680 2528 2092 -2428 -2060 -2532 -2324 -2168 -2716 2076 2436 2152 2740 2296 2168 -2696 2388 -2060 2060 2728 -2664 2740 -2036 -2476 2700 2736 2684 -2068 2128 2692 2416 -2504 2024 -2348 2496 -2392 2584 -2704 -2332 2216 -2280 -2500 2736 -2608 -2420 2112 2372 -2696 2060 2080 -2320 2244 -2676 -2344 -2568 -2420 2328 -2368 -2628 2504 2348 2192 -2020 2672 -2684 -2680 -2284 2580 -2604 2580 -2448 -2296 -2068 2080 2592 2212 -2736 -2352 -2032 2376 2556 2732 -2024 -2080 2056 2376 -2184 2512 2292 -2384 -2724 -2524 2632 -2228 -2024 -2596 -2680 2700 -2580 2468 2360 -2336 -2504 2388 2692 -2376 2700 -2640 -2440 -2028 2500 2216 -2496 -2104 2684 -2596 -2304 -2624 -2680 -2464 2248 2088 -2264 2592 2728 2564 -2452 2132 -2476 2688 -2388 -2336 2344 2440 2320 2692 2172 -2480 2072 2660 -2124 2380 2196 -2036 -2680 -2712 2180 2520 -2028 -2064 2124 -2380 -2332 2100 2600 -2704 2624 2460 2136 2632 2376 -2492 -2604 -2312 -2136 2640 -2036 -2496 -2556 2720 2284 2636 -2732 2200 2272 -2560 2020 -2384 -2672 2140 -2552 2592 -2208 2328 2336 -2220 2664 2680 -2504 2540 -2560 -2456 -2040 2404 2296 -2660 -2728 2628 2176 2384 -2112 2356 -2668 2172 2504 2500 2720 2448 -2064 2620 2040 2628 2516 -2400 2240 2208 2696 2024 2028 2392 -2324 -2216 2060 -2156 2024 -2632 2036 -2576 -2020 2472 2480 -2364 -2164 -2196 -2536 -2096 2176 -2472 2640 -2020 -2364 -2184 2204 -2676 2476 -2688 2164 2460 2228 2420 -2084 -2292 2656 -2524 -2360 2360 -2060 -2612 -2328 -2192 2592 -2368 -2404 -2092 -2680 2400 2400 -2040 2180 2520 -2724 2020 -2676 -2724 -2328 -2252 2056 2192 2256 -2236 2100 -2680 -2376 -2636 2476 2060 -2444 -2336 -2288 -2056 -2564 2568 2552 2236 2504 -2124 2112 -2536 2384 2128 2040 -2156 2708 -2672 -2388 2276 -2256 -2652 2536 -2348 2420 2164 2084 -2664 2344 -2564 -2352 -2072 -2096 -2028 -2632 2480 -2700 -2116 -2024 -2464 2036 -2540 -2100 2424 -2240 2224 2436 -2592 2636 -2260 2548 -2364 -2492 2344 -2732 2068 -2352 2524 -2592 -2188 -2596 2372 -2736 -2292 -2712 -2216 -2624 2256 -2036 -2380 -2236 2684 -2108 2600 2156 -2288 2128 -2688 -2336 -2164 2244 -2636 2076 -2536 2648 2616 -2024 2672 2140 -2520 2428 -2660 -2504 -2584 2284 2724 2284 -2064 2480 -2456 2292 -2484 2620 2556 2300 -2348 2320 2484 -2020 -2476 2640 -2584 2740 2264 -2140 -2680 -2676 2588 -2488 2064 -2296 2088 -2140 -2356 -2528 2468 2144 -2708 -2320 2672 2696 -2080 2492 -2588 -2700 -2564 2648 -2724 -2524 2076 2144 2568 -2724 2316 -2108 2068 2332 -2544 -2492 -2100 -2660 -2496 -2420 -2044 2688 2048 -2264 -2596 -2676 2616 -2128 2460 2512 -2476 2368 -2620 -2288 2084 2156 2040 -2388 -2304 2540 2520 -2560 2740 2244 2132 -2436 -2424 -2684 2076 -2688 -2544 -2064 -2088 -2104 2556 2180 2720 -2576 2588 2620 2164 -2648 -2292 2020 -2464 2312 -2540 -2452 2036 -2700 2104 2156 2216 2060 2724 2452 -2384 2068 2384 2620 -2372 2740 -2448 2688 -2160 -2340 2020 2696 -2444 2692 -2508 -2696 2328 -2596 2432 -2256 -2224 -2556 -2256 2376 -2628 -2516 2180 -2416 -2092 2132 2536 2424 -2056 -2496 2656 2584 -2392 -2360 -2332 2564 -2712 -2032 -2332 -2076 -2428 2252 -2316 2340 -2288 -2072 -2060 -2484 -2676 -2476 -2268 2292 -2064 -2404 -2696 2072 2304 -2228 -2096 -2576 -2660 -2468 2188 -2340 -2288 2640 2648 2712 2076 -2524 -2700 -2588 2640 2508 -2620 2684 -2420 -2508
499 unsatisfied constraints, 14533 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-275285-1169219417 -o ROOT/results/node76/solver-275285-1169219417 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275285-1169219417/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.07 1.99 4/86 19770 /proc/meminfo: memFree=1018240/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=18544 CPUtime=0 /proc/19769/stat : 19769 (runsolver) R 19767 19769 19136 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 270338835 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/19769/statm: 4636 280 245 17 0 2626 0 [startup+0.105188 s] /proc/loadavg: 2.10 2.07 1.99 4/86 19770 /proc/meminfo: memFree=1018240/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=914992 CPUtime=0.08 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 2992 0 1 0 6 2 0 0 25 0 8 0 270338835 936951808 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228748 2740 1428 14 0 215242 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 914992 [startup+0.51327 s] /proc/loadavg: 2.10 2.07 1.99 4/86 19770 /proc/meminfo: memFree=1018240/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915336 CPUtime=0.49 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 7820 0 1 0 43 6 0 0 25 0 8 0 270338835 937304064 7561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072933953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228834 7561 2144 14 0 215303 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915336 [startup+1.33443 s] /proc/loadavg: 2.10 2.07 1.99 3/93 19777 /proc/meminfo: memFree=943432/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=1.3 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 21093 0 1 0 117 13 0 0 25 0 8 0 270338835 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 20832 2185 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.07 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 4475 0 0 0 5 2 0 0 16 0 8 0 270338839 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.15 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270338843 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 20832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 915640 [startup+2.97175 s] /proc/loadavg: 2.10 2.07 1.99 3/93 19777 /proc/meminfo: memFree=943176/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=2.93 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 21098 0 1 0 280 13 0 0 25 0 8 0 270338835 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 20836 2185 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.07 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 4475 0 0 0 5 2 0 0 17 0 8 0 270338839 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.16 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 408 0 0 0 16 0 0 0 15 0 8 0 270338843 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 915640 [startup+6.2684 s] /proc/loadavg: 2.10 2.07 1.99 3/93 19777 /proc/meminfo: memFree=942984/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=6.18 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 21115 0 1 0 604 14 0 0 25 0 8 0 270338835 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 20853 2186 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.07 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 4475 0 0 0 5 2 0 0 16 0 8 0 270338839 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.18 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 424 0 0 0 18 0 0 0 15 0 8 0 270338843 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 915640 [startup+12.7397 s] /proc/loadavg: 2.08 2.07 1.99 3/93 19777 /proc/meminfo: memFree=942992/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=12.6 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 21122 0 1 0 1245 15 0 0 25 0 8 0 270338835 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 20859 2186 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.07 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 4475 0 0 0 5 2 0 0 16 0 8 0 270338839 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.19 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 270338843 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 915640 [startup+25.5932 s] /proc/loadavg: 2.07 2.07 1.99 3/93 19777 /proc/meminfo: memFree=940560/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=25.37 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 21776 0 1 0 2518 19 0 0 25 0 8 0 270338835 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 21510 2186 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.12 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 5125 0 0 0 10 2 0 0 16 0 8 0 270338839 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.19 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 431 0 0 0 19 0 0 0 16 0 8 0 270338843 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 21510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 915640 [startup+51.2833 s] /proc/loadavg: 2.04 2.06 1.99 3/93 19777 /proc/meminfo: memFree=928208/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=50.82 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 24878 0 1 0 5053 29 0 0 25 0 8 0 270338835 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 24610 2186 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.23 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 8216 0 0 0 20 3 0 0 16 0 8 0 270338839 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.22 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270338843 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 24610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 915640 [startup+102.58 s] /proc/loadavg: 2.11 2.08 2.00 3/93 19777 /proc/meminfo: memFree=906384/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=101.66 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 30637 0 1 0 10121 45 0 0 25 0 8 0 270338835 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073457747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19769/statm: 228910 30363 2505 14 0 215379 0 [pid=19769/tid=19771] ppid=19767 vsize=915640 CPUtime=0.61 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 13596 0 0 0 55 6 0 0 16 0 8 0 270338839 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915640 CPUtime=0.27 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 468 0 0 0 26 1 0 0 16 0 8 0 270338843 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915640 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937615360 30363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 915640 [startup+162.632 s] /proc/loadavg: 2.04 2.06 2.00 3/93 19777 /proc/meminfo: memFree=906256/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915640 CPUtime=161.22 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 30638 0 1 0 16072 50 0 0 25 0 8 0 270338835 937615360 30364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 2018.79 Current children cumulated vsize (KiB) 915812 [startup+2083.62 s] /proc/loadavg: 2.03 2.01 2.00 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2078.79 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 207818 61 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074235448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 17 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2078.79 Current children cumulated vsize (KiB) 915812 [startup+2143.64 s] /proc/loadavg: 2.01 2.01 2.00 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2138.79 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 213818 61 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074264110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 17 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2138.79 Current children cumulated vsize (KiB) 915812 [startup+2203.66 s] /proc/loadavg: 2.08 2.03 2.01 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2198.8 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 219818 62 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074264104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 16 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2198.8 Current children cumulated vsize (KiB) 915812 [startup+2263.68 s] /proc/loadavg: 2.03 2.02 2.00 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2258.8 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 225818 62 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074235479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 16 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2258.8 Current children cumulated vsize (KiB) 915812 [startup+2323.72 s] /proc/loadavg: 2.01 2.02 2.00 3/92 19909 /proc/meminfo: memFree=1400040/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2318.81 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 231819 62 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074234811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 16 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2318.81 Current children cumulated vsize (KiB) 915812 [startup+2383.75 s] /proc/loadavg: 2.00 2.01 2.00 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2378.81 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 237819 62 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074088945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 16 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2378.81 Current children cumulated vsize (KiB) 915812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2405.02 s] /proc/loadavg: 2.00 2.01 2.00 3/92 19909 /proc/meminfo: memFree=1400104/2055888 swapFree=4087964/4096564 [pid=19769] ppid=19767 vsize=915812 CPUtime=2400.09 /proc/19769/stat : 19769 (java) R 19767 19769 19136 0 -1 0 33898 0 1 0 239947 62 0 0 25 0 8 0 270338835 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19769/statm: 228953 33590 2554 14 0 215422 0 [pid=19769/tid=19771] ppid=19767 vsize=915812 CPUtime=0.65 /proc/19769/task/19771/stat : 19771 (java) S 19767 19769 19136 0 -1 64 16614 0 0 0 58 7 0 0 16 0 8 0 270338839 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19772] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19772/stat : 19772 (java) S 19767 19769 19136 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19773] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19773/stat : 19773 (java) S 19767 19769 19136 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270338840 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19774] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19774/stat : 19774 (java) S 19767 19769 19136 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19775] ppid=19767 vsize=915812 CPUtime=0.39 /proc/19769/task/19775/stat : 19775 (java) S 19767 19769 19136 0 -1 64 600 0 0 0 37 2 0 0 16 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19769/tid=19776] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19776/stat : 19776 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19769/tid=19777] ppid=19767 vsize=915812 CPUtime=0 /proc/19769/task/19777/stat : 19777 (java) S 19767 19769 19136 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270338843 937791488 33590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 915812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 2405.18 CPU time (s): 2400.25 CPU user time (s): 2399.58 CPU system time (s): 0.668898 CPU usage (%): 99.7948 Max. virtual memory (cumulated for all children) (KiB): 916844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.58 system time used= 0.668898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40304 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= 50521 involuntary context switches= 74217 runsolver used 2.66559 s user time and 5.96309 s system time The end
Begin job on node76 on Fri Jan 19 15:10:17 UTC 2007 IDJOB= 275285 IDBENCH= 3765 IDSOLVER= 68 FILE ID= node76/275285-1169219417 PBS_JOBID= 3589153 Free space on /tmp= 66644 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-7.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275285-1169219417/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-275285-1169219417 -o ROOT/results/node76/solver-275285-1169219417 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275285-1169219417/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 76197611c0892ae9e5058ee39d3aa972 RANDOM SEED= 586711496 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.254 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 : 6006.17 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.254 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1018656 kB Buffers: 33680 kB Cached: 391544 kB SwapCached: 2496 kB Active: 621032 kB Inactive: 351240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1018656 kB SwapTotal: 4096564 kB SwapFree: 4087964 kB Dirty: 3660 kB Writeback: 0 kB Mapped: 561848 kB Slab: 49544 kB Committed_AS: 8446180 kB PageTables: 2888 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66647 MiB End job on node76 on Fri Jan 19 15:50:23 UTC 2007