Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 26 | 1800.06 | 922.778 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 0.238963 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6148 |
Total number of constraints | 19000 |
Number of constraints which are clauses | 19000 |
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 | 2987 |
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 | 2987 |
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 | 2987 |
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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3735751-1338696544.opb 0.07/0.13 c reading problem ... 0.98/0.51 c ... done. Wall clock time 0.375s. 0.98/0.51 c #vars 6148 0.98/0.51 c #constraints 19000 0.98/0.51 c constraints type 0.98/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 0.98/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 0.98/0.51 c constraints type 0.98/0.51 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 0.98/0.51 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 0.98/0.59 c And the winner is CuttingPlanes 1.39/1.03 c SATISFIABLE 1.39/1.03 c OPTIMIZING... 1.39/1.03 c Got one! Elapsed wall clock time (in seconds):0.891 1.39/1.03 o 37 1.39/1.07 c And the winner is Resolution 1.72/1.55 c Got one! Elapsed wall clock time (in seconds):1.417 1.72/1.55 o 36 1.90/1.67 c And the winner is Resolution 2.42/2.07 c Got one! Elapsed wall clock time (in seconds):1.937 2.42/2.07 o 29 3.39/2.44 c And the winner is Resolution 3.50/2.59 c Got one! Elapsed wall clock time (in seconds):2.451 3.50/2.59 o 28 7.43/4.55 c cleaning 2981 clauses out of 5965 with flag 5001/5965 10.47/6.00 c And the winner is Resolution 10.52/6.13 c Got one! Elapsed wall clock time (in seconds):5.999 10.52/6.13 o 27 11.73/6.77 c cleaning 4467 clauses out of 8935 with flag 2000/11916 16.32/9.09 c cleaning 5230 clauses out of 10468 with flag 8000/17916 21.08/11.44 c cleaning 6107 clauses out of 12238 with flag 15000/24916 26.88/14.32 c cleaning 7063 clauses out of 14132 with flag 23001/32917 33.07/17.43 c cleaning 8027 clauses out of 16069 with flag 32001/41917 39.64/20.80 c cleaning 9020 clauses out of 18041 with flag 42000/51916 46.97/24.44 c cleaning 9998 clauses out of 20021 with flag 53000/62916 55.32/28.63 c cleaning 11003 clauses out of 22023 with flag 65000/74916 58.66/30.39 c And the winner is Resolution 58.80/30.70 c Got one! Elapsed wall clock time (in seconds):30.569 58.80/30.70 o 26 59.18/30.99 c cleaning 8453 clauses out of 16918 with flag 1001/80814 63.12/33.00 c cleaning 7222 clauses out of 14464 with flag 7000/86813 67.84/35.30 c cleaning 7119 clauses out of 14243 with flag 14001/93814 72.36/37.64 c cleaning 7549 clauses out of 15123 with flag 22000/101813 79.69/41.37 c cleaning 8282 clauses out of 16575 with flag 31001/110814 87.05/45.08 c cleaning 9145 clauses out of 18293 with flag 41001/120814 94.37/48.77 c cleaning 10066 clauses out of 20147 with flag 52000/131813 103.68/53.42 c cleaning 11033 clauses out of 22081 with flag 64000/143813 112.20/57.76 c cleaning 12017 clauses out of 24048 with flag 77000/156813 123.50/63.43 c cleaning 13007 clauses out of 26032 with flag 91001/170814 133.82/68.68 c cleaning 14008 clauses out of 28025 with flag 106001/185814 143.31/73.44 c cleaning 14999 clauses out of 30017 with flag 122001/201814 154.63/79.13 c cleaning 16001 clauses out of 32018 with flag 139001/218814 165.33/84.54 c cleaning 16998 clauses out of 34016 with flag 157000/236813 179.65/91.70 c cleaning 17997 clauses out of 36018 with flag 176000/255813 193.91/98.92 c cleaning 18509 clauses out of 37022 with flag 195001/274814 207.69/105.85 c cleaning 18746 clauses out of 37512 with flag 214000/293813 221.98/113.00 c cleaning 18875 clauses out of 37766 with flag 233000/312813 234.50/119.31 c cleaning 18935 clauses out of 37891 with flag 252000/331813 247.14/125.70 c cleaning 18971 clauses out of 37956 with flag 271000/350813 261.84/133.11 c cleaning 18987 clauses out of 37986 with flag 290001/369814 275.90/140.24 c cleaning 18994 clauses out of 37999 with flag 309001/388814 288.60/146.67 c cleaning 18995 clauses out of 38004 with flag 328000/407813 301.63/153.24 c cleaning 18986 clauses out of 38009 with flag 347000/426813 315.72/160.34 c cleaning 19008 clauses out of 38025 with flag 366002/445815 328.19/166.64 c cleaning 18999 clauses out of 38015 with flag 385000/464813 341.26/173.23 c cleaning 18999 clauses out of 38016 with flag 404000/483813 356.46/180.97 c cleaning 19002 clauses out of 38018 with flag 423001/502814 370.53/188.04 c cleaning 19002 clauses out of 38017 with flag 442002/521815 383.99/194.85 c cleaning 18997 clauses out of 38014 with flag 461001/540814 397.24/201.58 c cleaning 18999 clauses out of 38016 with flag 480000/559813 411.03/208.58 c cleaning 18998 clauses out of 38018 with flag 499001/578814 424.52/215.37 c cleaning 19003 clauses out of 38019 with flag 518000/597813 436.76/221.50 c cleaning 19004 clauses out of 38017 with flag 537001/616814 448.00/227.27 c cleaning 18997 clauses out of 38012 with flag 556000/635813 460.53/233.67 c cleaning 18998 clauses out of 38015 with flag 575000/654813 472.16/239.50 c cleaning 19003 clauses out of 38019 with flag 594002/673815 484.17/245.66 c cleaning 18999 clauses out of 38014 with flag 613000/692813 496.97/252.16 c cleaning 18996 clauses out of 38015 with flag 632000/711813 510.10/258.81 c cleaning 19005 clauses out of 38019 with flag 651000/730813 521.52/264.67 c cleaning 19002 clauses out of 38015 with flag 670001/749814 532.94/270.44 c cleaning 18994 clauses out of 38013 with flag 689001/768814 544.32/276.29 c cleaning 19006 clauses out of 38019 with flag 708001/787814 558.45/283.45 c cleaning 18997 clauses out of 38012 with flag 727000/806813 572.88/290.78 c cleaning 19003 clauses out of 38017 with flag 746002/825815 586.70/297.75 c cleaning 18998 clauses out of 38013 with flag 765001/844814 601.33/305.16 c cleaning 18997 clauses out of 38014 with flag 784000/863813 616.23/312.75 c cleaning 18995 clauses out of 38017 with flag 803000/882813 630.22/319.83 c cleaning 19006 clauses out of 38024 with flag 822002/901815 644.02/326.89 c cleaning 19003 clauses out of 38017 with flag 841001/920814 657.18/333.56 c cleaning 18995 clauses out of 38014 with flag 860001/939814 670.43/340.37 c cleaning 19002 clauses out of 38018 with flag 879000/958813 684.18/347.31 c cleaning 19002 clauses out of 38016 with flag 898000/977813 698.52/354.68 c cleaning 19002 clauses out of 38015 with flag 917001/996814 714.04/362.55 c cleaning 19000 clauses out of 38012 with flag 936000/1015813 728.05/369.79 c cleaning 18998 clauses out of 38013 with flag 955001/1034814 742.18/376.92 c cleaning 18996 clauses out of 38014 with flag 974000/1053813 755.52/383.78 c cleaning 19006 clauses out of 38018 with flag 993000/1072813 768.67/390.48 c cleaning 19000 clauses out of 38012 with flag 1012000/1091813 781.45/397.09 c cleaning 18999 clauses out of 38012 with flag 1031000/1110813 794.76/403.88 c cleaning 18999 clauses out of 38016 with flag 1050003/1129816 807.88/410.52 c cleaning 18995 clauses out of 38014 with flag 1069000/1148813 820.60/417.08 c cleaning 19000 clauses out of 38019 with flag 1088000/1167813 834.18/424.04 c cleaning 19008 clauses out of 38019 with flag 1107000/1186813 847.28/430.77 c cleaning 19000 clauses out of 38011 with flag 1126000/1205813 861.00/437.77 c cleaning 18999 clauses out of 38012 with flag 1145001/1224814 874.29/444.55 c cleaning 18996 clauses out of 38013 with flag 1164001/1243814 889.05/452.19 c cleaning 18997 clauses out of 38016 with flag 1183000/1262813 903.95/459.72 c cleaning 18994 clauses out of 38019 with flag 1202000/1281813 918.03/466.92 c cleaning 19006 clauses out of 38026 with flag 1221001/1300814 930.91/473.57 c cleaning 19005 clauses out of 38020 with flag 1240001/1319814 943.42/480.04 c cleaning 18987 clauses out of 38014 with flag 1259000/1338813 956.10/486.53 c cleaning 19007 clauses out of 38027 with flag 1278000/1357813 970.20/493.71 c cleaning 19000 clauses out of 38020 with flag 1297000/1376813 982.70/500.11 c cleaning 19004 clauses out of 38021 with flag 1316001/1395814 995.19/506.64 c cleaning 19002 clauses out of 38017 with flag 1335001/1414814 1009.45/513.91 c cleaning 19002 clauses out of 38016 with flag 1354002/1433815 1023.54/521.19 c cleaning 18991 clauses out of 38012 with flag 1373000/1452813 1036.58/527.83 c cleaning 19006 clauses out of 38022 with flag 1392001/1471814 1049.47/534.58 c cleaning 19002 clauses out of 38015 with flag 1411000/1490813 1062.36/541.18 c cleaning 18997 clauses out of 38013 with flag 1430000/1509813 1074.63/547.49 c cleaning 19004 clauses out of 38017 with flag 1449001/1528814 1087.28/553.99 c cleaning 18995 clauses out of 38012 with flag 1468000/1547813 1100.34/560.74 c cleaning 19000 clauses out of 38019 with flag 1487002/1566815 1113.18/567.40 c cleaning 19002 clauses out of 38018 with flag 1506001/1585814 1126.43/574.14 c cleaning 19001 clauses out of 38015 with flag 1525000/1604813 1139.47/580.83 c cleaning 19002 clauses out of 38014 with flag 1544000/1623813 1152.51/587.62 c cleaning 19000 clauses out of 38013 with flag 1563001/1642814 1165.56/594.35 c cleaning 18996 clauses out of 38012 with flag 1582000/1661813 1177.99/600.78 c cleaning 19002 clauses out of 38018 with flag 1601002/1680815 1192.01/607.97 c cleaning 18998 clauses out of 38014 with flag 1620000/1699813 1205.30/614.88 c cleaning 18998 clauses out of 38016 with flag 1639000/1718813 1218.73/621.78 c cleaning 19000 clauses out of 38022 with flag 1658004/1737817 1231.78/628.42 c cleaning 19003 clauses out of 38018 with flag 1677000/1756813 1245.02/635.26 c cleaning 19003 clauses out of 38015 with flag 1696000/1775813 1259.66/642.88 c cleaning 19000 clauses out of 38012 with flag 1715000/1794813 1274.73/650.52 c cleaning 19001 clauses out of 38013 with flag 1734001/1813814 1288.95/657.81 c cleaning 18996 clauses out of 38013 with flag 1753002/1832815 1302.96/665.07 c cleaning 18992 clauses out of 38016 with flag 1772001/1851814 1316.99/672.36 c cleaning 19006 clauses out of 38025 with flag 1791002/1870815 1331.19/679.66 c cleaning 18998 clauses out of 38019 with flag 1810002/1889815 1345.83/687.18 c cleaning 18999 clauses out of 38020 with flag 1829001/1908814 1359.66/694.28 c cleaning 19007 clauses out of 38023 with flag 1848003/1927816 1375.81/702.62 c cleaning 18994 clauses out of 38013 with flag 1867000/1946813 1390.61/710.23 c cleaning 18994 clauses out of 38019 with flag 1886000/1965813 1403.84/717.09 c cleaning 19004 clauses out of 38025 with flag 1905000/1984813 1416.44/723.56 c cleaning 19009 clauses out of 38021 with flag 1924000/2003813 1429.36/730.38 c cleaning 18999 clauses out of 38013 with flag 1943001/2022814 1442.97/737.39 c cleaning 18985 clauses out of 38013 with flag 1962000/2041813 1456.75/744.48 c cleaning 19002 clauses out of 38028 with flag 1981000/2060813 1470.35/751.48 c cleaning 19003 clauses out of 38026 with flag 2000000/2079813 1481.45/757.35 c cleaning 18998 clauses out of 38023 with flag 2019000/2098813 1492.45/763.09 c cleaning 19004 clauses out of 38025 with flag 2038000/2117813 1505.01/769.50 c cleaning 19003 clauses out of 38021 with flag 2057000/2136813 1519.20/776.85 c cleaning 18997 clauses out of 38018 with flag 2076000/2155813 1533.16/784.16 c cleaning 19001 clauses out of 38021 with flag 2095000/2174813 1546.95/791.27 c cleaning 19005 clauses out of 38021 with flag 2114001/2193814 1558.70/797.31 c cleaning 19004 clauses out of 38015 with flag 2133000/2212813 1570.67/803.56 c cleaning 18991 clauses out of 38011 with flag 2152000/2231813 1583.98/810.56 c cleaning 18997 clauses out of 38020 with flag 2171000/2250813 1597.18/817.33 c cleaning 19008 clauses out of 38024 with flag 2190001/2269814 1610.35/824.17 c cleaning 19003 clauses out of 38015 with flag 2209000/2288813 1624.71/831.56 c cleaning 18993 clauses out of 38012 with flag 2228000/2307813 1639.83/839.47 c cleaning 18999 clauses out of 38020 with flag 2247001/2326814 1655.56/847.50 c cleaning 18998 clauses out of 38021 with flag 2266001/2345814 1670.92/855.48 c cleaning 19007 clauses out of 38022 with flag 2285000/2364813 1686.31/863.35 c cleaning 18998 clauses out of 38015 with flag 2304000/2383813 1701.55/871.37 c cleaning 19000 clauses out of 38017 with flag 2323000/2402813 1716.16/878.89 c cleaning 18994 clauses out of 38017 with flag 2342000/2421813 1730.66/886.38 c cleaning 18998 clauses out of 38023 with flag 2361000/2440813 1742.82/892.67 c cleaning 19003 clauses out of 38026 with flag 2380001/2459814 1756.25/899.78 c cleaning 19002 clauses out of 38024 with flag 2399002/2478815 1769.17/906.43 c cleaning 18999 clauses out of 38020 with flag 2418000/2497813 1781.90/913.07 c cleaning 19003 clauses out of 38021 with flag 2437000/2516813 1793.61/919.10 c cleaning 18998 clauses out of 38019 with flag 2456001/2535814 1800.06/922.71 c starts : 236 1800.06/922.71 c conflicts : 2545178 1800.06/922.71 c decisions : 9482527 1800.06/922.71 c propagations : 3561350845 1800.06/922.71 c inspects : 3891718834 1800.06/922.71 c shortcuts : 0 1800.06/922.71 c learnt literals : 0 1800.06/922.71 c learnt binary clauses : 0 1800.06/922.71 c learnt ternary clauses : 1 1800.06/922.71 c learnt constraints : 2545178 1800.06/922.71 c ignored constraints : 0 1800.06/922.71 c root simplifications : 0 1800.06/922.71 c removed literals (reason simplification) : 3162740 1800.06/922.71 c reason swapping (by a shorter reason) : 0 1800.06/922.71 c Calls to reduceDB : 144 1800.06/922.71 c number of reductions to clauses (during analyze) : 0 1800.06/922.71 c number of learned constraints concerned by reduction : 0 1800.06/922.71 c number of learning phase by resolution : 0 1800.06/922.71 c number of learning phase by cutting planes : 0 1800.06/922.71 c speed (assignments/second) : 3992525.618129943 1800.06/922.71 c non guided choices 18392 1800.06/922.73 c learnt constraints type 1800.06/922.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28421 1800.06/922.73 c constraints type 1800.06/922.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1800.06/922.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.06/922.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1800.06/922.73 c constraints type 1800.06/922.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1800.06/922.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1800.06/922.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.06/922.73 s SATISFIABLE 1800.06/922.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 x5740 -x5741 -x5742 x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 x6140 -x6141 -x6142 x6143 x6144 -x6145 -x6146 x6147 x6148 1800.06/922.75 c objective function=26 1800.06/922.75 c Total wall clock time (in seconds): 922.614
OK 26
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735751-1338696544/watcher-3735751-1338696544 -o /tmp/evaluation-result-3735751-1338696544/solver-3735751-1338696544 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735751-1338696544.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: 3.85 3.97 3.92 5/195 17949 /proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/17949/stat : 17949 (java) R 17947 17949 4583 0 -1 4202496 243 0 0 0 0 0 0 0 20 0 1 0 335779822 9515008 178 33554432000 1073741824 1073778376 140733506354064 140733506336792 229355588918 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/17949/statm: 2331 183 140 9 0 79 0 [startup+0.0663231 s] /proc/loadavg: 3.85 3.97 3.92 5/195 17949 /proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 4348 0 1 0 3 1 0 0 20 0 13 0 335779822 11523600384 11689 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2813379 11690 1706 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100255 s] /proc/loadavg: 3.85 3.97 3.92 5/195 17949 /proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 4524 0 1 0 6 1 0 0 20 0 18 0 335779822 11864465408 12376 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2896598 12376 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300216 s] /proc/loadavg: 3.85 3.97 3.92 5/195 17949 /proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11586392 CPUtime=0.45 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 6926 0 1 0 43 2 0 0 20 0 18 0 335779822 11864465408 15634 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2896598 15634 2221 9 0 2887285 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 11586392 [startup+0.700252 s] /proc/loadavg: 3.85 3.97 3.92 5/195 17949 /proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=1.39 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 11269 0 1 0 134 5 0 0 20 0 19 0 335779822 12137111552 29021 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 29021 2256 9 0 2953849 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 11852648 [startup+1.50067 s] /proc/loadavg: 3.85 3.97 3.92 3/214 17971 /proc/meminfo: memFree=22036312/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=1.72 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 13018 0 1 0 165 7 0 0 20 0 19 0 335779822 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 31474 2259 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.51 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3471 0 1 0 48 3 0 0 20 0 19 0 335779823 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779826 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335779827 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335779827 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.43 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 3866 0 0 0 43 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 4365 0 0 0 49 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 11852648 [startup+3.10059 s] /proc/loadavg: 3.85 3.97 3.92 8/217 17980 /proc/meminfo: memFree=22007008/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=4.61 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 18390 0 1 0 449 12 0 0 20 0 22 0 335779822 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 40849 2266 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.56 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3474 0 1 0 53 3 0 0 20 0 22 0 335779823 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335779826 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.88 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7644 0 0 0 86 2 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.86 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5896 0 0 0 85 1 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 11852648 [startup+6.30062 s] /proc/loadavg: 3.86 3.97 3.92 6/217 17983 /proc/meminfo: memFree=21429280/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=10.93 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 18884 0 1 0 1065 28 0 0 20 0 22 0 335779822 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 221100 2291 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.57 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3476 0 1 0 54 3 0 0 20 0 22 0 335779823 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 335779826 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7649 0 0 0 94 2 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5952 0 0 0 95 1 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.93 Current children cumulated vsize (KiB) 11852648 [startup+12.7008 s] /proc/loadavg: 3.87 3.97 3.92 4/217 17986 /proc/meminfo: memFree=20602340/32873852 swapFree=6856/6856 ################ # More data... # ################ /proc/17949/statm: 2963162 957013 2293 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3539 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 123 0 0 0 122 5 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.32 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 112 0 0 0 129 3 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.46 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 154 0 0 0 142 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 149 0 0 0 129 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.37 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 133 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 126 0 0 0 138 5 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.36 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 98 0 0 0 132 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.24 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 121 0 0 0 121 3 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=44.02 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 180 0 0 0 4387 15 0 0 20 0 22 0 335779826 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 51 0 0 0 17 14 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=802.52 cores=0,2,4,6 /proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 115 0 0 0 80237 15 0 0 20 0 22 0 335782893 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030974906689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=802.55 cores=0,2,4,6 /proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 483 0 0 0 80223 32 0 0 20 0 22 0 335782893 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030908947296 140030975414053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1722.64 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+922.701 s] /proc/loadavg: 3.83 3.92 3.90 5/217 18078 /proc/meminfo: memFree=18240980/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 21598 0 1 0 179865 141 0 0 20 0 22 0 335779822 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 959064 2293 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3541 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.35 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 124 0 0 0 130 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 141 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 155 0 0 0 149 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 151 0 0 0 139 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 116 0 0 0 144 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.52 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 127 0 0 0 147 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 103 0 0 0 141 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.34 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 122 0 0 0 131 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=47.73 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 182 0 0 0 4758 15 0 0 20 0 22 0 335779826 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=838.87 cores=0,2,4,6 /proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 123 0 0 0 83872 15 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030975064847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=838.92 cores=0,2,4,6 /proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 484 0 0 0 83860 32 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030908947136 140030974905765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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.83 3.92 3.90 5/217 18078 /proc/meminfo: memFree=18240980/32873852 swapFree=6856/6856 [pid=17949] ppid=17947 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6 /proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 21598 0 1 0 179865 141 0 0 20 0 22 0 335779822 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17949/statm: 2963162 959064 2293 9 0 2953849 0 [pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6 /proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3541 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.35 cores=0,2,4,6 /proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 124 0 0 0 130 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 141 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.54 cores=0,2,4,6 /proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 155 0 0 0 149 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6 /proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 151 0 0 0 139 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 116 0 0 0 144 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.52 cores=0,2,4,6 /proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 127 0 0 0 147 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 103 0 0 0 141 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.34 cores=0,2,4,6 /proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 122 0 0 0 131 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=47.73 cores=0,2,4,6 /proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 182 0 0 0 4758 15 0 0 20 0 22 0 335779826 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6 /proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=838.87 cores=0,2,4,6 /proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 123 0 0 0 83872 15 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030975064847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=838.92 cores=0,2,4,6 /proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 484 0 0 0 83860 32 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030908947136 140030974905765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17949 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=259231 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=881713 # CPU time returned by wait4() is 1796.14 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 922.778 CPU time (s): 1800.06 CPU user time (s): 1798.65 CPU system time (s): 1.41 CPU usage (%): 195.07 Max. virtual memory (cumulated for all children) (KiB): 11853744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.26 system time used= 1.88171 maximum resident set size= 3836372 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21629 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29113 involuntary context switches= 34891 runsolver used 3.57046 second user time and 7.74382 second system time The end
Begin job on node129 at 2012-06-03 06:09:04 IDJOB=3735751 IDBENCH=24991 IDSOLVER=2328 FILE ID=node129/3735751-1338696544 RUNJOBID= node129-1338679212-13349 PBS_JOBID= 14636684 Free space on /tmp= 70484 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_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-3735751-1338696544/watcher-3735751-1338696544 -o /tmp/evaluation-result-3735751-1338696544/solver-3735751-1338696544 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735751-1338696544.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=1857466493 node129.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.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 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.957 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.957 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.91 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.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 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.90 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.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.957 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.90 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.957 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 22143892 kB Buffers: 461392 kB Cached: 5617788 kB SwapCached: 0 kB Active: 6306348 kB Inactive: 3530868 kB Active(anon): 3749500 kB Inactive(anon): 10748 kB Active(file): 2556848 kB Inactive(file): 3520120 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 3772292 kB Mapped: 22480 kB Shmem: 204 kB Slab: 741120 kB SReclaimable: 183348 kB SUnreclaim: 557772 kB KernelStack: 1608 kB PageTables: 11188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 10456676 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 3729408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70484 MiB End job on node129 at 2012-06-03 06:24:28