Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 18 | 1800.36 | 928.624 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
| MD5SUM | b21d0afca1befeb5506928b558ab5220 |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 2.19067 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 6672 |
| Total number of constraints | 14168 |
| Number of constraints which are clauses | 14168 |
| 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 | 3302 |
| 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 | 3302 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3302 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3454149-1307193719.opb 0.09/0.11 c reading problem ... 0.80/0.46 c ... done. Wall clock time 0.343s. 0.80/0.46 c #vars 6672 0.80/0.46 c #constraints 14168 0.80/0.46 c constraints type 0.80/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 0.80/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 0.80/0.46 c constraints type 0.80/0.46 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 0.80/0.46 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1.11/0.53 c And the winner is CuttingPlanes 1.25/0.98 c SATISFIABLE 1.25/0.98 c OPTIMIZING... 1.25/0.98 c Got one! Elapsed wall clock time (in seconds):0.864 1.25/0.98 o 28 1.25/1.04 c And the winner is Resolution 1.69/1.51 c Got one! Elapsed wall clock time (in seconds):1.4 1.69/1.51 o 27 1.69/1.58 c And the winner is Resolution 2.01/2.07 c Got one! Elapsed wall clock time (in seconds):1.956 2.01/2.07 o 26 2.01/2.10 c And the winner is Resolution 17.05/16.66 c Got one! Elapsed wall clock time (in seconds):16.547 17.05/16.66 o 25 17.05/16.69 c And the winner is Resolution 17.23/17.18 c Got one! Elapsed wall clock time (in seconds):17.065 17.23/17.18 o 24 17.28/17.20 c And the winner is Resolution 17.38/17.69 c Got one! Elapsed wall clock time (in seconds):17.58 17.38/17.69 o 23 17.40/17.74 c And the winner is Resolution 17.55/18.22 c Got one! Elapsed wall clock time (in seconds):18.104 17.55/18.22 o 22 20.78/19.84 c And the winner is Resolution 20.85/20.24 c Got one! Elapsed wall clock time (in seconds):20.124 20.85/20.24 o 21 21.38/20.57 c cleaning 2818 clauses out of 5638 with flag 1000/5638 26.78/23.21 c cleaning 4406 clauses out of 8823 with flag 7003/11641 32.75/26.25 c cleaning 5703 clauses out of 11414 with flag 14000/18638 40.30/30.01 c cleaning 6850 clauses out of 13711 with flag 22000/26638 47.88/33.84 c cleaning 7918 clauses out of 15861 with flag 31000/35638 56.22/38.01 c cleaning 8966 clauses out of 17943 with flag 41000/45638 65.78/42.82 c cleaning 9984 clauses out of 19977 with flag 52000/56638 75.89/47.91 c cleaning 10984 clauses out of 21994 with flag 64001/68639 84.80/52.50 c cleaning 12001 clauses out of 24010 with flag 77001/81639 97.53/58.83 c cleaning 12990 clauses out of 26008 with flag 91000/95638 109.87/65.05 c cleaning 14003 clauses out of 28018 with flag 106000/110638 112.18/66.27 c And the winner is Resolution 112.43/66.48 c Got one! Elapsed wall clock time (in seconds):66.369 112.43/66.48 o 20 113.86/67.25 c cleaning 9670 clauses out of 19353 with flag 2000/115976 120.16/70.45 c cleaning 7839 clauses out of 15683 with flag 8000/121976 126.65/73.78 c cleaning 7414 clauses out of 14844 with flag 15000/128976 132.31/76.70 c cleaning 7705 clauses out of 15430 with flag 23000/136976 140.41/80.74 c cleaning 8356 clauses out of 16725 with flag 32000/145976 150.64/85.98 c cleaning 9176 clauses out of 18369 with flag 42000/155976 161.94/91.68 c cleaning 10094 clauses out of 20194 with flag 53001/166977 173.63/97.52 c cleaning 11045 clauses out of 22102 with flag 65003/178979 185.51/103.54 c cleaning 12025 clauses out of 24055 with flag 78001/191977 197.15/109.42 c cleaning 13010 clauses out of 26029 with flag 92000/205976 211.03/116.46 c cleaning 14003 clauses out of 28019 with flag 107000/220976 223.72/122.85 c cleaning 14494 clauses out of 29016 with flag 122000/235976 233.01/127.60 c cleaning 14754 clauses out of 29523 with flag 137001/250977 244.61/133.47 c cleaning 14874 clauses out of 29768 with flag 152000/265976 258.10/140.26 c cleaning 14940 clauses out of 29894 with flag 167000/280976 273.38/147.99 c cleaning 14937 clauses out of 29954 with flag 182000/295976 286.05/154.36 c cleaning 15004 clauses out of 30017 with flag 197000/310976 291.66/157.23 c And the winner is Resolution 291.84/157.60 c Got one! Elapsed wall clock time (in seconds):157.485 291.84/157.60 o 18 294.24/158.86 c cleaning 13385 clauses out of 26783 with flag 5000/322746 297.10/160.37 c cleaning 9692 clauses out of 19399 with flag 11001/328747 300.75/162.23 c cleaning 8344 clauses out of 16707 with flag 18001/335747 306.41/165.17 c cleaning 8177 clauses out of 16365 with flag 26003/343749 313.99/169.08 c cleaning 8562 clauses out of 17185 with flag 35000/352746 326.86/175.57 c cleaning 9257 clauses out of 18623 with flag 45000/362746 339.51/181.99 c cleaning 10169 clauses out of 20368 with flag 56002/373748 354.37/189.45 c cleaning 11089 clauses out of 22197 with flag 68000/385746 368.32/196.51 c cleaning 12049 clauses out of 24110 with flag 81002/398748 379.78/202.35 c cleaning 13024 clauses out of 26060 with flag 95001/412747 392.60/208.81 c cleaning 14008 clauses out of 28035 with flag 110000/427746 402.84/214.08 c cleaning 14506 clauses out of 29027 with flag 125000/442746 416.20/220.84 c cleaning 14751 clauses out of 29521 with flag 140000/457746 432.08/228.86 c cleaning 14877 clauses out of 29770 with flag 155000/472746 444.09/234.97 c cleaning 14942 clauses out of 29898 with flag 170005/487751 453.55/239.74 c cleaning 14968 clauses out of 29951 with flag 185000/502746 463.08/244.63 c cleaning 14982 clauses out of 29983 with flag 200000/517746 478.14/252.24 c cleaning 14939 clauses out of 30001 with flag 215000/532746 495.40/260.98 c cleaning 15006 clauses out of 30062 with flag 230000/547746 513.83/270.21 c cleaning 15014 clauses out of 30057 with flag 245001/562747 530.79/278.83 c cleaning 15013 clauses out of 30043 with flag 260001/577747 547.63/287.36 c cleaning 15009 clauses out of 30029 with flag 275000/592746 560.30/293.73 c cleaning 15002 clauses out of 30024 with flag 290004/607750 572.89/300.12 c cleaning 15001 clauses out of 30019 with flag 305001/622747 587.83/307.71 c cleaning 14998 clauses out of 30017 with flag 320000/637746 603.49/315.62 c cleaning 15004 clauses out of 30019 with flag 335000/652746 618.31/323.17 c cleaning 15000 clauses out of 30016 with flag 350001/667747 633.74/330.96 c cleaning 14993 clauses out of 30016 with flag 365001/682747 649.31/338.89 c cleaning 15007 clauses out of 30023 with flag 380001/697747 666.29/347.46 c cleaning 15003 clauses out of 30015 with flag 395000/712746 681.52/355.13 c cleaning 15001 clauses out of 30013 with flag 410001/727747 694.77/361.87 c cleaning 14998 clauses out of 30013 with flag 425002/742748 712.12/370.67 c cleaning 15001 clauses out of 30013 with flag 440000/757746 725.92/377.66 c cleaning 14995 clauses out of 30012 with flag 455000/772746 739.93/384.80 c cleaning 14996 clauses out of 30018 with flag 470001/787747 756.95/393.30 c cleaning 14998 clauses out of 30021 with flag 485000/802746 776.06/403.09 c cleaning 14992 clauses out of 30023 with flag 500000/817746 794.68/412.46 c cleaning 15007 clauses out of 30031 with flag 515000/832746 811.07/420.80 c cleaning 15008 clauses out of 30025 with flag 530001/847747 829.28/429.90 c cleaning 15000 clauses out of 30018 with flag 545002/862748 846.78/438.84 c cleaning 14984 clauses out of 30019 with flag 560003/877749 860.99/446.03 c cleaning 15010 clauses out of 30033 with flag 575001/892747 875.38/453.30 c cleaning 15007 clauses out of 30023 with flag 590001/907747 892.17/461.87 c cleaning 15001 clauses out of 30016 with flag 605001/922747 904.22/468.01 c cleaning 14989 clauses out of 30014 with flag 620000/937746 919.60/475.80 c cleaning 14994 clauses out of 30025 with flag 635000/952746 937.17/484.72 c cleaning 15001 clauses out of 30031 with flag 650000/967746 951.54/492.06 c cleaning 15006 clauses out of 30032 with flag 665002/982748 968.37/500.66 c cleaning 15000 clauses out of 30024 with flag 680000/997746 983.94/508.51 c cleaning 14999 clauses out of 30024 with flag 695000/1012746 996.33/514.86 c cleaning 15011 clauses out of 30029 with flag 710004/1027750 1007.45/520.59 c cleaning 14995 clauses out of 30015 with flag 725001/1042747 1018.47/526.28 c cleaning 15001 clauses out of 30020 with flag 740001/1057747 1030.65/532.46 c cleaning 14999 clauses out of 30018 with flag 755000/1072746 1043.97/539.22 c cleaning 15002 clauses out of 30019 with flag 770000/1087746 1057.51/546.13 c cleaning 15002 clauses out of 30018 with flag 785001/1102747 1071.33/553.22 c cleaning 14999 clauses out of 30015 with flag 800000/1117746 1085.43/560.49 c cleaning 15003 clauses out of 30016 with flag 815000/1132746 1101.36/568.50 c cleaning 15002 clauses out of 30014 with flag 830001/1147747 1116.69/576.35 c cleaning 14997 clauses out of 30011 with flag 845000/1162746 1131.41/583.90 c cleaning 14997 clauses out of 30014 with flag 860000/1177746 1148.71/592.74 c cleaning 14958 clauses out of 30017 with flag 875000/1192746 1166.44/601.76 c cleaning 15018 clauses out of 30059 with flag 890000/1207746 1185.73/611.52 c cleaning 15010 clauses out of 30041 with flag 905000/1222746 1204.44/621.13 c cleaning 14961 clauses out of 30031 with flag 920000/1237746 1222.56/630.34 c cleaning 15021 clauses out of 30070 with flag 935000/1252746 1240.61/639.55 c cleaning 14977 clauses out of 30049 with flag 950000/1267746 1259.49/649.14 c cleaning 15023 clauses out of 30072 with flag 965000/1282746 1279.21/659.23 c cleaning 14982 clauses out of 30050 with flag 980001/1297747 1298.88/669.20 c cleaning 15029 clauses out of 30067 with flag 995000/1312746 1314.35/677.17 c cleaning 15009 clauses out of 30038 with flag 1010000/1327746 1329.81/685.00 c cleaning 15008 clauses out of 30029 with flag 1025000/1342746 1342.30/691.57 c cleaning 15006 clauses out of 30023 with flag 1040002/1357748 1356.16/698.63 c cleaning 15003 clauses out of 30017 with flag 1055002/1372748 1372.82/707.11 c cleaning 14993 clauses out of 30013 with flag 1070001/1387747 1389.68/715.74 c cleaning 15002 clauses out of 30020 with flag 1085001/1402747 1404.74/723.56 c cleaning 15001 clauses out of 30017 with flag 1100000/1417746 1416.98/729.89 c cleaning 14998 clauses out of 30017 with flag 1115001/1432747 1429.63/736.33 c cleaning 15000 clauses out of 30019 with flag 1130001/1447747 1444.45/743.93 c cleaning 14983 clauses out of 30018 with flag 1145000/1462746 1458.26/751.21 c cleaning 15015 clauses out of 30036 with flag 1160001/1477747 1472.04/758.21 c cleaning 14999 clauses out of 30020 with flag 1175000/1492746 1485.82/765.34 c cleaning 15001 clauses out of 30021 with flag 1190000/1507746 1500.99/773.12 c cleaning 14992 clauses out of 30020 with flag 1205000/1522746 1514.12/780.05 c cleaning 15003 clauses out of 30028 with flag 1220000/1537746 1526.50/786.45 c cleaning 15006 clauses out of 30026 with flag 1235001/1552747 1538.41/792.64 c cleaning 14999 clauses out of 30020 with flag 1250001/1567747 1550.33/798.85 c cleaning 15000 clauses out of 30020 with flag 1265000/1582746 1562.44/805.28 c cleaning 14999 clauses out of 30020 with flag 1280000/1597746 1574.72/811.67 c cleaning 14998 clauses out of 30021 with flag 1295000/1612746 1589.23/819.17 c cleaning 14982 clauses out of 30023 with flag 1310000/1627746 1605.55/827.53 c cleaning 15011 clauses out of 30041 with flag 1325000/1642746 1621.64/835.92 c cleaning 14997 clauses out of 30030 with flag 1340000/1657746 1636.13/843.43 c cleaning 15009 clauses out of 30033 with flag 1355000/1672746 1650.84/851.08 c cleaning 15004 clauses out of 30024 with flag 1370000/1687746 1667.55/859.65 c cleaning 14992 clauses out of 30020 with flag 1385000/1702746 1686.01/869.25 c cleaning 14975 clauses out of 30028 with flag 1400000/1717746 1703.53/878.26 c cleaning 15017 clauses out of 30053 with flag 1415000/1732746 1722.44/887.93 c cleaning 15012 clauses out of 30038 with flag 1430002/1747748 1736.55/895.27 c cleaning 15007 clauses out of 30028 with flag 1445004/1762750 1750.62/902.62 c cleaning 15000 clauses out of 30017 with flag 1460000/1777746 1765.93/910.57 c cleaning 15004 clauses out of 30018 with flag 1475001/1792747 1780.63/918.10 c cleaning 15002 clauses out of 30013 with flag 1490000/1807746 1795.74/925.97 c cleaning 14984 clauses out of 30011 with flag 1505000/1822746 1800.06/928.44 c starts : 220 1800.06/928.44 c conflicts : 1826167 1800.06/928.44 c decisions : 18313220 1800.06/928.44 c propagations : 3736545216 1800.06/928.44 c inspects : 3820282746 1800.06/928.44 c shortcuts : 0 1800.06/928.44 c learnt literals : 0 1800.06/928.44 c learnt binary clauses : 0 1800.06/928.44 c learnt ternary clauses : 0 1800.06/928.44 c learnt constraints : 1826167 1800.06/928.44 c ignored constraints : 0 1800.06/928.44 c root simplifications : 0 1800.06/928.44 c removed literals (reason simplification) : 5616260 1800.06/928.44 c reason swapping (by a shorter reason) : 0 1800.06/928.44 c Calls to reduceDB : 132 1800.06/928.44 c number of reductions to clauses (during analyze) : 0 1800.06/928.44 c number of learned constraints concerned by reduction : 0 1800.06/928.44 c number of learning phase by resolution : 0 1800.06/928.44 c number of learning phase by cutting planes : 0 1800.06/928.44 c speed (assignments/second) : 4847363.1150911795 1800.06/928.44 c non guided choices 56036 1800.06/928.47 c learnt constraints type 1800.06/928.47 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18468 1800.06/928.47 c constraints type 1800.06/928.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1800.06/928.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.06/928.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1800.06/928.47 c constraints type 1800.06/928.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1800.06/928.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1800.06/928.47 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.06/928.47 s SATISFIABLE 1800.06/928.47 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 1800.06/928.47 c objective function=18 1800.06/928.47 c Total wall clock time (in seconds): 928.358
OK 18
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-3454149-1307193719/watcher-3454149-1307193719 -o /tmp/evaluation-result-3454149-1307193719/solver-3454149-1307193719 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454149-1307193719.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.73 3.96 3.87 3/532 9178 /proc/meminfo: memFree=13135828/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=30528 CPUtime=0 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 811788060 31260672 957 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 7634 958 731 9 0 385 0 [pid=9178/tid=9179] ppid=9176 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) R 9176 9178 5093 0 -1 4202560 3625 0 1 0 0 0 0 0 25 0 2 0 811788061 10694979584 4441 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0802219 s] /proc/loadavg: 3.73 3.96 3.87 3/532 9178 /proc/meminfo: memFree=13135828/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 11946 0 1 0 5 1 0 0 25 0 18 0 811788060 10724442112 11644 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2618272 11645 1755 9 0 2609006 0 [pid=9178/tid=9179] ppid=9176 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) R 9176 9178 5093 0 -1 4202560 10772 0 1 0 5 1 0 0 25 0 18 0 811788061 10724442112 11645 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 47259051747347 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.101179 s] /proc/loadavg: 3.73 3.96 3.87 3/532 9178 /proc/meminfo: memFree=13135828/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10539848 CPUtime=0.09 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 13027 0 1 0 8 1 0 0 25 0 18 0 811788060 10792804352 12701 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2634962 12701 2093 9 0 2625696 0 [pid=9178/tid=9179] ppid=9176 vsize=10539848 CPUtime=0.08 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) R 9176 9178 5093 0 -1 4202560 11093 0 1 0 7 1 0 0 18 0 18 0 811788061 10792804352 12701 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912496212705 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539848 [startup+0.300147 s] /proc/loadavg: 3.73 3.96 3.87 3/532 9178 /proc/meminfo: memFree=13135828/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10541540 CPUtime=0.5 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 16919 0 1 0 48 2 0 0 25 0 18 0 811788060 10794536960 15904 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2635385 15906 2201 9 0 2626119 0 [pid=9178/tid=9179] ppid=9176 vsize=10541540 CPUtime=0.27 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) R 9176 9178 5093 0 -1 4202560 13299 0 1 0 26 1 0 0 18 0 18 0 811788061 10794536960 15906 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912505542694 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10541540 [startup+0.701134 s] /proc/loadavg: 3.73 3.96 3.87 3/532 9178 /proc/meminfo: memFree=13135828/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10550188 CPUtime=1.25 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 28575 0 1 0 121 4 0 0 25 0 19 0 811788060 10803392512 25803 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2637547 25803 2233 9 0 2628281 0 [pid=9178/tid=9179] ppid=9176 vsize=10550188 CPUtime=0.43 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 20621 0 1 0 41 2 0 0 19 0 19 0 811788061 10803392512 25803 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 10550188 [startup+1.50097 s] /proc/loadavg: 3.73 3.96 3.87 6/552 9203 /proc/meminfo: memFree=13038028/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10550188 CPUtime=1.69 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 30225 0 1 0 165 4 0 0 25 0 19 0 811788060 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2637547 26560 2237 9 0 2628281 0 [pid=9178/tid=9179] ppid=9176 vsize=10550188 CPUtime=0.47 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 20953 0 1 0 45 2 0 0 17 0 19 0 811788061 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788063 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 19 0 811788064 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811788064 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811788064 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788066 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9193] ppid=9176 vsize=10550188 CPUtime=0.44 cores=1,3,5,7 /proc/9178/task/9193/stat : 9193 (java) S 9176 9178 5093 0 -1 4202560 4335 0 0 0 44 0 0 0 15 0 19 0 811788066 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9194] ppid=9176 vsize=10550188 CPUtime=0.4 cores=1,3,5,7 /proc/9178/task/9194/stat : 9194 (java) S 9176 9178 5093 0 -1 4202560 2960 0 0 0 40 0 0 0 20 0 19 0 811788066 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9195] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9195/stat : 9195 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811788066 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9196] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9196/stat : 9196 (java) S 9176 9178 5093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 811788066 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9203] ppid=9176 vsize=10550188 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9203/stat : 9203 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 811788160 10803392512 26560 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 10550188 [startup+3.10065 s] /proc/loadavg: 3.73 3.96 3.87 8/553 9209 /proc/meminfo: memFree=13030832/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10552736 CPUtime=3.65 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 113767 0 1 0 350 15 0 0 25 0 21 0 811788060 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2638184 107710 2241 9 0 2628918 0 [pid=9178/tid=9179] ppid=9176 vsize=10552736 CPUtime=0.51 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 21565 0 1 0 48 3 0 0 15 0 21 0 811788061 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 21 0 811788064 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 811788064 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 811788064 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788066 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9193] ppid=9176 vsize=10552736 CPUtime=0.92 cores=1,3,5,7 /proc/9178/task/9193/stat : 9193 (java) S 9176 9178 5093 0 -1 4202560 10123 0 0 0 91 1 0 0 15 0 21 0 811788066 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9194] ppid=9176 vsize=10552736 CPUtime=0.63 cores=1,3,5,7 /proc/9178/task/9194/stat : 9194 (java) S 9176 9178 5093 0 -1 4202560 3659 0 0 0 63 0 0 0 16 0 21 0 811788066 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9195] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9195/stat : 9195 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788066 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9196] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9196/stat : 9196 (java) S 9176 9178 5093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 21 0 811788066 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9203] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9203/stat : 9203 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 21 0 811788160 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9208] ppid=9176 vsize=10552736 CPUtime=0.98 cores=1,3,5,7 /proc/9178/task/9208/stat : 9208 (java) R 9176 9178 5093 0 -1 4202560 75952 0 0 0 90 8 0 0 20 0 21 0 811788268 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912505893584 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=9178/tid=9209] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9209/stat : 9209 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 21 0 811788270 10806001664 107710 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 10552736 [startup+6.3011 s] /proc/loadavg: 3.67 3.94 3.86 4/553 9209 /proc/meminfo: memFree=11570816/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10552736 CPUtime=6.97 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 525293 0 1 0 635 62 0 0 25 0 21 0 811788060 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2638184 519178 2241 9 0 2628918 0 [pid=9178/tid=9179] ppid=9176 vsize=10552736 CPUtime=0.51 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 21565 0 1 0 48 3 0 0 15 0 21 0 811788061 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788063 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 21 0 811788064 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 811788064 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 811788064 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 811788066 10806001664 519178 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.82 2.33 3.11 3/527 9274 /proc/meminfo: memFree=12918856/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10552736 CPUtime=1595.14 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 958131 0 1 0 159404 110 0 0 25 0 22 0 811788060 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2638184 949659 2269 9 0 2628918 0 [pid=9178/tid=9179] ppid=9176 vsize=10552736 CPUtime=0.59 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 21582 0 1 0 56 3 0 0 15 0 22 0 811788061 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10552736 CPUtime=0.64 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 7769 0 0 0 63 1 0 0 16 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10552736 CPUtime=0.55 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 3744 0 0 0 55 0 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10552736 CPUtime=0.59 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 8795 0 0 0 58 1 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10552736 CPUtime=0.46 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 3369 0 0 0 45 1 0 0 16 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10552736 CPUtime=0.53 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 8656 0 0 0 53 0 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10552736 CPUtime=0.58 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 8095 0 0 0 57 1 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10552736 CPUtime=0.52 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 6387 0 0 0 51 1 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10552736 CPUtime=0.61 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 5716 0 0 0 61 0 0 0 15 0 22 0 811788063 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10552736 CPUtime=30.74 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 37678 0 0 0 3069 5 0 0 15 0 22 0 811788064 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811788064 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811788064 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9193] ppid=9176 vsize=10552736 CPUtime=1.26 cores=1,3,5,7 /proc/9178/task/9193/stat : 9193 (java) S 9176 9178 5093 0 -1 4202560 10168 0 0 0 125 1 0 0 15 0 22 0 811788066 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9194] ppid=9176 vsize=10552736 CPUtime=0.81 cores=1,3,5,7 /proc/9178/task/9194/stat : 9194 (java) S 9176 9178 5093 0 -1 4202560 3673 0 0 0 81 0 0 0 15 0 22 0 811788066 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9195] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9195/stat : 9195 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9196] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9196/stat : 9196 (java) S 9176 9178 5093 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811788066 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9203] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9203/stat : 9203 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811788160 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9231] ppid=9176 vsize=10552736 CPUtime=635.79 cores=1,3,5,7 /proc/9178/task/9231/stat : 9231 (java) R 9176 9178 5093 0 -1 4202560 114 0 0 0 63579 0 0 0 25 0 22 0 811803821 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912505930742 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9178/tid=9232] ppid=9176 vsize=10552736 CPUtime=635.79 cores=1,3,5,7 /proc/9178/task/9232/stat : 9232 (java) R 9176 9178 5093 0 -1 4202560 42 0 0 0 63579 0 0 0 25 0 22 0 811803821 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912506213701 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9178/tid=9233] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9233/stat : 9233 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811803821 10806001664 949659 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1595.14 Current children cumulated vsize (KiB) 10552736 [startup+882.301 s] /proc/loadavg: 1.93 2.27 3.04 3/527 9276 /proc/meminfo: memFree=12913740/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10552736 CPUtime=1711.23 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 959368 0 1 0 171013 110 0 0 25 0 22 0 811788060 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2638184 950855 2269 9 0 2628918 0 [pid=9178/tid=9179] ppid=9176 vsize=10552736 CPUtime=0.59 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 21582 0 1 0 56 3 0 0 15 0 22 0 811788061 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10552736 CPUtime=0.66 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 7934 0 0 0 65 1 0 0 15 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10552736 CPUtime=0.56 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 3744 0 0 0 56 0 0 0 16 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10552736 CPUtime=0.62 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 9044 0 0 0 61 1 0 0 15 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10552736 CPUtime=0.49 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 3369 0 0 0 48 1 0 0 15 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10552736 CPUtime=0.55 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 8968 0 0 0 55 0 0 0 16 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10552736 CPUtime=0.6 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 8095 0 0 0 59 1 0 0 16 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10552736 CPUtime=0.54 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 6786 0 0 0 53 1 0 0 15 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10552736 CPUtime=0.63 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 5806 0 0 0 63 0 0 0 16 0 22 0 811788063 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10552736 CPUtime=34.72 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 37682 0 0 0 3466 6 0 0 15 0 22 0 811788064 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811788064 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811788064 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9193] ppid=9176 vsize=10552736 CPUtime=1.26 cores=1,3,5,7 /proc/9178/task/9193/stat : 9193 (java) S 9176 9178 5093 0 -1 4202560 10168 0 0 0 125 1 0 0 15 0 22 0 811788066 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9194] ppid=9176 vsize=10552736 CPUtime=0.81 cores=1,3,5,7 /proc/9178/task/9194/stat : 9194 (java) S 9176 9178 5093 0 -1 4202560 3673 0 0 0 81 0 0 0 15 0 22 0 811788066 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9195] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9195/stat : 9195 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9196] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9196/stat : 9196 (java) S 9176 9178 5093 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811788066 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9203] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9203/stat : 9203 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811788160 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9231] ppid=9176 vsize=10552736 CPUtime=691.77 cores=1,3,5,7 /proc/9178/task/9231/stat : 9231 (java) R 9176 9178 5093 0 -1 4202560 126 0 0 0 69177 0 0 0 25 0 22 0 811803821 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912505867568 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9178/tid=9232] ppid=9176 vsize=10552736 CPUtime=691.77 cores=1,3,5,7 /proc/9178/task/9232/stat : 9232 (java) R 9176 9178 5093 0 -1 4202560 44 0 0 0 69177 0 0 0 25 0 22 0 811803821 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912506200076 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9178/tid=9233] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9233/stat : 9233 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811803821 10806001664 950855 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1711.23 Current children cumulated vsize (KiB) 10552736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+928.42 s] /proc/loadavg: 1.97 2.23 2.98 3/527 9277 /proc/meminfo: memFree=12904148/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=10552736 CPUtime=1800.06 cores=1,3,5,7 /proc/9178/stat : 9178 (java) S 9176 9178 5093 0 -1 4202496 961935 0 1 0 179896 110 0 0 25 0 22 0 811788060 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 2638184 953233 2269 9 0 2628918 0 [pid=9178/tid=9179] ppid=9176 vsize=10552736 CPUtime=0.59 cores=1,3,5,7 /proc/9178/task/9179/stat : 9179 (java) S 9176 9178 5093 0 -1 4202560 21588 0 1 0 56 3 0 0 15 0 22 0 811788061 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9181] ppid=9176 vsize=10552736 CPUtime=0.67 cores=1,3,5,7 /proc/9178/task/9181/stat : 9181 (java) S 9176 9178 5093 0 -1 4202560 7937 0 0 0 66 1 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9182] ppid=9176 vsize=10552736 CPUtime=0.58 cores=1,3,5,7 /proc/9178/task/9182/stat : 9182 (java) S 9176 9178 5093 0 -1 4202560 3917 0 0 0 58 0 0 0 16 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9183] ppid=9176 vsize=10552736 CPUtime=0.64 cores=1,3,5,7 /proc/9178/task/9183/stat : 9183 (java) S 9176 9178 5093 0 -1 4202560 9816 0 0 0 63 1 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9184] ppid=9176 vsize=10552736 CPUtime=0.51 cores=1,3,5,7 /proc/9178/task/9184/stat : 9184 (java) S 9176 9178 5093 0 -1 4202560 3793 0 0 0 50 1 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9185] ppid=9176 vsize=10552736 CPUtime=0.57 cores=1,3,5,7 /proc/9178/task/9185/stat : 9185 (java) S 9176 9178 5093 0 -1 4202560 9157 0 0 0 57 0 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9186] ppid=9176 vsize=10552736 CPUtime=0.62 cores=1,3,5,7 /proc/9178/task/9186/stat : 9186 (java) S 9176 9178 5093 0 -1 4202560 9060 0 0 0 61 1 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9187] ppid=9176 vsize=10552736 CPUtime=0.55 cores=1,3,5,7 /proc/9178/task/9187/stat : 9187 (java) S 9176 9178 5093 0 -1 4202560 6806 0 0 0 54 1 0 0 15 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9188] ppid=9176 vsize=10552736 CPUtime=0.65 cores=1,3,5,7 /proc/9178/task/9188/stat : 9188 (java) S 9176 9178 5093 0 -1 4202560 5806 0 0 0 65 0 0 0 16 0 22 0 811788063 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9189] ppid=9176 vsize=10552736 CPUtime=38.19 cores=1,3,5,7 /proc/9178/task/9189/stat : 9189 (java) S 9176 9178 5093 0 -1 4202560 37687 0 0 0 3813 6 0 0 15 0 22 0 811788064 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 0 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9190] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9190/stat : 9190 (java) S 9176 9178 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811788064 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 7 0 0 0 [pid=9178/tid=9191] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9191/stat : 9191 (java) S 9176 9178 5093 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 811788064 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9192] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9192/stat : 9192 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118592433 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9193] ppid=9176 vsize=10552736 CPUtime=1.26 cores=1,3,5,7 /proc/9178/task/9193/stat : 9193 (java) S 9176 9178 5093 0 -1 4202560 10168 0 0 0 125 1 0 0 15 0 22 0 811788066 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9194] ppid=9176 vsize=10552736 CPUtime=0.81 cores=1,3,5,7 /proc/9178/task/9194/stat : 9194 (java) S 9176 9178 5093 0 -1 4202560 3673 0 0 0 81 0 0 0 15 0 22 0 811788066 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 [pid=9178/tid=9195] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9195/stat : 9195 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811788066 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118584729 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9196] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9196/stat : 9196 (java) S 9176 9178 5093 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811788066 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 3 0 0 0 [pid=9178/tid=9203] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9203/stat : 9203 (java) S 9176 9178 5093 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811788160 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 5 0 0 0 [pid=9178/tid=9231] ppid=9176 vsize=10552736 CPUtime=734.4 cores=1,3,5,7 /proc/9178/task/9231/stat : 9231 (java) R 9176 9178 5093 0 -1 4202560 132 0 0 0 73440 0 0 0 21 0 22 0 811803821 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912505954992 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=9178/tid=9232] ppid=9176 vsize=10552736 CPUtime=734.39 cores=1,3,5,7 /proc/9178/task/9232/stat : 9232 (java) R 9176 9178 5093 0 -1 4202560 46 0 0 0 73439 0 0 0 21 0 22 0 811803821 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 46912506196134 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9178/tid=9233] ppid=9176 vsize=10552736 CPUtime=0 cores=1,3,5,7 /proc/9178/task/9233/stat : 9233 (java) S 9176 9178 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811803821 10806001664 953233 33554432000 1073741824 1073778376 140733643498944 18446744073709551615 255118585344 0 4 0 16800975 18446604458268568256 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 10552736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+928.601 s] /proc/loadavg: 1.97 2.23 2.98 3/527 9277 /proc/meminfo: memFree=12904148/32951124 swapFree=67111204/67111528 [pid=9178] ppid=9176 vsize=0 CPUtime=1800.32 cores=1,3,5,7 /proc/9178/stat : 9178 (java) Z 9176 9178 5093 0 -1 4203548 961969 0 1 0 179909 123 0 0 17 0 2 0 811788060 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/9178/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 928.624 CPU time (s): 1800.36 CPU user time (s): 1799.1 CPU system time (s): 1.25581 CPU usage (%): 193.873 Max. virtual memory (cumulated for all children) (KiB): 10552736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.25581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 961969 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= 28029 involuntary context switches= 26315 runsolver used 4.55531 second user time and 11.5442 second system time The end
Begin job on node144 at 2011-06-04 15:21:59 IDJOB=3454149 IDBENCH=25035 IDSOLVER=1950 FILE ID=node144/3454149-1307193719 RUNJOBID= node144-1307192249-8685 PBS_JOBID= 13508845 Free space on /tmp= 73920 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454149-1307193719/watcher-3454149-1307193719 -o /tmp/evaluation-result-3454149-1307193719/solver-3454149-1307193719 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454149-1307193719.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=1085257301 node144.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.850 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.70 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.850 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.16 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.850 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.850 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.83 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.850 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.850 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.82 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.850 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.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13136108 kB Buffers: 319044 kB Cached: 482100 kB SwapCached: 140 kB Active: 19117612 kB Inactive: 416360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13136108 kB SwapTotal: 67111528 kB SwapFree: 67111204 kB Dirty: 856 kB Writeback: 0 kB AnonPages: 18732816 kB Mapped: 50700 kB Slab: 136752 kB PageTables: 76040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 168115372 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= 73928 MiB End job on node144 at 2011-06-04 15:37:30