Trace number 3463546

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.01 1797.99

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 benchmark2.75458
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-3463546-1307175413.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.013 s
0.00/0.01	c Var: 2112 Constr: 5120 4128/416/576 Lit: 24192 Watch. Lit: 16988
0.00/0.01	c Obj. Vars: 288 (13.6364 % of total variables)
0.00/0.04	c Pre-processing Time: 0.038 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.00/0.05	o 28
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c       53   2112     5021    24358    4    16342   44431     63   1081 0.05
1.59/1.65	c      154   2112     5129    29313    5    16633   48875    171   1949 0.08
1.59/1.65	c      404   2112     5397    41264    7    17550   53763    439   2825 0.14
1.59/1.65	c      879   2112     5879    66194   11    18620   59140    921   3117 0.28
1.59/1.65	c     1692   2112     6722   113843   16    20415   65055   1764   3059 0.55
1.59/1.65	c     3012   2112     8072   184985   22    23204   71561   3114   3170 0.95
1.59/1.65	c     5093   2112    10185   296184   29    27493   78718   5227   3107 1.64
1.59/1.65	o 27
27.99/28.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.99/28.02	c     5133   2112    10230   298589   29    27863   44431   5272   3109 1.65
27.99/28.02	c     5233   2112    10334   303370   29    28146   48875   5376   3116 1.68
27.99/28.02	c     5483   2112    10600   317519   29    28701   53763   5642   3118 1.76
27.99/28.02	c     5959   2112    11084   344176   31    29676   59140   6126   3126 1.91
27.99/28.02	c     6773   2112    11927   399286   33    31742   65055   6969   3131 2.16
27.99/28.02	c     8093   2112    13278   461126   34    34520   71561   8320   3064 2.64
27.99/28.02	c    10175   2112    15417   573357   37    38877   78718  10459   2992 3.40
27.99/28.02	c    13398   2112    18657   725372   38    45413   86590  13699   2921 4.59
27.99/28.02	c    18334   2112    23985  1100167   45    56266   95250  19027   2703 6.78
27.99/28.02	c    25840   2112    31593  1508044   47    71724  104776  26635   2485 10.40
27.99/28.02	c    37201   2112    43159  2133842   49    95067  115254  38201   2297 16.19
27.99/28.02	c    54345   2112    60653  2991314   49   130184  126780  55695   2032 26.74
27.99/28.02	o 26
43.59/43.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.59/43.69	c    56246   2112    62622  3114343   49   134436   44431  57664   2007 28.02
43.59/43.69	c    56346   2112    17042   649278   38    40529   48875  12084   1974 28.54
43.59/43.69	c    56596   2112    17301   659524   38    41170   53763  12343   1977 28.62
43.59/43.69	c    57071   2112    17789   684166   38    42338   59140  12831   1982 28.79
43.59/43.69	c    57884   2112    18626   740842   39    44144   65055  13668   1988 29.11
43.59/43.69	c    59205   2112    19990   815928   40    46920   71561  15032   1998 29.63
43.59/43.69	c    61286   2112    22106   927185   41    51245   78718  17148   2011 30.46
43.59/43.69	c    64509   2112    25385  1103897   43    57894   86590  20427   2029 31.79
43.59/43.69	c    69445   2112    30425  1350016   44    68491   95250  25467   2047 33.92
43.59/43.69	c    76951   2112    38000  1719403   45    83764  104776  33042   2065 37.25
43.59/43.69	c    88312   2112    49647  2348728   47   107799  115254  44689   2073 42.60
43.59/43.69	o 25
44.99/45.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.99/45.00	c    90502   2112    51873  2456985   47   112536   44431  46915   2071 43.70
44.99/45.00	c    90602   2112    16830   644208   38    40632   48875  11872   2039 44.42
44.99/45.00	c    90852   2112    17083   656547   38    41132   53763  12125   2041 44.50
44.99/45.00	c    91327   2112    17565   677431   38    42135   59140  12607   2043 44.69
44.99/45.00	c    92140   2112    18396   719725   39    44037   65055  13438   2047 44.99
44.99/45.00	o 24
487.39/487.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
487.39/487.44	c    92151   2112    18411   720386   39    44384   44431  13453   2047 45.00
487.39/487.44	c    92252   2112    18519   725610   39    44681   48875  13561   2048 45.03
487.39/487.44	c    92503   2112    18771   736306   39    45191   53763  13813   2049 45.13
487.39/487.44	c    92978   2112    19276   767291   39    46371   59140  14318   2052 45.31
487.39/487.44	c    93791   2112    20108   804163   39    48222   65055  15150   2056 45.62
487.39/487.44	c    95111   2112    21488   878349   40    51027   71561  16530   2059 46.17
487.39/487.44	c    97193   2112    23608   975627   41    55441   78718  18650   2063 47.09
487.39/487.44	c   100417   2112    26887  1159153   43    62055   86590  21929   2071 48.47
487.39/487.44	c   105353   2112    31868  1383059   43    72013   95250  26910   2057 51.21
487.39/487.44	c   112859   2112    39724  1828325   46    87834  104776  34766   2050 55.03
487.39/487.44	c   124220   2112    51378  2397260   46   111462  115254  46420   2012 61.73
487.39/487.44	c   141364   2112    68812  3277991   47   147020  126780  63854   1938 72.93
487.39/487.44	c   167183   2112    95168  4590291   48   200140  139459  90210   1710 97.73
487.39/487.44	c   206015   2112   135469  7235196   53   280866  153405 130511   1595 129.14
487.39/487.44	c   264368   2112    53655  2786263   51   114052  168746  48697   1435 184.14
487.39/487.44	c   352000   2112   142107  6853632   48   291488  185621 137149   1321 266.35
487.39/487.44	c   483552   2112   104719  5879160   56   216352  204184  99761   1153 419.36
487.39/487.44	o 23
1797.91/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1797.98	c   561344   2112   184035  9845963   53   376649   44431 179077   1151 487.43
1797.91/1797.98	c   561445   2112    18213   659551   36    42963   48875  13255   1065 526.85
1797.91/1797.98	c   561696   2112    18475   673621   36    43718   53763  13517   1065 526.95
1797.91/1797.98	c   562171   2112    18972   695853   36    44812   59140  14014   1066 527.10
1797.91/1797.98	c   562984   2112    19816   740098   37    46680   65055  14858   1067 527.38
1797.91/1797.98	c   564304   2112    21143   793230   37    49439   71561  16185   1069 527.81
1797.91/1797.98	c   566385   2112    23257   882340   37    53839   78718  18299   1071 528.76
1797.91/1797.98	c   569608   2112    26518  1023938   38    60528   86590  21560   1074 530.20
1797.91/1797.98	c   574545   2112    31524  1246200   39    70608   95250  26566   1078 532.54
1797.91/1797.98	c   582052   2112    39110  1591884   40    86084  104776  34152   1086 535.60
1797.91/1797.98	c   593413   2112    50686  2116436   41   109413  115254  45728   1094 541.96
1797.91/1797.98	c   610557   2112    68518  3082054   44   145347  126780  63560   1103 553.30
1797.91/1797.98	c   636376   2112    94648  4395575   46   197789  139459  89690   1117 569.66
1797.91/1797.98	c   675208   2112   133977  6873021   51   276926  153405 129019   1114 605.93
1797.91/1797.98	c   733561   2112    51311  1989155   38   109373  168746  46353   1090 672.62
1797.91/1797.98	c   821193   2112   140284  6156490   43   289109  185621 135326   1120 732.69
1797.91/1797.98	c   952745   2112   100087  4317022   43   206614  204184  95129   1050 907.32
1797.91/1797.98	c  1150178   2112   110040  7426481   67   226624  224603 105082    922 1246.22
1797.91/1797.98	c  1446430   2112   197166  8266035   41   401634  247064 192208    877 1648.20
1797.91/1797.98	c Resources Exceeded
1797.91/1797.98	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.91/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1797.98	c   71  1600408 918647  4226386   119810  5962955 114852    890 1798.00
1797.91/1797.98	c Objective: 23
1797.91/1797.98	s SATISFIABLE
1797.91/1797.98	c Total time: 1798 s

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463546-1307175413/watcher-3463546-1307175413 -o /tmp/evaluation-result-3463546-1307175413/solver-3463546-1307175413 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463546-1307175413.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.01 1.97 1.77 2/464 15495
/proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=11268 CPUtime=0 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 829141144 11538432 325 33554432000 134512640 137138936 4287877840 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 2817 326 191 642 0 2120 0

