Trace number 37739

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3SAT12122 1782.73 1783.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
MD5SUM32662df0ae948242aace0258625ea4cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6358
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6277
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 7958
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 524887
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261914
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524887
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.03	c starting to Solve
0.03	c #variables read: 2574 - #constraints read: 712
0.04	o 30674
0.04	o 30200
0.04	o 29876
0.05	o 29702
0.05	o 29547
0.06	o 29479
0.06	o 29392
0.07	o 29320
0.07	o 29233
0.08	o 29059
0.08	o 28904
0.08	o 28836
0.09	o 28749
0.09	o 28677
0.10	o 28604
0.11	o 28536
0.11	o 28449
0.12	o 28377
0.12	o 28326
0.13	o 28239
0.13	o 28167
0.14	o 28080
0.14	o 27925
0.15	o 27857
0.15	o 27770
0.15	o 27698
0.16	o 27647
0.17	o 27621
0.17	o 27553
0.18	o 27466
0.18	o 27394
0.19	o 27324
0.19	o 27252
0.20	o 27229
0.21	o 27142
0.21	o 27070
0.22	o 27026
0.23	o 27009
0.23	o 26939
0.24	o 26867
0.24	o 26844
0.25	o 26757
0.26	o 26729
0.26	o 26657
0.27	o 26634
0.27	o 26547
0.28	o 26475
0.30	o 26374
0.30	o 26219
0.31	o 26151
0.32	o 26064
0.32	o 25992
0.33	o 25984
0.34	o 25945
0.35	o 25771
0.35	o 25616
0.36	o 25548
0.36	o 25461
0.37	o 25316
0.38	o 25248
0.38	o 25161
0.39	o 25089
0.40	o 25065
0.40	o 24910
0.41	o 24842
0.42	o 24731
0.43	o 24663
0.43	o 24576
0.44	o 24504
0.44	o 24418
0.45	o 24346
0.47	o 24322
0.48	o 24236
0.49	o 24164
0.54	o 24083
0.55	o 24079
0.56	o 24055
0.57	o 23969
0.58	o 23897
0.59	o 23869
0.61	o 23845
0.62	o 23759
0.62	o 23687
0.70	o 23616
0.71	o 23544
0.72	o 23458
0.72	o 23386
0.74	o 23362
0.75	o 23276
0.76	o 23204
0.86	o 23130
0.92	o 23099
0.93	o 23071
0.93	o 22999
0.99	o 22981
1.00	o 22953
1.01	o 22881
1.09	o 22817
1.12	o 22799
1.13	o 22771
1.13	o 22699
1.22	o 22653
1.42	o 22533
1.43	o 22290
1.43	o 22088
1.44	o 21946
1.45	o 21823
1.46	o 21681
1.47	o 21438
1.47	o 21236
1.48	o 21037
1.49	o 20835
1.50	o 20821
1.51	o 20619
1.52	o 20454
1.53	o 20252
1.54	o 20238
1.55	o 20036
1.56	o 19845
1.57	o 19761
1.59	o 19742
1.60	o 19658
1.62	o 19609
1.63	o 19525
1.72	o 19471
1.74	o 19422
1.75	o 19338
2.01	o 19236
2.02	o 19172
2.04	o 19152
2.05	o 19088
2.11	o 19041
2.13	o 19004
2.18	o 18999
2.20	o 18897
2.21	o 18833
2.22	o 18665
2.23	o 18529
2.23	o 18465
2.25	o 18429
2.26	o 18293
2.26	o 18229
6.49	o 16770
6.50	o 16600
6.51	o 16449
6.52	o 16383
12.65	o 15680
12.66	o 15510
12.67	o 15359
12.68	o 15293
12.68	o 15208
12.69	o 15137
12.70	o 15094
12.71	o 15072
12.72	o 15050
12.73	o 15007
12.74	o 14965
12.75	o 14930
12.76	o 14890
12.77	o 14544
12.79	o 14537
12.80	o 14399
12.81	o 14356
12.82	o 14124
12.84	o 14117
12.85	o 14074
12.88	o 13962
13.04	o 13956
13.46	o 13899
13.62	o 13856
13.96	o 13817
14.46	o 13786
14.55	o 13743
14.57	o 13704
14.58	o 13685
14.68	o 13646
14.84	o 13612
14.84	o 13569
14.86	o 13530
17.34	o 13526
17.99	o 13524
18.00	o 13482
18.01	o 13478
18.01	o 13439
18.31	o 13429
18.32	o 13424
18.33	o 13381
18.37	o 13350
18.38	o 13313
18.39	o 13308
18.40	o 13265
18.82	o 13233
18.99	o 13196
19.03	o 13162
19.06	o 13104
19.07	o 13065
19.07	o 13022
19.10	o 12988
19.11	o 12945
19.12	o 12906
19.95	o 12899
19.97	o 12892
19.98	o 12808
19.98	o 12771
20.00	o 12701
20.00	o 12605
20.01	o 12484
20.06	o 12479
20.07	o 12401
20.07	o 12395
20.08	o 12358
20.12	o 12319
20.80	o 12301
20.81	o 12185
20.82	o 12142
283.84	o 12122
1783.41	c total time              : 1783 s
1783.41	s SATISFIABLE
1783.41	v -x1 -x1687 -x1798 -x1909 -x2020 -x2131 -x2242 -x2353 -x2464 -x2 -x113 -x224 -x1610 -x1621 -x1632 -x1643 -x1654 -x1665 -x1676
1783.41	v -x1688 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1799 -x1810 -x1821 -x1832 -x1843 -x1854 -x1865
1783.41	v x1876 -x1887 -x1898 -x1910 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 -x2009 -x2021 -x2032 -x2043 -x2054
1783.41	v -x2065 -x2076 -x2087 -x2098 -x2109 -x2120 -x2132 -x2143 -x2154 -x2165 -x2176 -x2187 -x2198 -x2209 -x2220 -x2231 -x2243
1783.41	v -x2254 -x2265 -x2276 -x2287 -x2298 -x2309 -x2320 -x2331 -x2342 -x2354 -x2365 -x2376 -x2387 -x2398 -x2409 -x2420 -x2431
1783.41	v -x2442 -x2453 -x2465 -x2476 -x2487 -x2498 -x2509 -x2520 -x2531 -x2542 -x2553 -x2564 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80
1783.41	v -x91 -x102 -x114 -x125 x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x436 -x737 -x1038
1783.41	v -x1339 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1783.41	v -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646
1783.41	v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1783.41	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 x1673 -x1674 x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684
1783.41	v -x1685 -x1686 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1700 -x1701 -x1702 -x1703 -x1704
1783.41	v x1705 -x1706 -x1707 -x1708 -x1709 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723
1783.41	v -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1783.41	v -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1783.41	v -x1761 -x1762 -x1763 -x1764 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1777 -x1778 -x1779
1783.41	v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1783.41	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817
1783.41	v -x1818 -x1819 -x1820 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836
1783.41	v -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1855 -x1856
1783.41	v -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1783.41	v -x1875 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1783.41	v x1895 -x1896 -x1897 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1911 -x1912 -x1913 -x1914
1783.41	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1933
1783.41	v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
1783.41	v -x1952 -x1953 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970
1783.41	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989
1783.41	v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1783.41	v -x2008 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2022 -x2023 x2024 -x2025 -x2026 -x2027
1783.41	v -x2028 -x2029 -x2030 x2031 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2044 -x2045 -x2046 -x2047
1783.41	v -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066
1783.41	v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1783.41	v -x2086 -x2088 -x2089 x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1783.41	v -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124
1783.41	v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144
1783.41	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1783.41	v -x2163 -x2164 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181
1783.41	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 x2200
1783.41	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1783.41	v -x2219 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1783.41	v -x2238 -x2239 -x2240 -x2241 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2255 -x2256 -x2257
1783.41	v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1783.41	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1783.41	v -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 -x2311 -x2312 x2313
1783.41	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 x2332 -x2333
1783.41	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351
1783.41	v -x2352 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1783.41	v -x2372 -x2373 x2374 -x2375 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2390
1783.41	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1783.41	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427
1783.41	v -x2428 -x2429 -x2430 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2443 -x2444 -x2445 -x2446
1783.41	v -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2466
1783.41	v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1783.41	v -x2485 -x2486 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503
1783.41	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2521 -x2522
1783.41	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1783.41	v -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1783.41	v -x2560 -x2561 -x2562 -x2563 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x4 -x5 -x6 -x7 -x8 -x9
1783.41	v -x10 x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38
1783.41	v -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66
1783.41	v -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95
1783.41	v -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119
1783.41	v -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142
1783.41	v -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1783.41	v -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1783.41	v -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1783.41	v -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1783.41	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259
1783.41	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282
1783.41	v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 -x299 x300 -x301 -x302 -x303
1783.41	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1783.41	v -x566 -x567 -x568 -x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1783.41	v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1783.41	v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1783.41	v -x629 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1783.41	v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1783.41	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1783.41	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1783.41	v -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1783.41	v -x734 -x735 -x736 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755
1783.41	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1783.41	v -x777 -x778 x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1783.41	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 x813 x814 -x815 -x816 -x817 -x818
1783.41	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1783.41	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x316 -x317 -x318
1783.41	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1783.41	v -x340 -x341 -x342 -x343 -x344 -x345 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872
1783.41	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893
1783.41	v -x894 -x895 -x896 -x897 -x898 x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914
1783.41	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935
1783.41	v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956
1783.41	v -x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977
1783.41	v -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 -x992 -x993 x994 -x995 -x996 -x997 -x998
1783.41	v -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1783.41	v -x1016 -x1017 -x1018 x1019 x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033
1783.41	v -x1034 -x1035 -x1036 -x1037 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051
1783.41	v -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1783.41	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086
1783.41	v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1783.41	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1783.41	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1783.41	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
1783.41	v -x1155 -x1156 -x1157 -x1158 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361
1783.41	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1783.41	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1783.41	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198
1783.41	v x1199 x1200 x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
1783.41	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233
1783.41	v -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1783.41	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1783.41	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1783.41	v -x1286 -x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303
1783.41	v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320
1783.41	v -x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338
1783.41	v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 x1355 x1356 -x1357
1783.41	v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
1783.41	v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
1783.41	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1783.41	v -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1783.41	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443
1783.41	v -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x376 -x377
1783.41	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1783.41	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
1783.41	v x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1783.41	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505
1783.41	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1783.41	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1783.41	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1783.41	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1783.41	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1783.41	v -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1783.41	v -x1609 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 x419 -x420 -x421 -x422 x423 -x424 -x425
1783.41	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1783.41	v x448 x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1783.41	v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 x479 x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1783.41	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511
1783.41	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532
1783.41	v -x533 -x534 -x535 -x536 -x537 x538 x539 -x540 x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553
1783.41	v -x554 -x555 -x556

