Trace number 433142

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
bsolo 3.0.17SAT (TO)5500543 1800.28 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3416057
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb
0.00/0.00	c File size is 226427 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Highest Coefficient sum: 8.56864e+11
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.036 s
0.00/0.04	c Var: 4464 Constr: 192 0/0/192 Lit: 21744 Watch. Lit: 13152
0.00/0.04	c Obj. Vars: 4464 (100 % of total variables)
0.06/0.09	c Pre-processing Time: 0.088 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   2132      192    21744  113    13182   43488      0      0 0.09
0.09/0.19	c      100   2132      292    43077  147    14300   47837    100    757 0.13
0.09/0.19	o 8986103	0.188
10.78/10.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.78/10.82	c      196   2132      389    87447  224    16703   47752    197   1037 0.19
10.78/10.82	c      298   2132      491   127796  260    16937   52528    299   1252 0.24
10.78/10.82	c      548   2132      741   161764  218    17008   57781    549   1616 0.34
10.78/10.82	c     1023   2132     1216   235409  193    18180   63560   1024   1877 0.55
10.78/10.82	c     1836   2132     2029   468579  230    19905   69917   1837   1908 0.96
10.78/10.82	c     3157   2132     3350  1083703  323    22694   76909   3158   1173 2.69
10.78/10.82	c     5238   2132     5431  1907357  351    26405   84600   5239   1243 4.21
10.78/10.82	c     8461   2132     8654  3685654  425    33339   93061   8462    999 8.46
10.78/10.82	c    13397   2132    13590  4728033  347    42734  102368  13398   1249 10.72
10.78/10.82	o 8765998	10.822
10.89/10.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.92	c    13647   2132    13841  4770833  344    45426   47752  13649   1260 10.82
10.89/10.92	c    13748   2132    13942  4782118  343    45305   52528  13750   1264 10.87
10.89/10.92	o 8745062	10.92
15.19/15.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.22	c    13785   2132    13980  4792350  342    47678   47752  13788   1262 10.92
15.19/15.22	c    13885   2132    14080  4806419  341    47067   52528  13888   1266 10.96
15.19/15.22	c    14138   2132    14333  4842904  337    47663   57781  14141   1282 11.02
15.19/15.22	c    14615   2132    14810  4911703  331    48616   63560  14618   1313 11.13
15.19/15.22	c    15428   2132    15623  5089903  325    50174   69917  15431   1322 11.66
15.19/15.22	c    16748   2132    16943  5969197  352    53487   76909  16751   1113 15.04
15.19/15.22	o 7633308	15.217
29.48/29.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.48/29.57	c    16894   2132    17090  6002574  351    54282   47752  16898   1109 15.22
29.48/29.57	c    16994   2132    17190  6025232  350    54273   52528  16998   1112 15.28
29.48/29.57	c    17244   2132    17440  6089124  349    54301   57781  17248   1113 15.49
29.48/29.57	c    17719   2132    17915  6348113  354    55493   63560  17723   1102 16.07
29.48/29.57	c    18532   2132    18728  6557220  350    56395   69917  18536   1126 16.44
29.48/29.57	c    19852   2132    20048  7209530  359    59538   76909  19856   1060 18.73
29.48/29.57	c    21935   2132    22131  7809134  352    62578   84600  21939   1096 20.00
29.48/29.57	c    25158   2132    25354  9802825  386    69450   93061  25162    887 28.34
29.48/29.57	o 5500543	29.568
1800.05/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.61	c    26588   2132    26785 10065371  375    73052   47752  26593    899 29.57
1800.05/1800.61	c    26688   2132    26885 10130692  376    72979   52528  26693    895 29.79
1800.05/1800.61	c    26939   2132    27136 10202918  375    72835   57781  26944    898 30.00
1800.05/1800.61	c    27414   2132    27611 10282307  372    74001   63560  27419    907 30.22
1800.05/1800.61	c    28227   2132    28424 10840507  381    75833   69917  28232    888 31.77
1800.05/1800.61	c    29548   2132    29745 11113011  373    78092   76909  29553    906 32.60
1800.05/1800.61	c    31629   2132    31826 12122082  380    82043   84600  31634    835 37.87
1800.05/1800.61	c    34853   2132    35050 13078866  373    87852   93061  34858    853 40.82
1800.05/1800.61	c    39789   2132    39986 16185105  404    98238  102368  39794    761 52.24
1800.05/1800.61	c    47302   2132    47499 19706630  414   113074  112605  47307    710 66.58
1800.05/1800.61	c    58667   2132    58864 28683972  487   135437  123866  58672    497 117.92
1800.05/1800.61	c    75811   2132    76008 33522821  441   169580  136253  75816    483 156.92
1800.05/1800.61	c   101630   2132   101827 46975583  461   221356  149879 101635    322 315.51
1800.05/1800.61	c   140470   2132   140667 65242857  463   298902  164867 140475    297 471.40
1800.05/1800.61	c   198822   2132    43375 24202169  557   102714  181354  43183    224 884.05
1800.05/1800.61	c   286454   2132   131007 70724131  539   278170  199490 130815    218 1311.21
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	v 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 -x26 -x27 -x28 -x29 -x30
1800.05/1800.61	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.05/1800.61	v -x57 -x58 -x59 -x60 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1800.05/1800.61	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012
1800.05/1800.61	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
1800.05/1800.61	v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1800.05/1800.61	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1800.05/1800.61	v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1800.05/1800.61	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1800.05/1800.61	v -x2699 -x2700 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015
1800.05/1800.61	v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3331 -x3332
1800.05/1800.61	v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349
1800.05/1800.61	v -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1800.05/1800.61	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683
1800.05/1800.61	v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1800.05/1800.61	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1800.05/1800.61	v -x4018 -x4019 -x4020 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.05/1800.61	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404
1800.05/1800.61	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725
1800.05/1800.61	v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746
1800.05/1800.61	v -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.05/1800.61	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381
1800.05/1800.61	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.05/1800.61	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1531 -x1532 -x1533 -x1534 -x1535
1800.05/1800.61	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.05/1800.61	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.05/1800.61	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.05/1800.61	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.05/1800.61	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.05/1800.61	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.05/1800.61	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.05/1800.61	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.05/1800.61	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1800.05/1800.61	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1800.05/1800.61	v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752
1800.05/1800.61	v x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
1800.05/1800.61	v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1800.05/1800.61	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803
1800.05/1800.61	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1800.05/1800.61	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1800.05/1800.61	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
1800.05/1800.61	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871
1800.05/1800.61	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1800.05/1800.61	v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905
1800.05/1800.61	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1800.05/1800.61	v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1800.05/1800.61	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.05/1800.61	v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.05/1800.61	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1800.05/1800.61	v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1800.05/1800.61	v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054
1800.05/1800.61	v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1800.05/1800.61	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
1800.05/1800.61	v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
1800.05/1800.61	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123
1800.05/1800.61	v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1800.05/1800.61	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157
1800.05/1800.61	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174
1800.05/1800.61	v -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
1800.05/1800.61	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1800.05/1800.61	v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225
1800.05/1800.61	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
1800.05/1800.61	v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259
1800.05/1800.61	v -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.05/1800.61	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293
1800.05/1800.61	v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1800.05/1800.61	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327
1800.05/1800.61	v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374
1800.05/1800.61	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1800.05/1800.61	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.05/1800.61	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1800.05/1800.61	v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442
1800.05/1800.61	v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1800.05/1800.61	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1800.05/1800.61	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493
1800.05/1800.61	v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1800.05/1800.61	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
1800.05/1800.61	v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1800.05/1800.61	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1800.05/1800.61	v x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.05/1800.61	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1800.05/1800.61	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1800.05/1800.61	v -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631
1800.05/1800.61	v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648
1800.05/1800.61	v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.05/1800.61	v -x2666 -x2667 -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
1800.05/1800.61	v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729
1800.05/1800.61	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1800.05/1800.61	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763
1800.05/1800.61	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
1800.05/1800.61	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797
1800.05/1800.61	v x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.05/1800.61	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1800.05/1800.61	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1800.05/1800.61	v -x2851 -x2852 -x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1800.05/1800.61	v -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1800.05/1800.61	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1800.05/1800.61	v -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920
1800.05/1800.61	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1800.05/1800.61	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1800.05/1800.61	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971
1800.05/1800.61	v -x2972 x2973 x2974 x2975 x2976 x2977 x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989
1800.05/1800.61	v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1800.05/1800.61	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.05/1800.61	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1800.05/1800.61	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.05/1800.61	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1800.05/1800.61	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1800.05/1800.61	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.05/1800.61	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1800.05/1800.61	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
1800.05/1800.61	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1800.05/1800.61	v -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1800.05/1800.61	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1800.05/1800.61	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1800.05/1800.61	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1800.05/1800.61	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274
1800.05/1800.61	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1800.05/1800.61	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1800.05/1800.61	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.05/1800.61	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372
1800.05/1800.61	v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389
1800.05/1800.61	v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407
1800.05/1800.61	v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424
1800.05/1800.61	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441
1800.05/1800.61	v -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
1800.05/1800.61	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1800.05/1800.61	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1800.05/1800.61	v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509
1800.05/1800.61	v -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526
1800.05/1800.61	v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543
1800.05/1800.61	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
1800.05/1800.61	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577
1800.05/1800.61	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594
1800.05/1800.61	v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611
1800.05/1800.61	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1800.05/1800.61	v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1800.05/1800.61	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3691 -x3692
1800.05/1800.61	v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1800.05/1800.61	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727
1800.05/1800.61	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744
1800.05/1800.61	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1800.05/1800.61	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1800.05/1800.61	v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1800.05/1800.61	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1800.05/1800.61	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
1800.05/1800.61	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846
1800.05/1800.61	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863
1800.05/1800.61	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
1800.05/1800.61	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897
1800.05/1800.61	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
1800.05/1800.61	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931
1800.05/1800.61	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948
1800.05/1800.61	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.05/1800.61	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.05/1800.61	v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029
1800.05/1800.61	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1800.05/1800.61	v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1800.05/1800.61	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1800.05/1800.61	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1800.05/1800.61	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1800.05/1800.61	v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1800.05/1800.61	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1800.05/1800.61	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1800.05/1800.61	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182
1800.05/1800.61	v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
1800.05/1800.61	v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1800.05/1800.61	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233
1800.05/1800.61	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
1800.05/1800.61	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
1800.05/1800.61	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284
1800.05/1800.61	v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301
1800.05/1800.61	v -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
1800.05/1800.61	v -x4319 -x4320 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1800.05/1800.61	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131
1800.05/1800.61	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152
1800.05/1800.61	v x153 x154 -x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
1800.05/1800.61	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195
1800.05/1800.61	v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216
1800.05/1800.61	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
1800.05/1800.61	v -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258
1800.05/1800.61	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1800.05/1800.61	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.05/1800.61	v -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1800.05/1800.61	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
1800.05/1800.61	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364
1800.05/1800.61	v -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
1800.05/1800.61	v -x386 -x387 -x388 -x389 -x390 -x421 x422 -x423 x424 x425 x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.05/1800.61	v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.05/1800.61	v -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.05/1800.61	v -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.05/1800.61	v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1800.05/1800.61	v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 x543 x544
1800.05/1800.61	v x545 x546 x547 x548 x549 x550 x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.05/1800.61	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.05/1800.61	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.05/1800.61	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.05/1800.61	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.05/1800.61	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.05/1800.61	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.05/1800.61	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.05/1800.61	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.05/1800.61	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785
1800.05/1800.61	v x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.05/1800.61	v -x807 -x808 -x809 -x810 x811 -x812 x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828
1800.05/1800.61	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1800.05/1800.61	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
1800.05/1800.61	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891
1800.05/1800.61	v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1800.05/1800.61	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.05/1800.61	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954
1800.05/1800.61	v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975
1800.05/1800.61	v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
1800.05/1800.61	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1800.05/1800.61	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031
1800.05/1800.61	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048
1800.05/1800.61	v -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095
1800.05/1800.61	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1800.05/1800.61	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.05/1800.61	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.05/1800.61	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1800.05/1800.61	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1800.05/1800.61	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1800.05/1800.61	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.05/1800.61	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1800.05/1800.61	v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248
1800.05/1800.61	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1800.05/1800.61	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1800.05/1800.61	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1800.05/1800.61	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1800.05/1800.61	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.05/1800.61	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1800.05/1800.61	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1800.05/1800.61	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414
1800.05/1800.61	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.05/1800.61	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.05/1800.61	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.05/1800.61	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.05/1800.61	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1800.05/1800.61	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.05/1800.61	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x4321 -x4322 -x4377 -x4388
1800.05/1800.61	v x4399 -x4410 -x4421 -x4432 -x4443 -x4454 -x4323 x4334 -x4345 -x4356 -x4367 -x4372 -x4373 -x4374 -x4375 -x4376 -x4378 x4379
1800.05/1800.61	v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 x4398
1800.05/1800.61	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 x4408 -x4409 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418
1800.05/1800.61	v -x4419 x4420 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4433 x4434 -x4435 -x4436 -x4437 -x4438
1800.05/1800.61	v -x4439 -x4440 -x4441 -x4442 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4455 -x4456 -x4457 -x4458
1800.05/1800.61	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4324 x4325 x4326 x4327 -x4328 x4329 -x4330 x4331 -x4332 x4333 x4335 x4336 x4337
1800.05/1800.61	v -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4357
1800.05/1800.61	v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4368 -x4369 -x4370 -x4371
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   42   350390  44565   548056   194943 110591496 194751    194 1800.06
1800.05/1800.61	c Objective: 5500543
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.06 s