[startup+0.112856 s]
/proc/loadavg: 2.01 1.97 1.77 2/464 15495
/proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=12344 CPUtime=0.1 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 825 0 0 0 10 0 0 0 25 0 1 0 829141144 12640256 654 33554432000 134512640 137138936 4287877840 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 3086 654 192 642 0 2442 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12344

[startup+0.200839 s]
/proc/loadavg: 2.01 1.97 1.77 2/464 15495
/proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=12444 CPUtime=0.19 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 860 0 0 0 19 0 0 0 25 0 1 0 829141144 12742656 689 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 3111 689 192 642 0 2467 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12444

[startup+0.300835 s]
/proc/loadavg: 2.01 1.97 1.77 2/464 15495
/proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=12736 CPUtime=0.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 930 0 0 0 29 0 0 0 25 0 1 0 829141144 13041664 759 33554432000 134512640 137138936 4287877840 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 3184 759 192 642 0 2540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12736

[startup+0.700755 s]
/proc/loadavg: 2.01 1.97 1.77 2/464 15495
/proc/meminfo: memFree=30014404/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=13864 CPUtime=0.69 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 1197 0 0 0 69 0 0 0 25 0 1 0 829141144 14196736 1026 33554432000 134512640 137138936 4287877840 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 3466 1026 192 642 0 2822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13864

