Trace number 3462901

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.2SAT30 1798.01 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark28.1547
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 2531
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 2531
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 2531
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-3462901-1307180731.opb
0.00/0.00	c File size is 462714 bytes.
0.00/0.03	c Highest Coefficient sum: 2531
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.03 s
0.00/0.03	c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006
0.00/0.03	c Obj. Vars: 2531 (48.1545 % of total variables)
0.00/0.08	c Pre-processing Time: 0.084 s
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0   4802    13650    34006    2    27300    4549      0      0 0.08
0.00/0.08	c Switching off lower bounding mode.
0.00/0.08	o 33
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c        7   4802    13661    36485    2    29598    5549     11     79 0.09
0.89/0.91	c      108   4802    13791    40321    2    29858    6104    141    477 0.23
0.89/0.91	c      358   4802    14207    47423    3    30690    6715    557    922 0.39
0.89/0.91	o 32
37.89/37.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.89/37.94	c      744   4802    14677    70807    4    33907    5549   1027    810 0.92
37.89/37.94	c      845   4802    14838    74126    4    34229    6104   1188    826 1.02
37.89/37.94	c     1097   4802    15131    84951    5    34815    6715   1481    793 1.38
37.89/37.94	c     1572   4802    15647   104581    6    35847    7387   1997    753 2.09
37.89/37.94	c     2385   4802    16525   142454    8    37603    8126   2875    705 3.38
37.89/37.94	c     3705   4802    17900   228177   12    40353    8939   4250    643 5.76
37.89/37.94	c     5787   4802    20040   321614   16    44633    9833   6390    645 8.97
37.89/37.94	c     9010   4802    23428   557602   23    51409   10817   9778    609 14.79
37.89/37.94	c    13947   4802    21433   461463   21    47417   11899   7783    598 23.28
37.89/37.94	c    21453   4802    22210   559248   25    46697   13089   8560    583 36.76
37.89/37.94	o 31
1733.32/1733.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1733.32/1733.31	c    22159   4802    22977   592138   25    50509    5550   9327    583 37.95
1733.32/1733.31	c    22260   4802    16542   180838   10    35362    6106   2892    583 38.12
1733.32/1733.31	c    22510   4802    16805   191832   11    35888    6717   3155    584 38.52
1733.32/1733.31	c    22985   4802    17357   217345   12    36992    7389   3707    584 39.30
1733.32/1733.31	c    23799   4802    18194   248316   13    38666    8128   4544    586 40.55
1733.32/1733.31	c    25122   4802    19688   330708   16    41654    8941   6038    591 42.50
1733.32/1733.31	c    27204   4802    21921   469142   21    46120    9836   8271    590 46.06
1733.32/1733.31	c    30427   4802    18569   337475   18    39416   10820   4919    587 51.77
1733.32/1733.31	c    35364   4802    23902   628520   26    50082   11903  10252    587 60.22
1733.32/1733.31	c    42870   4802    23768   530663   22    49814   13094  10118    588 72.81
1733.32/1733.31	c    54232   4802    27049   929082   34    63193   14404  13399    576 94.14
1733.32/1733.31	c    71378   4802    26031   975110   37    56616   15845  12381    553 128.84
1733.32/1733.31	c    97197   4802    24258   746665   30    50794   17430  10608    549 176.80
1733.32/1733.31	c   136029   4802    22366   691629   30    47010   19174   8716    525 258.81
1733.32/1733.31	c   194381   4802    24045   508531   21    52643   21092  10395    501 387.63
1733.32/1733.31	c   282013   4802    24581   557256   22    51440   23202  10931    489 575.87
1733.32/1733.31	c   413565   4802    28665  1723206   60    68670   25523  15015    480 861.03
1733.32/1733.31	c   610997   4802    27247  1267508   46    56772   28076  13597    441 1383.93
1733.32/1733.31	o 30
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c   750117   4802    30378  1393619   45    65313    5549  16728    432 1733.34
1797.92/1797.97	c   750217   4802    16565   190009   11    35409    6104   2915    432 1733.67
1797.92/1797.97	c   750467   4802    16924   198352   11    36127    6715   3274    432 1733.98
1797.92/1797.97	c   750942   4802    17495   224484   12    37269    7387   3845    432 1734.70
1797.92/1797.97	c   751755   4802    18330   255679   13    38939    8126   4680    433 1735.98
1797.92/1797.97	c   753075   4802    19709   326677   16    41697    8939   6059    433 1738.38
1797.92/1797.97	c   755156   4802    21910   475540   21    46099    9833   8260    433 1742.15
1797.92/1797.97	c   758379   4802    18568   277548   14    39415   10817   4918    433 1747.64
1797.92/1797.97	c   763316   4802    23726   492391   20    49731   11899  10076    434 1756.60
1797.92/1797.97	c   770823   4802    23594   706298   29    49467   13089   9944    435 1770.55
1797.92/1797.97	c   782184   4802    26871   959945   35    58298   14398  13221    436 1792.04
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	v -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 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -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 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -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 -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 -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 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -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 -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 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -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 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -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 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -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 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 x4346 -x4348 -x4350 -x4352 -x4354 x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 x5172 -x5174 -x5176 -x5178 -x5180 -x5182 x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 x5244 -x5246 -x5248 x5250 -x5252 x5254 x5256 -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 -x1 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x2 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x3 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x4 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x5 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x6 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x7 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x8 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x9 -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 -x10 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x11 -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 -x12 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x13 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x14 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x15 -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 -x16 -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 -x17 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x18 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x19 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 x20 -x1095 -x1097 -x1099 x1101 -x1103 -x1105 -x1107 -x21 -x1109 -x1111 -x1113 -x22 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x23 -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 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x24 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x25 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x26 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x27 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x28 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x29 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x30 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x31 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x32 -x1397 -x1399 -x1401 -x33 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x34 -x1417 -x1419 -x1421 -x35 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x36 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x37 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x38 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x39 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x40 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x41 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x42 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x43 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x44 -x1661 -x1663 -x1665 -x45 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x46 -x1681 -x1683 -x1685 -x47 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x48 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x49 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x50 -x1745 -x1747 -x1749 -x51 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 x1765 -x1767 -x1769 x52 x1771 -x1773 -x1775 -x53 x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x54 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x56 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -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 -x57 -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 -x58 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x59 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x60 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x61 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x62 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x63 -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 -x64 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x65 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x66 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x67 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 x68 -x2449 -x2451 -x2453 x2455 -x2457 -x2459 -x2461 -x69 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 x70 -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 -x71 -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 -x72 -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 -x73 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x74 -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 -x2815 -x2817 -x2819 -x2821 -x2823 -x75 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x76 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x77 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x78 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x79 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x80 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x81 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x82 -x3123 -x3125 -x3127 -x3129 -x3131 -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 -x83 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x84 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x85 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x86 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x87 -x3255 -x3257 -x3259 -x88 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x89 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x90 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x91 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x92 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x93 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x94 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x95 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x96 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x97 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x98 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x99 -x3591 -x3593 -x3595 -x100 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x101 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x102 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x103 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x104 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x105 -x3699 -x3701 -x106 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x107 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x108 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x109 -x3761 -x3763 -x3765 -x110 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x111 -x3781 -x3783 -x3785 -x112 -x3787 -x3789 -x3791 -x113 -x3793 -x114 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x115 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x116 -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 -x117 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x118 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x119 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x120 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x121 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x122 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x123 -x4031 -x4033 -x4035 -x124 -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 -x125 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x126 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x128 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x129 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x130 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x131 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 x4345 -x4347 -x4349 -x4351 -x4353 x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x132 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 x4399 -x4401 -x133 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x134 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x135 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x136 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x137 -x4475 -x4477 -x4479 -x138 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x139 -x4495 -x4497 -x4499 -x140 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 x141 x4515 -x4517 -x4519 -x142 -x4521 -x4523 -x4525 -x143 -x4527 -x144 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x145 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x146 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x147 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x148 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x149 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x150 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x151 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x152 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x153 -x4765 -x4767 -x4769 -x154 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x155 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x156 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x157 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x158 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x159 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x160 -x4899 -x4901 -x4903 -x161 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x162 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x163 -x4933 -x4935 -x164 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x165 -x4951 -x4953 -x4955 -x166 -x4957 -x4959 -x4961 -x167 -x4963 -x168 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 x5001 -x5003 -x5005 -x5007 -x169 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x170 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x171 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x172 -x5067 -x5069 -x5071 -x173 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x174 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x175 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x176 -x5131 -x5133 -x5135 -x177 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x178 -x5151 -x5153 -x5155 -x179 -x5157 -x5159 -x5161 -x180 -x5163 -x5165 -x5167 -x5169 x5171 -x5173 -x5175 -x5177 x181 -x5179 -x5181 x5183 -x5185 -x5187 -x5189 -x5191 -x182 -x5193 -x5195 -x5197 x183 -x5199 x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x184 -x5213 -x5215 -x185 -x5217 -x5219 -x5221 -x186 -x5223 -x187 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x188 -x5237 -x5239 -x5241 x189 x5243 -x5245 -x5247 -x190 x5249 x191 -x5251 x5253 x192 x5255 x193 x194 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   42   785439 454991  2812828    21214   431341   7564    436 1798.01
1797.92/1797.97	c Objective: 30
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798.01 s

