Trace number 3708177

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT28 1798 1798.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.21081
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
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 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	28

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-3708177-1338161833/watcher-3708177-1338161833 -o /tmp/evaluation-result-3708177-1338161833/solver-3708177-1338161833 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708177-1338161833.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 24575
/proc/meminfo: memFree=27158528/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=11444 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282311883 11718656 312 33554432000 134512640 137138936 4289319920 4289318024 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 2861 312 180 642 0 2125 0

[startup+0.102386 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 24575
/proc/meminfo: memFree=27158528/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=13592 CPUtime=0.09 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 1175 0 0 0 9 0 0 0 20 0 1 0 282311883 13918208 964 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3398 964 192 642 0 2754 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13592

[startup+0.200221 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 24575
/proc/meminfo: memFree=27158528/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=13592 CPUtime=0.18 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 1175 0 0 0 18 0 0 0 20 0 1 0 282311883 13918208 964 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3398 964 192 642 0 2754 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13592

[startup+0.300206 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 24575
/proc/meminfo: memFree=27158528/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=13592 CPUtime=0.29 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 1182 0 0 0 28 1 0 0 20 0 1 0 282311883 13918208 971 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3398 971 192 642 0 2754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13592

[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 24575
/proc/meminfo: memFree=27158528/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=13744 CPUtime=0.69 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 1526 0 0 0 68 1 0 0 20 0 1 0 282311883 14073856 1015 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3436 1015 192 642 0 2792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13744

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27154948/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=14328 CPUtime=1.49 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 2870 0 0 0 147 2 0 0 20 0 1 0 282311883 14671872 1161 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3582 1161 192 642 0 2938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14328

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27153072/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=15236 CPUtime=3.09 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 4767 0 0 0 306 3 0 0 20 0 1 0 282311883 15601664 1388 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 3809 1388 192 642 0 3165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15236

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27149724/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=16792 CPUtime=6.29 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 8037 0 0 0 624 5 0 0 20 0 1 0 282311883 17195008 1774 33554432000 134512640 137138936 4289319920 4289318200 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 4198 1774 192 642 0 3554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16792

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27144680/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=20524 CPUtime=12.69 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 14587 0 0 0 1260 9 0 0 20 0 1 0 282311883 21016576 2710 33554432000 134512640 137138936 4289319920 4289318148 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 5131 2710 192 642 0 4487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20524

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27137224/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=22892 CPUtime=25.48 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 20320 0 0 0 2536 12 0 0 20 0 1 0 282311883 23441408 3305 33554432000 134512640 137138936 4289319920 4289318148 136500289 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 5723 3305 192 642 0 5079 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22892

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24576
/proc/meminfo: memFree=27122468/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=30072 CPUtime=51.08 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 33311 0 0 0 5090 18 0 0 20 0 1 0 282311883 30793728 5101 33554432000 134512640 137138936 4289319920 4289318584 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 7518 5101 192 642 0 6874 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30072

[startup+102.3 s]
/proc/loadavg: 2.11 2.03 1.95 3/177 24576
/proc/meminfo: memFree=27119724/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=30076 CPUtime=102.27 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 33315 0 0 0 10202 25 0 0 20 0 1 0 282311883 30797824 5102 33554432000 134512640 137138936 4289319920 4289318844 136297616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 7519 5102 192 642 0 6875 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30076

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 24576
/proc/meminfo: memFree=27110172/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=30084 CPUtime=162.26 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 33317 0 0 0 16194 32 0 0 20 0 1 0 282311883 30806016 5104 33554432000 134512640 137138936 4289319920 4289318232 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 7521 5104 192 642 0 6877 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30084

[startup+222.307 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 24579
/proc/meminfo: memFree=27106620/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=31952 CPUtime=222.25 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 36340 0 0 0 22185 40 0 0 20 0 1 0 282311883 32718848 5571 33554432000 134512640 137138936 4289319920 4289318672 134575873 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 7988 5571 192 642 0 7344 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31952

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 24580
/proc/meminfo: memFree=27101104/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=34092 CPUtime=282.23 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 40413 0 0 0 28175 48 0 0 20 0 1 0 282311883 34910208 6106 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 8523 6106 192 642 0 7879 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 34092

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 24580
/proc/meminfo: memFree=27090060/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=37080 CPUtime=342.23 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 45759 0 0 0 34165 58 0 0 20 0 1 0 282311883 37969920 6848 33554432000 134512640 137138936 4289319920 4289318672 134575165 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 9270 6848 192 642 0 8626 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37080

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24580
/proc/meminfo: memFree=27083664/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=42508 CPUtime=402.21 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 57095 0 0 0 40146 75 0 0 20 0 1 0 282311883 43528192 8210 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 10627 8210 192 642 0 9983 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 42508

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24580
/proc/meminfo: memFree=27087384/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=38712 CPUtime=462.2 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 57097 0 0 0 46138 82 0 0 20 0 1 0 282311883 39641088 7261 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 9678 7261 192 642 0 9034 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 38712

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24580
/proc/meminfo: memFree=27072244/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=55388 CPUtime=522.18 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 90692 0 0 0 52120 98 0 0 20 0 1 0 282311883 56717312 11430 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 13847 11430 192 642 0 13203 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 55388

[startup+582.3 s]
/proc/loadavg: 2.12 2.03 1.96 3/177 24581
/proc/meminfo: memFree=27065976/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=60452 CPUtime=582.18 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 99268 0 0 0 58112 106 0 0 20 0 1 0 282311883 61902848 12696 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 15113 12696 192 642 0 14469 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 60452

[startup+642.3 s]

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

/proc/meminfo: memFree=27055060/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=59168 CPUtime=1122.1 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 99275 0 0 0 112040 170 0 0 20 0 1 0 282311883 60588032 12375 33554432000 134512640 137138936 4289319920 4289318848 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 14792 12375 192 642 0 14148 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 59168

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24586
/proc/meminfo: memFree=27053744/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=61004 CPUtime=1182.08 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 102498 0 0 0 118033 175 0 0 20 0 1 0 282311883 62468096 12834 33554432000 134512640 137138936 4289319920 4289318672 134575213 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 15251 12834 192 642 0 14607 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 61004

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24586
/proc/meminfo: memFree=27051512/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=62808 CPUtime=1242.07 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 106037 0 0 0 124027 180 0 0 20 0 1 0 282311883 64315392 13285 33554432000 134512640 137138936 4289319920 4289318848 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 15702 13285 192 642 0 15058 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 62808

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24586
/proc/meminfo: memFree=27040536/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73612 CPUtime=1302.07 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119086 0 0 0 130017 190 0 0 20 0 1 0 282311883 75378688 15980 33554432000 134512640 137138936 4289319920 4289318816 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18403 15980 192 642 0 17759 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 73612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24586
/proc/meminfo: memFree=27036876/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73572 CPUtime=1362.05 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119086 0 0 0 136008 197 0 0 20 0 1 0 282311883 75337728 15976 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18393 15976 192 642 0 17749 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 73572

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24589
/proc/meminfo: memFree=27037292/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73564 CPUtime=1422.05 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119088 0 0 0 142002 203 0 0 20 0 1 0 282311883 75329536 15974 33554432000 134512640 137138936 4289319920 4289318672 134575204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18391 15974 192 642 0 17747 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 73564

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24613
/proc/meminfo: memFree=27036856/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73520 CPUtime=1482.03 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119088 0 0 0 147993 210 0 0 20 0 1 0 282311883 75284480 15963 33554432000 134512640 137138936 4289319920 4289318848 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18380 15963 192 642 0 17736 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 73520

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24613
/proc/meminfo: memFree=27036988/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73528 CPUtime=1542.04 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119090 0 0 0 153986 218 0 0 20 0 1 0 282311883 75292672 15965 33554432000 134512640 137138936 4289319920 4289318960 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18382 15965 192 642 0 17738 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 73528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24613
/proc/meminfo: memFree=27037112/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73528 CPUtime=1602.01 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119090 0 0 0 159978 223 0 0 20 0 1 0 282311883 75292672 15965 33554432000 134512640 137138936 4289319920 4289318344 134606683 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18382 15965 192 642 0 17738 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 73528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24613
/proc/meminfo: memFree=27036988/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73528 CPUtime=1662.01 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119090 0 0 0 165972 229 0 0 20 0 1 0 282311883 75292672 15965 33554432000 134512640 137138936 4289319920 4289318344 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18382 15965 192 642 0 17738 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 73528

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24613
/proc/meminfo: memFree=27026944/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=73528 CPUtime=1722 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 119090 0 0 0 171966 234 0 0 20 0 1 0 282311883 75292672 15965 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18382 15965 192 642 0 17738 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 73528

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24613
/proc/meminfo: memFree=27009688/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74828 CPUtime=1781.99 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 177958 241 0 0 20 0 1 0 282311883 76623872 16289 33554432000 134512640 137138936 4289319920 4289319036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18707 16289 192 642 0 18063 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 74828

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

[startup+1792.01 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27095384/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74828 CPUtime=1791.7 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 178928 242 0 0 20 0 1 0 282311883 76623872 16289 33554432000 134512640 137138936 4289319920 4289318848 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18707 16289 192 642 0 18063 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 74828

[startup+1795.2 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27094252/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74828 CPUtime=1794.89 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179247 242 0 0 20 0 1 0 282311883 76623872 16289 33554432000 134512640 137138936 4289319920 4289318672 134573444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18707 16289 192 642 0 18063 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 74828

[startup+1796.8 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27093756/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74736 CPUtime=1796.49 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179406 243 0 0 20 0 1 0 282311883 76529664 16267 33554432000 134512640 137138936 4289319920 4289318848 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18684 16267 192 642 0 18040 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 74736

[startup+1797.6 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27093632/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74736 CPUtime=1797.29 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179486 243 0 0 20 0 1 0 282311883 76529664 16267 33554432000 134512640 137138936 4289319920 4289318344 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18684 16267 192 642 0 18040 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 74736

[startup+1798 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27093632/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74736 CPUtime=1797.69 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179526 243 0 0 20 0 1 0 282311883 76529664 16267 33554432000 134512640 137138936 4289319920 4289318764 136504257 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18684 16267 192 642 0 18040 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 74736

[startup+1798.2 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27093632/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74736 CPUtime=1797.89 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179546 243 0 0 20 0 1 0 282311883 76529664 16267 33554432000 134512640 137138936 4289319920 4289318596 136511195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18684 16267 192 642 0 18040 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 74736

[startup+1798.3 s]
/proc/loadavg: 1.93 1.98 1.95 3/177 24652
/proc/meminfo: memFree=27093632/32873844 swapFree=6088/6088
[pid=24575] ppid=24573 vsize=74736 CPUtime=1797.99 cores=1,3,5,7
/proc/24575/stat : 24575 (bsolo) R 24573 24575 24287 0 -1 4202496 121091 0 0 0 179556 243 0 0 20 0 1 0 282311883 76529664 16267 33554432000 134512640 137138936 4289319920 4289318848 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24575/statm: 18684 16267 192 642 0 18040 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 74736

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798
CPU user time (s): 1795.57
CPU system time (s): 2.43363
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 74832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.57
system time used= 2.43363
maximum resident set size= 65156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121092
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= 33
involuntary context switches= 1848

runsolver used 3.08253 second user time and 8.36573 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 01:37:13
IDJOB=3708177
IDBENCH=24982
IDSOLVER=2286
FILE ID=node108/3708177-1338161833
RUNJOBID= node108-1338158223-24304
PBS_JOBID= 14624538
Free space on /tmp= 71724 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708177-1338161833/watcher-3708177-1338161833 -o /tmp/evaluation-result-3708177-1338161833/solver-3708177-1338161833 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708177-1338161833.opb

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=163951167

node108.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.273
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.54
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.273
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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        27159064 kB
Buffers:          318432 kB
Cached:          4576908 kB
SwapCached:            0 kB
Active:           669004 kB
Inactive:        4249616 kB
Active(anon):      22188 kB
Inactive(anon):        0 kB
Active(file):     646816 kB
Inactive(file):  4249616 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8852 kB
Writeback:             0 kB
AnonPages:         27572 kB
Mapped:            15116 kB
Shmem:               200 kB
Slab:             656604 kB
SReclaimable:      98440 kB
SUnreclaim:       558164 kB
KernelStack:        1464 kB
PageTables:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node108 at 2012-05-28 02:07:11