Trace number 433704

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, and are wall clock time (not CPU 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.0.17SAT (TO)26 1800.1 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark35.0187
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
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 constraint127
Number of terms in the objective function 2987
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 2987
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 2987
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 (download as text)

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 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433704-1177962311/instance-433704-1177962311.opb
0.00/0.00	c File size is 556371 bytes.
0.09/0.10	c Highest Coefficient sum: 2987
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.104 s
0.09/0.11	c Var: 6148 Constr: 19000 19000/0/0 Lit: 45741 Watch. Lit: 37513
0.09/0.11	c Obj. Vars: 2987 (48.5849 % of total variables)
0.19/0.25	c Pre-processing Time: 0.247 s
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   5162    15520    38219    2    31040    5173      0      0 0.25
0.19/0.25	c Switching off LPR mode.
0.19/0.25	o 27	0.253
480.57/480.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
480.57/480.78	c        1   5162    15522    40743    2    33517    6173      2      3 0.26
480.57/480.78	c      101   5162    15622    44771    2    33717    6791    102    279 0.36
480.57/480.78	c      351   5162    15872    52860    3    34217    7471    352    594 0.59
480.57/480.78	c      826   5162    16347    74993    4    35167    8219    827    700 1.18
480.57/480.78	c     1640   5162    17161   107306    6    36795    9041   1641    790 2.07
480.57/480.78	c     2961   5162    18482   173705    9    39437    9946   2962    922 3.21
480.57/480.78	c     5046   5162    20567   292453   14    43607   10941   5047    797 6.33
480.57/480.78	c     8269   5162    23790   482179   20    50053   12036   8270    885 9.34
480.57/480.78	c    13205   5162    21539   378421   17    45551   13240   6019    823 16.03
480.57/480.78	c    20711   5162    29045   735224   25    60563   14565  13525    762 27.15
480.57/480.78	c    32072   5162    22804   319759   14    48081   16022   7284    763 42.01
480.57/480.78	c    49216   5162    29534  1040460   35    61541   17625  14014    756 65.05
480.57/480.78	c    75036   5162    33593   919708   27    69659   19388  18073    679 110.42
480.57/480.78	c   113868   5162    25215   471650   18    52903   21327   9695    589 193.15
480.57/480.78	c   172220   5162    32342   820226   25    67157   23460  16822    557 309.17
480.57/480.78	c   259853   5162    31871   954333   29    66215   25807  16351    553 469.06
480.57/480.78	o 26	480.662
1800.08/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.61	c   265117   5162    37136  1206103   32    79219    6173  21616    551 480.67
1800.08/1800.61	c   265219   5162    18710   194606   10    39894    6791   3190    549 482.85
1800.08/1800.61	c   265470   5162    18961   204623   10    40396    7471   3441    549 483.18
1800.08/1800.61	c   265945   5162    19436   226918   11    41346    8219   3916    549 483.62
1800.08/1800.61	c   266758   5162    20249   277230   13    42972    9041   4729    551 484.05
1800.08/1800.61	c   268079   5162    21570   343559   15    45614    9946   6050    551 485.67
1800.08/1800.61	c   270161   5162    23652   446152   18    49778   10941   8132    552 488.58
1800.08/1800.61	c   273388   5162    26879   609166   22    56232   12036  11359    554 493.18
1800.08/1800.61	c   278325   5162    23753   508832   21    49980   13240   8233    557 499.14
1800.08/1800.61	c   285832   5162    22527   464637   20    47528   14565   7007    561 508.73
1800.08/1800.61	c   297194   5162    24439   526561   21    51352   16022   8919    568 523.00
1800.08/1800.61	c   314338   5162    31412  1049788   33    65298   17625  15892    583 538.52
1800.08/1800.61	c   340158   5162    24334   493165   20    51142   19388   8814    575 591.29
1800.08/1800.61	c   378992   5162    26585   662903   24    55644   21327  11065    604 627.09
1800.08/1800.61	c   437344   5162    34214   732298   21    70902   23460  18694    567 770.29
1800.08/1800.61	c   524976   5162    34634  1055352   30    71742   25807  19114    593 884.85
1800.08/1800.61	c   656528   5162    29263   732154   25    61000   28388  13743    599 1095.78
1800.08/1800.61	c   853961   5162    31938   913175   28    66350   31227  16418    585 1459.44
1800.08/1800.61	c Caught signal: 15
1800.08/1800.61	v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232
1800.08/1800.61	v -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274
1800.08/1800.61	v -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316
1800.08/1800.61	v -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358
1800.08/1800.61	v -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400
1800.08/1800.61	v -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442
1800.08/1800.61	v -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484
1800.08/1800.61	v -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526
1800.08/1800.61	v -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568
1800.08/1800.61	v -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610
1800.08/1800.61	v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652
1800.08/1800.61	v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694
1800.08/1800.61	v -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736
1800.08/1800.61	v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778
1800.08/1800.61	v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x807 -x809 -x811 -x813 -x815 -x817 -x819
1800.08/1800.61	v -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861
1800.08/1800.61	v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903
1800.08/1800.61	v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945
1800.08/1800.61	v -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987
1800.08/1800.61	v -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023
1800.08/1800.61	v -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057
1800.08/1800.61	v -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091
1800.08/1800.61	v -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125
1800.08/1800.61	v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159
1800.08/1800.61	v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193
1800.08/1800.61	v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227
1800.08/1800.61	v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261
1800.08/1800.61	v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 x1290 -x1292 -x1294
1800.08/1800.61	v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328
1800.08/1800.61	v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362
1800.08/1800.61	v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396
1800.08/1800.61	v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430
1800.08/1800.61	v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464
1800.08/1800.61	v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498
1800.08/1800.61	v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532
1800.08/1800.61	v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566
1800.08/1800.61	v -x1568 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599
1800.08/1800.61	v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633
1800.08/1800.61	v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667
1800.08/1800.61	v -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701
1800.08/1800.61	v -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735
1800.08/1800.61	v -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769
1800.08/1800.61	v -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803
1800.08/1800.61	v -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837
1800.08/1800.61	v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1864 -x1866 -x1868 -x1870
1800.08/1800.61	v -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904
1800.08/1800.61	v -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938
1800.08/1800.61	v -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972
1800.08/1800.61	v -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006
1800.08/1800.61	v -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039
1800.08/1800.61	v -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073
1800.08/1800.61	v -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107
1800.08/1800.61	v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141
1800.08/1800.61	v -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175
1800.08/1800.61	v -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209
1800.08/1800.61	v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243
1800.08/1800.61	v -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277
1800.08/1800.61	v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310
1800.08/1800.61	v -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344
1800.08/1800.61	v -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378
1800.08/1800.61	v -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412
1800.08/1800.61	v -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446
1800.08/1800.61	v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480
1800.08/1800.61	v -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514
1800.08/1800.61	v -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548
1800.08/1800.61	v -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582
1800.08/1800.61	v -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616
1800.08/1800.61	v -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 x2648 -x2650
1800.08/1800.61	v -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684
1800.08/1800.61	v -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718
1800.08/1800.61	v -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752
1800.08/1800.61	v -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 x2786
1800.08/1800.61	v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820
1800.08/1800.61	v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854
1800.08/1800.61	v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888
1800.08/1800.61	v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922
1800.08/1800.61	v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956
1800.08/1800.61	v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990
1800.08/1800.61	v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024
1800.08/1800.61	v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058
1800.08/1800.61	v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092
1800.08/1800.61	v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 x3120 -x3122 -x3124 -x3126
1800.08/1800.61	v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160
1800.08/1800.61	v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194
1800.08/1800.61	v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228
1800.08/1800.61	v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262
1800.08/1800.61	v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296
1800.08/1800.61	v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330
1800.08/1800.61	v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364
1800.08/1800.61	v -x3366 -x3368 -x3370 -x3372 -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397
1800.08/1800.61	v -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431
1800.08/1800.61	v -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465
1800.08/1800.61	v -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499
1800.08/1800.61	v -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533
1800.08/1800.61	v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567
1800.08/1800.61	v -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601
1800.08/1800.61	v -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634
1800.08/1800.61	v -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668
1800.08/1800.61	v -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702
1800.08/1800.61	v -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736
1800.08/1800.61	v -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770
1800.08/1800.61	v -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804
1800.08/1800.61	v -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838
1800.08/1800.61	v -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872
1800.08/1800.61	v -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906
1800.08/1800.61	v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940
1800.08/1800.61	v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974
1800.08/1800.61	v -x3976 -x3978 -x3980 x3982 -x3984 -x3986 -x3988 x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010
1800.08/1800.61	v -x4012 -x4014 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043
1800.08/1800.61	v -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077
1800.08/1800.61	v -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111
1800.08/1800.61	v -x4113 x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145
1800.08/1800.61	v -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179
1800.08/1800.61	v -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213
1800.08/1800.61	v -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247
1800.08/1800.61	v -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 x4271 -x4273 -x4275 -x4277 -x4279 -x4281
1800.08/1800.61	v -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 x4315
1800.08/1800.61	v -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349
1800.08/1800.61	v -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383
1800.08/1800.61	v -x4385 -x4387 -x4389 -x4391 x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 x4415 -x4417 -x4419
1800.08/1800.61	v -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453
1800.08/1800.61	v -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487
1800.08/1800.61	v -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521
1800.08/1800.61	v -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555
1800.08/1800.61	v -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589
1800.08/1800.61	v -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623
1800.08/1800.61	v -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657
1800.08/1800.61	v -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691
1800.08/1800.61	v -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725
1800.08/1800.61	v -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759
1800.08/1800.61	v -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793
1800.08/1800.61	v -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827
1800.08/1800.61	v -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861
1800.08/1800.61	v -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895
1800.08/1800.61	v -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929
1800.08/1800.61	v -x4931 -x4933 -x4935 -x4937 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962
1800.08/1800.61	v -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996
1800.08/1800.61	v -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030
1800.08/1800.61	v -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064
1800.08/1800.61	v -x5066 -x5068 -x5070 -x5072 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097
1800.08/1800.61	v -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131
1800.08/1800.61	v -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165
1800.08/1800.61	v -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 x5194 -x5196 -x5198
1800.08/1800.61	v -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232
1800.08/1800.61	v -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266
1800.08/1800.61	v -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299
1800.08/1800.61	v -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333
1800.08/1800.61	v -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367
1800.08/1800.61	v -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401
1800.08/1800.61	v -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435
1800.08/1800.61	v -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469
1800.08/1800.61	v -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5494 -x5496 -x5498 -x5500 -x5502
1800.08/1800.61	v -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536
1800.08/1800.61	v -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570
1800.08/1800.61	v -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604
1800.08/1800.61	v -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638
1800.08/1800.61	v -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672
1800.08/1800.61	v -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706
1800.08/1800.61	v -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740
1800.08/1800.61	v x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774
1800.08/1800.61	v -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806
1800.08/1800.61	v -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840
1800.08/1800.61	v -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874
1800.08/1800.61	v -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 x5908
1800.08/1800.61	v -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942
1800.08/1800.61	v -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976
1800.08/1800.61	v -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 x6004 -x6006 -x6008 -x6010
1800.08/1800.61	v -x6012 -x6014 x6016 -x6018 -x6020 -x6022 x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046
1800.08/1800.61	v -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080
1800.08/1800.61	v -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 x6114
1800.08/1800.61	v -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 x6140 -x6142 x6144 -x6146 x6148 -x191
1800.08/1800.61	v -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233
1800.08/1800.61	v -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275
1800.08/1800.61	v -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317
1800.08/1800.61	v -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359
1800.08/1800.61	v -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401
1800.08/1800.61	v -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443
1800.08/1800.61	v -x445 -x1 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483
1800.08/1800.61	v -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525
1800.08/1800.61	v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567
1800.08/1800.61	v -x569 -x571 -x2 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607
1800.08/1800.61	v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649
1800.08/1800.61	v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691
1800.08/1800.61	v -x693 -x695 -x697 -x3 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731
1800.08/1800.61	v -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771
1800.08/1800.61	v -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x808 -x810 -x812 -x814
1800.08/1800.61	v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856
1800.08/1800.61	v -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x5 -x886 -x888 -x890 -x892 -x894 -x896
1800.08/1800.61	v -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938
1800.08/1800.61	v -x940 -x942 -x944 -x946 -x6 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978
1800.08/1800.61	v -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x7 -x1010 -x1012 -x1014
1800.08/1800.61	v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -x1040 -x1042 -x1044 -x1046 -x1048
1800.08/1800.61	v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082
1800.08/1800.61	v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116
1800.08/1800.61	v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150
1800.08/1800.61	v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x9 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184
1800.08/1800.61	v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218
1800.08/1800.61	v -x1220 -x1222 -x1224 -x1226 -x10 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252
1800.08/1800.61	v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286
1800.08/1800.61	v -x1288 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321
1800.08/1800.61	v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355
1800.08/1800.61	v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389
1800.08/1800.61	v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423
1800.08/1800.61	v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457
1800.08/1800.61	v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491
1800.08/1800.61	v -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525
1800.08/1800.61	v -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557
1800.08/1800.61	v -x1559 -x1561 -x1563 -x1565 -x1567 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592
1800.08/1800.61	v -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626
1800.08/1800.61	v -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660
1800.08/1800.61	v -x1662 -x1664 -x1666 -x1668 -x18 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694
1800.08/1800.61	v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728
1800.08/1800.61	v -x1730 -x19 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762
1800.08/1800.61	v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x20 -x1794 -x1796
1800.08/1800.61	v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830
1800.08/1800.61	v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865
1800.08/1800.61	v -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899
1800.08/1800.61	v -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933
1800.08/1800.61	v -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965
1800.08/1800.61	v -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999
1800.08/1800.61	v -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034
1800.08/1800.61	v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068
1800.08/1800.61	v -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102
1800.08/1800.61	v -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134
1800.08/1800.61	v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32
1800.08/1800.61	v -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198
1800.08/1800.61	v -x2200 -x35 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232
1800.08/1800.61	v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266
1800.08/1800.61	v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2299 -x2301
1800.08/1800.61	v -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -x2327 -x2329 -x2331 -x2333 -x2335
1800.08/1800.61	v -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369
1800.08/1800.61	v -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x37 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403
1800.08/1800.61	v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437
1800.08/1800.61	v -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471
1800.08/1800.61	v -x2473 -x2475 -x2477 -x2479 -x39 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505
1800.08/1800.61	v -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539
1800.08/1800.61	v -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41
1800.08/1800.61	v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -x2603 -x2605
1800.08/1800.61	v -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639
1800.08/1800.61	v -x2641 -x2643 -x2645 x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673
1800.08/1800.61	v -x2675 -x2677 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707
1800.08/1800.61	v -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739
1800.08/1800.61	v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773
1800.08/1800.61	v -x2775 -x2777 -x2779 -x2781 -x2783 x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807
1800.08/1800.61	v -x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839
1800.08/1800.61	v -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x50 -x2855 -x2857 -x2859 -x51 -x2861 -x2863 -x2865 -x2867 -x2869
1800.08/1800.61	v -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903
1800.08/1800.61	v -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937
1800.08/1800.61	v -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971
1800.08/1800.61	v -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003
1800.08/1800.61	v -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037
1800.08/1800.61	v -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067
1800.08/1800.61	v -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101
1800.08/1800.61	v -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x62 -x3131 -x3133
1800.08/1800.61	v -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163
1800.08/1800.61	v -x3165 -x3167 -x67 -x3169 -x68 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195
1800.08/1800.61	v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229
1800.08/1800.61	v -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263
1800.08/1800.61	v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297
1800.08/1800.61	v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331
1800.08/1800.61	v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365
1800.08/1800.61	v -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400
1800.08/1800.61	v -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434
1800.08/1800.61	v -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468
1800.08/1800.61	v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502
1800.08/1800.61	v -x3504 -x3506 -x3508 -x3510 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536
1800.08/1800.61	v -x3538 -x3540 -x74 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570
1800.08/1800.61	v -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604
1800.08/1800.61	v -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639
1800.08/1800.61	v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673
1800.08/1800.61	v -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -x3705
1800.08/1800.61	v -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739
1800.08/1800.61	v -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x79 -x3767 -x3769 -x3771 -x3773
1800.08/1800.61	v -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807
1800.08/1800.61	v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841
1800.08/1800.61	v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873
1800.08/1800.61	v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907
1800.08/1800.61	v -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939
1800.08/1800.61	v -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973
1800.08/1800.61	v -x3975 -x3977 -x3979 x3981 -x3983 -x3985 x88 -x3987 x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005
1800.08/1800.61	v -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040
1800.08/1800.61	v -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074
1800.08/1800.61	v -x4076 -x4078 -x4080 -x4082 -x91 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108
1800.08/1800.61	v -x4110 -x4112 x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142
1800.08/1800.61	v -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174
1800.08/1800.61	v -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206
1800.08/1800.61	v -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240
1800.08/1800.61	v -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 x4270 -x4272 -x98
1800.08/1800.61	v -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306
1800.08/1800.61	v -x4308 x100 -x4310 -x4312 x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102
1800.08/1800.61	v -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368
1800.08/1800.61	v -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 -x4390 x4392 -x4394 -x107 -x4396 -x4398
1800.08/1800.61	v -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 x4414 x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426
1800.08/1800.61	v -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460
1800.08/1800.61	v -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x112 -x4486 -x4488 -x4490 -x4492
1800.08/1800.61	v -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524
1800.08/1800.61	v -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556
1800.08/1800.61	v -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588
1800.08/1800.61	v -x116 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620
1800.08/1800.61	v -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654
1800.08/1800.61	v -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686
1800.08/1800.61	v -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x121 -x4706 -x4708 -x4710 -x122 -x4712 -x4714 -x4716
1800.08/1800.61	v -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748
1800.08/1800.61	v -x4750 -x4752 -x4754 -x124 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780
1800.08/1800.61	v -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x127 -x4798 -x4800 -x4802 x128 -x4804 -x4806 -x4808 -x4810
1800.08/1800.61	v -x4812 x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840
1800.08/1800.61	v -x4842 -x132 -x4844 -x4846 -x4848 -x133 -x4850 -x4852 -x4854 -x134 -x4856 -x135 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868
1800.08/1800.61	v -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902
1800.08/1800.61	v -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936
1800.08/1800.61	v -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971
1800.08/1800.61	v -x4973 -x4975 -x136 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003
1800.08/1800.61	v -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037
1800.08/1800.61	v -x137 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069
1800.08/1800.61	v -x5071 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102
1800.08/1800.61	v -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134
1800.08/1800.61	v -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168
1800.08/1800.61	v -x5170 -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 x5193 -x5195 -x5197 -x5199 -x5201 -x5203
1800.08/1800.61	v -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235
1800.08/1800.61	v -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x141 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267
1800.08/1800.61	v -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302
1800.08/1800.61	v -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334
1800.08/1800.61	v -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366
1800.08/1800.61	v -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398
1800.08/1800.61	v -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430
1800.08/1800.61	v -x5432 -x5434 -x5436 -x5438 -x5440 -x148 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150
1800.08/1800.61	v -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495
1800.08/1800.61	v -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527
1800.08/1800.61	v -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559
1800.08/1800.61	v -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 x5583 -x5585 -x5587 -x5589 -x5591 -x5593
1800.08/1800.61	v -x153 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625
1800.08/1800.61	v -x5627 -x5629 -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157
1800.08/1800.61	v -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687
1800.08/1800.61	v -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161
1800.08/1800.61	v -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 -x5737 -x5739 x5741 -x5743 -x163 -x5745 -x164 -x5747
1800.08/1800.61	v -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782
1800.08/1800.61	v -x5784 -x5786 -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815
1800.08/1800.61	v -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847
1800.08/1800.61	v -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x167 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x168 -x5875 -x5877 -x5879
1800.08/1800.61	v -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 x5907 -x5909 -x5911 -x5913
1800.08/1800.61	v -x5915 -x5917 -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943
1800.08/1800.61	v -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975
1800.08/1800.61	v -x5977 -x5979 -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 -x6001 x6003 -x6005 -x6007
1800.08/1800.61	v -x6009 -x6011 -x6013 x6015 -x6017 -x6019 -x6021 x6023 -x6025 -x6027 -x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039
1800.08/1800.61	v -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071
1800.08/1800.61	v -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x179 -x6085 -x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103
1800.08/1800.61	v -x181 -x6105 -x6107 -x182 -x6109 -x6111 x6113 x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129
1800.08/1800.61	v -x6131 -x6133 -x186 -x6135 -x6137 x6139 x187 -x6141 x6143 -x6145 -x188 x6147 x189 x190
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   34   988605 659352  4256921    37323  1139446  21803    549 1800.09
1800.08/1800.61	c Objective: 26
1800.08/1800.61	s SATISFIABLE
1800.08/1800.61	c Total time: 1800.09 s

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node48/watcher-433704-1177962311 -o ROOT/results/node48/solver-433704-1177962311 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433704-1177962311/instance-433704-1177962311.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20681
/proc/meminfo: memFree=1865576/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=12280 CPUtime=0
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 151076487 12574720 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 3070 332 279 324 0 2004 0

[startup+0.0687481 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20681
/proc/meminfo: memFree=1865576/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=6020 CPUtime=0.06
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 826 0 0 0 6 0 0 0 18 0 1 0 151076487 6164480 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 1505 797 364 324 0 439 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6020

[startup+0.10175 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20681
/proc/meminfo: memFree=1865576/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=6708 CPUtime=0.09
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 1041 0 0 0 9 0 0 0 18 0 1 0 151076487 6868992 1011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 1677 1012 408 324 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6708

[startup+0.301768 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20681
/proc/meminfo: memFree=1865576/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=7764 CPUtime=0.29
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 1509 0 0 0 28 1 0 0 19 0 1 0 151076487 7950336 1322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3972879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 1941 1322 311 324 0 1011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7764

[startup+0.701805 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20681
/proc/meminfo: memFree=1865576/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=7896 CPUtime=0.69
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 1518 0 0 0 68 1 0 0 22 0 1 0 151076487 8085504 1331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 1974 1331 311 324 0 1044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7896

[startup+1.50188 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1861280/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=8400 CPUtime=1.49
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 1638 0 0 0 148 1 0 0 25 0 1 0 151076487 8601600 1451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 2100 1451 311 324 0 1170 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8400

[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1860640/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=9292 CPUtime=3.09
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 1884 0 0 0 308 1 0 0 25 0 1 0 151076487 9515008 1697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 2323 1697 311 324 0 1393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9292

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1858528/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=11164 CPUtime=6.29
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 2334 0 0 0 627 2 0 0 25 0 1 0 151076487 11431936 2147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 2791 2147 311 324 0 1861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11164

[startup+12.7029 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1853344/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=16248 CPUtime=12.69
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 3618 0 0 0 1266 3 0 0 25 0 1 0 151076487 16637952 3431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3960875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 4062 3431 311 324 0 3132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16248

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1850976/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=18104 CPUtime=25.49
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 4075 0 0 0 2545 4 0 0 25 0 1 0 151076487 18538496 3888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 4526 3888 311 324 0 3596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18104

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1849184/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=19868 CPUtime=51.08
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 4519 0 0 0 5104 4 0 0 25 0 1 0 151076487 20344832 4332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 4967 4332 311 324 0 4037 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19868

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1843296/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=25724 CPUtime=102.26
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 5994 0 0 0 10221 5 0 0 25 0 1 0 151076487 26341376 5807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 6431 5807 311 324 0 5501 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25724

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1843296/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=25732 CPUtime=162.26
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 5996 0 0 0 16220 6 0 0 25 0 1 0 151076487 26349568 5809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3965078 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 6433 5809 311 324 0 5503 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25732

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20682
/proc/meminfo: memFree=1842464/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=26560 CPUtime=222.24
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 6199 0 0 0 22218 6 0 0 25 0 1 0 151076487 27197440 6012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 6640 6012 311 324 0 5710 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 26560

[startup+282.302 s]
/proc/loadavg: 1.11 1.02 1.01 2/65 20682
/proc/meminfo: memFree=1842464/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=26556 CPUtime=282.23
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 6199 0 0 0 28217 6 0 0 25 0 1 0 151076487 27193344 6012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 6639 6012 311 324 0 5709 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 26556

[startup+342.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/65 20682
/proc/meminfo: memFree=1839584/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=29552 CPUtime=342.2
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 6946 0 0 0 34214 6 0 0 25 0 1 0 151076487 30261248 6759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 7388 6759 311 324 0 6458 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 29552

[startup+402.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 20682
/proc/meminfo: memFree=1835872/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=33532 CPUtime=402.19
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 7929 0 0 0 40212 7 0 0 25 0 1 0 151076487 34336768 7742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8383 7742 311 324 0 7453 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33532

[startup+462.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 20682
/proc/meminfo: memFree=1834272/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34668 CPUtime=462.17
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8234 0 0 0 46210 7 0 0 25 0 1 0 151076487 35500032 8047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8667 8047 311 324 0 7737 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 34668

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20682
/proc/meminfo: memFree=1834272/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34644 CPUtime=522.17
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8234 0 0 0 52209 8 0 0 25 0 1 0 151076487 35475456 8042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8661 8042 311 324 0 7731 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 34644

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20682
/proc/meminfo: memFree=1834336/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34380 CPUtime=582.15
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8234 0 0 0 58207 8 0 0 25 0 1 0 151076487 35205120 7976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8595 7976 311 324 0 7665 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 34380

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20682
/proc/meminfo: memFree=1834336/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34372 CPUtime=642.14
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8234 0 0 0 64206 8 0 0 25 0 1 0 151076487 35196928 7974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964769 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8593 7974 311 324 0 7663 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 34372


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20682
/proc/meminfo: memFree=1834336/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34556 CPUtime=822.09
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8605 0 0 0 82201 8 0 0 25 0 1 0 151076487 35385344 8012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3972837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8639 8012 311 324 0 7709 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 34556

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20682
/proc/meminfo: memFree=1834336/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34544 CPUtime=882.07
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8605 0 0 0 88199 8 0 0 25 0 1 0 151076487 35373056 8012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8636 8012 311 324 0 7706 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 34544

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20682
/proc/meminfo: memFree=1834272/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=34552 CPUtime=942.06
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8607 0 0 0 94197 9 0 0 25 0 1 0 151076487 35381248 8014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8638 8014 311 324 0 7708 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 34552

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 20860
/proc/meminfo: memFree=1831912/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=35492 CPUtime=1001.98
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 8843 0 0 0 100189 9 0 0 25 0 1 0 151076487 36343808 8250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 8873 8250 311 324 0 7943 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 35492

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831840/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36720 CPUtime=1061.95
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9151 0 0 0 106185 10 0 0 25 0 1 0 151076487 37601280 8558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3972802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9180 8558 311 324 0 8250 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 36720

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36732 CPUtime=1121.94
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9153 0 0 0 112184 10 0 0 25 0 1 0 151076487 37613568 8560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9183 8560 311 324 0 8253 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 36732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36732 CPUtime=1181.92
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9153 0 0 0 118182 10 0 0 25 0 1 0 151076487 37613568 8560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9183 8560 311 324 0 8253 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 36732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36568 CPUtime=1241.91
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9154 0 0 0 124181 10 0 0 25 0 1 0 151076487 37445632 8523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3960872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9142 8523 311 324 0 8212 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 36568

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36568 CPUtime=1301.9
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9154 0 0 0 130180 10 0 0 25 0 1 0 151076487 37445632 8523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9142 8523 311 324 0 8212 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 36568

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36568 CPUtime=1361.88
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9154 0 0 0 136178 10 0 0 25 0 1 0 151076487 37445632 8523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9142 8523 311 324 0 8212 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 36568

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36568 CPUtime=1421.87
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9154 0 0 0 142176 11 0 0 25 0 1 0 151076487 37445632 8523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9142 8523 311 324 0 8212 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 36568

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20880
/proc/meminfo: memFree=1831776/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36568 CPUtime=1481.85
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9154 0 0 0 148174 11 0 0 25 0 1 0 151076487 37445632 8523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9142 8523 311 324 0 8212 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 36568

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1831840/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36576 CPUtime=1541.84
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9156 0 0 0 154173 11 0 0 25 0 1 0 151076487 37453824 8525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9144 8525 311 324 0 8214 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 36576

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1831840/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=36576 CPUtime=1601.82
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 9156 0 0 0 160171 11 0 0 25 0 1 0 151076487 37453824 8525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3960984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 9144 8525 311 324 0 8214 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 36576

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1824352/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=44220 CPUtime=1661.8
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 11070 0 0 0 166167 13 0 0 25 0 1 0 151076487 45281280 10406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 11055 10406 311 324 0 10125 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 44220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1824352/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=44220 CPUtime=1721.79
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 11103 0 0 0 172166 13 0 0 25 0 1 0 151076487 45281280 10406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 11055 10406 311 324 0 10125 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 44220

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1824224/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=44220 CPUtime=1781.77
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 11136 0 0 0 178164 13 0 0 25 0 1 0 151076487 45281280 10406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 11055 10406 311 324 0 10125 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 44220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20882
/proc/meminfo: memFree=1824224/2055920 swapFree=4183896/4192956
[pid=20681] ppid=20679 vsize=44220 CPUtime=1800.08
/proc/20681/stat : 20681 (bsolo3.0.17) R 20679 20681 19827 0 -1 4194304 11136 0 0 0 179995 13 0 0 25 0 1 0 151076487 45281280 10406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20681/statm: 11055 10406 311 324 0 10125 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 44220

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.62
CPU time (s): 1800.1
CPU user time (s): 1799.95
CPU system time (s): 0.145977
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 44352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11140
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= 14
involuntary context switches= 1919

runsolver used 1.48377 second user time and 3.49047 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Mon Apr 30 19:45:12 UTC 2007

IDJOB= 433704
IDBENCH= 24991
IDSOLVER= 199
FILE ID= node48/433704-1177962311

PBS_JOBID= 4727690

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433704-1177962311/instance-433704-1177962311.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-433704-1177962311 -o ROOT/results/node48/solver-433704-1177962311 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433704-1177962311/instance-433704-1177962311.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2aa6eb5ee09e1484657dfe3626167241

RANDOM SEED= 279628879

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1865984 kB
Buffers:         14436 kB
Cached:         101440 kB
SwapCached:       3056 kB
Active:          57880 kB
Inactive:        68956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1865984 kB
SwapTotal:     4192956 kB
SwapFree:      4183896 kB
Dirty:            7132 kB
Writeback:           0 kB
Mapped:          16948 kB
Slab:            49088 kB
Committed_AS:  1336232 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node48 on Mon Apr 30 20:15:14 UTC 2007