Verifier Data (download as text)

OK	5500543

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-433142-1177955438 -o ROOT/results/node55/solver-433142-1177955438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.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: 0.78 0.97 0.97 3/64 19130
/proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=11960 CPUtime=0
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243453852 12247040 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 2990 333 279 324 0 2004 0

[startup+0.0768401 s]
/proc/loadavg: 0.78 0.97 0.97 3/64 19130
/proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=5516 CPUtime=0.06
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 814 0 0 0 6 0 0 0 18 0 1 0 243453852 5648384 728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 1379 730 305 324 0 449 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5516

[startup+0.101842 s]
/proc/loadavg: 0.78 0.97 0.97 3/64 19130
/proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=5320 CPUtime=0.09
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 824 0 0 0 9 0 0 0 18 0 1 0 243453852 5447680 714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 1330 714 309 324 0 400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5320

[startup+0.301861 s]
/proc/loadavg: 0.78 0.97 0.97 3/64 19130
/proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=6988 CPUtime=0.29
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 1224 0 0 0 29 0 0 0 19 0 1 0 243453852 7155712 1114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 1747 1114 311 324 0 817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6988

[startup+0.701899 s]
/proc/loadavg: 0.78 0.97 0.97 3/64 19130
/proc/meminfo: memFree=1341108/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=9056 CPUtime=0.69
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 1754 0 0 0 68 1 0 0 22 0 1 0 243453852 9273344 1644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 2264 1644 311 324 0 1334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9056

