Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 7910759 | 1800.2 | 1798.47 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb |
| MD5SUM | 291088d217a1998c91be99350439e903 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5428231 |
| Best CPU time to get the best result obtained on this benchmark | 1800.44 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5965824 |
| Optimality of the best value was proved | NO |
| Number of variables | 7812 |
| Total number of constraints | 285 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 285 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 630 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1543007621731 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1543007621731 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 12995394264 0.04/0.09 c Max memory 13063553024 0.04/0.09 c Total memory 13063553024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3458954-1307149278.opb 0.11/0.11 c reading problem ... 0.56/0.37 c ... done. Wall clock time 0.263s. 0.56/0.37 c #vars 7812 0.56/0.37 c #constraints 4432 0.56/0.37 c constraints type 0.56/0.37 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 318 1.92/1.22 c SATISFIABLE 1.92/1.22 c OPTIMIZING... 1.92/1.22 c Got one! Elapsed wall clock time (in seconds):1.113 1.92/1.22 o 13330655 2.52/1.76 c Got one! Elapsed wall clock time (in seconds):1.652 2.52/1.76 o 11150160 8.27/7.42 c cleaning 3249 clauses out of 6502 with flag 5000/6502 8.70/7.80 c Got one! Elapsed wall clock time (in seconds):7.693 8.70/7.80 o 11018247 10.71/9.82 c Got one! Elapsed wall clock time (in seconds):9.708 10.71/9.82 o 10201663 14.03/13.14 c cleaning 4445 clauses out of 8901 with flag 3001/12150 17.13/16.22 c Got one! Elapsed wall clock time (in seconds):16.116 17.13/16.22 o 10158175 18.34/17.50 c Got one! Elapsed wall clock time (in seconds):17.394 18.34/17.50 o 9666898 20.34/19.48 c cleaning 5194 clauses out of 10406 with flag 2000/18100 21.64/20.74 c Got one! Elapsed wall clock time (in seconds):20.631 21.64/20.74 o 7910759 24.94/24.09 c cleaning 5142 clauses out of 10294 with flag 4000/23182 31.41/30.43 c cleaning 5559 clauses out of 11152 with flag 10000/29182 39.42/38.46 c cleaning 6280 clauses out of 12593 with flag 17000/36182 47.31/46.34 c cleaning 7149 clauses out of 14315 with flag 25002/44184 56.91/55.97 c cleaning 8067 clauses out of 16164 with flag 34000/53182 67.11/66.13 c cleaning 9038 clauses out of 18097 with flag 44000/63182 76.83/75.82 c cleaning 9519 clauses out of 19059 with flag 54000/73182 86.73/85.71 c cleaning 9753 clauses out of 19542 with flag 64002/83184 99.93/98.96 c cleaning 9885 clauses out of 19788 with flag 74001/93183 108.92/107.92 c cleaning 9937 clauses out of 19902 with flag 84000/103182 121.73/120.76 c cleaning 9960 clauses out of 19965 with flag 94000/113182 132.63/131.63 c cleaning 9996 clauses out of 20005 with flag 104000/123182 144.23/143.27 c cleaning 9978 clauses out of 20009 with flag 114000/133182 153.85/152.87 c cleaning 10000 clauses out of 20031 with flag 124000/143182 165.55/164.55 c cleaning 9995 clauses out of 20032 with flag 134001/153183 175.65/174.64 c cleaning 9991 clauses out of 20036 with flag 144000/163182 186.46/185.48 c cleaning 10019 clauses out of 20045 with flag 154000/173182 196.77/195.81 c cleaning 9996 clauses out of 20026 with flag 164000/183182 206.67/205.62 c cleaning 9995 clauses out of 20030 with flag 174000/193182 214.06/213.01 c cleaning 10004 clauses out of 20035 with flag 184000/203182 222.87/221.83 c cleaning 10000 clauses out of 20031 with flag 194000/213182 235.67/234.63 c cleaning 10000 clauses out of 20032 with flag 204001/223183 246.77/245.73 c cleaning 9985 clauses out of 20032 with flag 214001/233183 259.38/258.39 c cleaning 9988 clauses out of 20046 with flag 224000/243182 273.89/272.85 c cleaning 10004 clauses out of 20059 with flag 234001/253183 288.20/287.18 c cleaning 10018 clauses out of 20054 with flag 244000/263182 301.40/300.38 c cleaning 10009 clauses out of 20036 with flag 254000/273182 315.60/314.56 c cleaning 9984 clauses out of 20027 with flag 264000/283182 331.29/330.21 c cleaning 10001 clauses out of 20044 with flag 274001/293183 345.90/344.82 c cleaning 9992 clauses out of 20042 with flag 284000/303182 358.70/357.66 c cleaning 9979 clauses out of 20051 with flag 294001/313183 370.31/369.21 c cleaning 10013 clauses out of 20072 with flag 304001/323183 381.51/380.41 c cleaning 10013 clauses out of 20060 with flag 314002/333184 390.01/388.96 c cleaning 9995 clauses out of 20046 with flag 324001/343183 402.01/400.99 c cleaning 9989 clauses out of 20050 with flag 334000/353182 413.72/412.69 c cleaning 10006 clauses out of 20062 with flag 344001/363183 425.63/424.51 c cleaning 10005 clauses out of 20056 with flag 354001/373183 437.33/436.21 c cleaning 10003 clauses out of 20051 with flag 364001/383183 448.84/447.78 c cleaning 10012 clauses out of 20047 with flag 374000/393182 462.13/461.08 c cleaning 10011 clauses out of 20035 with flag 384000/403182 469.54/468.43 c cleaning 10004 clauses out of 20024 with flag 394000/413182 476.05/474.98 c cleaning 9995 clauses out of 20020 with flag 404000/423182 484.16/483.05 c cleaning 9989 clauses out of 20027 with flag 414002/433184 492.77/491.69 c cleaning 9985 clauses out of 20037 with flag 424001/443183 503.26/502.19 c cleaning 9999 clauses out of 20053 with flag 434002/453184 517.08/515.94 c cleaning 9984 clauses out of 20052 with flag 444000/463182 530.37/529.25 c cleaning 9992 clauses out of 20068 with flag 454000/473182 542.28/541.19 c cleaning 10010 clauses out of 20078 with flag 464002/483184 554.58/553.43 c cleaning 10005 clauses out of 20067 with flag 474001/493183 565.58/564.49 c cleaning 10011 clauses out of 20062 with flag 484001/503183 576.19/575.01 c cleaning 9998 clauses out of 20050 with flag 494000/513182 586.69/585.51 c cleaning 10011 clauses out of 20052 with flag 504000/523182 598.41/597.26 c cleaning 9999 clauses out of 20041 with flag 514000/533182 610.41/609.26 c cleaning 9994 clauses out of 20044 with flag 524002/543184 623.82/622.69 c cleaning 9983 clauses out of 20048 with flag 534000/553182 636.21/635.00 c cleaning 10002 clauses out of 20065 with flag 544000/563182 648.12/646.90 c cleaning 9999 clauses out of 20063 with flag 554000/573182 656.62/655.50 c cleaning 9995 clauses out of 20064 with flag 564000/583182 668.02/666.87 c cleaning 10010 clauses out of 20070 with flag 574001/593183 680.73/679.53 c cleaning 9994 clauses out of 20060 with flag 584001/603183 689.43/688.21 c cleaning 10003 clauses out of 20066 with flag 594001/613183 703.45/702.27 c cleaning 9997 clauses out of 20063 with flag 604001/623183 717.27/716.08 c cleaning 10009 clauses out of 20065 with flag 614000/633182 731.17/729.99 c cleaning 9989 clauses out of 20056 with flag 624000/643182 746.67/745.45 c cleaning 10017 clauses out of 20068 with flag 634001/653183 761.88/760.64 c cleaning 9998 clauses out of 20052 with flag 644002/663184 777.68/776.40 c cleaning 10012 clauses out of 20053 with flag 654001/673183 789.78/788.51 c cleaning 9997 clauses out of 20040 with flag 664000/683182 800.69/799.47 c cleaning 9980 clauses out of 20043 with flag 674000/693182 809.59/808.38 c cleaning 10000 clauses out of 20063 with flag 684000/703182 818.40/817.19 c cleaning 10006 clauses out of 20063 with flag 694000/713182 829.10/827.81 c cleaning 10015 clauses out of 20057 with flag 704000/723182 839.71/838.44 c cleaning 10006 clauses out of 20046 with flag 714004/733186 853.01/851.77 c cleaning 9967 clauses out of 20036 with flag 724000/743182 865.02/863.77 c cleaning 9993 clauses out of 20069 with flag 734000/753182 877.62/876.39 c cleaning 10001 clauses out of 20077 with flag 744001/763183 893.44/892.15 c cleaning 9988 clauses out of 20076 with flag 754001/773183 907.34/906.04 c cleaning 9993 clauses out of 20087 with flag 764000/783182 921.04/919.80 c cleaning 10027 clauses out of 20094 with flag 774000/793182 935.65/934.34 c cleaning 10015 clauses out of 20067 with flag 784000/803182 947.26/945.99 c cleaning 10002 clauses out of 20052 with flag 794000/813182 955.35/954.01 c cleaning 9994 clauses out of 20050 with flag 804000/823182 963.56/962.20 c cleaning 9988 clauses out of 20057 with flag 814001/833183 971.47/970.17 c cleaning 10000 clauses out of 20069 with flag 824001/843183 978.56/977.25 c cleaning 9999 clauses out of 20068 with flag 834000/853182 985.78/984.44 c cleaning 10000 clauses out of 20069 with flag 844000/863182 992.97/991.62 c cleaning 9996 clauses out of 20069 with flag 854000/873182 999.97/998.60 c cleaning 9997 clauses out of 20073 with flag 864000/883182 1012.18/1010.84 c cleaning 10022 clauses out of 20076 with flag 874000/893182 1022.68/1021.39 c cleaning 10013 clauses out of 20056 with flag 884002/903184 1032.49/1031.14 c cleaning 10004 clauses out of 20043 with flag 894002/913184 1041.49/1040.17 c cleaning 9998 clauses out of 20037 with flag 904000/923182 1054.10/1052.73 c cleaning 9991 clauses out of 20040 with flag 914001/933183 1065.79/1064.40 c cleaning 10005 clauses out of 20049 with flag 924001/943183 1076.70/1075.30 c cleaning 10003 clauses out of 20044 with flag 934001/953183 1087.71/1086.34 c cleaning 9988 clauses out of 20040 with flag 944000/963182 1098.42/1097.04 c cleaning 10006 clauses out of 20052 with flag 954000/973182 1107.32/1105.98 c cleaning 9993 clauses out of 20046 with flag 964000/983182 1114.63/1113.27 c cleaning 9989 clauses out of 20053 with flag 974000/993182 1122.34/1120.94 c cleaning 10004 clauses out of 20065 with flag 984001/1003183 1129.53/1128.11 c cleaning 9993 clauses out of 20060 with flag 994000/1013182 1139.33/1137.92 c cleaning 10011 clauses out of 20067 with flag 1004000/1023182 1148.34/1146.98 c cleaning 9979 clauses out of 20056 with flag 1014000/1033182 1156.54/1155.17 c cleaning 9985 clauses out of 20078 with flag 1024001/1043183 1164.95/1163.53 c cleaning 10003 clauses out of 20093 with flag 1034001/1053183 1173.45/1172.03 c cleaning 9991 clauses out of 20090 with flag 1044001/1063183 1181.15/1179.71 c cleaning 9994 clauses out of 20098 with flag 1054000/1073182 1190.06/1188.60 c cleaning 10027 clauses out of 20104 with flag 1064000/1083182 1201.48/1200.05 c cleaning 10016 clauses out of 20078 with flag 1074001/1093183 1211.07/1209.64 c cleaning 10012 clauses out of 20061 with flag 1084000/1103182 1226.67/1225.28 c cleaning 10004 clauses out of 20051 with flag 1094002/1113184 1248.17/1246.76 c cleaning 9996 clauses out of 20046 with flag 1104001/1123183 1280.18/1278.78 c cleaning 9983 clauses out of 20050 with flag 1114001/1133183 1309.58/1308.18 c cleaning 9986 clauses out of 20066 with flag 1124000/1143182 1342.19/1340.77 c cleaning 10004 clauses out of 20081 with flag 1134001/1153183 1375.59/1374.12 c cleaning 10009 clauses out of 20077 with flag 1144001/1163183 1407.01/1405.60 c cleaning 9982 clauses out of 20067 with flag 1154000/1173182 1429.42/1427.99 c cleaning 10029 clauses out of 20085 with flag 1164000/1183182 1439.03/1437.56 c cleaning 10016 clauses out of 20056 with flag 1174000/1193182 1450.33/1448.88 c cleaning 9997 clauses out of 20040 with flag 1184000/1203182 1462.94/1461.43 c cleaning 10005 clauses out of 20043 with flag 1194000/1213182 1474.84/1473.32 c cleaning 9994 clauses out of 20038 with flag 1204000/1223182 1487.24/1485.70 c cleaning 10003 clauses out of 20044 with flag 1214000/1233182 1499.55/1498.04 c cleaning 9998 clauses out of 20041 with flag 1224000/1243182 1511.95/1510.43 c cleaning 9999 clauses out of 20043 with flag 1234000/1253182 1525.26/1523.71 c cleaning 10003 clauses out of 20045 with flag 1244001/1263183 1536.76/1535.23 c cleaning 10001 clauses out of 20041 with flag 1254000/1273182 1547.07/1545.58 c cleaning 10002 clauses out of 20040 with flag 1264000/1283182 1557.57/1556.01 c cleaning 10006 clauses out of 20040 with flag 1274002/1293184 1570.37/1568.84 c cleaning 9988 clauses out of 20032 with flag 1284000/1303182 1582.97/1581.49 c cleaning 10009 clauses out of 20045 with flag 1294001/1313183 1595.28/1593.80 c cleaning 9999 clauses out of 20038 with flag 1304003/1323185 1606.49/1604.93 c cleaning 10003 clauses out of 20037 with flag 1314001/1333183 1618.18/1616.67 c cleaning 9998 clauses out of 20033 with flag 1324000/1343182 1629.39/1627.83 c cleaning 10009 clauses out of 20035 with flag 1334000/1353182 1642.80/1641.22 c cleaning 9988 clauses out of 20027 with flag 1344001/1363183 1655.80/1654.27 c cleaning 9994 clauses out of 20038 with flag 1354000/1373182 1665.41/1663.85 c cleaning 9991 clauses out of 20044 with flag 1364000/1383182 1674.00/1672.44 c cleaning 10003 clauses out of 20053 with flag 1374000/1393182 1683.21/1681.70 c cleaning 9999 clauses out of 20051 with flag 1384001/1403183 1692.71/1691.13 c cleaning 9998 clauses out of 20052 with flag 1394001/1413183 1703.92/1702.38 c cleaning 10005 clauses out of 20054 with flag 1404001/1423183 1714.03/1712.40 c cleaning 9989 clauses out of 20049 with flag 1414001/1433183 1725.53/1723.97 c cleaning 9998 clauses out of 20061 with flag 1424002/1443184 1734.04/1732.49 c cleaning 10007 clauses out of 20062 with flag 1434001/1453183 1745.15/1743.57 c cleaning 10007 clauses out of 20054 with flag 1444000/1463182 1756.94/1755.35 c cleaning 10008 clauses out of 20048 with flag 1454001/1473183 1768.45/1766.83 c cleaning 10002 clauses out of 20040 with flag 1464001/1483183 1781.46/1779.87 c cleaning 10001 clauses out of 20038 with flag 1474001/1493183 1793.35/1791.79 c cleaning 10003 clauses out of 20037 with flag 1484001/1503183 1800.08/1798.42 c starts : 214 1800.08/1798.42 c conflicts : 1508563 1800.08/1798.42 c decisions : 2311491 1800.08/1798.42 c propagations : 151823269 1800.08/1798.43 c inspects : 689537782 1800.08/1798.43 c shortcuts : 0 1800.08/1798.43 c learnt literals : 0 1800.08/1798.43 c learnt binary clauses : 0 1800.08/1798.43 c learnt ternary clauses : 0 1800.08/1798.43 c learnt constraints : 1508562 1800.08/1798.43 c ignored constraints : 0 1800.08/1798.43 c root simplifications : 0 1800.08/1798.43 c removed literals (reason simplification) : 129290695 1800.08/1798.43 c reason swapping (by a shorter reason) : 0 1800.08/1798.43 c Calls to reduceDB : 153 1800.08/1798.43 c number of reductions to clauses (during analyze) : 0 1800.08/1798.43 c number of learned constraints concerned by reduction : 0 1800.08/1798.43 c number of learning phase by resolution : 0 1800.08/1798.43 c number of learning phase by cutting planes : 0 1800.08/1798.43 c speed (assignments/second) : 85405.09393120487 1800.08/1798.43 c non guided choices 29271 1800.08/1798.43 c learnt constraints type 1800.08/1798.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15419 1800.08/1798.43 c constraints type 1800.08/1798.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 319 1800.08/1798.43 s SATISFIABLE 1800.08/1798.45 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 x603 x604 x605 -x606 x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 x761 x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 x1298 x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 x1533 x1534 x1535 -x1536 x1537 x1538 x1539 x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 x1715 x1716 -x1717 x1718 x1719 x1720 x1721 -x1722 x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 -x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 x2738 x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 x3544 x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 x3813 x3814 x3815 x3816 x3817 x3818 x3819 x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 x3902 x3903 x3904 x3905 x3906 x3907 x3908 x3909 x3910 -x3911 x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 x3992 x3993 x3994 x3995 x3996 x3997 x3998 x3999 x4000 x4001 x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 x4022 x4023 x4024 x4025 x4026 x4027 x4028 x4029 x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 -x4652 x4653 x4654 -x4655 x4656 x4657 x4658 -x4659 -x4660 x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 x5132 x5133 x5134 x5135 x5136 x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 x5346 x5347 x5348 -x5349 x5350 -x5351 x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 x5372 x5373 x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 x5642 x5643 x5644 x5645 x5646 x5647 x5648 x5649 x5650 x5651 x5652 x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 x5761 -x5762 -x5763 -x5764 -x5765 x5766 x5767 x5768 x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 x5892 x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 x5912 x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 x6303 x6304 x6305 x6306 x6307 x6308 x6309 x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 -x6483 -x6484 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 x6512 x6513 -x6514 x6515 x6516 x6517 x6518 x6519 x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 x6662 x6663 x6664 x6665 x6666 x6667 x6668 x6669 x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 x6692 x6693 x6694 x6695 x6696 x6697 x6698 x6699 x6700 -x6701 x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 x6812 -x6813 x6814 x6815 x6816 x6817 x6818 x6819 x6820 -x6821 x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 -x6883 x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 x7059 x7060 x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 x7292 -x7293 x7294 x7295 x7296 x7297 -x7298 -x7299 x7300 x7301 -x7302 -x7303 x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 x7542 x7543 x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 x7604 -x7605 x7606 -x7607 -x7608 -x7609 -x7610 -x7611 x7612 x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 x7621 -x7622 -x7623 x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 x7641 x7642 x7643 -x7644 -x7645 -x7646 x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 x7658 -x7659 x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 x7674 -x7675 -x7676 -x7677 -x7678 x7679 -x7680 -x7681 -x7682 x7683 x7684 -x7685 -x7686 x7687 x7688 -x7689 -x7690 x7691 x7692 -x7693 x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 x7716 -x7717 -x7718 x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 x7739 x7740 -x7741 -x7742 -x7743 -x7744 x7745 -x7746 -x7747 -x7748 x7749 -x7750 -x7751 -x7752 x7753 -x7754 -x7755 -x7756 x7757 x7758 -x7759 -x7760 -x7761 -x7762 x7763 x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 x7777 x7778 -x7779 -x7780 -x7781 x7782 x7783 x7784 -x7785 -x7786 -x7787 x7788 -x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 x7812 1800.08/1798.45 c objective function=7910759 1800.08/1798.45 c Total wall clock time (in seconds): 1798.347
OK 7910759
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458954-1307149278/watcher-3458954-1307149278 -o /tmp/evaluation-result-3458954-1307149278/solver-3458954-1307149278 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458954-1307149278.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 2/345 24486 /proc/meminfo: memFree=24014348/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 3938 0 1 0 0 0 0 0 25 0 2 0 905158422 13850947584 3641 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3381579 3654 917 9 0 3372735 0 [pid=24486/tid=24487] ppid=24484 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 2898 0 1 0 0 0 0 0 25 0 2 0 905158422 13850947584 3714 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.0575511 s] /proc/loadavg: 2.00 2.00 1.93 2/345 24486 /proc/meminfo: memFree=24014348/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 14002 0 1 0 3 1 0 0 25 0 13 0 905158422 13874806784 13700 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3387404 13700 1685 9 0 3378152 0 [pid=24486/tid=24487] ppid=24484 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 12856 0 1 0 3 1 0 0 25 0 13 0 905158422 13874806784 13700 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 47513234577427 0 4 0 16800971 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13549616 [startup+0.100555 s] /proc/loadavg: 2.00 2.00 1.93 2/345 24486 /proc/meminfo: memFree=24014348/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13622284 CPUtime=0.11 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 15601 0 1 0 9 2 0 0 25 0 18 0 905158422 13949218816 15266 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3405571 15271 2092 9 0 3396305 0 [pid=24486/tid=24487] ppid=24484 vsize=13622284 CPUtime=0.08 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 13645 0 1 0 7 1 0 0 18 0 18 0 905158422 13949218816 15273 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912496197408 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13622284 [startup+0.304473 s] /proc/loadavg: 2.00 2.00 1.93 2/345 24486 /proc/meminfo: memFree=24014348/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13628840 CPUtime=0.56 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 22978 0 1 0 53 3 0 0 25 0 18 0 905158422 13955932160 20970 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407210 20970 2202 9 0 3397944 0 [pid=24486/tid=24487] ppid=24484 vsize=13628840 CPUtime=0.29 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 16319 0 1 0 27 2 0 0 18 0 18 0 905158422 13955932160 20970 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 47513236675411 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 13628840 [startup+0.700444 s] /proc/loadavg: 2.00 2.00 1.93 2/345 24486 /proc/meminfo: memFree=24014348/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=1.41 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 27235 0 1 0 137 4 0 0 25 0 19 0 905158422 13957476352 25226 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 25226 2222 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=0.69 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 20044 0 1 0 66 3 0 0 19 0 19 0 905158422 13957476352 25226 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505826155 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 13630348 [startup+1.50129 s] /proc/loadavg: 2.00 2.00 1.93 4/364 24505 /proc/meminfo: memFree=23920648/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=2.28 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 28140 0 1 0 224 4 0 0 25 0 19 0 905158422 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 26130 2224 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=1.49 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 20932 0 1 0 146 3 0 0 20 0 19 0 905158422 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505852681 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905158425 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.38 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4075 0 0 0 38 0 0 0 19 0 19 0 905158428 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.39 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1974 0 0 0 39 0 0 0 15 0 19 0 905158428 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 26130 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 13630348 [startup+3.10099 s] /proc/loadavg: 2.00 2.00 1.93 3/364 24505 /proc/meminfo: memFree=23913332/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=3.96 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 29207 0 1 0 392 4 0 0 25 0 19 0 905158422 13957476352 27196 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 27196 2226 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=3.09 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 21987 0 1 0 306 3 0 0 25 0 19 0 905158422 13957476352 27196 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505825098 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27196 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27196 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27196 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905158425 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.42 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4079 0 0 0 42 0 0 0 15 0 19 0 905158428 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.43 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1982 0 0 0 43 0 0 0 15 0 19 0 905158428 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 27197 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 13630348 [startup+6.3014 s] /proc/loadavg: 2.00 2.00 1.93 3/364 24505 /proc/meminfo: memFree=23909240/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=7.17 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 30472 0 1 0 712 5 0 0 25 0 19 0 905158422 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 28460 2227 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=6.28 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 23251 0 1 0 625 3 0 0 25 0 19 0 905158422 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505852655 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158424 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905158425 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905158426 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.42 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4079 0 0 0 42 0 0 0 15 0 19 0 905158428 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.43 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1982 0 0 0 43 0 0 0 15 0 19 0 905158428 13957476352 28460 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0.17 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1651 0 0 0 17 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0.14 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 2101 0 0 0 14 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0.13 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 3207 0 0 0 13 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=4.2 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 8294 0 0 0 418 2 0 0 15 0 19 0 905158425 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.54 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4115 0 0 0 54 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.52 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1995 0 0 0 52 0 0 0 16 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1663.91 Current children cumulated vsize (KiB) 13630348 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.98 3/364 24551 /proc/meminfo: memFree=23803872/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=1723.93 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 51870 0 1 0 172382 11 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 49480 2253 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=1717.23 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 23814 0 1 0 171719 4 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505712530 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 891 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0.1 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1541 0 0 0 10 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0.13 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1238 0 0 0 13 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0.14 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 704 0 0 0 14 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1067 0 0 0 15 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0.17 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1651 0 0 0 17 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 2101 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0.14 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 3207 0 0 0 14 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=4.4 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 8298 0 0 0 438 2 0 0 15 0 19 0 905158425 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.54 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4115 0 0 0 54 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.52 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1995 0 0 0 52 0 0 0 16 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1723.93 Current children cumulated vsize (KiB) 13630348 [startup+1782.3 s] /proc/loadavg: 2.42 2.11 2.02 3/364 24600 /proc/meminfo: memFree=23713808/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=1783.95 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 51884 0 1 0 178384 11 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 49480 2253 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=1777 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 23820 0 1 0 177696 4 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505852655 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0.16 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 891 0 0 0 16 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0.11 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1541 0 0 0 11 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0.13 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1238 0 0 0 13 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 704 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1067 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0.18 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1651 0 0 0 18 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 2101 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 3207 0 0 0 15 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=4.61 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 8302 0 0 0 459 2 0 0 15 0 19 0 905158425 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.54 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4115 0 0 0 54 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.52 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1995 0 0 0 52 0 0 0 16 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1783.95 Current children cumulated vsize (KiB) 13630348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.4 s] /proc/loadavg: 2.32 2.10 2.02 3/364 24601 /proc/meminfo: memFree=23713620/32951124 swapFree=67056304/67111528 [pid=24486] ppid=24484 vsize=13630348 CPUtime=1800.08 cores=1,3,5,7 /proc/24486/stat : 24486 (java) S 24484 24486 22016 0 -1 4202496 51885 0 1 0 179997 11 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24486/statm: 3407587 49480 2253 9 0 3398321 0 [pid=24486/tid=24487] ppid=24484 vsize=13630348 CPUtime=1793.08 cores=1,3,5,7 /proc/24486/task/24487/stat : 24487 (java) R 24484 24486 22016 0 -1 4202560 23821 0 1 0 179304 4 0 0 25 0 19 0 905158422 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 46912505852681 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24486/tid=24489] ppid=24484 vsize=13630348 CPUtime=0.16 cores=1,3,5,7 /proc/24486/task/24489/stat : 24489 (java) S 24484 24486 22016 0 -1 4202560 891 0 0 0 16 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24490] ppid=24484 vsize=13630348 CPUtime=0.11 cores=1,3,5,7 /proc/24486/task/24490/stat : 24490 (java) S 24484 24486 22016 0 -1 4202560 1541 0 0 0 11 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24491] ppid=24484 vsize=13630348 CPUtime=0.13 cores=1,3,5,7 /proc/24486/task/24491/stat : 24491 (java) S 24484 24486 22016 0 -1 4202560 1238 0 0 0 13 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24492] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24492/stat : 24492 (java) S 24484 24486 22016 0 -1 4202560 704 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24493] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24493/stat : 24493 (java) S 24484 24486 22016 0 -1 4202560 1067 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24494] ppid=24484 vsize=13630348 CPUtime=0.18 cores=1,3,5,7 /proc/24486/task/24494/stat : 24494 (java) S 24484 24486 22016 0 -1 4202560 1651 0 0 0 18 0 0 0 16 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24495] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24495/stat : 24495 (java) S 24484 24486 22016 0 -1 4202560 2101 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24496] ppid=24484 vsize=13630348 CPUtime=0.15 cores=1,3,5,7 /proc/24486/task/24496/stat : 24496 (java) S 24484 24486 22016 0 -1 4202560 3207 0 0 0 15 0 0 0 15 0 19 0 905158424 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24497] ppid=24484 vsize=13630348 CPUtime=4.64 cores=1,3,5,7 /proc/24486/task/24497/stat : 24497 (java) S 24484 24486 22016 0 -1 4202560 8302 0 0 0 462 2 0 0 15 0 19 0 905158425 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 0 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24498] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24498/stat : 24498 (java) S 24484 24486 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24499] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24499/stat : 24499 (java) S 24484 24486 22016 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905158426 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24500] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24500/stat : 24500 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032219569 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24501] ppid=24484 vsize=13630348 CPUtime=0.54 cores=1,3,5,7 /proc/24486/task/24501/stat : 24501 (java) S 24484 24486 22016 0 -1 4202560 4115 0 0 0 54 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 7 0 0 0 [pid=24486/tid=24502] ppid=24484 vsize=13630348 CPUtime=0.52 cores=1,3,5,7 /proc/24486/task/24502/stat : 24502 (java) S 24484 24486 22016 0 -1 4202560 1995 0 0 0 52 0 0 0 16 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 [pid=24486/tid=24503] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24503/stat : 24503 (java) S 24484 24486 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032211865 0 4 0 16800975 18446604469991147648 0 0 -1 1 0 0 0 [pid=24486/tid=24504] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24504/stat : 24504 (java) S 24484 24486 22016 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905158428 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 3 0 0 0 [pid=24486/tid=24505] ppid=24484 vsize=13630348 CPUtime=0 cores=1,3,5,7 /proc/24486/task/24505/stat : 24505 (java) S 24484 24486 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905158464 13957476352 49480 33554432000 1073741824 1073778376 140736118659280 18446744073709551615 260032212480 0 4 0 16800975 18446604469991147648 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13630348 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): 1798.47 CPU time (s): 1800.2 CPU user time (s): 1800.07 CPU system time (s): 0.123981 CPU usage (%): 100.096 Max. virtual memory (cumulated for all children) (KiB): 13630348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.123981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52042 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= 40350 involuntary context switches= 30940 runsolver used 5.51916 second user time and 12.6791 second system time The end
Begin job on node110 at 2011-06-04 03:01:18 IDJOB=3458954 IDBENCH=2297 IDSOLVER=1952 FILE ID=node110/3458954-1307149278 RUNJOBID= node110-1307147433-24015 PBS_JOBID= 13508806 Free space on /tmp= 74012 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458954-1307149278/watcher-3458954-1307149278 -o /tmp/evaluation-result-3458954-1307149278/solver-3458954-1307149278 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458954-1307149278.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 291088d217a1998c91be99350439e903 RANDOM SEED=189935226 node110.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.830 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.66 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.830 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.83 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.76 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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: 24014628 kB Buffers: 293524 kB Cached: 4597820 kB SwapCached: 8652 kB Active: 4111064 kB Inactive: 4505060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24014628 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 3722896 kB Mapped: 35516 kB Slab: 229572 kB PageTables: 27480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 89032520 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74008 MiB End job on node110 at 2011-06-04 03:31:19