Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 18 | 1800.72 | 916.767 |
| 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 | 0.662899 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.1.v20110525 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 9996466904 0.06/0.11 c Max memory 10048897024 0.06/0.11 c Total memory 10048897024 0.06/0.11 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3736235-1338715761.opb 0.06/0.13 c reading problem ... 0.77/0.47 c ... done. Wall clock time 0.333s. 0.77/0.47 c #vars 6672 0.77/0.47 c #constraints 14168 0.77/0.47 c constraints type 0.77/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 0.77/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 0.77/0.47 c constraints type 0.77/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 0.77/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1.09/0.55 c And the winner is CuttingPlanes 1.33/0.99 c SATISFIABLE 1.33/0.99 c OPTIMIZING... 1.33/0.99 c Got one! Elapsed wall clock time (in seconds):0.851 1.33/0.99 o 28 1.39/1.04 c And the winner is Resolution 1.83/1.52 c Got one! Elapsed wall clock time (in seconds):1.381 1.83/1.52 o 27 1.83/1.58 c And the winner is Resolution 2.16/2.04 c Got one! Elapsed wall clock time (in seconds):1.901 2.16/2.04 o 26 2.16/2.06 c And the winner is Resolution 2.43/2.55 c Got one! Elapsed wall clock time (in seconds):2.416 2.43/2.55 o 25 2.43/2.59 c And the winner is Resolution 2.64/3.06 c Got one! Elapsed wall clock time (in seconds):2.93 2.64/3.06 o 24 2.78/3.10 c And the winner is Resolution 3.19/3.58 c Got one! Elapsed wall clock time (in seconds):3.442 3.19/3.58 o 23 3.24/3.63 c And the winner is Resolution 3.42/4.09 c Got one! Elapsed wall clock time (in seconds):3.955 3.42/4.09 o 22 7.04/5.89 c And the winner is Resolution 7.36/6.10 c Got one! Elapsed wall clock time (in seconds):5.969 7.36/6.10 o 21 7.96/6.47 c cleaning 2818 clauses out of 5638 with flag 1000/5638 13.51/9.14 c cleaning 4406 clauses out of 8823 with flag 7003/11641 19.71/12.29 c cleaning 5703 clauses out of 11414 with flag 14000/18638 27.51/16.18 c cleaning 6850 clauses out of 13711 with flag 22000/26638 35.30/20.07 c cleaning 7918 clauses out of 15861 with flag 31000/35638 43.86/24.31 c cleaning 8966 clauses out of 17943 with flag 41000/45638 53.60/29.22 c cleaning 9984 clauses out of 19977 with flag 52000/56638 63.96/34.41 c cleaning 10984 clauses out of 21994 with flag 64001/68639 73.29/39.12 c cleaning 12001 clauses out of 24010 with flag 77001/81639 86.02/45.53 c cleaning 12990 clauses out of 26008 with flag 91000/95638 98.55/51.84 c cleaning 14003 clauses out of 28018 with flag 106000/110638 100.88/53.07 c And the winner is Resolution 101.07/53.21 c Got one! Elapsed wall clock time (in seconds):53.079 101.07/53.21 o 20 102.64/54.00 c cleaning 9670 clauses out of 19353 with flag 2000/115976 108.94/57.23 c cleaning 7839 clauses out of 15683 with flag 8000/121976 115.64/60.60 c cleaning 7414 clauses out of 14844 with flag 15000/128976 121.56/63.61 c cleaning 7705 clauses out of 15430 with flag 23000/136976 129.67/67.74 c cleaning 8356 clauses out of 16725 with flag 32000/145976 140.14/73.03 c cleaning 9176 clauses out of 18369 with flag 42000/155976 151.66/78.82 c cleaning 10094 clauses out of 20194 with flag 53001/166977 163.40/84.78 c cleaning 11045 clauses out of 22102 with flag 65003/178979 175.71/90.91 c cleaning 12025 clauses out of 24055 with flag 78001/191977 187.57/96.91 c cleaning 13010 clauses out of 26029 with flag 92000/205976 201.68/104.07 c cleaning 14003 clauses out of 28019 with flag 107000/220976 214.79/110.61 c cleaning 14494 clauses out of 29016 with flag 122000/235976 224.30/115.48 c cleaning 14754 clauses out of 29523 with flag 137001/250977 236.15/121.49 c cleaning 14874 clauses out of 29768 with flag 152000/265976 250.06/128.42 c cleaning 14940 clauses out of 29894 with flag 167000/280976 265.55/136.24 c cleaning 14937 clauses out of 29954 with flag 182000/295976 278.45/142.74 c cleaning 15004 clauses out of 30017 with flag 197000/310976 284.08/145.64 c And the winner is Resolution 284.24/145.74 c Got one! Elapsed wall clock time (in seconds):145.61 284.24/145.74 o 18 286.94/147.10 c cleaning 13385 clauses out of 26783 with flag 5000/322746 289.83/148.68 c cleaning 9692 clauses out of 19399 with flag 11001/328747 293.52/150.60 c cleaning 8344 clauses out of 16707 with flag 18001/335747 299.61/153.61 c cleaning 8177 clauses out of 16365 with flag 26003/343749 307.23/157.57 c cleaning 8562 clauses out of 17185 with flag 35000/352746 320.32/164.12 c cleaning 9257 clauses out of 18623 with flag 45000/362746 333.21/170.61 c cleaning 10169 clauses out of 20368 with flag 56002/373748 347.90/178.10 c cleaning 11089 clauses out of 22197 with flag 68000/385746 361.94/185.14 c cleaning 12049 clauses out of 24110 with flag 81002/398748 373.64/191.03 c cleaning 13024 clauses out of 26060 with flag 95001/412747 386.53/197.56 c cleaning 14008 clauses out of 28035 with flag 110000/427746 397.23/202.92 c cleaning 14506 clauses out of 29027 with flag 125000/442746 410.65/209.74 c cleaning 14751 clauses out of 29521 with flag 140000/457746 426.76/217.83 c cleaning 14877 clauses out of 29770 with flag 155000/472746 439.05/224.04 c cleaning 14942 clauses out of 29898 with flag 170005/487751 448.75/228.94 c cleaning 14968 clauses out of 29951 with flag 185000/502746 458.61/233.95 c cleaning 14982 clauses out of 29983 with flag 200000/517746 473.90/241.63 c cleaning 14939 clauses out of 30001 with flag 215000/532746 491.40/250.46 c cleaning 15006 clauses out of 30062 with flag 230000/547746 509.91/259.74 c cleaning 15014 clauses out of 30057 with flag 245001/562747 526.98/268.40 c cleaning 15013 clauses out of 30043 with flag 260001/577747 544.05/276.99 c cleaning 15009 clauses out of 30029 with flag 275000/592746 556.95/283.45 c cleaning 15002 clauses out of 30024 with flag 290004/607750 569.84/289.91 c cleaning 15001 clauses out of 30019 with flag 305001/622747 584.85/297.54 c cleaning 14998 clauses out of 30017 with flag 320000/637746 600.73/305.51 c cleaning 15004 clauses out of 30019 with flag 335000/652746 615.82/313.14 c cleaning 15000 clauses out of 30016 with flag 350001/667747 631.29/320.98 c cleaning 14993 clauses out of 30016 with flag 365001/682747 647.28/329.06 c cleaning 15007 clauses out of 30023 with flag 380001/697747 664.75/337.80 c cleaning 15003 clauses out of 30015 with flag 395000/712746 680.24/345.64 c cleaning 15001 clauses out of 30013 with flag 410001/727747 693.92/352.57 c cleaning 14998 clauses out of 30013 with flag 425002/742748 711.29/361.34 c cleaning 15001 clauses out of 30013 with flag 440000/757746 724.93/368.29 c cleaning 14995 clauses out of 30012 with flag 455000/772746 738.99/375.39 c cleaning 14996 clauses out of 30018 with flag 470001/787747 756.03/383.97 c cleaning 14998 clauses out of 30021 with flag 485000/802746 775.58/393.85 c cleaning 14992 clauses out of 30023 with flag 500000/817746 794.41/403.30 c cleaning 15007 clauses out of 30031 with flag 515000/832746 811.04/411.73 c cleaning 15008 clauses out of 30025 with flag 530001/847747 829.28/420.94 c cleaning 15000 clauses out of 30018 with flag 545002/862748 847.02/429.95 c cleaning 14984 clauses out of 30019 with flag 560003/877749 861.24/437.18 c cleaning 15010 clauses out of 30033 with flag 575001/892747 875.65/444.45 c cleaning 15007 clauses out of 30023 with flag 590001/907747 892.64/453.08 c cleaning 15001 clauses out of 30016 with flag 605001/922747 904.94/459.33 c cleaning 14989 clauses out of 30014 with flag 620000/937746 920.53/467.20 c cleaning 14994 clauses out of 30025 with flag 635000/952746 938.12/476.13 c cleaning 15001 clauses out of 30031 with flag 650000/967746 952.69/483.58 c cleaning 15006 clauses out of 30032 with flag 665002/982748 969.90/492.33 c cleaning 15000 clauses out of 30024 with flag 680000/997746 985.67/500.31 c cleaning 14999 clauses out of 30024 with flag 695000/1012746 998.48/506.82 c cleaning 15011 clauses out of 30029 with flag 710004/1027750 1010.07/512.70 c cleaning 14995 clauses out of 30015 with flag 725001/1042747 1021.26/518.54 c cleaning 15001 clauses out of 30020 with flag 740001/1057747 1033.61/524.83 c cleaning 14999 clauses out of 30018 with flag 755000/1072746 1047.19/531.74 c cleaning 15002 clauses out of 30019 with flag 770000/1087746 1060.93/538.79 c cleaning 15002 clauses out of 30018 with flag 785001/1102747 1075.13/546.07 c cleaning 14999 clauses out of 30015 with flag 800000/1117746 1089.68/553.44 c cleaning 15003 clauses out of 30016 with flag 815000/1132746 1105.62/561.53 c cleaning 15002 clauses out of 30014 with flag 830001/1147747 1121.37/569.51 c cleaning 14997 clauses out of 30011 with flag 845000/1162746 1136.33/577.21 c cleaning 14997 clauses out of 30014 with flag 860000/1177746 1153.87/586.10 c cleaning 14958 clauses out of 30017 with flag 875000/1192746 1171.81/595.20 c cleaning 15018 clauses out of 30059 with flag 890000/1207746 1190.96/605.00 c cleaning 15010 clauses out of 30041 with flag 905000/1222746 1210.11/614.77 c cleaning 14961 clauses out of 30031 with flag 920000/1237746 1228.63/624.17 c cleaning 15021 clauses out of 30070 with flag 935000/1252746 1247.15/633.53 c cleaning 14977 clauses out of 30049 with flag 950000/1267746 1266.29/643.29 c cleaning 15023 clauses out of 30072 with flag 965000/1282746 1286.43/653.50 c cleaning 14982 clauses out of 30050 with flag 980001/1297747 1306.11/663.51 c cleaning 15029 clauses out of 30067 with flag 995000/1312746 1321.79/671.54 c cleaning 15009 clauses out of 30038 with flag 1010000/1327746 1337.29/679.45 c cleaning 15008 clauses out of 30029 with flag 1025000/1342746 1350.20/686.13 c cleaning 15006 clauses out of 30023 with flag 1040002/1357748 1364.31/693.30 c cleaning 15003 clauses out of 30017 with flag 1055002/1372748 1381.01/701.84 c cleaning 14993 clauses out of 30013 with flag 1070001/1387747 1398.09/710.54 c cleaning 15002 clauses out of 30020 with flag 1085001/1402747 1413.36/718.41 c cleaning 15001 clauses out of 30017 with flag 1100000/1417746 1425.85/724.80 c cleaning 14998 clauses out of 30017 with flag 1115001/1432747 1438.33/731.25 c cleaning 15000 clauses out of 30019 with flag 1130001/1447747 1453.21/738.88 c cleaning 14983 clauses out of 30018 with flag 1145000/1462746 1467.49/746.21 c cleaning 15015 clauses out of 30036 with flag 1160001/1477747 1481.19/753.24 c cleaning 14999 clauses out of 30020 with flag 1175000/1492746 1495.06/760.37 c cleaning 15001 clauses out of 30021 with flag 1190000/1507746 1510.33/768.11 c cleaning 14992 clauses out of 30020 with flag 1205000/1522746 1523.61/775.01 c cleaning 15003 clauses out of 30028 with flag 1220000/1537746 1536.10/781.44 c cleaning 15006 clauses out of 30026 with flag 1235001/1552747 1548.38/787.71 c cleaning 14999 clauses out of 30020 with flag 1250001/1567747 1560.45/793.93 c cleaning 15000 clauses out of 30020 with flag 1265000/1582746 1572.53/800.27 c cleaning 14999 clauses out of 30020 with flag 1280000/1597746 1585.01/806.64 c cleaning 14998 clauses out of 30021 with flag 1295000/1612746 1599.67/814.14 c cleaning 14982 clauses out of 30023 with flag 1310000/1627746 1616.17/822.52 c cleaning 15011 clauses out of 30041 with flag 1325000/1642746 1632.27/830.88 c cleaning 14997 clauses out of 30030 with flag 1340000/1657746 1646.93/838.36 c cleaning 15009 clauses out of 30033 with flag 1355000/1672746 1661.85/845.99 c cleaning 15004 clauses out of 30024 with flag 1370000/1687746 1678.71/854.52 c cleaning 14992 clauses out of 30020 with flag 1385000/1702746 1697.21/864.04 c cleaning 14975 clauses out of 30028 with flag 1400000/1717746 1714.89/873.09 c cleaning 15017 clauses out of 30053 with flag 1415000/1732746 1734.00/882.77 c cleaning 15012 clauses out of 30038 with flag 1430002/1747748 1748.28/890.09 c cleaning 15007 clauses out of 30028 with flag 1445004/1762750 1762.36/897.39 c cleaning 15000 clauses out of 30017 with flag 1460000/1777746 1778.03/905.34 c cleaning 15004 clauses out of 30018 with flag 1475001/1792747 1792.68/912.87 c cleaning 15002 clauses out of 30013 with flag 1490000/1807746 1800.15/916.71 c starts : 220 1800.15/916.71 c conflicts : 1815103 1800.15/916.71 c decisions : 17989731 1800.15/916.71 c propagations : 3713107842 1800.15/916.71 c inspects : 3796525199 1800.15/916.71 c shortcuts : 0 1800.15/916.71 c learnt literals : 0 1800.15/916.71 c learnt binary clauses : 0 1800.15/916.71 c learnt ternary clauses : 0 1800.15/916.71 c learnt constraints : 1815103 1800.15/916.71 c ignored constraints : 0 1800.15/916.71 c root simplifications : 0 1800.15/916.71 c removed literals (reason simplification) : 5534591 1800.15/916.71 c reason swapping (by a shorter reason) : 0 1800.15/916.71 c Calls to reduceDB : 131 1800.15/916.71 c number of reductions to clauses (during analyze) : 0 1800.15/916.71 c number of learned constraints concerned by reduction : 0 1800.15/916.71 c number of learning phase by resolution : 0 1800.15/916.71 c number of learning phase by cutting planes : 0 1800.15/916.71 c speed (assignments/second) : 4816196.966650799 1800.15/916.71 c non guided choices 56036 1800.15/916.72 c learnt constraints type 1800.15/916.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22396 1800.15/916.72 c constraints type 1800.15/916.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1800.15/916.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.15/916.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1800.15/916.72 c constraints type 1800.15/916.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1800.15/916.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1800.15/916.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.15/916.72 s SATISFIABLE 1800.15/916.74 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.15/916.75 c objective function=18 1800.15/916.75 c Total wall clock time (in seconds): 916.612
OK 18
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3736235-1338715761/watcher-3736235-1338715761 -o /tmp/evaluation-result-3736235-1338715761/solver-3736235-1338715761 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736235-1338715761.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: 4.30 4.04 3.81 4/197 1851 /proc/meminfo: memFree=27274396/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1851/stat : 1851 (java) R 1849 1851 1279 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 337703079 9515008 183 33554432000 1073741824 1073778376 140735062778624 140735062761352 233411788469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1851/statm: 2323 183 140 9 0 71 0 [startup+0.0163501 s] /proc/loadavg: 4.30 4.04 3.81 4/197 1851 /proc/meminfo: memFree=27274396/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=96268 CPUtime=0 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 1290 0 0 0 0 0 0 0 20 0 2 0 337703079 98578432 990 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 24067 990 756 9 0 16773 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 96268 [startup+0.10027 s] /proc/loadavg: 4.30 4.04 3.81 4/197 1851 /proc/meminfo: memFree=27274396/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11586392 CPUtime=0.06 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 3962 0 1 0 5 1 0 0 20 0 18 0 337703079 11864465408 12835 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2896598 12835 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300256 s] /proc/loadavg: 4.30 4.04 3.81 4/197 1851 /proc/meminfo: memFree=27274396/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11586392 CPUtime=0.46 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 6504 0 1 0 44 2 0 0 20 0 18 0 337703079 11864465408 16542 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2896598 16558 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 11586392 [startup+0.70025 s] /proc/loadavg: 4.30 4.04 3.81 4/197 1851 /proc/meminfo: memFree=27274396/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 10103 0 1 0 128 5 0 0 20 0 19 0 337703079 12137111552 27575 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 27575 2257 9 0 2953849 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 11852648 [startup+1.50065 s] /proc/loadavg: 4.30 4.04 3.81 6/216 1873 /proc/meminfo: memFree=27172484/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=1.83 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 10685 0 1 0 176 7 0 0 20 0 19 0 337703079 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 28610 2261 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.47 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2892 0 1 0 44 3 0 0 20 0 19 0 337703080 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337703082 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337703084 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337703084 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337703084 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703087 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) S 1849 1851 1279 0 -1 4202560 2997 0 0 0 45 0 0 0 20 0 19 0 337703087 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712311670840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=0.44 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) S 1849 1851 1279 0 -1 4202560 3491 0 0 0 44 0 0 0 20 0 19 0 337703087 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712310618296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703087 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337703087 12137111552 28610 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 11852648 [startup+3.10059 s] /proc/loadavg: 4.30 4.04 3.81 4/217 1882 /proc/meminfo: memFree=27157512/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=2.78 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 10755 0 1 0 264 14 0 0 20 0 22 0 337703079 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 34792 2267 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.53 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2896 0 1 0 50 3 0 0 20 0 22 0 337703080 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=0.62 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) R 1849 1851 1279 0 -1 4202560 3001 0 0 0 62 0 0 0 20 0 22 0 337703087 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712311670840 139712573403377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) R 1849 1851 1279 0 -1 4202560 3492 0 0 0 65 0 0 0 20 0 22 0 337703087 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712310618296 139712570030576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1876] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1876/stat : 1876 (java) S 1849 1851 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337703180 12137111552 34792 33554432000 1073741824 1073778376 140734653803744 139712304301096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 11852648 [startup+6.30075 s] /proc/loadavg: 4.27 4.04 3.81 7/219 1894 /proc/meminfo: memFree=27102212/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=7.76 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 17650 0 1 0 747 29 0 0 20 0 22 0 337703079 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 130867 2268 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.57 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2899 0 1 0 54 3 0 0 20 0 22 0 337703080 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337703082 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=0.94 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) S 1849 1851 1279 0 -1 4202560 8667 0 0 0 93 1 0 0 20 0 22 0 337703087 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712311670840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=0.86 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) S 1849 1851 1279 0 -1 4202560 4506 0 0 0 86 0 0 0 20 0 22 0 337703087 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712310618296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1876] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1876/stat : 1876 (java) S 1849 1851 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337703180 12137111552 130867 33554432000 1073741824 1073778376 140734653803744 139712304301096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.76 Current children cumulated vsize (KiB) 11852648 [startup+12.7009 s] /proc/loadavg: 4.25 4.04 3.81 5/219 1897 /proc/meminfo: memFree=25472136/32873844 swapFree=7116/7116 ################ # More data... # ################ [pid=1851/tid=2057] ppid=1849 vsize=11852648 CPUtime=650.47 cores=1,3,5,7 /proc/1851/task/2057/stat : 2057 (java) R 1849 1851 1279 0 -1 4202560 99 0 0 0 65036 11 0 0 20 0 22 0 337717654 12137111552 930008 33554432000 1073741824 1073778376 140734653803744 139712306404896 139712418055084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=2058] ppid=1849 vsize=11852648 CPUtime=650.47 cores=1,3,5,7 /proc/1851/task/2058/stat : 2058 (java) R 1849 1851 1279 0 -1 4202560 49 0 0 0 65036 11 0 0 20 0 22 0 337717654 12137111552 930008 33554432000 1073741824 1073778376 140734653803744 139712305351072 139712417907748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=2059] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/2059/stat : 2059 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337717654 12137111552 930008 33554432000 1073741824 1073778376 140734653803744 139712307459496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1615.77 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.95 3.98 3.88 5/219 2068 /proc/meminfo: memFree=24039076/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=1733.2 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 20526 0 1 0 173172 148 0 0 20 0 22 0 337703079 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 932603 2294 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2939 0 1 0 59 5 0 0 20 0 22 0 337703080 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 94 0 0 0 96 4 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 82 0 0 0 97 3 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=1.06 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 101 0 0 0 102 4 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 98 0 0 0 94 4 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 92 0 0 0 101 4 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 104 0 0 0 96 4 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0.95 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 99 0 0 0 93 2 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=1.03 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 82 0 0 0 100 3 0 0 20 0 22 0 337703082 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=29.66 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 145 0 0 0 2956 10 0 0 20 0 22 0 337703084 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) S 1849 1851 1279 0 -1 4202560 8680 0 0 0 110 1 0 0 20 0 22 0 337703087 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712311670840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) S 1849 1851 1279 0 -1 4202560 4756 0 0 0 111 0 0 0 20 0 22 0 337703087 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712310618296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0.38 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 51 0 0 0 20 18 0 0 20 0 22 0 337703087 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1876] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1876/stat : 1876 (java) S 1849 1851 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337703180 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712304301096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=2057] ppid=1849 vsize=11852648 CPUtime=707.48 cores=1,3,5,7 /proc/1851/task/2057/stat : 2057 (java) R 1849 1851 1279 0 -1 4202560 107 0 0 0 70736 12 0 0 20 0 22 0 337717654 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712306404896 139712418055063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=2058] ppid=1849 vsize=11852648 CPUtime=707.49 cores=1,3,5,7 /proc/1851/task/2058/stat : 2058 (java) R 1849 1851 1279 0 -1 4202560 54 0 0 0 70737 12 0 0 20 0 22 0 337717654 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712305351072 139712418014684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=2059] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/2059/stat : 2059 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337717654 12137111552 932603 33554432000 1073741824 1073778376 140734653803744 139712307459496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1733.2 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+916.701 s] /proc/loadavg: 3.97 3.98 3.89 5/219 2068 /proc/meminfo: memFree=24021016/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 20548 0 1 0 179866 149 0 0 20 0 22 0 337703079 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 934139 2294 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2942 0 1 0 59 5 0 0 20 0 22 0 337703080 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 97 0 0 0 98 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 102 0 0 0 106 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 98 0 0 0 96 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 93 0 0 0 103 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 106 0 0 0 100 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 99 0 0 0 95 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 83 0 0 0 104 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=31.59 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 147 0 0 0 3148 11 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) S 1849 1851 1279 0 -1 4202560 8680 0 0 0 110 1 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712311670840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) S 1849 1851 1279 0 -1 4202560 4756 0 0 0 111 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712310618296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0.4 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 53 0 0 0 21 19 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1876] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1876/stat : 1876 (java) S 1849 1851 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337703180 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712304301096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=2057] ppid=1849 vsize=11852648 CPUtime=739.89 cores=1,3,5,7 /proc/1851/task/2057/stat : 2057 (java) R 1849 1851 1279 0 -1 4202560 111 0 0 0 73976 13 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712306405840 139712417976255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=2058] ppid=1849 vsize=11852648 CPUtime=739.89 cores=1,3,5,7 /proc/1851/task/2058/stat : 2058 (java) R 1849 1851 1279 0 -1 4202560 56 0 0 0 73976 13 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712305350960 139712417903654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=2059] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/2059/stat : 2059 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712307459496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+916.701 s] /proc/loadavg: 3.97 3.98 3.89 5/219 2068 /proc/meminfo: memFree=24021016/32873844 swapFree=7116/7116 [pid=1851] ppid=1849 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7 /proc/1851/stat : 1851 (java) S 1849 1851 1279 0 -1 4202496 20548 0 1 0 179866 149 0 0 20 0 22 0 337703079 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 140734653794880 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1851/statm: 2963162 934139 2294 9 0 2953849 0 [pid=1851/tid=1853] ppid=1849 vsize=11852648 CPUtime=0.64 cores=1,3,5,7 /proc/1851/task/1853/stat : 1853 (java) S 1849 1851 1279 0 -1 4202560 2942 0 1 0 59 5 0 0 20 0 22 0 337703080 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712566428824 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1854] ppid=1849 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1851/task/1854/stat : 1854 (java) S 1849 1851 1279 0 -1 4202560 97 0 0 0 98 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712403573416 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1855] ppid=1849 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1851/task/1855/stat : 1855 (java) S 1849 1851 1279 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712402520872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1856] ppid=1849 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/1851/task/1856/stat : 1856 (java) S 1849 1851 1279 0 -1 4202560 102 0 0 0 106 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712333343656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1857] ppid=1849 vsize=11852648 CPUtime=1 cores=1,3,5,7 /proc/1851/task/1857/stat : 1857 (java) S 1849 1851 1279 0 -1 4202560 98 0 0 0 96 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712332291112 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1858] ppid=1849 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1851/task/1858/stat : 1858 (java) S 1849 1851 1279 0 -1 4202560 93 0 0 0 103 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712331237544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1859] ppid=1849 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/1851/task/1859/stat : 1859 (java) S 1849 1851 1279 0 -1 4202560 106 0 0 0 100 4 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712330185000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1860] ppid=1849 vsize=11852648 CPUtime=0.98 cores=1,3,5,7 /proc/1851/task/1860/stat : 1860 (java) S 1849 1851 1279 0 -1 4202560 99 0 0 0 95 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712329132456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1861] ppid=1849 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/1851/task/1861/stat : 1861 (java) S 1849 1851 1279 0 -1 4202560 83 0 0 0 104 3 0 0 20 0 22 0 337703082 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712328079912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=1862] ppid=1849 vsize=11852648 CPUtime=31.59 cores=1,3,5,7 /proc/1851/task/1862/stat : 1862 (java) S 1849 1851 1279 0 -1 4202560 147 0 0 0 3148 11 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712315882088 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1863] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1863/stat : 1863 (java) S 1849 1851 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712314828408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1864] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1864/stat : 1864 (java) S 1849 1851 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337703084 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712313775752 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1865] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1865/stat : 1865 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712312724496 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1866] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1866/stat : 1866 (java) S 1849 1851 1279 0 -1 4202560 8680 0 0 0 110 1 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712311670840 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1851/tid=1867] ppid=1849 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/1851/task/1867/stat : 1867 (java) S 1849 1851 1279 0 -1 4202560 4756 0 0 0 111 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712310618296 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1868] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1868/stat : 1868 (java) S 1849 1851 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712309565944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=1869] ppid=1849 vsize=11852648 CPUtime=0.4 cores=1,3,5,7 /proc/1851/task/1869/stat : 1869 (java) S 1849 1851 1279 0 -1 4202560 53 0 0 0 21 19 0 0 20 0 22 0 337703087 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712308513608 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=1876] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/1876/stat : 1876 (java) S 1849 1851 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337703180 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712304301096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1851/tid=2057] ppid=1849 vsize=11852648 CPUtime=739.89 cores=1,3,5,7 /proc/1851/task/2057/stat : 2057 (java) R 1849 1851 1279 0 -1 4202560 111 0 0 0 73976 13 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712306405840 139712417976255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1851/tid=2058] ppid=1849 vsize=11852648 CPUtime=739.89 cores=1,3,5,7 /proc/1851/task/2058/stat : 2058 (java) R 1849 1851 1279 0 -1 4202560 56 0 0 0 73976 13 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712305350960 139712417903654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1851/tid=2059] ppid=1849 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1851/task/2059/stat : 2059 (java) S 1849 1851 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337717654 12137111552 934139 33554432000 1073741824 1073778376 140734653803744 139712307459496 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 916.767 CPU time (s): 1800.72 CPU user time (s): 1798.75 CPU system time (s): 1.9727 CPU usage (%): 196.421 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.75 system time used= 1.9727 maximum resident set size= 3736676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20579 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28762 involuntary context switches= 32458 runsolver used 4.39233 second user time and 7.8638 second system time The end
Begin job on node111 at 2012-06-03 11:29:21 IDJOB=3736235 IDBENCH=25035 IDSOLVER=2328 FILE ID=node111/3736235-1338715761 RUNJOBID= node111-1338712999-1296 PBS_JOBID= 14636722 Free space on /tmp= 67392 MiB SOLVER NAME= PB11: 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-3736235-1338715761/watcher-3736235-1338715761 -o /tmp/evaluation-result-3736235-1338715761/solver-3736235-1338715761 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736235-1338715761.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=1181920636 node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27274660 kB Buffers: 183108 kB Cached: 508396 kB SwapCached: 1404 kB Active: 4274392 kB Inactive: 531248 kB Active(anon): 4115244 kB Inactive(anon): 1276 kB Active(file): 159148 kB Inactive(file): 529972 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 4120204 kB Mapped: 17056 kB Shmem: 0 kB Slab: 646316 kB SReclaimable: 88204 kB SUnreclaim: 558112 kB KernelStack: 1616 kB PageTables: 12296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10460356 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4077568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 67396 MiB End job on node111 at 2012-06-03 11:44:40