Trace number 3708155

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.2SAT27 1798.01 1798.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
MD5SUM6e9753dce198ef5ddba763a137b390c4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.81972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3973
Total number of constraints11097
Number of constraints which are clauses11097
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 1906
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 1906
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1906
Number of bits of the biggest sum of numbers11
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-3708155-1338163277.opb
0.00/0.00	c File size is 328518 bytes.
0.00/0.02	c Highest Coefficient sum: 1906
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.021 s
0.00/0.02	c Var: 3973 Constr: 11097 11097/0/0 Lit: 27293 Watch. Lit: 22087
0.00/0.02	c Obj. Vars: 1906 (47.9738 % of total variables)
0.03/0.05	c Pre-processing Time: 0.055 s
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c        0   3698     9734    24327    2    19468    3244      0      0 0.06
0.03/0.05	c Switching off lower bounding mode.
0.03/0.06	o 30
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c        0   3698     9735    26126    2    21240    4244      1      0 0.06
1.39/1.44	c      100   3698     9840    36875    3    24979    4669    106    581 0.17
1.39/1.44	c      350   3698    10250    43255    4    25799    5136    516   1086 0.32
1.39/1.44	c      826   3698    10829    65186    6    26957    5650   1095    978 0.84
1.39/1.44	o 29
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c     1314   3698    11327    90250    7    31490    4244   1593    909 1.44
1.59/1.68	c     1414   3698    11436    93909    8    31708    4669   1702    906 1.56
1.59/1.68	o 28
768.45/768.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
768.45/768.66	c     1519   3698    11560   101881    8    33728    4244   1826    903 1.68
768.45/768.66	c     1619   3698    11669   105875    9    33946    4669   1935    893 1.81
768.45/768.66	c     1869   3698    11947   120578   10    36272    5136   2213    874 2.14
768.45/768.66	c     2345   3698    12423   134285   10    37224    5650   2689    855 2.74
768.45/768.66	c     3158   3698    13267   182683   13    40682    6216   3533    806 3.91
768.45/768.66	c     4479   3698    14662   251476   17    43472    6838   4928    772 5.80
768.45/768.66	c     6560   3698    13154   250751   19    28080    7522   3420    730 8.98
768.45/768.66	c     9783   3698    16560   417592   25    36661    8275   6826    755 12.94
768.45/768.66	c    14719   3698    16167   382326   23    34106    9103   6433    757 19.43
768.45/768.66	c    22226   3698    18056   436909   24    46713   10014   8322    751 29.57
768.45/768.66	c    33587   3698    16882   557608   33    37295   11016   7148    743 45.19
768.45/768.66	c    50731   3698    20932   485652   23    43636   12118  11198    759 66.77
768.45/768.66	c    76550   3698    18196   584857   32    38164   13330   8462    772 99.10
768.45/768.66	c   115382   3698    17588   463669   26    36948   14664   7854    761 151.50
768.45/768.66	c   173735   3698    17067   907296   53    35906   16131   7333    750 231.41
768.45/768.66	c   261367   3698    22540   979438   43    50387   17745  12806    727 359.09
768.45/768.66	c   392919   3698    19357   894282   46    42237   19520   9623    728 539.60
768.45/768.66	o 27
1797.99/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.30	c   571233   3698    21185   945592   44    49437    4244  11451    743 768.52
1797.99/1798.30	c   571334   3698    11962   208510   17    25697    4669   2228    743 768.68
1797.99/1798.30	c   571584   3698    12299   218487   17    26371    5136   2565    743 768.91
1797.99/1798.30	c   572060   3698    12795   234281   18    27363    5650   3061    743 769.43
1797.99/1798.30	c   572873   3698    13667   278533   20    29107    6216   3933    743 770.41
1797.99/1798.30	c   574194   3698    14998   319499   21    31769    6838   5264    743 771.93
1797.99/1798.30	c   576275   3698    13154   164803   12    31616    7522   3420    744 774.42
1797.99/1798.30	c   579498   3698    16552   334631   20    38412    8275   6818    744 778.63
1797.99/1798.30	c   584434   3698    15998   394377   24    35528    9103   6264    744 784.70
1797.99/1798.30	c   591942   3698    17596   487113   27    36965   10014   7862    745 794.15
1797.99/1798.30	c   603303   3698    16760   336966   20    35293   11016   7026    746 808.00
1797.99/1798.30	c   620447   3698    20856   814665   39    45256   12118  11122    748 829.18
1797.99/1798.30	c   646266   3698    17225   499302   28    37994   13330   7491    748 863.56
1797.99/1798.30	c   685098   3698    17194   358316   20    36161   14664   7460    750 912.98
1797.99/1798.30	c   743450   3698    17770   809445   45    37313   16131   8036    747 994.36
1797.99/1798.30	c   831082   3698    23350  1026063   43    48473   17745  13616    739 1124.12
1797.99/1798.30	c   962635   3698    24071   840768   34    49915   19520  14337    740 1299.84
1797.99/1798.30	c  1160067   3698    27774   881956   31    57321   21473  18040    733 1580.57
1797.99/1798.30	c Resources Exceeded
1797.99/1798.30	v -x172 -x174 -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 -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 x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -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 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -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 -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 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -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 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -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 -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 -x3933 -x3935 x3937 x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 x3955 -x3957 x3959 -x3961 -x3963 -x3965 -x3967 x3969 -x3971 x3973 -x171 -x173 -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 -x1 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x4 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -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 -x6 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x7 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x8 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x9 -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 -x760 -x762 -x764 -x766 -x768 -x770 -x10 -x772 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x11 -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 -x12 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x13 -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 -x14 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x15 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x16 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x17 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x18 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x19 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x20 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x21 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x22 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x23 -x1127 -x1129 -x1131 -x24 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x25 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x26 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x27 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x28 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x29 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x30 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x31 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x32 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x33 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x34 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x35 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x36 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x37 -x1465 -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 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x38 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x39 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x40 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x41 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x42 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 x43 -x1671 x1673 -x1675 -x44 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x45 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x46 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x47 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x48 -x1749 -x1751 -x1753 -x49 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x50 -x1769 -x1771 -x1773 -x51 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x52 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x53 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x54 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x56 -x1853 -x1855 -x1857 -x57 -x1859 -x1861 x1863 x58 -x1865 -x59 -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 -x60 -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 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 x2015 -x2017 -x2019 -x61 -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 -x62 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x63 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x64 -x2125 -x2127 -x2129 -x2131 -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 -x65 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x66 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x67 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x68 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x69 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x70 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x71 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x72 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 x73 -x2363 x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x74 -x2377 -x2379 x2381 -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 -x75 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x76 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x77 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x78 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x79 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x80 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x81 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x82 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x83 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x84 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x85 -x2661 -x2663 -x2665 -x86 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x87 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x88 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x89 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x90 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x91 -x2769 -x2771 -x2773 -x92 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x93 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x94 -x2803 -x2805 -x95 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x96 -x2821 -x2823 -x2825 -x97 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x98 -x2841 -x2843 -x2845 -x99 -x2847 -x2849 -x2851 -x100 -x2853 -x2855 -x2857 x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -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 -x101 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x102 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x103 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x104 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3040 -x3042 -x3044 -x3046 -x105 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x106 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x107 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x108 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x109 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x110 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x111 -x3164 -x3166 -x3168 -x112 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x113 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x114 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x115 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x116 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x117 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x118 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x119 -x3316 -x3318 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x120 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x121 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x122 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x123 -x3392 -x3394 -x3396 -x124 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x125 -x3412 -x3414 -x3416 -x126 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x127 -x3432 -x3434 -x3436 -x128 -x3438 -x3440 -x3442 -x129 -x3444 -x130 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x131 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 x132 -x3504 -x3506 -x3508 -x3510 x3512 -x3514 -x3516 -x133 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x134 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x135 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x136 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x137 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x138 -x3620 -x3622 -x3624 -x139 -x3626 -x3629 -x3631 -x3633 -x3635 -x140 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x141 -x3651 -x3653 -x3655 -x142 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x143 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x144 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x145 -x3715 -x3717 -x146 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 x147 x3733 -x3735 -x3737 -x148 -x3739 -x3741 -x3743 -x149 -x3745 -x150 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x151 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x152 -x3775 -x3778 -x3780 -x3782 -x3784 -x3786 x3788 -x3790 -x3792 -x153 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x154 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x155 -x3822 -x3824 -x3826 -x156 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x157 -x3842 -x3844 -x3846 -x158 -x3848 -x3850 -x3852 -x159 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 x3878 -x3880 -x160 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x161 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x162 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 x3924 -x3926 -x3928 -x163 -x3930 -x3932 -x3934 x3936 x3938 -x3940 -x164 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 x3954 -x3956 x3958 x165 -x3960 -x3962 -x3964 -x166 -x3966 x167 x3968 -x3970 -x168 x3972 x169 x170 
1797.99/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.30	c   41  1305949 807668  4966679    20702  1985288  10968    726 1798.01
1797.99/1798.30	c Objective: 27
1797.99/1798.30	s SATISFIABLE
1797.99/1798.30	c Total time: 1798.01 s

