Trace number 3735831

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)29 1800.1 1800.41

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 benchmark9.00163
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3735831-1338706970.opb
0.00/0.00	c File size is 462714 bytes.
0.00/0.04	c Highest Coefficient sum: 2531
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.038 s
0.00/0.04	c Var: 5256 Constr: 15614 15614/0/0 Lit: 38247 Watch. Lit: 31006
0.00/0.04	c Obj. Vars: 2531 (48.1545 % of total variables)
0.00/0.09	c Pre-processing Time: 0.089 s
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   4802    13650    34006    2    27300    4549      0      0 0.09
0.00/0.09	c Switching off LPR mode.
0.00/0.09	o 31	0.091
384.41/384.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
384.41/384.55	c        8   4802    13659    36478    2    29596    5549      9     86 0.09
384.41/384.55	c      108   4802    13759    41229    2    29796    6104    109    972 0.11
384.41/384.55	c      359   4802    14010    50520    3    30298    6715    360   2087 0.17
384.41/384.55	c      835   4802    14486    77537    5    31250    7387    836   2485 0.34
384.41/384.55	c     1648   4802    15299   127367    8    32876    8126   1649   2846 0.58
384.41/384.55	c     2968   4802    16619   215672   12    35516    8939   2969   3261 0.91
384.41/384.55	c     5050   4802    18701   319651   17    39680    9833   5051   2276 2.22
384.41/384.55	c     8273   4802    21924   553073   25    46126   10817   8274   2666 3.10
384.41/384.55	c    13209   4802    19247   387593   20    40772   11899   5597   2657 4.97
384.41/384.55	c    20716   4802    19601   400588   20    41480   13089   5951   2180 9.50
384.41/384.55	c    32077   4802    22327   579098   25    46932   14398   8677   2312 13.87
384.41/384.55	c    49221   4802    20850   671638   32    43978   15838   7200   2125 23.16
384.41/384.55	c    75042   4802    26438   956120   36    55154   17422  12788   2131 35.20
384.41/384.55	c   113874   4802    22362   961218   42    47002   19165   8712   2211 51.49
384.41/384.55	c   172226   4802    23234   718940   30    48746   21082   9584   2044 84.24
384.41/384.55	c   259861   4802    34662  1971668   56    71602   23191  21012   1853 140.22
384.41/384.55	c   391413   4802    24689   858522   34    51656   25511  11039   1769 221.25
384.41/384.55	c   588845   4802    28124  1180876   41    58526   28063  14474   1768 332.96
384.41/384.55	o 30	384.474
822.84/823.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
822.84/823.09	c   678176   4802    41545  2699775   64    87647    5549  27895   1763 384.48
822.84/823.09	c   678276   4802    16526   295561   17    35331    6104   2876   1760 385.29
822.84/823.09	c   678526   4802    16776   312009   18    35831    6715   3126   1760 385.37
822.84/823.09	c   679002   4802    17252   331686   19    36783    7387   3602   1761 385.48
822.84/823.09	c   679815   4802    18065   371793   20    38409    8126   4415   1762 385.75
822.84/823.09	c   681135   4802    19385   459223   23    41049    8939   5735   1764 386.01
822.84/823.09	c   683217   4802    21467   616881   28    45213    9833   7817   1767 386.48
822.84/823.09	c   686440   4802    18568   408702   22    39415   10817   4918   1772 387.33
822.84/823.09	c   691376   4802    23504   753232   32    49287   11899   9854   1779 388.59
822.84/823.09	c   698882   4802    22772   738501   32    47823   13089   9122   1787 391.00
822.84/823.09	c   710243   4802    25598  1056802   41    53475   14398  11948   1785 397.77
822.84/823.09	c   727387   4802    25214  1044269   41    52707   15838  11564   1803 403.30
822.84/823.09	c   753206   4802    21570   619281   28    45419   17422   7920   1816 414.66
822.84/823.09	c   792038   4802    29017  1315037   45    60313   19165  15367   1834 431.75
822.84/823.09	c   850392   4802    29458  1319254   44    61195   21082  15808   1862 456.55
822.84/823.09	c   938025   4802    29386  1295707   44    61051   23191  15736   1879 498.99
822.84/823.09	c  1069577   4802    35526  2130059   59    73331   25511  21876   1760 607.41
822.84/823.09	c  1267010   4802    24974   850063   34    52227   28063  11324   1727 733.60
822.84/823.09	o 29	822.935
1800.10/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.40	c  1390460   4802    37486  2722076   72    79531    5549  23836   1689 822.94
1800.10/1800.40	c  1390560   4802    16526   331469   20    35332    6104   2876   1689 823.10
1800.10/1800.40	c  1390810   4802    16776   344319   20    35832    6715   3126   1689 823.16
1800.10/1800.40	c  1391285   4802    17251   362386   21    36782    7387   3601   1689 823.28
1800.10/1800.40	c  1392098   4802    18064   406489   22    38408    8126   4414   1690 823.48
1800.10/1800.40	c  1393419   4802    19385   494256   25    41050    8939   5735   1691 823.88
1800.10/1800.40	c  1395500   4802    21466   585484   27    45212    9833   7816   1692 824.45
1800.10/1800.40	c  1398723   4802    18568   342441   18    39416   10817   4918   1694 825.26
1800.10/1800.40	c  1403660   4802    23505   683206   29    49290   11899   9855   1698 826.26
1800.10/1800.40	c  1411166   4802    23051   740872   32    48382   13089   9401   1702 828.85
1800.10/1800.40	c  1422527   4802    26478  1062610   40    55236   14398  12828   1709 832.31
1800.10/1800.40	c  1439672   4802    25122   928540   36    52524   15838  11472   1708 842.46
1800.10/1800.40	c  1465492   4802    21570   591894   27    45420   17422   7920   1720 851.62
1800.10/1800.40	c  1504325   4802    27646   909599   32    57572   19165  13996   1732 868.05
1800.10/1800.40	c  1562677   4802    28154  1510535   53    58588   21082  14504   1756 889.62
1800.10/1800.40	c  1650310   4802    26676  1191328   44    55632   23191  13026   1780 926.91
1800.10/1800.40	c  1781862   4802    31894  1781498   55    66068   25511  18244   1814 982.12
1800.10/1800.40	c  1979294   4802    34057  1380848   40    70394   28063  20407   1796 1101.87
1800.10/1800.40	c  2275546   4802    32795  1285702   39    67870   30870  19145   1823 1247.63
1800.10/1800.40	c  2720029   4802    35579  2312776   65    73438   33958  21929   1768 1538.20
1800.10/1800.40	c Caught signal: 15
1800.10/1800.40	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 
1800.10/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.40	c   56  2989592 1762808 10630284    40979  1707542  27329   1660 1800.10
1800.10/1800.40	c Objective: 29
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	c Total time: 1800.1 s

