Trace number 3707791

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2SAT23 1798 1798.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1.19682
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
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 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707791-1338142573.opb
0.00/0.00	c File size is 214964 bytes.
0.00/0.01	c Highest Coefficient sum: 288
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.017 s
0.00/0.02	c Var: 2112 Constr: 5120 4128/416/576 Lit: 24192 Watch. Lit: 16988
0.00/0.02	c Obj. Vars: 288 (13.6364 % of total variables)
0.00/0.04	c Pre-processing Time: 0.043 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   2112     4958    22608    4    15836   43431      0      0 0.04
0.00/0.04	c Switching off lower bounding mode.
0.04/0.05	o 28
1.68/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.76	c       53   2112     5021    24358    4    16342   44431     63    963 0.06
1.68/1.76	c      154   2112     5129    29313    5    16633   48875    171   1770 0.09
1.68/1.76	c      404   2112     5397    41264    7    17550   53763    439   2589 0.16
1.68/1.76	c      879   2112     5879    66194   11    18620   59140    921   2891 0.30
1.68/1.76	c     1692   2112     6722   113843   16    20415   65055   1764   2853 0.59
1.68/1.76	c     3012   2112     8072   184985   22    23204   71561   3114   2961 1.02
1.68/1.76	c     5093   2112    10185   296184   29    27493   78718   5227   2906 1.75
1.68/1.76	o 27
29.79/29.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.79/29.80	c     5133   2112    10230   298589   29    27863   44431   5272   2909 1.76
29.79/29.80	c     5233   2112    10334   303370   29    28146   48875   5376   2916 1.79
29.79/29.80	c     5483   2112    10600   317519   29    28701   53763   5642   2918 1.88
29.79/29.80	c     5959   2112    11084   344176   31    29676   59140   6126   2922 2.04
29.79/29.80	c     6773   2112    11927   399286   33    31742   65055   6969   2924 2.32
29.79/29.80	c     8093   2112    13278   461126   34    34520   71561   8320   2863 2.83
29.79/29.80	c    10175   2112    15417   573357   37    38877   78718  10459   2799 3.63
29.79/29.80	c    13398   2112    18657   725372   38    45413   86590  13699   2734 4.90
29.79/29.80	c    18334   2112    23985  1100167   45    56266   95250  19027   2531 7.24
29.79/29.80	c    25840   2112    31593  1508044   47    71724  104776  26635   2341 11.04
29.79/29.80	c    37201   2112    43159  2133842   49    95067  115254  38201   2162 17.20
29.79/29.80	c    54345   2112    60653  2991314   49   130184  126780  55695   1911 28.43
29.79/29.80	o 26
46.38/46.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.38/46.49	c    56246   2112    62622  3114343   49   134436   44431  57664   1887 29.80
46.38/46.49	c    56346   2112    17042   649278   38    40529   48875  12084   1856 30.34
46.38/46.49	c    56596   2112    17301   659524   38    41170   53763  12343   1859 30.43
46.38/46.49	c    57071   2112    17789   684166   38    42338   59140  12831   1864 30.61
46.38/46.49	c    57884   2112    18626   740842   39    44144   65055  13668   1870 30.95
46.38/46.49	c    59205   2112    19990   815928   40    46920   71561  15032   1879 31.50
46.38/46.49	c    61286   2112    22106   927185   41    51245   78718  17148   1891 32.39
46.38/46.49	c    64509   2112    25385  1103897   43    57894   86590  20427   1908 33.80
46.38/46.49	c    69445   2112    30425  1350016   44    68491   95250  25467   1925 36.07
46.38/46.49	c    76951   2112    38000  1719403   45    83764  104776  33042   1942 39.61
46.38/46.49	c    88312   2112    49647  2348728   47   107799  115254  44689   1948 45.32
46.38/46.49	o 25
47.78/47.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.78/47.88	c    90502   2112    51873  2456985   47   112536   44431  46915   1946 46.49
47.78/47.88	c    90602   2112    16830   644208   38    40632   48875  11872   1917 47.26
47.78/47.88	c    90852   2112    17083   656547   38    41132   53763  12125   1918 47.35
47.78/47.88	c    91327   2112    17565   677431   38    42135   59140  12607   1920 47.55
47.78/47.88	c    92140   2112    18396   719725   39    44037   65055  13438   1924 47.87
47.78/47.88	o 24
473.08/473.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
473.08/473.26	c    92151   2112    18411   720386   39    44384   44431  13453   1924 47.87
473.08/473.26	c    92252   2112    18519   725610   39    44681   48875  13561   1925 47.91
473.08/473.26	c    92503   2112    18771   736306   39    45191   53763  13813   1926 48.01
473.08/473.26	c    92978   2112    19276   767291   39    46371   59140  14318   1928 48.20
473.08/473.26	c    93791   2112    20108   804163   39    48222   65055  15150   1932 48.53
473.08/473.26	c    95111   2112    21488   878349   40    51027   71561  16530   1936 49.12
473.08/473.26	c    97193   2112    23608   975627   41    55441   78718  18650   1939 50.11
473.08/473.26	c   100417   2112    26887  1159153   43    62055   86590  21929   1947 51.58
473.08/473.26	c   105353   2112    31868  1383059   43    72013   95250  26910   1933 54.49
473.08/473.26	c   112859   2112    39724  1828325   46    87834  104776  34766   1927 58.55
473.08/473.26	c   124220   2112    51378  2397260   46   111462  115254  46420   1890 65.70
473.08/473.26	c   141364   2112    68812  3277991   47   147020  126780  63854   1821 77.60
473.08/473.26	c   167183   2112    95168  4590291   48   200140  139459  90210   1606 104.04
473.08/473.26	c   206015   2112   135469  7235196   53   280866  153405 130511   1509 136.47
473.08/473.26	c   264368   2112    53655  2786263   51   114052  168746  48697   1411 187.31
473.08/473.26	c   352000   2112   142107  6853632   48   291488  185621 137149   1329 264.82
473.08/473.26	c   483552   2112   104719  5879160   56   216352  204184  99761   1183 408.52
473.08/473.26	o 23
1797.95/1798.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.35	c   561344   2112   184035  9845963   53   376649   44431 179077   1186 473.15
1797.95/1798.35	c   561445   2112    18213   659551   36    42963   48875  13255   1120 501.04
1797.95/1798.35	c   561696   2112    18475   673621   36    43718   53763  13517   1120 501.13
1797.95/1798.35	c   562171   2112    18972   695853   36    44812   59140  14014   1121 501.28
1797.95/1798.35	c   562984   2112    19816   740098   37    46680   65055  14858   1122 501.55
1797.95/1798.35	c   564304   2112    21143   793230   37    49439   71561  16185   1124 501.96
1797.95/1798.35	c   566385   2112    23257   882340   37    53839   78718  18299   1126 502.90
1797.95/1798.35	c   569608   2112    26518  1023938   38    60528   86590  21560   1129 504.32
1797.95/1798.35	c   574545   2112    31524  1246200   39    70608   95250  26566   1134 506.62
1797.95/1798.35	c   582052   2112    39110  1591884   40    86084  104776  34152   1142 509.60
1797.95/1798.35	c   593413   2112    50686  2116436   41   109413  115254  45728   1150 515.70
1797.95/1798.35	c   610557   2112    68518  3082054   44   145347  126780  63560   1159 526.49
1797.95/1798.35	c   636376   2112    94648  4395575   46   197789  139459  89690   1173 542.19
1797.95/1798.35	c   675208   2112   133977  6873021   51   276926  153405 129019   1170 576.61
1797.95/1798.35	c   733561   2112    51311  1989155   38   109373  168746  46353   1148 638.50
1797.95/1798.35	c   821193   2112   140284  6156490   43   289109  185621 135326   1179 696.34
1797.95/1798.35	c   952745   2112   100087  4317022   43   206614  204184  95129   1107 860.49
1797.95/1798.35	c  1150178   2112   110040  7426481   67   226624  224603 105082    981 1171.87
1797.95/1798.35	c  1446430   2112   197166  8266035   41   401634  247064 192208    936 1544.03
1797.95/1798.35	c Resources Exceeded
1797.95/1798.35	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x1 -x6 -x11 -x16 -x21 -x26 x31 -x36 -x41 -x46 -x51 -x56 -x61 -x66 -x71 -x76 -x81 -x86 -x91 -x96 -x101 -x106 -x111 -x116 -x121 -x126 -x131 -x136 -x141 -x146 -x151 -x156 -x62 -x67 -x72 -x77 -x142 -x147 -x152 -x157 -x362 -x367 -x372 -x377 x382 -x387 -x392 -x397 -x442 -x447 -x452 -x457 -x462 -x467 -x472 -x477 -x3 -x8 -x13 -x18 -x83 -x88 x93 -x98 -x163 -x168 -x173 -x178 -x183 -x188 -x193 -x198 -x203 -x208 -x213 -x218 -x223 -x228 -x233 -x238 -x24 -x29 -x34 -x39 -x104 -x109 -x114 -x119 -x204 -x209 -x214 -x219 -x224 -x229 -x234 -x239 -x244 x249 -x254 -x259 -x264 -x269 -x274 -x279 -x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x25 -x30 -x35 -x40 -x105 -x110 -x115 -x120 -x205 -x210 -x215 -x220 -x225 -x230 -x235 -x240 -x245 x250 -x255 -x260 -x265 -x270 -x275 -x280 -x285 -x290 -x295 -x300 -x305 -x310 -x315 -x320 -x721 -x726 -x731 -x736 -x741 -x746 -x751 -x756 -x761 -x766 -x771 -x776 -x781 -x786 -x791 x796 -x801 -x806 -x811 -x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x782 -x787 -x792 -x797 -x862 -x867 x872 -x877 -x1082 -x1087 -x1092 -x1097 -x1102 -x1107 -x1112 -x1117 -x1162 -x1167 -x1172 -x1177 -x1182 -x1187 -x1192 -x1197 -x723 -x728 -x733 -x738 -x803 -x808 -x813 -x818 -x883 -x888 x893 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 -x744 -x749 -x754 -x759 -x824 -x829 -x834 -x839 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 x1014 -x1019 -x1024 -x1029 -x1034 -x1039 -x745 -x750 -x755 -x760 -x825 -x830 -x835 -x840 -x925 -x930 -x935 -x940 -x945 -x950 -x955 -x960 -x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 x1015 -x1020 -x1025 -x1030 -x1035 -x1040 -x481 -x486 -x491 -x496 -x501 -x506 -x511 -x516 -x601 -x606 x611 -x616 -x621 -x626 -x631 -x636 -x641 -x646 -x651 -x656 -x661 -x666 -x671 -x676 -x681 -x686 -x691 -x696 -x701 -x706 -x711 -x716 -x162 -x167 -x172 -x177 -x182 -x187 -x192 -x197 -x322 -x327 -x332 -x337 -x342 -x347 -x352 x357 -x482 -x487 -x492 -x497 -x502 -x507 -x512 -x517 -x443 -x448 -x453 -x458 -x463 -x468 -x473 -x478 -x563 -x568 -x573 -x578 -x583 -x588 -x593 -x598 -x683 -x688 -x693 -x698 -x703 x708 -x713 -x718 -x444 -x449 -x454 -x459 -x464 -x469 -x474 -x479 -x564 -x569 -x574 -x579 -x584 -x589 -x594 -x599 -x684 -x689 -x694 -x699 -x704 x709 -x714 -x719 -x325 -x330 -x335 -x340 -x345 -x350 -x355 -x360 -x525 -x530 -x535 -x540 -x545 -x550 -x555 -x560 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x1201 -x1206 -x1211 -x1216 -x1221 -x1226 -x1231 -x1236 -x1321 -x1326 -x1331 -x1336 -x1341 -x1346 -x1351 -x1356 -x1361 -x1366 -x1371 -x1376 -x1381 -x1386 -x1391 -x1396 x1401 -x1406 -x1411 -x1416 -x1421 -x1426 -x1431 -x1436 -x882 -x887 x892 -x897 -x902 -x907 -x912 -x917 -x1042 -x1047 -x1052 -x1057 -x1062 -x1067 -x1072 -x1077 -x1202 -x1207 -x1212 -x1217 -x1222 -x1227 -x1232 -x1237 -x1163 -x1168 x1173 -x1178 -x1183 -x1188 -x1193 -x1198 -x1283 -x1288 -x1293 -x1298 -x1303 -x1308 -x1313 -x1318 -x1403 -x1408 -x1413 -x1418 -x1423 -x1428 -x1433 -x1438 -x1164 -x1169 x1174 -x1179 -x1184 -x1189 -x1194 -x1199 -x1284 -x1289 -x1294 -x1299 -x1304 -x1309 -x1314 -x1319 -x1404 -x1409 -x1414 -x1419 -x1424 -x1429 -x1434 -x1439 -x1045 -x1050 -x1055 -x1060 -x1065 -x1070 -x1075 -x1080 -x1245 -x1250 -x1255 -x1260 -x1265 x1270 -x1275 -x1280 -x1325 -x1330 -x1335 -x1340 -x1345 -x1350 -x1355 -x1360 -x161 -x166 -x171 -x176 -x181 -x186 -x191 -x196 -x201 -x206 -x211 -x216 -x221 -x226 -x231 -x236 x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 -x281 -x286 -x291 -x296 -x301 -x306 -x311 -x316 -x361 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 -x406 -x411 -x416 -x421 -x426 -x431 -x436 -x441 -x446 -x451 -x456 -x461 -x466 -x471 -x476 -x321 -x326 -x331 -x336 -x341 -x346 -x351 -x356 -x521 -x526 -x531 -x536 -x541 -x546 -x551 -x556 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x596 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 -x52 -x57 -x82 -x87 -x92 -x97 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x202 -x207 -x212 -x217 -x222 -x227 -x232 -x237 -x242 -x247 -x252 -x257 -x262 -x267 -x272 -x277 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x402 x407 -x412 -x417 -x422 -x427 -x432 -x437 -x522 -x527 -x532 -x537 -x542 -x547 x552 -x557 -x602 -x607 -x612 -x617 -x622 -x627 -x632 -x637 -x562 -x567 -x572 -x577 -x582 -x587 -x592 -x597 -x642 -x647 -x652 -x657 -x662 -x667 -x672 -x677 -x682 -x687 -x692 -x697 -x702 -x707 -x712 -x717 -x23 -x28 x33 -x38 -x43 -x48 -x53 -x58 -x63 -x68 -x73 -x78 -x103 -x108 -x113 -x118 -x123 -x128 -x133 -x138 -x143 -x148 -x153 -x158 -x243 x248 -x253 -x258 -x263 -x268 -x273 -x278 -x283 -x288 -x293 -x298 -x303 -x308 -x313 -x318 -x363 -x368 -x373 -x378 -x383 -x388 -x393 -x398 -x403 -x408 -x413 -x418 -x423 -x428 -x433 -x438 -x323 -x328 -x333 -x338 -x343 -x348 -x353 -x358 -x483 -x488 -x493 -x498 -x503 -x508 -x513 -x518 -x523 -x528 -x533 -x538 -x543 -x548 -x553 -x558 -x603 -x608 x613 -x618 -x623 -x628 -x633 -x638 -x643 -x648 -x653 -x658 -x663 -x668 -x673 -x678 -x4 -x9 -x14 -x19 -x44 -x49 -x54 -x59 -x64 -x69 -x74 -x79 -x84 -x89 -x94 -x99 -x124 -x129 -x134 -x139 -x144 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x194 -x199 -x364 -x369 -x374 -x379 -x384 -x389 -x394 -x399 -x404 -x409 -x414 -x419 -x424 -x429 -x434 -x439 -x324 -x329 -x334 -x339 -x344 -x349 -x354 -x359 -x484 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x604 -x609 x614 -x619 -x624 -x629 -x634 -x639 -x644 -x649 -x654 -x659 -x664 -x669 -x674 -x679 -x5 -x10 -x15 -x20 -x45 -x50 -x55 -x60 -x65 -x70 -x75 -x80 -x85 -x90 -x95 -x100 -x125 -x130 -x135 -x140 -x145 -x150 -x155 -x160 -x165 -x170 -x175 -x180 -x185 -x190 -x195 -x200 -x365 -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470 -x475 -x480 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 -x565 -x570 -x575 -x580 -x585 -x590 -x595 -x600 -x645 -x650 -x655 -x660 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x700 -x705 -x710 -x715 -x720 -x881 -x886 -x891 -x896 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1081 -x1086 -x1091 -x1096 -x1101 -x1106 -x1111 -x1116 -x1121 -x1126 -x1131 -x1136 -x1141 -x1146 -x1151 -x1156 -x1161 -x1166 x1171 -x1176 -x1181 -x1186 -x1191 -x1196 -x1041 -x1046 -x1051 -x1056 -x1061 -x1066 -x1071 -x1076 -x1241 -x1246 -x1251 -x1256 -x1261 -x1266 -x1271 -x1276 -x1281 -x1286 -x1291 -x1296 -x1301 -x1306 -x1311 -x1316 x722 -x727 -x732 -x737 -x742 -x747 -x752 -x757 -x762 -x767 -x772 -x777 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x1037 -x1122 -x1127 -x1132 -x1137 -x1142 -x1147 -x1152 -x1157 -x1242 -x1247 -x1252 -x1257 -x1262 -x1267 -x1272 -x1277 -x1322 -x1327 -x1332 -x1337 -x1342 -x1347 -x1352 -x1357 -x1282 -x1287 -x1292 -x1297 -x1302 -x1307 -x1312 -x1317 -x1362 -x1367 -x1372 -x1377 -x1382 -x1387 -x1392 -x1397 -x1402 -x1407 -x1412 -x1417 -x1422 -x1427 -x1432 -x1437 -x743 -x748 -x753 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793 -x798 -x823 -x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1083 -x1088 -x1093 x1098 -x1103 -x1108 -x1113 -x1118 -x1123 -x1128 -x1133 -x1138 -x1143 -x1148 -x1153 x1158 -x1043 -x1048 -x1053 -x1058 -x1063 -x1068 -x1073 -x1078 -x1203 -x1208 -x1213 x1218 -x1223 -x1228 -x1233 -x1238 -x1243 -x1248 -x1253 -x1258 -x1263 -x1268 -x1273 -x1278 -x1323 -x1328 -x1333 -x1338 -x1343 -x1348 -x1353 -x1358 -x1363 -x1368 -x1373 -x1378 -x1383 x1388 -x1393 -x1398 -x724 -x729 -x734 -x739 -x764 -x769 -x774 -x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x899 -x904 -x909 -x914 -x919 -x1084 -x1089 -x1094 x1099 -x1104 -x1109 -x1114 -x1119 -x1124 -x1129 -x1134 -x1139 -x1144 -x1149 -x1154 -x1159 -x1044 -x1049 -x1054 -x1059 -x1064 -x1069 -x1074 -x1079 -x1204 -x1209 -x1214 -x1219 -x1224 -x1229 -x1234 -x1239 -x1244 -x1249 -x1254 -x1259 -x1264 -x1269 -x1274 -x1279 -x1324 -x1329 -x1334 -x1339 -x1344 -x1349 -x1354 -x1359 -x1364 -x1369 -x1374 -x1379 -x1384 -x1389 -x1394 -x1399 -x725 -x730 -x735 -x740 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 -x895 -x900 -x905 -x910 -x915 -x920 -x1085 -x1090 -x1095 -x1100 -x1105 -x1110 -x1115 -x1120 x1125 -x1130 -x1135 -x1140 -x1145 -x1150 -x1155 -x1160 -x1165 -x1170 -x1175 -x1180 -x1185 -x1190 -x1195 -x1200 -x1205 -x1210 -x1215 -x1220 -x1225 -x1230 -x1235 -x1240 -x1285 -x1290 -x1295 -x1300 -x1305 -x1310 -x1315 -x1320 -x1365 -x1370 -x1375 -x1380 -x1385 -x1390 -x1395 -x1400 -x1405 -x1410 -x1415 -x1420 -x1425 -x1430 -x1435 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 x1568 x1569 x1570 -x1571 -x1572 x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 x1731 x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 
1797.95/1798.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.35	c   71  1702262 987426  4622212   224498 12301138 219540    946 1798.00
1797.95/1798.35	c Objective: 23
1797.95/1798.35	s SATISFIABLE
1797.95/1798.35	c Total time: 1798 s

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707791-1338142573/watcher-3707791-1338142573 -o /tmp/evaluation-result-3707791-1338142573/solver-3707791-1338142573 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707791-1338142573.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 29970
/proc/meminfo: memFree=28137380/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=11136 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 280382770 11403264 272 33554432000 134512640 137138936 4292971632 4292969736 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 2784 272 178 642 0 2087 0

