0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.30
0.18/0.30 instance
0.18/0.30 name=HOME/instance-2097922-1247414158.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.39
0.29/0.39 variables being loaded...
0.77/0.85 nbVariables=2900 nbDomainTypes=39 minDomainSize=82 maxDomainSize=998 nbTotalValues=1477634
0.77/0.85 => wckTime=0.587 cpuTime=0.38 mem=40M350
0.77/0.85
0.77/0.85 predicates being loaded...
0.87/0.91
0.87/0.91 constraints being loaded...
21.00/21.28
21.00/21.28 INFO : Stopping converting binary constraints (cpu=20.09, mem = 107M347)
37.52/37.87 nbConstraints=41785 nbGlobalConstraints=4 nbMergedConstraints=26117 nbConvertedConstraints=90
37.52/37.87 nbConvertConstraintsChecks=41396436 nbExtensionStructures=85 nbSharedExtensionStructures=7
37.52/37.87 nbConflictsStructures=281 nbSharedConflictsStructures=184 nbUnbuiltConflictsStructures=22386
37.52/37.87 nbSharedBinaryRepresentations=101084 nbEvaluationManagers=22582 nbSharedEvaluationManagers=19109 minDegree=7
37.52/37.87 maxDegree=56 minArity=2 avgArity=2 maxArity=6 nbGenerators=0 nbFusions=0 symmetryWckTime=5.728
37.52/37.87 symmetryCpuTime=4.95 nbCliques=4
37.52/37.87 => wckTime=37.609 cpuTime=34.75 mem=130M798
38.40/38.74
38.40/38.74 solver IterativeSystematicSolver being built...
39.39/39.75
39.39/39.75 INFO : Forward propagation technique limited
39.69/40.03 => wckTime=39.768 cpuTime=35.52 mem=361M684
45.14/45.56
45.14/45.56 preprocessing
45.14/45.56 nbConstraintChecks=7413297 nbValidityChecks=1033712 nbPropagations=3926 nbRevisions=142416
45.14/45.56 nbUselessRevisions=129075 nbRemovedValues=1469869 detectedInconsistency=no
45.14/45.56 => wckTime=5.505 cpuTime=5.42 mem=361M684
46.54/46.90
46.54/46.90 search
46.54/46.90 run=0 nbConstraintChecks=94529 nbValidityChecks=256138 minDepth=2901 maxDepth=2900 nbPropagations=8152
46.54/46.90 nbRevisions=202448 nbUselessRevisions=187760 nbAssignments=2900 nbFailedAssignments=0 nbBacktracks=0
46.54/46.91 nbVisitedNodes=2901 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
46.54/46.91 nbDEliminables=? nbPEliminables=?
46.54/46.91 => wckTime=6.847 cpuTime=6.72 mem=362M739
46.54/46.91
46.54/46.91 global
46.54/46.91 nbConstraintChecks=7507826 nbValidityChecks=1289850 nbPropagations=12078 nbRevisions=344864
46.54/46.91 nbUselessRevisions=316835 nbRestartNogoods=0 solvingWckTime=6.85 solvingCpuTime=6.73 expiredTime=no
46.54/46.91 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=42.12 globalCpuTime=42.32
46.54/46.91 => wckTime=46.644 cpuTime=42.27 mem=362M739
46.64/47.04
46.64/47.04 s SATISFIABLE
46.64/47.04 v 2136 1278 1880 1436 -1616 -1872 1308 1396 1780 1884 1932 1514 2084 1886 2176 1592 -1616 2118 1516 1846 1740 1404 2086 1728 1966 2018 1330 1382 1798 1740 1728 1428 2154 1632 2154 1514 1516 2046 1614 2048 1732 1364 1780 1388 1804 1728 2122 1978 1594 1654 1780 1600 1554 2046 2136 1712 1700 2148 2002 2008 2054 1936 1606 1964 1784 1972 1686 1388 1584 2180 1844 2018 1634 2184 2162 -1220 1634 -1576 -1816 1280 1620 1740 -1734 1886 2176 1976 1694 1804 1572 1514 2062 1518 1740 1514 1292 1952 1864 1670 1960 1220 2084 2130 1556 2062 2078 2144 -1964 2044 1388 1290 -1630 1810 1924 1630 1952 -1534 1220 1638 2046 1432 1382 1342 1976 1442 -1352 1924 1594 -1686 2082 1514 -1734 -1244 -1510 1382 1590 1686 1592 1260 1778 2154 1932 1976 1740 -1872 2048 1978 -1860 -1352 1666 2054 2084 2008 2008 2018 1590 1886 -1474 1886 1718 2086 1290 2046 1554 1396 2046 1396 1964 1740 2094 1886 1970 1846 1654 1746 -1882 2096 -1332 1694 1518 1688 1288 2044 1326 1348 2136 1850 -1290 1528 1798 2054 1692 1726 1342 1798 2078 2054 1804 2084 1382 1746 1832 -1976 2018 1572 1688 1434 2182 1404 -1320 2054 1926 2096 1382 1616 1594 1798 -1522 1706 -1534 1632 -1224 -1924 2094 -1586 -1532 1884 1850 1382 2184 2050 2094 1612 2086 1664 1632 1260 1328 1838 1844 -1576 1568 1288 1642 1790 1556 2004 1700 2046 1942 1838 1494 1726 1516 2142 2176 1388 1886 1532 1964 1898 1260 1580 2118 1640 1886 1448 1700 1672 2018 1686 2018 1476 2014 1686 2084 1704 1328 1634 1884 1924 1594 1220 -1424 1634 -1682 1926 1404 1574 1612 1328 1364 2130 1924 2048 1924 1780 1388 2140 2056 -1718 2046 2094 -1624 1262 1348 2084 2194 1978 1638 -1508 1810 1628 1822 -1664 2044 1594 -1884 2118 2078 1984 2018 2084 1288 1740 1630 2054 1552 -2024 1702 1396 1850 1520 1386 1476 -1978 2018 -1654 1686 2032 1396 1968 2094 -2216 1846 1644 1926 -2120 2054 2078 2156 1572 2046 2046 1220 -1694 1514 1936 2118 1594 2144 2008 1726 1982 1554 1688 2054 1560 1404 1844 -1596 1612 2096 2144 1634 1706 1976 -1260 1924 -1224 2054 1702 1728 1906 1850 1646 1514 1526 2052 1330 2046 2086 1652 1992 1672 1630 2122 1572 -1244 2182 1672 1886 2052 1886 -2012 2044 -2026 -1978 1886 1886 1592 -1630 1594 2136 1922 1934 1822 1436 1780 1702 -1806 1632 1802 1632 1436 1740 -1402 2196 2096 2196 -1614 1646 2052 1694 2176 1476 2054 1850 1426 2046 -1628 1572 1616 2014 2196 1550 1428 1436 1364 1594 -1736 1654 1712 1594 1886 1604 1926 1428 1706 1388 1744 1572 -1868 1290 1846 1948 1388 1556 1290 1986 1496 1594 2156 2040 1936 2154 -1678 1926 2118 -1270 2140 1364 2084 1964 2184 -1576 1260 1780 1780 1646 2048 1612 2090 1780 2008 2144 -1260 1388 1594 2054 -1526 -1734 1428 2084 -1878 1924 -1830 1558 1540 1686 1764 1732 1312 1968 2192 1672 1552 -1680 1804 2086 1976 1404 1638 1746 1886 1338 2084 1456 2048 2094 -2100 1946 2038 1554 1514 2120 1850 1706 2184 1732 -2208 2014 1688 1886 1260 2196 2054 1220 1846 -1264 2080 1290 1742 2090 2176 1544 1938 2046 1516 1690 -1764 1572 1770 1388 -2088 1686 -1778 1668 1784 1706 1220 1976 1616 1320 2094 1886 -1766 2030 2194 1638 1436 1288 2042 -2018 1688 1712 1972 1882 1492 1634 2084 2182 1656 -1576 1264 -1798 2136 1290 -1596 2046 2054 1224 2094 1404 1654 2084 1940 -1280 1590 1330 1290 1846 1742 1970 1518 2196 1476 1976 1480 2056 1470 1588 1938 1862 -2078 1396 2184 1616 2094 1742 2046 1780 1632 1922 1740 1688 1630 2134 1516 2026 1850 -2150 1906 1764 1622 1764 1556 1936 1382 1388 1846 2184 1388 2044 -1924 1580 1968 1686 1654 1780 1348 1612 1740 1740 1480 2044 1288 1630 2044 1456 1726 1348 1924 1554 1846 1396 1476 1656 1732 -1324 -1654 1718 1436 1802 1290 1494 1514 2096 1342 1518 2184 1604 2056 2130 1330 2122 1328 1220 2086 1428 1428 2142 1378 -1598 2142 1388 1616 2054 2086 2046 2184 1956 2118 1634 1976 2176 1846 1860 2078 -1632 1320 1342 -2108 1436 -1352 1694 1798 1396 1500 2196 -1228 2048 1726 -1426 1558 1554 2008 1518 -1576 1572 1726 1924 2086 1554 1790 1452 1726 1964 -1774 1516 1572 2056 1712 2084 2094 1700 2054 1706 2054 1502 1220 1634 2084 1730 1692 -1728 1516 1886 1312 2092 1692 1312 1828 1330 1832 1886 -1242 -1420 1554 1612 1710 1612 1290 1388 1678 1740 -1838 2136 1706 2044 1428 1694 2046 1594 2082 1702 2182 2028 1288 2162 1802 1654 2136 1318 2054 2048 1692 1428 -1750 1568 1946 1554 1634 -2194 2048 1834 1706 1732 1794 1220 1780 1592 1234 2118 1456 1328 1592 1886 -1602 1842 2094 1694 2084 2136 1584 1388 1612 1528 1978 1516 1436 1388 2084 2176 1388 1634 1634 2008 1460 -2056 1694 1692 1594 2078 1688 -1392 1740 2054 -1966 1988 2038 1694 1810 2084 1810 1826 2104 1278 1392 1290 2014 1458 1418 1614 1460 1794 1936 1634 1810 1946 1936 1838 -1260 2194 1424 1678 2136 -2216 1838 -1522 2022 1886 1342 1308 -1224 2162 -1284 1592 2044 1634 2196 1974 1388 1260 1328 1654 1686 -1820 -1780 1764 1936 2174 1780 1428 -1976 2194 1516 2008 1978 2086 1828 -1822 -1484 -1572 2136 1654 2144 2144 1634 -1972 1672 2180 1846 1732 1290 1700 -1856 2156 1686 2048 2084 1404 1342 2090 1870 1654 1518 2096 1328 -1834 1768 1884 1638 1630 1290 2176 1708 2054 1564 2108 1446 1978 1388 2184 1780 1694 2084 1632 1846 1728 1450 1514 -1670 1976 1220 1670 1728 1428 1764 2044 1594 1290 -1900 2080 1590 2062 1746 2044 1288 2176 -1640 1844 -1418 -1282 1428 2194 2044 1930 1798 1290 1798 -2008 1990 1260 1364 1382 1712 1220 1740 1388 1706 1496 1330 2046 2114 1634 1740 1968 1846 -2082 2154 2048 2014 1780 -2196 1572 -2028 1804 1692 1594 1510 1656 1922 2084 1260 1612 1612 1746 1978 1646 1964 1688 2046 1842 1838 -1854 -1848 -1226 2094 1260 1686 1964 -2022 2046 1516 1692 1342 -1244 2086 1288 1804 1398 2018 -1494 -2216 -1378 1388 -1892 2144 -1748 1950 -2118 1348 1698 1592 1790 2048 1850 1388 1686 1632 1654 1926 2046 2144 1518 2096 2078 1388 1776 2014 2048 1220 1886 -2176 1328 2014 1804 2086 1436 1654 2108 1632 -1862 2160 1924 2122 2018 -1286 1630 2176 1220 1804 1976 1884 1886 1514 2044 1700 2064 1976 1558 2054 -1402 1850 -1954 1318 1672 1342 1260 1780 2056 1646 2156 1886 2092 1976 1692 1542 1260 1364 -1824 1810 1722 1846 1460 1460 1270 1436 2040 1362 1594 2014 1260 2044 2162 1612 -1866 1624 1742 1556 2120 2142 1740 1646 1810 1536 1926 1710 -2084 -2022 1976 -2054 2136 -1854 1858 2054 -1630 1884 -1270 2044 1342 1634 1780 2044 -2080 1290 -1276 2086 1706 1798 2136 1486 -2016 1554 1694 -1838 2054 1290 1514 2094 1436 1886 1976 1556 1692 2176 1726 1702 1520 2054 1342 -1900 -1248 2086 2044 2056 2094 2054 -1810 -1988 2162 1922 1962 2094 2136 1512 1590 1706 1662 1764 2176 2094 1592 1330 2194 -2018 1220 2134 1934 1404 1264 1220 1792 1878 -1512 1740 1884 2086 -2116 1288 1350 1572 1740 1436 1428 2154 1740 1630 1396 2018 2054 1388 1260 1290 1678 2084 1516 -2176 1518 1724 1646 2142 1936 1590 1600 1964 2144 1834 1766 1802 -1828 1516 2162 1976 -1492 1612 1686 1964 1474 1740 1680 2014 1332 1554 1260 2054 2054 -1738 2064 2034 1396 1330 1740 2194 2086 1886 1694 1606 1328 1538 1396 1702 1978 1850 1638 1978 1592 1778 2148 1654 2152 1386 1688 -2176 1260 -1592 1388 -1616 1818 2078 2176 1964 -1536 1220 2054 2044 1694 1732 1886 1788 2118 1922 1594 2122 1846 -1220 -1852 1700 1886 2130 1704 1694 -1342 2044 2094 1762 -1588 1850 -1882 2136 1946 1396 1762 1516 1290 1740 1594 1328 -1826 -1936 1976 1722 1328 1382 2014 1358 1964 1594 2084 1926 1516 1390 1260 -1274 1654 1500 1910 1694 -1362 2086 1740 1406 1926 -1520 -1936 1688 2086 1780 1634 1606 2054 1396 1220 1290 1702 2086 1566 1348 1396 1634 2046 1744 -2176 1290 2066 -1686 1936 2046 2156 1916 2182 -1762 1260 1670 2174 2044 -2216 1740 1572 2108 1302 2048 1686 1364 1382 -1670 2018 1616 1460 1936 1274 1396 1692 2084 1978 2184 2194 1220 1734 1342 -2050 2182 1342 1328 1924 1702 1622 1924 1728 1838 1742 1742 1288 1672 1886 1328 1764 1976 -2216 2008 2044 1428 1592 2054 1612 -1492 -2070 1634 2054 2154 1624 2008 2176 1592 1612 2086 1566 2058 -1826 1572 1260 1728 1606 -1868 1810 1590 2122 2084 1728 1496 -1236 1726 -1832 1964 1810 -1746 -2216 -1432 1926 2084 1700 2142 1728 1476 1428 2196 1572 1976 1804 2108 1832 2108 2044 2130 -1486 1558 -1276 2184 1220 1230 1396 2004 -1926 1396 1516 1886 1820 1740 1886 1734 1594 1404 1646 1978 2094 2196 2108 1322 1884 1436 1552 1654 1612 2154 2084 1882 -1348 1728 1330 2014 2044 1230 2044 1926 2008 2094 1882 -1710 -1820 2040 1810 1726 1404 1590 1436 1686 2118 1694 1964 1738 2014 1594 -1382 1810 1436 1986 1422 1846 1388 1746 2044 1290 2056 1330 1384 1554 1740 2080 1742 1516 1764 1926 -1618 2144 1860 2084 1310 1710 1590 1688 1976 2054 2044 1820 1998 2082 2182 -2006 1780 1978 1686 -1824 2118 2094 1554 1572 -1260 1348 2194 2044 1926 1592 1798 1584 1594 2094 1382 1330 2140 1364 1694 1758 1404 1630 1558 1560 1798 1394 1290 1886 1392 -1606 1794 1260 2084 1220 1780 2134 1814 1592 1328 2018 1936 1630 1900 -1284 1646 1978 1732 -1786 1476 1690 2142 1924 1220 2084 1616 2094 1752 -1784 1594 2194 1348 1926 2054 1348 2142 1382 1590 1348 2148 1318 2160 1740 -1694 1882 1924 1342 1788 1848 1964 1342 -2216 1516 -1932 1288 1632 1544 1828 1740 1974 1634 -1858 1822 1746 1700 1886 -1742 2176 2016 2018 1396 1926 1700 1936 1820 2144 1742 1978 -1986 2154 -1468 1584 1614 2194 2156 2094 1692 2184 1886 -1878 1572 1846 1392 1936 1634 1886 1552 -1236 1632 1266 1592 1612 1742 1342 2120 1886 1616 2184 1740 2044 1694 1270 2094 1242 1364 -1418 -2010 1780 -1748 1592 1516 2084 1732 1936 1694 1364 1844 1740 1672 2008 1838 1428 2162 1288 1612 1396 1964 2046 1976 -1672 1646 1740 1746 1924 2086 2086 2046 2014 1404 1328 1976 1732 1436 2122 1260 1436 1746 2094 1692 2010 -1700 -2130 2086 1554 1330 1288 1924 1808 1476 1612 2018 1612 1342 1938 2046 -2170 1632 2084 -1888 1936 1838 1342 1728 1670 2194 1330 1330 1260 1288 -1352 1746 1664 2024 -1624 1850 1646 -1282 2182 1556 1558 1712 1850 1780 1592 1742 1692 1328 2154 1572 1388 -2216 -1552 -1926 1686 -1464 1222 1476 1556 2060 1936 1634 1654 1396 -1260 1328 1818 2046 1702 1382 1288 1846 2046 1338 2194 1630 1926 1572 1554 1590 1382 1978 -1480 1342 2176 -1718 1220 1556 1612 1634 2148 2162 1654 2122 1396 1964 1632 1976 1396 1742 1382 1428 2176 1978 1886 1688 2118 1632 1780 1554 1388 2048 1762 1940 -1682 1220 1396 2008 -1992 1220 1730 1740 1544 1514 1516 1646 1592 1746 2094 2156 1382 -1348 -1466 1616 -1684 1360 1594 1328 1288 1290 1514 2108 2084 1348 -1872 1382 1654 1688 1654 1388 1924 1722 1342 -1526 1330 -1872 1572 1436 1976 1224 -1382 1832 1682 1382 1926 1436 2094 -2046 1640 1480 1692 1672 1388 1614 -1392 1946 1976 2082 1476 1260 1612 1554 1922 1554 1270 1872 1632 1330 1780 2176 1710 1722 1686 2154 1436 2196 1220 -1770 1260 2072 -1434 1742 2160 2046 1594 1712 1672 -2180 1706 -2038 1428 2144 2156 1516 -1260 1586 1688 1544 1288 2174 1554 1558 1364 1778 -1378 2054 2148 2084 1798 1962 1590 1744 1702 1594 1600 2084 -1748 1516 1860 1994 -2044 1804 1740 1740 1836 2014 1810 1436 1762 1828 1436 2176 1692 1686 2120 2084 1968 1646 1762 1936 1330 1428 1476 2154 2078 1594 1428 1644 1348 2084 1572 1454 1964 2034 -2216 1388 1862 2090 1732 2044 2044 1916 1500 -1482 1260 1850 2144 1260 1388 1388 2054 1850 1846 2086 1764 1886 2056 1558 2144 -1976 2002 1686 2158 1584 2176 1428 -1618 2094 2118 -2216 -1978 -2016 2158 1248 1924 1444 2054 2156 -1848 1572 1514 -1888 1634 1964 1296 2086 2080 2052 2142 2086 1552 -1220 -1542 2122 1452 1780 -1884 2044 2184 -2038 2074 1342 1964 1556 2046 1918 1936 1396 1594 1614 1688 1614 1930 1536 1330 2176 1594 2194 1654 2122 1808 1632 2086 1978 2136 1612 2094 -1590 2044 1290 1240 1304 1694 2154 1404 2096 2014 1976 2094 1592 2084 1702 1348 2054 2044 1686 1926 1886 1758 2038 1396 1428 2076 1500 1624 -1228 1594 2018 1284 1998 1656 1850 1740 -1572 1656 1926 -1774 1634 1602 1388 1712 1546 1976 2044 1938 1846 1908 1926 -1726 1732 1388 1576 1348 2054 -1610 1582 1966 2044 2054 1554 1634 2084 1798 1886 -2096 1288 1732 1632 1692 1230 1924 1700 1594 1694 2054 1594 1516 1886 1744 1476 1764 2176 1264 1436 2086 1574 1642 -1678 1762 1682 1804 2018 1364 1672 1612 1654 1302 2144 1646 2010 1580 2092 2044 2018 1738 1686 1692 2044 1786 1428 2184 1686 1396 -1260 1518 2136 1632 1330 2054 2044 1592 2176 2044 1328 1728 -1678 1914 1678 1884 1718 -1834 2156 1296 1290 2184 1670 1428 2176 2136 1700 1688 1936 2056 -1256 1732 1632 2044 1592 2176 1672 -2190 1220 -1700 1634 1592 1936 2018 1476 2044 1584 2084 1732 1876 1636 2046 1810 1220 1936 1630 1740 1788 1436 1592 2156 1968 1592 2008 1732 1382 1732 2048 2154 2216 1364 1742 1436 -1848 -1476 1982 1594 1454 1874 1404 2156 2096 1732 1482 2096 1646 1220 1436 2122 1414 2082 1936 1726 -1260 1692 1612 1964 1342 1634 1364 1926 -1918 1620 1686 2008 -1426 1846 1514 1732 1412 1560 1388 2148 1382 1592 1740 -1726 1764 2162 1978 1712 -1284 2046 1620 1364 2018 2184 1452 1846 1964 -1364 -2216 1342 2054 1382 1936 2056 1536 -1872 1780 2084 1938 1544 2074 1728 1772 2078 2086 2054 -1590 2054 1268 -1930 1886 2044 -1706 1976 1230 1708 1572 1744 1728 1592 1976 1678 1830 -1732 1594 -1830 1288 1428 1514 1460 2048 -1582 2086 1766 1580 -1576 1740 2058 1264 2118 1358 1810 1592 1382 1746 1832 1476 1712 2136 1740 2084 2044 1288 2144 1342 -2148 1572 -1872 1302 1342 1634 1318 1654 1388 -1378 1632 2108 1396 1348 1646 -1692 -1726 1388 1780 1594 1782 1330 1838 -2030 2054 -1246 2054 1838 -1970 2182 1898 1804 2086 1780 2008 1732 1330 1810 1594 1726 1886 1976 1646 2046 1646 -1330 1500 1634 1634 2086 1936 1692 1740 1404 1936 2142 2086 2094 1548 1692 2046 2086 1936 1330 1686 1612 1634 -1446 -1630 1886 2084 1364 1730 1712 1436 1746 1556 1280 1572 1634 1342 2084 -1970 1288 1654 2042 1436 1388 1634 1686 -1244 1288 2160 1712 1686 1656 1342 1578 2194 1436 2094 1590 1566 2168 1704 -1966 1514 1740 1514 2094 2044 -1748 -1256 2056 -1476 1904 1694 1672 1728 1330 1388 1558 1726 -1730 2080 1428 1342 2176 1632 1482 -1576 1838 2054 1832 1634 1936 1656 1978 2156 1634 1288 2078 1594 1726 -2122 1546 -1432 2094 1562 1220 1706 1764 2092 1382 2148 1632 1740 1556 2168 1934 1704 2086 1220 1612 1630 1846 -1536 1404 1886 2134 1688 -1600 2154 2182 1654 1780 1844 1632 1702 1926 1646 2084 1844 -1472 1508 1728 1706 1958 1388 1272 -2176 1846 1288 2196 2086 1844 2000 2090 1328 1702 1924 -1686 2046 2176 1936 2084 1516 1612 2042 2084 1328 2078 1732 1634 -1520 1666 -1924 -1358 1460 2078 -1898 1476 1570 1642 2094 2208 1518 -1708 1486 1556 1410 1850 -1978 1656 2084 1592 -1260 2154 2044 1770 1968 -1558 1810 1780 2042 1396 2084 1692 1620 2044 1818 1632 1838 1810 1594 2078 1936 1428 2078 1702 -1678 1388 2120 1742 1372 1706 1330 1584 -2122 -2022 1242 1514 1396 2048 1634 1810 1460 2054 1388 1348 1572 2044 1594 2008 2008 1964 2096 2198 2018 1516 2184 2014 1692 1630 1558 1556 1974 1282 1688 1500 1976 1516 2004 1362 1328 1268 2136 1906 2094 1656 1234 1634 2018 1594 2196 1820 1630 -1440 1700 1516 1950 -2054 1634 2044 1738 2118 1750 -2158 1694 2008 1698 1646 2144 1548 1516 1850 1516 1558 1516 2148 1344 1382 2086 2054 -1578 1330 1844 1572 -1814 1330 1732 -1734 2008 1590 -1578 -1686 1590 1818 1556 -2042 1342 1976 1692 1810 2008 2014 1802 2046 -1518 1978 1886 1290 -1500 1702 -1990 1972 1920 1728 1290 -1876 2176 1732 1220 2040 1884 2054 -1488 2136 -1366 1850 2056 1500 1978 2144 1330 2136 -2016 1594 1938 1560 2162 1436 1382 1550 2008 1686 1516 1518 -1708
46.64/47.04 d NODES 2900
46.64/47.04 d CHECKS 7507826
46.64/47.04
46.64/47.04 totalWckTime=46.85 totalCpuTime=42.45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097922-1247414158/watcher-2097922-1247414158 -o /tmp/evaluation-result-2097922-1247414158/solver-2097922-1247414158 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097922-1247414158.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 375
/proc/meminfo: memFree=1518392/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=18576 CPUtime=0
/proc/375/stat : 375 (runsolver) R 373 375 30016 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28476172 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 224627584295 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/375/statm: 4644 284 249 26 0 2626 0
[startup+0.03026 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 375
/proc/meminfo: memFree=1518392/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=861936 CPUtime=0.01
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 1878 0 1 0 0 1 0 0 18 0 5 0 28476172 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 215484 1563 686 9 0 210399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936
[startup+0.100883 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 375
/proc/meminfo: memFree=1518392/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=865984 CPUtime=0.08
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 3730 0 1 0 6 2 0 0 18 0 9 0 28476172 886767616 3198 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216496 3198 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301909 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 375
/proc/meminfo: memFree=1518392/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=866380 CPUtime=0.29
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 5858 0 1 0 25 4 0 0 18 0 9 0 28476172 887173120 5224 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216595 5224 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701975 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 375
/proc/meminfo: memFree=1518392/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867500 CPUtime=0.68
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 14439 0 1 0 59 9 0 0 18 0 9 0 28476172 888320000 13801 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216875 13801 2001 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867500
[startup+1.50109 s]
/proc/loadavg: 2.17 2.05 2.01 3/89 384
/proc/meminfo: memFree=1429488/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867588 CPUtime=1.46
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 24828 0 1 0 133 13 0 0 18 0 9 0 28476172 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216897 24179 2051 9 0 211333 0
[pid=375/tid=377] ppid=373 vsize=867588 CPUtime=1.19
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 15797 0 1 0 110 9 0 0 22 0 9 0 28476174 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4126541640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=867588 CPUtime=0.06
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 7690 0 0 0 4 2 0 0 16 0 9 0 28476175 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=867588 CPUtime=0
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28476175 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=867588 CPUtime=0
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28476175 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=867588 CPUtime=0
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28476177 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=867588 CPUtime=0.18
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 640 0 0 0 18 0 0 0 15 0 9 0 28476177 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=867588 CPUtime=0
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28476177 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=867588 CPUtime=0
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28476178 888410112 24179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867588
[startup+3.10231 s]
/proc/loadavg: 2.17 2.05 2.01 3/89 384
/proc/meminfo: memFree=1412016/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867500 CPUtime=3.05
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 30836 0 1 0 289 16 0 0 18 0 9 0 28476172 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216875 30162 2029 9 0 211333 0
[pid=375/tid=377] ppid=373 vsize=867500 CPUtime=2.58
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 15800 0 1 0 249 9 0 0 25 0 9 0 28476174 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=867500 CPUtime=0.26
/proc/375/task/378/stat : 378 (java) R 373 375 30016 0 -1 64 13695 0 0 0 21 5 0 0 16 0 9 0 28476175 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28476177 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=867500 CPUtime=0.18
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 640 0 0 0 18 0 0 0 15 0 9 0 28476177 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28476177 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28476178 888320000 30162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867500
[startup+6.30276 s]
/proc/loadavg: 2.15 2.05 2.01 3/89 384
/proc/meminfo: memFree=1385520/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867500 CPUtime=6.22
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 35759 0 1 0 603 19 0 0 18 0 9 0 28476172 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216875 35079 2032 9 0 211333 0
[pid=375/tid=377] ppid=373 vsize=867500 CPUtime=5.4
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 15836 0 1 0 530 10 0 0 25 0 9 0 28476174 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4126937596 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=867500 CPUtime=0.57
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 18564 0 0 0 51 6 0 0 16 0 9 0 28476175 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28476177 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=867500 CPUtime=0.21
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 658 0 0 0 21 0 0 0 15 0 9 0 28476177 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28476177 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28476178 888320000 35079 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867500
[startup+12.7027 s]
/proc/loadavg: 2.14 2.04 2.01 3/89 384
/proc/meminfo: memFree=1362416/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867500 CPUtime=12.55
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 35769 0 1 0 1236 19 0 0 18 0 9 0 28476172 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216875 35086 2032 9 0 211333 0
[pid=375/tid=377] ppid=373 vsize=867500 CPUtime=11.74
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 15840 0 1 0 1163 11 0 0 25 0 9 0 28476174 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4126992906 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=867500 CPUtime=0.57
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 18564 0 0 0 51 6 0 0 16 0 9 0 28476175 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28476177 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=867500 CPUtime=0.22
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 664 0 0 0 22 0 0 0 15 0 9 0 28476177 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28476177 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28476178 888320000 35086 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867500
[startup+25.5015 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 423
/proc/meminfo: memFree=1430768/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=867500 CPUtime=25.28
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 41777 0 1 0 2505 23 0 0 18 0 9 0 28476172 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 216875 41084 2033 9 0 211333 0
[pid=375/tid=377] ppid=373 vsize=867500 CPUtime=23.98
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 15852 0 1 0 2386 12 0 0 25 0 9 0 28476174 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 102883917 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=378] ppid=373 vsize=867500 CPUtime=0.99
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 24511 0 0 0 90 9 0 0 16 0 9 0 28476175 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=379] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28476175 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28476177 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=867500 CPUtime=0.3
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 713 0 0 0 29 1 0 0 16 0 9 0 28476177 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=383] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28476177 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=867500 CPUtime=0
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28476178 888320000 41084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867500
Solver just ended. Dumping a history of the last processes samples
[startup+38.3023 s]
/proc/loadavg: 2.09 2.04 2.01 3/89 427
/proc/meminfo: memFree=1366824/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=868652 CPUtime=38.01
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 86717 2312 1 0 3712 36 50 3 18 0 9 0 28476172 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 217163 51065 2092 9 0 211621 0
[pid=375/tid=377] ppid=373 vsize=868652 CPUtime=35.49
/proc/375/task/377/stat : 377 (java) S 373 375 30016 0 -1 64 23350 2312 1 0 3482 14 50 3 25 0 9 0 28476174 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=868652 CPUtime=2.66
/proc/375/task/378/stat : 378 (java) R 373 375 30016 0 -1 64 61630 2312 0 0 196 17 50 3 20 0 9 0 28476175 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 102758174 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=868652 CPUtime=0.53
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 23 2312 0 0 0 0 50 3 17 0 9 0 28476175 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=868652 CPUtime=0.53
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 16 2312 0 0 0 0 50 3 16 0 9 0 28476175 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=868652 CPUtime=0.53
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 2312 0 0 0 0 50 3 18 0 9 0 28476177 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=868652 CPUtime=0.87
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 868 2312 0 0 33 1 50 3 15 0 9 0 28476177 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=868652 CPUtime=0.53
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 2312 0 0 0 0 50 3 19 0 9 0 28476177 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=868652 CPUtime=0.53
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 10 2312 0 0 0 0 50 3 15 0 9 0 28476178 889499648 51065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.01
Current children cumulated vsize (KiB) 868652
[startup+41.5028 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 427
/proc/meminfo: memFree=1169384/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=868148 CPUtime=41.18
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 147840 2312 1 0 4007 58 50 3 18 0 9 0 28476172 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 217037 99897 2641 9 0 211495 0
[pid=375/tid=377] ppid=373 vsize=868148 CPUtime=37.68
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 33337 2312 1 0 3698 17 50 3 25 0 9 0 28476174 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4126944823 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=868148 CPUtime=3.56
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 112606 2312 0 0 267 36 50 3 16 0 9 0 28476175 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 23 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 30 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 2312 0 0 0 0 50 3 18 0 9 0 28476177 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=868148 CPUtime=0.95
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 1014 2312 0 0 41 1 50 3 15 0 9 0 28476177 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 2312 0 0 0 0 50 3 19 0 9 0 28476177 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 10 2312 0 0 0 0 50 3 15 0 9 0 28476178 888983552 99897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.18
Current children cumulated vsize (KiB) 868148
[startup+44.7012 s]
/proc/loadavg: 2.08 2.04 2.01 3/89 427
/proc/meminfo: memFree=1169384/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=868148 CPUtime=44.35
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 147846 2312 1 0 4324 58 50 3 18 0 9 0 28476172 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 217037 99900 2641 9 0 211495 0
[pid=375/tid=377] ppid=373 vsize=868148 CPUtime=40.84
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 33338 2312 1 0 4014 17 50 3 25 0 9 0 28476174 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4127512660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=378] ppid=373 vsize=868148 CPUtime=3.56
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 112606 2312 0 0 267 36 50 3 17 0 9 0 28476175 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 23 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 30 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 2312 0 0 0 0 50 3 18 0 9 0 28476177 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=868148 CPUtime=0.95
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 1019 2312 0 0 41 1 50 3 16 0 9 0 28476177 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=383] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 2312 0 0 0 0 50 3 19 0 9 0 28476177 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 10 2312 0 0 0 0 50 3 15 0 9 0 28476178 888983552 99900 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.35
Current children cumulated vsize (KiB) 868148
[startup+46.3024 s]
/proc/loadavg: 2.08 2.04 2.01 4/91 431
/proc/meminfo: memFree=1145688/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=868148 CPUtime=45.93
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 147859 2312 1 0 4482 58 50 3 18 0 9 0 28476172 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 217037 99910 2641 9 0 211495 0
[pid=375/tid=377] ppid=373 vsize=868148 CPUtime=42.41
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 33340 2312 1 0 4171 17 50 3 19 0 9 0 28476174 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4127259261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=378] ppid=373 vsize=868148 CPUtime=3.56
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 112606 2312 0 0 267 36 50 3 16 0 9 0 28476175 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 23 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 30 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 2312 0 0 0 0 50 3 18 0 9 0 28476177 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=868148 CPUtime=0.97
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 1030 2312 0 0 43 1 50 3 16 0 9 0 28476177 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=383] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 2312 0 0 0 0 50 3 19 0 9 0 28476177 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 10 2312 0 0 0 0 50 3 15 0 9 0 28476178 888983552 99910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.93
Current children cumulated vsize (KiB) 868148
[startup+46.7025 s]
/proc/loadavg: 2.08 2.04 2.01 4/91 431
/proc/meminfo: memFree=1145688/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=868148 CPUtime=46.34
/proc/375/stat : 375 (java) S 373 375 30016 0 -1 0 147864 2312 1 0 4522 59 50 3 18 0 9 0 28476172 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 217037 99915 2641 9 0 211495 0
[pid=375/tid=377] ppid=373 vsize=868148 CPUtime=42.8
/proc/375/task/377/stat : 377 (java) R 373 375 30016 0 -1 64 33340 2312 1 0 4210 17 50 3 22 0 9 0 28476174 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4127576283 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=378] ppid=373 vsize=868148 CPUtime=3.56
/proc/375/task/378/stat : 378 (java) S 373 375 30016 0 -1 64 112606 2312 0 0 267 36 50 3 16 0 9 0 28476175 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=379] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/379/stat : 379 (java) S 373 375 30016 0 -1 64 23 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=380] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/380/stat : 380 (java) S 373 375 30016 0 -1 64 30 2312 0 0 0 0 50 3 16 0 9 0 28476175 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=381] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/381/stat : 381 (java) S 373 375 30016 0 -1 64 2 2312 0 0 0 0 50 3 18 0 9 0 28476177 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=382] ppid=373 vsize=868148 CPUtime=0.98
/proc/375/task/382/stat : 382 (java) S 373 375 30016 0 -1 64 1035 2312 0 0 44 1 50 3 15 0 9 0 28476177 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=375/tid=383] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/383/stat : 383 (java) S 373 375 30016 0 -1 64 0 2312 0 0 0 0 50 3 19 0 9 0 28476177 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=375/tid=384] ppid=373 vsize=868148 CPUtime=0.53
/proc/375/task/384/stat : 384 (java) S 373 375 30016 0 -1 64 10 2312 0 0 0 0 50 3 15 0 9 0 28476178 888983552 99915 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.34
Current children cumulated vsize (KiB) 868148
[startup+47.1029 s]
/proc/loadavg: 2.08 2.04 2.01 4/91 431
/proc/meminfo: memFree=1145688/2055920 swapFree=4192812/4192956
[pid=375] ppid=373 vsize=0 CPUtime=46.69
/proc/375/stat : 375 (java) Z 373 375 30016 0 -1 12 147910 2312 1 0 4556 60 50 3 16 0 2 0 28476172 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/375/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 46.69
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 47.1497
CPU time (s): 46.7669
CPU user time (s): 46.074
CPU system time (s): 0.692894
CPU usage (%): 99.1881
Max. virtual memory (cumulated for all children) (KiB): 881928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.074
system time used= 0.692894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150222
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= 3536
involuntary context switches= 4028
runsolver used 0.068989 second user time and 0.162975 second system time
The end
Begin job on node49 at 2009-07-12 17:55:58
IDJOB=2097922
IDBENCH=58003
IDSOLVER=774
FILE ID=node49/2097922-1247414158
PBS_JOBID= 9510548
Free space on /tmp= 66408 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp29/normalized-fapp29-2900-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097922-1247414158/watcher-2097922-1247414158 -o /tmp/evaluation-result-2097922-1247414158/solver-2097922-1247414158 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097922-1247414158.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ca469f3f7e98ebe7c882bce7bb3fd65e
RANDOM SEED=879326927
node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 1518872 kB
Buffers: 79256 kB
Cached: 259928 kB
SwapCached: 0 kB
Active: 305428 kB
Inactive: 155352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1518872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 19496 kB
Writeback: 0 kB
Mapped: 139608 kB
Slab: 61172 kB
Committed_AS: 1023784 kB
PageTables: 1988 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node49 at 2009-07-12 17:56:46