Verifier Data (download as text)

OK	12122

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-37739-1149360065 -o ROOT/results/node6/solver-37739-1149360065 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.01 1.01 0.99 2/64 18579
/proc/meminfo: memFree=1306848/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=2572 CPUtime=0
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 201668611 2633728 235 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 643 235 193 16 0 84 0

[startup+10.0027 s]
/proc/loadavg: 1.01 1.01 0.99 2/64 18579
/proc/meminfo: memFree=1303136/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6108 CPUtime=9.99
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1162 0 0 0 984 15 0 0 25 0 1 0 201668611 6254592 1133 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1527 1133 205 16 0 968 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6108

[startup+20.0086 s]
/proc/loadavg: 1.01 1.01 0.99 2/64 18579
/proc/meminfo: memFree=1303072/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6288 CPUtime=20
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1203 0 0 0 1972 28 0 0 25 0 1 0 201668611 6438912 1174 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1572 1174 205 16 0 1013 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 6288

[startup+30.0146 s]
/proc/loadavg: 1.01 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1303136/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6432 CPUtime=30
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1207 0 0 0 2961 39 0 0 25 0 1 0 201668611 6586368 1178 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1608 1178 205 16 0 1049 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 6432

[startup+40.0206 s]
/proc/loadavg: 1.01 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1303008/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6432 CPUtime=40
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1223 0 0 0 3918 82 0 0 25 0 1 0 201668611 6586368 1194 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1608 1194 205 16 0 1049 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 6432

