Trace number 3708167

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.2SAT24 1798 1798.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1.09583
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
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 2136
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 2136
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 2136
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-3708167-1338162285.opb
0.00/0.00	c File size is 373906 bytes.
0.00/0.02	c Highest Coefficient sum: 2136
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.024 s
0.00/0.02	c Var: 4427 Constr: 12661 12661/0/0 Lit: 30901 Watch. Lit: 25157
0.00/0.02	c Obj. Vars: 2136 (48.2494 % of total variables)
0.00/0.06	c Pre-processing Time: 0.064 s
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0   4020    10948    27163    2    21896    3649      0      0 0.06
0.00/0.06	c Switching off lower bounding mode.
0.00/0.07	o 25
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0   4020    10949    29134    2    23845    4649      1      0 0.07
0.00/0.07	o 24
1797.99/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.30	c        5   4020    10955    31380    2    25805    4649      7     66 0.07
1797.99/1798.30	c      106   4020    11086    35596    3    26067    5114    138    576 0.18
1797.99/1798.30	c      357   4020    11390    43453    3    26675    5626    442    789 0.45
1797.99/1798.30	c      832   4020    11939    65464    5    27773    6189    991    796 1.04
1797.99/1798.30	c     1645   4020    12841   102097    7    29577    6808   1893    803 2.05
1797.99/1798.30	c     2965   4020    14231   164649   11    32357    7489   3283    795 3.73
1797.99/1798.30	c     5047   4020    16391   265542   16    38622    8238   5443    771 6.54
1797.99/1798.30	c     8271   4020    15068   260415   17    35967    9062   4120    715 11.55
1797.99/1798.30	c    13207   4020    20308   550288   27    46447    9969   9360    707 18.67
1797.99/1798.30	c    20713   4020    15934   393462   24    33816   10966   4986    690 29.99
1797.99/1798.30	c    32074   4020    20888   548181   26    45667   12063   9940    715 44.82
1797.99/1798.30	c    49219   4020    16981   561495   33    39793   13270   6033    704 69.89
1797.99/1798.30	c    75038   4020    19777  1001059   50    47310   14598   8829    672 111.55
1797.99/1798.30	c   113871   4020    18248   488816   26    38444   16058   7300    669 170.06
1797.99/1798.30	c   172223   4020    24626  1195801   48    51200   17664  13678    655 262.73
1797.99/1798.30	c   259855   4020    26344  1028614   39    54636   19431  15396    663 391.75
1797.99/1798.30	c   391409   4020    22185  1488698   67    50164   21375  11237    651 600.99
1797.99/1798.30	c   588842   4020    21637  1023963   47    45222   23513  10689    648 908.23
1797.99/1798.30	c   885096   4020    23861  1186373   49    53553   25865  12913    624 1416.80
1797.99/1798.30	c Resources Exceeded
1797.99/1798.30	v -x176 -x178 -x180 -x182 -x184 -x186 -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 -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 -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 -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 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -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 -x624 -x626 -x628 -x630 -x632 -x634 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 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 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 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -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 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -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 -x1991 -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 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -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 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -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 -x2383 -x2385 -x2387 -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 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -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 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -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 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -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 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -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 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -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 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 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 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 x3480 -x3482 -x3484 -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 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -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 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -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 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -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 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -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 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -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 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -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 -x1 -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 -x2 -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 -x3 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -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 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -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 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -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 -x12 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 x1545 -x1547 -x1549 -x1551 -x43 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 x1583 x47 -x1585 -x1587 x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x48 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 -x2241 -x2243 -x80 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x81 -x2373 -x2375 -x2377 -x2379 -x2381 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x82 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x86 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x87 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x90 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -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 -x91 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x99 -x2989 -x2991 -x2993 -x100 -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 -x3049 -x3051 -x3053 -x3055 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x108 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x120 -x3523 -x3525 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x147 -x4106 -x4108 -x4110 -x148 -x4112 -x149 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 x4276 -x4278 -x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 -x4302 x160 -x4304 x4306 -x4308 -x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 -x4368 x166 -x4370 -x4372 x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 -x4394 -x4396 -x4398 -x4400 x4402 -x4404 -x4406 -x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 -x4420 x171 x4422 x4424 x172 x4426 x173 x174 
1797.99/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.30	c   20  1130361 699963  4630697    36671  1980812  25723    628 1798.00
1797.99/1798.30	c Objective: 24
1797.99/1798.30	s SATISFIABLE
1797.99/1798.30	c Total time: 1798 s

Verifier Data 

OK	24

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-3708167-1338162285/watcher-3708167-1338162285 -o /tmp/evaluation-result-3708167-1338162285/solver-3708167-1338162285 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708167-1338162285.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 2.00 3/171 31960
/proc/meminfo: memFree=28482584/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=11444 CPUtime=0 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 282353975 11718656 325 33554432000 134512640 137138936 4293145200 4293143464 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 2861 326 182 642 0 2125 0