[startup+1.50061 s]
/proc/loadavg: 2.01 1.97 1.77 3/465 15496
/proc/meminfo: memFree=30009436/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=15856 CPUtime=1.49 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 1703 0 0 0 148 1 0 0 25 0 1 0 829141144 16236544 1532 33554432000 134512640 137138936 4287877840 18446744073709551615 134575794 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 3964 1532 192 642 0 3320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15856

[startup+3.10033 s]
/proc/loadavg: 2.01 1.97 1.77 3/465 15496
/proc/meminfo: memFree=30005584/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=19632 CPUtime=3.09 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 2654 0 0 0 307 2 0 0 25 0 1 0 829141144 20103168 2483 33554432000 134512640 137138936 4287877840 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 4908 2483 192 642 0 4264 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19632

[startup+6.30076 s]
/proc/loadavg: 2.01 1.97 1.77 3/465 15496
/proc/meminfo: memFree=29998020/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=26996 CPUtime=6.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 4472 0 0 0 625 4 0 0 25 0 1 0 829141144 27643904 4301 33554432000 134512640 137138936 4287877840 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 6749 4301 192 642 0 6105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26996

[startup+12.7006 s]
/proc/loadavg: 2.01 1.97 1.77 3/465 15496
/proc/meminfo: memFree=29985320/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=38148 CPUtime=12.69 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 7286 0 0 0 1263 6 0 0 25 0 1 0 829141144 39063552 7115 33554432000 134512640 137138936 4287877840 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 9537 7115 192 642 0 8893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38148

[startup+25.5004 s]
/proc/loadavg: 2.01 1.97 1.77 3/465 15496
/proc/meminfo: memFree=29967592/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=55268 CPUtime=25.49 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 11561 0 0 0 2540 9 0 0 25 0 1 0 829141144 56594432 11390 33554432000 134512640 137138936 4287877840 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 13817 11390 192 642 0 13173 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55268

