Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 37030 | 1800.37 | 915.184 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 36521 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31955 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 2679 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3908448 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2679 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3908448 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.1.v20110525 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.00/0.11 c Pseudo Boolean Optimization 0.00/0.11 c ManyCore solver with 2 solvers running in parallel 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.11 c Expensive reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.00/0.11 c --- Begin Solver configuration --- 0.00/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.00/0.11 c Learn all clauses as in MiniSAT 0.00/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.00/0.11 c No reason simplification 0.00/0.11 c Armin Biere (Picosat) restarts strategy 0.00/0.11 c Glucose learned constraints deletion strategy 0.00/0.11 c timeout=2147483s 0.00/0.11 c DB Simplification allowed=false 0.00/0.11 c --- End Solver configuration --- 0.00/0.11 c solving HOME/instance-3454476-1307187710.opb 0.00/0.11 c reading problem ... 0.70/0.42 c ... done. Wall clock time 0.307s. 0.70/0.42 c #vars 7195 0.70/0.42 c #constraints 852 0.70/0.42 c constraints type 0.70/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 0.70/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 0.70/0.42 c constraints type 0.70/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 426 0.70/0.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 426 2.58/0.90 c And the winner is Resolution 2.83/1.02 c SATISFIABLE 2.83/1.02 c OPTIMIZING... 2.83/1.02 c Got one! Elapsed wall clock time (in seconds):0.91 2.83/1.02 o 46076 4.94/2.00 c And the winner is Resolution 5.41/2.34 c Got one! Elapsed wall clock time (in seconds):2.229 5.41/2.34 o 44729 8.60/3.92 c cleaning 2859 clauses out of 5765 with flag 3001/5769 12.21/5.76 c And the winner is Resolution 12.60/6.05 c Got one! Elapsed wall clock time (in seconds):5.945 12.60/6.05 o 44441 14.21/6.85 c And the winner is Resolution 14.47/7.10 c Got one! Elapsed wall clock time (in seconds):6.987 14.47/7.10 o 43908 15.41/7.50 c cleaning 4800 clauses out of 9649 with flag 1000/12516 16.77/8.28 c And the winner is Resolution 17.04/8.64 c Got one! Elapsed wall clock time (in seconds):8.529 17.04/8.64 o 43560 18.57/9.46 c And the winner is CuttingPlanes 18.70/9.67 c Got one! Elapsed wall clock time (in seconds):9.566 18.70/9.67 o 42792 19.44/10.09 c And the winner is Resolution 19.65/10.21 c Got one! Elapsed wall clock time (in seconds):10.102 19.65/10.21 o 41932 20.23/10.55 c And the winner is Resolution 20.35/10.75 c Got one! Elapsed wall clock time (in seconds):10.637 20.35/10.75 o 41673 23.29/12.24 c cleaning 6446 clauses out of 13039 with flag 3000/20715 24.22/12.75 c And the winner is Resolution 24.47/12.95 c Got one! Elapsed wall clock time (in seconds):12.843 24.47/12.95 o 41601 26.60/14.06 c And the winner is Resolution 26.86/14.49 c Got one! Elapsed wall clock time (in seconds):14.383 26.86/14.49 o 41566 29.88/16.04 c cleaning 6295 clauses out of 12691 with flag 3000/26830 36.65/19.45 c cleaning 6173 clauses out of 12391 with flag 9001/32831 45.59/23.96 c cleaning 6530 clauses out of 13210 with flag 16000/39830 52.95/27.65 c And the winner is Resolution 54.24/28.93 c Got one! Elapsed wall clock time (in seconds):28.817 54.24/28.93 o 41551 58.41/31.04 c And the winner is Resolution 58.93/31.52 c Got one! Elapsed wall clock time (in seconds):31.413 58.93/31.52 o 41489 60.89/32.52 c cleaning 9486 clauses out of 19015 with flag 2000/52171 68.24/36.30 c And the winner is Resolution 68.70/36.66 c Got one! Elapsed wall clock time (in seconds):36.553 68.70/36.66 o 41318 68.98/36.82 c And the winner is Resolution 69.19/37.20 c Got one! Elapsed wall clock time (in seconds):37.091 69.19/37.20 o 38537 75.10/40.13 c cleaning 9980 clauses out of 20012 with flag 5000/62660 81.39/43.32 c cleaning 7886 clauses out of 16033 with flag 11002/68662 89.56/47.46 c cleaning 7527 clauses out of 15141 with flag 18001/75661 99.26/52.36 c cleaning 7765 clauses out of 15608 with flag 26000/83660 111.78/58.67 c cleaning 8419 clauses out of 16841 with flag 35000/92660 126.27/65.95 c cleaning 9143 clauses out of 18421 with flag 45000/102660 138.98/72.34 c cleaning 9639 clauses out of 19278 with flag 55000/112660 140.50/73.19 c And the winner is CuttingPlanes 140.68/73.47 c Got one! Elapsed wall clock time (in seconds):73.359 140.68/73.47 o 37030 144.34/75.35 c cleaning 7264 clauses out of 14746 with flag 4000/117770 150.66/78.51 c cleaning 6724 clauses out of 13476 with flag 10001/123771 159.12/82.85 c cleaning 6866 clauses out of 13748 with flag 17000/130770 169.03/87.86 c cleaning 7350 clauses out of 14880 with flag 25002/138772 181.74/94.22 c cleaning 8152 clauses out of 16527 with flag 34002/147772 192.84/99.89 c cleaning 9164 clauses out of 18369 with flag 44002/157772 205.30/106.18 c cleaning 9528 clauses out of 19200 with flag 54000/167770 218.41/112.70 c cleaning 9774 clauses out of 19671 with flag 64000/177770 231.31/119.23 c cleaning 9850 clauses out of 19891 with flag 74000/187770 243.21/125.23 c cleaning 9893 clauses out of 20038 with flag 84003/197773 255.88/131.64 c cleaning 9970 clauses out of 20139 with flag 94000/207770 268.79/138.10 c cleaning 10010 clauses out of 20172 with flag 104005/217775 287.89/147.70 c cleaning 9986 clauses out of 20156 with flag 114001/227771 308.79/158.28 c cleaning 10037 clauses out of 20170 with flag 124001/237771 321.64/164.75 c cleaning 10048 clauses out of 20127 with flag 134000/247770 337.95/172.98 c cleaning 9953 clauses out of 20079 with flag 144000/257770 350.46/179.25 c cleaning 10010 clauses out of 20126 with flag 154000/267770 365.76/186.92 c cleaning 9882 clauses out of 20116 with flag 164000/277770 380.63/194.45 c cleaning 10051 clauses out of 20234 with flag 174001/287771 393.93/201.16 c cleaning 10014 clauses out of 20182 with flag 184000/297770 405.83/207.17 c cleaning 10002 clauses out of 20167 with flag 194001/307771 421.37/214.99 c cleaning 9984 clauses out of 20163 with flag 204001/317771 435.62/222.11 c cleaning 10010 clauses out of 20178 with flag 214000/327770 448.72/228.71 c cleaning 9936 clauses out of 20166 with flag 224001/337771 462.26/235.57 c cleaning 10061 clauses out of 20229 with flag 234000/347770 474.13/241.51 c cleaning 9916 clauses out of 20169 with flag 244001/357771 485.58/247.34 c cleaning 10044 clauses out of 20251 with flag 254001/367771 502.28/255.77 c cleaning 10007 clauses out of 20206 with flag 264000/377770 519.18/264.20 c cleaning 10002 clauses out of 20199 with flag 274000/387770 533.08/271.29 c cleaning 10037 clauses out of 20194 with flag 284001/397771 546.94/278.22 c cleaning 9935 clauses out of 20154 with flag 294001/407771 561.25/285.41 c cleaning 10019 clauses out of 20219 with flag 304001/417771 575.95/292.83 c cleaning 10029 clauses out of 20202 with flag 314003/427773 588.88/299.38 c cleaning 9979 clauses out of 20171 with flag 324002/437772 602.90/306.45 c cleaning 10000 clauses out of 20190 with flag 334002/447772 613.21/311.62 c cleaning 9986 clauses out of 20188 with flag 344000/457770 627.51/318.85 c cleaning 10028 clauses out of 20202 with flag 354001/467771 653.41/331.89 c cleaning 9981 clauses out of 20174 with flag 364001/477771 676.46/343.45 c cleaning 10015 clauses out of 20194 with flag 374002/487772 692.56/351.51 c cleaning 10012 clauses out of 20177 with flag 384001/497771 705.86/358.21 c cleaning 10001 clauses out of 20164 with flag 394000/507770 720.15/365.44 c cleaning 9985 clauses out of 20166 with flag 404003/517773 732.60/371.77 c cleaning 10024 clauses out of 20180 with flag 414002/527772 747.27/379.15 c cleaning 9953 clauses out of 20154 with flag 424000/537770 759.52/385.38 c cleaning 9995 clauses out of 20202 with flag 434001/547771 771.99/391.65 c cleaning 9983 clauses out of 20206 with flag 444000/557770 783.73/397.63 c cleaning 10037 clauses out of 20224 with flag 454003/567773 797.37/404.55 c cleaning 9980 clauses out of 20185 with flag 464001/577771 815.44/413.71 c cleaning 10020 clauses out of 20205 with flag 474001/587771 831.04/421.51 c cleaning 10032 clauses out of 20185 with flag 484001/597771 843.80/428.08 c cleaning 10021 clauses out of 20152 with flag 494001/607771 858.01/435.24 c cleaning 9923 clauses out of 20131 with flag 504001/617771 871.45/442.09 c cleaning 10003 clauses out of 20209 with flag 514002/627772 887.47/450.13 c cleaning 10014 clauses out of 20206 with flag 524002/637772 902.78/457.92 c cleaning 10026 clauses out of 20192 with flag 534002/647772 916.40/464.85 c cleaning 9966 clauses out of 20162 with flag 544000/657770 928.43/470.96 c cleaning 9963 clauses out of 20195 with flag 554001/667771 945.39/479.51 c cleaning 9973 clauses out of 20231 with flag 564000/677770 959.46/486.76 c cleaning 9975 clauses out of 20258 with flag 574000/687770 974.26/494.26 c cleaning 9990 clauses out of 20284 with flag 584001/697771 988.87/501.71 c cleaning 10034 clauses out of 20293 with flag 594000/707770 1002.63/508.63 c cleaning 10070 clauses out of 20260 with flag 604001/717771 1015.29/515.14 c cleaning 9963 clauses out of 20180 with flag 614000/727770 1029.88/522.54 c cleaning 9962 clauses out of 20217 with flag 624000/737770 1041.84/528.65 c cleaning 10012 clauses out of 20256 with flag 634001/747771 1053.01/534.38 c cleaning 9982 clauses out of 20244 with flag 644001/757771 1063.66/539.86 c cleaning 10004 clauses out of 20263 with flag 654002/767772 1075.27/545.72 c cleaning 9998 clauses out of 20257 with flag 664000/777770 1087.01/551.76 c cleaning 9997 clauses out of 20261 with flag 674002/787772 1099.58/558.19 c cleaning 10022 clauses out of 20258 with flag 684000/797770 1116.08/566.59 c cleaning 10071 clauses out of 20234 with flag 694000/807770 1128.43/572.87 c cleaning 9991 clauses out of 20163 with flag 704000/817770 1145.02/581.20 c cleaning 9993 clauses out of 20172 with flag 714000/827770 1160.60/589.14 c cleaning 9972 clauses out of 20178 with flag 724001/837771 1177.04/597.50 c cleaning 9991 clauses out of 20207 with flag 734002/847772 1193.21/605.72 c cleaning 10059 clauses out of 20213 with flag 744000/857770 1211.41/614.99 c cleaning 9992 clauses out of 20155 with flag 754001/867771 1228.17/623.47 c cleaning 9992 clauses out of 20162 with flag 764000/877770 1240.61/629.80 c cleaning 10015 clauses out of 20171 with flag 774001/887771 1250.98/635.19 c cleaning 10015 clauses out of 20156 with flag 784001/897771 1262.55/641.10 c cleaning 10023 clauses out of 20144 with flag 794004/907774 1274.92/647.36 c cleaning 10002 clauses out of 20117 with flag 804000/917770 1287.16/653.65 c cleaning 9945 clauses out of 20114 with flag 814000/927770 1301.94/661.15 c cleaning 9957 clauses out of 20169 with flag 824000/937770 1323.49/672.05 c cleaning 9975 clauses out of 20213 with flag 834001/947771 1342.67/681.78 c cleaning 9978 clauses out of 20238 with flag 844001/957771 1358.33/689.71 c cleaning 9984 clauses out of 20259 with flag 854000/967770 1376.67/699.04 c cleaning 10008 clauses out of 20276 with flag 864001/977771 1389.84/705.78 c cleaning 9998 clauses out of 20268 with flag 874001/987771 1403.40/712.60 c cleaning 10040 clauses out of 20271 with flag 884002/997772 1415.83/719.09 c cleaning 10009 clauses out of 20230 with flag 894001/1007771 1429.61/726.08 c cleaning 9944 clauses out of 20220 with flag 904000/1017770 1440.74/731.72 c cleaning 9997 clauses out of 20277 with flag 914001/1027771 1451.49/737.25 c cleaning 9991 clauses out of 20280 with flag 924001/1037771 1463.11/743.25 c cleaning 10001 clauses out of 20290 with flag 934002/1047772 1473.65/748.63 c cleaning 9993 clauses out of 20287 with flag 944000/1057770 1484.60/754.28 c cleaning 9997 clauses out of 20295 with flag 954001/1067771 1495.74/759.97 c cleaning 9999 clauses out of 20297 with flag 964000/1077770 1507.93/766.23 c cleaning 9994 clauses out of 20298 with flag 974000/1087770 1519.69/772.31 c cleaning 10050 clauses out of 20296 with flag 984000/1097770 1532.41/778.79 c cleaning 10057 clauses out of 20251 with flag 994005/1107775 1545.15/785.29 c cleaning 9959 clauses out of 20189 with flag 1004000/1117770 1560.15/792.93 c cleaning 9996 clauses out of 20230 with flag 1014000/1127770 1570.90/798.43 c cleaning 10016 clauses out of 20234 with flag 1024000/1137770 1581.22/803.73 c cleaning 10011 clauses out of 20218 with flag 1034000/1147770 1596.15/811.34 c cleaning 10068 clauses out of 20209 with flag 1044002/1157772 1625.12/826.02 c cleaning 9896 clauses out of 20140 with flag 1054001/1167771 1646.85/837.07 c cleaning 10091 clauses out of 20243 with flag 1064000/1177770 1675.42/851.47 c cleaning 9992 clauses out of 20152 with flag 1074000/1187770 1692.10/859.99 c cleaning 9957 clauses out of 20159 with flag 1084001/1197771 1713.81/871.07 c cleaning 9995 clauses out of 20202 with flag 1094001/1207771 1732.91/880.74 c cleaning 9989 clauses out of 20207 with flag 1104001/1217771 1751.02/889.99 c cleaning 9990 clauses out of 20217 with flag 1114000/1227770 1767.49/898.37 c cleaning 10068 clauses out of 20229 with flag 1124002/1237772 1786.42/908.09 c cleaning 9991 clauses out of 20158 with flag 1134001/1247771 1800.13/915.02 c starts : 20 1800.13/915.02 c conflicts : 1269 1800.13/915.02 c decisions : 95018 1800.13/915.02 c propagations : 733978 1800.13/915.02 c inspects : 9753073 1800.13/915.02 c shortcuts : 0 1800.13/915.02 c learnt literals : 1 1800.13/915.02 c learnt binary clauses : 3 1800.13/915.02 c learnt ternary clauses : 0 1800.13/915.02 c learnt constraints : 1258 1800.13/915.02 c ignored constraints : 0 1800.13/915.02 c root simplifications : 0 1800.13/915.02 c removed literals (reason simplification) : 0 1800.13/915.02 c reason swapping (by a shorter reason) : 0 1800.13/915.02 c Calls to reduceDB : 0 1800.13/915.02 c number of reductions to clauses (during analyze) : 0 1800.13/915.02 c number of learned constraints concerned by reduction : 0 1800.13/915.02 c number of learning phase by resolution : 0 1800.13/915.02 c number of learning phase by cutting planes : 0 1800.13/915.02 c speed (assignments/second) : 872.1853651464756 1800.13/915.02 c non guided choices 0 1800.13/915.02 c learnt constraints type 1800.13/915.02 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.13/915.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 366 1800.13/915.02 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2 1800.13/915.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 888 1800.13/915.02 c constraints type 1800.13/915.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 1800.13/915.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 1800.13/915.02 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.13/915.02 c constraints type 1800.13/915.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 426 1800.13/915.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 426 1800.13/915.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.13/915.02 s SATISFIABLE 1800.13/915.03 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 1800.13/915.04 c objective function=37030 1800.13/915.04 c Total wall clock time (in seconds): 914.931
OK 37030
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454476-1307187710/watcher-3454476-1307187710 -o /tmp/evaluation-result-3454476-1307187710/solver-3454476-1307187710 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454476-1307187710.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: 1.00 1.01 1.22 3/436 9133 /proc/meminfo: memFree=25777980/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 2979 0 1 0 0 0 0 0 25 0 2 0 286380406 10681323520 2682 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2607745 2695 906 9 0 2598901 0 [pid=9133/tid=9134] ppid=9131 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) R 9131 9133 6914 0 -1 4202560 4846 0 1 0 0 0 0 0 25 0 2 0 286380407 10694979584 5661 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.118546 s] /proc/loadavg: 1.00 1.01 1.22 3/436 9133 /proc/meminfo: memFree=25777980/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10539848 CPUtime=0.13 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 13413 0 1 0 12 1 0 0 25 0 18 0 286380406 10792804352 13110 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2634962 13110 2133 9 0 2625696 0 [pid=9133/tid=9134] ppid=9131 vsize=10539848 CPUtime=0.1 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) R 9131 9133 6914 0 -1 4202560 11385 0 1 0 10 0 0 0 22 0 18 0 286380407 10792804352 13110 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10539848 [startup+0.205529 s] /proc/loadavg: 1.00 1.01 1.22 3/436 9133 /proc/meminfo: memFree=25777980/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10540464 CPUtime=0.3 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 14542 0 1 0 29 1 0 0 25 0 18 0 286380406 10793435136 14079 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2635116 14091 2196 9 0 2625850 0 [pid=9133/tid=9134] ppid=9131 vsize=10540464 CPUtime=0.19 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) R 9131 9133 6914 0 -1 4202560 12061 0 1 0 18 1 0 0 22 0 18 0 286380407 10793435136 14103 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505544566 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 10540464 [startup+0.332504 s] /proc/loadavg: 1.00 1.01 1.22 3/436 9133 /proc/meminfo: memFree=25777980/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10542400 CPUtime=0.63 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 22731 0 1 0 61 2 0 0 25 0 18 0 286380406 10795417600 21248 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2635600 21251 2204 9 0 2626334 0 [pid=9133/tid=9134] ppid=9131 vsize=10542400 CPUtime=0.31 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) R 9131 9133 6914 0 -1 4202560 17859 0 1 0 30 1 0 0 22 0 18 0 286380407 10795417600 21253 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505574132 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 10542400 [startup+0.700345 s] /proc/loadavg: 1.00 1.01 1.22 3/436 9133 /proc/meminfo: memFree=25777980/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10559868 CPUtime=1.78 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 42319 0 1 0 174 4 0 0 25 0 22 0 286380406 10813304832 39298 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2639967 39298 2228 9 0 2630701 0 [pid=9133/tid=9134] ppid=9131 vsize=10559868 CPUtime=0.4 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 30592 0 1 0 37 3 0 0 24 0 22 0 286380407 10813304832 39300 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 10559868 [startup+1.5012 s] /proc/loadavg: 1.48 1.11 1.25 5/458 9158 /proc/meminfo: memFree=25589116/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=4.06 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 66366 0 1 0 399 7 0 0 25 0 22 0 286380406 10825510912 61664 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 61665 2233 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.47 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 31527 0 1 0 44 3 0 0 19 0 22 0 286380407 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 286380409 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 286380410 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 286380410 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9147] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9147/stat : 9147 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286380412 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892388785 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9148] ppid=9131 vsize=10571788 CPUtime=0.82 cores=1,3,5,7 /proc/9133/task/9148/stat : 9148 (java) S 9131 9133 6914 0 -1 4202560 7164 0 0 0 82 0 0 0 15 0 22 0 286380412 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9149] ppid=9131 vsize=10571788 CPUtime=0.89 cores=1,3,5,7 /proc/9133/task/9149/stat : 9149 (java) R 9131 9133 6914 0 -1 4202560 8156 0 0 0 89 0 0 0 16 0 22 0 286380412 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 47786280990339 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9133/tid=9150] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9150/stat : 9150 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286380412 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9151] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9151/stat : 9151 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286380412 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9155] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9155/stat : 9155 (java) S 9131 9133 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 286380452 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9156] ppid=9131 vsize=10571788 CPUtime=0.43 cores=1,3,5,7 /proc/9133/task/9156/stat : 9156 (java) R 9131 9133 6914 0 -1 4202560 378 0 0 0 43 0 0 0 20 0 22 0 286380511 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912506241255 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=9133/tid=9157] ppid=9131 vsize=10571788 CPUtime=0.44 cores=1,3,5,7 /proc/9133/task/9157/stat : 9157 (java) R 9131 9133 6914 0 -1 4202560 15217 0 0 0 43 1 0 0 21 0 22 0 286380511 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505990036 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=9133/tid=9158] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9158/stat : 9158 (java) S 9131 9133 6914 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 22 0 286380512 10825510912 61665 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.06 Current children cumulated vsize (KiB) 10571788 [startup+3.10098 s] /proc/loadavg: 1.48 1.11 1.25 4/456 9158 /proc/meminfo: memFree=25213416/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=6.97 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 156819 0 1 0 679 18 0 0 25 0 22 0 286380406 10825510912 152116 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 152117 2233 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.51 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 32382 0 1 0 48 3 0 0 15 0 22 0 286380407 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 286380408 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 286380409 10825510912 152117 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 286380410 10825510912 152118 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 286380410 10825510912 152118 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9147] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9147/stat : 9147 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286380412 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892388785 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9148] ppid=9131 vsize=10571788 CPUtime=0.86 cores=1,3,5,7 /proc/9133/task/9148/stat : 9148 (java) S 9131 9133 6914 0 -1 4202560 7166 0 0 0 86 0 0 0 16 0 22 0 286380412 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9149] ppid=9131 vsize=10571788 CPUtime=0.97 cores=1,3,5,7 /proc/9133/task/9149/stat : 9149 (java) S 9131 9133 6914 0 -1 4202560 8170 0 0 0 97 0 0 0 15 0 22 0 286380412 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9150] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9150/stat : 9150 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286380412 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9151] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9151/stat : 9151 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 286380412 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9155] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9155/stat : 9155 (java) S 9131 9133 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 286380452 10825510912 152119 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6.97 Current children cumulated vsize (KiB) 10571788 [startup+6.30136 s] /proc/loadavg: 1.48 1.11 1.25 5/458 9161 /proc/meminfo: memFree=24530268/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=13.21 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 355243 0 1 0 1284 37 0 0 25 0 22 0 286380406 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 350526 2257 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.56 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 33237 0 1 0 52 4 0 0 17 0 22 0 286380407 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 498 0 0 0 0 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0.01 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 1253 0 0 0 1 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0.01 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 1297 0 0 0 1 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0.01 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 1398 0 0 0 1 0 0 0 18 0 22 0 286380408 10825510912 350526 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=0.04 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 4412 0 0 0 4 0 0 0 15 0 22 0 286380409 10825510912 350527 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 286380410 10825510912 350527 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 286380410 10825510912 350527 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=18666628/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=1617.71 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 935793 0 1 0 161671 100 0 0 25 0 22 0 286380406 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 929465 2259 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.95 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 34949 0 1 0 91 4 0 0 15 0 22 0 286380407 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0.46 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 7635 0 0 0 45 1 0 0 16 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0.4 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 5496 0 0 0 40 0 0 0 15 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0.38 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 4197 0 0 0 38 0 0 0 15 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0.43 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 6032 0 0 0 43 0 0 0 16 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0.37 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 5083 0 0 0 37 0 0 0 15 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0.43 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 6706 0 0 0 42 1 0 0 16 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0.43 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 5458 0 0 0 43 0 0 0 16 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0.4 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 7210 0 0 0 39 1 0 0 15 0 22 0 286380408 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=22.94 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 27240 0 0 0 2289 5 0 0 15 0 22 0 286380409 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9147] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9147/stat : 9147 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286380412 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892388785 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9148] ppid=9131 vsize=10571788 CPUtime=1.15 cores=1,3,5,7 /proc/9133/task/9148/stat : 9148 (java) S 9131 9133 6914 0 -1 4202560 7200 0 0 0 115 0 0 0 15 0 22 0 286380412 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9149] ppid=9131 vsize=10571788 CPUtime=1.34 cores=1,3,5,7 /proc/9133/task/9149/stat : 9149 (java) S 9131 9133 6914 0 -1 4202560 8224 0 0 0 134 0 0 0 15 0 22 0 286380412 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9150] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9150/stat : 9150 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286380412 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9151] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9151/stat : 9151 (java) S 9131 9133 6914 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 286380412 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9204] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9204/stat : 9204 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286384130 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9209] ppid=9131 vsize=10571788 CPUtime=726.13 cores=1,3,5,7 /proc/9133/task/9209/stat : 9209 (java) R 9131 9133 6914 0 -1 4202560 139 0 0 0 72613 0 0 0 25 0 22 0 286387755 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505817338 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9133/tid=9210] ppid=9131 vsize=10571788 CPUtime=726.15 cores=1,3,5,7 /proc/9133/task/9210/stat : 9210 (java) R 9131 9133 6914 0 -1 4202560 95047 0 0 0 72606 9 0 0 25 0 22 0 286387755 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912506325284 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=9133/tid=9211] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9211/stat : 9211 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286387755 10825510912 929465 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1617.71 Current children cumulated vsize (KiB) 10571788 [startup+882.316 s] /proc/loadavg: 3.93 3.83 2.91 5/458 9256 /proc/meminfo: memFree=18615392/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=1735.83 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 947159 0 1 0 173481 102 0 0 25 0 22 0 286380406 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 940212 2259 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.95 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 34949 0 1 0 91 4 0 0 15 0 22 0 286380407 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0.52 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 10195 0 0 0 51 1 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0.47 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 7529 0 0 0 46 1 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0.42 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 4791 0 0 0 42 0 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0.49 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 7230 0 0 0 48 1 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0.41 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 5395 0 0 0 41 0 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0.47 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 7835 0 0 0 46 1 0 0 16 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0.49 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 7471 0 0 0 48 1 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0.43 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 8231 0 0 0 42 1 0 0 15 0 22 0 286380408 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=25 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 27730 0 0 0 2495 5 0 0 15 0 22 0 286380409 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9147] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9147/stat : 9147 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286380412 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892388785 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9148] ppid=9131 vsize=10571788 CPUtime=1.15 cores=1,3,5,7 /proc/9133/task/9148/stat : 9148 (java) S 9131 9133 6914 0 -1 4202560 7200 0 0 0 115 0 0 0 15 0 22 0 286380412 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9149] ppid=9131 vsize=10571788 CPUtime=1.34 cores=1,3,5,7 /proc/9133/task/9149/stat : 9149 (java) S 9131 9133 6914 0 -1 4202560 8224 0 0 0 134 0 0 0 15 0 22 0 286380412 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9150] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9150/stat : 9150 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286380412 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9151] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9151/stat : 9151 (java) S 9131 9133 6914 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 286380412 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9204] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9204/stat : 9204 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286384130 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9209] ppid=9131 vsize=10571788 CPUtime=783.96 cores=1,3,5,7 /proc/9133/task/9209/stat : 9209 (java) R 9131 9133 6914 0 -1 4202560 148 0 0 0 78396 0 0 0 25 0 22 0 286387755 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505817410 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9133/tid=9210] ppid=9131 vsize=10571788 CPUtime=783.98 cores=1,3,5,7 /proc/9133/task/9210/stat : 9210 (java) R 9131 9133 6914 0 -1 4202560 95050 0 0 0 78389 9 0 0 25 0 22 0 286387755 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912506214741 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=9133/tid=9211] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9211/stat : 9211 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286387755 10825510912 940212 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1735.83 Current children cumulated vsize (KiB) 10571788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+915.001 s] /proc/loadavg: 4.21 3.90 2.96 4/458 9381 /proc/meminfo: memFree=22127452/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=10571788 CPUtime=1800.13 cores=1,3,5,7 /proc/9133/stat : 9133 (java) S 9131 9133 6914 0 -1 4202496 947177 0 1 0 179910 103 0 0 25 0 22 0 286380406 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 2642947 940219 2259 9 0 2633681 0 [pid=9133/tid=9134] ppid=9131 vsize=10571788 CPUtime=0.95 cores=1,3,5,7 /proc/9133/task/9134/stat : 9134 (java) S 9131 9133 6914 0 -1 4202560 34949 0 1 0 91 4 0 0 15 0 22 0 286380407 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9136] ppid=9131 vsize=10571788 CPUtime=0.54 cores=1,3,5,7 /proc/9133/task/9136/stat : 9136 (java) S 9131 9133 6914 0 -1 4202560 10198 0 0 0 53 1 0 0 15 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9137] ppid=9131 vsize=10571788 CPUtime=0.5 cores=1,3,5,7 /proc/9133/task/9137/stat : 9137 (java) S 9131 9133 6914 0 -1 4202560 7531 0 0 0 49 1 0 0 15 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9138] ppid=9131 vsize=10571788 CPUtime=0.44 cores=1,3,5,7 /proc/9133/task/9138/stat : 9138 (java) S 9131 9133 6914 0 -1 4202560 4791 0 0 0 44 0 0 0 16 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9139] ppid=9131 vsize=10571788 CPUtime=0.5 cores=1,3,5,7 /proc/9133/task/9139/stat : 9139 (java) S 9131 9133 6914 0 -1 4202560 7231 0 0 0 49 1 0 0 15 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9140] ppid=9131 vsize=10571788 CPUtime=0.44 cores=1,3,5,7 /proc/9133/task/9140/stat : 9140 (java) S 9131 9133 6914 0 -1 4202560 5395 0 0 0 44 0 0 0 15 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9141] ppid=9131 vsize=10571788 CPUtime=0.5 cores=1,3,5,7 /proc/9133/task/9141/stat : 9141 (java) S 9131 9133 6914 0 -1 4202560 7836 0 0 0 49 1 0 0 16 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9142] ppid=9131 vsize=10571788 CPUtime=0.52 cores=1,3,5,7 /proc/9133/task/9142/stat : 9142 (java) S 9131 9133 6914 0 -1 4202560 7471 0 0 0 51 1 0 0 16 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 7 0 0 0 [pid=9133/tid=9143] ppid=9131 vsize=10571788 CPUtime=0.44 cores=1,3,5,7 /proc/9133/task/9143/stat : 9143 (java) S 9131 9133 6914 0 -1 4202560 8231 0 0 0 43 1 0 0 15 0 22 0 286380408 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9144] ppid=9131 vsize=10571788 CPUtime=26.15 cores=1,3,5,7 /proc/9133/task/9144/stat : 9144 (java) S 9131 9133 6914 0 -1 4202560 27732 0 0 0 2610 5 0 0 15 0 22 0 286380409 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 0 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 [pid=9133/tid=9145] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9145/stat : 9145 (java) S 9131 9133 6914 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9146] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9146/stat : 9146 (java) S 9131 9133 6914 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 286380410 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9147] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9147/stat : 9147 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 286380412 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892388785 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9148] ppid=9131 vsize=10571788 CPUtime=1.15 cores=1,3,5,7 /proc/9133/task/9148/stat : 9148 (java) S 9131 9133 6914 0 -1 4202560 7200 0 0 0 115 0 0 0 15 0 22 0 286380412 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9149] ppid=9131 vsize=10571788 CPUtime=1.34 cores=1,3,5,7 /proc/9133/task/9149/stat : 9149 (java) S 9131 9133 6914 0 -1 4202560 8224 0 0 0 134 0 0 0 15 0 22 0 286380412 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9150] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9150/stat : 9150 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 286380412 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381081 0 4 0 16800975 18446604471114050496 0 0 -1 5 0 0 0 [pid=9133/tid=9151] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9151/stat : 9151 (java) S 9131 9133 6914 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 286380412 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9204] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9204/stat : 9204 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 286384130 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 3 0 0 0 [pid=9133/tid=9209] ppid=9131 vsize=10571788 CPUtime=815.46 cores=1,3,5,7 /proc/9133/task/9209/stat : 9209 (java) R 9131 9133 6914 0 -1 4202560 154 0 0 0 81546 0 0 0 25 0 22 0 286387755 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505817347 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9133/tid=9210] ppid=9131 vsize=10571788 CPUtime=815.47 cores=1,3,5,7 /proc/9133/task/9210/stat : 9210 (java) R 9131 9133 6914 0 -1 4202560 95051 0 0 0 81538 9 0 0 25 0 22 0 286387755 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 46912505606792 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=9133/tid=9211] ppid=9131 vsize=10571788 CPUtime=0 cores=1,3,5,7 /proc/9133/task/9211/stat : 9211 (java) S 9131 9133 6914 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 286387755 10825510912 940219 33554432000 1073741824 1073778376 140734741720944 18446744073709551615 218892381696 0 4 0 16800975 18446604471114050496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 10571788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+915.122 s] /proc/loadavg: 4.21 3.90 2.96 4/458 9381 /proc/meminfo: memFree=22127452/32950928 swapFree=52006644/67111528 [pid=9133] ppid=9131 vsize=0 CPUtime=1800.31 cores=1,3,5,7 /proc/9133/stat : 9133 (java) Z 9131 9133 6914 0 -1 4203548 947209 0 1 0 179920 111 0 0 17 0 2 0 286380406 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9133/statm: 0 0 0 0 0 0 0 [pid=9133/tid=9209] ppid=9131 vsize=0 CPUtime=815.55 cores=1,3,5,7 /proc/9133/task/9209/stat : 9209 (java) R 9131 9133 6914 0 -1 4203588 154 0 0 0 81548 7 0 0 25 0 2 0 286387755 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 915.184 CPU time (s): 1800.37 CPU user time (s): 1799.2 CPU system time (s): 1.17182 CPU usage (%): 196.722 Max. virtual memory (cumulated for all children) (KiB): 10571788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 1.17182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 947209 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27629 involuntary context switches= 23699 runsolver used 3.83942 second user time and 8.71068 second system time The end
Begin job on node112 at 2011-06-04 13:41:50 IDJOB=3454476 IDBENCH=1521 IDSOLVER=1950 FILE ID=node112/3454476-1307187710 RUNJOBID= node112-1307187705-9025 PBS_JOBID= 13508820 Free space on /tmp= 73912 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454476-1307187710/watcher-3454476-1307187710 -o /tmp/evaluation-result-3454476-1307187710/solver-3454476-1307187710 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454476-1307187710.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED=720323872 node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5180.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 25778268 kB Buffers: 336716 kB Cached: 5628560 kB SwapCached: 31280 kB Active: 1179668 kB Inactive: 5712608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 25778268 kB SwapTotal: 67111528 kB SwapFree: 52006644 kB Dirty: 1464 kB Writeback: 0 kB AnonPages: 904364 kB Mapped: 20872 kB Slab: 155984 kB PageTables: 60024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108986856 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node112 at 2011-06-04 13:57:07