Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 2306350 | 1800.23 | 1798.19 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2306350 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2191362 |
Optimality of the best value was proved | NO |
Number of variables | 8959 |
Total number of constraints | 323 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1612776422946 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1612776422946 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.12/0.11 c Pseudo Boolean Optimization 0.12/0.11 c --- Begin Solver configuration --- 0.12/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.12/0.11 c Learn all clauses as in MiniSAT 0.12/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.11 c Expensive reason simplification 0.12/0.11 c Armin Biere (Picosat) restarts strategy 0.12/0.11 c Glucose learned constraints deletion strategy 0.12/0.11 c timeout=2147483s 0.12/0.11 c DB Simplification allowed=false 0.12/0.11 c --- End Solver configuration --- 0.12/0.11 c solving HOME/instance-3458961-1307149319.opb 0.12/0.11 c reading problem ... 0.55/0.38 c ... done. Wall clock time 0.271s. 0.55/0.38 c #vars 8959 0.55/0.38 c #constraints 5038 0.55/0.38 c constraints type 0.55/0.38 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 357 1.61/0.99 c SATISFIABLE 1.61/0.99 c OPTIMIZING... 1.61/0.99 c Got one! Elapsed wall clock time (in seconds):0.887 1.61/0.99 o 5379214 2.92/2.19 c Got one! Elapsed wall clock time (in seconds):2.085 2.92/2.19 o 4763213 3.37/2.54 c Got one! Elapsed wall clock time (in seconds):2.438 3.37/2.54 o 4061589 3.50/2.65 c Got one! Elapsed wall clock time (in seconds):2.546 3.50/2.65 o 2306350 9.59/8.75 c cleaning 3141 clauses out of 6292 with flag 5001/6292 16.75/15.88 c cleaning 4568 clauses out of 9151 with flag 11001/12292 24.75/23.89 c cleaning 5780 clauses out of 11584 with flag 18002/19293 33.56/32.69 c cleaning 6892 clauses out of 13802 with flag 26000/27291 44.42/43.40 c cleaning 7951 clauses out of 15913 with flag 35003/36294 54.94/53.99 c cleaning 8974 clauses out of 17960 with flag 45001/46292 67.84/66.89 c cleaning 9476 clauses out of 18985 with flag 55000/56291 80.64/79.61 c cleaning 9740 clauses out of 19510 with flag 65001/66292 91.84/90.84 c cleaning 9869 clauses out of 19770 with flag 75001/76292 104.85/103.81 c cleaning 9935 clauses out of 19900 with flag 85000/86291 115.26/114.21 c cleaning 9962 clauses out of 19966 with flag 95001/96292 124.56/123.57 c cleaning 9988 clauses out of 20003 with flag 105000/106291 134.07/133.07 c cleaning 9998 clauses out of 20015 with flag 115000/116291 147.28/146.27 c cleaning 9996 clauses out of 20017 with flag 125000/126291 159.98/158.96 c cleaning 9999 clauses out of 20021 with flag 135000/136291 170.69/169.63 c cleaning 9997 clauses out of 20024 with flag 145002/146293 180.79/179.77 c cleaning 9978 clauses out of 20025 with flag 155000/156291 190.80/189.74 c cleaning 9987 clauses out of 20047 with flag 165000/166291 199.30/198.29 c cleaning 10010 clauses out of 20061 with flag 175001/176292 210.70/209.66 c cleaning 10018 clauses out of 20052 with flag 185002/186293 221.00/219.96 c cleaning 10000 clauses out of 20033 with flag 195001/196292 230.21/229.11 c cleaning 9996 clauses out of 20033 with flag 205001/206292 239.82/238.81 c cleaning 9996 clauses out of 20036 with flag 215000/216291 250.42/249.37 c cleaning 9996 clauses out of 20041 with flag 225001/226292 261.72/260.60 c cleaning 10008 clauses out of 20044 with flag 235000/236291 274.53/273.49 c cleaning 9999 clauses out of 20036 with flag 245000/246291 287.34/286.25 c cleaning 10005 clauses out of 20037 with flag 255000/256291 297.25/296.10 c cleaning 10000 clauses out of 20032 with flag 265000/266291 307.45/306.32 c cleaning 10008 clauses out of 20032 with flag 275000/276291 320.06/318.97 c cleaning 10001 clauses out of 20025 with flag 285001/286292 329.86/328.72 c cleaning 9998 clauses out of 20023 with flag 295000/296291 337.36/336.28 c cleaning 10000 clauses out of 20025 with flag 305000/306291 345.87/344.79 c cleaning 10001 clauses out of 20027 with flag 315002/316293 363.67/362.58 c cleaning 9982 clauses out of 20024 with flag 325000/326291 384.38/383.21 c cleaning 10000 clauses out of 20043 with flag 335001/336292 405.39/404.26 c cleaning 9999 clauses out of 20042 with flag 345000/346291 416.01/414.89 c cleaning 9998 clauses out of 20043 with flag 355000/356291 425.50/424.37 c cleaning 10001 clauses out of 20047 with flag 365002/366293 435.82/434.69 c cleaning 10003 clauses out of 20045 with flag 375001/376292 447.21/446.09 c cleaning 10006 clauses out of 20041 with flag 385000/386291 458.51/457.34 c cleaning 9995 clauses out of 20037 with flag 395002/396293 471.21/470.08 c cleaning 9992 clauses out of 20041 with flag 405001/406292 482.04/480.86 c cleaning 10019 clauses out of 20049 with flag 415001/416292 488.43/487.29 c cleaning 9995 clauses out of 20030 with flag 425001/426292 499.94/498.73 c cleaning 9999 clauses out of 20036 with flag 435002/436293 512.87/511.69 c cleaning 9996 clauses out of 20036 with flag 445001/446292 523.36/522.15 c cleaning 10008 clauses out of 20039 with flag 455000/456291 532.36/531.19 c cleaning 10001 clauses out of 20032 with flag 465001/466292 541.76/540.59 c cleaning 9999 clauses out of 20030 with flag 475000/476291 552.87/551.68 c cleaning 9992 clauses out of 20034 with flag 485003/486294 565.88/564.63 c cleaning 10002 clauses out of 20041 with flag 495002/496293 578.48/577.24 c cleaning 9995 clauses out of 20037 with flag 505000/506291 591.89/590.62 c cleaning 9997 clauses out of 20043 with flag 515001/516292 603.50/602.28 c cleaning 9994 clauses out of 20047 with flag 525002/526293 610.10/608.83 c cleaning 9994 clauses out of 20053 with flag 535002/536293 616.61/615.37 c cleaning 9999 clauses out of 20058 with flag 545001/546292 623.21/621.93 c cleaning 10005 clauses out of 20060 with flag 555002/556293 629.71/628.46 c cleaning 9993 clauses out of 20054 with flag 565001/566292 637.42/636.13 c cleaning 10008 clauses out of 20063 with flag 575003/576294 644.02/642.70 c cleaning 10007 clauses out of 20053 with flag 585001/586292 652.42/651.20 c cleaning 10016 clauses out of 20045 with flag 595000/596291 664.26/662.95 c cleaning 10004 clauses out of 20031 with flag 605002/606293 675.17/673.83 c cleaning 9985 clauses out of 20027 with flag 615002/616293 685.97/684.68 c cleaning 10010 clauses out of 20040 with flag 625000/626291 694.28/692.98 c cleaning 10001 clauses out of 20030 with flag 635000/636291 703.09/701.77 c cleaning 9998 clauses out of 20029 with flag 645000/646291 712.19/710.90 c cleaning 10005 clauses out of 20032 with flag 655001/656292 721.62/720.28 c cleaning 9999 clauses out of 20026 with flag 665000/666291 732.33/730.90 c cleaning 9998 clauses out of 20028 with flag 675001/676292 742.33/740.90 c cleaning 9994 clauses out of 20029 with flag 685000/686291 751.14/749.76 c cleaning 9993 clauses out of 20037 with flag 695002/696293 759.75/758.39 c cleaning 9998 clauses out of 20043 with flag 705001/706292 767.85/766.47 c cleaning 10002 clauses out of 20045 with flag 715001/716292 777.07/775.67 c cleaning 10001 clauses out of 20042 with flag 725000/726291 785.96/784.54 c cleaning 10013 clauses out of 20042 with flag 735001/736292 795.46/794.07 c cleaning 10001 clauses out of 20029 with flag 745001/746292 804.47/803.10 c cleaning 10007 clauses out of 20028 with flag 755001/756292 814.67/813.25 c cleaning 10002 clauses out of 20020 with flag 765000/766291 824.39/822.92 c cleaning 10003 clauses out of 20019 with flag 775001/776292 834.38/832.95 c cleaning 9993 clauses out of 20016 with flag 785001/786292 845.48/844.02 c cleaning 9984 clauses out of 20023 with flag 795001/796292 856.69/855.24 c cleaning 9989 clauses out of 20038 with flag 805000/806291 867.80/866.37 c cleaning 9996 clauses out of 20050 with flag 815001/816292 880.20/878.72 c cleaning 10007 clauses out of 20054 with flag 825001/826292 891.31/889.85 c cleaning 9999 clauses out of 20046 with flag 835000/836291 902.42/900.94 c cleaning 10007 clauses out of 20049 with flag 845002/846293 913.21/911.73 c cleaning 10005 clauses out of 20040 with flag 855000/856291 924.32/922.87 c cleaning 9998 clauses out of 20035 with flag 865000/866291 934.73/933.25 c cleaning 9997 clauses out of 20038 with flag 875001/876292 945.73/944.21 c cleaning 10007 clauses out of 20040 with flag 885000/886291 956.34/954.83 c cleaning 10011 clauses out of 20036 with flag 895003/896294 965.26/963.73 c cleaning 9992 clauses out of 20022 with flag 905000/906291 975.65/974.12 c cleaning 9999 clauses out of 20030 with flag 915000/916291 984.96/983.43 c cleaning 9992 clauses out of 20032 with flag 925001/926292 995.76/994.26 c cleaning 10006 clauses out of 20040 with flag 935001/936292 1008.28/1006.77 c cleaning 9988 clauses out of 20034 with flag 945001/946292 1024.28/1022.76 c cleaning 9998 clauses out of 20046 with flag 955001/956292 1039.39/1037.84 c cleaning 9999 clauses out of 20049 with flag 965002/966293 1050.90/1049.41 c cleaning 9994 clauses out of 20048 with flag 975000/976291 1059.81/1058.27 c cleaning 10014 clauses out of 20055 with flag 985001/986292 1068.62/1067.11 c cleaning 10006 clauses out of 20040 with flag 995000/996291 1077.81/1076.26 c cleaning 9998 clauses out of 20036 with flag 1005002/1006293 1087.82/1086.28 c cleaning 9994 clauses out of 20037 with flag 1015001/1016292 1098.44/1096.82 c cleaning 9984 clauses out of 20042 with flag 1025000/1026291 1111.23/1109.66 c cleaning 9991 clauses out of 20058 with flag 1035000/1036291 1123.44/1121.82 c cleaning 9990 clauses out of 20068 with flag 1045001/1046292 1135.86/1134.29 c cleaning 9989 clauses out of 20077 with flag 1055000/1056291 1147.85/1146.29 c cleaning 10001 clauses out of 20088 with flag 1065000/1066291 1160.15/1158.56 c cleaning 10003 clauses out of 20088 with flag 1075001/1076292 1171.55/1169.94 c cleaning 10033 clauses out of 20085 with flag 1085001/1086292 1180.26/1178.60 c cleaning 10010 clauses out of 20052 with flag 1095001/1096292 1189.07/1187.46 c cleaning 10013 clauses out of 20041 with flag 1105000/1106291 1197.77/1196.19 c cleaning 9990 clauses out of 20028 with flag 1115000/1116291 1206.18/1204.53 c cleaning 10000 clauses out of 20038 with flag 1125000/1126291 1216.20/1214.58 c cleaning 10010 clauses out of 20038 with flag 1135000/1136291 1223.28/1221.62 c cleaning 9984 clauses out of 20028 with flag 1145000/1146291 1232.08/1230.46 c cleaning 10006 clauses out of 20044 with flag 1155000/1156291 1241.29/1239.68 c cleaning 10007 clauses out of 20038 with flag 1165000/1166291 1252.09/1250.46 c cleaning 10006 clauses out of 20036 with flag 1175005/1176296 1265.60/1263.93 c cleaning 9975 clauses out of 20027 with flag 1185002/1186293 1280.20/1278.55 c cleaning 10011 clauses out of 20051 with flag 1195001/1196292 1295.22/1293.53 c cleaning 10007 clauses out of 20039 with flag 1205000/1206291 1309.03/1307.33 c cleaning 10001 clauses out of 20033 with flag 1215001/1216292 1322.53/1320.80 c cleaning 10001 clauses out of 20032 with flag 1225001/1226292 1336.24/1334.56 c cleaning 9982 clauses out of 20032 with flag 1235002/1236293 1349.36/1347.64 c cleaning 9993 clauses out of 20050 with flag 1245002/1246293 1361.75/1360.08 c cleaning 10015 clauses out of 20056 with flag 1255001/1256292 1374.35/1372.64 c cleaning 9997 clauses out of 20040 with flag 1265000/1266291 1387.05/1385.39 c cleaning 9993 clauses out of 20043 with flag 1275000/1276291 1398.96/1397.26 c cleaning 10009 clauses out of 20050 with flag 1285000/1286291 1412.08/1410.36 c cleaning 9994 clauses out of 20042 with flag 1295001/1296292 1427.07/1425.31 c cleaning 9999 clauses out of 20047 with flag 1305000/1306291 1439.97/1438.21 c cleaning 10010 clauses out of 20054 with flag 1315006/1316297 1451.17/1449.47 c cleaning 10016 clauses out of 20038 with flag 1325000/1326291 1462.18/1460.43 c cleaning 9995 clauses out of 20022 with flag 1335000/1336291 1472.60/1470.88 c cleaning 9992 clauses out of 20027 with flag 1345000/1346291 1482.70/1480.91 c cleaning 10004 clauses out of 20036 with flag 1355001/1356292 1491.91/1490.10 c cleaning 9999 clauses out of 20031 with flag 1365000/1366291 1502.61/1500.89 c cleaning 10001 clauses out of 20033 with flag 1375001/1376292 1512.72/1510.96 c cleaning 10005 clauses out of 20033 with flag 1385002/1386293 1527.32/1525.52 c cleaning 10002 clauses out of 20028 with flag 1395002/1396293 1542.43/1540.67 c cleaning 9982 clauses out of 20026 with flag 1405002/1406293 1555.15/1553.36 c cleaning 10004 clauses out of 20042 with flag 1415000/1416291 1567.34/1565.54 c cleaning 10003 clauses out of 20038 with flag 1425000/1426291 1579.54/1577.79 c cleaning 10002 clauses out of 20037 with flag 1435002/1436293 1592.25/1590.49 c cleaning 9996 clauses out of 20035 with flag 1445002/1446293 1604.45/1602.64 c cleaning 9998 clauses out of 20038 with flag 1455001/1456292 1615.76/1613.95 c cleaning 9991 clauses out of 20042 with flag 1465003/1466294 1626.27/1624.40 c cleaning 9992 clauses out of 20048 with flag 1475000/1476291 1636.59/1634.77 c cleaning 10009 clauses out of 20057 with flag 1485001/1486292 1647.49/1645.69 c cleaning 9999 clauses out of 20048 with flag 1495001/1496292 1658.49/1656.69 c cleaning 10001 clauses out of 20049 with flag 1505001/1506292 1669.69/1667.87 c cleaning 9995 clauses out of 20048 with flag 1515001/1516292 1678.99/1677.16 c cleaning 10008 clauses out of 20052 with flag 1525000/1526291 1684.40/1682.58 c cleaning 10003 clauses out of 20045 with flag 1535001/1536292 1692.51/1690.69 c cleaning 10002 clauses out of 20041 with flag 1545000/1546291 1702.31/1700.45 c cleaning 10003 clauses out of 20040 with flag 1555001/1556292 1712.22/1710.33 c cleaning 9977 clauses out of 20036 with flag 1565000/1566291 1721.52/1719.68 c cleaning 10012 clauses out of 20060 with flag 1575001/1576292 1731.13/1729.21 c cleaning 10010 clauses out of 20047 with flag 1585000/1586291 1739.73/1737.89 c cleaning 9993 clauses out of 20038 with flag 1595001/1596292 1749.43/1747.56 c cleaning 10007 clauses out of 20044 with flag 1605000/1606291 1758.44/1756.50 c cleaning 9990 clauses out of 20037 with flag 1615000/1616291 1769.35/1767.44 c cleaning 10005 clauses out of 20048 with flag 1625001/1626292 1779.85/1777.95 c cleaning 10003 clauses out of 20044 with flag 1635002/1636293 1791.16/1789.28 c cleaning 9998 clauses out of 20040 with flag 1645001/1646292 1800.07/1798.12 c starts : 213 1800.07/1798.12 c conflicts : 1655102 1800.07/1798.12 c decisions : 3034953 1800.07/1798.12 c propagations : 223918866 1800.07/1798.12 c inspects : 715953066 1800.07/1798.12 c shortcuts : 0 1800.07/1798.12 c learnt literals : 0 1800.07/1798.12 c learnt binary clauses : 0 1800.07/1798.12 c learnt ternary clauses : 0 1800.07/1798.12 c learnt constraints : 1655101 1800.07/1798.12 c ignored constraints : 0 1800.07/1798.12 c root simplifications : 0 1800.07/1798.12 c removed literals (reason simplification) : 97277998 1800.07/1798.12 c reason swapping (by a shorter reason) : 0 1800.07/1798.12 c Calls to reduceDB : 166 1800.07/1798.12 c number of reductions to clauses (during analyze) : 0 1800.07/1798.12 c number of learned constraints concerned by reduction : 0 1800.07/1798.12 c number of learning phase by resolution : 0 1800.07/1798.12 c number of learning phase by cutting planes : 0 1800.07/1798.12 c speed (assignments/second) : 124713.78787186807 1800.07/1798.12 c non guided choices 24492 1800.07/1798.15 c learnt constraints type 1800.07/1798.15 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18874 1800.07/1798.15 c constraints type 1800.07/1798.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 358 1800.07/1798.15 s SATISFIABLE 1800.07/1798.17 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 x245 -x246 x247 x248 -x249 -x250 x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 x576 -x577 -x578 x579 x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 x757 x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 x1926 -x1927 x1928 x1929 x1930 x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 -x2433 -x2434 -x2435 x2436 -x2437 x2438 x2439 x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 x2493 x2494 x2495 x2496 x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 -x2886 x2887 x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 x3459 x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 x3725 x3726 x3727 x3728 x3729 x3730 x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 x3752 x3753 x3754 x3755 x3756 x3757 x3758 x3759 x3760 x3761 x3762 x3763 -x3764 x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 x4264 x4265 x4266 x4267 x4268 x4269 x4270 x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 x4627 x4628 x4629 x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 x4986 x4987 x4988 x4989 x4990 -x4991 x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 x5132 x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 x5522 -x5523 x5524 -x5525 -x5526 x5527 x5528 x5529 x5530 x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 x5643 x5644 x5645 -x5646 -x5647 -x5648 -x5649 x5650 x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 x5764 x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 x5772 x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 x6092 x6093 -x6094 x6095 x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 -x6152 x6153 -x6154 -x6155 x6156 x6157 x6158 x6159 x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 x6186 x6187 x6188 x6189 x6190 -x6191 -x6192 x6193 x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 x6932 x6933 x6934 x6935 x6936 -x6937 x6938 -x6939 -x6940 x6941 x6942 x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 x6996 -x6997 -x6998 x6999 x7000 x7001 x7002 x7003 x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 x7300 x7301 x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 x7381 x7382 x7383 x7384 x7385 x7386 x7387 x7388 x7389 x7390 x7391 x7392 x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 x7653 x7654 -x7655 x7656 x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 x7775 -x7776 -x7777 x7778 x7779 x7780 -x7781 x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 x8191 x8192 x8193 x8194 x8195 x8196 x8197 x8198 x8199 x8200 x8201 x8202 x8203 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 x8401 x8402 x8403 x8404 x8405 x8406 x8407 x8408 x8409 x8410 x8411 x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551 x8552 -x8553 x8554 x8555 x8556 x8557 x8558 x8559 x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 x8641 x8642 x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 x8652 x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 x8696 x8697 -x8698 x8699 -x8700 x8701 -x8702 -x8703 x8704 x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 x8747 -x8748 -x8749 -x8750 -x8751 x8752 -x8753 x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 x8774 -x8775 x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 x8795 x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 x8812 x8813 x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 x8821 -x8822 -x8823 -x8824 x8825 x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 x8837 -x8838 -x8839 -x8840 -x8841 x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 x8855 -x8856 -x8857 -x8858 x8859 -x8860 -x8861 -x8862 x8863 -x8864 -x8865 -x8866 -x8867 -x8868 x8869 -x8870 -x8871 -x8872 -x8873 x8874 -x8875 x8876 x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 x8900 -x8901 x8902 -x8903 x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 x8912 -x8913 x8914 -x8915 -x8916 x8917 -x8918 -x8919 -x8920 x8921 -x8922 -x8923 -x8924 -x8925 x8926 x8927 -x8928 -x8929 x8930 x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 x8941 -x8942 -x8943 x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 x8951 -x8952 x8953 -x8954 -x8955 x8956 -x8957 -x8958 x8959 1800.07/1798.18 c objective function=2306350 1800.07/1798.18 c Total wall clock time (in seconds): 1798.071
OK 2306350
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458961-1307149319/watcher-3458961-1307149319 -o /tmp/evaluation-result-3458961-1307149319/solver-3458961-1307149319 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458961-1307149319.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 1.91 3/487 10664 /proc/meminfo: memFree=23999420/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=30540 CPUtime=0 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 905162421 31272960 958 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 7635 959 732 9 0 386 0 [pid=10664/tid=10665] ppid=10662 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 6324 0 1 0 0 0 0 0 25 0 2 0 905162422 13850947584 7139 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.111575 s] /proc/loadavg: 2.03 2.03 1.91 3/487 10664 /proc/meminfo: memFree=23999420/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13621984 CPUtime=0.12 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 15766 0 1 0 11 1 0 0 25 0 18 0 905162421 13948911616 15424 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3405496 15426 2125 9 0 3396230 0 [pid=10664/tid=10665] ppid=10662 vsize=13621984 CPUtime=0.09 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 13803 0 1 0 8 1 0 0 25 0 18 0 905162422 13948911616 15426 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 47748936029720 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 13621984 [startup+0.200514 s] /proc/loadavg: 2.03 2.03 1.91 3/487 10664 /proc/meminfo: memFree=23999420/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13622536 CPUtime=0.3 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 17002 0 1 0 29 1 0 0 25 0 18 0 905162421 13949476864 16409 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3405634 16410 2190 9 0 3396368 0 [pid=10664/tid=10665] ppid=10662 vsize=13622536 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 14537 0 1 0 17 1 0 0 25 0 18 0 905162422 13949476864 16410 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 13622536 [startup+0.300496 s] /proc/loadavg: 2.03 2.03 1.91 3/487 10664 /proc/meminfo: memFree=23999420/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13633808 CPUtime=0.55 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 22748 0 1 0 53 2 0 0 25 0 18 0 905162421 13961019392 20451 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408452 20451 2203 9 0 3399186 0 [pid=10664/tid=10665] ppid=10662 vsize=13633808 CPUtime=0.28 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 16083 0 1 0 27 1 0 0 25 0 18 0 905162422 13961019392 20451 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505357412 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 13633808 [startup+0.700484 s] /proc/loadavg: 2.03 2.03 1.91 3/487 10664 /proc/meminfo: memFree=23999420/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=1.41 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 29262 0 1 0 138 3 0 0 25 0 19 0 905162421 13962072064 25887 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 25887 2223 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=0.68 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 20842 0 1 0 66 2 0 0 25 0 19 0 905162422 13962072064 25887 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505714443 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 13634836 [startup+1.50133 s] /proc/loadavg: 2.03 2.03 1.91 3/506 10683 /proc/meminfo: memFree=23899524/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=2.28 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 30228 0 1 0 224 4 0 0 25 0 19 0 905162421 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 26852 2225 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=1.48 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 21796 0 1 0 146 2 0 0 25 0 19 0 905162422 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505652519 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.38 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3315 0 0 0 38 0 0 0 15 0 19 0 905162427 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.38 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3957 0 0 0 38 0 0 0 21 0 19 0 905162427 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 26852 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 13634836 [startup+3.10103 s] /proc/loadavg: 2.03 2.03 1.91 5/506 10683 /proc/meminfo: memFree=23897292/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=4 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 32626 0 1 0 396 4 0 0 25 0 19 0 905162421 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 29249 2227 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=3.09 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 24178 0 1 0 306 3 0 0 25 0 19 0 905162422 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505868058 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.46 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3322 0 0 0 46 0 0 0 15 0 19 0 905162427 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.43 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3966 0 0 0 43 0 0 0 15 0 19 0 905162427 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 29249 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 13634836 [startup+6.30141 s] /proc/loadavg: 2.03 2.03 1.91 3/506 10683 /proc/meminfo: memFree=23885264/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=7.19 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 33595 0 1 0 715 4 0 0 25 0 19 0 905162421 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 30209 2228 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=6.29 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 25146 0 1 0 626 3 0 0 25 0 19 0 905162422 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505736325 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162424 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905162425 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162425 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.46 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3322 0 0 0 46 0 0 0 15 0 19 0 905162427 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.43 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3966 0 0 0 43 0 0 0 15 0 19 0 905162427 13962072064 30209 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1575 0 0 0 17 0 0 0 15 0 19 0 905162424 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0.15 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1580 0 0 0 15 0 0 0 15 0 19 0 905162424 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1116 0 0 0 17 0 0 0 15 0 19 0 905162424 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=4.54 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 6896 0 0 0 453 1 0 0 15 0 19 0 905162425 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.5 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3332 0 0 0 50 0 0 0 15 0 19 0 905162427 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.52 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3985 0 0 0 52 0 0 0 15 0 19 0 905162427 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 45998 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1664.19 Current children cumulated vsize (KiB) 13634836 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 10777 /proc/meminfo: memFree=23808224/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=1724.23 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 50061 0 1 0 172411 12 0 0 25 0 19 0 905162421 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 46309 2254 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=1716.99 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 26060 0 1 0 171693 6 0 0 25 0 19 0 905162422 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505868139 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1303 0 0 0 17 0 0 0 16 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1824 0 0 0 17 0 0 0 15 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0.16 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 20 0 0 0 16 0 0 0 15 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 734 0 0 0 17 0 0 0 15 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0.15 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 75 0 0 0 15 0 0 0 15 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1575 0 0 0 17 0 0 0 15 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0.16 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1580 0 0 0 16 0 0 0 16 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1118 0 0 0 18 0 0 0 16 0 19 0 905162424 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=4.77 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 7206 0 0 0 476 1 0 0 15 0 19 0 905162425 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.5 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3332 0 0 0 50 0 0 0 15 0 19 0 905162427 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.52 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3985 0 0 0 52 0 0 0 15 0 19 0 905162427 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 46309 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1724.23 Current children cumulated vsize (KiB) 13634836 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 10779 /proc/meminfo: memFree=23804724/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=1784.26 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 50577 0 1 0 178414 12 0 0 25 0 19 0 905162421 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 46811 2254 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=1776.76 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 26066 0 1 0 177670 6 0 0 25 0 19 0 905162422 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505714443 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1310 0 0 0 18 0 0 0 16 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0.19 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1825 0 0 0 19 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 21 0 0 0 17 0 0 0 16 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 734 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0.15 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 75 0 0 0 15 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1575 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0.16 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1583 0 0 0 16 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1118 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=4.99 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 7700 0 0 0 497 2 0 0 15 0 19 0 905162425 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.5 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3332 0 0 0 50 0 0 0 15 0 19 0 905162427 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.52 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3985 0 0 0 52 0 0 0 15 0 19 0 905162427 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 46811 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1784.26 Current children cumulated vsize (KiB) 13634836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.1 s] /proc/loadavg: 2.00 2.02 2.00 3/506 10779 /proc/meminfo: memFree=23804820/32951124 swapFree=56297244/67111528 [pid=10664] ppid=10662 vsize=13634836 CPUtime=1800.07 cores=0,2,4,6 /proc/10664/stat : 10664 (java) S 10662 10664 8699 0 -1 4202496 50587 0 1 0 179995 12 0 0 25 0 19 0 905162421 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/10664/statm: 3408709 46820 2254 9 0 3399443 0 [pid=10664/tid=10665] ppid=10662 vsize=13634836 CPUtime=1792.54 cores=0,2,4,6 /proc/10664/task/10665/stat : 10665 (java) R 10662 10664 8699 0 -1 4202560 26067 0 1 0 179248 6 0 0 25 0 19 0 905162422 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 46912505868084 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10664/tid=10667] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10667/stat : 10667 (java) S 10662 10664 8699 0 -1 4202560 1310 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10668] ppid=10662 vsize=13634836 CPUtime=0.19 cores=0,2,4,6 /proc/10664/task/10668/stat : 10668 (java) S 10662 10664 8699 0 -1 4202560 1829 0 0 0 19 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10669] ppid=10662 vsize=13634836 CPUtime=0.17 cores=0,2,4,6 /proc/10664/task/10669/stat : 10669 (java) S 10662 10664 8699 0 -1 4202560 23 0 0 0 17 0 0 0 16 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10670] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10670/stat : 10670 (java) S 10662 10664 8699 0 -1 4202560 736 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10671] ppid=10662 vsize=13634836 CPUtime=0.15 cores=0,2,4,6 /proc/10664/task/10671/stat : 10671 (java) S 10662 10664 8699 0 -1 4202560 75 0 0 0 15 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10672] ppid=10662 vsize=13634836 CPUtime=0.18 cores=0,2,4,6 /proc/10664/task/10672/stat : 10672 (java) S 10662 10664 8699 0 -1 4202560 1575 0 0 0 18 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10673] ppid=10662 vsize=13634836 CPUtime=0.16 cores=0,2,4,6 /proc/10664/task/10673/stat : 10673 (java) S 10662 10664 8699 0 -1 4202560 1583 0 0 0 16 0 0 0 15 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10674] ppid=10662 vsize=13634836 CPUtime=0.19 cores=0,2,4,6 /proc/10664/task/10674/stat : 10674 (java) S 10662 10664 8699 0 -1 4202560 1119 0 0 0 19 0 0 0 16 0 19 0 905162424 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10675] ppid=10662 vsize=13634836 CPUtime=5.02 cores=0,2,4,6 /proc/10664/task/10675/stat : 10675 (java) S 10662 10664 8699 0 -1 4202560 7700 0 0 0 500 2 0 0 15 0 19 0 905162425 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 0 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10676] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10676/stat : 10676 (java) S 10662 10664 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10677] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10677/stat : 10677 (java) S 10662 10664 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905162425 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10678] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10678/stat : 10678 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469889457 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10679] ppid=10662 vsize=13634836 CPUtime=0.5 cores=0,2,4,6 /proc/10664/task/10679/stat : 10679 (java) S 10662 10664 8699 0 -1 4202560 3332 0 0 0 50 0 0 0 15 0 19 0 905162427 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 4 0 0 0 [pid=10664/tid=10680] ppid=10662 vsize=13634836 CPUtime=0.52 cores=0,2,4,6 /proc/10664/task/10680/stat : 10680 (java) S 10662 10664 8699 0 -1 4202560 3985 0 0 0 52 0 0 0 15 0 19 0 905162427 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 6 0 0 0 [pid=10664/tid=10681] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10681/stat : 10681 (java) S 10662 10664 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905162427 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469881753 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 [pid=10664/tid=10682] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10682/stat : 10682 (java) S 10662 10664 8699 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905162427 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 0 0 0 0 [pid=10664/tid=10683] ppid=10662 vsize=13634836 CPUtime=0 cores=0,2,4,6 /proc/10664/task/10683/stat : 10683 (java) S 10662 10664 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905162464 13962072064 46820 33554432000 1073741824 1073778376 140733654504128 18446744073709551615 252469882368 0 4 0 16800975 18446604446937523456 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13634836 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1798.19 CPU time (s): 1800.23 CPU user time (s): 1800.09 CPU system time (s): 0.133979 CPU usage (%): 100.113 Max. virtual memory (cumulated for all children) (KiB): 13634836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.133979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50759 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41543 involuntary context switches= 7940 runsolver used 9.2056 second user time and 18.2442 second system time The end
Begin job on node111 at 2011-06-04 03:01:59 IDJOB=3458961 IDBENCH=2302 IDSOLVER=1952 FILE ID=node111/3458961-1307149319 RUNJOBID= node111-1307147366-10282 PBS_JOBID= 13508805 Free space on /tmp= 73864 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458961-1307149319/watcher-3458961-1307149319 -o /tmp/evaluation-result-3458961-1307149319/solver-3458961-1307149319 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458961-1307149319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED=1941414749 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23999576 kB Buffers: 303496 kB Cached: 814056 kB SwapCached: 11784 kB Active: 7916752 kB Inactive: 757288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23999576 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 940 kB Writeback: 32 kB AnonPages: 7553548 kB Mapped: 36236 kB Slab: 143284 kB PageTables: 66876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162510012 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73864 MiB End job on node111 at 2011-06-04 03:32:00