Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | MSAT (TO) | 1800.26 | 1793.88 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo |
MD5SUM | 4b3e4ac9b9f8acc38ac61fe906d48ca6 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.235963 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6800 |
Total number of constraints | 165 |
Number of soft constraints | 165 |
Number of constraints which are clauses | 85 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 85 |
Top cost | 7728 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 7727 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 86 |
Number of bits of the biggest sum of numbers | 7 |
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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.06/0.07 c version 2.2.0.v20100526 0.06/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.06/0.07 c java.vm.version 11.2-b01 0.06/0.07 c java.vm.vendor Sun Microsystems Inc. 0.06/0.07 c sun.arch.data.model 32 0.06/0.07 c java.version 1.6.0_12 0.06/0.07 c os.name Linux 0.06/0.07 c os.version 2.6.18-164.el5 0.06/0.07 c os.arch i386 0.06/0.07 c Free memory 1393557488 0.06/0.07 c Max memory 1395916800 0.06/0.07 c Total memory 1395916800 0.06/0.07 c Number of processors 8 0.06/0.10 c Pseudo Boolean Optimization 0.06/0.10 c --- Begin Solver configuration --- 0.06/0.10 c Stops conflict analysis at the first Unique Implication Point 0.06/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.06/0.10 c Learn all clauses as in MiniSAT 0.06/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.10 c Expensive reason simplification 0.06/0.10 c Armin Biere (Picosat) restarts strategy 0.06/0.10 c Glucose learned constraints deletion strategy 0.06/0.10 c timeout=2147483s 0.06/0.10 c DB Simplification allowed=false 0.06/0.10 c --- End Solver configuration --- 0.06/0.10 c solving HOME/instance-2691395-1277921797.wbo 0.06/0.10 c reading problem ... 0.32/0.28 c ... done. Wall clock time 0.186s. 0.32/0.28 c #vars 6965 0.32/0.28 c #constraints 165 0.32/0.28 c constraints type 0.32/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 0.32/0.28 c org.sat4j.minisat.constraints.card.MinWatchCard => 80 1.29/0.68 c SATISFIABLE 1.29/0.68 c OPTIMIZING... 1.29/0.68 c Got one! Elapsed wall clock time (in seconds):0.583 1.29/0.68 o 193 1.74/1.10 c Got one! Elapsed wall clock time (in seconds):1.003 1.74/1.10 o 185 2.87/1.90 c Got one! Elapsed wall clock time (in seconds):1.802 2.87/1.90 o 152 3.57/2.67 c Got one! Elapsed wall clock time (in seconds):2.578 3.57/2.67 o 150 3.78/2.84 c cleaning 2502 clauses out of 5004 with flag 5004/5004 4.61/3.60 c Got one! Elapsed wall clock time (in seconds):3.502 4.61/3.60 o 128 6.61/5.65 c Got one! Elapsed wall clock time (in seconds):5.55 6.61/5.65 o 116 7.78/6.73 c cleaning 4224 clauses out of 8498 with flag 11000/11000 8.52/7.47 c Got one! Elapsed wall clock time (in seconds):7.376 8.52/7.47 o 108 11.43/10.32 c Got one! Elapsed wall clock time (in seconds):10.223 11.43/10.32 o 100 14.13/13.04 c cleaning 5629 clauses out of 11275 with flag 18001/18001 17.16/16.03 c Got one! Elapsed wall clock time (in seconds):15.936 17.16/16.03 o 97 19.46/18.35 c cleaning 6776 clauses out of 13645 with flag 26000/26000 20.21/19.05 c Got one! Elapsed wall clock time (in seconds):18.958 20.21/19.05 o 86 24.46/23.25 c Got one! Elapsed wall clock time (in seconds):23.159 24.46/23.25 o 85 24.96/23.73 c cleaning 7929 clauses out of 15870 with flag 35001/35001 27.18/25.94 c Got one! Elapsed wall clock time (in seconds):25.841 27.18/25.94 o 78 31.48/30.23 c cleaning 8962 clauses out of 17940 with flag 45000/45000 39.13/37.81 c cleaning 9463 clauses out of 18979 with flag 55001/55001 39.47/38.11 c Got one! Elapsed wall clock time (in seconds):38.015 39.47/38.11 o 74 47.34/45.77 c cleaning 9730 clauses out of 19518 with flag 65003/65003 50.76/49.19 c Got one! Elapsed wall clock time (in seconds):49.095 50.76/49.19 o 56 56.57/54.96 c cleaning 9889 clauses out of 19785 with flag 75000/75000 63.19/61.54 c cleaning 9910 clauses out of 19897 with flag 85001/85001 70.60/68.98 c cleaning 9966 clauses out of 19986 with flag 95000/95000 80.32/78.62 c cleaning 9960 clauses out of 20020 with flag 105000/105000 97.64/95.93 c cleaning 9984 clauses out of 20063 with flag 115003/115003 100.18/98.46 c Got one! Elapsed wall clock time (in seconds):98.361 100.18/98.46 o 46 103.34/101.54 c Got one! Elapsed wall clock time (in seconds):101.447 103.34/101.54 o 37 105.84/104.05 c cleaning 10031 clauses out of 20080 with flag 125004/125004 114.77/112.98 c cleaning 9978 clauses out of 20046 with flag 135001/135001 122.82/120.95 c cleaning 10004 clauses out of 20072 with flag 145005/145005 132.53/130.62 c cleaning 9995 clauses out of 20064 with flag 155001/155001 146.06/144.17 c cleaning 9991 clauses out of 20069 with flag 165001/165001 159.19/157.24 c cleaning 10012 clauses out of 20078 with flag 175001/175001 161.92/159.97 c Got one! Elapsed wall clock time (in seconds):159.874 161.92/159.97 o 36 164.95/162.90 c cleaning 10022 clauses out of 20066 with flag 185001/185001 174.36/172.34 c cleaning 9982 clauses out of 20044 with flag 195001/195001 182.61/180.53 c cleaning 10008 clauses out of 20061 with flag 205000/205000 192.93/190.85 c cleaning 10021 clauses out of 20054 with flag 215001/215001 202.26/200.11 c cleaning 9987 clauses out of 20034 with flag 225002/225002 213.98/211.82 c cleaning 9991 clauses out of 20046 with flag 235001/235001 232.93/230.77 c cleaning 9996 clauses out of 20054 with flag 245000/245000 250.19/247.94 c cleaning 9982 clauses out of 20060 with flag 255002/255002 265.15/262.89 c cleaning 9994 clauses out of 20076 with flag 265000/265000 271.10/268.79 c Got one! Elapsed wall clock time (in seconds):268.694 271.10/268.79 o 30 272.01/269.63 c cleaning 10037 clauses out of 20084 with flag 275002/275002 278.03/275.66 c cleaning 10012 clauses out of 20046 with flag 285001/285001 287.45/285.04 c cleaning 9989 clauses out of 20033 with flag 295000/295000 298.68/296.21 c cleaning 9971 clauses out of 20044 with flag 305000/305000 312.62/310.13 c cleaning 9987 clauses out of 20074 with flag 315001/315001 321.63/319.19 c cleaning 10010 clauses out of 20087 with flag 325001/325001 331.56/329.07 c cleaning 10011 clauses out of 20077 with flag 335001/335001 342.57/340.04 c cleaning 10005 clauses out of 20067 with flag 345002/345002 352.89/350.40 c cleaning 10002 clauses out of 20060 with flag 355000/355000 369.52/366.98 c cleaning 10005 clauses out of 20063 with flag 365005/365005 391.95/389.40 c cleaning 10000 clauses out of 20055 with flag 375002/375002 415.10/412.47 c cleaning 9998 clauses out of 20054 with flag 385001/385001 431.05/428.35 c cleaning 9990 clauses out of 20056 with flag 395001/395001 437.61/434.80 c cleaning 10000 clauses out of 20065 with flag 405000/405000 447.03/444.24 c cleaning 10030 clauses out of 20067 with flag 415002/415002 457.85/455.02 c cleaning 9954 clauses out of 20036 with flag 425001/425001 470.58/467.77 c cleaning 10007 clauses out of 20082 with flag 435001/435001 480.62/477.76 c cleaning 10003 clauses out of 20075 with flag 445001/445001 491.04/488.10 c cleaning 10021 clauses out of 20072 with flag 455001/455001 504.37/501.42 c cleaning 10013 clauses out of 20052 with flag 465002/465002 515.91/513.00 c cleaning 10007 clauses out of 20038 with flag 475001/475001 523.85/520.84 c cleaning 9993 clauses out of 20031 with flag 485001/485001 531.99/528.96 c cleaning 10000 clauses out of 20039 with flag 495002/495002 539.10/536.09 c cleaning 9997 clauses out of 20037 with flag 505000/505000 547.53/544.50 c cleaning 9999 clauses out of 20040 with flag 515000/515000 559.06/555.99 c cleaning 10015 clauses out of 20042 with flag 525001/525001 571.10/567.94 c cleaning 10000 clauses out of 20027 with flag 535001/535001 584.06/580.83 c cleaning 9992 clauses out of 20027 with flag 545001/545001 601.79/598.52 c cleaning 9997 clauses out of 20034 with flag 555000/555000 619.66/616.35 c cleaning 10002 clauses out of 20039 with flag 565002/565002 638.81/635.48 c cleaning 10006 clauses out of 20040 with flag 575005/575005 659.26/655.89 c cleaning 9993 clauses out of 20031 with flag 585002/585002 669.53/666.07 c Got one! Elapsed wall clock time (in seconds):665.97 669.53/666.07 o 29 671.73/668.22 c cleaning 10005 clauses out of 20038 with flag 595002/595002 678.58/675.05 c cleaning 9982 clauses out of 20032 with flag 605001/605001 686.72/683.13 c cleaning 9999 clauses out of 20050 with flag 615001/615001 699.23/695.62 c cleaning 10000 clauses out of 20050 with flag 625000/625000 711.18/707.58 c cleaning 9982 clauses out of 20052 with flag 635002/635002 724.62/720.99 c cleaning 9999 clauses out of 20069 with flag 645001/645001 733.05/729.34 c cleaning 10009 clauses out of 20069 with flag 655000/655000 739.18/735.48 c cleaning 10008 clauses out of 20060 with flag 665000/665000 749.19/745.42 c cleaning 9998 clauses out of 20052 with flag 675000/675000 759.32/755.59 c cleaning 9944 clauses out of 20054 with flag 685000/685000 770.25/766.46 c cleaning 9950 clauses out of 20110 with flag 695000/695000 787.10/783.29 c cleaning 9968 clauses out of 20161 with flag 705001/705001 798.53/794.66 c cleaning 9997 clauses out of 20193 with flag 715001/715001 807.06/803.10 c cleaning 10069 clauses out of 20195 with flag 725000/725000 821.49/817.56 c cleaning 10036 clauses out of 20126 with flag 735000/735000 838.33/834.38 c cleaning 10003 clauses out of 20092 with flag 745002/745002 857.69/853.66 c cleaning 10012 clauses out of 20093 with flag 755006/755006 886.62/882.51 c cleaning 10000 clauses out of 20077 with flag 765002/765002 913.67/909.51 c cleaning 9993 clauses out of 20078 with flag 775003/775003 933.82/929.70 c cleaning 9990 clauses out of 20082 with flag 785000/785000 947.28/943.08 c cleaning 10007 clauses out of 20093 with flag 795001/795001 961.93/957.65 c cleaning 10002 clauses out of 20087 with flag 805002/805002 978.37/974.07 c cleaning 10005 clauses out of 20085 with flag 815002/815002 992.61/988.27 c cleaning 10002 clauses out of 20078 with flag 825000/825000 1009.85/1005.42 c cleaning 10003 clauses out of 20078 with flag 835002/835002 1024.88/1020.46 c cleaning 10007 clauses out of 20079 with flag 845006/845006 1040.31/1035.81 c cleaning 9995 clauses out of 20069 with flag 855003/855003 1057.35/1052.85 c cleaning 10001 clauses out of 20071 with flag 865000/865000 1073.68/1069.16 c cleaning 10002 clauses out of 20071 with flag 875001/875001 1087.81/1083.28 c cleaning 9996 clauses out of 20068 with flag 885000/885000 1094.24/1089.60 c cleaning 9992 clauses out of 20073 with flag 895001/895001 1100.78/1096.16 c cleaning 9994 clauses out of 20081 with flag 905001/905001 1111.10/1106.46 c cleaning 9998 clauses out of 20088 with flag 915002/915002 1125.53/1120.84 c cleaning 9997 clauses out of 20088 with flag 925000/925000 1145.16/1140.45 c cleaning 9963 clauses out of 20095 with flag 935004/935004 1166.50/1161.75 c cleaning 10022 clauses out of 20128 with flag 945000/945000 1180.34/1175.57 c cleaning 10010 clauses out of 20106 with flag 955000/955000 1192.29/1187.49 c cleaning 9923 clauses out of 20099 with flag 965003/965003 1210.83/1205.96 c cleaning 10020 clauses out of 20177 with flag 975004/975004 1222.89/1217.97 c cleaning 10008 clauses out of 20157 with flag 985004/985004 1236.31/1231.31 c cleaning 10000 clauses out of 20145 with flag 995000/995000 1250.73/1245.75 c cleaning 10001 clauses out of 20147 with flag 1005002/1005002 1267.24/1262.20 c cleaning 9993 clauses out of 20144 with flag 1015000/1015000 1278.06/1273.04 c cleaning 10062 clauses out of 20151 with flag 1025000/1025000 1289.29/1284.28 c cleaning 10029 clauses out of 20089 with flag 1035000/1035000 1301.21/1296.16 c cleaning 10014 clauses out of 20061 with flag 1045001/1045001 1312.43/1307.39 c cleaning 9999 clauses out of 20048 with flag 1055002/1055002 1325.07/1319.95 c cleaning 10005 clauses out of 20047 with flag 1065000/1065000 1335.09/1329.96 c cleaning 10001 clauses out of 20044 with flag 1075002/1075002 1344.11/1338.97 c cleaning 10006 clauses out of 20042 with flag 1085001/1085001 1351.73/1346.56 c cleaning 10000 clauses out of 20040 with flag 1095005/1095005 1359.57/1354.36 c cleaning 10004 clauses out of 20035 with flag 1105000/1105000 1372.80/1367.53 c cleaning 10002 clauses out of 20035 with flag 1115004/1115004 1386.04/1380.71 c cleaning 9998 clauses out of 20029 with flag 1125000/1125000 1394.87/1389.56 c cleaning 9985 clauses out of 20036 with flag 1135005/1135005 1408.28/1402.95 c cleaning 10010 clauses out of 20047 with flag 1145001/1145001 1418.71/1413.30 c cleaning 10008 clauses out of 20039 with flag 1155003/1155003 1429.45/1424.01 c cleaning 10002 clauses out of 20030 with flag 1165002/1165002 1440.87/1435.45 c cleaning 9996 clauses out of 20026 with flag 1175000/1175000 1449.70/1444.27 c cleaning 9947 clauses out of 20030 with flag 1185000/1185000 1471.83/1466.37 c cleaning 10014 clauses out of 20085 with flag 1195002/1195002 1496.89/1491.34 c cleaning 9993 clauses out of 20070 with flag 1205001/1205001 1521.77/1516.12 c cleaning 9996 clauses out of 20076 with flag 1215000/1215000 1543.13/1537.43 c cleaning 9954 clauses out of 20081 with flag 1225001/1225001 1572.98/1567.27 c cleaning 10006 clauses out of 20126 with flag 1235000/1235000 1592.75/1586.95 c cleaning 9998 clauses out of 20124 with flag 1245004/1245004 1617.31/1611.42 c cleaning 9978 clauses out of 20124 with flag 1255002/1255002 1649.46/1643.53 c cleaning 10032 clauses out of 20145 with flag 1265001/1265001 1672.32/1666.34 c cleaning 10007 clauses out of 20113 with flag 1275001/1275001 1693.64/1687.64 c cleaning 9954 clauses out of 20107 with flag 1285002/1285002 1723.39/1717.33 c cleaning 10037 clauses out of 20151 with flag 1295000/1295000 1743.96/1737.80 c cleaning 10020 clauses out of 20115 with flag 1305001/1305001 1777.51/1771.37 c cleaning 10001 clauses out of 20094 with flag 1315000/1315000 1800.10/1793.81 c starts : 209 1800.10/1793.81 c conflicts : 1324295 1800.10/1793.81 c decisions : 2818992 1800.10/1793.81 c propagations : 75193797 1800.10/1793.81 c inspects : 1617932677 1800.10/1793.81 c learnt literals : 0 1800.10/1793.81 c learnt binary clauses : 0 1800.10/1793.81 c learnt ternary clauses : 0 1800.10/1793.81 c learnt clauses : 1324295 1800.10/1793.81 c ignored clauses : 0 1800.10/1793.81 c root simplifications : 0 1800.10/1793.81 c removed literals (reason simplification) : 5887185 1800.10/1793.81 c reason swapping (by a shorter reason) : 0 1800.10/1793.81 c Calls to reduceDB : 133 1800.10/1793.81 c number of reductions to clauses (during analyze) : 0 1800.10/1793.81 c number of learned constraints concerned by reduction : 0 1800.10/1793.81 c number of learning phase by resolution : 0 1800.10/1793.81 c number of learning phase by cutting planes : 0 1800.10/1793.81 c speed (assignments/second) : 66676.28054214384 1800.10/1793.81 c non guided choices 362542 1800.10/1793.82 c learnt constraints type 1800.10/1793.82 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19390 1800.10/1793.82 c constraints type 1800.10/1793.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 1800.10/1793.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 80 1800.10/1793.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.10/1793.82 s SATISFIABLE 1800.10/1793.83 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 1800.10/1793.84 c objective function=29 1800.10/1793.84 c Total wall clock time (in seconds): 1793.745
OK 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691395-1277921797/watcher-2691395-1277921797 -o /tmp/evaluation-result-2691395-1277921797/solver-2691395-1277921797 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691395-1277921797.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.99 3/182 14848 /proc/meminfo: memFree=29474032/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=13436 CPUtime=0 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 1070 0 0 0 0 0 0 0 17 0 2 0 133475351 13758464 553 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 3372 559 249 10 0 1202 0 [pid=14848/tid=14849] ppid=14846 vsize=13472 CPUtime=0 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 133475352 13795328 567 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 5 0 0 0 [startup+0.0728451 s] /proc/loadavg: 1.93 1.99 1.99 3/182 14848 /proc/meminfo: memFree=29474032/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1528572 CPUtime=0.06 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 4302 0 1 0 5 1 0 0 17 0 18 0 133475351 1565257728 3742 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 382143 3744 1091 10 0 379445 0 [pid=14848/tid=14849] ppid=14846 vsize=1528572 CPUtime=0.05 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 3218 0 1 0 5 0 0 0 18 0 18 0 133475352 1565257728 3745 4089446400 134512640 134550932 4287982256 18446744073709551615 10278755 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1528572 [startup+0.100802 s] /proc/loadavg: 1.93 1.99 1.99 3/182 14848 /proc/meminfo: memFree=29474032/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1529888 CPUtime=0.11 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 5209 0 1 0 10 1 0 0 17 0 18 0 133475351 1566605312 4647 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 382472 4647 1348 10 0 379774 0 [pid=14848/tid=14849] ppid=14846 vsize=1529888 CPUtime=0.08 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 3545 0 1 0 8 0 0 0 18 0 18 0 133475352 1566605312 4647 4089446400 134512640 134550932 4287982256 18446744073709551615 4108817056 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529888 [startup+0.300803 s] /proc/loadavg: 1.93 1.99 1.99 3/182 14848 /proc/meminfo: memFree=29474032/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1533568 CPUtime=0.61 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 9661 0 1 0 60 1 0 0 17 0 18 0 133475351 1570373632 8985 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 383392 8985 1410 10 0 380694 0 [pid=14848/tid=14849] ppid=14846 vsize=1533568 CPUtime=0.28 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 6843 0 1 0 27 1 0 0 18 0 18 0 133475352 1570373632 8985 4089446400 134512640 134550932 4287982256 18446744073709551615 4108851161 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 1533568 [startup+0.700716 s] /proc/loadavg: 1.93 1.99 1.99 3/182 14848 /proc/meminfo: memFree=29474032/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1535748 CPUtime=1.43 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 11068 0 1 0 142 1 0 0 17 0 19 0 133475351 1572605952 10161 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 383937 10162 1426 10 0 381239 0 [pid=14848/tid=14849] ppid=14846 vsize=1535748 CPUtime=0.68 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 7516 0 1 0 67 1 0 0 18 0 19 0 133475352 1572605952 10162 4089446400 134512640 134550932 4287982256 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 1535748 [startup+1.50058 s] /proc/loadavg: 1.93 1.99 1.99 3/201 14867 /proc/meminfo: memFree=29435140/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1535584 CPUtime=2.46 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 13752 0 1 0 244 2 0 0 17 0 19 0 133475351 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 383896 11838 1426 10 0 381198 0 [pid=14848/tid=14849] ppid=14846 vsize=1535584 CPUtime=1.48 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 9176 0 1 0 147 1 0 0 18 0 19 0 133475352 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4109402513 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475354 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 133475354 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 19 0 133475354 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1535584 CPUtime=0.51 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 1743 0 0 0 51 0 0 0 16 0 19 0 133475356 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1535584 CPUtime=0.44 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 1759 0 0 0 44 0 0 0 16 0 19 0 133475356 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133475356 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1572438016 11838 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 1535584 [startup+3.10128 s] /proc/loadavg: 1.93 1.99 1.99 3/201 14867 /proc/meminfo: memFree=29422988/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1535584 CPUtime=4.11 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 20571 0 1 0 408 3 0 0 17 0 19 0 133475351 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 383896 18627 1440 10 0 381198 0 [pid=14848/tid=14849] ppid=14846 vsize=1535584 CPUtime=3.06 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 11650 0 1 0 305 1 0 0 20 0 19 0 133475352 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4109403193 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 592 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 679 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 404 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 278 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1535584 CPUtime=0.01 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 2087 0 0 0 1 0 0 0 17 0 19 0 133475354 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1535584 CPUtime=0.54 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 1746 0 0 0 54 0 0 0 16 0 19 0 133475356 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1535584 CPUtime=0.46 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 1762 0 0 0 46 0 0 0 15 0 19 0 133475356 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133475356 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1572438016 18627 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.11 Current children cumulated vsize (KiB) 1535584 [startup+6.30069 s] /proc/loadavg: 1.93 1.99 1.99 3/201 14867 /proc/meminfo: memFree=29398116/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1535584 CPUtime=7.38 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 20604 0 1 0 735 3 0 0 17 0 19 0 133475351 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 383896 18652 1442 10 0 381198 0 [pid=14848/tid=14849] ppid=14846 vsize=1535584 CPUtime=6.26 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 11670 0 1 0 625 1 0 0 25 0 19 0 133475352 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4109387488 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 592 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 679 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 404 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 278 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 133475353 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1535584 CPUtime=0.01 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 2087 0 0 0 1 0 0 0 15 0 19 0 133475354 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1535584 CPUtime=0.57 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 1752 0 0 0 57 0 0 0 15 0 19 0 133475356 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1535584 CPUtime=0.5 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 1769 0 0 0 50 0 0 0 15 0 19 0 133475356 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133475356 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1535584 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1572438016 18652 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.38 Current children cumulated vsize (KiB) 1535584 ################ # More data... # ################ [pid=14848/tid=14856] ppid=14846 vsize=1538108 CPUtime=0.66 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 5323 0 0 0 63 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1538108 CPUtime=0.59 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 4393 0 0 0 55 4 0 0 15 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1538108 CPUtime=0.69 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 7840 0 0 0 66 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1538108 CPUtime=4.72 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 4786 0 0 0 469 3 0 0 15 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 2328 0 0 0 63 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1538108 CPUtime=0.9 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 5355 0 0 0 90 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1668.32 Current children cumulated vsize (KiB) 1538108 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15044 /proc/meminfo: memFree=27898620/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1538108 CPUtime=1728.46 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 91532 0 1 0 172803 43 0 0 17 0 19 0 133475351 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 384527 80706 1445 10 0 381829 0 [pid=14848/tid=14849] ppid=14846 vsize=1538108 CPUtime=1716.45 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 28640 0 1 0 171639 6 0 0 25 0 19 0 133475352 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4109402451 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1538108 CPUtime=0.67 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 5730 0 0 0 65 2 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1538108 CPUtime=0.73 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 5843 0 0 0 69 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1538108 CPUtime=0.73 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 7063 0 0 0 69 4 0 0 15 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1538108 CPUtime=0.65 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 7431 0 0 0 61 4 0 0 15 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1538108 CPUtime=0.74 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 5629 0 0 0 70 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1538108 CPUtime=0.67 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 5323 0 0 0 64 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1538108 CPUtime=0.61 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 4393 0 0 0 57 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1538108 CPUtime=0.71 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 7840 0 0 0 68 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1538108 CPUtime=4.84 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 4790 0 0 0 481 3 0 0 15 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 2328 0 0 0 63 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1538108 CPUtime=0.9 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 5355 0 0 0 90 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1728.46 Current children cumulated vsize (KiB) 1538108 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/201 15045 /proc/meminfo: memFree=27872788/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1538108 CPUtime=1788.6 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 91540 0 1 0 178817 43 0 0 17 0 19 0 133475351 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 384527 80706 1445 10 0 381829 0 [pid=14848/tid=14849] ppid=14846 vsize=1538108 CPUtime=1776.33 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 28642 0 1 0 177627 6 0 0 25 0 19 0 133475352 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4109383190 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1538108 CPUtime=0.7 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 5730 0 0 0 68 2 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1538108 CPUtime=0.75 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 5843 0 0 0 71 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1538108 CPUtime=0.75 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 7063 0 0 0 71 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1538108 CPUtime=0.65 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 7431 0 0 0 61 4 0 0 15 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1538108 CPUtime=0.76 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 5629 0 0 0 72 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1538108 CPUtime=0.7 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 5323 0 0 0 67 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 4393 0 0 0 59 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1538108 CPUtime=0.74 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 7840 0 0 0 71 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1538108 CPUtime=4.94 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 4794 0 0 0 491 3 0 0 15 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 2328 0 0 0 63 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1538108 CPUtime=0.9 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 5355 0 0 0 90 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (KiB) 1538108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.8 s] /proc/loadavg: 2.06 2.01 2.00 3/201 15046 /proc/meminfo: memFree=27872656/32951124 swapFree=67111528/67111528 [pid=14848] ppid=14846 vsize=1538108 CPUtime=1800.1 /proc/14848/stat : 14848 (java) S 14846 14848 13894 0 -1 4202496 91542 0 1 0 179967 43 0 0 17 0 19 0 133475351 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/14848/statm: 384527 80706 1445 10 0 381829 0 [pid=14848/tid=14849] ppid=14846 vsize=1538108 CPUtime=1787.84 /proc/14848/task/14849/stat : 14849 (java) R 14846 14848 13894 0 -1 4202560 28642 0 1 0 178778 6 0 0 25 0 19 0 133475352 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4109363759 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14848/tid=14851] ppid=14846 vsize=1538108 CPUtime=0.7 /proc/14848/task/14851/stat : 14851 (java) S 14846 14848 13894 0 -1 4202560 5730 0 0 0 68 2 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14852] ppid=14846 vsize=1538108 CPUtime=0.75 /proc/14848/task/14852/stat : 14852 (java) S 14846 14848 13894 0 -1 4202560 5843 0 0 0 71 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14853] ppid=14846 vsize=1538108 CPUtime=0.75 /proc/14848/task/14853/stat : 14853 (java) S 14846 14848 13894 0 -1 4202560 7063 0 0 0 71 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14854] ppid=14846 vsize=1538108 CPUtime=0.65 /proc/14848/task/14854/stat : 14854 (java) S 14846 14848 13894 0 -1 4202560 7431 0 0 0 61 4 0 0 15 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14855] ppid=14846 vsize=1538108 CPUtime=0.76 /proc/14848/task/14855/stat : 14855 (java) S 14846 14848 13894 0 -1 4202560 5629 0 0 0 72 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14856] ppid=14846 vsize=1538108 CPUtime=0.7 /proc/14848/task/14856/stat : 14856 (java) S 14846 14848 13894 0 -1 4202560 5323 0 0 0 67 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 2 0 0 0 [pid=14848/tid=14857] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14857/stat : 14857 (java) S 14846 14848 13894 0 -1 4202560 4393 0 0 0 59 4 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 5 0 0 0 [pid=14848/tid=14858] ppid=14846 vsize=1538108 CPUtime=0.74 /proc/14848/task/14858/stat : 14858 (java) S 14846 14848 13894 0 -1 4202560 7840 0 0 0 71 3 0 0 16 0 19 0 133475353 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14859] ppid=14846 vsize=1538108 CPUtime=4.94 /proc/14848/task/14859/stat : 14859 (java) S 14846 14848 13894 0 -1 4202560 4794 0 0 0 491 3 0 0 15 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 0 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14860] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14860/stat : 14860 (java) S 14846 14848 13894 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 1 0 0 0 [pid=14848/tid=14861] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14861/stat : 14861 (java) S 14846 14848 13894 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 133475354 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 3 0 0 0 [pid=14848/tid=14862] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14862/stat : 14862 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14863] ppid=14846 vsize=1538108 CPUtime=0.63 /proc/14848/task/14863/stat : 14863 (java) S 14846 14848 13894 0 -1 4202560 2328 0 0 0 63 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 4 0 0 0 [pid=14848/tid=14864] ppid=14846 vsize=1538108 CPUtime=0.9 /proc/14848/task/14864/stat : 14864 (java) S 14846 14848 13894 0 -1 4202560 5355 0 0 0 90 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 7 0 0 0 [pid=14848/tid=14865] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14865/stat : 14865 (java) S 14846 14848 13894 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 6 0 0 0 [pid=14848/tid=14866] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14866/stat : 14866 (java) S 14846 14848 13894 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 133475356 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 [pid=14848/tid=14867] ppid=14846 vsize=1538108 CPUtime=0 /proc/14848/task/14867/stat : 14867 (java) S 14846 14848 13894 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 133475382 1575022592 80706 4089446400 134512640 134550932 4287982256 18446744073709551615 4294960144 0 4 0 16800975 18446604468153397696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1538108 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1793.88 CPU time (s): 1800.26 CPU user time (s): 1799.8 CPU system time (s): 0.452931 CPU usage (%): 100.355 Max. virtual memory (cumulated for all children) (KiB): 1544560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.452931 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91611 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= 40533 involuntary context switches= 52642 runsolver used 2.96255 second user time and 6.84496 second system time The end
Begin job on node135 at 2010-06-30 20:16:37 IDJOB=2691395 IDBENCH=79176 IDSOLVER=1202 FILE ID=node135/2691395-1277921797 PBS_JOBID= 11197333 Free space on /tmp= 74136 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691395-1277921797/watcher-2691395-1277921797 -o /tmp/evaluation-result-2691395-1277921797/solver-2691395-1277921797 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691395-1277921797.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6 RANDOM SEED=1269191984 node135.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.857 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.71 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.857 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 : 5332.75 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.857 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.857 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 : 7186.14 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.857 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.857 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.75 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.857 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.857 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: 32951124 kB MemFree: 29474684 kB Buffers: 200368 kB Cached: 1104824 kB SwapCached: 0 kB Active: 2496008 kB Inactive: 831776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29474684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 408 kB Writeback: 0 kB AnonPages: 2022696 kB Mapped: 15096 kB Slab: 81624 kB PageTables: 8316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2171180 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node135 at 2010-06-30 20:46:33