Verifier Data 

OK	27

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29657
/proc/meminfo: memFree=27940296/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=11400 CPUtime=0 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 282453194 11673600 317 33554432000 134512640 137138936 4287853488 4287851592 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 2850 317 181 642 0 2125 0

[startup+0.0418411 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29657
/proc/meminfo: memFree=27940296/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=12988 CPUtime=0.03 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 910 0 0 0 3 0 0 0 20 0 1 0 282453194 13299712 782 33554432000 134512640 137138936 4287853488 4287804476 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3247 782 184 642 0 2603 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12988

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29657
/proc/meminfo: memFree=27940296/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=13124 CPUtime=0.09 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 1006 0 0 0 9 0 0 0 20 0 1 0 282453194 13438976 849 33554432000 134512640 137138936 4287853488 4287852016 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3281 849 192 642 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13124

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29657
/proc/meminfo: memFree=27940296/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=13260 CPUtime=0.28 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 1051 0 0 0 28 0 0 0 20 0 1 0 282453194 13578240 892 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3315 892 192 642 0 2671 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13260

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29657
/proc/meminfo: memFree=27940296/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=13548 CPUtime=0.69 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 1121 0 0 0 68 1 0 0 20 0 1 0 282453194 13873152 958 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3387 958 192 642 0 2743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13548

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29658
/proc/meminfo: memFree=27937104/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=14104 CPUtime=1.49 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 1272 0 0 0 148 1 0 0 20 0 1 0 282453194 14442496 1104 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3526 1104 192 642 0 2882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14104

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29658
/proc/meminfo: memFree=27935972/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=15164 CPUtime=3.09 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 1582 0 0 0 307 2 0 0 20 0 1 0 282453194 15527936 1367 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 3791 1367 192 642 0 3147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15164

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29658
/proc/meminfo: memFree=27934240/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=16964 CPUtime=6.29 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 2522 0 0 0 626 3 0 0 20 0 1 0 282453194 17371136 1819 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 4241 1819 192 642 0 3597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16964

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29658
/proc/meminfo: memFree=27930320/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=19064 CPUtime=12.68 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 3409 0 0 0 1264 4 0 0 20 0 1 0 282453194 19521536 2342 33554432000 134512640 137138936 4287853488 4287852416 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 4766 2342 192 642 0 4122 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19064

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29658
/proc/meminfo: memFree=27924380/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=21248 CPUtime=25.48 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 4047 0 0 0 2542 6 0 0 20 0 1 0 282453194 21757952 2886 33554432000 134512640 137138936 4287853488 4287852016 134603223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 5312 2886 192 642 0 4668 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21248

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29658
/proc/meminfo: memFree=27920604/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=25836 CPUtime=51.07 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 5279 0 0 0 5096 11 0 0 20 0 1 0 282453194 26456064 4034 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 6459 4034 192 642 0 5815 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25836

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29658
/proc/meminfo: memFree=27917500/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=27656 CPUtime=102.28 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 5748 0 0 0 10208 20 0 0 20 0 1 0 282453194 28319744 4488 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 6914 4488 192 642 0 6270 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27656

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29658
/proc/meminfo: memFree=27917380/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=27668 CPUtime=162.25 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 5751 0 0 0 16198 27 0 0 20 0 1 0 282453194 28332032 4491 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 6917 4491 192 642 0 6273 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27668

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29658
/proc/meminfo: memFree=27913968/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=31364 CPUtime=222.25 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 7006 0 0 0 22190 35 0 0 20 0 1 0 282453194 32116736 5420 33554432000 134512640 137138936 4287853488 4287852592 134543427 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 7841 5420 192 642 0 7197 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31364

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29659
/proc/meminfo: memFree=27908752/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=37060 CPUtime=282.23 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 8457 0 0 0 28180 43 0 0 20 0 1 0 282453194 37949440 6846 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 9265 6846 192 642 0 8621 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37060

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29659
/proc/meminfo: memFree=27894976/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48496 CPUtime=342.22 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 11550 0 0 0 34173 49 0 0 20 0 1 0 282453194 49659904 9705 33554432000 134512640 137138936 4287853488 4287851848 136504780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12124 9705 192 642 0 11480 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48496

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29659
/proc/meminfo: memFree=27891256/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48172 CPUtime=402.2 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 11552 0 0 0 40162 58 0 0 20 0 1 0 282453194 49328128 9624 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12043 9624 192 642 0 11399 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 48172

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29659
/proc/meminfo: memFree=27894916/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=42020 CPUtime=462.2 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 11552 0 0 0 46152 68 0 0 20 0 1 0 282453194 43028480 8086 33554432000 134512640 137138936 4287853488 4287852416 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10505 8086 192 642 0 9861 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 42020

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29659
/proc/meminfo: memFree=27896900/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=42016 CPUtime=522.19 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 11552 0 0 0 52142 77 0 0 20 0 1 0 282453194 43024384 8085 33554432000 134512640 137138936 4287853488 4287852240 134575759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10504 8085 192 642 0 9860 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 42016

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29663
/proc/meminfo: memFree=27894336/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=45580 CPUtime=582.18 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 58132 86 0 0 20 0 1 0 282453194 46673920 8975 33554432000 134512640 137138936 4287853488 4287852096 134552407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 11395 8975 192 642 0 10751 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 45580

[startup+642.3 s]

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

/proc/meminfo: memFree=27883016/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1062.1 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 106059 151 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852416 134542796 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 41612

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29664
/proc/meminfo: memFree=27882892/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1122.1 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 112053 157 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852416 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 41612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29668
/proc/meminfo: memFree=27882524/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1182.09 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 118045 164 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852416 134542808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 41612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29668
/proc/meminfo: memFree=27882656/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1242.08 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 124037 171 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 41612

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29668
/proc/meminfo: memFree=27882656/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1302.08 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 130028 180 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852416 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 41612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29668
/proc/meminfo: memFree=27882532/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1362.06 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 136015 191 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852416 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 41612

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29668
/proc/meminfo: memFree=27882656/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=41612 CPUtime=1422.05 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 12530 0 0 0 142008 197 0 0 20 0 1 0 282453194 42610688 7984 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 10403 7984 192 642 0 9759 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 41612

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 29669
/proc/meminfo: memFree=27876972/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48888 CPUtime=1482.04 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14381 0 0 0 148000 204 0 0 20 0 1 0 282453194 50061312 9803 33554432000 134512640 137138936 4287853488 4287852416 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12222 9803 192 642 0 11578 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 48888

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 29671
/proc/meminfo: memFree=27876464/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48800 CPUtime=1542.03 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14383 0 0 0 153991 212 0 0 20 0 1 0 282453194 49971200 9781 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12200 9781 192 642 0 11556 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 48800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29671
/proc/meminfo: memFree=27876596/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48804 CPUtime=1602.02 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14385 0 0 0 159982 220 0 0 20 0 1 0 282453194 49975296 9782 33554432000 134512640 137138936 4287853488 4287852328 136504020 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12201 9782 192 642 0 11557 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 48804

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29671
/proc/meminfo: memFree=27876596/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48772 CPUtime=1662.02 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14385 0 0 0 165973 229 0 0 20 0 1 0 282453194 49942528 9774 33554432000 134512640 137138936 4287853488 4287852172 136520952 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12193 9774 192 642 0 11549 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 48772

[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 29709
/proc/meminfo: memFree=27912612/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=48768 CPUtime=1722.01 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14385 0 0 0 171967 234 0 0 20 0 1 0 282453194 49938432 9773 33554432000 134512640 137138936 4287853488 4287852240 134575759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12192 9773 192 642 0 11548 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 48768

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 29713
/proc/meminfo: memFree=27906652/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=49672 CPUtime=1781.99 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 14663 0 0 0 177961 238 0 0 20 0 1 0 282453194 50864128 9999 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 12418 9999 192 642 0 11774 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 49672

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27903996/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=52660 CPUtime=1791.6 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 15436 0 0 0 178920 240 0 0 20 0 1 0 282453194 53923840 10738 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 13165 10738 192 642 0 12521 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 52660

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27899656/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=56808 CPUtime=1794.79 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 16547 0 0 0 179239 240 0 0 20 0 1 0 282453194 58171392 11783 33554432000 134512640 137138936 4287853488 4287852416 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 14202 11783 192 642 0 13558 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 56808

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27897920/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=59084 CPUtime=1796.4 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 17163 0 0 0 179399 241 0 0 20 0 1 0 282453194 60502016 12351 33554432000 134512640 137138936 4287853488 4287852604 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 14771 12351 192 642 0 14127 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 59084

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27896432/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=60192 CPUtime=1797.19 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 17449 0 0 0 179478 241 0 0 20 0 1 0 282453194 61636608 12629 33554432000 134512640 137138936 4287853488 4287852592 134543391 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 15048 12629 192 642 0 14404 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 60192

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27896432/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=60800 CPUtime=1797.59 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 17607 0 0 0 179518 241 0 0 20 0 1 0 282453194 62259200 12781 33554432000 134512640 137138936 4287853488 4287852416 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 15200 12781 192 642 0 14556 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 60800

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29713
/proc/meminfo: memFree=27896432/32873648 swapFree=7104/7104
[pid=29657] ppid=29655 vsize=60816 CPUtime=1797.99 cores=0,2,4,6
/proc/29657/stat : 29657 (bsolo) R 29655 29657 29254 0 -1 4202496 17612 0 0 0 179558 241 0 0 20 0 1 0 282453194 62275584 12785 33554432000 134512640 137138936 4287853488 4287851892 136501994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29657/statm: 15204 12785 192 642 0 14560 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 60816

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798.01
CPU user time (s): 1795.59
CPU system time (s): 2.41863
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 60816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.59
system time used= 2.41863
maximum resident set size= 51144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17613
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= 24
involuntary context switches= 2073

runsolver used 2.6566 second user time and 7.29389 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 02:01:17
IDJOB=3708155
IDBENCH=24990
IDSOLVER=2286
FILE ID=node127/3708155-1338163277
RUNJOBID= node127-1338157754-29270
PBS_JOBID= 14624533
Free space on /tmp= 71164 MiB

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

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

MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4
RANDOM SEED=1907315813

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.91
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.348
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:        27940940 kB
Buffers:          478588 kB
Cached:          3533596 kB
SwapCached:            0 kB
Active:          1255048 kB
Inactive:        2796692 kB
Active(anon):      41124 kB
Inactive(anon):        0 kB
Active(file):    1213924 kB
Inactive(file):  2796692 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4300 kB
Writeback:             4 kB
AnonPages:         45564 kB
Mapped:            15080 kB
Shmem:               200 kB
Slab:             743428 kB
SReclaimable:     187868 kB
SUnreclaim:       555560 kB
KernelStack:        1464 kB
PageTables:         3888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     157940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71160 MiB
End job on node127 at 2012-05-28 02:31:16