[startup+51.1008 s]
/proc/loadavg: 2.07 1.99 1.78 5/465 15524
/proc/meminfo: memFree=29935204/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=58292 CPUtime=51.1 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 12378 0 0 0 5093 17 0 0 25 0 1 0 829141144 59691008 12150 33554432000 134512640 137138936 4287877840 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 14573 12150 192 642 0 13929 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 58292

[startup+102.301 s]
/proc/loadavg: 2.23 2.04 1.81 5/465 15526
/proc/meminfo: memFree=29814944/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=88416 CPUtime=102.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 19907 0 0 0 10199 30 0 0 25 0 1 0 829141144 90537984 19679 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 22104 19679 192 642 0 21460 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 88416

[startup+162.301 s]
/proc/loadavg: 2.15 2.04 1.82 5/465 15527
/proc/meminfo: memFree=29712108/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=137112 CPUtime=162.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32204 0 0 0 16188 41 0 0 25 0 1 0 829141144 140402688 31825 33554432000 134512640 137138936 4287877840 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 34278 31825 192 642 0 33634 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 137112

[startup+222.318 s]
/proc/loadavg: 2.05 2.03 1.83 5/465 15529
/proc/meminfo: memFree=29661492/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=137112 CPUtime=222.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32204 0 0 0 22177 53 0 0 25 0 1 0 829141144 140402688 31825 33554432000 134512640 137138936 4287877840 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 34278 31825 192 642 0 33634 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 137112

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.83 5/465 15530
/proc/meminfo: memFree=29624140/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=137128 CPUtime=282.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 32208 0 0 0 28166 63 0 0 25 0 1 0 829141144 140419072 31829 33554432000 134512640 137138936 4287877840 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15495/statm: 34282 31829 192 642 0 33638 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 137128

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.84 5/465 15532
/proc/meminfo: memFree=29557524/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=151364 CPUtime=342.27 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 34154 73 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 134544854 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 37841 35405 192 642 0 37197 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 151364

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.85 5/465 15533
/proc/meminfo: memFree=29510000/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=151364 CPUtime=402.27 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 40146 81 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 37841 35405 192 642 0 37197 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 151364

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.85 5/465 15535
/proc/meminfo: memFree=29497572/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=151364 CPUtime=462.27 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 35967 0 0 0 46137 90 0 0 25 0 1 0 829141144 154996736 35405 33554432000 134512640 137138936 4287877840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 37841 35405 192 642 0 37197 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 151364

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.86 4/465 15537
/proc/meminfo: memFree=29489984/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=158888 CPUtime=522.27 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38019 0 0 0 52134 93 0 0 25 0 1 0 829141144 162701312 37282 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39722 37282 192 642 0 39078 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 158888

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.86 5/465 15538
/proc/meminfo: memFree=29490068/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=158888 CPUtime=582.27 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38019 0 0 0 58119 108 0 0 25 0 1 0 829141144 162701312 37282 33554432000 134512640 137138936 4287877840 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39722 37282 192 642 0 39078 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 158888

[startup+642.3 s]

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

/proc/meminfo: memFree=29206664/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=159356 CPUtime=1122.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 112064 165 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39839 37398 192 642 0 39195 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 159356