[startup+1.50198 s]
/proc/loadavg: 0.78 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1333484/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=14168 CPUtime=1.49
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 3027 0 0 0 147 2 0 0 25 0 1 0 243453852 14508032 2917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 3542 2917 311 324 0 2612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14168

[startup+3.10113 s]
/proc/loadavg: 0.78 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1327916/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=22080 CPUtime=3.09
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 4996 0 0 0 306 3 0 0 25 0 1 0 243453852 22609920 4886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 5520 4886 311 324 0 4590 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22080

[startup+6.30144 s]
/proc/loadavg: 0.80 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1307700/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=41908 CPUtime=6.29
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 9972 0 0 0 624 5 0 0 25 0 1 0 243453852 42913792 9862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 10477 9862 311 324 0 9547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41908

[startup+12.7011 s]
/proc/loadavg: 0.81 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1271540/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=76204 CPUtime=12.69
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 18522 0 0 0 1260 9 0 0 25 0 1 0 243453852 78032896 18412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 19051 18412 311 324 0 18121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76204

[startup+25.5013 s]
/proc/loadavg: 0.85 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1219892/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=125420 CPUtime=25.49
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 30823 0 0 0 2534 15 0 0 25 0 1 0 243453852 128430080 30713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 31355 30713 311 324 0 30425 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 125420

