Trace number 3735644

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)28 1800.01 1800.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.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-3735644-1338705639.opb
0.00/0.00	c File size is 374479 bytes.
0.02/0.04	c Highest Coefficient sum: 2273
0.02/0.04	c Parsing was ok!!
0.02/0.04	c Total parsing time: 0.034 s
0.02/0.04	c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222
0.02/0.04	c Obj. Vars: 2273 (48.7141 % of total variables)
0.02/0.08	c Pre-processing Time: 0.075 s
0.02/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.08	c        0   4336    11917    29130    2    23834    3972      0      0 0.07
0.02/0.08	c Switching off LPR mode.
0.02/0.08	o 30	0.077
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   4336    11918    31239    2    25915    4972      1      0 0.08
0.09/0.10	o 29	0.095
355.71/355.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
355.71/355.83	c       59   4336    11978    36017    3    28115    4972     61    614 0.10
355.71/355.83	c      160   4336    12079    38511    3    28317    5470    162   1280 0.12
355.71/355.83	c      411   4336    12330    49437    4    28819    6018    413   1684 0.24
355.71/355.83	c      886   4336    12805    72656    5    29769    6620    888   1938 0.46
355.71/355.83	c     1699   4336    13618   112690    8    31395    7283   1701   2094 0.81
355.71/355.83	c     3019   4336    14938   188187   12    34035    8012   3021   2189 1.38
355.71/355.83	c     5100   4336    17019   295668   17    38197    8814   5102   2086 2.44
355.71/355.83	c     8323   4336    20242   468636   23    44643    9696   8325   1901 4.38
355.71/355.83	c    13260   4336    18484   501008   27    39048   10666   6567   1945 6.82
355.71/355.83	c    20766   4336    18757   438492   23    39594   11733   6840   2234 9.29
355.71/355.83	c    32127   4336    23309   763962   32    48698   12907  11392   1937 16.59
355.71/355.83	c    49272   4336    24571  1009633   41    51222   14198  12654   2139 23.03
355.71/355.83	c    75091   4336    24180   912489   37    50440   15618  12263   1912 39.26
355.71/355.83	c   113923   4336    25899   876870   33    53878   17180  13982   1789 63.66
355.71/355.83	c   172275   4336    21661   828916   38    45402   18899   9744   1680 102.49
355.71/355.83	c   259907   4336    21368   834518   39    44816   20789   9451   1616 160.83
355.71/355.83	c   391462   4336    32276  1679095   52    66632   22868  20359   1490 262.61
355.71/355.83	o 28	355.751
1800.00/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.30	c   512087   4336    32607  1446144   44    69375    4972  20690   1439 355.75
1800.00/1800.30	c   512187   4336    14504   170733   11    31089    5470   2587   1439 355.88
1800.00/1800.30	c   512438   4336    14755   182217   12    31591    6018   2838   1439 355.95
1800.00/1800.30	c   512913   4336    15230   210720   13    32541    6620   3313   1440 356.07
1800.00/1800.30	c   513727   4336    16044   249738   15    34169    7283   4127   1441 356.44
1800.00/1800.30	c   515049   4336    17366   315849   18    36813    8012   5449   1443 356.92
1800.00/1800.30	c   517130   4336    19447   425652   21    40975    8814   7530   1444 357.88
1800.00/1800.30	c   520353   4336    16558   302474   18    35197    9696   4641   1449 358.94
1800.00/1800.30	c   525289   4336    21494   544388   25    45069   10666   9577   1452 361.56
1800.00/1800.30	c   532796   4336    21732   643887   29    45545   11733   9815   1459 364.95
1800.00/1800.30	c   544157   4336    18200   433304   23    38481   12907   6283   1476 368.47
1800.00/1800.30	c   561302   4336    18917   562415   29    39915   14198   7000   1489 376.92
1800.00/1800.30	c   587121   4336    19017   653886   34    40115   15618   7100   1485 395.12
1800.00/1800.30	c   625953   4336    19727   580844   29    41535   17180   7810   1510 414.51
1800.00/1800.30	c   684308   4336    26556  1699224   63    55193   18899  14639   1520 450.03
1800.00/1800.30	c   771942   4336    25734  1421116   55    53549   20789  13817   1500 514.51
1800.00/1800.30	c   903494   4336    24540   841708   34    51161   22868  12623   1466 615.92
1800.00/1800.30	c  1100926   4336    32888  1994520   60    67857   25155  20971   1482 742.83
1800.00/1800.30	c  1397178   4336    35106  1375074   39    72293   27671  23189   1410 990.79
1800.00/1800.30	c  1841660   4336    34148  1197611   35    70377   30439  22231   1334 1379.57
1800.00/1800.30	c Caught signal: 15
1800.00/1800.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 
1800.00/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.30	c   38  2433984 1464761  8830901    41144  2685420  29227   1352 1800.01
1800.00/1800.30	c Objective: 28
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c Total time: 1800.01 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-3735644-1338705639/watcher-3735644-1338705639 -o /tmp/evaluation-result-3735644-1338705639/solver-3735644-1338705639 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735644-1338705639.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28795
/proc/meminfo: memFree=28248156/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) D 28793 28795 25229 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 336689364 2723840 48 33554432000 134512640 135840783 4287890576 4287888612 11355076 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 665 48 37 325 0 32 0