Verifier Data 

OK	30

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462901-1307180731/watcher-3462901-1307180731 -o /tmp/evaluation-result-3462901-1307180731/solver-3462901-1307180731 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462901-1307180731.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.08 2.05 2.01 2/489 31049
/proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=12076 CPUtime=0.01 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 538 0 0 0 1 0 0 0 25 0 1 0 829671607 12365824 493 33554432000 134512640 137138936 4286928016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3019 493 214 642 0 2262 0

[startup+0.099819 s]
/proc/loadavg: 2.08 2.05 2.01 2/489 31049
/proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=13988 CPUtime=0.09 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1279 0 0 0 9 0 0 0 25 0 1 0 829671607 14323712 1071 33554432000 134512640 137138936 4286928016 18446744073709551615 134599813 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3497 1071 192 642 0 2853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13988

[startup+0.100818 s]
/proc/loadavg: 2.08 2.05 2.01 2/489 31049
/proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=13988 CPUtime=0.09 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1279 0 0 0 9 0 0 0 25 0 1 0 829671607 14323712 1071 33554432000 134512640 137138936 4286928016 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3497 1071 192 642 0 2853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13988

[startup+0.300784 s]
/proc/loadavg: 2.08 2.05 2.01 2/489 31049
/proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=13988 CPUtime=0.29 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1284 0 0 0 28 1 0 0 25 0 1 0 829671607 14323712 1076 33554432000 134512640 137138936 4286928016 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3497 1076 192 642 0 2853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13988

