Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 29 | 1800.37 | 921.047 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 2.41263 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
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 | 63 |
Number of terms in the objective function | 2817 |
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 | 2817 |
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 | 2817 |
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.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.06/0.10 c version 2.2.0.v20100531 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 1349517296 0.06/0.10 c Max memory 1356595200 0.06/0.10 c Total memory 1356595200 0.06/0.10 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c Stops conflict analysis at the first Unique Implication Point 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 0.06/0.13 c solving HOME/instance-3735561-1338748905.opb 0.06/0.13 c reading problem ... 1.06/0.52 c ... done. Wall clock time 0.39s. 1.06/0.52 c #vars 5828 1.06/0.52 c #constraints 17411 1.06/0.52 c constraints type 1.06/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020 1.06/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108 1.06/0.52 c constraints type 1.06/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1.06/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1.43/0.67 c And the winner is CuttingPlanes 1.86/1.53 c SATISFIABLE 1.86/1.53 c OPTIMIZING... 1.86/1.53 c Got one! Elapsed wall clock time (in seconds):1.404 1.86/1.53 o 39 2.09/1.64 c And the winner is Resolution 2.38/2.56 c Got one! Elapsed wall clock time (in seconds):2.427 2.38/2.56 o 38 2.53/2.62 c And the winner is Resolution 2.68/3.58 c Got one! Elapsed wall clock time (in seconds):3.449 2.68/3.58 o 37 2.76/3.64 c And the winner is Resolution 2.93/4.59 c Got one! Elapsed wall clock time (in seconds):4.462 2.93/4.59 o 35 2.95/4.67 c And the winner is Resolution 3.59/5.60 c Got one! Elapsed wall clock time (in seconds):5.473 3.59/5.60 o 33 3.85/5.77 c And the winner is Resolution 4.05/6.61 c Got one! Elapsed wall clock time (in seconds):6.483 4.05/6.61 o 32 6.92/8.09 c cleaning 2498 clauses out of 5000 with flag 5000/5000 7.33/8.26 c And the winner is Resolution 7.55/8.62 c Got one! Elapsed wall clock time (in seconds):8.492 7.55/8.62 o 31 11.23/10.44 c cleaning 4248 clauses out of 8503 with flag 11001/11001 15.90/12.75 c cleaning 5624 clauses out of 11255 with flag 18001/18001 20.89/15.28 c cleaning 6811 clauses out of 13631 with flag 26001/26001 26.46/18.08 c cleaning 7902 clauses out of 15821 with flag 35002/35002 32.88/21.20 c And the winner is Resolution 35.05/23.63 c Got one! Elapsed wall clock time (in seconds):23.503 35.05/23.63 o 30 35.05/23.67 c cleaning 8957 clauses out of 17918 with flag 45001/45001 41.40/26.80 c cleaning 9977 clauses out of 19961 with flag 56001/56001 49.62/30.94 c cleaning 10987 clauses out of 21984 with flag 68001/68001 58.35/35.30 c cleaning 11992 clauses out of 23997 with flag 81001/81001 66.74/39.60 c cleaning 12991 clauses out of 26004 with flag 95000/95000 76.28/44.34 c cleaning 13998 clauses out of 28013 with flag 110000/110000 86.06/49.22 c cleaning 15001 clauses out of 30017 with flag 126002/126002 97.68/55.17 c cleaning 15998 clauses out of 32014 with flag 143000/143000 108.51/60.59 c cleaning 17003 clauses out of 34016 with flag 161000/161000 119.81/66.26 c cleaning 17497 clauses out of 35013 with flag 179000/179000 131.58/72.13 c cleaning 17750 clauses out of 35516 with flag 197000/197000 144.50/78.66 c cleaning 17879 clauses out of 35766 with flag 215000/215000 155.87/84.31 c cleaning 17941 clauses out of 35887 with flag 233000/233000 169.49/91.12 c cleaning 17959 clauses out of 35946 with flag 251000/251000 182.68/97.77 c cleaning 17985 clauses out of 35987 with flag 269000/269000 195.18/104.09 c cleaning 17998 clauses out of 36003 with flag 287001/287001 207.75/110.31 c cleaning 17983 clauses out of 36005 with flag 305001/305001 219.47/116.27 c cleaning 18007 clauses out of 36022 with flag 323001/323001 231.62/122.34 c cleaning 18003 clauses out of 36015 with flag 341001/341001 243.94/128.51 c cleaning 18001 clauses out of 36011 with flag 359000/359000 256.10/134.63 c cleaning 17999 clauses out of 36011 with flag 377001/377001 269.05/141.16 c cleaning 18003 clauses out of 36011 with flag 395000/395000 280.96/147.13 c cleaning 17999 clauses out of 36009 with flag 413001/413001 292.61/153.03 c cleaning 17999 clauses out of 36009 with flag 431000/431000 306.34/159.93 c cleaning 17997 clauses out of 36012 with flag 449002/449002 318.50/166.05 c cleaning 17997 clauses out of 36013 with flag 467000/467000 331.02/172.39 c cleaning 18002 clauses out of 36016 with flag 485000/485000 345.46/179.65 c cleaning 18004 clauses out of 36014 with flag 503000/503000 359.02/186.45 c cleaning 17993 clauses out of 36010 with flag 521000/521000 371.57/192.78 c cleaning 18001 clauses out of 36017 with flag 539000/539000 384.30/199.16 c cleaning 18002 clauses out of 36016 with flag 557000/557000 397.50/205.87 c cleaning 18003 clauses out of 36014 with flag 575000/575000 410.22/212.22 c cleaning 17996 clauses out of 36011 with flag 593000/593000 422.10/218.23 c cleaning 17993 clauses out of 36015 with flag 611000/611000 435.02/224.72 c cleaning 18006 clauses out of 36023 with flag 629001/629001 446.97/230.83 c cleaning 18003 clauses out of 36016 with flag 647000/647000 459.64/237.27 c cleaning 17997 clauses out of 36013 with flag 665000/665000 471.70/243.35 c cleaning 18000 clauses out of 36016 with flag 683000/683000 482.37/248.74 c cleaning 17999 clauses out of 36016 with flag 701000/701000 492.30/253.89 c cleaning 17999 clauses out of 36017 with flag 719000/719000 503.94/259.79 c cleaning 18003 clauses out of 36019 with flag 737001/737001 515.59/265.64 c cleaning 18002 clauses out of 36016 with flag 755001/755001 528.07/271.91 c cleaning 17990 clauses out of 36013 with flag 773000/773000 539.88/277.97 c cleaning 17997 clauses out of 36023 with flag 791000/791000 551.35/283.80 c cleaning 18007 clauses out of 36027 with flag 809001/809001 562.75/289.53 c cleaning 17996 clauses out of 36019 with flag 827000/827000 573.77/295.19 c cleaning 18003 clauses out of 36024 with flag 845001/845001 585.49/301.18 c cleaning 18001 clauses out of 36021 with flag 863001/863001 596.75/306.88 c cleaning 18002 clauses out of 36019 with flag 881000/881000 607.85/312.47 c cleaning 18001 clauses out of 36018 with flag 899001/899001 619.51/318.37 c cleaning 17998 clauses out of 36016 with flag 917000/917000 630.68/324.10 c cleaning 17993 clauses out of 36018 with flag 935000/935000 641.75/329.65 c cleaning 18001 clauses out of 36025 with flag 953000/953000 653.98/335.86 c cleaning 18004 clauses out of 36024 with flag 971000/971000 665.24/341.52 c cleaning 17997 clauses out of 36020 with flag 989000/989000 675.96/347.08 c cleaning 18004 clauses out of 36023 with flag 1007000/1007000 687.84/353.08 c cleaning 18003 clauses out of 36019 with flag 1025000/1025000 700.23/359.37 c cleaning 17993 clauses out of 36017 with flag 1043001/1043001 713.07/365.81 c cleaning 18000 clauses out of 36023 with flag 1061000/1061000 725.43/372.18 c cleaning 18001 clauses out of 36023 with flag 1079000/1079000 737.52/378.30 c cleaning 18005 clauses out of 36023 with flag 1097001/1097001 749.13/384.19 c cleaning 18003 clauses out of 36017 with flag 1115000/1115000 760.76/390.07 c cleaning 17994 clauses out of 36015 with flag 1133001/1133001 772.51/396.07 c cleaning 18001 clauses out of 36021 with flag 1151001/1151001 784.18/401.99 c cleaning 17998 clauses out of 36019 with flag 1169000/1169000 796.60/408.22 c cleaning 18000 clauses out of 36021 with flag 1187000/1187000 809.03/414.52 c cleaning 18004 clauses out of 36022 with flag 1205001/1205001 821.38/420.85 c cleaning 18004 clauses out of 36017 with flag 1223000/1223000 833.86/427.19 c cleaning 17996 clauses out of 36013 with flag 1241000/1241000 846.30/433.46 c cleaning 17996 clauses out of 36017 with flag 1259000/1259000 859.07/439.86 c cleaning 18004 clauses out of 36021 with flag 1277000/1277000 871.53/446.28 c cleaning 17996 clauses out of 36018 with flag 1295001/1295001 883.59/452.35 c cleaning 18001 clauses out of 36021 with flag 1313000/1313000 896.05/458.68 c cleaning 18006 clauses out of 36020 with flag 1331000/1331000 908.32/464.86 c cleaning 18002 clauses out of 36014 with flag 1349000/1349000 920.01/470.87 c cleaning 17988 clauses out of 36012 with flag 1367000/1367000 933.86/477.84 c cleaning 18003 clauses out of 36027 with flag 1385003/1385003 945.12/483.58 c cleaning 18003 clauses out of 36021 with flag 1403000/1403000 956.38/489.26 c cleaning 17999 clauses out of 36018 with flag 1421000/1421000 970.07/496.20 c cleaning 17997 clauses out of 36019 with flag 1439000/1439000 982.70/502.63 c cleaning 18000 clauses out of 36022 with flag 1457000/1457000 994.36/508.55 c cleaning 18007 clauses out of 36022 with flag 1475000/1475000 1005.60/514.28 c cleaning 17997 clauses out of 36015 with flag 1493000/1493000 1017.50/520.32 c cleaning 17990 clauses out of 36018 with flag 1511000/1511000 1029.91/526.62 c cleaning 18009 clauses out of 36031 with flag 1529003/1529003 1043.52/533.51 c cleaning 18006 clauses out of 36022 with flag 1547003/1547003 1057.99/540.83 c cleaning 18000 clauses out of 36014 with flag 1565001/1565001 1072.06/548.00 c cleaning 17998 clauses out of 36014 with flag 1583001/1583001 1085.89/555.10 c cleaning 17997 clauses out of 36015 with flag 1601000/1601000 1099.95/562.19 c cleaning 18002 clauses out of 36018 with flag 1619000/1619000 1112.39/568.44 c cleaning 18002 clauses out of 36017 with flag 1637001/1637001 1124.04/574.46 c cleaning 17999 clauses out of 36014 with flag 1655000/1655000 1136.25/580.65 c cleaning 18001 clauses out of 36015 with flag 1673000/1673000 1148.47/586.81 c cleaning 17998 clauses out of 36014 with flag 1691000/1691000 1159.89/592.66 c cleaning 17996 clauses out of 36018 with flag 1709002/1709002 1171.75/598.75 c cleaning 18000 clauses out of 36020 with flag 1727000/1727000 1182.71/604.33 c cleaning 17994 clauses out of 36020 with flag 1745000/1745000 1194.94/610.56 c cleaning 18005 clauses out of 36027 with flag 1763001/1763001 1207.95/617.12 c cleaning 18007 clauses out of 36023 with flag 1781002/1781002 1222.48/624.65 c cleaning 17991 clauses out of 36014 with flag 1799000/1799000 1237.93/632.43 c cleaning 18001 clauses out of 36023 with flag 1817000/1817000 1253.54/640.33 c cleaning 17997 clauses out of 36022 with flag 1835000/1835000 1269.75/648.56 c cleaning 18007 clauses out of 36026 with flag 1853001/1853001 1285.59/656.63 c cleaning 17999 clauses out of 36018 with flag 1871000/1871000 1300.82/664.31 c cleaning 17995 clauses out of 36020 with flag 1889001/1889001 1316.41/672.24 c cleaning 18001 clauses out of 36024 with flag 1907000/1907000 1331.79/680.00 c cleaning 17998 clauses out of 36023 with flag 1925000/1925000 1347.38/688.04 c cleaning 17994 clauses out of 36025 with flag 1943000/1943000 1362.57/695.79 c cleaning 18001 clauses out of 36031 with flag 1961000/1961000 1377.35/703.28 c cleaning 18002 clauses out of 36030 with flag 1979000/1979000 1391.89/710.68 c cleaning 18007 clauses out of 36028 with flag 1997000/1997000 1404.39/717.12 c cleaning 18004 clauses out of 36021 with flag 2015000/2015000 1416.27/723.26 c cleaning 18002 clauses out of 36017 with flag 2033000/2033000 1430.39/730.41 c cleaning 18000 clauses out of 36015 with flag 2051000/2051000 1443.55/737.11 c cleaning 17998 clauses out of 36015 with flag 2069000/2069000 1456.25/743.77 c cleaning 18004 clauses out of 36019 with flag 2087002/2087002 1469.53/750.59 c cleaning 18003 clauses out of 36014 with flag 2105001/2105001 1482.86/757.33 c cleaning 17991 clauses out of 36010 with flag 2123000/2123000 1493.52/762.81 c cleaning 18005 clauses out of 36019 with flag 2141000/2141000 1505.22/768.93 c cleaning 17997 clauses out of 36014 with flag 2159000/2159000 1517.10/775.04 c cleaning 17993 clauses out of 36017 with flag 2177000/2177000 1530.06/781.68 c cleaning 18006 clauses out of 36024 with flag 2195000/2195000 1543.13/788.38 c cleaning 18003 clauses out of 36018 with flag 2213000/2213000 1557.04/795.58 c cleaning 17997 clauses out of 36015 with flag 2231000/2231000 1570.58/802.40 c cleaning 18006 clauses out of 36019 with flag 2249001/2249001 1583.66/809.12 c cleaning 18000 clauses out of 36013 with flag 2267001/2267001 1597.17/816.05 c cleaning 17994 clauses out of 36012 with flag 2285000/2285000 1610.27/822.88 c cleaning 17998 clauses out of 36018 with flag 2303000/2303000 1624.18/829.90 c cleaning 17997 clauses out of 36020 with flag 2321000/2321000 1638.16/837.07 c cleaning 18003 clauses out of 36023 with flag 2339000/2339000 1652.93/844.56 c cleaning 17999 clauses out of 36020 with flag 2357000/2357000 1668.61/852.66 c cleaning 18004 clauses out of 36021 with flag 2375000/2375000 1683.53/860.26 c cleaning 18000 clauses out of 36017 with flag 2393000/2393000 1686.10/861.71 c And the winner is CuttingPlanes 1686.10/861.75 c Got one! Elapsed wall clock time (in seconds):861.623 1686.10/861.75 o 29 1690.20/865.60 c cleaning 18000 clauses out of 36018 with flag 2411001/2411001 1700.46/870.82 c cleaning 18000 clauses out of 36018 with flag 2429001/2429001 1710.89/876.36 c cleaning 18001 clauses out of 36017 with flag 2447000/2447000 1721.17/881.63 c cleaning 17997 clauses out of 36016 with flag 2465000/2465000 1731.03/886.73 c cleaning 17997 clauses out of 36019 with flag 2483000/2483000 1740.93/891.89 c cleaning 18003 clauses out of 36023 with flag 2501001/2501001 1751.35/897.30 c cleaning 17989 clauses out of 36019 with flag 2519000/2519000 1761.24/902.49 c cleaning 18009 clauses out of 36032 with flag 2537002/2537002 1771.28/907.66 c cleaning 18003 clauses out of 36022 with flag 2555001/2555001 1781.34/912.82 c cleaning 17998 clauses out of 36018 with flag 2573000/2573000 1791.50/918.26 c cleaning 18001 clauses out of 36024 with flag 2591004/2591004 1796.71/921.01 c starts : 17 1796.71/921.01 c conflicts : 1803 1796.71/921.01 c decisions : 202910 1796.71/921.01 c propagations : 1100113 1796.71/921.01 c inspects : 11373479 1796.71/921.01 c learnt literals : 0 1796.71/921.01 c learnt binary clauses : 0 1796.71/921.01 c learnt ternary clauses : 0 1796.71/921.01 c learnt clauses : 1802 1796.71/921.01 c ignored clauses : 0 1796.71/921.01 c root simplifications : 0 1796.71/921.01 c removed literals (reason simplification) : 0 1796.71/921.01 c reason swapping (by a shorter reason) : 0 1796.71/921.01 c Calls to reduceDB : 0 1796.71/921.01 c number of reductions to clauses (during analyze) : 0 1796.71/921.01 c number of learned constraints concerned by reduction : 0 1796.71/921.01 c number of learning phase by resolution : 0 1796.71/921.01 c number of learning phase by cutting planes : 0 1796.71/921.01 c speed (assignments/second) : 18566.367947614468 1796.71/921.01 c non guided choices 0 1796.71/921.01 c learnt constraints type 1796.71/921.01 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 17 1796.71/921.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40 1796.71/921.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1745 1796.71/921.01 c constraints type 1796.71/921.01 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020 1796.71/921.01 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1796.71/921.01 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108 1796.71/921.01 c constraints type 1796.71/921.01 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1796.71/921.01 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1796.71/921.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1796.71/921.01 s SATISFIABLE 1796.71/921.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 x5826 x5827 x5828 1796.71/921.03 c objective function=29 1796.71/921.03 c Total wall clock time (in seconds): 920.903
OK 29
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-3735561-1338748905/watcher-3735561-1338748905 -o /tmp/evaluation-result-3735561-1338748905/solver-3735561-1338748905 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735561-1338748905.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.91 3.91 3.82 4/197 16553 /proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/16553/stat : 16553 (java6) D 16551 16553 13986 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341014907 2560000 46 33554432000 1073741824 1073778376 140736082133952 140736082131080 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/16553/statm: 625 46 37 9 0 29 0 [startup+0.0465799 s] /proc/loadavg: 3.91 3.91 3.82 4/197 16553 /proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2233952 CPUtime=0.02 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 3564 0 1 0 1 1 0 0 20 0 11 0 341014907 2287566848 4773 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 558488 4773 1591 9 0 549189 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2233952 [startup+0.100288 s] /proc/loadavg: 3.91 3.91 3.82 4/197 16553 /proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2699928 CPUtime=0.06 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 3898 0 1 0 5 1 0 0 20 0 18 0 341014907 2764726272 5616 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 674982 5616 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2699928 [startup+0.300262 s] /proc/loadavg: 3.91 3.91 3.82 4/197 16553 /proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2699928 CPUtime=0.46 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 5952 0 1 0 44 2 0 0 20 0 18 0 341014907 2764726272 8735 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 674982 8735 2218 9 0 665676 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 2699928 [startup+0.700274 s] /proc/loadavg: 3.91 3.91 3.82 4/197 16553 /proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=1.78 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15315 0 1 0 171 7 0 0 20 0 20 0 341014907 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 25941 2259 9 0 732240 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 2966184 [startup+1.50068 s] /proc/loadavg: 3.91 3.91 3.82 3/217 16575 /proc/meminfo: memFree=28190224/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=1.86 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15393 0 1 0 179 7 0 0 20 0 20 0 341014907 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 25941 2259 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.48 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2822 0 1 0 45 3 0 0 20 0 20 0 341014909 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.52 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5622 0 0 0 52 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=0.51 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 5697 0 0 0 50 1 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 3.91 3.91 3.82 3/217 16577 /proc/meminfo: memFree=28174888/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=2.68 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15627 0 1 0 257 11 0 0 20 0 20 0 341014907 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 32217 2262 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.52 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2824 0 1 0 49 3 0 0 20 0 20 0 341014909 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.71 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5716 0 0 0 71 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=0.72 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 5761 0 0 0 71 1 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 2966184 [startup+6.30073 s] /proc/loadavg: 3.76 3.88 3.81 3/217 16583 /proc/meminfo: memFree=28142128/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=4.05 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 20859 0 1 0 386 19 0 0 20 0 20 0 341014907 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 41287 2264 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.55 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2828 0 1 0 52 3 0 0 20 0 20 0 341014909 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.93 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5729 0 0 0 93 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.16 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10921 0 0 0 114 2 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [startup+861.801 s] /proc/loadavg: 3.86 3.90 3.83 5/219 16673 /proc/meminfo: memFree=27510716/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=1682.71 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 23994 0 1 0 168055 216 0 0 20 0 22 0 341014907 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 207791 2289 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2855 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.35 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 183 0 0 0 528 7 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.19 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 188 0 0 0 508 11 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.23 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 183 0 0 0 514 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.31 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 179 0 0 0 523 8 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=5.5 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 210 0 0 0 539 11 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.42 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 205 0 0 0 533 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=5.5 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 191 0 0 0 541 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.39 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 195 0 0 0 530 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=40.82 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 116 0 0 0 4016 66 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.42 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 51 0 0 0 22 20 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1682.71 Current children cumulated vsize (KiB) 2966184 # ############ [startup+882.301 s] /proc/loadavg: 3.78 3.87 3.83 4/219 16675 /proc/meminfo: memFree=27504324/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=1722.12 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 24067 0 1 0 171993 219 0 0 20 0 22 0 341014907 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 209368 2289 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2857 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.54 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 189 0 0 0 546 8 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.36 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 193 0 0 0 525 11 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.4 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 188 0 0 0 531 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.44 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 185 0 0 0 536 8 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=5.64 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 211 0 0 0 552 12 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.6 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 212 0 0 0 551 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=5.7 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 201 0 0 0 561 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.55 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 198 0 0 0 546 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=42.95 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 116 0 0 0 4228 67 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.43 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 51 0 0 0 23 20 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16674] ppid=16551 vsize=2966184 CPUtime=17.94 cores=1,3,5,7 /proc/16553/task/16674/stat : 16674 (java) R 16551 16553 13986 0 -1 4202560 10 0 0 0 1794 0 0 0 20 0 22 0 341101084 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689790722344 140689791269152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16675] ppid=16551 vsize=2966184 CPUtime=17.94 cores=1,3,5,7 /proc/16553/task/16675/stat : 16675 (java) R 16551 16553 13986 0 -1 4202560 22 0 0 0 1794 0 0 0 20 0 22 0 341101084 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689909727680 140689791627922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1722.12 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+921.001 s] /proc/loadavg: 3.74 3.86 3.82 5/219 16675 /proc/meminfo: memFree=27491664/32873844 swapFree=7644/7644 [pid=16553] ppid=16551 vsize=2966184 CPUtime=1796.71 cores=1,3,5,7 /proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 24204 0 1 0 179444 227 0 0 20 0 22 0 341014907 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/16553/statm: 741546 212509 2289 9 0 732240 0 [pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7 /proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2863 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.84 cores=1,3,5,7 /proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 207 0 0 0 576 8 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.73 cores=1,3,5,7 /proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 204 0 0 0 562 11 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.68 cores=1,3,5,7 /proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 198 0 0 0 559 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.76 cores=1,3,5,7 /proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 185 0 0 0 567 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=6 cores=1,3,5,7 /proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 222 0 0 0 588 12 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.97 cores=1,3,5,7 /proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 225 0 0 0 587 10 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=6.07 cores=1,3,5,7 /proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 213 0 0 0 597 10 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.87 cores=1,3,5,7 /proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 207 0 0 0 578 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=46.87 cores=1,3,5,7 /proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 118 0 0 0 4617 70 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7 /proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7 /proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.45 cores=1,3,5,7 /proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 53 0 0 0 24 21 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7 /proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16553/tid=16674] ppid=16551 vsize=2966184 CPUtime=51.86 cores=1,3,5,7 /proc/16553/task/16674/stat : 16674 (java) R 16551 16553 13986 0 -1 4202560 32 0 0 0 5186 0 0 0 20 0 22 0 341101084 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689790720576 140689791680092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16553/tid=16675] ppid=16551 vsize=2966184 CPUtime=51.84 cores=1,3,5,7 /proc/16553/task/16675/stat : 16675 (java) R 16551 16553 13986 0 -1 4202560 43 0 0 0 5184 0 0 0 20 0 22 0 341101084 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689909726432 140689791628060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.42001 # lost CPU user time (s): 3.64999 # lost CPU system time (s): -0.23 Real time (s): 921.047 CPU time (s): 1800.37 CPU user time (s): 1798.15 CPU system time (s): 2.22363 CPU usage (%): 195.47 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.5 system time used= 2.45363 maximum resident set size= 850156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24235 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60290 involuntary context switches= 109951 runsolver used 4.50531 second user time and 8.07977 second system time The end
Begin job on node147 at 2012-06-03 20:41:45 IDJOB=3735561 IDBENCH=24974 IDSOLVER=2324 FILE ID=node147/3735561-1338748905 RUNJOBID= node147-1338737348-14003 PBS_JOBID= 14636764 Free space on /tmp= 70772 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735561-1338748905/watcher-3735561-1338748905 -o /tmp/evaluation-result-3735561-1338748905/solver-3735561-1338748905 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735561-1338748905.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=486927169 node147.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.951 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.90 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.951 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.951 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.87 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.951 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.91 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28285096 kB Buffers: 458608 kB Cached: 2581004 kB SwapCached: 3380 kB Active: 2163656 kB Inactive: 1558228 kB Active(anon): 677712 kB Inactive(anon): 5908 kB Active(file): 1485944 kB Inactive(file): 1552320 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 516 kB Writeback: 0 kB AnonPages: 690260 kB Mapped: 17732 kB Shmem: 0 kB Slab: 722552 kB SReclaimable: 163460 kB SUnreclaim: 559092 kB KernelStack: 1624 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 636928 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= 70780 MiB End job on node147 at 2012-06-03 20:57:08