Trace number 372708

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.16SAT (TO)26 1800.01 1800.73

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

Verifier Data (download as text)

OK	26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-372708-1177124722 -o ROOT/results/node33/solver-372708-1177124722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372708-1177124722/instance-372708-1177124722.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/77 17572
/proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=12280 CPUtime=0
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 160387677 12574720 338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 3070 338 281 324 0 2003 0

[startup+0.0636511 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17572
/proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=5884 CPUtime=0.05
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 806 0 0 0 5 0 0 0 18 0 1 0 160387677 6025216 774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 1471 774 361 324 0 404 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5884

[startup+0.101658 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17572
/proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=6708 CPUtime=0.09
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1055 0 0 0 9 0 0 0 18 0 1 0 160387677 6868992 1023 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 1677 1024 412 324 0 610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6708

[startup+0.301699 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17572
/proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=7764 CPUtime=0.29
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1513 0 0 0 26 3 0 0 19 0 1 0 160387677 7950336 1324 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 1941 1324 313 324 0 1010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7764

[startup+0.70278 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17572
/proc/meminfo: memFree=1702720/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=7896 CPUtime=0.69
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1521 0 0 0 66 3 0 0 22 0 1 0 160387677 8085504 1332 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 1974 1332 313 324 0 1043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7896

[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1698360/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=8272 CPUtime=1.49
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1639 0 0 0 146 3 0 0 25 0 1 0 160387677 8470528 1450 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 2068 1450 313 324 0 1137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8272

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1697784/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=9292 CPUtime=3.09
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 1885 0 0 0 305 4 0 0 25 0 1 0 160387677 9515008 1696 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 2323 1696 313 324 0 1392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9292

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1695608/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=11164 CPUtime=6.28
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 2334 0 0 0 623 5 0 0 25 0 1 0 160387677 11431936 2145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 2791 2145 313 324 0 1860 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11164

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1690424/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=16248 CPUtime=12.68
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 3604 0 0 0 1260 8 0 0 25 0 1 0 160387677 16637952 3415 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 4062 3415 313 324 0 3131 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16248

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1688056/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=18104 CPUtime=25.48
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 4079 0 0 0 2536 12 0 0 25 0 1 0 160387677 18538496 3890 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 4526 3890 313 324 0 3595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18104

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1686264/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=19868 CPUtime=51.07
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 4523 0 0 0 5088 19 0 0 25 0 1 0 160387677 20344832 4334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11376513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 4967 4334 313 324 0 4036 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19868

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1680440/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=25724 CPUtime=102.26
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 5998 0 0 0 10197 29 0 0 25 0 1 0 160387677 26341376 5809 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 6431 5809 313 324 0 5500 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/78 17573
/proc/meminfo: memFree=1680440/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=25732 CPUtime=162.23
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6000 0 0 0 16184 39 0 0 25 0 1 0 160387677 26349568 5811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 6433 5811 313 324 0 5502 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 25732

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1679608/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=26560 CPUtime=222.21
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6203 0 0 0 22170 51 0 0 25 0 1 0 160387677 27197440 6014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386597 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 6640 6014 313 324 0 5709 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26560

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1679608/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=26556 CPUtime=282.19
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6203 0 0 0 28157 62 0 0 25 0 1 0 160387677 27193344 6014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 6639 6014 313 324 0 5708 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 26556

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1677560/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=28800 CPUtime=342.17
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 6753 0 0 0 34144 73 0 0 25 0 1 0 160387677 29491200 6564 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 7200 6564 313 324 0 6269 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 28800

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1673208/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=32892 CPUtime=402.15
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 7788 0 0 0 40131 84 0 0 25 0 1 0 160387677 33681408 7599 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8223 7599 313 324 0 7292 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 32892

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671416/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34668 CPUtime=462.12
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 46116 96 0 0 25 0 1 0 160387677 35500032 8049 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8667 8049 313 324 0 7736 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 34668

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671416/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34644 CPUtime=522.1
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 52101 109 0 0 25 0 1 0 160387677 35475456 8044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8661 8044 313 324 0 7730 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 34644

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34380 CPUtime=582.09
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 58088 121 0 0 25 0 1 0 160387677 35205120 7978 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8595 7978 313 324 0 7664 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 34380

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34372 CPUtime=642.06
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8238 0 0 0 64066 140 0 0 25 0 1 0 160387677 35196928 7976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8593 7976 313 324 0 7662 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 34372


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


[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671544/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34544 CPUtime=881.97
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8609 0 0 0 87999 198 0 0 25 0 1 0 160387677 35373056 8014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8636 8014 313 324 0 7705 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 34544

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1671480/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=34552 CPUtime=941.96
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8611 0 0 0 93988 208 0 0 25 0 1 0 160387677 35381248 8016 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8638 8016 313 324 0 7707 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 34552

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1670520/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=35492 CPUtime=1001.93
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 8847 0 0 0 99969 224 0 0 25 0 1 0 160387677 36343808 8252 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 8873 8252 313 324 0 7942 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 35492

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669368/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36720 CPUtime=1061.91
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9155 0 0 0 105948 243 0 0 25 0 1 0 160387677 37601280 8560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9180 8560 313 324 0 8249 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 36720

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669368/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36732 CPUtime=1121.89
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9157 0 0 0 111931 258 0 0 25 0 1 0 160387677 37613568 8562 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9183 8562 313 324 0 8252 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 36732

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669560/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36732 CPUtime=1181.86
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9157 0 0 0 117919 267 0 0 25 0 1 0 160387677 37613568 8562 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9183 8562 313 324 0 8252 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 36732

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36568 CPUtime=1241.85
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 123909 276 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11062388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9142 8525 313 324 0 8211 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 36568

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36568 CPUtime=1301.83
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 129892 291 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9142 8525 313 324 0 8211 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 36568

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36568 CPUtime=1361.8
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 135876 304 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9142 8525 313 324 0 8211 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 36568

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36568 CPUtime=1421.79
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 141861 318 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9142 8525 313 324 0 8211 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 36568

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36568 CPUtime=1481.76
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9158 0 0 0 147844 332 0 0 25 0 1 0 160387677 37445632 8525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9142 8525 313 324 0 8211 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 36568

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36576 CPUtime=1541.74
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9160 0 0 0 153834 340 0 0 25 0 1 0 160387677 37453824 8527 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9144 8527 313 324 0 8213 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 36576

[startup+1602.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 17573
/proc/meminfo: memFree=1669432/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=36576 CPUtime=1601.72
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 9160 0 0 0 159821 351 0 0 25 0 1 0 160387677 37453824 8527 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11376499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 9144 8527 313 324 0 8213 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 36576

[startup+1662.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 17573
/proc/meminfo: memFree=1663992/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=42196 CPUtime=1661.7
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 10554 0 0 0 165811 359 0 0 25 0 1 0 160387677 43208704 9921 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 10549 9921 313 324 0 9618 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 42196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17573
/proc/meminfo: memFree=1661880/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=44220 CPUtime=1721.67
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 11074 0 0 0 171797 370 0 0 25 0 1 0 160387677 45281280 10408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 11055 10408 313 324 0 10124 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 44220

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17573
/proc/meminfo: memFree=1661880/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=44220 CPUtime=1781.65
/proc/17572/stat : 17572 (bsolo3.0.16) R 17570 17572 16360 0 -1 4194304 11107 0 0 0 177787 378 0 0 25 0 1 0 160387677 45281280 10408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17572/statm: 11055 10408 313 324 0 10124 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 44220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17573
/proc/meminfo: memFree=1702208/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=0 CPUtime=1800.01
/proc/17572/stat : 17572 (bsolo3.0.16) D 17570 17572 16360 0 -1 4194308 11141 0 0 0 179619 382 0 0 15 0 1 0 160387677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/17572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17573
/proc/meminfo: memFree=1702208/2055920 swapFree=4180512/4192956
[pid=17572] ppid=17570 vsize=0 CPUtime=1800.01
/proc/17572/stat : 17572 (bsolo3.0.16) D 17570 17572 16360 0 -1 4194308 11141 0 0 0 179619 382 0 0 15 0 1 0 160387677 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/17572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.01
CPU user time (s): 1796.19
CPU system time (s): 3.82042
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 44220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 3.82042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11141
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= 18
involuntary context switches= 4098

runsolver used 2.16467 second user time and 4.36234 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Apr 21 03:05:22 UTC 2007

IDJOB= 372708
IDBENCH= 24991
IDSOLVER= 163
FILE ID= node33/372708-1177124722

PBS_JOBID= 4640488

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  2aa6eb5ee09e1484657dfe3626167241

RANDOM SEED= 894252905

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1703128 kB
Buffers:         40400 kB
Cached:         213888 kB
SwapCached:       2276 kB
Active:         212268 kB
Inactive:        86496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703128 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            5004 kB
Writeback:           0 kB
Mapped:          59388 kB
Slab:            39332 kB
Committed_AS:  1732744 kB
PageTables:       1992 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= 66473 MiB

End job on node33 on Sat Apr 21 03:35:23 UTC 2007