[startup+0.103552 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 31960
/proc/meminfo: memFree=28482584/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=13424 CPUtime=0.09 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 1093 0 0 0 9 0 0 0 20 0 1 0 282353975 13746176 924 33554432000 134512640 137138936 4293145200 4293143624 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3356 924 192 642 0 2712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13424

[startup+0.200276 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 31960
/proc/meminfo: memFree=28482584/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=13424 CPUtime=0.18 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 1099 0 0 0 18 0 0 0 20 0 1 0 282353975 13746176 930 33554432000 134512640 137138936 4293145200 4293143696 134618106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3356 930 192 642 0 2712 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13424

[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 31960
/proc/meminfo: memFree=28482584/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=13468 CPUtime=0.29 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 1107 0 0 0 28 1 0 0 20 0 1 0 282353975 13791232 938 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3367 938 192 642 0 2723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13468

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 31960
/proc/meminfo: memFree=28482584/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=13592 CPUtime=0.69 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 1272 0 0 0 68 1 0 0 20 0 1 0 282353975 13918208 978 33554432000 134512640 137138936 4293145200 4293143932 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3398 978 192 642 0 2754 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13592

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28477312/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=14060 CPUtime=1.48 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 1855 0 0 0 147 1 0 0 20 0 1 0 282353975 14397440 1095 33554432000 134512640 137138936 4293145200 4293143716 134551584 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3515 1095 192 642 0 2871 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14060

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28475700/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=14928 CPUtime=3.09 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 2917 0 0 0 306 3 0 0 20 0 1 0 282353975 15286272 1312 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 3732 1312 192 642 0 3088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14928

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28472160/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=16736 CPUtime=6.28 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 4559 0 0 0 624 4 0 0 20 0 1 0 282353975 17137664 1767 33554432000 134512640 137138936 4293145200 4293120176 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 4184 1767 192 642 0 3540 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16736

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28464404/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=19828 CPUtime=12.69 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 6810 0 0 0 1263 6 0 0 20 0 1 0 282353975 20303872 2540 33554432000 134512640 137138936 4293145200 4293143624 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 4957 2540 192 642 0 4313 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19828

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28453820/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=24160 CPUtime=25.48 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 9843 0 0 0 2539 9 0 0 20 0 1 0 282353975 24739840 3623 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 6040 3623 192 642 0 5396 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24160

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28446992/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=26400 CPUtime=51.07 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 11288 0 0 0 5093 14 0 0 20 0 1 0 282353975 27033600 4179 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 6600 4179 192 642 0 5956 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26400

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31992
/proc/meminfo: memFree=28430360/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=36176 CPUtime=102.27 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 17743 0 0 0 10203 24 0 0 20 0 1 0 282353975 37044224 6627 33554432000 134512640 137138936 4293145200 4293143624 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9044 6627 192 642 0 8400 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36176

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31993
/proc/meminfo: memFree=28426200/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=36336 CPUtime=162.26 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 17867 0 0 0 16194 32 0 0 20 0 1 0 282353975 37208064 6667 33554432000 134512640 137138936 4293145200 4293143728 134603150 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9084 6667 192 642 0 8440 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36336

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31993
/proc/meminfo: memFree=28417696/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=36656 CPUtime=222.25 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 18037 0 0 0 22187 38 0 0 20 0 1 0 282353975 37535744 6747 33554432000 134512640 137138936 4293145200 4293143696 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9164 6747 192 642 0 8520 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 36656

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31993
/proc/meminfo: memFree=28417384/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=37236 CPUtime=282.24 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 18377 0 0 0 28178 46 0 0 20 0 1 0 282353975 38129664 6888 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9309 6888 192 642 0 8665 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37236

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 31996
/proc/meminfo: memFree=28405728/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=37204 CPUtime=342.23 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 18377 0 0 0 34170 53 0 0 20 0 1 0 282353975 38096896 6884 33554432000 134512640 137138936 4293145200 4293143744 134607560 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9301 6884 192 642 0 8657 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37204

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 31996
/proc/meminfo: memFree=28384952/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=37476 CPUtime=402.21 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 18483 0 0 0 40159 62 0 0 20 0 1 0 282353975 38375424 6944 33554432000 134512640 137138936 4293145200 4293143624 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9369 6944 192 642 0 8725 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37476

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31997
/proc/meminfo: memFree=28371604/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=38588 CPUtime=462.21 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 19277 0 0 0 46150 71 0 0 20 0 1 0 282353975 39514112 7230 33554432000 134512640 137138936 4293145200 4293143696 134617961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9647 7230 192 642 0 9003 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 38588

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31997
/proc/meminfo: memFree=28354900/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=38584 CPUtime=522.2 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 19277 0 0 0 52141 79 0 0 20 0 1 0 282353975 39510016 7229 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 9646 7229 192 642 0 9002 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 38584

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31997
/proc/meminfo: memFree=28345720/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=44768 CPUtime=582.19 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 22258 0 0 0 58131 88 0 0 20 0 1 0 282353975 45842432 8775 33554432000 134512640 137138936 4293145200 4293143744 134607568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 11192 8775 192 642 0 10548 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 44768

[startup+642.3 s]

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

/proc/meminfo: memFree=28340620/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=52744 CPUtime=1122.1 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 29651 0 0 0 112047 163 0 0 20 0 1 0 282353975 54009856 10769 33554432000 134512640 137138936 4293145200 4293143744 134607563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 13186 10769 192 642 0 12542 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 52744

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32025
/proc/meminfo: memFree=28338264/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=56156 CPUtime=1182.09 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 32169 0 0 0 118038 171 0 0 20 0 1 0 282353975 57503744 11622 33554432000 134512640 137138936 4293145200 4293144128 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 14039 11622 192 642 0 13395 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 56156

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32025
/proc/meminfo: memFree=28321268/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72712 CPUtime=1242.08 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45694 0 0 0 124027 181 0 0 20 0 1 0 282353975 74457088 15761 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18178 15761 192 642 0 17534 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 72712

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32026
/proc/meminfo: memFree=28320636/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72636 CPUtime=1302.06 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45696 0 0 0 130018 188 0 0 20 0 1 0 282353975 74379264 15742 33554432000 134512640 137138936 4293145200 4293143760 134599234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18159 15742 192 642 0 17515 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 72636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32027
/proc/meminfo: memFree=28321008/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72636 CPUtime=1362.05 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45696 0 0 0 136011 194 0 0 20 0 1 0 282353975 74379264 15742 33554432000 134512640 137138936 4293145200 4293143716 134550981 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18159 15742 192 642 0 17515 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 72636

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32027
/proc/meminfo: memFree=28321256/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72628 CPUtime=1422.05 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45696 0 0 0 142005 200 0 0 20 0 1 0 282353975 74371072 15740 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18157 15740 192 642 0 17513 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 72628

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32027
/proc/meminfo: memFree=28321008/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72632 CPUtime=1482.03 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 147993 210 0 0 20 0 1 0 282353975 74375168 15741 33554432000 134512640 137138936 4293145200 4293143744 134607568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18158 15741 192 642 0 17514 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 72632

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32030
/proc/meminfo: memFree=28320876/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72624 CPUtime=1542.03 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 153983 220 0 0 20 0 1 0 282353975 74366976 15739 33554432000 134512640 137138936 4293145200 4293119352 136504370 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18156 15739 192 642 0 17512 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 72624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32030
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72624 CPUtime=1602.02 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 159970 232 0 0 20 0 1 0 282353975 74366976 15739 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18156 15739 192 642 0 17512 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 72624

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32030
/proc/meminfo: memFree=28320892/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1662.01 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 165958 243 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 72548

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1722 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 171948 252 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 72548

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32031
/proc/meminfo: memFree=28320512/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1781.99 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 177937 262 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293143952 134575200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 72548

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1791.69 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 178906 263 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144128 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 72548

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1794.9 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179226 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144128 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 72548

[startup+1796.8 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1796.49 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179385 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293143952 134575368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 72548

[startup+1797.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1797.29 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179465 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293143544 134599789 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 72548

[startup+1798 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1797.69 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179505 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293143624 134606628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 72548

[startup+1798.2 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1797.89 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179525 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 72548

[startup+1798.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 32031
/proc/meminfo: memFree=28320884/32873852 swapFree=6848/6848
[pid=31960] ppid=31958 vsize=72548 CPUtime=1797.99 cores=1,3,5,7
/proc/31960/stat : 31960 (bsolo) R 31958 31960 31475 0 -1 4202496 45698 0 0 0 179535 264 0 0 20 0 1 0 282353975 74289152 15720 33554432000 134512640 137138936 4293145200 4293144316 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31960/statm: 18137 15720 192 642 0 17493 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 72548

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.36
system time used= 2.6426
maximum resident set size= 63056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45699
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= 31
involuntary context switches= 1848

runsolver used 2.74258 second user time and 8.72167 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 01:44:45
IDJOB=3708167
IDBENCH=24983
IDSOLVER=2286
FILE ID=node129/3708167-1338162285
RUNJOBID= node129-1338158686-31492
PBS_JOBID= 14624544
Free space on /tmp= 71188 MiB

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

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=2036442717

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28483228 kB
Buffers:          384084 kB
Cached:          3136588 kB
SwapCached:            0 kB
Active:          1251924 kB
Inactive:        2279936 kB
Active(anon):      13488 kB
Inactive(anon):        0 kB
Active(file):    1238436 kB
Inactive(file):  2279936 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4288 kB
Writeback:             4 kB
AnonPages:         17844 kB
Mapped:            14144 kB
Shmem:               204 kB
Slab:             720048 kB
SReclaimable:     162368 kB
SUnreclaim:       557680 kB
KernelStack:        1416 kB
PageTables:         3444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     103292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71188 MiB
End job on node129 at 2012-05-28 02:14:44