Trace number 3735655

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)24 1800.09 1800.41

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.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-3735655-1338705672.opb
0.00/0.00	c File size is 373906 bytes.
0.00/0.03	c Highest Coefficient sum: 2136
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.032 s
0.00/0.04	c Var: 4427 Constr: 12661 12661/0/0 Lit: 30901 Watch. Lit: 25157
0.00/0.04	c Obj. Vars: 2136 (48.2494 % of total variables)
0.00/0.07	c Pre-processing Time: 0.069 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0   4020    10948    27163    2    21896    3649      0      0 0.07
0.00/0.07	c Switching off LPR mode.
0.00/0.07	o 25	0.07
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0   4020    10949    29134    2    23845    4649      1      0 0.07
0.00/0.08	o 24	0.073
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c        5   4020    10955    31409    2    25805    4649      7     68 0.07
1800.08/1800.40	c      105   4020    11055    34951    3    26005    5114    107   1071 0.10
1800.08/1800.40	c      355   4020    11305    46231    4    26505    5626    357   2052 0.17
1800.08/1800.40	c      831   4020    11781    60821    5    27457    6189    833   2715 0.31
1800.08/1800.40	c     1644   4020    12594    95846    7    29083    6808   1646   2810 0.58
1800.08/1800.40	c     2964   4020    13914   140611   10    31723    7489   2966   2027 1.46
1800.08/1800.40	c     5046   4020    15996   242606   15    35887    8238   5048   2320 2.17
1800.08/1800.40	c     8269   4020    19219   385657   20    42333    9062   8271   2474 3.34
1800.08/1800.40	c    13205   4020    17859   403381   22    37666    9969   6911   2653 4.98
1800.08/1800.40	c    20711   4020    18665   633241   33    39278   10966   7717   2639 7.85
1800.08/1800.40	c    32072   4020    16481   267233   16    34910   12063   5533   2469 12.99
1800.08/1800.40	c    49216   4020    18263   506568   27    38474   13270   7315   2545 19.33
1800.08/1800.40	c    75035   4020    19596   537423   27    41140   14598   8648   2568 29.22
1800.08/1800.40	c   113867   4020    22636   769976   34    47220   16058  11688   2210 51.51
1800.08/1800.40	c   172219   4020    23503  1027129   43    48954   17664  12555   2009 85.72
1800.08/1800.40	c   259852   4020    26520  1453389   54    54988   19431  15572   1960 132.54
1800.08/1800.40	c   391404   4020    23540   813268   34    49028   21375  12592   1963 199.35
1800.08/1800.40	c   588838   4020    24340  1144239   47    50628   23513  13392   1876 313.86
1800.08/1800.40	c   885091   4020    30334  1355664   44    62616   25865  19386   1860 475.66
1800.08/1800.40	c  1329573   4020    24205  1104471   45    50358   28452  13257   1631 814.75
1800.08/1800.40	c  1996400   4020    27315  1425163   52    56578   31298  16367   1556 1282.86
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	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 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   22  2768152 1667517 10790430    39618  1701684  28670   1537 1800.09
1800.08/1800.40	c Objective: 24
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.09 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-3735655-1338705672/watcher-3735655-1338705672 -o /tmp/evaluation-result-3735655-1338705672/solver-3735655-1338705672 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735655-1338705672.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.05 2.01 2.00 3/176 12141
/proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) D 12139 12141 9030 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336693258 2723840 48 33554432000 134512640 135840783 4292600848 4292598884 5551044 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 665 48 37 325 0 32 0

