Trace number 36526

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.27

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 benchmark1621
Best CPU time to get the best result obtained on this benchmark1782.74
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	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.04	c starting to Solve
0.04	c #variables read: 1996 - #constraints read: 135
94.09	o 36450
94.13	o 36330
94.13	o 36270
94.14	o 36256
94.14	o 36252
94.29	o 36150
94.29	o 36090
94.29	o 36060
94.29	o 36053
94.30	o 36049
94.30	o 36047
94.30	o 36046
94.30	o 36039
94.31	o 36035
94.31	o 36033
94.31	o 36031
94.31	o 36029
94.82	o 34136
94.82	o 33174
94.82	o 32693
94.82	o 32453
94.82	o 32333
94.83	o 32273
94.83	o 32266
94.83	o 32262
94.83	o 32260
94.84	o 32259
94.84	o 32252
94.84	o 32248
94.84	o 32246
94.85	o 32244
94.85	o 32242
95.90	o 30409
95.91	o 29447
95.91	o 28966
95.91	o 28726
95.91	o 28606
95.91	o 28546
95.92	o 28516
95.92	o 28501
95.92	o 28493
95.92	o 28489
95.93	o 28487
95.93	o 28486
95.93	o 28482
95.94	o 28478
95.94	o 28476
95.95	o 28475
95.95	o 28474
95.96	o 28473
95.96	o 28472
95.97	o 28471
95.97	o 28469
95.98	o 28468
95.98	o 28464
95.98	o 28462
95.98	o 28461
95.98	o 28460
95.99	o 28459
95.99	o 28458
96.00	o 28457
96.01	o 28456
96.01	o 28455
96.02	o 28427
96.02	o 28426
96.02	o 28420
96.02	o 28416
96.02	o 28415
96.03	o 28414
96.03	o 28413
96.03	o 28412
96.04	o 28409
96.04	o 28408
96.05	o 28406
96.05	o 28402
96.05	o 28401
96.05	o 28400
96.05	o 28399
96.06	o 28398
96.07	o 28397
96.08	o 28396
96.09	o 28395
97.84	o 26655
97.84	o 25693
97.85	o 25212
97.85	o 24972
97.85	o 24852
97.86	o 24792
97.87	o 24786
97.88	o 24784
97.88	o 24783
97.89	o 24782
97.90	o 24781
97.90	o 24780
97.90	o 24732
97.91	o 24729
97.91	o 24726
97.92	o 24724
97.93	o 24723
97.93	o 24721
97.94	o 24720
97.94	o 24702
97.94	o 24700
97.94	o 24699
97.95	o 24694
97.96	o 24693
97.96	o 24692
97.97	o 24691
97.97	o 24690
97.98	o 24658
98.03	o 24650
98.04	o 24649
98.05	o 24648
98.06	o 24647
98.06	o 24646
98.06	o 24620
98.09	o 24619
98.09	o 24618
98.10	o 24617
98.11	o 24616
98.12	o 24613
98.13	o 24611
98.14	o 24609
98.14	o 24608
98.15	o 24607
98.16	o 24605
98.17	o 24604
98.19	o 24602
98.20	o 24601
98.21	o 24600
98.22	o 24599
101.09	o 23022
101.09	o 22060
101.09	o 21579
101.10	o 21339
101.10	o 21219
101.11	o 21159
101.11	o 21129
101.12	o 21114
101.13	o 21110
101.13	o 21108
101.14	o 21107
101.15	o 21106
101.16	o 21104
101.17	o 21103
101.18	o 21102
101.19	o 21101
101.19	o 20990
101.21	o 20900
101.22	o 20898
101.23	o 20897
101.23	o 20896
101.24	o 20894
101.25	o 20893
101.26	o 20892
101.27	o 20891
101.30	o 20890
101.31	o 20870
101.32	o 20868
101.33	o 20867
101.34	o 20866
101.34	o 20864
101.35	o 20863
101.36	o 20862
101.37	o 20861
101.38	o 20860
101.39	o 20857
101.40	o 20856
101.41	o 20853
101.42	o 20852
101.43	o 20851
101.44	o 20850
101.45	o 20849
101.46	o 20848
101.47	o 20847
101.50	o 20846
101.51	o 20845
101.52	o 20844
101.53	o 20843
101.54	o 20842
101.55	o 20841
101.58	o 20840
101.60	o 20839
101.62	o 20838
101.65	o 20837
101.66	o 20836
101.67	o 20835
101.67	o 20833
101.68	o 20832
101.69	o 20831
101.70	o 20829
101.75	o 20826
101.76	o 20825
101.76	o 20824
101.79	o 20823
101.81	o 20822
101.84	o 20821
101.85	o 20820
101.86	o 20810
101.86	o 20808
101.86	o 20807
101.87	o 20806
101.87	o 20804
101.88	o 20803
101.88	o 20801
101.88	o 20800
101.89	o 20796
101.89	o 20794
101.89	o 20793
101.91	o 20792
101.91	o 20790
101.92	o 20789
101.92	o 20788
101.93	o 20787
101.94	o 20786
101.96	o 20785
101.97	o 20783
101.98	o 20782
102.05	o 20781
102.06	o 20778
102.06	o 20776
102.06	o 20774
102.06	o 20773
102.07	o 20772
102.08	o 20771
102.09	o 20770
102.11	o 20769
102.18	o 20768
102.18	o 20767
102.18	o 20766
102.19	o 20765
102.19	o 20764
102.21	o 20763
102.23	o 20762
102.25	o 20761
102.27	o 20760
155.38	o 19273
155.38	o 18313
155.39	o 17832
155.40	o 17592
155.41	o 17472
155.42	o 17412
155.43	o 17382
155.43	o 17367
155.45	o 17363
155.45	o 17361
155.47	o 17360
155.48	o 17352
155.49	o 17292
155.50	o 17262
155.51	o 17217
155.51	o 17187
155.53	o 17180
155.54	o 17150
155.57	o 17142
155.58	o 17138
155.60	o 17136
155.61	o 17135
155.64	o 17134
155.65	o 17132
155.66	o 17131
155.67	o 17130
155.69	o 17129
155.71	o 17128
155.72	o 17127
155.73	o 17126
155.75	o 17125
155.76	o 17124
155.78	o 17123
155.79	o 17122
155.81	o 17121
155.81	o 17112
155.82	o 17105
155.83	o 17101
155.83	o 17099
155.83	o 17090
155.84	o 17086
155.84	o 17084
155.84	o 17075
155.85	o 17071
155.85	o 17069
155.86	o 17068
155.88	o 17067
155.89	o 17065
155.91	o 17064
155.92	o 17063
155.93	o 17062
155.96	o 17061
155.96	o 17059
155.97	o 17057
155.97	o 17056
155.98	o 17054
155.98	o 17044
155.98	o 17042
155.99	o 17041
155.99	o 17039
156.00	o 17026
156.01	o 17022
156.02	o 17020
156.03	o 17019
156.04	o 17018
156.06	o 17017
156.10	o 17014
156.12	o 17013
156.15	o 17012
156.18	o 17011
156.19	o 17010
156.21	o 17009
156.21	o 17007
156.22	o 17006
156.24	o 17005
156.26	o 17004
156.27	o 17002
156.27	o 17001
156.28	o 16999
156.29	o 16998
156.30	o 16997
156.31	o 16996
156.34	o 16995
156.34	o 16994
156.36	o 16993
156.37	o 16992
156.42	o 16991
156.44	o 16990
156.51	o 16989
156.54	o 16988
156.56	o 16987
156.61	o 16986
156.66	o 16985
156.70	o 16984
156.77	o 16983
378.91	o 1904
536.90	o 1795
536.94	o 1793
536.98	o 1792
537.27	o 1791
537.37	o 1790
537.42	o 1789
537.42	o 1787
537.47	o 1786
537.52	o 1785
537.53	o 1782
537.53	o 1780
537.64	o 1778
537.70	o 1777
537.74	o 1775
537.74	o 1774
537.74	o 1772
537.79	o 1771
537.96	o 1765
538.03	o 1764
538.09	o 1762
538.21	o 1760
538.21	o 1759
538.22	o 1757
538.24	o 1755
538.25	o 1754
538.27	o 1753
539.67	o 1748
539.67	o 1747
539.67	o 1745
539.69	o 1742
539.82	o 1741
539.88	o 1735
539.88	o 1728
539.90	o 1725
539.91	o 1723
539.93	o 1722
539.97	o 1720
540.05	o 1699
540.05	o 1691
540.05	o 1684
540.05	o 1682
540.07	o 1681
540.08	o 1679
540.10	o 1676
540.11	o 1675
540.12	o 1670
540.13	o 1668
540.17	o 1667
540.20	o 1665
540.20	o 1663
540.21	o 1661
540.21	o 1660
540.21	o 1658
540.22	o 1650
540.22	o 1649
540.24	o 1647
540.28	o 1646
540.35	o 1645
540.49	o 1643
540.59	o 1642
540.59	o 1639
540.60	o 1637
540.61	o 1631
540.61	o 1629
540.62	o 1628
540.62	o 1626
540.63	o 1624
540.67	o 1622
734.03	o 1621
1783.26	c total time              : 1783 s
1783.26	s SATISFIABLE
1783.26	v -x1160 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1811 -x1812 -x1813
1783.26	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1885 -x1886 -x1887 -x1888 x1889 -x1890
1783.26	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1783.26	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1783.26	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1783.26	v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958
1783.26	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1783.26	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1783.26	v -x1993 -x1994 -x1995 -x1996 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1783.26	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1783.26	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1783.26	v -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1625 -x1626 -x1627 -x1628 -x1629
1783.26	v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1699 -x1700 x1701 x1702 -x1703 x1704 -x1705 x1706 x1707
1783.26	v -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725
1783.26	v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742
1783.26	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760
1783.26	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778
1783.26	v -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1783.26	v -x1797 -x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1639 -x1640 -x1641 -x1642
1783.26	v -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1783.26	v x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1783.26	v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696
1783.26	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
1783.26	v -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
1783.26	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1783.26	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1783.26	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
1783.26	v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434
1783.26	v -x435 -x436 x437 x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455
1783.26	v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476
1783.26	v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497
1783.26	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518
1783.26	v x519 x520 -x521 x522 x523 -x524 x525 x526 x527 x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541
1783.26	v x542 x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1783.26	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
1783.26	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
1783.26	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
1783.26	v x104 x105 x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1783.26	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1783.26	v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 x166 x167 -x168
1783.26	v x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1783.26	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1783.26	v -x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1783.26	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 x248 x249 x250 x251 x252 x253 x254 -x255
1783.26	v x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1783.26	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1783.26	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1783.26	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1783.26	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
1783.26	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1783.26	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944
1783.26	v x945 x946 x947 -x948 x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1783.26	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1783.26	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1783.26	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1783.26	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1783.26	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1783.26	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1783.26	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1783.26	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1783.26	v -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128
1783.26	v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x601 -x602 -x603 -x604 -x605 -x606
1783.26	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1783.26	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1783.26	v -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 -x670
1783.26	v -x671 x672 -x673 x674 -x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1783.26	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1783.26	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
1783.26	v x738 x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1783.26	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779
1783.26	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1783.26	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1783.26	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1783.26	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1783.26	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1783.26	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x1141 x1152 x1155 x1143 x1144
1783.26	v x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1153 x1154 x1156 x1157 -x1158 -x1159 x1142 -x1175 -x1176 -x1177 -x1178 -x1179
1783.26	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1783.26	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1783.26	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1783.26	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1783.26	v -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265
1783.26	v x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 -x1285
1783.26	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1783.26	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1783.26	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1783.26	v -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1783.26	v x1355 x1356 x1357 -x1358 x1359 x1360 x1361 x1362 -x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 x1371 -x1372 x1373
1783.26	v x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391
1783.26	v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409
1783.26	v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1783.26	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1783.26	v x1445 x1446 x1447 x1448 x1449 -x1450 x1451 x1452 x1453 -x1454 x1455 x1456 x1457 -x1458 -x1459 -x1460 x1461 x1462 x1463 -x1464
1783.26	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1783.26	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498
1783.26	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1783.26	v -x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1783.26	v x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552
1783.26	v x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571
1783.26	v x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1783.26	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1783.26	v x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624

