Trace number 3731099

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
PB09: bsolo 3.1SAT25 1798 1798.38

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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731099-1338686049.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.016 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.044 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.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c       53   2112     5021    24358    4    16342   44431     63    963 0.06
1.49/1.57	c      154   2112     5127    29118    5    16629   48875    169   1833 0.08
1.49/1.57	c      404   2112     5394    40949    7    17544   53763    436   2748 0.15
1.49/1.57	c      879   2112     5876    65879   11    18614   59140    918   3139 0.28
1.49/1.57	c     1692   2112     6704   112045   16    20379   65055   1746   3198 0.53
1.49/1.57	c     3012   2112     8043   182093   22    23146   71561   3085   3317 0.91
1.49/1.57	c     5093   2112    10127   290086   28    27377   78718   5169   3268 1.56
1.49/1.57	o 27
718.70/718.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
718.70/718.96	c     5133   2112    10172   292488   28    27748   44431   5214   3271 1.57
718.70/718.96	c     5233   2112    10276   297269   28    28031   48875   5318   3278 1.60
718.70/718.96	c     5483   2112    10540   311231   29    28582   53763   5582   3277 1.67
718.70/718.96	c     5959   2112    11021   337603   30    29551   59140   6063   3285 1.81
718.70/718.96	c     6773   2112    11857   391802   33    31600   65055   6899   3287 2.06
718.70/718.96	c     8093   2112    13196   452746   34    34354   71561   8238   3212 2.52
718.70/718.96	c    10175   2112    15308   562489   36    38657   78718  10350   3132 3.25
718.70/718.96	c    13398   2112    18536   713487   38    45169   86590  13578   3050 4.39
718.70/718.96	c    18334   2112    23791  1079626   45    55840   95250  18833   2826 6.49
718.70/718.96	c    25840   2112    31319  1445182   46    71192  104776  26361   2767 9.34
718.70/718.96	c    37201   2112    42690  1982090   46    94074  115254  37732   2523 14.74
718.70/718.96	c    54345   2112    60154  3066754   50   129256  126780  55196   2210 24.58
718.70/718.96	c    80164   2112    86130  4601173   53   181590  139459  81172   1987 40.34
718.70/718.96	c   118996   2112   125332  6643429   53   261451  153405 120374   1478 80.48
718.70/718.96	c   177348   2112    44207  2665093   60    95418  168746  39249   1327 133.60
718.70/718.96	c   264980   2112   132018  6978030   52   271432  185621 127060   1083 244.65
718.70/718.96	c   396532   2112    91204  5011383   54   189614  204184  86246   1056 375.48
718.70/718.96	c   593964   2112    97037  4570888   47   200449  224603  92079    862 688.68
718.70/718.96	o 26
730.59/730.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
730.59/730.86	c   641747   2112   145138  7210015   49   297593   44431 140180    892 718.77
730.59/730.86	c   641847   2112    17844   733129   41    42279   48875  12886    879 730.04
730.59/730.86	c   642097   2112    18099   743924   41    42858   53763  13141    879 730.11
730.59/730.86	c   642572   2112    18587   768580   41    43931   59140  13629    879 730.26
730.59/730.86	c   643385   2112    19402   802398   41    45609   65055  14444    880 730.58
730.59/730.86	o 25
1797.91/1798.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.38	c   643618   2112    19647   814929   41    46411   44431  14689    880 730.67
1797.91/1798.38	c   643718   2112    19751   819197   41    46707   48875  14793    880 730.70
1797.91/1798.38	c   643969   2112    20012   833607   41    47370   53763  15054    881 730.79
1797.91/1798.38	c   644444   2112    20492   854971   41    48441   59140  15534    881 730.95
1797.91/1798.38	c   645257   2112    21325   909662   42    50214   65055  16367    882 731.27
1797.91/1798.38	c   646577   2112    22656   972007   42    53008   71561  17698    883 731.71
1797.91/1798.38	c   648658   2112    24802  1082539   43    57343   78718  19844    885 732.48
1797.91/1798.38	c   651881   2112    28074  1245445   44    63961   86590  23116    888 733.70
1797.91/1798.38	c   656818   2112    33032  1532040   46    73918   95250  28074    892 736.00
1797.91/1798.38	c   664324   2112    40602  1872017   46    89364  104776  35644    898 738.99
1797.91/1798.38	c   675685   2112    52244  2554986   48   112907  115254  47286    907 744.45
1797.91/1798.38	c   692830   2112    69491  3643582   52   147807  126780  64533    921 751.82
1797.91/1798.38	c   718649   2112    95624  5130274   53   201348  139459  90666    934 769.39
1797.91/1798.38	c   757481   2112   134658  7114622   52   279464  153405 129700    927 816.98
1797.91/1798.38	c   815833   2112    51389  2147790   41   109241  168746  46431    947 860.92
1797.91/1798.38	c   903466   2112   139378  5727483   41   285581  185621 134420    967 934.15
1797.91/1798.38	c  1035018   2112    98220  4655433   47   203094  204184  93262    983 1051.93
1797.91/1798.38	c  1232451   2112   104076  4983701   47   215064  224603  99118   1028 1198.62
1797.91/1798.38	c  1528703   2111   191462  9538834   49   390671  247064 186504   1052 1451.79
1797.91/1798.38	c Resources Exceeded
1797.91/1798.38	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/1798.38	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.38	c   49  1804003 1041265  4864486   233889  9374014 228931   1003 1798.00
1797.91/1798.38	c Objective: 25
1797.91/1798.38	s SATISFIABLE
1797.91/1798.38	c Total time: 1798 s

