Trace number 351358

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.4SAT1621 1782.74 1783.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
MD5SUM51e821dd343df6d9e97b4cdfcd83ec3f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1496
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1496
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 22700
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525423
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525423
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/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.03	c starting to Solve
0.00/0.03	c #variables read: 1996 - #constraints read: 135
94.65/94.74	o 36450
94.65/94.79	o 36330
94.65/94.79	o 36270
94.65/94.79	o 36256
94.65/94.79	o 36252
94.86/94.94	o 36150
94.86/94.94	o 36090
94.86/94.94	o 36060
94.86/94.95	o 36053
94.86/94.95	o 36049
94.86/94.95	o 36047
94.86/94.95	o 36046
94.86/94.95	o 36039
94.86/94.96	o 36035
94.86/94.96	o 36033
94.86/94.96	o 36031
94.86/94.97	o 36029
95.35/95.47	o 34136
95.35/95.47	o 33174
95.35/95.47	o 32693
95.35/95.47	o 32453
95.35/95.47	o 32333
95.35/95.48	o 32273
95.35/95.48	o 32266
95.35/95.48	o 32262
95.35/95.48	o 32260
95.35/95.49	o 32259
95.35/95.49	o 32252
95.35/95.49	o 32248
95.35/95.49	o 32246
95.45/95.50	o 32244
95.45/95.50	o 32242
96.45/96.55	o 30409
96.45/96.55	o 29447
96.45/96.56	o 28966
96.45/96.56	o 28726
96.45/96.56	o 28606
96.45/96.56	o 28546
96.45/96.56	o 28516
96.45/96.57	o 28501
96.45/96.57	o 28493
96.45/96.57	o 28489
96.45/96.57	o 28487
96.45/96.58	o 28486
96.45/96.58	o 28482
96.45/96.59	o 28478
96.45/96.59	o 28476
96.45/96.59	o 28475
96.55/96.60	o 28474
96.55/96.60	o 28473
96.55/96.61	o 28472
96.55/96.62	o 28471
96.55/96.62	o 28469
96.55/96.62	o 28468
96.55/96.63	o 28464
96.55/96.63	o 28462
96.55/96.63	o 28461
96.55/96.63	o 28460
96.55/96.63	o 28459
96.55/96.64	o 28458
96.55/96.65	o 28457
96.55/96.65	o 28456
96.55/96.66	o 28455
96.55/96.66	o 28427
96.55/96.67	o 28426
96.55/96.67	o 28420
96.55/96.67	o 28416
96.55/96.67	o 28415
96.55/96.67	o 28414
96.55/96.68	o 28413
96.55/96.68	o 28412
96.55/96.68	o 28409
96.55/96.69	o 28408
96.55/96.70	o 28406
96.66/96.70	o 28402
96.66/96.70	o 28401
96.66/96.70	o 28400
96.66/96.70	o 28399
96.66/96.71	o 28398
96.66/96.72	o 28397
96.66/96.73	o 28396
96.66/96.73	o 28395
98.35/98.49	o 26655
98.35/98.49	o 25693
98.35/98.49	o 25212
98.35/98.50	o 24972
98.45/98.50	o 24852
98.45/98.50	o 24792
98.45/98.51	o 24786
98.45/98.52	o 24784
98.45/98.53	o 24783
98.45/98.54	o 24782
98.45/98.54	o 24781
98.45/98.55	o 24780
98.45/98.55	o 24732
98.45/98.55	o 24729
98.45/98.56	o 24726
98.45/98.57	o 24724
98.45/98.57	o 24723
98.45/98.58	o 24721
98.45/98.59	o 24720
98.45/98.59	o 24702
98.45/98.59	o 24700
98.45/98.59	o 24699
98.45/98.60	o 24694
98.55/98.60	o 24693
98.55/98.61	o 24692
98.55/98.61	o 24691
98.55/98.62	o 24690
98.55/98.62	o 24658
98.55/98.67	o 24650
98.55/98.69	o 24649
98.55/98.70	o 24648
98.65/98.70	o 24647
98.65/98.71	o 24646
98.65/98.71	o 24620
98.65/98.73	o 24619
98.65/98.74	o 24618
98.65/98.75	o 24617
98.65/98.76	o 24616
98.65/98.77	o 24613
98.65/98.77	o 24611
98.65/98.78	o 24609
98.65/98.79	o 24608
98.75/98.80	o 24607
98.75/98.81	o 24605
98.75/98.82	o 24604
98.75/98.84	o 24602
98.75/98.85	o 24601
98.75/98.86	o 24600
98.75/98.87	o 24599
101.66/101.78	o 23022
101.66/101.79	o 22060
101.66/101.79	o 21579
101.76/101.80	o 21339
101.76/101.80	o 21219
101.76/101.81	o 21159
101.76/101.81	o 21129
101.76/101.82	o 21114
101.76/101.83	o 21110
101.76/101.83	o 21108
101.76/101.84	o 21107
101.76/101.85	o 21106
101.76/101.86	o 21104
101.76/101.87	o 21103
101.76/101.88	o 21102
101.76/101.88	o 21101
101.76/101.89	o 20990
101.86/101.91	o 20900
101.86/101.92	o 20898
101.86/101.92	o 20897
101.86/101.93	o 20896
101.86/101.94	o 20894
101.86/101.95	o 20893
101.86/101.96	o 20892
101.86/101.97	o 20891
101.86/102.00	o 20890
101.96/102.01	o 20870
101.96/102.02	o 20868
101.96/102.02	o 20867
101.96/102.03	o 20866
101.96/102.04	o 20864
101.96/102.05	o 20863
101.96/102.06	o 20862
101.96/102.07	o 20861
101.96/102.08	o 20860
101.96/102.09	o 20857
101.96/102.10	o 20856
102.06/102.10	o 20853
102.06/102.11	o 20852
102.06/102.13	o 20851
102.06/102.14	o 20850
102.06/102.15	o 20849
102.06/102.16	o 20848
102.06/102.17	o 20847
102.06/102.20	o 20846
102.16/102.21	o 20845
102.16/102.22	o 20844
102.16/102.23	o 20843
102.16/102.24	o 20842
102.16/102.25	o 20841
102.16/102.28	o 20840
102.16/102.29	o 20839
102.26/102.31	o 20838
102.26/102.35	o 20837
102.26/102.36	o 20836
102.26/102.37	o 20835
102.26/102.37	o 20833
102.26/102.39	o 20832
102.26/102.39	o 20831
102.36/102.40	o 20829
102.36/102.46	o 20826
102.36/102.46	o 20825
102.36/102.46	o 20824
102.36/102.49	o 20823
102.45/102.52	o 20822
102.45/102.54	o 20821
102.45/102.55	o 20820
102.45/102.57	o 20810
102.45/102.57	o 20808
102.45/102.57	o 20807
102.45/102.57	o 20806
102.45/102.57	o 20804
102.45/102.58	o 20803
102.45/102.59	o 20801
102.45/102.59	o 20800
102.55/102.60	o 20796
102.55/102.60	o 20794
102.55/102.60	o 20793
102.55/102.61	o 20792
102.55/102.62	o 20790
102.55/102.63	o 20789
102.55/102.63	o 20788
102.55/102.64	o 20787
102.55/102.65	o 20786
102.55/102.67	o 20785
102.55/102.68	o 20783
102.55/102.69	o 20782
102.65/102.76	o 20781
102.65/102.77	o 20778
102.65/102.77	o 20776
102.65/102.77	o 20774
102.65/102.77	o 20773
102.65/102.78	o 20772
102.65/102.79	o 20771
102.75/102.81	o 20770
102.75/102.82	o 20769
102.75/102.89	o 20768
102.85/102.90	o 20767
102.85/102.90	o 20766
102.85/102.90	o 20765
102.85/102.90	o 20764
102.85/102.92	o 20763
102.85/102.94	o 20762
102.85/102.96	o 20761
102.85/102.99	o 20760
156.54/156.62	o 19273
156.54/156.63	o 18313
156.54/156.64	o 17832
156.54/156.65	o 17592
156.54/156.66	o 17472
156.54/156.66	o 17412
156.54/156.67	o 17382
156.54/156.68	o 17367
156.54/156.69	o 17363
156.64/156.70	o 17361
156.64/156.71	o 17360
156.64/156.73	o 17352
156.64/156.74	o 17292
156.64/156.75	o 17262
156.64/156.76	o 17217
156.64/156.76	o 17187
156.64/156.78	o 17180
156.64/156.79	o 17150
156.74/156.81	o 17142
156.74/156.83	o 17138
156.74/156.85	o 17136
156.74/156.86	o 17135
156.74/156.89	o 17134
156.84/156.90	o 17132
156.84/156.91	o 17131
156.84/156.93	o 17130
156.84/156.94	o 17129
156.84/156.96	o 17128
156.84/156.97	o 17127
156.84/156.98	o 17126
156.94/157.00	o 17125
156.94/157.02	o 17124
156.94/157.03	o 17123
156.94/157.04	o 17122
156.94/157.06	o 17121
156.94/157.07	o 17112
156.94/157.08	o 17105
156.94/157.08	o 17101
156.94/157.09	o 17099
156.94/157.09	o 17090
156.94/157.09	o 17086
156.94/157.10	o 17084
157.03/157.10	o 17075
157.03/157.10	o 17071
157.03/157.10	o 17069
157.03/157.12	o 17068
157.03/157.13	o 17067
157.03/157.14	o 17065
157.03/157.16	o 17064
157.03/157.18	o 17063
157.03/157.19	o 17062
157.14/157.22	o 17061
157.14/157.22	o 17059
157.14/157.22	o 17057
157.14/157.23	o 17056
157.14/157.23	o 17054
157.14/157.24	o 17044
157.14/157.24	o 17042
157.14/157.24	o 17041
157.14/157.25	o 17039
157.14/157.25	o 17026
157.14/157.26	o 17022
157.14/157.27	o 17020
157.14/157.29	o 17019
157.14/157.30	o 17018
157.24/157.31	o 17017
157.24/157.35	o 17014
157.24/157.37	o 17013
157.33/157.40	o 17012
157.33/157.44	o 17011
157.33/157.45	o 17010
157.33/157.46	o 17009
157.33/157.47	o 17007
157.33/157.48	o 17006
157.43/157.50	o 17005
157.43/157.52	o 17004
157.43/157.52	o 17002
157.43/157.53	o 17001
157.43/157.53	o 16999
157.43/157.54	o 16998
157.43/157.56	o 16997
157.43/157.57	o 16996
157.43/157.59	o 16995
157.53/157.60	o 16994
157.53/157.61	o 16993
157.53/157.63	o 16992
157.53/157.68	o 16991
157.53/157.69	o 16990
157.63/157.76	o 16989
157.63/157.79	o 16988
157.73/157.82	o 16987
157.73/157.86	o 16986
157.83/157.92	o 16985
157.83/157.95	o 16984
157.93/158.02	o 16983
380.86/381.01	o 1904
539.30/539.54	o 1795
539.30/539.59	o 1793
539.40/539.62	o 1792
539.70/539.91	o 1791
539.81/540.01	o 1790
539.81/540.06	o 1789
539.81/540.07	o 1787
539.91/540.11	o 1786
539.91/540.16	o 1785
539.91/540.17	o 1782
539.91/540.17	o 1780
540.00/540.28	o 1778
540.10/540.35	o 1777
540.10/540.39	o 1775
540.10/540.39	o 1774
540.10/540.39	o 1772
540.20/540.44	o 1771
540.40/540.61	o 1765
540.40/540.68	o 1764
540.50/540.74	o 1762
540.60/540.86	o 1760
540.60/540.86	o 1759
540.60/540.87	o 1757
540.60/540.89	o 1755
540.70/540.90	o 1754
540.70/540.92	o 1753
542.10/542.34	o 1748
542.10/542.34	o 1747
542.10/542.34	o 1745
542.10/542.36	o 1742
542.21/542.49	o 1741
542.31/542.55	o 1735
542.31/542.56	o 1728
542.31/542.57	o 1725
542.31/542.58	o 1723
542.41/542.61	o 1722
542.41/542.65	o 1720
542.51/542.72	o 1699
542.51/542.72	o 1691
542.51/542.72	o 1684
542.51/542.72	o 1682
542.51/542.74	o 1681
542.51/542.75	o 1679
542.51/542.77	o 1676
542.51/542.79	o 1675
542.51/542.79	o 1670
542.61/542.80	o 1668
542.61/542.85	o 1667
542.61/542.88	o 1665
542.61/542.88	o 1663
542.61/542.88	o 1661
542.61/542.88	o 1660
542.61/542.89	o 1658
542.61/542.89	o 1650
542.71/542.90	o 1649
542.71/542.92	o 1647
542.71/542.95	o 1646
542.81/543.02	o 1645
542.91/543.17	o 1643
543.01/543.27	o 1642
543.01/543.27	o 1639
543.01/543.28	o 1637
543.01/543.29	o 1631
543.01/543.29	o 1629
543.01/543.30	o 1628
543.11/543.30	o 1626
543.11/543.31	o 1624
543.11/543.35	o 1622
738.14/738.41	o 1621
1782.68/1783.34	c total time              : 1783 s
1782.68/1783.34	s SATISFIABLE
1782.68/1783.34	v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1811 -x1812 -x1813
1782.68/1783.34	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890
1782.68/1783.34	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1782.68/1783.34	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1782.68/1783.34	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1782.68/1783.34	v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958
1782.68/1783.34	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1782.68/1783.34	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1782.68/1783.34	v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1782.68/1783.34	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1782.68/1783.34	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1782.68/1783.34	v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629
1782.68/1783.34	v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 x1707
1782.68/1783.34	v -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725
1782.68/1783.34	v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
1782.68/1783.34	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760
1782.68/1783.34	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778
1782.68/1783.34	v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1782.68/1783.34	v -x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 -x1642
1782.68/1783.34	v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1782.68/1783.34	v x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1782.68/1783.34	v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696
1782.68/1783.34	v -x1697 -x1698 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25
1782.68/1783.34	v -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
1782.68/1783.34	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1782.68/1783.34	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1782.68/1783.34	v -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413
1782.68/1783.34	v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434
1782.68/1783.34	v -x435 -x436 x437 x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455
1782.68/1783.34	v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476
1782.68/1783.34	v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497
1782.68/1783.34	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518
1782.68/1783.34	v x519 x520 -x521 x522 x523 -x524 x525 x526 x527 x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541
1782.68/1783.34	v x542 x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1782.68/1783.34	v -x565 -x566 -x567 -x568 -x569 -x570 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48
1782.68/1783.34	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74
1782.68/1783.34	v -x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103
1782.68/1783.34	v x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1782.68/1783.34	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1782.68/1783.34	v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168
1782.68/1783.34	v x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1782.68/1783.34	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1782.68/1783.34	v -x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1782.68/1783.34	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255
1782.68/1783.34	v x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1782.68/1783.34	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1782.68/1783.34	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1782.68/1783.34	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1782.68/1783.34	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
1782.68/1783.34	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1782.68/1783.34	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944
1782.68/1783.34	v x945 x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1782.68/1783.34	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1782.68/1783.34	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1782.68/1783.34	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1782.68/1783.34	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1782.68/1783.34	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1782.68/1783.34	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1782.68/1783.34	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1782.68/1783.34	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1782.68/1783.34	v -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128
1782.68/1783.34	v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 -x606
1782.68/1783.34	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1782.68/1783.34	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1782.68/1783.34	v -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 -x670
1782.68/1783.34	v -x671 x672 -x673 x674 -x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1782.68/1783.34	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1782.68/1783.34	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 -x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 -x737
1782.68/1783.34	v x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1782.68/1783.34	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779
1782.68/1783.34	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1782.68/1783.34	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1782.68/1783.34	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1782.68/1783.34	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1782.68/1783.34	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1782.68/1783.34	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x1141 x1152 x1155 x1143 x1144
1782.68/1783.34	v x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 -x1158 -x1159 x1142 -x1175 -x1176 -x1177 -x1178 -x1179
1782.68/1783.34	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1782.68/1783.34	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1782.68/1783.34	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1782.68/1783.34	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1782.68/1783.34	v -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265
1782.68/1783.34	v x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 -x1285
1782.68/1783.34	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1782.68/1783.34	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1782.68/1783.34	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1782.68/1783.34	v -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1782.68/1783.34	v x1355 x1356 x1357 -x1358 x1359 x1360 x1361 x1362 -x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373
1782.68/1783.34	v x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391
1782.68/1783.34	v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409
1782.68/1783.34	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1782.68/1783.34	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1782.68/1783.34	v x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 -x1464
1782.68/1783.34	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1782.68/1783.34	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498
1782.68/1783.34	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1782.68/1783.34	v -x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1782.68/1783.34	v x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552
1782.68/1783.34	v x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571
1782.68/1783.34	v x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1782.68/1783.34	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1782.68/1783.34	v x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624

