Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 28 | 1800.24 | 1797.98 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1.45178 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 8805 |
Total number of constraints | 27496 |
Number of constraints which are clauses | 27496 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 4284 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4284 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 4284 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 12995394264 0.03/0.09 c Max memory 13063553024 0.03/0.09 c Total memory 13063553024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458490-1307156475.opb 0.10/0.11 c reading problem ... 1.03/0.50 c ... done. Wall clock time 0.385s. 1.03/0.50 c #vars 8805 1.03/0.50 c #constraints 27496 1.03/0.50 c constraints type 1.03/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 1.03/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 1.28/0.67 c SATISFIABLE 1.28/0.67 c OPTIMIZING... 1.28/0.67 c Got one! Elapsed wall clock time (in seconds):0.554 1.28/0.67 o 35 1.76/0.88 c Got one! Elapsed wall clock time (in seconds):0.766 1.76/0.88 o 33 2.21/1.13 c Got one! Elapsed wall clock time (in seconds):1.02 2.21/1.13 o 31 2.32/1.23 c Got one! Elapsed wall clock time (in seconds):1.116 2.32/1.23 o 30 4.97/3.84 c cleaning 2961 clauses out of 5928 with flag 5001/5928 6.32/5.11 c Got one! Elapsed wall clock time (in seconds):5.0 6.32/5.11 o 29 7.58/6.33 c cleaning 4435 clauses out of 8878 with flag 3000/11839 9.99/8.79 c cleaning 5215 clauses out of 10443 with flag 9000/17839 12.79/11.56 c cleaning 6113 clauses out of 12230 with flag 16002/24841 16.33/15.05 c cleaning 7056 clauses out of 14116 with flag 24001/32840 19.83/18.55 c cleaning 8023 clauses out of 16059 with flag 33000/41839 23.93/22.68 c cleaning 9008 clauses out of 18036 with flag 43000/51839 28.63/27.31 c cleaning 10003 clauses out of 20028 with flag 54000/62839 33.53/32.23 c cleaning 11001 clauses out of 22025 with flag 66000/74839 38.44/37.15 c cleaning 12004 clauses out of 24024 with flag 79000/87839 43.74/42.49 c cleaning 12999 clauses out of 26020 with flag 93000/101839 50.34/49.05 c cleaning 14001 clauses out of 28022 with flag 108001/116840 57.36/56.04 c cleaning 15003 clauses out of 30020 with flag 124000/132839 64.15/62.90 c cleaning 16001 clauses out of 32017 with flag 141000/149839 71.55/70.25 c cleaning 17000 clauses out of 34017 with flag 159001/167840 78.96/77.68 c cleaning 17998 clauses out of 36016 with flag 178000/186839 86.66/85.39 c cleaning 18999 clauses out of 38018 with flag 198000/206839 94.67/93.37 c cleaning 20004 clauses out of 40019 with flag 219000/227839 104.69/103.40 c cleaning 20999 clauses out of 42015 with flag 241000/249839 114.88/113.53 c cleaning 22008 clauses out of 44023 with flag 264007/272846 125.19/123.85 c cleaning 23001 clauses out of 46009 with flag 288001/296840 135.39/134.07 c cleaning 23997 clauses out of 48008 with flag 313001/321840 147.10/145.75 c cleaning 25000 clauses out of 50011 with flag 339001/347840 158.20/156.81 c cleaning 25997 clauses out of 52010 with flag 366000/374839 168.91/167.59 c cleaning 26504 clauses out of 53013 with flag 393000/401839 180.22/178.81 c cleaning 26746 clauses out of 53509 with flag 420000/428839 191.12/189.75 c cleaning 26879 clauses out of 53765 with flag 447002/455841 202.13/200.74 c cleaning 26931 clauses out of 53886 with flag 474002/482841 213.04/211.62 c cleaning 26969 clauses out of 53953 with flag 501000/509839 224.66/223.25 c cleaning 26986 clauses out of 53984 with flag 528000/536839 236.45/235.05 c cleaning 26988 clauses out of 53999 with flag 555001/563840 248.26/246.81 c cleaning 27004 clauses out of 54012 with flag 582002/590841 259.07/257.63 c cleaning 26994 clauses out of 54006 with flag 609000/617839 269.97/268.51 c cleaning 26995 clauses out of 54012 with flag 636000/644839 281.38/279.97 c cleaning 27000 clauses out of 54018 with flag 663001/671840 292.28/290.85 c cleaning 27002 clauses out of 54018 with flag 690001/698840 303.79/302.30 c cleaning 27002 clauses out of 54016 with flag 717001/725840 313.99/312.53 c cleaning 26998 clauses out of 54013 with flag 744000/752839 324.00/322.55 c cleaning 26997 clauses out of 54015 with flag 771000/779839 326.71/325.23 c Got one! Elapsed wall clock time (in seconds):325.118 326.71/325.23 o 28 328.31/326.89 c cleaning 19420 clauses out of 38863 with flag 5000/791684 330.51/329.04 c cleaning 12715 clauses out of 25443 with flag 11000/797684 332.91/331.42 c cleaning 9857 clauses out of 19729 with flag 18001/804685 335.52/334.04 c cleaning 8931 clauses out of 17872 with flag 26001/812685 338.62/337.16 c cleaning 8966 clauses out of 17941 with flag 35001/821685 342.02/340.57 c cleaning 9477 clauses out of 18974 with flag 45000/831684 345.74/344.25 c cleaning 10244 clauses out of 20498 with flag 56001/842685 349.63/348.18 c cleaning 11120 clauses out of 22254 with flag 68001/854685 353.83/352.35 c cleaning 12061 clauses out of 24133 with flag 81000/867684 359.05/357.58 c cleaning 13017 clauses out of 26074 with flag 95002/881686 364.93/363.41 c cleaning 14020 clauses out of 28055 with flag 110000/896684 371.84/370.38 c cleaning 15013 clauses out of 30039 with flag 126004/912688 379.24/377.78 c cleaning 16006 clauses out of 32022 with flag 143000/929684 386.94/385.46 c cleaning 17003 clauses out of 34017 with flag 161001/947685 395.06/393.56 c cleaning 17997 clauses out of 36013 with flag 180000/966684 402.86/401.37 c cleaning 18998 clauses out of 38016 with flag 200000/986684 410.57/409.01 c cleaning 20003 clauses out of 40018 with flag 221000/1007684 418.87/417.38 c cleaning 20998 clauses out of 42015 with flag 243000/1029684 427.77/426.27 c cleaning 21994 clauses out of 44017 with flag 266000/1052684 437.68/436.12 c cleaning 23002 clauses out of 46024 with flag 290001/1076685 447.68/446.16 c cleaning 24002 clauses out of 48021 with flag 315000/1101684 457.19/455.60 c cleaning 24994 clauses out of 50019 with flag 341000/1127684 467.59/466.06 c cleaning 26005 clauses out of 52026 with flag 368001/1154685 477.81/476.26 c cleaning 26506 clauses out of 53021 with flag 395001/1181685 488.41/486.88 c cleaning 26747 clauses out of 53515 with flag 422001/1208685 499.13/497.53 c cleaning 26878 clauses out of 53769 with flag 449002/1235686 509.75/508.17 c cleaning 26936 clauses out of 53889 with flag 476000/1262684 520.76/519.12 c cleaning 26972 clauses out of 53953 with flag 503000/1289684 531.45/529.86 c cleaning 26977 clauses out of 53982 with flag 530001/1316685 542.55/540.98 c cleaning 26993 clauses out of 54005 with flag 557001/1343685 553.56/551.93 c cleaning 26995 clauses out of 54011 with flag 584000/1370684 565.46/563.87 c cleaning 26993 clauses out of 54016 with flag 611000/1397684 575.97/574.37 c cleaning 27003 clauses out of 54023 with flag 638000/1424684 586.18/584.52 c cleaning 27004 clauses out of 54022 with flag 665002/1451686 596.58/594.92 c cleaning 26999 clauses out of 54016 with flag 692000/1478684 607.18/605.52 c cleaning 27001 clauses out of 54018 with flag 719001/1505685 617.60/616.00 c cleaning 26999 clauses out of 54016 with flag 746000/1532684 627.61/625.98 c cleaning 26997 clauses out of 54017 with flag 773000/1559684 638.20/636.59 c cleaning 27000 clauses out of 54021 with flag 800001/1586685 648.10/646.43 c cleaning 27000 clauses out of 54020 with flag 827000/1613684 658.21/656.59 c cleaning 27001 clauses out of 54020 with flag 854000/1640684 669.71/668.00 c cleaning 27001 clauses out of 54019 with flag 881000/1667684 680.44/678.78 c cleaning 26996 clauses out of 54018 with flag 908000/1694684 691.73/690.07 c cleaning 27003 clauses out of 54022 with flag 935000/1721684 703.13/701.48 c cleaning 27002 clauses out of 54020 with flag 962001/1748685 714.04/712.36 c cleaning 27000 clauses out of 54018 with flag 989001/1775685 724.54/722.85 c cleaning 27000 clauses out of 54017 with flag 1016000/1802684 735.14/733.45 c cleaning 26998 clauses out of 54017 with flag 1043000/1829684 745.46/743.70 c cleaning 26999 clauses out of 54019 with flag 1070000/1856684 755.28/753.53 c cleaning 27003 clauses out of 54021 with flag 1097001/1883685 765.77/764.02 c cleaning 26999 clauses out of 54017 with flag 1124000/1910684 775.97/774.25 c cleaning 27000 clauses out of 54019 with flag 1151001/1937685 786.38/784.62 c cleaning 26996 clauses out of 54018 with flag 1178000/1964684 797.18/795.47 c cleaning 27001 clauses out of 54022 with flag 1205000/1991684 808.00/806.23 c cleaning 27000 clauses out of 54022 with flag 1232001/2018685 817.49/815.78 c cleaning 27000 clauses out of 54021 with flag 1259000/2045684 827.20/825.44 c cleaning 26997 clauses out of 54021 with flag 1286000/2072684 837.30/835.50 c cleaning 26998 clauses out of 54024 with flag 1313000/2099684 847.81/846.08 c cleaning 27007 clauses out of 54028 with flag 1340002/2126686 858.81/857.07 c cleaning 26995 clauses out of 54019 with flag 1367000/2153684 870.62/868.91 c cleaning 26999 clauses out of 54024 with flag 1394000/2180684 881.61/879.84 c cleaning 27000 clauses out of 54027 with flag 1421002/2207686 892.12/890.31 c cleaning 26996 clauses out of 54025 with flag 1448000/2234684 902.42/900.66 c cleaning 27005 clauses out of 54029 with flag 1475000/2261684 912.93/911.16 c cleaning 27012 clauses out of 54025 with flag 1502001/2288685 923.13/921.30 c cleaning 26993 clauses out of 54012 with flag 1529000/2315684 931.74/929.97 c cleaning 26995 clauses out of 54019 with flag 1556000/2342684 941.45/939.62 c cleaning 27000 clauses out of 54024 with flag 1583000/2369684 950.55/948.79 c cleaning 27001 clauses out of 54024 with flag 1610000/2396684 960.66/958.87 c cleaning 27003 clauses out of 54023 with flag 1637000/2423684 970.88/969.06 c cleaning 27005 clauses out of 54020 with flag 1664000/2450684 982.87/981.03 c cleaning 26999 clauses out of 54016 with flag 1691001/2477685 995.09/993.21 c cleaning 27001 clauses out of 54016 with flag 1718000/2504684 1006.87/1005.04 c cleaning 26997 clauses out of 54015 with flag 1745000/2531684 1018.88/1017.07 c cleaning 26991 clauses out of 54018 with flag 1772000/2558684 1030.48/1028.68 c cleaning 27010 clauses out of 54030 with flag 1799003/2585687 1042.50/1040.68 c cleaning 27005 clauses out of 54017 with flag 1826000/2612684 1054.29/1052.42 c cleaning 26998 clauses out of 54012 with flag 1853000/2639684 1066.80/1064.90 c cleaning 26998 clauses out of 54017 with flag 1880003/2666687 1077.10/1075.26 c cleaning 26999 clauses out of 54016 with flag 1907000/2693684 1087.11/1085.26 c cleaning 26999 clauses out of 54018 with flag 1934001/2720685 1097.91/1096.08 c cleaning 26999 clauses out of 54018 with flag 1961000/2747684 1108.31/1106.49 c cleaning 26997 clauses out of 54019 with flag 1988000/2774684 1118.72/1116.84 c cleaning 26999 clauses out of 54023 with flag 2015001/2801685 1129.22/1127.32 c cleaning 26991 clauses out of 54023 with flag 2042000/2828684 1139.52/1137.61 c cleaning 26999 clauses out of 54034 with flag 2069002/2855686 1149.84/1147.97 c cleaning 27007 clauses out of 54034 with flag 2096001/2882685 1160.44/1158.58 c cleaning 27001 clauses out of 54026 with flag 2123000/2909684 1171.04/1169.12 c cleaning 27002 clauses out of 54025 with flag 2150000/2936684 1181.44/1179.58 c cleaning 26992 clauses out of 54023 with flag 2177000/2963684 1192.06/1190.14 c cleaning 27013 clauses out of 54031 with flag 2204000/2990684 1202.85/1200.92 c cleaning 27003 clauses out of 54018 with flag 2231000/3017684 1213.55/1211.62 c cleaning 27001 clauses out of 54015 with flag 2258000/3044684 1224.26/1222.30 c cleaning 27000 clauses out of 54014 with flag 2285000/3071684 1234.36/1232.50 c cleaning 26990 clauses out of 54015 with flag 2312001/3098685 1244.47/1242.51 c cleaning 27010 clauses out of 54026 with flag 2339002/3125686 1254.68/1252.70 c cleaning 26993 clauses out of 54015 with flag 2366001/3152685 1265.28/1263.31 c cleaning 27004 clauses out of 54022 with flag 2393001/3179685 1276.19/1274.22 c cleaning 27000 clauses out of 54019 with flag 2420002/3206686 1287.81/1285.83 c cleaning 26999 clauses out of 54018 with flag 2447001/3233685 1298.81/1296.83 c cleaning 26998 clauses out of 54019 with flag 2474001/3260685 1310.11/1308.15 c cleaning 27004 clauses out of 54021 with flag 2501001/3287685 1321.81/1319.83 c cleaning 26994 clauses out of 54018 with flag 2528002/3314686 1334.13/1332.14 c cleaning 27000 clauses out of 54024 with flag 2555002/3341686 1346.42/1344.43 c cleaning 26996 clauses out of 54022 with flag 2582000/3368684 1358.52/1356.52 c cleaning 27004 clauses out of 54026 with flag 2609000/3395684 1370.53/1368.56 c cleaning 27002 clauses out of 54023 with flag 2636001/3422685 1382.34/1380.33 c cleaning 27003 clauses out of 54020 with flag 2663000/3449684 1393.34/1391.33 c cleaning 27001 clauses out of 54018 with flag 2690001/3476685 1404.34/1402.40 c cleaning 26999 clauses out of 54016 with flag 2717000/3503684 1415.34/1413.40 c cleaning 27000 clauses out of 54018 with flag 2744001/3530685 1426.85/1424.84 c cleaning 26997 clauses out of 54017 with flag 2771000/3557684 1438.45/1436.46 c cleaning 27001 clauses out of 54020 with flag 2798000/3584684 1450.05/1448.01 c cleaning 27000 clauses out of 54019 with flag 2825000/3611684 1461.55/1459.59 c cleaning 27002 clauses out of 54020 with flag 2852001/3638685 1473.57/1471.52 c cleaning 27002 clauses out of 54018 with flag 2879001/3665685 1486.27/1484.29 c cleaning 26996 clauses out of 54015 with flag 2906000/3692684 1498.98/1496.97 c cleaning 26996 clauses out of 54019 with flag 2933000/3719684 1511.20/1509.20 c cleaning 27002 clauses out of 54023 with flag 2960000/3746684 1523.19/1521.16 c cleaning 27000 clauses out of 54021 with flag 2987000/3773684 1535.29/1533.20 c cleaning 27003 clauses out of 54022 with flag 3014001/3800685 1547.10/1545.00 c cleaning 26997 clauses out of 54018 with flag 3041000/3827684 1558.90/1556.88 c cleaning 26990 clauses out of 54021 with flag 3068000/3854684 1571.20/1569.12 c cleaning 27002 clauses out of 54032 with flag 3095001/3881685 1583.71/1581.67 c cleaning 27004 clauses out of 54030 with flag 3122001/3908685 1596.12/1594.07 c cleaning 26996 clauses out of 54025 with flag 3149000/3935684 1607.92/1605.83 c cleaning 27000 clauses out of 54029 with flag 3176000/3962684 1619.73/1617.64 c cleaning 27010 clauses out of 54029 with flag 3203000/3989684 1630.43/1628.37 c cleaning 26998 clauses out of 54019 with flag 3230000/4016684 1640.73/1638.66 c cleaning 26995 clauses out of 54021 with flag 3257000/4043684 1651.33/1649.20 c cleaning 27006 clauses out of 54026 with flag 3284000/4070684 1661.74/1659.60 c cleaning 26996 clauses out of 54021 with flag 3311001/4097685 1672.14/1670.09 c cleaning 27000 clauses out of 54024 with flag 3338000/4124684 1682.65/1680.58 c cleaning 27001 clauses out of 54024 with flag 3365000/4151684 1693.45/1691.33 c cleaning 27005 clauses out of 54025 with flag 3392002/4178686 1703.95/1701.87 c cleaning 27000 clauses out of 54019 with flag 3419001/4205685 1714.95/1712.89 c cleaning 26998 clauses out of 54019 with flag 3446001/4232685 1725.87/1723.78 c cleaning 26999 clauses out of 54020 with flag 3473000/4259684 1736.46/1734.38 c cleaning 27002 clauses out of 54022 with flag 3500001/4286685 1747.36/1745.29 c cleaning 27005 clauses out of 54020 with flag 3527001/4313685 1758.26/1756.19 c cleaning 26999 clauses out of 54014 with flag 3554000/4340684 1769.17/1767.03 c cleaning 26999 clauses out of 54016 with flag 3581001/4367685 1779.79/1777.65 c cleaning 26997 clauses out of 54016 with flag 3608000/4394684 1790.37/1788.27 c cleaning 27005 clauses out of 54019 with flag 3635000/4421684 1800.09/1797.92 c starts : 259 1800.09/1797.92 c conflicts : 4446173 1800.09/1797.92 c decisions : 17228398 1800.09/1797.92 c propagations : 7521720949 1800.09/1797.92 c inspects : 8392947662 1800.09/1797.92 c shortcuts : 0 1800.09/1797.92 c learnt literals : 0 1800.09/1797.92 c learnt binary clauses : 0 1800.09/1797.92 c learnt ternary clauses : 1 1800.09/1797.92 c learnt constraints : 4446173 1800.09/1797.92 c ignored constraints : 0 1800.09/1797.92 c root simplifications : 0 1800.09/1797.92 c removed literals (reason simplification) : 6191983 1800.09/1797.92 c reason swapping (by a shorter reason) : 0 1800.09/1797.92 c Calls to reduceDB : 183 1800.09/1797.92 c number of reductions to clauses (during analyze) : 0 1800.09/1797.92 c number of learned constraints concerned by reduction : 0 1800.09/1797.92 c number of learning phase by resolution : 0 1800.09/1797.92 c number of learning phase by cutting planes : 0 1800.09/1797.92 c speed (assignments/second) : 5107467.884301594 1800.09/1797.92 c non guided choices 35481 1800.09/1797.94 c learnt constraints type 1800.09/1797.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51559 1800.09/1797.94 c constraints type 1800.09/1797.94 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4529 1800.09/1797.94 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1797.94 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22286 1800.09/1797.94 s SATISFIABLE 1800.09/1797.95 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 1800.09/1797.96 c objective function=28 1800.09/1797.96 c Total wall clock time (in seconds): 1797.851
OK 28
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-3458490-1307156475/watcher-3458490-1307156475 -o /tmp/evaluation-result-3458490-1307156475/solver-3458490-1307156475 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458490-1307156475.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: 1.77 1.98 1.98 3/474 27040 /proc/meminfo: memFree=21422912/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 4182 0 1 0 0 0 0 0 21 0 2 0 808062842 13850947584 3885 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3381579 3900 917 9 0 3372735 0 [pid=27040/tid=27041] ppid=27038 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 4989 0 1 0 0 0 0 0 22 0 2 0 808062843 13850947584 5805 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.045085 s] /proc/loadavg: 1.77 1.98 1.98 3/474 27040 /proc/meminfo: memFree=21422912/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 13661 0 1 0 2 1 0 0 21 0 13 0 808062842 13874667520 13359 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3387370 13359 1655 9 0 3378118 0 [pid=27040/tid=27041] ppid=27038 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 12515 0 1 0 2 1 0 0 25 0 13 0 808062843 13874667520 13359 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273443275 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13549480 [startup+0.105067 s] /proc/loadavg: 1.77 1.98 1.98 3/474 27040 /proc/meminfo: memFree=21422912/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13687544 CPUtime=0.1 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 15533 0 1 0 9 1 0 0 21 0 18 0 808062842 14016045056 15231 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3421886 15232 2092 9 0 3412620 0 [pid=27040/tid=27041] ppid=27038 vsize=13687544 CPUtime=0.08 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 13649 0 1 0 7 1 0 0 18 0 18 0 808062843 14016045056 15232 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254261277381 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13687544 [startup+0.301034 s] /proc/loadavg: 1.77 1.98 1.98 3/474 27040 /proc/meminfo: memFree=21422912/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13687544 CPUtime=0.51 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 19236 0 1 0 49 2 0 0 21 0 18 0 808062842 14016045056 18265 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3421886 18267 2200 9 0 3412620 0 [pid=27040/tid=27041] ppid=27038 vsize=13687544 CPUtime=0.28 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 15908 0 1 0 26 2 0 0 18 0 18 0 808062843 14016045056 18267 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 13687544 [startup+0.700963 s] /proc/loadavg: 1.77 1.98 1.98 3/474 27040 /proc/meminfo: memFree=21422912/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=1.52 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 35639 0 1 0 147 5 0 0 21 0 19 0 808062842 14017097728 31970 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 31969 2232 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=0.67 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 27660 0 1 0 64 3 0 0 19 0 19 0 808062843 14017097728 31969 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505228239 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 13688572 [startup+1.50082 s] /proc/loadavg: 1.77 1.98 1.98 3/513 27082 /proc/meminfo: memFree=21019428/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=2.67 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 38080 0 1 0 262 5 0 0 21 0 19 0 808062842 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 33044 2237 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=1.47 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 28683 0 1 0 144 3 0 0 20 0 19 0 808062843 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505850976 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 808062846 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808062847 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808062847 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.51 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2620 0 0 0 51 0 0 0 15 0 19 0 808062849 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.66 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5618 0 0 0 65 1 0 0 23 0 19 0 808062849 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 33044 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 13688572 [startup+3.10156 s] /proc/loadavg: 1.77 1.98 1.98 3/514 27083 /proc/meminfo: memFree=20922780/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=4.27 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 38311 0 1 0 422 5 0 0 21 0 19 0 808062842 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 33274 2237 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=3.07 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 28913 0 1 0 304 3 0 0 20 0 19 0 808062843 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505995467 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062845 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 808062846 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808062847 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808062847 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.51 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2620 0 0 0 51 0 0 0 15 0 19 0 808062849 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.67 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5618 0 0 0 66 1 0 0 20 0 19 0 808062849 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 33274 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.27 Current children cumulated vsize (KiB) 13688572 [startup+6.30099 s] /proc/loadavg: 1.87 1.99 1.99 3/514 27083 /proc/meminfo: memFree=20907700/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=7.58 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 40972 0 1 0 752 6 0 0 21 0 19 0 808062842 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 35859 2263 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=6.24 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 29018 0 1 0 621 3 0 0 25 0 19 0 808062843 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505989908 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 475 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808062845 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=0.02 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 1247 0 0 0 2 0 0 0 15 0 19 0 808062846 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.54 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2627 0 0 0 54 0 0 0 15 0 19 0 808062849 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.73 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5683 0 0 0 72 1 0 0 15 0 19 0 808062849 14017097728 35859 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0.15 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 200 0 0 0 15 0 0 0 15 0 19 0 808062845 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0.14 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 295 0 0 0 14 0 0 0 15 0 19 0 808062845 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 647 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=5.88 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 5510 0 0 0 585 3 0 0 15 0 19 0 808062846 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.6 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2647 0 0 0 60 0 0 0 15 0 19 0 808062849 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.73 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5684 0 0 0 72 1 0 0 15 0 19 0 808062849 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 42462 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1724.45 Current children cumulated vsize (KiB) 13688572 [startup+1782.3 s] /proc/loadavg: 2.10 2.05 2.01 3/514 27133 /proc/meminfo: memFree=20783324/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=1784.47 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 48124 0 1 0 178436 11 0 0 21 0 19 0 808062842 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 42509 2265 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=1775.64 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 29197 0 1 0 177560 4 0 0 25 0 19 0 808062843 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 622 0 0 0 16 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 565 0 0 0 18 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 737 0 0 0 18 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 419 0 0 0 16 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 313 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 206 0 0 0 16 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0.14 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 295 0 0 0 14 0 0 0 15 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 647 0 0 0 17 0 0 0 16 0 19 0 808062845 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=6.09 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 5541 0 0 0 606 3 0 0 15 0 19 0 808062846 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.6 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2647 0 0 0 60 0 0 0 15 0 19 0 808062849 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.73 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5684 0 0 0 72 1 0 0 15 0 19 0 808062849 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 42509 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (KiB) 13688572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.9 s] /proc/loadavg: 2.14 2.06 2.02 3/514 27134 /proc/meminfo: memFree=20783428/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=1800.09 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 48142 0 1 0 179998 11 0 0 21 0 19 0 808062842 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 42524 2265 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=1791.22 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 29198 0 1 0 179118 4 0 0 25 0 19 0 808062843 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505990377 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 622 0 0 0 16 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 565 0 0 0 18 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 739 0 0 0 18 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 419 0 0 0 17 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 313 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 206 0 0 0 16 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0.14 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 295 0 0 0 14 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 647 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=6.13 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 5554 0 0 0 610 3 0 0 15 0 19 0 808062846 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.6 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2647 0 0 0 60 0 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.73 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5684 0 0 0 72 1 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13688572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.9 s] /proc/loadavg: 2.14 2.06 2.02 3/514 27134 /proc/meminfo: memFree=20783428/32951124 swapFree=67057928/67111528 [pid=27040] ppid=27038 vsize=13688572 CPUtime=1800.09 cores=0,2,4,6 /proc/27040/stat : 27040 (java) S 27038 27040 23895 0 -1 4202496 48142 0 1 0 179998 11 0 0 21 0 19 0 808062842 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/27040/statm: 3422143 42524 2265 9 0 3412877 0 [pid=27040/tid=27041] ppid=27038 vsize=13688572 CPUtime=1791.22 cores=0,2,4,6 /proc/27040/task/27041/stat : 27041 (java) R 27038 27040 23895 0 -1 4202560 29198 0 1 0 179118 4 0 0 25 0 19 0 808062843 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 46912505990377 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=27040/tid=27043] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27043/stat : 27043 (java) S 27038 27040 23895 0 -1 4202560 622 0 0 0 16 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27044] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27044/stat : 27044 (java) S 27038 27040 23895 0 -1 4202560 565 0 0 0 18 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27045] ppid=27038 vsize=13688572 CPUtime=0.18 cores=0,2,4,6 /proc/27040/task/27045/stat : 27045 (java) S 27038 27040 23895 0 -1 4202560 739 0 0 0 18 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27046] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27046/stat : 27046 (java) S 27038 27040 23895 0 -1 4202560 419 0 0 0 17 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27047] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27047/stat : 27047 (java) S 27038 27040 23895 0 -1 4202560 313 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27048] ppid=27038 vsize=13688572 CPUtime=0.16 cores=0,2,4,6 /proc/27040/task/27048/stat : 27048 (java) S 27038 27040 23895 0 -1 4202560 206 0 0 0 16 0 0 0 16 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27049] ppid=27038 vsize=13688572 CPUtime=0.14 cores=0,2,4,6 /proc/27040/task/27049/stat : 27049 (java) S 27038 27040 23895 0 -1 4202560 295 0 0 0 14 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27050] ppid=27038 vsize=13688572 CPUtime=0.17 cores=0,2,4,6 /proc/27040/task/27050/stat : 27050 (java) S 27038 27040 23895 0 -1 4202560 647 0 0 0 17 0 0 0 15 0 19 0 808062845 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27051] ppid=27038 vsize=13688572 CPUtime=6.13 cores=0,2,4,6 /proc/27040/task/27051/stat : 27051 (java) S 27038 27040 23895 0 -1 4202560 5554 0 0 0 610 3 0 0 15 0 19 0 808062846 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 0 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27052] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27052/stat : 27052 (java) S 27038 27040 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27053] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27053/stat : 27053 (java) S 27038 27040 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808062847 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 [pid=27040/tid=27054] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27054/stat : 27054 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273440177 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27055] ppid=27038 vsize=13688572 CPUtime=0.6 cores=0,2,4,6 /proc/27040/task/27055/stat : 27055 (java) S 27038 27040 23895 0 -1 4202560 2647 0 0 0 60 0 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27056] ppid=27038 vsize=13688572 CPUtime=0.73 cores=0,2,4,6 /proc/27040/task/27056/stat : 27056 (java) S 27038 27040 23895 0 -1 4202560 5684 0 0 0 72 1 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 0 0 0 0 [pid=27040/tid=27057] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27057/stat : 27057 (java) S 27038 27040 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273432473 0 4 0 16800975 18446604444759360576 0 0 -1 2 0 0 0 [pid=27040/tid=27058] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27058/stat : 27058 (java) S 27038 27040 23895 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808062849 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 4 0 0 0 [pid=27040/tid=27082] ppid=27038 vsize=13688572 CPUtime=0 cores=0,2,4,6 /proc/27040/task/27082/stat : 27082 (java) S 27038 27040 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808062896 14017097728 42524 33554432000 1073741824 1073778376 140737456026000 18446744073709551615 254273433088 0 4 0 16800975 18446604444759360576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13688572 Child status: 143 Real time (s): 1797.98 CPU time (s): 1800.24 CPU user time (s): 1800.12 CPU system time (s): 0.12598 CPU usage (%): 100.126 Max. virtual memory (cumulated for all children) (KiB): 13688572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 0.12598 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48308 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= 42041 involuntary context switches= 14386 runsolver used 9.14261 second user time and 18.9071 second system time The end
Begin job on node140 at 2011-06-04 05:01:15 IDJOB=3458490 IDBENCH=24992 IDSOLVER=1952 FILE ID=node140/3458490-1307156475 RUNJOBID= node140-1307156475-27026 PBS_JOBID= 13508776 Free space on /tmp= 73644 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_027_area_delay.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458490-1307156475/watcher-3458490-1307156475 -o /tmp/evaluation-result-3458490-1307156475/solver-3458490-1307156475 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458490-1307156475.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=981211321 node140.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.833 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.66 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.833 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 : 5226.14 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.833 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.833 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.77 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.833 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.833 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.74 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.833 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.75 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21423192 kB Buffers: 307584 kB Cached: 3966240 kB SwapCached: 6932 kB Active: 7391284 kB Inactive: 3801140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21423192 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 1400 kB Writeback: 0 kB AnonPages: 6916456 kB Mapped: 37628 kB Slab: 214944 kB PageTables: 52404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 141382492 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= 73640 MiB End job on node140 at 2011-06-04 05:31:15