[startup+0.700742 s]
/proc/loadavg: 2.08 2.05 2.01 2/489 31049
/proc/meminfo: memFree=27092656/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=14160 CPUtime=0.69 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 1584 0 0 0 68 1 0 0 25 0 1 0 829671607 14499840 1120 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3540 1120 192 642 0 2896 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14160

[startup+1.50062 s]
/proc/loadavg: 2.08 2.05 2.01 3/490 31050
/proc/meminfo: memFree=27087812/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=14600 CPUtime=1.49 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 3788 0 0 0 147 2 0 0 25 0 1 0 829671607 14950400 1230 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3650 1230 192 642 0 3006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14600

[startup+3.10034 s]
/proc/loadavg: 2.08 2.05 2.01 3/490 31050
/proc/meminfo: memFree=27086324/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=15344 CPUtime=3.09 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 9343 0 0 0 305 4 0 0 25 0 1 0 829671607 15712256 1415 33554432000 134512640 137138936 4286928016 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 3836 1415 192 642 0 3192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15344

[startup+6.30078 s]
/proc/loadavg: 2.08 2.05 2.01 3/490 31050
/proc/meminfo: memFree=27084228/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=16924 CPUtime=6.29 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 20564 0 0 0 623 6 0 0 25 0 1 0 829671607 17330176 1811 33554432000 134512640 137138936 4286928016 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 4231 1811 192 642 0 3587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16924

[startup+12.7007 s]
/proc/loadavg: 2.07 2.05 2.01 3/490 31050
/proc/meminfo: memFree=27079948/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=20384 CPUtime=12.7 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 40760 0 0 0 1260 10 0 0 25 0 1 0 829671607 20873216 2676 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 5096 2676 192 642 0 4452 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20384

[startup+25.5006 s]
/proc/loadavg: 2.12 2.06 2.01 3/490 31052
/proc/meminfo: memFree=27076476/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=23648 CPUtime=25.49 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 62827 0 0 0 2535 14 0 0 25 0 1 0 829671607 24215552 3492 33554432000 134512640 137138936 4286928016 18446744073709551615 134542866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 5912 3492 192 642 0 5268 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23648