[startup+0.050237 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 29970
/proc/meminfo: memFree=28137380/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=12408 CPUtime=0.04 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 824 0 0 0 4 0 0 0 20 0 1 0 280382770 12705792 652 33554432000 134512640 137138936 4292971632 4292970748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 3102 652 192 642 0 2458 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12408

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 29970
/proc/meminfo: memFree=28137380/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=12348 CPUtime=0.09 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 825 0 0 0 9 0 0 0 20 0 1 0 280382770 12644352 653 33554432000 134512640 137138936 4292971632 4292966240 134603126 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 3087 653 192 642 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12348

[startup+0.300183 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 29970
/proc/meminfo: memFree=28137380/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=12740 CPUtime=0.29 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 913 0 0 0 29 0 0 0 20 0 1 0 280382770 13045760 741 33554432000 134512640 137138936 4292971632 4292969944 136504482 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 3185 741 192 642 0 2541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12740

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.95 3/174 29970
/proc/meminfo: memFree=28137380/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=13768 CPUtime=0.69 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 1168 0 0 0 69 0 0 0 20 0 1 0 280382770 14098432 996 33554432000 134512640 137138936 4292971632 4292970168 136504259 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 3442 996 192 642 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13768

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28133528/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=15668 CPUtime=1.48 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 1647 0 0 0 148 0 0 0 20 0 1 0 280382770 16044032 1475 33554432000 134512640 137138936 4292971632 4292970748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 3917 1475 192 642 0 3273 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15668

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28130800/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=19236 CPUtime=3.09 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 2536 0 0 0 307 2 0 0 20 0 1 0 280382770 19697664 2364 33554432000 134512640 137138936 4292971632 4292969912 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 4809 2364 192 642 0 4165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19236

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28123608/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=25908 CPUtime=6.28 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 4217 0 0 0 626 2 0 0 20 0 1 0 280382770 26529792 4045 33554432000 134512640 137138936 4292971632 4292970748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 6477 4045 192 642 0 5833 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25908

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28111720/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=37040 CPUtime=12.69 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 6987 0 0 0 1264 5 0 0 20 0 1 0 280382770 37928960 6815 33554432000 134512640 137138936 4292971632 4292970384 134575759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 9260 6815 192 642 0 8616 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37040

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28094616/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=53708 CPUtime=25.49 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 11171 0 0 0 2539 10 0 0 20 0 1 0 280382770 54996992 10999 33554432000 134512640 137138936 4292971632 4292970560 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 13427 10999 192 642 0 12783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53708

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28089284/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=58296 CPUtime=51.08 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 12378 0 0 0 5089 19 0 0 20 0 1 0 280382770 59695104 12149 33554432000 134512640 137138936 4292971632 4292970560 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 14574 12149 192 642 0 13930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58296

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 29971
/proc/meminfo: memFree=28067492/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=80064 CPUtime=102.28 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 17817 0 0 0 10199 29 0 0 20 0 1 0 280382770 81985536 17588 33554432000 134512640 137138936 4292971632 4292970560 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 20016 17588 192 642 0 19372 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 80064

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/175 29971
/proc/meminfo: memFree=28008440/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=137116 CPUtime=162.23 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 32247 0 0 0 16180 43 0 0 20 0 1 0 280382770 140406784 31824 33554432000 134512640 137138936 4292971632 4292970672 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 34279 31824 192 642 0 33635 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 137116

[startup+222.3 s]
/proc/loadavg: 2.16 2.05 1.97 3/175 29971
/proc/meminfo: memFree=27957628/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=137116 CPUtime=222.22 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 32264 0 0 0 22164 58 0 0 20 0 1 0 280382770 140406784 31824 33554432000 134512640 137138936 4292971632 4292970560 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 34279 31824 192 642 0 33635 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 137116

[startup+282.3 s]
/proc/loadavg: 2.19 2.09 1.98 3/176 29975
/proc/meminfo: memFree=27915832/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=137144 CPUtime=282.2 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 32271 0 0 0 28151 69 0 0 20 0 1 0 280382770 140435456 31831 33554432000 134512640 137138936 4292971632 4292970008 136504093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 34286 31831 192 642 0 33642 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 137144

[startup+342.3 s]
/proc/loadavg: 2.16 2.10 2.00 3/175 29975
/proc/meminfo: memFree=27859668/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=151368 CPUtime=342.19 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 36027 0 0 0 34136 83 0 0 20 0 1 0 280382770 155000832 35404 33554432000 134512640 137138936 4292971632 4292970748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 37842 35404 192 642 0 37198 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 151368

[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/175 29975
/proc/meminfo: memFree=27825444/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=151368 CPUtime=402.19 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 36027 0 0 0 40126 93 0 0 20 0 1 0 280382770 155000832 35404 33554432000 134512640 137138936 4292971632 4292970560 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 37842 35404 192 642 0 37198 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 151368

[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/175 29975
/proc/meminfo: memFree=27813700/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=152160 CPUtime=462.18 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 36232 0 0 0 46115 103 0 0 20 0 1 0 280382770 155811840 35609 33554432000 134512640 137138936 4292971632 4292965860 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 38040 35609 192 642 0 37396 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 152160

[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/175 29975
/proc/meminfo: memFree=27805240/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=158892 CPUtime=522.17 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38079 0 0 0 52104 113 0 0 20 0 1 0 280382770 162705408 37281 33554432000 134512640 137138936 4292971632 4292970344 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39723 37281 192 642 0 39079 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 158892

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 29976
/proc/meminfo: memFree=27805364/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=158892 CPUtime=582.16 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38079 0 0 0 58089 127 0 0 20 0 1 0 280382770 162705408 37281 33554432000 134512640 137138936 4292971632 4292970560 134542528 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39723 37281 192 642 0 39079 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 158892

[startup+642.3 s]

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

/proc/meminfo: memFree=28347072/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=159360 CPUtime=1062.07 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38559 0 0 0 106016 191 0 0 20 0 1 0 280382770 163184640 37397 33554432000 134512640 137138936 4292971632 4292970560 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39840 37397 192 642 0 39196 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 159360

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30019
/proc/meminfo: memFree=28328216/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=159360 CPUtime=1122.06 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38559 0 0 0 112010 196 0 0 20 0 1 0 280382770 163184640 37397 33554432000 134512640 137138936 4292971632 4292970560 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39840 37397 192 642 0 39196 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 159360

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30020
/proc/meminfo: memFree=28323052/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=159360 CPUtime=1182.06 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38559 0 0 0 118003 203 0 0 20 0 1 0 280382770 163184640 37397 33554432000 134512640 137138936 4292971632 4292970240 134544728 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39840 37397 192 642 0 39196 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 159360

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30020
/proc/meminfo: memFree=28312636/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=159360 CPUtime=1242.05 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 38559 0 0 0 123995 210 0 0 20 0 1 0 280382770 163184640 37397 33554432000 134512640 137138936 4292971632 4292970748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 39840 37397 192 642 0 39196 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 159360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30020
/proc/meminfo: memFree=28274120/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=190016 CPUtime=1302.05 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 46222 0 0 0 129983 222 0 0 20 0 1 0 280382770 194576384 45060 33554432000 134512640 137138936 4292971632 4292970112 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 47504 45060 192 642 0 46860 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 190016

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30020
/proc/meminfo: memFree=28258620/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=199972 CPUtime=1362.03 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 48921 0 0 0 135973 230 0 0 20 0 1 0 280382770 204771328 47538 33554432000 134512640 137138936 4292971632 4292970148 134551557 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 49993 47538 192 642 0 49349 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 199972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30020
/proc/meminfo: memFree=28258764/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=199972 CPUtime=1422.01 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 48941 0 0 0 141958 243 0 0 20 0 1 0 280382770 204771328 47538 33554432000 134512640 137138936 4292971632 4292970212 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 49993 47538 192 642 0 49349 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 199972

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30023
/proc/meminfo: memFree=28258940/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=199972 CPUtime=1481.99 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 48941 0 0 0 147945 254 0 0 20 0 1 0 280382770 204771328 47538 33554432000 134512640 137138936 4292971632 4292970560 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 49993 47538 192 642 0 49349 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 199972

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 30024
/proc/meminfo: memFree=28255840/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=199972 CPUtime=1541.98 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 48941 0 0 0 153935 263 0 0 20 0 1 0 280382770 204771328 47538 33554432000 134512640 137138936 4292971632 4292970560 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 49993 47538 192 642 0 49349 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 199972

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30024
/proc/meminfo: memFree=28253664/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1601.97 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 159924 273 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970672 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 200060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30024
/proc/meminfo: memFree=28253416/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1661.96 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 165907 289 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 200060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30024
/proc/meminfo: memFree=28253540/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1721.95 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 171897 298 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 200060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30024
/proc/meminfo: memFree=28252236/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1781.95 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 177883 312 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292966384 134609379 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 200060

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30024
/proc/meminfo: memFree=28243440/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1791.55 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 178841 314 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 200060

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30025
/proc/meminfo: memFree=28238348/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1794.75 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 179161 314 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 200060

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30025
/proc/meminfo: memFree=28237852/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1796.34 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 179320 314 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970552 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 200060

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30025
/proc/meminfo: memFree=28236364/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1797.15 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 179400 315 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 200060

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30025
/proc/meminfo: memFree=28236364/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1797.55 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 179440 315 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970560 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 200060

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30025
/proc/meminfo: memFree=28236364/32873852 swapFree=6848/6848
[pid=29970] ppid=29968 vsize=200060 CPUtime=1797.95 cores=0,2,4,6
/proc/29970/stat : 29970 (bsolo) R 29968 29970 26585 0 -1 4202496 49206 0 0 0 179480 315 0 0 20 0 1 0 280382770 204861440 47560 33554432000 134512640 137138936 4292971632 4292970316 136520975 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29970/statm: 50015 47560 192 642 0 49371 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 200060

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798
CPU user time (s): 1794.85
CPU system time (s): 3.15152
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 201032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 3.15152
maximum resident set size= 191212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49207
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= 94
involuntary context switches= 2155

runsolver used 2.77458 second user time and 7.04193 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-27 20:16:13
IDJOB=3707791
IDBENCH=1850
IDSOLVER=2286
FILE ID=node129/3707791-1338142573
RUNJOBID= node129-1338138643-28481
PBS_JOBID= 14624488
Free space on /tmp= 71204 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707791-1338142573/watcher-3707791-1338142573 -o /tmp/evaluation-result-3707791-1338142573/solver-3707791-1338142573 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707791-1338142573.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=1692213379

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28137752 kB
Buffers:          381148 kB
Cached:          3118732 kB
SwapCached:            0 kB
Active:          1598136 kB
Inactive:        2278208 kB
Active(anon):     378692 kB
Inactive(anon):        0 kB
Active(file):    1219444 kB
Inactive(file):  2278208 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4092 kB
Writeback:             0 kB
AnonPages:        383184 kB
Mapped:            15068 kB
Shmem:               204 kB
Slab:             719936 kB
SReclaimable:     162012 kB
SUnreclaim:       557924 kB
KernelStack:        1440 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     496860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71200 MiB
End job on node129 at 2012-05-27 20:46:12