Verifier Data (download as text)

OK	1621

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/node72/watcher-36526-1149345378 -o ROOT/results/node72/solver-36526-1149345378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1658168/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=916 CPUtime=0
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 200202251 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 229 28 20 16 0 8 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1656256/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=4416 CPUtime=9.99
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 750 0 0 0 999 0 0 0 25 0 1 0 200202251 4521984 721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1104 721 205 16 0 545 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4416

[startup+20.0082 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1655552/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=5240 CPUtime=20
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 948 0 0 0 2000 0 0 0 25 0 1 0 200202251 5365760 919 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557745 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1310 919 205 16 0 751 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 5240

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1655040/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=5752 CPUtime=30
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1095 0 0 0 3000 0 0 0 25 0 1 0 200202251 5890048 1066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1438 1066 205 16 0 879 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 5752

[startup+40.02 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654848/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6008 CPUtime=40
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1141 0 0 0 4000 0 0 0 25 0 1 0 200202251 6152192 1112 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517605 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1502 1112 205 16 0 943 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 6008

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654848/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6008 CPUtime=50
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1142 0 0 0 5000 0 0 0 25 0 1 0 200202251 6152192 1113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520565 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1502 1113 205 16 0 943 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 6008

[startup+60.0318 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6188 CPUtime=60.01
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1206 0 0 0 6001 0 0 0 25 0 1 0 200202251 6336512 1175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1547 1175 205 16 0 988 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 6188

[startup+70.0377 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6188 CPUtime=70.01
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1206 0 0 0 7001 0 0 0 25 0 1 0 200202251 6336512 1175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1547 1175 205 16 0 988 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 6188

[startup+80.0436 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654528/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6320 CPUtime=80.01
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1227 0 0 0 8001 0 0 0 25 0 1 0 200202251 6471680 1196 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1580 1196 205 16 0 1021 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 6320

[startup+90.0496 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1654080/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=6840 CPUtime=90.02
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 1346 0 0 0 9002 0 0 0 25 0 1 0 200202251 7004160 1315 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 1710 1315 205 16 0 1151 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 6840

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648640/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12240 CPUtime=100.02
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2698 0 0 0 9999 3 0 0 25 0 1 0 200202251 12533760 2667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3060 2667 205 16 0 2501 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12240

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648320/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12552 CPUtime=110.02
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2788 0 0 0 10990 12 0 0 25 0 1 0 200202251 12853248 2751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3138 2751 205 16 0 2579 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 12552

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12668 CPUtime=120.03
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 11978 25 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3167 2780 205 16 0 2608 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 12668

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12668 CPUtime=130.03
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 12971 32 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3167 2780 205 16 0 2608 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 12668

[startup+140.078 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648192/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12668 CPUtime=140.03
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 13961 42 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3167 2780 205 16 0 2608 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 12668

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1648128/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=12668 CPUtime=150.03
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 2817 0 0 0 14951 52 0 0 25 0 1 0 200202251 12972032 2780 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2974669 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3167 2780 205 16 0 2608 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 12668

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=15248 CPUtime=160.04
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 15943 61 0 0 25 0 1 0 200202251 15613952 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3812 3423 205 16 0 3253 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 15248

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=15224 CPUtime=170.04
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 16934 70 0 0 25 0 1 0 200202251 15589376 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3806 3423 205 16 0 3247 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 15224

[startup+180.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645568/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=15224 CPUtime=180.04
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3460 0 0 0 17929 75 0 0 25 0 1 0 200202251 15589376 3423 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3806 3423 205 16 0 3247 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 15224

[startup+190.108 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=15288 CPUtime=190.05
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3474 0 0 0 18913 92 0 0 25 0 1 0 200202251 15654912 3437 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3822 3437 205 16 0 3263 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 15288

[startup+200.114 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=15224 CPUtime=200.05
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 3474 0 0 0 19888 117 0 0 25 0 1 0 200202251 15589376 3432 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 3806 3432 205 16 0 3247 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 15224

[startup+210.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29611
/proc/meminfo: memFree=1645504/2055920 swapFree=4182268/4192956

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

/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1590.43
Current children cumulated vsize (Kb) 17020

[startup+1600.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1600.43
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 157754 2289 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528322 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1600.43
Current children cumulated vsize (Kb) 17020

[startup+1610.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1610.44
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 158740 2304 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1610.44
Current children cumulated vsize (Kb) 17020

[startup+1620.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1620.44
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 159726 2318 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1620.44
Current children cumulated vsize (Kb) 17020

[startup+1630.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1630.44
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 160710 2334 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1630.44
Current children cumulated vsize (Kb) 17020

[startup+1640.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1640.44
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 161698 2346 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1640.44
Current children cumulated vsize (Kb) 17020

[startup+1650.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643136/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1650.44
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 162683 2361 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1650.44
Current children cumulated vsize (Kb) 17020

[startup+1660.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643200/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1660.45
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 163670 2375 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1660.45
Current children cumulated vsize (Kb) 17020

[startup+1670.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643200/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1670.45
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 164656 2389 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1670.45
Current children cumulated vsize (Kb) 17020

[startup+1680.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643264/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1680.46
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 165647 2399 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1680.46
Current children cumulated vsize (Kb) 17020

[startup+1690.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1690.46
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 166637 2409 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1690.46
Current children cumulated vsize (Kb) 17020

[startup+1700.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1700.47
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 167633 2414 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1700.47
Current children cumulated vsize (Kb) 17020

[startup+1710.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1710.47
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 168630 2417 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1710.47
Current children cumulated vsize (Kb) 17020

[startup+1720.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1720.47
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 169627 2420 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1720.47
Current children cumulated vsize (Kb) 17020

[startup+1731 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1730.48
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 170621 2427 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1730.48
Current children cumulated vsize (Kb) 17020

[startup+1741.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1740.48
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 171607 2441 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1740.48
Current children cumulated vsize (Kb) 17020

[startup+1751.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1750.48
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 172595 2453 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1750.48
Current children cumulated vsize (Kb) 17020

[startup+1761.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1760.48
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 173580 2468 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1760.48
Current children cumulated vsize (Kb) 17020

[startup+1771.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1770.48
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 174560 2488 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1770.48
Current children cumulated vsize (Kb) 17020

[startup+1781.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1780.49
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175549 2500 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1780.49
Current children cumulated vsize (Kb) 17020

[startup+1782.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1781.49
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175648 2501 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 17020

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29806
/proc/meminfo: memFree=1643328/2055920 swapFree=4182268/4192956
[pid=29611] ppid=29609 vsize=17020 CPUtime=1782.49
/proc/29611/stat : 29611 (Pueblo) R 29609 29611 29565 0 -1 4194304 4087 0 0 0 175747 2502 0 0 25 0 1 0 200202251 17428480 3881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29611/statm: 4255 3881 205 16 0 3696 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 17020

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.74
CPU user time (s): 1757.7
CPU system time (s): 25.0332
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (Kb): 17020

Launcher Data (download as text)

Begin job on node72 on Sat Jun  3 14:36:18 UTC 2006


FILE ID= 36526-1149345378

PBS_JOBID= 310639

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= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-36526-1149345378 -o ROOT/results/node72/solver-36526-1149345378 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node72/36526-1149345378/instance-36526-1149345378.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  51e821dd343df6d9e97b4cdfcd83ec3f

RANDOM SEED= 908556951


/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.227
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.227
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:       1658568 kB
Buffers:         29240 kB
Cached:         295040 kB
SwapCached:       2460 kB
Active:          49840 kB
Inactive:       283220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658568 kB
SwapTotal:     4192956 kB
SwapFree:      4182268 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          15632 kB
Slab:            50364 kB
Committed_AS:   309660 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node72 on Sat Jun  3 15:06:02 UTC 2006