Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 15 | 1800.59 | 922.794 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
| MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.326949 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 5537 |
| Total number of constraints | 15855 |
| Number of constraints which are clauses | 15855 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2646 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2646 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2646 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.12 c See www.sat4j.org for details. 0.05/0.12 c version 2.3.1.v20110525 0.05/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.12 c java.vm.version 19.1-b02 0.05/0.12 c java.vm.vendor Sun Microsystems Inc. 0.05/0.12 c sun.arch.data.model 64 0.05/0.12 c java.version 1.6.0_24 0.05/0.12 c os.name Linux 0.05/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.12 c os.arch amd64 0.05/0.12 c Free memory 9996466904 0.05/0.12 c Max memory 10048897024 0.05/0.12 c Total memory 10048897024 0.05/0.12 c Number of processors 8 0.05/0.15 c Pseudo Boolean Optimization 0.05/0.15 c ManyCore solver with 2 solvers running in parallel 0.05/0.15 c --- Begin Solver configuration --- 0.05/0.15 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.05/0.15 c Learn all clauses as in MiniSAT 0.05/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.15 c Expensive reason simplification 0.05/0.15 c Armin Biere (Picosat) restarts strategy 0.05/0.15 c Glucose learned constraints deletion strategy 0.05/0.15 c timeout=2147483s 0.05/0.15 c DB Simplification allowed=false 0.05/0.15 c --- End Solver configuration --- 0.05/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.05/0.15 c --- Begin Solver configuration --- 0.05/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.05/0.15 c Learn all clauses as in MiniSAT 0.05/0.15 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.05/0.15 c No reason simplification 0.05/0.15 c Armin Biere (Picosat) restarts strategy 0.05/0.15 c Glucose learned constraints deletion strategy 0.05/0.15 c timeout=2147483s 0.05/0.15 c DB Simplification allowed=false 0.05/0.15 c --- End Solver configuration --- 0.05/0.15 c solving HOME/instance-3735960-1338714015.opb 0.05/0.15 c reading problem ... 0.70/0.48 c ... done. Wall clock time 0.337s. 0.70/0.48 c #vars 5537 0.70/0.48 c #constraints 15665 0.70/0.48 c constraints type 0.70/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 0.70/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 0.70/0.48 c constraints type 0.70/0.48 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 0.70/0.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1.01/0.55 c And the winner is CuttingPlanes 1.23/1.00 c SATISFIABLE 1.23/1.00 c OPTIMIZING... 1.23/1.00 c Got one! Elapsed wall clock time (in seconds):0.851 1.23/1.00 o 21 1.25/1.02 c And the winner is CuttingPlanes 1.41/1.52 c Got one! Elapsed wall clock time (in seconds):1.372 1.41/1.52 o 19 2.37/1.83 c And the winner is Resolution 2.79/2.03 c Got one! Elapsed wall clock time (in seconds):1.885 2.79/2.03 o 18 2.79/2.08 c And the winner is Resolution 3.09/2.54 c Got one! Elapsed wall clock time (in seconds):2.398 3.09/2.54 o 17 7.44/4.63 c cleaning 2879 clauses out of 5761 with flag 5001/5761 11.53/6.68 c And the winner is Resolution 11.71/7.05 c Got one! Elapsed wall clock time (in seconds):6.907 11.71/7.05 o 16 14.85/8.67 c cleaning 6454 clauses out of 12912 with flag 5002/15791 19.65/11.00 c cleaning 6222 clauses out of 12457 with flag 11001/21790 25.47/13.91 c cleaning 6614 clauses out of 13234 with flag 18000/28789 31.48/16.92 c cleaning 7305 clauses out of 14621 with flag 26001/36790 38.63/20.51 c cleaning 8141 clauses out of 16315 with flag 35000/45789 46.60/24.58 c cleaning 9081 clauses out of 18175 with flag 45001/55790 55.15/28.88 c cleaning 10043 clauses out of 20093 with flag 56000/66789 65.09/33.90 c cleaning 11009 clauses out of 22050 with flag 68000/78789 75.69/39.16 c cleaning 12013 clauses out of 24041 with flag 81000/91789 86.85/44.75 c cleaning 13009 clauses out of 26028 with flag 95000/105789 99.18/50.97 c cleaning 14008 clauses out of 28019 with flag 110000/120789 111.93/57.35 c cleaning 14996 clauses out of 30011 with flag 126000/136789 125.23/63.99 c cleaning 15497 clauses out of 31015 with flag 142000/152789 135.15/68.93 c And the winner is CuttingPlanes 135.23/69.11 c Got one! Elapsed wall clock time (in seconds):68.965 135.23/69.11 o 15 139.00/71.07 c cleaning 16694 clauses out of 33400 with flag 5001/170671 143.93/73.50 c cleaning 11351 clauses out of 22706 with flag 11001/176671 149.40/76.32 c cleaning 9172 clauses out of 18354 with flag 18000/183670 155.71/79.54 c cleaning 8590 clauses out of 17182 with flag 26000/191670 163.22/83.30 c cleaning 8792 clauses out of 17592 with flag 35000/200670 170.75/87.19 c cleaning 9392 clauses out of 18801 with flag 45001/210671 180.02/91.87 c cleaning 10196 clauses out of 20408 with flag 56000/221670 189.13/96.47 c cleaning 11098 clauses out of 22212 with flag 68000/233670 199.23/101.59 c cleaning 12051 clauses out of 24115 with flag 81001/246671 210.53/107.28 c cleaning 13021 clauses out of 26063 with flag 95000/260670 223.16/113.62 c cleaning 14015 clauses out of 28045 with flag 110003/275673 236.03/120.14 c cleaning 15011 clauses out of 30028 with flag 126001/291671 248.53/126.41 c cleaning 15500 clauses out of 31016 with flag 142000/307670 261.22/132.88 c cleaning 15753 clauses out of 31517 with flag 158001/323671 273.99/139.34 c cleaning 15876 clauses out of 31763 with flag 174000/339670 287.04/145.98 c cleaning 15938 clauses out of 31887 with flag 190000/355670 300.48/152.71 c cleaning 15971 clauses out of 31951 with flag 206002/371672 312.71/158.92 c cleaning 15979 clauses out of 31978 with flag 222000/387670 325.89/165.68 c cleaning 15990 clauses out of 32000 with flag 238001/403671 340.12/172.86 c cleaning 15994 clauses out of 32012 with flag 254003/419673 353.94/179.82 c cleaning 16000 clauses out of 32015 with flag 270000/435670 366.75/186.31 c cleaning 16000 clauses out of 32015 with flag 286000/451670 379.44/192.84 c cleaning 16004 clauses out of 32016 with flag 302001/467671 392.05/199.25 c cleaning 15999 clauses out of 32011 with flag 318000/483670 405.86/206.26 c cleaning 15994 clauses out of 32012 with flag 334000/499670 419.70/213.26 c cleaning 15995 clauses out of 32019 with flag 350001/515671 433.80/220.48 c cleaning 15998 clauses out of 32023 with flag 366000/531670 447.81/227.57 c cleaning 16008 clauses out of 32025 with flag 382000/547670 461.42/234.40 c cleaning 16003 clauses out of 32017 with flag 398000/563670 474.24/240.99 c cleaning 16000 clauses out of 32014 with flag 414000/579670 487.69/247.84 c cleaning 15999 clauses out of 32015 with flag 430001/595671 500.87/254.50 c cleaning 15999 clauses out of 32015 with flag 446000/611670 512.26/260.39 c cleaning 16001 clauses out of 32016 with flag 462000/627670 523.43/266.01 c cleaning 16002 clauses out of 32015 with flag 478000/643670 536.32/272.62 c cleaning 16001 clauses out of 32015 with flag 494002/659672 549.92/279.57 c cleaning 15995 clauses out of 32012 with flag 510000/675670 562.52/285.97 c cleaning 16001 clauses out of 32019 with flag 526002/691672 574.50/292.01 c cleaning 16000 clauses out of 32016 with flag 542000/707670 586.15/298.08 c cleaning 16000 clauses out of 32016 with flag 558000/723670 598.71/304.49 c cleaning 16002 clauses out of 32017 with flag 574001/739671 610.70/310.57 c cleaning 15995 clauses out of 32016 with flag 590002/755672 623.88/317.20 c cleaning 15999 clauses out of 32019 with flag 606000/771670 636.89/323.97 c cleaning 16003 clauses out of 32020 with flag 622000/787670 650.66/330.93 c cleaning 15999 clauses out of 32017 with flag 638000/803670 663.02/337.27 c cleaning 15996 clauses out of 32019 with flag 654001/819671 675.76/343.73 c cleaning 16007 clauses out of 32023 with flag 670001/835671 689.15/350.65 c cleaning 15997 clauses out of 32015 with flag 686000/851670 702.49/357.45 c cleaning 16002 clauses out of 32020 with flag 702002/867672 715.03/363.83 c cleaning 15997 clauses out of 32016 with flag 718000/883670 729.18/371.04 c cleaning 16000 clauses out of 32019 with flag 734000/899670 743.96/378.66 c cleaning 15993 clauses out of 32019 with flag 750000/915670 757.30/385.45 c cleaning 16004 clauses out of 32026 with flag 766000/931670 772.65/393.26 c cleaning 16002 clauses out of 32025 with flag 782003/947673 785.02/399.52 c cleaning 16007 clauses out of 32022 with flag 798002/963672 797.38/405.94 c cleaning 15997 clauses out of 32013 with flag 814000/979670 809.51/412.14 c cleaning 16002 clauses out of 32018 with flag 830002/995672 821.81/418.43 c cleaning 15999 clauses out of 32014 with flag 846000/1011670 833.95/424.62 c cleaning 16000 clauses out of 32015 with flag 862000/1027670 846.09/430.93 c cleaning 16001 clauses out of 32016 with flag 878001/1043671 859.20/437.60 c cleaning 16003 clauses out of 32014 with flag 894000/1059670 871.52/443.91 c cleaning 15997 clauses out of 32012 with flag 910001/1075671 884.04/450.31 c cleaning 15998 clauses out of 32014 with flag 926000/1091670 895.95/456.56 c cleaning 16001 clauses out of 32016 with flag 942000/1107670 910.03/463.76 c cleaning 15991 clauses out of 32015 with flag 958000/1123670 924.14/470.94 c cleaning 16000 clauses out of 32026 with flag 974002/1139672 936.65/477.36 c cleaning 15998 clauses out of 32024 with flag 990000/1155670 949.73/484.17 c cleaning 16007 clauses out of 32031 with flag 1006005/1171675 963.01/490.95 c cleaning 16005 clauses out of 32021 with flag 1022002/1187672 977.10/498.20 c cleaning 15989 clauses out of 32014 with flag 1038000/1203670 991.38/505.49 c cleaning 16003 clauses out of 32026 with flag 1054001/1219671 1005.63/512.80 c cleaning 15989 clauses out of 32022 with flag 1070000/1235670 1018.90/519.64 c cleaning 16004 clauses out of 32033 with flag 1086000/1251670 1031.78/526.25 c cleaning 16005 clauses out of 32029 with flag 1102000/1267670 1044.84/532.97 c cleaning 16002 clauses out of 32024 with flag 1118000/1283670 1058.33/539.95 c cleaning 15996 clauses out of 32022 with flag 1134000/1299670 1071.81/546.83 c cleaning 16003 clauses out of 32028 with flag 1150002/1315672 1085.27/553.72 c cleaning 15998 clauses out of 32023 with flag 1166000/1331670 1098.74/560.64 c cleaning 16004 clauses out of 32029 with flag 1182004/1347674 1113.98/568.53 c cleaning 16004 clauses out of 32021 with flag 1198000/1363670 1128.26/575.80 c cleaning 15997 clauses out of 32017 with flag 1214000/1379670 1142.34/583.06 c cleaning 16000 clauses out of 32020 with flag 1230000/1395670 1156.01/590.02 c cleaning 16002 clauses out of 32021 with flag 1246001/1411671 1170.26/597.43 c cleaning 16001 clauses out of 32018 with flag 1262000/1427670 1184.53/604.72 c cleaning 15994 clauses out of 32017 with flag 1278000/1443670 1198.80/612.04 c cleaning 16003 clauses out of 32023 with flag 1294000/1459670 1212.66/619.12 c cleaning 16002 clauses out of 32021 with flag 1310001/1475671 1227.92/627.09 c cleaning 15990 clauses out of 32018 with flag 1326000/1491670 1241.35/633.94 c cleaning 16008 clauses out of 32030 with flag 1342002/1507672 1255.00/640.96 c cleaning 16000 clauses out of 32020 with flag 1358000/1523670 1268.24/647.72 c cleaning 16006 clauses out of 32022 with flag 1374002/1539672 1281.48/654.70 c cleaning 15992 clauses out of 32014 with flag 1390000/1555670 1295.73/661.94 c cleaning 15997 clauses out of 32022 with flag 1406000/1571670 1308.97/668.79 c cleaning 16006 clauses out of 32026 with flag 1422001/1587671 1323.21/676.01 c cleaning 16003 clauses out of 32019 with flag 1438000/1603670 1336.67/683.01 c cleaning 15993 clauses out of 32016 with flag 1454000/1619670 1348.93/689.34 c cleaning 16006 clauses out of 32024 with flag 1470001/1635671 1361.77/695.95 c cleaning 15998 clauses out of 32017 with flag 1486000/1651670 1374.62/702.50 c cleaning 16001 clauses out of 32021 with flag 1502002/1667672 1387.42/709.25 c cleaning 16000 clauses out of 32019 with flag 1518001/1683671 1401.84/716.64 c cleaning 16004 clauses out of 32022 with flag 1534004/1699674 1415.10/723.48 c cleaning 15991 clauses out of 32014 with flag 1550000/1715670 1430.11/731.15 c cleaning 16005 clauses out of 32023 with flag 1566000/1731670 1444.51/738.62 c cleaning 15995 clauses out of 32018 with flag 1582000/1747670 1458.91/746.08 c cleaning 15997 clauses out of 32025 with flag 1598002/1763672 1474.30/753.92 c cleaning 16005 clauses out of 32026 with flag 1614000/1779670 1487.91/760.97 c cleaning 16001 clauses out of 32021 with flag 1630000/1795670 1500.30/767.48 c cleaning 16003 clauses out of 32020 with flag 1646000/1811670 1513.31/774.12 c cleaning 16003 clauses out of 32017 with flag 1662000/1827670 1525.52/780.49 c cleaning 15997 clauses out of 32015 with flag 1678001/1843671 1537.93/786.81 c cleaning 16001 clauses out of 32017 with flag 1694000/1859670 1550.68/793.50 c cleaning 15998 clauses out of 32016 with flag 1710000/1875670 1563.07/799.95 c cleaning 15997 clauses out of 32018 with flag 1726000/1891670 1575.48/806.35 c cleaning 16002 clauses out of 32022 with flag 1742001/1907671 1588.28/812.94 c cleaning 16001 clauses out of 32019 with flag 1758000/1923670 1601.63/819.92 c cleaning 15997 clauses out of 32018 with flag 1774000/1939670 1614.83/826.71 c cleaning 15994 clauses out of 32021 with flag 1790000/1955670 1627.26/833.14 c cleaning 16006 clauses out of 32028 with flag 1806001/1971671 1639.63/839.55 c cleaning 16008 clauses out of 32022 with flag 1822001/1987671 1653.56/846.84 c cleaning 15986 clauses out of 32013 with flag 1838000/2003670 1667.35/853.98 c cleaning 15995 clauses out of 32027 with flag 1854000/2019670 1681.14/861.01 c cleaning 16009 clauses out of 32033 with flag 1870001/2035671 1694.92/868.18 c cleaning 16006 clauses out of 32025 with flag 1886002/2051672 1708.42/875.24 c cleaning 15990 clauses out of 32017 with flag 1902000/2067670 1721.81/882.15 c cleaning 15993 clauses out of 32027 with flag 1918000/2083670 1735.38/889.17 c cleaning 16007 clauses out of 32036 with flag 1934002/2099672 1749.15/896.29 c cleaning 16001 clauses out of 32027 with flag 1950000/2115670 1763.06/903.57 c cleaning 16000 clauses out of 32028 with flag 1966002/2131672 1776.24/910.37 c cleaning 16007 clauses out of 32026 with flag 1982000/2147670 1789.61/917.27 c cleaning 15999 clauses out of 32021 with flag 1998002/2163672 1800.14/922.71 c starts : 14 1800.14/922.71 c conflicts : 1844 1800.14/922.71 c decisions : 57055 1800.14/922.71 c propagations : 928170 1800.14/922.71 c inspects : 16153973 1800.14/922.71 c shortcuts : 0 1800.14/922.71 c learnt literals : 0 1800.14/922.71 c learnt binary clauses : 0 1800.14/922.71 c learnt ternary clauses : 0 1800.14/922.71 c learnt constraints : 1843 1800.14/922.71 c ignored constraints : 0 1800.14/922.71 c root simplifications : 0 1800.14/922.71 c removed literals (reason simplification) : 0 1800.14/922.71 c reason swapping (by a shorter reason) : 0 1800.14/922.71 c Calls to reduceDB : 0 1800.14/922.71 c number of reductions to clauses (during analyze) : 0 1800.14/922.71 c number of learned constraints concerned by reduction : 0 1800.14/922.71 c number of learning phase by resolution : 0 1800.14/922.71 c number of learning phase by cutting planes : 0 1800.14/922.71 c speed (assignments/second) : 1087.3645143604235 1800.14/922.71 c non guided choices 0 1800.14/922.71 c learnt constraints type 1800.14/922.71 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 77 1800.14/922.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 41 1800.14/922.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1725 1800.14/922.71 c constraints type 1800.14/922.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886 1800.14/922.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.14/922.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523 1800.14/922.71 c constraints type 1800.14/922.71 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 12523 1800.14/922.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2886 1800.14/922.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.14/922.71 s SATISFIABLE 1800.14/922.72 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 1800.14/922.73 c objective function=15 1800.14/922.73 c Total wall clock time (in seconds): 922.586
OK 15
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735960-1338714015/watcher-3735960-1338714015 -o /tmp/evaluation-result-3735960-1338714015/solver-3735960-1338714015 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735960-1338714015.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.06 1.40 2/174 12678 /proc/meminfo: memFree=26316956/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/12678/stat : 12678 (java) D 12676 12678 12644 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 337526943 9515008 183 33554432000 1073741824 1073778376 140736641244896 140736641235928 270707539637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2323 184 141 9 0 71 0 [startup+0.0366831 s] /proc/loadavg: 1.00 1.06 1.40 2/174 12678 /proc/meminfo: memFree=26316956/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=10496720 CPUtime=0 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 1859 0 6 0 0 0 0 0 20 0 2 0 337526943 10748641280 3079 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2624180 3098 931 9 0 2615289 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10496720 [startup+0.100252 s] /proc/loadavg: 1.00 1.06 1.40 2/174 12678 /proc/meminfo: memFree=26316956/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11586364 CPUtime=0.05 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 3891 0 6 0 4 1 0 0 20 0 18 0 337526943 11864436736 12770 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2896591 12770 1757 9 0 2887285 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11586364 [startup+0.300195 s] /proc/loadavg: 1.00 1.06 1.40 2/174 12678 /proc/meminfo: memFree=26316956/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11586392 CPUtime=0.4 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 5841 0 6 0 39 1 0 0 20 0 18 0 337526943 11864465408 15918 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2896598 15918 2221 9 0 2887285 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 11586392 [startup+0.700263 s] /proc/loadavg: 1.00 1.06 1.40 2/174 12678 /proc/meminfo: memFree=26316956/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=1.23 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 9353 0 6 0 119 4 0 0 20 0 19 0 337526943 12137111552 27340 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 27340 2260 9 0 2953849 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 11852648 [startup+1.50061 s] /proc/loadavg: 1.16 1.09 1.41 3/213 12727 /proc/meminfo: memFree=25938532/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=1.41 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 9363 0 6 0 135 6 0 0 20 0 19 0 337526943 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 28877 2261 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.45 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2883 0 3 0 43 2 0 0 20 0 19 0 337526945 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842901496984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337526948 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) S 12676 12678 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337526949 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842248734952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337526949 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337526949 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526953 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 2839 0 0 0 38 0 0 0 20 0 19 0 337526953 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 2337 0 0 0 38 0 0 0 20 0 19 0 337526953 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526953 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337526953 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12727] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12727/stat : 12727 (java) S 12676 12678 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337526995 12137111552 28877 33554432000 1073741824 1073778376 140734340668240 139842237154344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 11852648 [startup+3.10058 s] /proc/loadavg: 1.16 1.09 1.41 5/215 12740 /proc/meminfo: memFree=25558356/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=4.33 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 18613 0 6 0 421 12 0 0 20 0 22 0 337526943 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 56998 2265 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2885 0 3 0 47 2 0 0 20 0 22 0 337526945 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842901496984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) S 12676 12678 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842248734952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=0.94 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 9116 0 0 0 94 0 0 0 20 0 22 0 337526953 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 5234 0 0 0 77 0 0 0 20 0 22 0 337526953 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12733] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12733/stat : 12733 (java) S 12676 12678 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337527096 12137111552 56998 33554432000 1073741824 1073778376 140734340668240 139842239259432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 11852648 [startup+6.30076 s] /proc/loadavg: 1.16 1.09 1.41 4/218 12746 /proc/meminfo: memFree=25122440/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=10.85 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 19353 0 6 0 1065 20 0 0 20 0 22 0 337526943 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 145987 2290 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2885 0 3 0 47 2 0 0 20 0 22 0 337526945 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842901496984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337526948 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=0.02 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) S 12676 12678 12644 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 337526949 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842248734952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=0.97 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 9121 0 0 0 97 0 0 0 20 0 22 0 337526953 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=0.89 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 5735 0 0 0 89 0 0 0 20 0 22 0 337526953 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12733] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12733/stat : 12733 (java) S 12676 12678 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337527096 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842239259432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12741] ppid=12676 vsize=11852648 CPUtime=3.69 cores=0,2,4,6 /proc/12678/task/12741/stat : 12741 (java) R 12676 12678 12644 0 -1 4202560 8 0 0 0 369 0 0 0 20 0 22 0 337527198 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842240310128 139842743380564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12742] ppid=12676 vsize=11852648 CPUtime=3.66 cores=0,2,4,6 /proc/12678/task/12742/stat : 12742 (java) R 12676 12678 12644 0 -1 4202560 201 0 0 0 360 6 0 0 20 0 22 0 337527198 12137111552 145987 33554432000 1073741824 1073778376 140734340668240 139842238205192 139842743522145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=12678/tid=12785] ppid=12676 vsize=11852648 CPUtime=710.28 cores=0,2,4,6 /proc/12678/task/12785/stat : 12785 (java) R 12676 12678 12644 0 -1 4202560 108 0 0 0 71016 12 0 0 20 0 22 0 337533855 12137111552 952881 33554432000 1073741824 1073778376 140734340668240 139842238206288 139842743453947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12786] ppid=12676 vsize=11852648 CPUtime=710.26 cores=0,2,4,6 /proc/12678/task/12786/stat : 12786 (java) R 12676 12678 12644 0 -1 4202560 440 0 0 0 70999 27 0 0 20 0 22 0 337533855 12137111552 952881 33554432000 1073741824 1073778376 140734340668240 139842240309824 139842743437549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12787] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12787/stat : 12787 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337533855 12137111552 952881 33554432000 1073741824 1073778376 140734340668240 139842239259944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1606 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.84 3.73 2.90 5/218 12801 /proc/meminfo: memFree=19164276/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=1722.1 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 22046 0 6 0 172079 131 0 0 20 0 22 0 337526943 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 956995 2292 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2950 0 3 0 50 3 0 0 20 0 22 0 337526945 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842901496680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 101 0 0 0 146 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=1.43 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 84 0 0 0 140 3 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 74 0 0 0 140 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=1.59 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 102 0 0 0 155 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=1.43 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 106 0 0 0 139 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 105 0 0 0 141 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 137 0 0 0 144 4 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 94 0 0 0 142 3 0 0 20 0 22 0 337526948 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=45.18 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) R 12676 12678 12644 0 -1 4202560 163 0 0 0 4506 12 0 0 20 0 22 0 337526949 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842248733808 139842905632813 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=1.38 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 9201 0 0 0 137 1 0 0 20 0 22 0 337526953 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 5736 0 0 0 106 0 0 0 20 0 22 0 337526953 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 337526953 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12749] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12749/stat : 12749 (java) S 12676 12678 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337527650 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842237154472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12785] ppid=12676 vsize=11852648 CPUtime=765.54 cores=0,2,4,6 /proc/12678/task/12785/stat : 12785 (java) S 12676 12678 12644 0 -1 4202560 118 0 0 0 76541 13 0 0 20 0 22 0 337533855 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842238206408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12786] ppid=12676 vsize=11852648 CPUtime=765.51 cores=0,2,4,6 /proc/12678/task/12786/stat : 12786 (java) S 12676 12678 12644 0 -1 4202560 444 0 0 0 76523 28 0 0 20 0 22 0 337533855 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842240309928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12787] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12787/stat : 12787 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337533855 12137111552 956995 33554432000 1073741824 1073778376 140734340668240 139842239259944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+922.701 s] /proc/loadavg: 3.93 3.77 2.95 3/195 12805 /proc/meminfo: memFree=22472876/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=1800.14 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 22069 0 6 0 179882 132 0 0 20 0 22 0 337526943 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 959047 2292 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2955 0 3 0 50 3 0 0 20 0 22 0 337526945 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842901496968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=1.57 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 101 0 0 0 153 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 88 0 0 0 147 3 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=1.51 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 74 0 0 0 147 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=1.65 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 102 0 0 0 161 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 107 0 0 0 146 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 106 0 0 0 150 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 137 0 0 0 151 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=1.52 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 95 0 0 0 149 3 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=48.2 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) S 12676 12678 12644 0 -1 4202560 167 0 0 0 4808 12 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842248734952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=1.38 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 9201 0 0 0 137 1 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 5736 0 0 0 106 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 53 0 0 0 12 16 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12749] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12749/stat : 12749 (java) S 12676 12678 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337527650 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842237154472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12785] ppid=12676 vsize=11852648 CPUtime=802.77 cores=0,2,4,6 /proc/12678/task/12785/stat : 12785 (java) R 12676 12678 12644 0 -1 4202560 121 0 0 0 80263 14 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842238206288 139842743508035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12786] ppid=12676 vsize=11852648 CPUtime=802.73 cores=0,2,4,6 /proc/12678/task/12786/stat : 12786 (java) R 12676 12678 12644 0 -1 4202560 446 0 0 0 80244 29 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842240309824 139842743437876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12787] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12787/stat : 12787 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842239259944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+922.701 s] /proc/loadavg: 3.93 3.77 2.95 3/195 12805 /proc/meminfo: memFree=22472876/32873648 swapFree=6864/6864 [pid=12678] ppid=12676 vsize=11852648 CPUtime=1800.14 cores=0,2,4,6 /proc/12678/stat : 12678 (java) S 12676 12678 12644 0 -1 4202496 22069 0 6 0 179882 132 0 0 20 0 22 0 337526943 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 140734340659376 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12678/statm: 2963162 959047 2292 9 0 2953849 0 [pid=12678/tid=12680] ppid=12676 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/12678/task/12680/stat : 12680 (java) S 12676 12678 12644 0 -1 4202560 2955 0 3 0 50 3 0 0 20 0 22 0 337526945 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842901496968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12681] ppid=12676 vsize=11852648 CPUtime=1.57 cores=0,2,4,6 /proc/12678/task/12681/stat : 12681 (java) S 12676 12678 12644 0 -1 4202560 101 0 0 0 153 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842869905704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12682] ppid=12676 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/12678/task/12682/stat : 12682 (java) S 12676 12678 12644 0 -1 4202560 88 0 0 0 147 3 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842868852904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12683] ppid=12676 vsize=11852648 CPUtime=1.51 cores=0,2,4,6 /proc/12678/task/12683/stat : 12683 (java) S 12676 12678 12644 0 -1 4202560 74 0 0 0 147 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842867800616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12684] ppid=12676 vsize=11852648 CPUtime=1.65 cores=0,2,4,6 /proc/12678/task/12684/stat : 12684 (java) S 12676 12678 12644 0 -1 4202560 102 0 0 0 161 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842866747816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12685] ppid=12676 vsize=11852648 CPUtime=1.5 cores=0,2,4,6 /proc/12678/task/12685/stat : 12685 (java) S 12676 12678 12644 0 -1 4202560 107 0 0 0 146 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842865695528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12686] ppid=12676 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/12678/task/12686/stat : 12686 (java) S 12676 12678 12644 0 -1 4202560 106 0 0 0 150 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842864642728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12687] ppid=12676 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/12678/task/12687/stat : 12687 (java) S 12676 12678 12644 0 -1 4202560 137 0 0 0 151 4 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842863590440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12688] ppid=12676 vsize=11852648 CPUtime=1.52 cores=0,2,4,6 /proc/12678/task/12688/stat : 12688 (java) S 12676 12678 12644 0 -1 4202560 95 0 0 0 149 3 0 0 20 0 22 0 337526948 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842862537640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12689] ppid=12676 vsize=11852648 CPUtime=48.2 cores=0,2,4,6 /proc/12678/task/12689/stat : 12689 (java) S 12676 12678 12644 0 -1 4202560 167 0 0 0 4808 12 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842248734952 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12690] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12690/stat : 12690 (java) S 12676 12678 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842247681016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12691] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12691/stat : 12691 (java) S 12676 12678 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337526949 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842246628616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12692] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12692/stat : 12692 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842245577104 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12693] ppid=12676 vsize=11852648 CPUtime=1.38 cores=0,2,4,6 /proc/12678/task/12693/stat : 12693 (java) S 12676 12678 12644 0 -1 4202560 9201 0 0 0 137 1 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842244524728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12694] ppid=12676 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/12678/task/12694/stat : 12694 (java) S 12676 12678 12644 0 -1 4202560 5736 0 0 0 106 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842243471928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12695] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12695/stat : 12695 (java) S 12676 12678 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842242419832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12696] ppid=12676 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/12678/task/12696/stat : 12696 (java) S 12676 12678 12644 0 -1 4202560 53 0 0 0 12 16 0 0 20 0 22 0 337526953 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842241367240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12678/tid=12749] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12749/stat : 12749 (java) S 12676 12678 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337527650 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842237154472 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12678/tid=12785] ppid=12676 vsize=11852648 CPUtime=802.77 cores=0,2,4,6 /proc/12678/task/12785/stat : 12785 (java) R 12676 12678 12644 0 -1 4202560 121 0 0 0 80263 14 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842238206288 139842743508035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12678/tid=12786] ppid=12676 vsize=11852648 CPUtime=802.73 cores=0,2,4,6 /proc/12678/task/12786/stat : 12786 (java) R 12676 12678 12644 0 -1 4202560 446 0 0 0 80244 29 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842240309824 139842743437876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12678/tid=12787] ppid=12676 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12678/task/12787/stat : 12787 (java) S 12676 12678 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337533855 12137111552 959047 33554432000 1073741824 1073778376 140734340668240 139842239259944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 922.794 CPU time (s): 1800.59 CPU user time (s): 1798.85 CPU system time (s): 1.74073 CPU usage (%): 195.124 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 1.74073 maximum resident set size= 3836308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22101 page faults= 6 swaps= 0 block input operations= 696 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29357 involuntary context switches= 34371 runsolver used 3.36949 second user time and 8.41472 second system time The end
Begin job on node125 at 2012-06-03 11:00:15 IDJOB=3735960 IDBENCH=25010 IDSOLVER=2328 FILE ID=node125/3735960-1338714015 RUNJOBID= node125-1338714015-12660 PBS_JOBID= 14636751 Free space on /tmp= 70440 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735960-1338714015/watcher-3735960-1338714015 -o /tmp/evaluation-result-3735960-1338714015/solver-3735960-1338714015 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735960-1338714015.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=1157746550 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26317592 kB Buffers: 607852 kB Cached: 5026788 kB SwapCached: 2308 kB Active: 2482380 kB Inactive: 3167188 kB Active(anon): 5932 kB Inactive(anon): 9240 kB Active(file): 2476448 kB Inactive(file): 3157948 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 15364 kB Mapped: 13308 kB Shmem: 96 kB Slab: 766968 kB SReclaimable: 210716 kB SUnreclaim: 556252 kB KernelStack: 1408 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 108100 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70436 MiB End job on node125 at 2012-06-03 11:15:40