[startup+0.0399071 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28795
/proc/meminfo: memFree=28248156/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=6436 CPUtime=0.02 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 903 0 0 0 2 0 0 0 20 0 1 0 336689364 6590464 839 33554432000 134512640 135840783 4287890576 4287889280 11867431 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 1609 839 408 325 0 453 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6436

[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28795
/proc/meminfo: memFree=28248156/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=7448 CPUtime=0.09 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 1360 0 0 0 8 1 0 0 20 0 1 0 336689364 7626752 1131 33554432000 134512640 135840783 4287890576 4287888968 11854090 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 1862 1131 349 325 0 798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7448

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28795
/proc/meminfo: memFree=28248156/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=7580 CPUtime=0.29 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 1382 0 0 0 28 1 0 0 20 0 1 0 336689364 7761920 1153 33554432000 134512640 135840783 4287890576 4287889936 134550741 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 1895 1153 349 325 0 831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7580

[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28795
/proc/meminfo: memFree=28248156/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=8228 CPUtime=0.68 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 1558 0 0 0 67 1 0 0 20 0 1 0 336689364 8425472 1329 33554432000 134512640 135840783 4287890576 4287889936 134550782 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 2057 1329 349 325 0 993 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8228

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28796
/proc/meminfo: memFree=28243560/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=9632 CPUtime=1.48 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 1907 0 0 0 147 1 0 0 20 0 1 0 336689364 9863168 1678 33554432000 134512640 135840783 4287890576 4287889872 134572040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 2408 1678 349 325 0 1344 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9632

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28796
/proc/meminfo: memFree=28241196/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=11796 CPUtime=3.09 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 2442 0 0 0 307 2 0 0 20 0 1 0 336689364 12079104 2213 33554432000 134512640 135840783 4287890576 4287889712 11866610 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 2949 2213 349 325 0 1885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11796

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28796
/proc/meminfo: memFree=28235988/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=17784 CPUtime=6.29 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 3937 0 0 0 627 2 0 0 20 0 1 0 336689364 18210816 3708 33554432000 134512640 135840783 4287890576 4287889936 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 4446 3708 349 325 0 3382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17784

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28796
/proc/meminfo: memFree=28232532/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=18944 CPUtime=12.68 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 4240 0 0 0 1266 2 0 0 20 0 1 0 336689364 19398656 4011 33554432000 134512640 135840783 4287890576 4287890096 134551981 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 4736 4011 349 325 0 3672 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18944

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28227952/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=23736 CPUtime=25.47 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 5430 0 0 0 2545 2 0 0 20 0 1 0 336689364 24305664 5201 33554432000 134512640 135840783 4287890576 4287889936 134551285 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28795/statm: 5934 5201 349 325 0 4870 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23736

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28227952/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=23736 CPUtime=51.07 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 5432 0 0 0 5105 2 0 0 20 0 1 0 336689364 24305664 5203 33554432000 134512640 135840783 4287890576 4287889936 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 5934 5203 349 325 0 4870 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23736

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28796
/proc/meminfo: memFree=28222536/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=28676 CPUtime=102.26 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 6683 0 0 0 10223 3 0 0 20 0 1 0 336689364 29364224 6446 33554432000 134512640 135840783 4287890576 4287889936 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 7169 6446 349 325 0 6105 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28676

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28216584/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=34772 CPUtime=162.25 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 8205 0 0 0 16221 4 0 0 20 0 1 0 336689364 35606528 7968 33554432000 134512640 135840783 4287890576 4287889872 134571997 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 8693 7968 349 325 0 7629 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34772

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203548/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40772 CPUtime=222.23 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9713 0 0 0 22219 4 0 0 20 0 1 0 336689364 41750528 9470 33554432000 134512640 135840783 4287890576 4287889604 11854178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10193 9470 349 325 0 9129 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40772

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28797
/proc/meminfo: memFree=28203672/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40716 CPUtime=282.22 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 28218 4 0 0 20 0 1 0 336689364 41693184 9465 33554432000 134512640 135840783 4287890576 4287889936 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10179 9465 349 325 0 9115 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40716

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 28797
/proc/meminfo: memFree=28203484/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40712 CPUtime=342.21 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 34217 4 0 0 20 0 1 0 336689364 41689088 9464 33554432000 134512640 135840783 4287890576 4287889936 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10178 9464 349 325 0 9114 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 40712

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 28797
/proc/meminfo: memFree=28203856/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40632 CPUtime=402.21 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 40217 4 0 0 20 0 1 0 336689364 41607168 9444 33554432000 134512640 135840783 4287890576 4287889872 134572295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10158 9444 349 325 0 9094 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 40632

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 28798
/proc/meminfo: memFree=28203732/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40628 CPUtime=462.2 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 46216 4 0 0 20 0 1 0 336689364 41603072 9443 33554432000 134512640 135840783 4287890576 4287889936 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10157 9443 349 325 0 9093 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 40628

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28798
/proc/meminfo: memFree=28203732/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40628 CPUtime=522.19 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 52215 4 0 0 20 0 1 0 336689364 41603072 9443 33554432000 134512640 135840783 4287890576 4287889872 134571839 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10157 9443 349 325 0 9093 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 40628

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28801
/proc/meminfo: memFree=28203724/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40616 CPUtime=582.18 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9715 0 0 0 58214 4 0 0 20 0 1 0 336689364 41590784 9440 33554432000 134512640 135840783 4287890576 4287889936 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10154 9440 349 325 0 9090 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 40616

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28841
/proc/meminfo: memFree=28269360/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40628 CPUtime=882.13 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9718 0 0 0 88209 4 0 0 20 0 1 0 336689364 41603072 9443 33554432000 134512640 135840783 4287890576 4287889936 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10157 9443 349 325 0 9093 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 40628

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28841
/proc/meminfo: memFree=28142908/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=40628 CPUtime=942.12 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 9718 0 0 0 94208 4 0 0 20 0 1 0 336689364 41603072 9443 33554432000 134512640 135840783 4287890576 4287889936 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 10157 9443 349 325 0 9093 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 40628

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 28841
/proc/meminfo: memFree=28094588/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46804 CPUtime=1002.11 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11256 0 0 0 100207 4 0 0 20 0 1 0 336689364 47927296 10981 33554432000 134512640 135840783 4287890576 4287889872 134572704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11701 10981 349 325 0 10637 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 46804

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 28842
/proc/meminfo: memFree=28041200/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1062.1 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 106206 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287889748 11862156 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 46796

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 28842
/proc/meminfo: memFree=28001024/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1122.09 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 112205 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287889664 11865375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 46796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28845
/proc/meminfo: memFree=27942780/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1182.08 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 118204 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287890000 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 46796

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28868
/proc/meminfo: memFree=27914784/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1242.07 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 124203 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287889936 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 46796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28868
/proc/meminfo: memFree=27914172/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1302.07 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 130203 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287889936 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 46796

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28869
/proc/meminfo: memFree=27914420/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46796 CPUtime=1362.06 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11260 0 0 0 136202 4 0 0 20 0 1 0 336689364 47919104 10982 33554432000 134512640 135840783 4287890576 4287889936 134550887 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11699 10982 349 325 0 10635 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 46796

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28869
/proc/meminfo: memFree=27914296/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46808 CPUtime=1422.05 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11262 0 0 0 142201 4 0 0 20 0 1 0 336689364 47931392 10984 33554432000 134512640 135840783 4287890576 4287888928 134575006 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11702 10984 349 325 0 10638 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 46808

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 28869
/proc/meminfo: memFree=27914420/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=46808 CPUtime=1482.04 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11262 0 0 0 148200 4 0 0 20 0 1 0 336689364 47931392 10984 33554432000 134512640 135840783 4287890576 4287889868 5373942 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 11702 10984 349 325 0 10638 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 46808

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/175 28869
/proc/meminfo: memFree=27911940/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=49284 CPUtime=1542.04 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11884 0 0 0 154199 5 0 0 20 0 1 0 336689364 50466816 11606 33554432000 134512640 135840783 4287890576 4287889900 4957287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 12321 11606 349 325 0 11257 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 49284

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 28869
/proc/meminfo: memFree=27911752/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=49240 CPUtime=1602.03 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 11886 0 0 0 160198 5 0 0 20 0 1 0 336689364 50421760 11596 33554432000 134512640 135840783 4287890576 4287889712 11864990 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 12310 11596 349 325 0 11246 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 49240

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 28870
/proc/meminfo: memFree=27877652/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=53584 CPUtime=1662.02 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 13034 0 0 0 166197 5 0 0 20 0 1 0 336689364 54870016 12682 33554432000 134512640 135840783 4287890576 4287889936 134550924 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 13396 12682 349 325 0 12332 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 53584

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 28870
/proc/meminfo: memFree=27810196/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=53556 CPUtime=1722.01 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 13034 0 0 0 172196 5 0 0 20 0 1 0 336689364 54841344 12675 33554432000 134512640 135840783 4287890576 4287890000 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 13389 12675 349 325 0 12325 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 53556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28873
/proc/meminfo: memFree=27803740/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=53552 CPUtime=1782 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 13034 0 0 0 178195 5 0 0 20 0 1 0 336689364 54837248 12674 33554432000 134512640 135840783 4287890576 4287889936 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 13388 12674 349 325 0 12324 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 53552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28873
/proc/meminfo: memFree=27803740/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=53552 CPUtime=1800 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 13034 0 0 0 179995 5 0 0 20 0 1 0 336689364 54837248 12674 33554432000 134512640 135840783 4287890576 4287889936 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 13388 12674 349 325 0 12324 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 53552

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28873
/proc/meminfo: memFree=27803740/32873852 swapFree=7624/7624
[pid=28795] ppid=28793 vsize=53552 CPUtime=1800 cores=0,2,4,6
/proc/28795/stat : 28795 (bsolo3.0.17) R 28793 28795 25229 0 -1 4202496 13034 0 0 0 179995 5 0 0 20 0 1 0 336689364 54837248 12674 33554432000 134512640 135840783 4287890576 4287889936 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28795/statm: 13388 12674 349 325 0 12324 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 53552

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.96
CPU system time (s): 0.052991
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 53584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.052991
maximum resident set size= 50728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13037
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= 34
involuntary context switches= 1936

runsolver used 3.57246 second user time and 8.03278 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 08:40:39
IDJOB=3735644
IDBENCH=24982
IDSOLVER=2318
FILE ID=node131/3735644-1338705639
RUNJOBID= node131-1338678620-25248
PBS_JOBID= 14636682
Free space on /tmp= 71396 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735644-1338705639/watcher-3735644-1338705639 -o /tmp/evaluation-result-3735644-1338705639/solver-3735644-1338705639 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3735644-1338705639.opb            

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=514165072

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28248792 kB
Buffers:          554816 kB
Cached:          3046832 kB
SwapCached:         2348 kB
Active:          1561432 kB
Inactive:        2197844 kB
Active(anon):     153216 kB
Inactive(anon):     3664 kB
Active(file):    1408216 kB
Inactive(file):  2194180 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              7076 kB
Writeback:             4 kB
AnonPages:        161200 kB
Mapped:            15588 kB
Shmem:                 0 kB
Slab:             727640 kB
SReclaimable:     169872 kB
SUnreclaim:       557768 kB
KernelStack:        1448 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     275704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71388 MiB
End job on node131 at 2012-06-03 09:10:41