[startup+51.1017 s]
/proc/loadavg: 0.90 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1133684/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=212112 CPUtime=51.06
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 52521 0 0 0 5081 25 0 0 25 0 1 0 243453852 217202688 52411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 53028 52411 311 324 0 52098 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 212112

[startup+102.306 s]
/proc/loadavg: 0.96 0.97 0.97 2/65 19131
/proc/meminfo: memFree=1001780/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=342520 CPUtime=102.25
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 85105 0 0 0 10181 44 0 0 25 0 1 0 243453852 350740480 84995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 85630 84995 311 324 0 84700 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 342520

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.97 2/65 19131
/proc/meminfo: memFree=894004/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=451168 CPUtime=162.24
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 112261 0 0 0 16159 65 0 0 25 0 1 0 243453852 461996032 112151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 112792 112151 311 324 0 111862 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 451168

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=817588/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=526160 CPUtime=222.22
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 131029 0 0 0 22143 79 0 0 25 0 1 0 243453852 538787840 130919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 131540 130919 311 324 0 130610 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 526160

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=760948/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=583288 CPUtime=282.2
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 145298 0 0 0 28131 89 0 0 25 0 1 0 243453852 597286912 145188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 145822 145188 311 324 0 144892 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 583288

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=689332/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=654356 CPUtime=342.19
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 163070 0 0 0 34119 100 0 0 25 0 1 0 243453852 670060544 162960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 163589 162960 311 324 0 162659 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 654356

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=591476/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=753888 CPUtime=402.17
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 187962 0 0 0 40101 116 0 0 25 0 1 0 243453852 771981312 187852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 188472 187852 311 324 0 187542 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 753888

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=503156/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=840388 CPUtime=462.16
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 209576 0 0 0 46086 130 0 0 25 0 1 0 243453852 860557312 209466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 210097 209466 311 324 0 209167 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 840388

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=391988/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=952836 CPUtime=522.14
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 237698 0 0 0 52066 148 0 0 25 0 1 0 243453852 975704064 237588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 238209 237588 311 324 0 237279 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 952836

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 19131
/proc/meminfo: memFree=299444/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1043800 CPUtime=582.13
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 260438 0 0 0 58051 162 0 0 25 0 1 0 243453852 1068851200 260328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 260950 260328 311 324 0 260020 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1043800