[startup+50.0266 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1303008/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6564 CPUtime=50
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1239 0 0 0 4886 114 0 0 25 0 1 0 201668611 6721536 1210 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1641 1210 205 16 0 1082 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 6564

[startup+60.0326 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302816/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6692 CPUtime=60.01
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1294 0 0 0 5867 134 0 0 25 0 1 0 201668611 6852608 1265 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1673 1265 205 16 0 1114 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 6692

[startup+70.0385 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302560/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6952 CPUtime=70
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1354 0 0 0 6853 147 0 0 25 0 1 0 201668611 7118848 1325 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1738 1325 205 16 0 1179 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 6952

[startup+80.0445 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302560/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=6952 CPUtime=80.01
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1356 0 0 0 7828 173 0 0 25 0 1 0 201668611 7118848 1327 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1738 1327 205 16 0 1179 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 6952

[startup+90.0505 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302368/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7208 CPUtime=90.01
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1405 0 0 0 8809 192 0 0 25 0 1 0 201668611 7380992 1376 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1802 1376 205 16 0 1243 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 7208

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302304/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7208 CPUtime=100.02
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1405 0 0 0 9795 207 0 0 25 0 1 0 201668611 7380992 1376 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1802 1376 205 16 0 1243 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 7208

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302240/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7208 CPUtime=110.01
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1421 0 0 0 10782 219 0 0 25 0 1 0 201668611 7380992 1392 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1802 1392 205 16 0 1243 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 7208

[startup+120.068 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302240/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7208 CPUtime=120.02
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1430 0 0 0 11771 231 0 0 25 0 1 0 201668611 7380992 1401 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527917 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1802 1401 205 16 0 1243 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 7208

[startup+130.074 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302112/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7340 CPUtime=130.02
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1454 0 0 0 12756 246 0 0 25 0 1 0 201668611 7516160 1425 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1835 1425 205 16 0 1276 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 7340

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302112/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7340 CPUtime=140.02
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1465 0 0 0 13740 262 0 0 25 0 1 0 201668611 7516160 1436 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1835 1436 205 16 0 1276 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 7340

[startup+150.086 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1302048/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7468 CPUtime=150.02
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1474 0 0 0 14724 278 0 0 25 0 1 0 201668611 7647232 1445 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1867 1445 205 16 0 1308 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 7468

[startup+160.092 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301984/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7468 CPUtime=160.03
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1494 0 0 0 15709 294 0 0 25 0 1 0 201668611 7647232 1465 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1867 1465 205 16 0 1308 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 7468

[startup+170.098 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301920/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7604 CPUtime=170.03
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1510 0 0 0 16698 305 0 0 25 0 1 0 201668611 7786496 1481 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1901 1481 205 16 0 1342 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 7604

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301856/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7604 CPUtime=180.03
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1524 0 0 0 17688 315 0 0 25 0 1 0 201668611 7786496 1495 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1901 1495 205 16 0 1342 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 7604

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301792/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7736 CPUtime=190.03
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1532 0 0 0 18677 326 0 0 25 0 1 0 201668611 7921664 1503 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1934 1503 205 16 0 1375 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 7736

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301792/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=7736 CPUtime=200.04
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 1534 0 0 0 19667 337 0 0 25 0 1 0 201668611 7921664 1505 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 1934 1505 205 16 0 1375 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 7736

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18579
/proc/meminfo: memFree=1301856/2055924 swapFree=4181416/4192956

################
# More data... #
################

/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1590.35
Current children cumulated vsize (Kb) 11748

[startup+1600.98 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1600.36
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 158166 1870 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (Kb) 11748

[startup+1610.98 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1610.36
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 159156 1880 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1610.36
Current children cumulated vsize (Kb) 11748

[startup+1620.99 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1620.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 160147 1890 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1620.37
Current children cumulated vsize (Kb) 11748

[startup+1631 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1630.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 161136 1901 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1630.37
Current children cumulated vsize (Kb) 11748

[startup+1641 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1640.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 162125 1912 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1640.37
Current children cumulated vsize (Kb) 11748

[startup+1651.01 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1650.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 163115 1922 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1650.37
Current children cumulated vsize (Kb) 11748

[startup+1661.01 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1660.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 164107 1930 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1660.37
Current children cumulated vsize (Kb) 11748

[startup+1671.02 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1670.37
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 165099 1938 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1670.37
Current children cumulated vsize (Kb) 11748

[startup+1681.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297632/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1680.38
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 166093 1945 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1680.38
Current children cumulated vsize (Kb) 11748

[startup+1691.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1690.38
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2542 0 0 0 167086 1952 0 0 25 0 1 0 201668611 12029952 2513 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2513 205 16 0 2378 0
Current children cumulated CPU time (s) 1690.38
Current children cumulated vsize (Kb) 11748

[startup+1701.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1700.38
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 168077 1961 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1700.38
Current children cumulated vsize (Kb) 11748

[startup+1711.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1710.39
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 169069 1970 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (Kb) 11748

[startup+1721.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1720.39
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 170059 1980 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1720.39
Current children cumulated vsize (Kb) 11748

[startup+1731.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1730.39
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 171048 1991 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1730.39
Current children cumulated vsize (Kb) 11748

[startup+1741.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1740.39
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 172037 2002 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1740.39
Current children cumulated vsize (Kb) 11748

[startup+1751.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1750.4
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 173025 2015 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1750.4
Current children cumulated vsize (Kb) 11748

[startup+1761.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1760.39
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 174014 2025 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1760.39
Current children cumulated vsize (Kb) 11748

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1770.4
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 175006 2034 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1770.4
Current children cumulated vsize (Kb) 11748

[startup+1781.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1780.4
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 175998 2042 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1780.4
Current children cumulated vsize (Kb) 11748

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1781.41
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 176098 2043 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 11748

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 18774
/proc/meminfo: memFree=1297568/2055924 swapFree=4181416/4192956
[pid=18579] ppid=18577 vsize=11748 CPUtime=1782.41
/proc/18579/stat : 18579 (Pueblo13) R 18577 18579 18533 0 -1 4194304 2543 0 0 0 176198 2043 0 0 25 0 1 0 201668611 12029952 2514 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 2937 2514 205 16 0 2378 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (Kb) 11748

Child status: 10
Real time (s): 1783.42
CPU time (s): 1782.73
CPU user time (s): 1762.29
CPU system time (s): 20.4429
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (Kb): 11748

Launcher Data (download as text)

Begin job on node6 on Sat Jun  3 18:41:05 UTC 2006


FILE ID= 37739-1149360065

PBS_JOBID= 311460

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-37739-1149360065 -o ROOT/results/node6/solver-37739-1149360065 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node6/37739-1149360065/instance-37739-1149360065.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  32662df0ae948242aace0258625ea4cc

RANDOM SEED= 603579873


/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.268
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.268
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:      2055924 kB
MemFree:       1307120 kB
Buffers:         30304 kB
Cached:         647300 kB
SwapCached:       3348 kB
Active:          80212 kB
Inactive:       606200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1307120 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            48448 kB
Committed_AS:   334900 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Sat Jun  3 19:10:48 UTC 2006