[startup+0.0893591 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12141
/proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=7280 CPUtime=0.07 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1266 0 0 0 7 0 0 0 20 0 1 0 336693258 7454720 1081 33554432000 134512640 135840783 4292600848 4292600084 6068787 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 1820 1081 349 325 0 756 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7280

[startup+0.100219 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12141
/proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=7280 CPUtime=0.08 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1266 0 0 0 8 0 0 0 20 0 1 0 336693258 7454720 1081 33554432000 134512640 135840783 4292600848 4292600136 1419462 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 1820 1081 349 325 0 756 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7280

[startup+0.300174 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12141
/proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=7544 CPUtime=0.28 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1326 0 0 0 28 0 0 0 20 0 1 0 336693258 7725056 1141 33554432000 134512640 135840783 4292600848 4292600208 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 1886 1141 349 325 0 822 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7544

[startup+0.700169 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 12141
/proc/meminfo: memFree=26855900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=8064 CPUtime=0.68 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1482 0 0 0 68 0 0 0 20 0 1 0 336693258 8257536 1297 33554432000 134512640 135840783 4292600848 4292600320 134552320 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 2016 1298 349 325 0 952 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8064

[startup+1.50017 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26852032/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=8840 CPUtime=1.48 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 1678 0 0 0 148 0 0 0 20 0 1 0 336693258 9052160 1493 33554432000 134512640 135840783 4292600848 4292600320 134552379 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 2210 1493 349 325 0 1146 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8840

[startup+3.10017 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26849792/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=11992 CPUtime=3.08 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 2435 0 0 0 308 0 0 0 20 0 1 0 336693258 12279808 2250 33554432000 134512640 135840783 4292600848 4292600144 134572675 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 2998 2250 349 325 0 1934 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11992

[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26844708/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=17188 CPUtime=6.28 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 3744 0 0 0 628 0 0 0 20 0 1 0 336693258 17600512 3559 33554432000 134512640 135840783 4292600848 4292600144 134572580 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 4297 3559 349 325 0 3233 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17188

[startup+12.7001 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26840888/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=18472 CPUtime=12.68 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 4072 0 0 0 1268 0 0 0 20 0 1 0 336693258 18915328 3887 33554432000 134512640 135840783 4292600848 4292600208 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 4618 3887 349 325 0 3554 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18472

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26839024/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=19996 CPUtime=25.47 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 4451 0 0 0 2547 0 0 0 20 0 1 0 336693258 20475904 4266 33554432000 134512640 135840783 4292600848 4292600208 134550893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 4999 4266 349 325 0 3935 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 19996

[startup+51.1001 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12142
/proc/meminfo: memFree=26836620/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=23372 CPUtime=51.07 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 5296 0 0 0 5106 1 0 0 20 0 1 0 336693258 23932928 5111 33554432000 134512640 135840783 4292600848 4292600020 6058046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 5843 5111 349 325 0 4779 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23372

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12143
/proc/meminfo: memFree=26828340/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=31932 CPUtime=102.26 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7450 0 0 0 10224 2 0 0 20 0 1 0 336693258 32698368 7253 33554432000 134512640 135840783 4292600848 4292600208 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 7983 7253 349 325 0 6919 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31932

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12143
/proc/meminfo: memFree=26736208/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=31932 CPUtime=162.25 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7452 0 0 0 16223 2 0 0 20 0 1 0 336693258 32698368 7255 33554432000 134512640 135840783 4292600848 4292600160 134550916 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 7983 7255 349 325 0 6919 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31932

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12143
/proc/meminfo: memFree=26645316/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=31936 CPUtime=222.24 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 7454 0 0 0 22222 2 0 0 20 0 1 0 336693258 32702464 7257 33554432000 134512640 135840783 4292600848 4292599936 6061219 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 7984 7257 349 325 0 6920 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 31936

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12182
/proc/meminfo: memFree=27282624/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=36616 CPUtime=282.23 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 8634 0 0 0 28221 2 0 0 20 0 1 0 336693258 37494784 8437 33554432000 134512640 135840783 4292600848 4292600144 134573166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 9154 8437 349 325 0 8090 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 36616

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12220
/proc/meminfo: memFree=27257864/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=36624 CPUtime=342.21 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 8638 0 0 0 34219 2 0 0 20 0 1 0 336693258 37502976 8439 33554432000 134512640 135840783 4292600848 4292600160 134551455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12141/statm: 9156 8439 349 325 0 8092 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36624

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12221
/proc/meminfo: memFree=27205084/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=45224 CPUtime=402.2 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 10787 0 0 0 40217 3 0 0 20 0 1 0 336693258 46309376 10584 33554432000 134512640 135840783 4292600848 4292600144 134571997 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 11306 10584 349 325 0 10242 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 45224

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12259
/proc/meminfo: memFree=27263324/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=45216 CPUtime=462.19 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 10787 0 0 0 46216 3 0 0 20 0 1 0 336693258 46301184 10584 33554432000 134512640 135840783 4292600848 4292600144 134571829 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 11304 10584 349 325 0 10240 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 45216

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12259
/proc/meminfo: memFree=27259352/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=48348 CPUtime=522.18 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11579 0 0 0 52215 3 0 0 20 0 1 0 336693258 49508352 11370 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 12087 11370 349 325 0 11023 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 48348

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12262
/proc/meminfo: memFree=27245356/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=48248 CPUtime=582.17 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11579 0 0 0 58214 3 0 0 20 0 1 0 336693258 49405952 11345 33554432000 134512640 135840783 4292600848 4292600208 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 12062 11345 349 325 0 10998 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 48248

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12263
/proc/meminfo: memFree=27245744/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=48248 CPUtime=822.13 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 11582 0 0 0 82210 3 0 0 20 0 1 0 336693258 49405952 11345 33554432000 134512640 135840783 4292600848 4292600160 1815081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 12062 11345 349 325 0 10998 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 48248

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12263
/proc/meminfo: memFree=27232352/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=61668 CPUtime=882.12 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14935 0 0 0 88208 4 0 0 20 0 1 0 336693258 63148032 14698 33554432000 134512640 135840783 4292600848 4292600208 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 15417 14698 349 325 0 14353 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 61668

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12263
/proc/meminfo: memFree=27232836/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=61180 CPUtime=942.1 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 94206 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551513 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 15295 14578 349 325 0 14231 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 61180

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12264
/proc/meminfo: memFree=27232836/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=61180 CPUtime=1002.09 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 100205 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 15295 14578 349 325 0 14231 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 61180

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12264
/proc/meminfo: memFree=27232220/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=61180 CPUtime=1062.09 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 14941 0 0 0 106205 4 0 0 20 0 1 0 336693258 62648320 14578 33554432000 134512640 135840783 4292600848 4292600208 134551400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 15295 14578 349 325 0 14231 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 61180

[startup+1122.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 12264
/proc/meminfo: memFree=27225828/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=67264 CPUtime=1122.08 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 112203 5 0 0 20 0 1 0 336693258 68878336 16099 33554432000 134512640 135840783 4292600848 4292600208 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16816 16099 349 325 0 15752 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 67264

[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 12267
/proc/meminfo: memFree=27226812/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=67068 CPUtime=1182.07 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 118202 5 0 0 20 0 1 0 336693258 68677632 16050 33554432000 134512640 135840783 4292600848 4292600144 134571985 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16767 16050 349 325 0 15703 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 67068

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 12290
/proc/meminfo: memFree=27227000/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66732 CPUtime=1242.06 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16465 0 0 0 124201 5 0 0 20 0 1 0 336693258 68333568 15966 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16683 15966 349 325 0 15619 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 66732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12291
/proc/meminfo: memFree=27227256/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1302.06 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 130201 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551294 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 66584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12291
/proc/meminfo: memFree=27227008/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1362.04 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 136199 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600368 134551981 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 66584

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12291
/proc/meminfo: memFree=27227132/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1422.04 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 142199 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 66584

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12291
/proc/meminfo: memFree=27227012/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1482.02 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 148197 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600368 134551970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 66584

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12291
/proc/meminfo: memFree=27227012/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1542.01 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 154196 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 66584

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12292
/proc/meminfo: memFree=27227384/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1602.01 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 160196 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 66584

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12292
/proc/meminfo: memFree=27227136/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1662 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 166195 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134551321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 66584

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12292
/proc/meminfo: memFree=27225648/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1721.99 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 172194 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134550567 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 66584

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12295
/proc/meminfo: memFree=27225520/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1781.98 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 178193 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600208 134550570 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 66584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12295
/proc/meminfo: memFree=27225900/32873648 swapFree=6860/6860
[pid=12141] ppid=12139 vsize=66584 CPUtime=1800.08 cores=0,2,4,6
/proc/12141/stat : 12141 (bsolo3.0.17) R 12139 12141 9030 0 -1 4202496 16467 0 0 0 180003 5 0 0 20 0 1 0 336693258 68182016 15929 33554432000 134512640 135840783 4292600848 4292600144 134571979 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 16646 15929 349 325 0 15582 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 66584

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1800.04
CPU system time (s): 0.056991
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 67276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.056991
maximum resident set size= 64396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16470
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= 42
involuntary context switches= 2220

runsolver used 3.35149 second user time and 8.78266 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 08:41:12
IDJOB=3735655
IDBENCH=24983
IDSOLVER=2318
FILE ID=node116/3735655-1338705672
RUNJOBID= node116-1338678620-9049
PBS_JOBID= 14636697
Free space on /tmp= 70988 MiB

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

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=471883544

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26856164 kB
Buffers:          546716 kB
Cached:          4118120 kB
SwapCached:         3028 kB
Active:          2672832 kB
Inactive:        2432088 kB
Active(anon):     430096 kB
Inactive(anon):     8500 kB
Active(file):    2242736 kB
Inactive(file):  2423588 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              6836 kB
Writeback:             0 kB
AnonPages:        441256 kB
Mapped:            13324 kB
Shmem:                68 kB
Slab:             773608 kB
SReclaimable:     218164 kB
SUnreclaim:       555444 kB
KernelStack:        1448 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     552324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71024 MiB
End job on node116 at 2012-06-03 09:11:14