[startup+51.1003 s]
/proc/loadavg: 2.15 2.07 2.01 3/490 31053
/proc/meminfo: memFree=27074872/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=25320 CPUtime=51.09 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 68812 0 0 0 5091 18 0 0 25 0 1 0 829671607 25927680 3909 33554432000 134512640 137138936 4286928016 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 6330 3909 192 642 0 5686 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25320

[startup+102.319 s]
/proc/loadavg: 2.06 2.06 2.01 3/490 31055
/proc/meminfo: memFree=27070268/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=29996 CPUtime=102.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 83275 0 0 0 10206 25 0 0 25 0 1 0 829671607 30715904 5079 33554432000 134512640 137138936 4286928016 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 7499 5079 192 642 0 6855 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29996

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/490 31056
/proc/meminfo: memFree=27065032/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=34100 CPUtime=162.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 98833 0 0 0 16196 34 0 0 25 0 1 0 829671607 34918400 6105 33554432000 134512640 137138936 4286928016 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 8525 6105 192 642 0 7881 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 34100

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 31058
/proc/meminfo: memFree=27065256/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=34080 CPUtime=222.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 98835 0 0 0 22191 39 0 0 25 0 1 0 829671607 34897920 6100 33554432000 134512640 137138936 4286928016 18446744073709551615 134606693 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 8520 6100 192 642 0 7876 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34080

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31061
/proc/meminfo: memFree=27063612/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=35836 CPUtime=282.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 105935 0 0 0 28187 43 0 0 25 0 1 0 829671607 36696064 6539 33554432000 134512640 137138936 4286928016 18446744073709551615 134552075 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 8959 6539 192 642 0 8315 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35836

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31062
/proc/meminfo: memFree=27062576/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=36956 CPUtime=342.29 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111100 0 0 0 34183 46 0 0 25 0 1 0 829671607 37842944 6819 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 9239 6819 192 642 0 8595 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 36956

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31065
/proc/meminfo: memFree=27060536/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=36956 CPUtime=402.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111100 0 0 0 40179 51 0 0 25 0 1 0 829671607 37842944 6819 33554432000 134512640 137138936 4286928016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 9239 6819 192 642 0 8595 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36956

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31067
/proc/meminfo: memFree=27060856/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=36940 CPUtime=462.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 46175 55 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 9235 6815 192 642 0 8591 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36940

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 31070
/proc/meminfo: memFree=27060936/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=36940 CPUtime=522.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 52170 60 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134603182 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 9235 6815 192 642 0 8591 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36940

