Trace number 3731097

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
PB07: bsolo 3.0.17SAT (TO)26 1800.08 1800.51

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731097-1338682701.opb
0.00/0.00	c File size is 214964 bytes.
0.00/0.02	c Highest Coefficient sum: 288
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.02 s
0.00/0.02	c Var: 2112 Constr: 5120 4128/416/576 Lit: 24192 Watch. Lit: 16988
0.00/0.02	c Obj. Vars: 288 (13.6364 % of total variables)
0.00/0.04	c Pre-processing Time: 0.045 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 LPR mode.
0.04/0.06	c      100   2112     5058    24648    4    16073   47775    100   1851 0.05
0.04/0.06	o 32	0.057
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      155   2112     5114    26484    5    16448   44431    156   2719 0.06
0.04/0.07	c      255   2112     5214    31585    6    16638   48875    256   3923 0.07
0.04/0.07	o 31	0.068
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      270   2112     5230    32314    6    16917   44431    272   3970 0.07
0.04/0.08	o 30	0.077
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      367   2112     5328    36683    6    17354   44431    370   4766 0.08
0.04/0.08	o 27	0.084
9.90/9.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.99	c      412   2112     5374    38355    7    17688   44431    416   4904 0.08
9.90/9.99	c      513   2112     5475    42035    7    17911   48875    517   5400 0.10
9.90/9.99	c      764   2112     5726    51761    9    18417   53763    768   6945 0.11
9.90/9.99	c     1240   2112     6202    73932   11    19374   59140   1244   8435 0.15
9.90/9.99	c     2053   2112     7015   110857   15    21009   65055   2057   9247 0.22
9.90/9.99	c     3373   2112     8335   182207   21    23639   71561   3377   8693 0.39
9.90/9.99	c     5454   2112    10416   296751   28    27769   78718   5458   8314 0.66
9.90/9.99	c     8677   2112    13639   486613   35    34186   86590   8681   7924 1.09
9.90/9.99	c    13614   2112    18576   741670   39    44053   95250  13618   7105 1.92
9.90/9.99	c    21121   2112    26083  1214925   46    59128  104776  21125   6728 3.14
9.90/9.99	c    32482   2112    37444  1769253   47    81799  115254  32486   6286 5.17
9.90/9.99	c    49626   2112    54588  2806347   51   116128  126780  49630   5567 8.91
9.90/9.99	o 26	9.988
1800.07/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.50	c    53602   2112    58565  3087640   52   124288   44431  53607   5366 9.99
1800.07/1800.50	c    53705   2112    17223   799116   46    40600   48875  12265   5169 10.39
1800.07/1800.50	c    53957   2112    17475   808364   46    41131   53763  12517   5186 10.40
1800.07/1800.50	c    54432   2112    17950   839484   46    42054   59140  12992   5202 10.46
1800.07/1800.50	c    55247   2112    18765   881684   46    43661   65055  13807   5214 10.59
1800.07/1800.50	c    56567   2112    20085   951170   47    46299   71561  15127   5279 10.71
1800.07/1800.50	c    58649   2112    22167  1086472   49    50508   78718  17209   5335 10.99
1800.07/1800.50	c    61872   2112    25390  1266194   49    56921   86590  20432   5343 11.58
1800.07/1800.50	c    66808   2112    30326  1577465   52    66814   95250  25368   5338 12.52
1800.07/1800.50	c    74314   2112    37832  2137445   56    81814  104776  32874   5131 14.48
1800.07/1800.50	c    85675   2112    49193  2776337   56   104526  115254  44235   5021 17.06
1800.07/1800.50	c   102819   2112    66337  3818632   57   138763  126780  61379   4353 23.62
1800.07/1800.50	c   128639   2112    92157  7291188   79   190475  139459  87199   3098 41.51
1800.07/1800.50	c   167472   2112   130990  9762194   74   268103  153405 126032   2895 57.83
1800.07/1800.50	c   225825   2112    48856  3746701   76   103867  168746  43898   2086 108.22
1800.07/1800.50	c   313459   2112   136490 11381750   83   279092  185621 131532   1885 166.29
1800.07/1800.50	c   445011   2112    95355 11316203  118   196868  204184  90397   1209 368.00
1800.07/1800.50	c   642443   2112   100678  5180592   51   207413  224603  95720   1252 512.99
1800.07/1800.50	c   938696   2112   184668 15318097   82   375495  247064 179710   1218 770.13
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	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 
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   36  1232945 673845  3611927   246202 25966247 241244    684 1800.07
1800.07/1800.50	c Objective: 26
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	c Total time: 1800.07 s