Verifier Data 

OK	29

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-3735831-1338706970/watcher-3735831-1338706970 -o /tmp/evaluation-result-3735831-1338706970/solver-3735831-1338706970 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3735831-1338706970.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 10659
/proc/meminfo: memFree=28741264/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=2776 CPUtime=0 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4194304 98 0 0 0 0 0 0 0 20 0 1 0 336821749 2842624 50 33554432000 134512640 135840783 4288960624 4288958632 7222212 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 694 50 39 325 0 32 0

[startup+0.105669 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 10659
/proc/meminfo: memFree=28741264/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=7872 CPUtime=0.09 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 1455 0 0 0 9 0 0 0 20 0 1 0 336821749 8060928 1235 33554432000 134512640 135840783 4288960624 4288959984 134551414 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 1968 1235 349 325 0 904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7872

[startup+0.20027 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 10659
/proc/meminfo: memFree=28741264/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=7872 CPUtime=0.18 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 1455 0 0 0 18 0 0 0 20 0 1 0 336821749 8060928 1235 33554432000 134512640 135840783 4288960624 4288959920 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 1968 1235 349 325 0 904 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7872

[startup+0.409781 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 10659
/proc/meminfo: memFree=28741264/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=8260 CPUtime=0.39 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 1562 0 0 0 39 0 0 0 20 0 1 0 336821749 8458240 1342 33554432000 134512640 135840783 4288960624 4288959920 134572295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 2065 1342 349 325 0 1001 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 8260

[startup+0.700211 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 10659
/proc/meminfo: memFree=28741264/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=9424 CPUtime=0.68 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 1851 0 0 0 68 0 0 0 20 0 1 0 336821749 9650176 1631 33554432000 134512640 135840783 4288960624 4288958416 7734567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 2356 1631 349 325 0 1292 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9424

[startup+1.50022 s]
/proc/loadavg: 2.08 2.06 2.00 3/179 10661
/proc/meminfo: memFree=28735180/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=10712 CPUtime=1.48 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 2153 0 0 0 148 0 0 0 20 0 1 0 336821749 10969088 1933 33554432000 134512640 135840783 4288960624 4288959712 7732442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 2678 1933 349 325 0 1614 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10712

[startup+3.10021 s]
/proc/loadavg: 2.08 2.06 2.00 3/179 10661
/proc/meminfo: memFree=28733436/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=14936 CPUtime=3.08 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 3230 0 0 0 308 0 0 0 20 0 1 0 336821749 15294464 3010 33554432000 134512640 135840783 4288960624 4288958752 7734567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 3734 3010 349 325 0 2670 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14936

[startup+6.3002 s]
/proc/loadavg: 2.08 2.06 2.00 3/179 10661
/proc/meminfo: memFree=28725320/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=19556 CPUtime=6.28 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 4380 0 0 0 628 0 0 0 20 0 1 0 336821749 20025344 4160 33554432000 134512640 135840783 4288960624 4288959984 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 4889 4160 349 325 0 3825 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19556

[startup+12.7002 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 10661
/proc/meminfo: memFree=28725328/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=20708 CPUtime=12.68 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 4653 0 0 0 1268 0 0 0 20 0 1 0 336821749 21204992 4433 33554432000 134512640 135840783 4288960624 4288959984 134551264 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 5177 4433 349 325 0 4113 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20708

[startup+25.5065 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 10661
/proc/meminfo: memFree=28717500/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=27568 CPUtime=25.48 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 6399 0 0 0 2547 1 0 0 20 0 1 0 336821749 28229632 6177 33554432000 134512640 135840783 4288960624 4288959984 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 6892 6177 349 325 0 5828 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27568

[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 2.00 3/179 10661
/proc/meminfo: memFree=28709496/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=35748 CPUtime=51.07 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 8435 0 0 0 5105 2 0 0 20 0 1 0 336821749 36605952 8210 33554432000 134512640 135840783 4288960624 4288959984 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 8937 8210 349 325 0 7873 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35748

[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 10661
/proc/meminfo: memFree=28708992/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=35856 CPUtime=102.26 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 8486 0 0 0 10224 2 0 0 20 0 1 0 336821749 36716544 8241 33554432000 134512640 135840783 4288960624 4288959984 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 8964 8241 349 325 0 7900 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35856

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 10661
/proc/meminfo: memFree=28704528/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=40308 CPUtime=162.25 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 9603 0 0 0 16223 2 0 0 20 0 1 0 336821749 41275392 9358 33554432000 134512640 135840783 4288960624 4288959984 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 10077 9358 349 325 0 9013 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40308

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10661
/proc/meminfo: memFree=28696836/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47268 CPUtime=222.25 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11343 0 0 0 22222 3 0 0 20 0 1 0 336821749 48402432 11096 33554432000 134512640 135840783 4288960624 4288959984 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11817 11096 349 325 0 10753 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 47268

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 10661
/proc/meminfo: memFree=28696888/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47276 CPUtime=282.23 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11349 0 0 0 28220 3 0 0 20 0 1 0 336821749 48410624 11098 33554432000 134512640 135840783 4288960624 4288959300 7739987 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11819 11098 349 325 0 10755 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47276

[startup+342.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 10662
/proc/meminfo: memFree=28696764/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47288 CPUtime=342.22 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11352 0 0 0 34219 3 0 0 20 0 1 0 336821749 48422912 11101 33554432000 134512640 135840783 4288960624 4288959984 134551814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11822 11101 349 325 0 10758 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 47288

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 10662
/proc/meminfo: memFree=28696764/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47200 CPUtime=402.21 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11352 0 0 0 40218 3 0 0 20 0 1 0 336821749 48332800 11086 33554432000 134512640 135840783 4288960624 4288959920 134572558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11800 11086 349 325 0 10736 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 47200

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 10665
/proc/meminfo: memFree=28697004/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47192 CPUtime=462.2 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11352 0 0 0 46217 3 0 0 20 0 1 0 336821749 48324608 11084 33554432000 134512640 135840783 4288960624 4288959928 7737029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11798 11084 349 325 0 10734 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 47192

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 10665
/proc/meminfo: memFree=28697012/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=47704 CPUtime=522.19 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 11477 0 0 0 52216 3 0 0 20 0 1 0 336821749 48848896 11209 33554432000 134512640 135840783 4288960624 4288959984 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 11926 11209 349 325 0 10862 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 47704

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10665
/proc/meminfo: memFree=28681000/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=63192 CPUtime=582.17 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 58213 4 0 0 20 0 1 0 336821749 64708608 15084 33554432000 134512640 135840783 4288960624 4288959904 7736990 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15798 15084 349 325 0 14734 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 63192

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10706
/proc/meminfo: memFree=28620160/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=63008 CPUtime=822.14 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 82210 4 0 0 20 0 1 0 336821749 64520192 15038 33554432000 134512640 135840783 4288960624 4288959936 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15752 15038 349 325 0 14688 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 63008

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10706
/proc/meminfo: memFree=28621440/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=882.13 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 88209 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 61512

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10707
/proc/meminfo: memFree=28621440/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=942.12 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 94208 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 61512

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10707
/proc/meminfo: memFree=28616232/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1002.12 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 100208 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134551751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 61512

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 10710
/proc/meminfo: memFree=28608524/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1062.1 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 106206 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 61512

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10710
/proc/meminfo: memFree=28594024/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61504 CPUtime=1122.09 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 112205 4 0 0 20 0 1 0 336821749 62980096 14662 33554432000 134512640 135840783 4288960624 4288959984 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15376 14662 349 325 0 14312 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 61504

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10710
/proc/meminfo: memFree=28583472/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61504 CPUtime=1182.08 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 118204 4 0 0 20 0 1 0 336821749 62980096 14662 33554432000 134512640 135840783 4288960624 4288959984 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15376 14662 349 325 0 14312 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 61504

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10711
/proc/meminfo: memFree=28573600/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61504 CPUtime=1242.07 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15361 0 0 0 124203 4 0 0 20 0 1 0 336821749 62980096 14662 33554432000 134512640 135840783 4288960624 4288960048 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15376 14662 349 325 0 14312 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 61504

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10711
/proc/meminfo: memFree=28553760/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1302.06 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15363 0 0 0 130202 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134551368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 61512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10711
/proc/meminfo: memFree=28524068/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1362.05 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15363 0 0 0 136201 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959936 134550982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 61512

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10711
/proc/meminfo: memFree=28503236/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1422.05 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15363 0 0 0 142201 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 61512

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10711
/proc/meminfo: memFree=28477320/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61512 CPUtime=1482.04 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15363 0 0 0 148200 4 0 0 20 0 1 0 336821749 62988288 14664 33554432000 134512640 135840783 4288960624 4288959984 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15378 14664 349 325 0 14314 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 61512

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10712
/proc/meminfo: memFree=28447596/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61940 CPUtime=1542.03 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15505 0 0 0 154199 4 0 0 20 0 1 0 336821749 63426560 14771 33554432000 134512640 135840783 4288960624 4288959860 7739976 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15485 14771 349 325 0 14421 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 61940

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10712
/proc/meminfo: memFree=28413232/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61732 CPUtime=1602.02 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15508 0 0 0 160198 4 0 0 20 0 1 0 336821749 63213568 14719 33554432000 134512640 135840783 4288960624 4288960144 134551955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15433 14719 349 325 0 14369 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 61732

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10715
/proc/meminfo: memFree=28387432/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61732 CPUtime=1662.02 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15508 0 0 0 166198 4 0 0 20 0 1 0 336821749 63213568 14719 33554432000 134512640 135840783 4288960624 4288959920 134572583 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15433 14719 349 325 0 14369 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 61732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10715
/proc/meminfo: memFree=28363260/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61732 CPUtime=1722 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15508 0 0 0 172196 4 0 0 20 0 1 0 336821749 63213568 14719 33554432000 134512640 135840783 4288960624 4288959984 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15433 14719 349 325 0 14369 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 61732

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10715
/proc/meminfo: memFree=28342800/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61732 CPUtime=1781.99 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15508 0 0 0 178195 4 0 0 20 0 1 0 336821749 63213568 14719 33554432000 134512640 135840783 4288960624 4288959984 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15433 14719 349 325 0 14369 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 61732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10715
/proc/meminfo: memFree=28336600/32873844 swapFree=7380/7380
[pid=10659] ppid=10657 vsize=61732 CPUtime=1800.1 cores=1,3,5,7
/proc/10659/stat : 10659 (bsolo3.0.17) R 10657 10659 7079 0 -1 4202496 15508 0 0 0 180006 4 0 0 20 0 1 0 336821749 63213568 14719 33554432000 134512640 135840783 4288960624 4288959984 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10659/statm: 15433 14719 349 325 0 14369 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 61732

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.06
CPU system time (s): 0.042993
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 63328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.042993
maximum resident set size= 60344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15511
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= 40
involuntary context switches= 1854

runsolver used 3.19351 second user time and 10.0105 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 09:02:50
IDJOB=3735831
IDBENCH=24999
IDSOLVER=2318
FILE ID=node133/3735831-1338706970
RUNJOBID= node133-1338678627-7099
PBS_JOBID= 14636680
Free space on /tmp= 70476 MiB

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

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=164997900

node133.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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
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.540
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.92
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.540
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.92
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.540
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.540
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.540
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.90
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.540
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.540
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:       32873844 kB
MemFree:        28741792 kB
Buffers:          412364 kB
Cached:          2738360 kB
SwapCached:          676 kB
Active:          1475652 kB
Inactive:        1763076 kB
Active(anon):      79056 kB
Inactive(anon):    10220 kB
Active(file):    1396596 kB
Inactive(file):  1752856 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6688 kB
Writeback:             0 kB
AnonPages:         93376 kB
Mapped:            11748 kB
Shmem:                 0 kB
Slab:             753304 kB
SReclaimable:     195408 kB
SUnreclaim:       557896 kB
KernelStack:        1472 kB
PageTables:         3856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     202100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70456 MiB
End job on node133 at 2012-06-03 09:32:52