Verifier Data 

OK	25

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-3731099-1338686049/watcher-3731099-1338686049 -o /tmp/evaluation-result-3731099-1338686049/solver-3731099-1338686049 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731099-1338686049.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: 1.93 1.98 1.98 3/177 20357
/proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 334733426 11399168 285 33554432000 134512640 137136520 4294593296 4294591704 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 2783 285 185 641 0 2086 0

[startup+0.0651611 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 20357
/proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=12404 CPUtime=0.05 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 830 0 0 0 5 0 0 0 20 0 1 0 334733426 12701696 658 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 3101 658 197 641 0 2457 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12404

[startup+0.100216 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 20357
/proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=12344 CPUtime=0.09 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 830 0 0 0 9 0 0 0 20 0 1 0 334733426 12640256 658 33554432000 134512640 137136520 4294593296 4294591640 134598550 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 3086 658 197 641 0 2442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12344

[startup+0.300181 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 20357
/proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=12816 CPUtime=0.29 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 936 0 0 0 29 0 0 0 20 0 1 0 334733426 13123584 764 33554432000 134512640 137136520 4294593296 4294592224 134544714 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 3204 764 197 641 0 2560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12816

[startup+0.700178 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 20357
/proc/meminfo: memFree=28567456/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=13896 CPUtime=0.69 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 1215 0 0 0 69 0 0 0 20 0 1 0 334733426 14229504 1043 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 3474 1043 197 641 0 2830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896

[startup+1.50018 s]
/proc/loadavg: 1.93 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28562628/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=15924 CPUtime=1.49 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 1732 0 0 0 148 1 0 0 20 0 1 0 334733426 16306176 1560 33554432000 134512640 137136520 4294593296 4294592224 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 3981 1560 197 641 0 3337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15924

[startup+3.10018 s]
/proc/loadavg: 1.93 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28558164/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=19872 CPUtime=3.08 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 2708 0 0 0 306 2 0 0 20 0 1 0 334733426 20348928 2536 33554432000 134512640 137136520 4294593296 4294592192 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 4968 2536 197 641 0 4324 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19872

[startup+6.30018 s]
/proc/loadavg: 1.94 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28547624/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=27304 CPUtime=6.29 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 4573 0 0 0 625 4 0 0 20 0 1 0 334733426 27959296 4401 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 6826 4401 197 641 0 6182 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27304

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28532380/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=38600 CPUtime=12.68 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 7389 0 0 0 1263 5 0 0 20 0 1 0 334733426 39526400 7217 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 9650 7217 197 641 0 9006 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38600

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28511904/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=58936 CPUtime=25.49 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 12479 0 0 0 2539 10 0 0 20 0 1 0 334733426 60350464 12307 33554432000 134512640 137136520 4294593296 4294592224 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 14734 12307 197 641 0 14090 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58936

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28480856/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=90540 CPUtime=51.08 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 20378 0 0 0 5089 19 0 0 20 0 1 0 334733426 92712960 20206 33554432000 134512640 137136520 4294593296 4294591936 134617423 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20357/statm: 22635 20206 198 641 0 21991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90540

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28432544/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=136528 CPUtime=102.23 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 31906 0 0 0 10194 29 0 0 20 0 1 0 334733426 139804672 31699 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 34132 31699 198 641 0 33488 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 136528

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20358
/proc/meminfo: memFree=28421636/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=146576 CPUtime=162.19 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34616 0 0 0 16177 42 0 0 20 0 1 0 334733426 150093824 34228 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 36644 34228 198 641 0 36000 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 146576

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20359
/proc/meminfo: memFree=28381832/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=146576 CPUtime=222.17 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34616 0 0 0 22171 46 0 0 20 0 1 0 334733426 150093824 34228 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 36644 34228 198 641 0 36000 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 146576

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20359
/proc/meminfo: memFree=28340168/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=146604 CPUtime=282.17 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 34624 0 0 0 28163 54 0 0 20 0 1 0 334733426 150122496 34236 33554432000 134512640 137136520 4294593296 4294591812 136509061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 36651 34236 198 641 0 36007 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 146604

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20359
/proc/meminfo: memFree=28246424/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=164884 CPUtime=342.16 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 34152 64 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592400 134545039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 41221 38790 198 641 0 40577 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 164884

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/179 20362
/proc/meminfo: memFree=28246140/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=164884 CPUtime=402.15 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 40140 75 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 41221 38790 198 641 0 40577 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 164884

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20362
/proc/meminfo: memFree=28246272/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=164884 CPUtime=462.14 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 39361 0 0 0 46131 83 0 0 20 0 1 0 334733426 168841216 38790 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 41221 38790 198 641 0 40577 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 164884

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20363
/proc/meminfo: memFree=28240364/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=171480 CPUtime=522.12 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 41028 0 0 0 52123 89 0 0 20 0 1 0 334733426 175595520 40448 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 42870 40448 198 641 0 42226 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 171480

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 20363
/proc/meminfo: memFree=28230196/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180772 CPUtime=582.12 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43554 0 0 0 58119 93 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45193 42773 198 641 0 44549 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 180772

[startup+642.3 s]

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

/proc/meminfo: memFree=28195832/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180772 CPUtime=1062.03 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 106019 184 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45193 42773 198 641 0 44549 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 180772

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20368
/proc/meminfo: memFree=28158072/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180772 CPUtime=1122.02 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 112005 197 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45193 42773 198 641 0 44549 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 180772

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20368
/proc/meminfo: memFree=28158128/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180772 CPUtime=1182.01 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 117993 208 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592224 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45193 42773 198 641 0 44549 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 180772

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20368
/proc/meminfo: memFree=28158004/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180772 CPUtime=1242.01 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43699 0 0 0 123973 228 0 0 20 0 1 0 334733426 185110528 42773 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45193 42773 198 641 0 44549 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 180772

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20369
/proc/meminfo: memFree=28158120/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180852 CPUtime=1302 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 129963 237 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592224 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45213 42793 198 641 0 44569 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 180852

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 20578
/proc/meminfo: memFree=28158376/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180852 CPUtime=1361.99 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 135950 249 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45213 42793 198 641 0 44569 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 180852

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20579
/proc/meminfo: memFree=28158756/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180852 CPUtime=1421.98 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 141943 255 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45213 42793 198 641 0 44569 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 180852

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20579
/proc/meminfo: memFree=28158756/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=180852 CPUtime=1481.97 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 43719 0 0 0 147935 262 0 0 20 0 1 0 334733426 185192448 42793 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 45213 42793 198 641 0 44569 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 180852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20579
/proc/meminfo: memFree=28132344/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1541.96 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 153924 272 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592336 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 207264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20582
/proc/meminfo: memFree=28132088/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1601.95 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 159912 283 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 207264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20630
/proc/meminfo: memFree=28594684/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1661.94 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50560 0 0 0 165903 291 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 207264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28475260/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1721.93 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 171892 301 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 207264

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28395804/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1781.91 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 177882 309 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592184 135982525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 207264

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28385000/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1791.51 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 178841 310 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 207264

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28382396/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1794.72 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179161 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 207264

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28381156/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1796.31 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179320 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592224 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 207264

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1797.11 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179400 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 207264

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1797.51 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179440 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592224 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 207264

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20631
/proc/meminfo: memFree=28380288/32873844 swapFree=6872/6872
[pid=20357] ppid=20355 vsize=207264 CPUtime=1797.91 cores=0,2,4,6
/proc/20357/stat : 20357 (bsolo) R 20355 20357 8274 0 -1 4202496 50573 0 0 0 179480 311 0 0 20 0 1 0 334733426 212238336 49391 33554432000 134512640 137136520 4294593296 4294592412 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/20357/statm: 51816 49391 198 641 0 51172 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 207264

Child status: 0
Real time (s): 1798.38
CPU time (s): 1798
CPU user time (s): 1794.88
CPU system time (s): 3.11753
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 208236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.88
system time used= 3.11753
maximum resident set size= 198536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50575
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= 96
involuntary context switches= 2185

runsolver used 3.00454 second user time and 8.18576 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 03:14:09
IDJOB=3731099
IDBENCH=1850
IDSOLVER=2320
FILE ID=node106/3731099-1338686049
RUNJOBID= node106-1338679215-16850
PBS_JOBID= 14636707
Free space on /tmp= 70864 MiB

SOLVER NAME= PB09: bsolo 3.1
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 -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731099-1338686049/watcher-3731099-1338686049 -o /tmp/evaluation-result-3731099-1338686049/solver-3731099-1338686049 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731099-1338686049.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=57751106

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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		: 2667.065
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.92
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		: 2667.065
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.91
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		: 2667.065
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.91
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		: 2667.065
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.91
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		: 2667.065
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28568100 kB
Buffers:          281588 kB
Cached:          2931076 kB
SwapCached:         1936 kB
Active:          1216684 kB
Inactive:        2243852 kB
Active(anon):     245380 kB
Inactive(anon):     4868 kB
Active(file):     971304 kB
Inactive(file):  2238984 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100520 kB
Dirty:              4056 kB
Writeback:             0 kB
AnonPages:        254796 kB
Mapped:             9740 kB
Shmem:                 0 kB
Slab:             702752 kB
SReclaimable:     144448 kB
SUnreclaim:       558304 kB
KernelStack:        1456 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     378084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731099-1338686049.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-03 03:44:08