Verifier Data 

OK	26

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-3731097-1338682701/watcher-3731097-1338682701 -o /tmp/evaluation-result-3731097-1338682701/solver-3731097-1338682701 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731097-1338682701.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.92 3/176 24535
/proc/meminfo: memFree=26525228/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=12712 CPUtime=0 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 334397445 13017088 408 33554432000 134512640 135840783 4290886224 4290885376 134524142 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 3178 408 328 325 0 2061 0

[startup+0.0600421 s]
/proc/loadavg: 1.93 1.98 1.92 3/176 24535
/proc/meminfo: memFree=26525228/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=6284 CPUtime=0.04 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 1010 0 0 0 4 0 0 0 20 0 1 0 334397445 6434816 822 33554432000 134512640 135840783 4290886224 4290885536 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 1571 822 349 325 0 507 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6284

[startup+0.10021 s]
/proc/loadavg: 1.93 1.98 1.92 3/176 24535
/proc/meminfo: memFree=26525228/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=6284 CPUtime=0.09 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 1013 0 0 0 9 0 0 0 20 0 1 0 334397445 6434816 825 33554432000 134512640 135840783 4290886224 4290884384 1580352 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 1571 825 351 325 0 507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6284

[startup+0.300201 s]
/proc/loadavg: 1.93 1.98 1.92 3/176 24535
/proc/meminfo: memFree=26525228/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=7840 CPUtime=0.28 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 1422 0 0 0 28 0 0 0 20 0 1 0 334397445 8028160 1234 33554432000 134512640 135840783 4290886224 4290885520 134571841 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 1960 1234 351 325 0 896 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7840

[startup+0.700201 s]
/proc/loadavg: 1.93 1.98 1.92 3/176 24535
/proc/meminfo: memFree=26525228/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=10424 CPUtime=0.69 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 2054 0 0 0 68 1 0 0 20 0 1 0 334397445 10674176 1866 33554432000 134512640 135840783 4290886224 4290884544 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 2606 1866 351 325 0 1542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10424

