Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 26 | 1800.17 | 916.361 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb |
MD5SUM | 0b594d74f3df9901bfa97fac996b1847 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 4.22336 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 7437 |
Total number of constraints | 23270 |
Number of constraints which are clauses | 23270 |
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 | 3612 |
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 | 3612 |
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 | 3612 |
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.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.12 c version 2.3.1.v20110525 0.06/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.12 c java.vm.version 19.1-b02 0.06/0.12 c java.vm.vendor Sun Microsystems Inc. 0.06/0.12 c sun.arch.data.model 64 0.06/0.12 c java.version 1.6.0_24 0.06/0.12 c os.name Linux 0.06/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.12 c os.arch amd64 0.06/0.12 c Free memory 9996466904 0.06/0.12 c Max memory 10048897024 0.06/0.12 c Total memory 10048897024 0.06/0.12 c Number of processors 8 0.06/0.14 c Pseudo Boolean Optimization 0.06/0.14 c ManyCore solver with 2 solvers running in parallel 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.14 c Expensive reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.14 c No reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 c Glucose learned constraints deletion strategy 0.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c solving HOME/instance-3735674-1338696082.opb 0.06/0.14 c reading problem ... 0.97/0.54 c ... done. Wall clock time 0.395s. 0.97/0.54 c #vars 7437 0.97/0.54 c #constraints 23270 0.97/0.54 c constraints type 0.97/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832 0.97/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842 0.97/0.54 c constraints type 0.97/0.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842 0.97/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832 1.28/0.65 c And the winner is CuttingPlanes 1.55/1.06 c SATISFIABLE 1.55/1.06 c OPTIMIZING... 1.55/1.06 c Got one! Elapsed wall clock time (in seconds):0.917 1.55/1.06 o 39 1.71/1.12 c And the winner is Resolution 2.11/1.60 c Got one! Elapsed wall clock time (in seconds):1.453 2.11/1.60 o 38 2.11/1.62 c And the winner is Resolution 2.44/2.12 c Got one! Elapsed wall clock time (in seconds):1.977 2.44/2.12 o 37 2.44/2.18 c And the winner is Resolution 3.12/2.64 c Got one! Elapsed wall clock time (in seconds):2.493 3.12/2.64 o 33 3.35/2.71 c And the winner is Resolution 3.45/3.15 c Got one! Elapsed wall clock time (in seconds):3.009 3.45/3.15 o 30 5.49/4.14 c And the winner is Resolution 5.49/4.17 c Got one! Elapsed wall clock time (in seconds):4.024 5.49/4.17 o 29 7.95/5.37 c cleaning 2905 clauses out of 5819 with flag 3001/5819 12.92/7.61 c cleaning 4453 clauses out of 8913 with flag 9000/11818 18.51/10.48 c cleaning 5725 clauses out of 11460 with flag 16000/18818 24.88/13.62 c cleaning 6863 clauses out of 13736 with flag 24001/26819 31.69/17.05 c cleaning 7928 clauses out of 15872 with flag 33000/35818 39.26/20.83 c cleaning 8968 clauses out of 17946 with flag 43002/45820 47.88/25.11 c cleaning 9978 clauses out of 19976 with flag 54000/56818 57.64/30.03 c cleaning 10994 clauses out of 21998 with flag 66000/68818 68.18/35.34 c cleaning 11996 clauses out of 24006 with flag 79002/81820 78.75/40.69 c cleaning 13000 clauses out of 26009 with flag 93001/95819 90.49/46.55 c cleaning 13996 clauses out of 28009 with flag 108001/110819 98.23/50.50 c And the winner is Resolution 98.23/50.78 c Got one! Elapsed wall clock time (in seconds):50.632 98.23/50.78 o 28 100.87/52.12 c cleaning 14977 clauses out of 29966 with flag 5001/126772 105.98/54.72 c cleaning 10485 clauses out of 20988 with flag 11000/132771 110.74/57.11 c cleaning 8746 clauses out of 17504 with flag 18001/139772 117.06/60.32 c cleaning 8368 clauses out of 16757 with flag 26000/147771 124.20/63.96 c cleaning 8685 clauses out of 17389 with flag 35000/156771 132.14/67.91 c cleaning 9342 clauses out of 18704 with flag 45000/166771 140.28/72.04 c cleaning 10178 clauses out of 20363 with flag 56001/177772 148.83/76.34 c cleaning 11087 clauses out of 22186 with flag 68002/189773 158.78/81.39 c cleaning 12043 clauses out of 24097 with flag 81000/202771 168.56/86.23 c cleaning 13022 clauses out of 26054 with flag 95000/216771 179.29/91.64 c cleaning 14009 clauses out of 28033 with flag 110001/231772 191.81/97.95 c cleaning 15006 clauses out of 30023 with flag 126000/247771 205.73/104.98 c cleaning 16001 clauses out of 32017 with flag 143000/264771 219.40/111.81 c cleaning 17002 clauses out of 34017 with flag 161001/282772 233.57/118.95 c cleaning 17999 clauses out of 36015 with flag 180001/301772 250.08/127.27 c cleaning 18999 clauses out of 38015 with flag 200000/321771 265.80/135.12 c cleaning 20000 clauses out of 40017 with flag 221001/342772 281.87/143.24 c cleaning 20998 clauses out of 42017 with flag 243001/364772 299.17/151.97 c cleaning 22000 clauses out of 44019 with flag 266001/387772 316.31/160.55 c cleaning 22508 clauses out of 45019 with flag 289001/410772 332.40/168.65 c cleaning 22749 clauses out of 45510 with flag 312000/433771 350.24/177.69 c cleaning 22874 clauses out of 45761 with flag 335000/456771 369.72/187.43 c cleaning 22940 clauses out of 45889 with flag 358002/479773 388.62/196.91 c cleaning 22963 clauses out of 45947 with flag 381000/502771 408.11/206.76 c cleaning 22984 clauses out of 45984 with flag 404000/525771 426.10/215.82 c cleaning 22991 clauses out of 46000 with flag 427000/548771 443.99/224.87 c cleaning 22996 clauses out of 46009 with flag 450000/571771 461.46/233.69 c cleaning 22996 clauses out of 46013 with flag 473000/594771 480.16/243.08 c cleaning 23000 clauses out of 46020 with flag 496003/617774 498.54/252.37 c cleaning 22999 clauses out of 46017 with flag 519000/640771 516.80/261.55 c cleaning 23001 clauses out of 46018 with flag 542000/663771 535.07/270.74 c cleaning 23001 clauses out of 46017 with flag 565000/686771 553.94/280.28 c cleaning 23003 clauses out of 46018 with flag 588002/709773 571.11/288.95 c cleaning 23001 clauses out of 46013 with flag 611000/732771 587.97/297.48 c cleaning 23000 clauses out of 46013 with flag 634001/755772 604.25/305.70 c cleaning 22996 clauses out of 46012 with flag 657000/778771 623.13/315.10 c cleaning 23001 clauses out of 46016 with flag 680000/801771 637.67/322.50 c And the winner is CuttingPlanes 636.39/322.89 c Got one! Elapsed wall clock time (in seconds):322.743 636.39/322.89 o 27 640.01/324.78 c cleaning 23119 clauses out of 46256 with flag 5000/825012 644.65/327.11 c cleaning 14564 clauses out of 29137 with flag 11000/831012 649.67/329.77 c cleaning 10782 clauses out of 21574 with flag 18001/838013 655.30/332.69 c cleaning 9392 clauses out of 18792 with flag 26001/846013 662.03/336.18 c cleaning 9194 clauses out of 18400 with flag 35001/855013 669.85/340.17 c cleaning 9597 clauses out of 19205 with flag 45000/865012 678.69/344.62 c cleaning 10294 clauses out of 20608 with flag 56000/876012 687.72/349.27 c cleaning 11146 clauses out of 22314 with flag 68000/888012 697.25/354.17 c cleaning 12076 clauses out of 24168 with flag 81000/901012 708.25/359.72 c cleaning 13040 clauses out of 26092 with flag 95000/915012 720.47/365.96 c cleaning 14016 clauses out of 28052 with flag 110000/930012 733.51/372.53 c cleaning 15014 clauses out of 30037 with flag 126001/946013 746.61/379.23 c cleaning 16000 clauses out of 32023 with flag 143001/963013 761.04/386.50 c cleaning 16998 clauses out of 34022 with flag 161000/981012 776.05/394.15 c cleaning 18006 clauses out of 36025 with flag 180001/1000013 791.68/402.07 c cleaning 19007 clauses out of 38020 with flag 200002/1020014 807.58/410.18 c cleaning 19995 clauses out of 40011 with flag 221000/1041012 823.59/418.29 c cleaning 21001 clauses out of 42016 with flag 243000/1063012 839.61/426.33 c cleaning 22001 clauses out of 44015 with flag 266000/1086012 856.64/434.97 c cleaning 22497 clauses out of 45014 with flag 289000/1109012 873.92/443.77 c cleaning 22749 clauses out of 45518 with flag 312001/1132013 892.12/452.96 c cleaning 22875 clauses out of 45771 with flag 335003/1155015 909.70/461.84 c cleaning 22938 clauses out of 45893 with flag 358000/1178012 927.09/470.64 c cleaning 22971 clauses out of 45958 with flag 381003/1201015 944.16/479.35 c cleaning 22983 clauses out of 45984 with flag 404000/1224012 960.37/487.53 c cleaning 22995 clauses out of 46003 with flag 427002/1247014 976.53/495.74 c cleaning 22997 clauses out of 46007 with flag 450001/1270013 995.10/505.10 c cleaning 23001 clauses out of 46011 with flag 473002/1293014 1011.74/513.62 c cleaning 22993 clauses out of 46008 with flag 496000/1316012 1028.27/522.06 c cleaning 22997 clauses out of 46015 with flag 519000/1339012 1047.67/531.80 c cleaning 23001 clauses out of 46018 with flag 542000/1362012 1067.06/541.66 c cleaning 22991 clauses out of 46017 with flag 565000/1385012 1086.46/551.58 c cleaning 23008 clauses out of 46026 with flag 588000/1408012 1104.02/560.48 c cleaning 23004 clauses out of 46019 with flag 611001/1431013 1122.17/569.70 c cleaning 23003 clauses out of 46015 with flag 634001/1454013 1139.94/578.63 c cleaning 22999 clauses out of 46012 with flag 657001/1477013 1158.09/587.90 c cleaning 23004 clauses out of 46013 with flag 680001/1500013 1175.23/596.63 c cleaning 22998 clauses out of 46009 with flag 703001/1523013 1192.55/605.44 c cleaning 23001 clauses out of 46012 with flag 726002/1546014 1210.68/614.65 c cleaning 22996 clauses out of 46009 with flag 749000/1569012 1218.63/618.82 c And the winner is CuttingPlanes 1217.30/619.14 c Got one! Elapsed wall clock time (in seconds):618.998 1217.30/619.14 o 26 1220.80/620.96 c cleaning 18683 clauses out of 37397 with flag 5000/1583396 1225.33/623.35 c cleaning 12351 clauses out of 24715 with flag 11001/1589397 1230.63/626.16 c cleaning 9677 clauses out of 19365 with flag 18002/1596398 1236.36/629.12 c cleaning 8836 clauses out of 17686 with flag 26000/1604396 1243.47/632.93 c cleaning 8921 clauses out of 17850 with flag 35000/1613396 1250.38/636.59 c cleaning 9455 clauses out of 18930 with flag 45001/1623397 1258.68/640.82 c cleaning 10232 clauses out of 20475 with flag 56001/1634397 1267.78/645.58 c cleaning 11114 clauses out of 22243 with flag 68001/1646397 1278.32/651.05 c cleaning 12061 clauses out of 24129 with flag 81001/1659397 1288.43/656.23 c cleaning 13029 clauses out of 26069 with flag 95002/1673398 1299.74/662.01 c cleaning 14012 clauses out of 28040 with flag 110002/1688398 1311.66/668.14 c cleaning 15007 clauses out of 30026 with flag 126000/1704396 1324.83/674.95 c cleaning 16006 clauses out of 32021 with flag 143002/1721398 1338.13/681.77 c cleaning 16997 clauses out of 34015 with flag 161002/1739398 1353.25/689.43 c cleaning 18005 clauses out of 36016 with flag 180000/1758396 1368.98/697.50 c cleaning 19002 clauses out of 38011 with flag 200000/1778396 1385.48/705.95 c cleaning 19996 clauses out of 40010 with flag 221001/1799397 1402.78/714.78 c cleaning 20999 clauses out of 42014 with flag 243001/1821397 1419.29/723.19 c cleaning 22003 clauses out of 44015 with flag 266001/1844397 1436.40/731.82 c cleaning 22499 clauses out of 45011 with flag 289000/1867396 1453.72/740.73 c cleaning 22743 clauses out of 45512 with flag 312000/1890396 1471.22/749.66 c cleaning 22874 clauses out of 45769 with flag 335000/1913396 1489.11/758.78 c cleaning 22940 clauses out of 45896 with flag 358001/1936397 1509.00/768.84 c cleaning 22973 clauses out of 45956 with flag 381001/1959397 1526.87/778.07 c cleaning 22986 clauses out of 45983 with flag 404001/1982397 1544.16/786.89 c cleaning 22986 clauses out of 45996 with flag 427000/2005396 1563.85/796.81 c cleaning 23001 clauses out of 46013 with flag 450003/2028399 1581.15/805.62 c cleaning 22999 clauses out of 46011 with flag 473002/2051398 1599.02/814.86 c cleaning 23002 clauses out of 46011 with flag 496001/2074397 1617.73/824.38 c cleaning 22996 clauses out of 46008 with flag 519000/2097396 1635.61/833.43 c cleaning 22998 clauses out of 46012 with flag 542000/2120396 1653.73/842.64 c cleaning 22995 clauses out of 46015 with flag 565001/2143397 1671.79/851.94 c cleaning 23007 clauses out of 46019 with flag 588000/2166396 1688.88/860.65 c cleaning 22997 clauses out of 46012 with flag 611000/2189396 1705.75/869.26 c cleaning 23000 clauses out of 46015 with flag 634000/2212396 1722.80/877.95 c cleaning 23003 clauses out of 46015 with flag 657000/2235396 1740.83/887.26 c cleaning 22999 clauses out of 46014 with flag 680002/2258398 1757.70/895.81 c cleaning 23002 clauses out of 46015 with flag 703002/2281398 1774.76/904.53 c cleaning 23003 clauses out of 46012 with flag 726001/2304397 1791.83/913.25 c cleaning 22991 clauses out of 46008 with flag 749000/2327396 1797.47/916.32 c starts : 18 1797.47/916.32 c conflicts : 1500 1797.47/916.32 c decisions : 170338 1797.47/916.32 c propagations : 1030835 1797.47/916.32 c inspects : 8982935 1797.47/916.32 c shortcuts : 0 1797.47/916.32 c learnt literals : 0 1797.47/916.32 c learnt binary clauses : 0 1797.47/916.32 c learnt ternary clauses : 0 1797.47/916.32 c learnt constraints : 1498 1797.47/916.32 c ignored constraints : 0 1797.47/916.32 c root simplifications : 0 1797.47/916.32 c removed literals (reason simplification) : 0 1797.47/916.32 c reason swapping (by a shorter reason) : 0 1797.47/916.32 c Calls to reduceDB : 0 1797.47/916.32 c number of reductions to clauses (during analyze) : 0 1797.47/916.32 c number of learned constraints concerned by reduction : 0 1797.47/916.32 c number of learning phase by resolution : 0 1797.47/916.32 c number of learning phase by cutting planes : 0 1797.47/916.32 c speed (assignments/second) : 3468.8510578155865 1797.47/916.32 c non guided choices 0 1797.47/916.32 c learnt constraints type 1797.47/916.32 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 9 1797.47/916.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56 1797.47/916.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1433 1797.47/916.32 c constraints type 1797.47/916.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832 1797.47/916.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1797.47/916.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842 1797.47/916.32 c constraints type 1797.47/916.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842 1797.47/916.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832 1797.47/916.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1797.47/916.32 s SATISFIABLE 1797.47/916.33 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218 x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 -x6134 -x6135 -x6136 -x6137 x6138 x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 x6503 x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 x6939 x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 x6995 x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 x7429 x7430 x7431 -x7432 -x7433 x7434 x7435 x7436 x7437 1797.47/916.34 c objective function=26 1797.47/916.34 c Total wall clock time (in seconds): 916.195
OK 26
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-3735674-1338696082/watcher-3735674-1338696082 -o /tmp/evaluation-result-3735674-1338696082/solver-3735674-1338696082 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735674-1338696082.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.98 3.94 3.91 4/198 9933 /proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/9933/stat : 9933 (java) D 9931 9933 2935 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 335732601 2560000 46 33554432000 1073741824 1073778376 140734861177136 140734861174264 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/9933/statm: 625 46 37 9 0 29 0 [startup+0.088098 s] /proc/loadavg: 3.98 3.94 3.91 4/198 9933 /proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11253516 CPUtime=0.05 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 4345 0 1 0 4 1 0 0 20 0 13 0 335732601 11523600384 12707 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2813379 12707 1709 9 0 2804080 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11253516 [startup+0.100289 s] /proc/loadavg: 3.98 3.94 3.91 4/198 9933 /proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11586392 CPUtime=0.06 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 4452 0 1 0 5 1 0 0 20 0 18 0 335732601 11864465408 12814 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2896598 12814 1765 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300248 s] /proc/loadavg: 3.98 3.94 3.91 4/198 9933 /proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11586392 CPUtime=0.44 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 6880 0 1 0 42 2 0 0 20 0 18 0 335732601 11864465408 16131 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2896598 16131 2221 9 0 2887285 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 11586392 [startup+0.700253 s] /proc/loadavg: 3.98 3.94 3.91 4/198 9933 /proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=1.55 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 12288 0 1 0 150 5 0 0 20 0 19 0 335732601 12137111552 31266 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 31266 2256 9 0 2953849 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 11852648 [startup+1.50063 s] /proc/loadavg: 4.06 3.96 3.91 3/217 9955 /proc/meminfo: memFree=26463920/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=2.08 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 13544 0 1 0 200 8 0 0 20 0 19 0 335732601 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 32839 2261 9 0 2953849 0 [pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.54 cores=1,3,5,7 /proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3442 0 1 0 51 3 0 0 20 0 19 0 335732603 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732607 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=0.52 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 2829 0 0 0 52 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.5 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 5965 0 0 0 50 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 11852648 [startup+3.10065 s] /proc/loadavg: 4.06 3.96 3.91 3/217 9961 /proc/meminfo: memFree=26449284/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=3.45 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 21239 0 1 0 330 15 0 0 20 0 19 0 335732601 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 41290 2266 9 0 2953849 0 [pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.6 cores=1,3,5,7 /proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3445 0 1 0 57 3 0 0 20 0 19 0 335732603 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732607 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 9017 0 0 0 103 1 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.76 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 7437 0 0 0 74 2 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9958] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9958/stat : 9958 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732711 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.45 Current children cumulated vsize (KiB) 11852648 [startup+6.30089 s] /proc/loadavg: 4.05 3.96 3.91 4/220 9973 /proc/meminfo: memFree=26363336/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=10.21 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 25288 0 1 0 993 28 0 0 20 0 22 0 335732601 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 157933 2291 9 0 2953849 0 [pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3447 0 1 0 60 3 0 0 20 0 22 0 335732603 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0.04 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 52 0 0 0 4 0 0 0 20 0 22 0 335732607 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.42 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11466 0 0 0 140 2 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.93 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8709 0 0 0 91 2 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9958] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9958/stat : 9958 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335732711 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9971] ppid=9931 vsize=11852648 CPUtime=2.04 cores=1,3,5,7 /proc/9933/task/9971/stat : 9971 (java) R 9931 9933 2935 0 -1 4202560 7 0 0 0 204 0 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803541205136 139803675568293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9972] ppid=9931 vsize=11852648 CPUtime=2.03 cores=1,3,5,7 /proc/9933/task/9972/stat : 9972 (java) R 9931 9933 2935 0 -1 4202560 205 0 0 0 195 8 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803543310856 139803675525553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9973] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9973/stat : 9973 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803542259368 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 108 0 0 0 102 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 111 0 0 0 98 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.12 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 104 0 0 0 109 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 79 0 0 0 100 2 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 102 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=30.39 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 156 0 0 0 3028 11 0 0 20 0 22 0 335732607 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 51 0 0 0 25 16 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=247.55 cores=1,3,5,7 /proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 28 0 0 0 24752 3 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675568318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=247.52 cores=1,3,5,7 /proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 21 0 0 0 24749 3 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803541203744 139803675628031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1731.01 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+916.308 s] /proc/loadavg: 2.42 3.40 3.72 3/192 10018 /proc/meminfo: memFree=25265704/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=1797.47 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 27881 0 1 0 179599 148 0 0 20 0 22 0 335732601 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 942657 2293 9 0 2953849 0 [pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3501 0 1 0 68 4 0 0 20 0 22 0 335732603 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 116 0 0 0 107 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 107 0 0 0 103 4 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=1.18 cores=1,3,5,7 /proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 91 0 0 0 115 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 110 0 0 0 108 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 112 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 105 0 0 0 114 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 80 0 0 0 102 2 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=32.14 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 159 0 0 0 3202 12 0 0 20 0 22 0 335732607 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 53 0 0 0 27 16 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=279.6 cores=1,3,5,7 /proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 31 0 0 0 27956 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675460868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=279.56 cores=1,3,5,7 /proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 24 0 0 0 27952 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803541203728 139803675497724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.47 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.308 s] /proc/loadavg: 2.42 3.40 3.72 3/192 10018 /proc/meminfo: memFree=25265704/32873844 swapFree=7644/7644 [pid=9933] ppid=9931 vsize=11852648 CPUtime=1797.47 cores=1,3,5,7 /proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 27881 0 1 0 179599 148 0 0 20 0 22 0 335732601 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/9933/statm: 2963162 942657 2293 9 0 2953849 0 [pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3501 0 1 0 68 4 0 0 20 0 22 0 335732603 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=1.1 cores=1,3,5,7 /proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 116 0 0 0 107 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 107 0 0 0 103 4 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=1.18 cores=1,3,5,7 /proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 91 0 0 0 115 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.11 cores=1,3,5,7 /proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 110 0 0 0 108 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7 /proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 112 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 105 0 0 0 114 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7 /proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 80 0 0 0 102 2 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7 /proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=32.14 cores=1,3,5,7 /proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 159 0 0 0 3202 12 0 0 20 0 22 0 335732607 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7 /proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7 /proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 53 0 0 0 27 16 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=279.6 cores=1,3,5,7 /proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 31 0 0 0 27956 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675460868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=279.56 cores=1,3,5,7 /proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 24 0 0 0 27952 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803541203728 139803675497724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9933 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=450202 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=730736 # CPU time returned by wait4() is 1796.18 # while last known CPU time is 1797.47 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.7001 # lost CPU user time (s): 2.90005 # lost CPU system time (s): -0.2 Real time (s): 916.361 CPU time (s): 1800.17 CPU user time (s): 1798.89 CPU system time (s): 1.28 CPU usage (%): 196.448 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.45 system time used= 1.73074 maximum resident set size= 3770752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27913 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28078 involuntary context switches= 26205 runsolver used 3.71043 second user time and 8.94464 second system time The end
Begin job on node147 at 2012-06-03 06:01:22 IDJOB=3735674 IDBENCH=24984 IDSOLVER=2328 FILE ID=node147/3735674-1338696082 RUNJOBID= node147-1338678629-2955 PBS_JOBID= 14636666 Free space on /tmp= 70784 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735674-1338696082/watcher-3735674-1338696082 -o /tmp/evaluation-result-3735674-1338696082/solver-3735674-1338696082 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735674-1338696082.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847 RANDOM SEED=1939770193 node147.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.951 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 : 5333.90 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.951 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.951 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.87 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.951 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.951 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.951 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.951 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.951 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26581224 kB Buffers: 441388 kB Cached: 2530272 kB SwapCached: 3380 kB Active: 3859728 kB Inactive: 1537124 kB Active(anon): 2420948 kB Inactive(anon): 5908 kB Active(file): 1438780 kB Inactive(file): 1531216 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 1284 kB Writeback: 0 kB AnonPages: 2460172 kB Mapped: 17640 kB Shmem: 0 kB Slab: 721484 kB SReclaimable: 162400 kB SUnreclaim: 559084 kB KernelStack: 1632 kB PageTables: 8892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2410496 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= 70784 MiB End job on node147 at 2012-06-03 06:16:40