[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 1.92 5/465 15554
/proc/meminfo: memFree=29167048/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=159356 CPUtime=1182.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 118060 169 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39839 37398 192 642 0 39195 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 159356

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 1.93 4/465 15556
/proc/meminfo: memFree=29166272/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=159356 CPUtime=1242.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 124058 172 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39839 37398 192 642 0 39195 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 159356

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 1.93 5/465 15557
/proc/meminfo: memFree=29166360/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=159356 CPUtime=1302.29 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 38488 0 0 0 130051 178 0 0 25 0 1 0 829141144 163180544 37398 33554432000 134512640 137138936 4287877840 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 39839 37398 192 642 0 39195 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 159356

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.93 5/465 15559
/proc/meminfo: memFree=29148720/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=177840 CPUtime=1362.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 43128 0 0 0 136045 185 0 0 25 0 1 0 829141144 182108160 42038 33554432000 134512640 137138936 4287877840 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 44460 42038 192 642 0 43816 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 177840

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 1.93 5/465 15561
/proc/meminfo: memFree=29125740/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=199968 CPUtime=1422.31 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 142041 190 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 49992 47539 192 642 0 49348 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 199968

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.93 5/465 15562
/proc/meminfo: memFree=29125704/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=199968 CPUtime=1482.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 148033 197 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 49992 47539 192 642 0 49348 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 199968

[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 1.93 5/465 15564
/proc/meminfo: memFree=29127048/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=199968 CPUtime=1542.31 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 154024 207 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 49992 47539 192 642 0 49348 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 199968

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 5/465 15565
/proc/meminfo: memFree=29127020/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=199968 CPUtime=1602.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 160016 214 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 49992 47539 192 642 0 49348 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 199968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 5/465 15567
/proc/meminfo: memFree=29126748/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=199968 CPUtime=1662.31 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 48850 0 0 0 166004 227 0 0 25 0 1 0 829141144 204767232 47539 33554432000 134512640 137138936 4287877840 18446744073709551615 134602734 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 49992 47539 192 642 0 49348 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 199968

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.94 5/465 15569
/proc/meminfo: memFree=29127460/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1722.3 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 171999 231 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 200056

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 1.94 5/465 15570
/proc/meminfo: memFree=29126436/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1782.31 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 177986 245 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136504219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 200056

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

[startup+1785.6 s]
/proc/loadavg: 2.08 2.03 1.94 5/465 15570
/proc/meminfo: memFree=29126312/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1785.61 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 178315 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 200056

[startup+1792.02 s]
/proc/loadavg: 2.08 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126420/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1792.02 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 178956 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1792.02
Current children cumulated vsize (KiB) 200056

[startup+1795.2 s]
/proc/loadavg: 2.07 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126540/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1795.21 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179275 246 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (KiB) 200056

[startup+1796.8 s]
/proc/loadavg: 2.07 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126540/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1796.81 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179434 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 200056

[startup+1797.6 s]
/proc/loadavg: 2.07 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1797.61 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179514 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 200056

[startup+1797.8 s]
/proc/loadavg: 2.07 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1797.81 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179534 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 200056

[startup+1797.9 s]
/proc/loadavg: 2.07 2.03 1.94 5/465 15571
/proc/meminfo: memFree=29126416/32950928 swapFree=45617076/67111528
[pid=15495] ppid=15493 vsize=200056 CPUtime=1797.91 cores=0,2,4,6
/proc/15495/stat : 15495 (bsolo) R 15493 15495 13462 0 -1 4202496 49115 0 0 0 179544 247 0 0 25 0 1 0 829141144 204857344 47561 33554432000 134512640 137138936 4287877840 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15495/statm: 50014 47561 192 642 0 49370 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 200056

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.01
CPU user time (s): 1795.53
CPU system time (s): 2.48162
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 201028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.53
system time used= 2.48162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49116
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= 6
involuntary context switches= 4210

runsolver used 8.66768 second user time and 18.6352 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-04 10:16:53
IDJOB=3463546
IDBENCH=1850
IDSOLVER=1955
FILE ID=node123/3463546-1307175413
RUNJOBID= node123-1307174570-15260
PBS_JOBID= 13508855
Free space on /tmp= 73856 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-3463546-1307175413/watcher-3463546-1307175413 -o /tmp/evaluation-result-3463546-1307175413/solver-3463546-1307175413 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463546-1307175413.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=175303008

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30014568 kB
Buffers:        305960 kB
Cached:         393500 kB
SwapCached:       9456 kB
Active:        2320592 kB
Inactive:       335224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30014568 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            4276 kB
Writeback:           8 kB
AnonPages:     1954620 kB
Mapped:          24312 kB
Slab:           134624 kB
PageTables:      78236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133393136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node123 at 2011-06-04 10:46:51