[startup+1.5002 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26516548/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=15092 CPUtime=1.49 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 3213 0 0 0 148 1 0 0 20 0 1 0 334397445 15454208 3025 33554432000 134512640 135840783 4290886224 4290885584 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 3773 3025 351 325 0 2709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15092

[startup+3.1002 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26510092/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=23412 CPUtime=3.08 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 5293 0 0 0 307 1 0 0 20 0 1 0 334397445 23973888 5105 33554432000 134512640 135840783 4290886224 4290885584 134551635 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 5853 5105 351 325 0 4789 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23412

[startup+6.3002 s]
/proc/loadavg: 1.94 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26492732/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=38216 CPUtime=6.29 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 9003 0 0 0 627 2 0 0 20 0 1 0 334397445 39133184 8815 33554432000 134512640 135840783 4290886224 4290885584 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 9554 8815 351 325 0 8490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38216

[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26471792/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=51180 CPUtime=12.69 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 12297 0 0 0 1266 3 0 0 20 0 1 0 334397445 52408320 12056 33554432000 134512640 135840783 4290886224 4290884208 1580980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 12795 12056 351 325 0 11731 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51180

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26445892/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=70368 CPUtime=25.48 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 17093 0 0 0 2545 3 0 0 20 0 1 0 334397445 72056832 16852 33554432000 134512640 135840783 4290886224 4290885536 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 17592 16852 351 325 0 16528 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70368

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.92 3/177 24536
/proc/meminfo: memFree=26378560/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=129024 CPUtime=51.07 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 31754 0 0 0 5100 7 0 0 20 0 1 0 334397445 132120576 31513 33554432000 134512640 135840783 4290886224 4290885584 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 32256 31513 351 325 0 31192 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 129024

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.92 3/178 24537
/proc/meminfo: memFree=26297828/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=188192 CPUtime=102.25 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 46696 0 0 0 10215 10 0 0 20 0 1 0 334397445 192708608 46303 33554432000 134512640 135840783 4290886224 4290885520 134572710 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24535/statm: 47048 46303 351 325 0 45984 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 188192

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/178 24539
/proc/meminfo: memFree=26257132/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=188192 CPUtime=162.24 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 46696 0 0 0 16214 10 0 0 20 0 1 0 334397445 192708608 46303 33554432000 134512640 135840783 4290886224 4290885576 6129872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 47048 46303 351 325 0 45984 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 188192

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/177 24540
/proc/meminfo: memFree=26186984/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=242028 CPUtime=222.23 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 60174 0 0 0 22208 15 0 0 20 0 1 0 334397445 247836672 59781 33554432000 134512640 135840783 4290886224 4290885584 134550791 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 60507 59781 351 325 0 59443 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 242028

[startup+282.3 s]
/proc/loadavg: 2.03 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26157632/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=247720 CPUtime=282.22 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 61775 0 0 0 28206 16 0 0 20 0 1 0 334397445 253665280 61191 33554432000 134512640 135840783 4290886224 4290885584 134550921 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 61930 61191 351 325 0 60866 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 247720

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26143524/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=247720 CPUtime=342.17 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 61823 0 0 0 34201 16 0 0 20 0 1 0 334397445 253665280 61191 33554432000 134512640 135840783 4290886224 4290885584 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 61930 61191 351 325 0 60866 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 247720

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 24540
/proc/meminfo: memFree=26134376/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=247720 CPUtime=402.12 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 61871 0 0 0 40196 16 0 0 20 0 1 0 334397445 253665280 61191 33554432000 134512640 135840783 4290886224 4290885584 134550544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 61930 61191 351 325 0 60866 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 247720

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 24540
/proc/meminfo: memFree=26109240/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=264160 CPUtime=462.1 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 66197 0 0 0 46193 17 0 0 20 0 1 0 334397445 270499840 65303 33554432000 134512640 135840783 4290886224 4290885648 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 66040 65303 351 325 0 64976 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 264160

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 24542
/proc/meminfo: memFree=26100924/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=264160 CPUtime=522.09 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 66197 0 0 0 52192 17 0 0 20 0 1 0 334397445 270499840 65303 33554432000 134512640 135840783 4290886224 4290885584 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 66040 65303 351 325 0 64976 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 264160

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.93 2/175 24543
/proc/meminfo: memFree=26598244/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=264184 CPUtime=582.08 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 66203 0 0 0 58191 17 0 0 20 0 1 0 334397445 270524416 65309 33554432000 134512640 135840783 4290886224 4290885584 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 66046 65309 351 325 0 64982 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 264184

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 24585
/proc/meminfo: memFree=26553260/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=882.03 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75977 0 0 0 88182 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 302212

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 24585
/proc/meminfo: memFree=26552112/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=942.01 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 94180 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 302212

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 24585
/proc/meminfo: memFree=26550544/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1002 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 100179 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 302212

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 24585
/proc/meminfo: memFree=26549924/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1061.99 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 106178 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 302212

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/177 24586
/proc/meminfo: memFree=26549800/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1121.98 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 112177 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 302212

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 24586
/proc/meminfo: memFree=26549612/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1181.97 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 118176 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 302212

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 24586
/proc/meminfo: memFree=26549556/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1241.96 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 124175 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550945 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 302212

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24589
/proc/meminfo: memFree=26547904/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1301.96 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 130175 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550921 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 302212

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 24589
/proc/meminfo: memFree=26548180/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1361.94 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 136173 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 302212

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24591
/proc/meminfo: memFree=26548260/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1421.94 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 142173 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 302212

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24591
/proc/meminfo: memFree=26548404/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1481.93 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 148172 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 302212

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24591
/proc/meminfo: memFree=26548032/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=302212 CPUtime=1541.92 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 75995 0 0 0 154171 21 0 0 20 0 1 0 334397445 309465088 74832 33554432000 134512640 135840783 4290886224 4290885584 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 75553 74832 351 325 0 74489 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 302212

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 24591
/proc/meminfo: memFree=26531644/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=318844 CPUtime=1601.91 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 80147 0 0 0 160168 23 0 0 20 0 1 0 334397445 326496256 78984 33554432000 134512640 135840783 4290886224 4290885584 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 79711 78984 351 325 0 78647 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 318844

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 24591
/proc/meminfo: memFree=26518380/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=332576 CPUtime=1661.9 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 83570 0 0 0 166166 24 0 0 20 0 1 0 334397445 340557824 82407 33554432000 134512640 135840783 4290886224 4290885584 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 83144 82407 351 325 0 82080 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 332576

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 24592
/proc/meminfo: memFree=26504492/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=345776 CPUtime=1721.89 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 86862 0 0 0 172163 26 0 0 20 0 1 0 334397445 354074624 85699 33554432000 134512640 135840783 4290886224 4290885584 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 86444 85699 351 325 0 85380 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 345776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24592
/proc/meminfo: memFree=26489928/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=359372 CPUtime=1781.86 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 90286 0 0 0 178158 28 0 0 20 0 1 0 334397445 367996928 89097 33554432000 134512640 135840783 4290886224 4290885584 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 89843 89097 351 325 0 88779 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 359372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24592
/proc/meminfo: memFree=26484780/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=362936 CPUtime=1800.07 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 91193 0 0 0 179978 29 0 0 20 0 1 0 334397445 371646464 90004 33554432000 134512640 135840783 4290886224 4290885584 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 90734 90004 351 325 0 89670 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 362936

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24592
/proc/meminfo: memFree=26484780/32873648 swapFree=7120/7120
[pid=24535] ppid=24533 vsize=362936 CPUtime=1800.07 cores=0,2,4,6
/proc/24535/stat : 24535 (bsolo3.0.17) R 24533 24535 23594 0 -1 4202496 91193 0 0 0 179978 29 0 0 20 0 1 0 334397445 371646464 90004 33554432000 134512640 135840783 4290886224 4290885584 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24535/statm: 90734 90004 351 325 0 89670 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 362936

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.291955
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 362936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.291955
maximum resident set size= 360016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91196
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= 178
involuntary context switches= 2081

runsolver used 3.05154 second user time and 9.58354 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-03 02:18:21
IDJOB=3731097
IDBENCH=1850
IDSOLVER=2318
FILE ID=node114/3731097-1338682701
RUNJOBID= node114-1338678627-23614
PBS_JOBID= 14636699
Free space on /tmp= 70128 MiB

SOLVER NAME= PB07: bsolo 3.0.17
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= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731097-1338682701/watcher-3731097-1338682701 -o /tmp/evaluation-result-3731097-1338682701/solver-3731097-1338682701 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731097-1338682701.opb            

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=1188927969

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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	: 5332.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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		: 2666.242
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		: 2666.242
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		: 2666.242
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:       32873648 kB
MemFree:        26525500 kB
Buffers:          886500 kB
Cached:          4155784 kB
SwapCached:         2312 kB
Active:          2891284 kB
Inactive:        2503272 kB
Active(anon):     338756 kB
Inactive(anon):     8444 kB
Active(file):    2552528 kB
Inactive(file):  2494828 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:              6604 kB
Writeback:             0 kB
AnonPages:        349500 kB
Mapped:            12496 kB
Shmem:               104 kB
Slab:             816056 kB
SReclaimable:     259924 kB
SUnreclaim:       556132 kB
KernelStack:        1456 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     462860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70128 MiB
End job on node114 at 2012-06-03 02:48:23