[startup+582.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/490 31072
/proc/meminfo: memFree=27061016/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=36940 CPUtime=582.3 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 111102 0 0 0 58166 64 0 0 25 0 1 0 829671607 37826560 6815 33554432000 134512640 137138936 4286928016 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 9235 6815 192 642 0 8591 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 36940

[startup+642.301 s]

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

/proc/meminfo: memFree=27026160/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=57792 CPUtime=1062.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 167352 0 0 0 106125 106 0 0 25 0 1 0 829671607 59179008 12027 33554432000 134512640 137138936 4286928016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 14448 12027 192 642 0 13804 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 57792

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31105
/proc/meminfo: memFree=27021540/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=62148 CPUtime=1122.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 177535 0 0 0 112121 110 0 0 25 0 1 0 829671607 63639552 13117 33554432000 134512640 137138936 4286928016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 15537 13117 192 642 0 14893 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 62148

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/490 31108
/proc/meminfo: memFree=27011576/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72364 CPUtime=1182.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 118113 118 0 0 25 0 1 0 829671607 74100736 15671 33554432000 134512640 137138936 4286928016 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18091 15671 192 642 0 17447 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 72364

[startup+1242.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/490 31109
/proc/meminfo: memFree=27004592/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72360 CPUtime=1242.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 124110 121 0 0 25 0 1 0 829671607 74096640 15670 33554432000 134512640 137138936 4286928016 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18090 15670 192 642 0 17446 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 72360

[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/490 31111
/proc/meminfo: memFree=26988284/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72360 CPUtime=1302.33 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 130109 124 0 0 25 0 1 0 829671607 74096640 15670 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18090 15670 192 642 0 17446 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 72360

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/490 31112
/proc/meminfo: memFree=26988468/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72352 CPUtime=1362.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204498 0 0 0 136103 128 0 0 25 0 1 0 829671607 74088448 15668 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18088 15668 192 642 0 17444 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 72352

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 31115
/proc/meminfo: memFree=26988428/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72336 CPUtime=1422.33 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 142100 133 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18084 15664 192 642 0 17440 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 72336

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31117
/proc/meminfo: memFree=26985896/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72336 CPUtime=1482.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 148094 137 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18084 15664 192 642 0 17440 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 72336

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31118
/proc/meminfo: memFree=26983736/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72336 CPUtime=1542.32 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 154091 141 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18084 15664 192 642 0 17440 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 72336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 31236
/proc/meminfo: memFree=26990192/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72336 CPUtime=1602.32 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 160088 144 0 0 25 0 1 0 829671607 74072064 15664 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18084 15664 192 642 0 17440 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 72336

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 31237
/proc/meminfo: memFree=26896436/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72328 CPUtime=1662.31 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204500 0 0 0 166083 148 0 0 25 0 1 0 829671607 74063872 15662 33554432000 134512640 137138936 4286928016 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18082 15662 192 642 0 17438 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 72328

[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/490 31239
/proc/meminfo: memFree=26830556/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72328 CPUtime=1722.32 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 172080 152 0 0 25 0 1 0 829671607 74063872 15662 33554432000 134512640 137138936 4286928016 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18082 15662 192 642 0 17438 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 72328

[startup+1782.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26766772/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72320 CPUtime=1782.32 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 178073 159 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18080 15660 192 642 0 17436 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 72320

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

[startup+1785.5 s]
/proc/loadavg: 2.22 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26763300/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72320 CPUtime=1785.52 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 178393 159 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18080 15660 192 642 0 17436 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 72320

[startup+1791.92 s]
/proc/loadavg: 2.20 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26759440/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72320 CPUtime=1791.94 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179034 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18080 15660 192 642 0 17436 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 72320

[startup+1795.1 s]
/proc/loadavg: 2.19 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26756216/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72320 CPUtime=1795.13 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179353 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18080 15660 192 642 0 17436 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 72320

[startup+1796.7 s]
/proc/loadavg: 2.19 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26754976/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72320 CPUtime=1796.72 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179512 160 0 0 25 0 1 0 829671607 74055680 15660 33554432000 134512640 137138936 4286928016 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18080 15660 192 642 0 17436 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 72320

[startup+1797.5 s]
/proc/loadavg: 2.19 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26753364/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72316 CPUtime=1797.52 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179592 160 0 0 25 0 1 0 829671607 74051584 15659 33554432000 134512640 137138936 4286928016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18079 15659 192 642 0 17435 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 72316

[startup+1797.9 s]
/proc/loadavg: 2.19 2.07 2.02 3/490 31241
/proc/meminfo: memFree=26753364/32951124 swapFree=63649284/67111528
[pid=31049] ppid=31046 vsize=72316 CPUtime=1797.92 cores=0,2,4,6
/proc/31049/stat : 31049 (bsolo) R 31046 31049 28154 0 -1 4202496 204501 0 0 0 179632 160 0 0 25 0 1 0 829671607 74051584 15659 33554432000 134512640 137138936 4286928016 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31049/statm: 18079 15659 192 642 0 17435 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 72316

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.01
CPU user time (s): 1796.4
CPU system time (s): 1.61076
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 72364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.4
system time used= 1.61075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204502
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= 5
involuntary context switches= 2936

runsolver used 9.37957 second user time and 19.0361 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 11:45:31
IDJOB=3462901
IDBENCH=24999
IDSOLVER=1955
FILE ID=node130/3462901-1307180731
RUNJOBID= node130-1307175073-30136
PBS_JOBID= 13508832
Free space on /tmp= 73852 MiB

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

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1329058262

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27092696 kB
Buffers:        286564 kB
Cached:         454880 kB
SwapCached:       9700 kB
Active:        5192936 kB
Inactive:       383480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27092696 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:            4312 kB
Writeback:           0 kB
AnonPages:     4833564 kB
Mapped:          31452 kB
Slab:           158228 kB
PageTables:      54204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145154552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73848 MiB
End job on node130 at 2011-06-04 12:15:29