Verifier Data (download as text)

OK	1621

Conversion Script Data (download as text)

/tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node67/watcher-351358-1176596840 -o ROOT/results/node67/solver-351358-1176596840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 3511
/proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=2552 CPUtime=0
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 135673485 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 638 230 193 16 0 77 0

[startup+0.0415831 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 3511
/proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3380 CPUtime=0.03
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 496 0 0 0 3 0 0 0 18 0 1 0 135673485 3461120 466 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 845 466 205 16 0 284 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3380

[startup+0.101593 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 3511
/proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3636 CPUtime=0.09
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 559 0 0 0 9 0 0 0 18 0 1 0 135673485 3723264 529 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7325307 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 909 529 205 16 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3636

[startup+0.301631 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 3511
/proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3892 CPUtime=0.29
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 606 0 0 0 29 0 0 0 19 0 1 0 135673485 3985408 576 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7325307 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 973 576 205 16 0 412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3892

[startup+0.701704 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 3511
/proc/meminfo: memFree=1432720/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3892 CPUtime=0.69
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 69 0 0 0 22 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 973 578 205 16 0 412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3892

[startup+1.50185 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1431240/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3892 CPUtime=1.49
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 149 0 0 0 25 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 973 578 205 16 0 412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3892

[startup+3.10114 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1430984/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=3892 CPUtime=3.09
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 608 0 0 0 309 0 0 0 25 0 1 0 135673485 3985408 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 973 578 205 16 0 412 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3892

[startup+6.30173 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1430792/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=4020 CPUtime=6.29
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 655 0 0 0 629 0 0 0 25 0 1 0 135673485 4116480 625 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 1005 625 205 16 0 444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4020

[startup+12.7019 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1430360/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=4524 CPUtime=12.69
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 758 0 0 0 1269 0 0 0 25 0 1 0 135673485 4632576 728 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 1131 728 205 16 0 570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4524

[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1429592/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=5220 CPUtime=25.48
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 952 0 0 0 2548 0 0 0 25 0 1 0 135673485 5345280 922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 1305 922 205 16 0 744 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5220

[startup+51.102 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1428824/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=5988 CPUtime=51.07
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 1140 0 0 0 5107 0 0 0 25 0 1 0 135673485 6131712 1110 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 1497 1110 205 16 0 936 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5988

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1422552/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=12220 CPUtime=102.26
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 2705 0 0 0 10221 5 0 0 25 0 1 0 135673485 12513280 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3055 2673 205 16 0 2494 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12220

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=162.23
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3454 0 0 0 16157 66 0 0 25 0 1 0 135673485 15568896 3416 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3416 205 16 0 3240 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 15204

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=222.21
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 22053 168 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 15204

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=282.19
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 28006 213 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 15204

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=342.17
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 33953 264 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 15204

[startup+402.303 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=402.15
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 39875 340 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 15204

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=462.13
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 45787 426 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 15204

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=522.11
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3468 0 0 0 51714 497 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 15204

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=582.09
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 57672 537 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 15204

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3512
/proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=642.07
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 63582 625 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 15204


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

/proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=822.01
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 81413 788 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 15204

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419480/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=881.98
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 87366 832 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 15204

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419480/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=941.97
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 93330 867 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 15204

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1001.95
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 99294 901 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 15204

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419672/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1061.93
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 105115 1078 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 15204

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419672/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1121.91
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 110961 1230 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 15204

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419608/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1181.88
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 116828 1360 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 15204

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1241.86
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 122814 1372 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 15204

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419544/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15204 CPUtime=1301.84
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3522 0 0 0 128636 1548 0 0 25 0 1 0 135673485 15568896 3425 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3801 3425 205 16 0 3240 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 15204

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15332 CPUtime=1361.83
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3554 0 0 0 134467 1716 0 0 25 0 1 0 135673485 15699968 3457 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3833 3457 205 16 0 3272 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 15332

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1419416/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=15332 CPUtime=1421.81
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3554 0 0 0 140262 1919 0 0 25 0 1 0 135673485 15699968 3457 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 3833 3457 205 16 0 3272 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 15332

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1418840/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=16012 CPUtime=1481.78
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 3742 0 0 0 146094 2084 0 0 25 0 1 0 135673485 16396288 3599 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4003 3599 205 16 0 3442 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 16012

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417624/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1541.76
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 152018 2158 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 17000

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417688/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1601.75
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 157943 2232 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 17000

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1661.72
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 163859 2313 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 17000

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1721.7
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 169804 2366 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 17000

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1781.68
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175734 2434 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 17000

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1782.49
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175813 2436 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (KiB) 17000

[startup+1783.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 3514
/proc/meminfo: memFree=1417752/2055920 swapFree=4183904/4192956
[pid=3511] ppid=3509 vsize=17000 CPUtime=1782.68
/proc/3511/stat : 3511 (Pueblo) R 3509 3511 3090 0 -1 4194304 4081 0 0 0 175832 2436 0 0 25 0 1 0 135673485 17408000 3874 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3511/statm: 4250 3874 205 16 0 3689 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 17000

Child status: 10
Real time (s): 1783.35
CPU time (s): 1782.74
CPU user time (s): 1758.37
CPU system time (s): 24.3693
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 17248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.37
system time used= 24.3693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2877

runsolver used 1.2848 second user time and 3.59645 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Sun Apr 15 00:27:20 UTC 2007

IDJOB= 351358
IDBENCH= 1728
IDSOLVER= 165
FILE ID= node67/351358-1176596840

PBS_JOBID= 4556991

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
COMMAND LINE= Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-351358-1176596840 -o ROOT/results/node67/conversion-351358-1176596840 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-351358-1176596840 -o ROOT/results/node67/solver-351358-1176596840 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351358-1176596840/instance-351358-1176596840.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  51e821dd343df6d9e97b4cdfcd83ec3f

RANDOM SEED= 610694936

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.263
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.263
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:       1433128 kB
Buffers:         42576 kB
Cached:         451040 kB
SwapCached:       3192 kB
Active:         182432 kB
Inactive:       321040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1433128 kB
SwapTotal:     4192956 kB
SwapFree:      4183904 kB
Dirty:            2348 kB
Writeback:           0 kB
Mapped:          15836 kB
Slab:           105240 kB
Committed_AS:   134352 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node67 on Sun Apr 15 00:57:03 UTC 2007