[startup+642.302 s]
/proc/loadavg: 1.24 1.03 0.99 2/71 19247
/proc/meminfo: memFree=280700/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=642.07
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 64042 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1060624


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 19329
/proc/meminfo: memFree=282036/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=881.96
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 88031 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 1060624

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=941.95
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 94030 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1060624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1001.93
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 100028 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1060624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1061.92
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 106027 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1060624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1121.9
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 112025 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1060624

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1181.89
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 118024 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1060624

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1241.88
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 124023 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1060624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281972/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1301.86
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 130021 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1060624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=281908/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1060624 CPUtime=1361.84
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 264804 0 0 0 136019 165 0 0 25 0 1 0 243453852 1086078976 264529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 265156 264529 311 324 0 264226 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1060624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=212084/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1130504 CPUtime=1421.83
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 282272 0 0 0 142008 175 0 0 25 0 1 0 243453852 1157636096 281997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 282626 281997 311 324 0 281696 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1130504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=139060/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1203820 CPUtime=1481.81
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 300598 0 0 0 147996 185 0 0 25 0 1 0 243453852 1232711680 300323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 300955 300323 311 324 0 300025 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1203820

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=77620/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1264588 CPUtime=1541.8
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 315806 0 0 0 153985 195 0 0 25 0 1 0 243453852 1294938112 315531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 316147 315531 311 324 0 315217 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1264588

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=40244/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1302372 CPUtime=1601.79
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 325231 0 0 0 159979 200 0 0 25 0 1 0 243453852 1333628928 324956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 325593 324956 311 324 0 324663 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1302372

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=15156/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1340676 CPUtime=1661.77
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 334821 0 0 0 165973 204 0 0 25 0 1 0 243453852 1372852224 334546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 335169 334546 311 324 0 334239 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1340676

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=15924/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1380248 CPUtime=1721.76
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 344722 0 0 0 171965 211 0 0 25 0 1 0 243453852 1413373952 344447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 345062 344447 311 324 0 344132 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1380248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=15092/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1422040 CPUtime=1781.74
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 355164 0 0 0 177958 216 0 0 25 0 1 0 243453852 1456168960 354889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 355510 354889 311 324 0 354580 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1422040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=15732/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=1431856 CPUtime=1800.05
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194304 357620 0 0 0 179787 218 0 0 25 0 1 0 243453852 1466220544 357345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7278661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 357964 357345 311 324 0 357034 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1431856

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 19329
/proc/meminfo: memFree=15732/2055920 swapFree=4184544/4192956
[pid=19130] ppid=19128 vsize=0 CPUtime=1800.24
/proc/19130/stat : 19130 (bsolo3.0.17) R 19128 19130 19067 0 -1 4194308 357624 0 0 0 179787 237 0 0 25 0 1 0 243453852 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/19130/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.28
CPU user time (s): 1797.87
CPU system time (s): 2.40463
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1431856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.40463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357624
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= 13
involuntary context switches= 3267

runsolver used 1.50077 second user time and 3.47647 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Apr 30 17:50:38 UTC 2007

IDJOB= 433142
IDBENCH= 2294
IDSOLVER= 199
FILE ID= node55/433142-1177955438

PBS_JOBID= 4727711

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-433142-1177955438 -o ROOT/results/node55/solver-433142-1177955438 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433142-1177955438/instance-433142-1177955438.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  56c71282ea86eaaf05df174b87b01c4e

RANDOM SEED= 8922892

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1341580 kB
Buffers:         60664 kB
Cached:         566800 kB
SwapCached:       2556 kB
Active:         339440 kB
Inactive:       297648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1341580 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            6992 kB
Writeback:           0 kB
Mapped:          15992 kB
Slab:            63376 kB
Committed_AS:  1411836 kB
PageTables:       1380 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= 66558 MiB

End job on node55 on Mon Apr 30 18:20:41 UTC 2007