Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.46 | 927.114 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 8.94364 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6080 |
Total number of constraints | 18113 |
Number of constraints which are clauses | 18113 |
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 | 125 |
Number of terms in the objective function | 2975 |
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 | 2975 |
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 | 2975 |
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.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3454110-1307193559.opb 0.11/0.11 c reading problem ... 1.04/0.52 c ... done. Wall clock time 0.406s. 1.04/0.52 c #vars 6080 1.04/0.52 c #constraints 18113 1.04/0.52 c constraints type 1.04/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1.04/0.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1.04/0.52 c constraints type 1.04/0.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 1.04/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1.04/0.60 c And the winner is Resolution 1.36/1.04 c SATISFIABLE 1.36/1.04 c OPTIMIZING... 1.36/1.04 c Got one! Elapsed wall clock time (in seconds):0.925 1.36/1.04 o 37 1.36/1.08 c And the winner is Resolution 1.69/1.57 c Got one! Elapsed wall clock time (in seconds):1.453 1.69/1.57 o 36 1.81/1.68 c And the winner is Resolution 2.76/2.09 c Got one! Elapsed wall clock time (in seconds):1.977 2.76/2.09 o 33 2.83/2.13 c And the winner is Resolution 3.03/2.63 c Got one! Elapsed wall clock time (in seconds):2.514 3.03/2.63 o 32 3.03/2.67 c And the winner is Resolution 3.20/3.14 c Got one! Elapsed wall clock time (in seconds):3.031 3.20/3.14 o 30 3.20/3.19 c And the winner is Resolution 3.36/3.66 c Got one! Elapsed wall clock time (in seconds):3.543 3.36/3.66 o 29 5.19/4.59 c And the winner is Resolution 5.48/4.77 c Got one! Elapsed wall clock time (in seconds):4.662 5.48/4.77 o 28 7.76/5.92 c cleaning 3129 clauses out of 6262 with flag 3001/6262 11.69/7.84 c cleaning 4564 clauses out of 9132 with flag 9000/12261 16.07/10.01 c cleaning 5775 clauses out of 11568 with flag 16000/19261 21.23/12.63 c cleaning 6888 clauses out of 13793 with flag 24000/27261 26.70/15.37 c cleaning 7947 clauses out of 15905 with flag 33000/36261 31.05/17.58 c And the winner is Resolution 31.21/17.83 c Got one! Elapsed wall clock time (in seconds):17.722 31.21/17.83 o 27 33.36/18.97 c cleaning 10291 clauses out of 20592 with flag 5001/48895 36.90/20.73 c cleaning 8142 clauses out of 16300 with flag 11000/54894 41.25/22.93 c cleaning 7575 clauses out of 15159 with flag 18001/61895 46.01/25.37 c cleaning 7788 clauses out of 15583 with flag 26000/69894 51.52/28.19 c cleaning 8393 clauses out of 16795 with flag 35000/78894 58.45/31.60 c cleaning 9196 clauses out of 18402 with flag 45000/88894 65.63/35.25 c cleaning 10092 clauses out of 20206 with flag 56000/99894 74.70/39.83 c cleaning 11049 clauses out of 22115 with flag 68001/111895 83.07/44.08 c cleaning 12025 clauses out of 24065 with flag 81000/124894 92.78/48.91 c cleaning 13011 clauses out of 26041 with flag 95001/138895 101.91/53.55 c cleaning 14008 clauses out of 28029 with flag 110000/153894 113.82/59.53 c cleaning 15004 clauses out of 30021 with flag 126000/169894 125.75/65.54 c cleaning 16006 clauses out of 32019 with flag 143002/186896 137.48/71.45 c cleaning 16998 clauses out of 34012 with flag 161001/204895 149.98/77.77 c cleaning 17499 clauses out of 35014 with flag 179001/222895 162.44/84.07 c cleaning 17752 clauses out of 35515 with flag 197001/240895 174.16/89.98 c cleaning 17871 clauses out of 35763 with flag 215001/258895 186.27/96.08 c cleaning 17944 clauses out of 35892 with flag 233001/276895 199.24/102.55 c cleaning 17965 clauses out of 35948 with flag 251001/294895 212.08/109.01 c cleaning 17982 clauses out of 35983 with flag 269001/312895 225.17/115.63 c cleaning 17992 clauses out of 36000 with flag 287000/330894 239.10/122.62 c cleaning 17997 clauses out of 36009 with flag 305001/348895 250.60/128.45 c cleaning 17998 clauses out of 36011 with flag 323000/366894 263.24/134.81 c cleaning 17999 clauses out of 36013 with flag 341000/384894 275.31/140.95 c cleaning 18000 clauses out of 36014 with flag 359000/402894 287.79/147.23 c cleaning 18004 clauses out of 36014 with flag 377000/420894 299.67/153.21 c cleaning 17999 clauses out of 36010 with flag 395000/438894 311.65/159.31 c cleaning 18000 clauses out of 36012 with flag 413001/456895 325.15/166.17 c cleaning 17994 clauses out of 36011 with flag 431000/474894 336.76/172.04 c cleaning 18004 clauses out of 36018 with flag 449001/492895 348.21/177.82 c cleaning 17998 clauses out of 36014 with flag 467001/510895 359.82/183.78 c cleaning 18002 clauses out of 36015 with flag 485000/528894 373.23/190.56 c cleaning 17996 clauses out of 36013 with flag 503000/546894 387.28/197.60 c cleaning 18000 clauses out of 36017 with flag 521000/564894 400.52/204.33 c cleaning 17998 clauses out of 36018 with flag 539001/582895 412.67/210.54 c cleaning 18003 clauses out of 36019 with flag 557000/600894 423.90/216.29 c cleaning 18000 clauses out of 36016 with flag 575000/618894 436.94/222.89 c cleaning 17998 clauses out of 36016 with flag 593000/636894 449.96/229.43 c cleaning 18004 clauses out of 36019 with flag 611001/654895 461.88/235.50 c cleaning 18001 clauses out of 36014 with flag 629000/672894 475.12/242.21 c cleaning 18001 clauses out of 36013 with flag 647000/690894 488.72/249.13 c cleaning 18000 clauses out of 36013 with flag 665001/708895 500.13/254.91 c cleaning 17998 clauses out of 36012 with flag 683000/726894 511.48/260.75 c cleaning 17999 clauses out of 36014 with flag 701000/744894 523.25/266.79 c cleaning 17996 clauses out of 36015 with flag 719000/762894 535.46/272.96 c cleaning 17999 clauses out of 36019 with flag 737000/780894 548.87/279.75 c cleaning 18005 clauses out of 36020 with flag 755000/798894 563.17/287.09 c cleaning 18002 clauses out of 36016 with flag 773001/816895 578.15/294.70 c cleaning 18001 clauses out of 36014 with flag 791001/834895 592.15/301.73 c cleaning 17995 clauses out of 36012 with flag 809000/852894 605.53/308.52 c cleaning 17992 clauses out of 36017 with flag 827000/870894 617.79/314.80 c cleaning 18009 clauses out of 36025 with flag 845000/888894 629.54/320.87 c cleaning 18001 clauses out of 36016 with flag 863000/906894 641.50/326.91 c cleaning 18002 clauses out of 36018 with flag 881003/924897 651.89/332.24 c cleaning 17998 clauses out of 36013 with flag 899000/942894 663.87/338.45 c cleaning 18001 clauses out of 36016 with flag 917001/960895 676.21/344.75 c cleaning 17999 clauses out of 36014 with flag 935000/978894 689.15/351.36 c cleaning 18004 clauses out of 36015 with flag 953000/996894 702.69/358.23 c cleaning 17997 clauses out of 36011 with flag 971000/1014894 715.69/364.90 c cleaning 18005 clauses out of 36015 with flag 989001/1032895 728.83/371.62 c cleaning 17998 clauses out of 36009 with flag 1007000/1050894 740.97/377.84 c cleaning 17996 clauses out of 36011 with flag 1025000/1068894 753.31/384.14 c cleaning 17998 clauses out of 36015 with flag 1043000/1086894 764.89/390.10 c cleaning 18003 clauses out of 36018 with flag 1061001/1104895 774.83/395.24 c cleaning 17997 clauses out of 36015 with flag 1079001/1122895 785.17/400.55 c cleaning 18002 clauses out of 36017 with flag 1097000/1140894 795.74/405.97 c cleaning 17999 clauses out of 36015 with flag 1115000/1158894 806.70/411.66 c cleaning 17994 clauses out of 36016 with flag 1133000/1176894 818.20/417.52 c cleaning 18004 clauses out of 36022 with flag 1151000/1194894 829.50/423.37 c cleaning 17998 clauses out of 36019 with flag 1169001/1212895 841.19/429.35 c cleaning 18001 clauses out of 36023 with flag 1187003/1230897 852.95/435.50 c cleaning 18003 clauses out of 36019 with flag 1205000/1248894 864.83/441.54 c cleaning 17992 clauses out of 36016 with flag 1223000/1266894 877.11/447.87 c cleaning 18003 clauses out of 36024 with flag 1241000/1284894 889.39/454.17 c cleaning 18000 clauses out of 36023 with flag 1259002/1302896 901.69/460.57 c cleaning 18001 clauses out of 36022 with flag 1277001/1320895 913.36/466.52 c cleaning 17996 clauses out of 36020 with flag 1295000/1338894 924.63/472.30 c cleaning 18002 clauses out of 36024 with flag 1313000/1356894 935.30/477.83 c cleaning 18007 clauses out of 36022 with flag 1331000/1374894 945.98/483.45 c cleaning 18001 clauses out of 36015 with flag 1349000/1392894 956.63/488.93 c cleaning 17992 clauses out of 36014 with flag 1367000/1410894 968.68/495.11 c cleaning 18003 clauses out of 36023 with flag 1385001/1428895 981.16/501.52 c cleaning 18003 clauses out of 36020 with flag 1403001/1446895 993.41/507.96 c cleaning 17989 clauses out of 36016 with flag 1421000/1464894 1006.46/514.61 c cleaning 18006 clauses out of 36027 with flag 1439000/1482894 1018.70/520.93 c cleaning 18001 clauses out of 36021 with flag 1457000/1500894 1030.75/527.11 c cleaning 17986 clauses out of 36020 with flag 1475000/1518894 1042.83/533.50 c cleaning 18006 clauses out of 36034 with flag 1493000/1536894 1055.67/540.06 c cleaning 18001 clauses out of 36028 with flag 1511000/1554894 1067.88/546.36 c cleaning 18006 clauses out of 36027 with flag 1529000/1572894 1080.12/552.66 c cleaning 18003 clauses out of 36021 with flag 1547000/1590894 1092.97/559.35 c cleaning 18004 clauses out of 36018 with flag 1565000/1608894 1104.40/565.26 c cleaning 17999 clauses out of 36014 with flag 1583000/1626894 1114.23/570.34 c cleaning 17998 clauses out of 36015 with flag 1601000/1644894 1124.66/575.72 c cleaning 18003 clauses out of 36017 with flag 1619000/1662894 1135.51/581.45 c cleaning 18001 clauses out of 36014 with flag 1637000/1680894 1145.95/586.88 c cleaning 17997 clauses out of 36013 with flag 1655000/1698894 1156.79/592.47 c cleaning 18000 clauses out of 36016 with flag 1673000/1716894 1167.81/598.15 c cleaning 17999 clauses out of 36017 with flag 1691001/1734895 1179.25/604.13 c cleaning 18001 clauses out of 36017 with flag 1709000/1752894 1190.08/609.76 c cleaning 17993 clauses out of 36016 with flag 1727000/1770894 1201.71/615.74 c cleaning 18004 clauses out of 36023 with flag 1745000/1788894 1213.95/622.01 c cleaning 18002 clauses out of 36019 with flag 1763000/1806894 1225.80/628.21 c cleaning 18000 clauses out of 36018 with flag 1781001/1824895 1237.63/634.31 c cleaning 17997 clauses out of 36018 with flag 1799001/1842895 1249.10/640.29 c cleaning 18004 clauses out of 36021 with flag 1817001/1860895 1260.89/646.38 c cleaning 17994 clauses out of 36016 with flag 1835000/1878894 1272.94/652.66 c cleaning 18004 clauses out of 36023 with flag 1853001/1896895 1284.57/658.62 c cleaning 18004 clauses out of 36022 with flag 1871004/1914898 1296.16/664.69 c cleaning 18003 clauses out of 36015 with flag 1889001/1932895 1308.16/670.83 c cleaning 17991 clauses out of 36011 with flag 1907000/1950894 1320.16/677.13 c cleaning 18001 clauses out of 36022 with flag 1925002/1968896 1331.95/683.25 c cleaning 18001 clauses out of 36019 with flag 1943000/1986894 1343.13/689.08 c cleaning 18005 clauses out of 36018 with flag 1961000/2004894 1354.72/695.03 c cleaning 18000 clauses out of 36013 with flag 1979000/2022894 1366.69/701.38 c cleaning 18000 clauses out of 36016 with flag 1997003/2040897 1379.06/707.79 c cleaning 17998 clauses out of 36013 with flag 2015000/2058894 1392.24/714.58 c cleaning 17999 clauses out of 36015 with flag 2033000/2076894 1404.21/720.74 c cleaning 17999 clauses out of 36016 with flag 2051000/2094894 1416.20/727.01 c cleaning 18004 clauses out of 36019 with flag 2069002/2112896 1427.95/733.14 c cleaning 17998 clauses out of 36013 with flag 2087000/2130894 1439.54/739.20 c cleaning 18001 clauses out of 36015 with flag 2105000/2148894 1451.29/745.29 c cleaning 18000 clauses out of 36015 with flag 2123001/2166895 1463.86/751.90 c cleaning 17996 clauses out of 36015 with flag 2141001/2184895 1475.83/758.00 c cleaning 17999 clauses out of 36019 with flag 2159001/2202895 1487.40/764.03 c cleaning 17996 clauses out of 36019 with flag 2177000/2220894 1499.36/770.22 c cleaning 18004 clauses out of 36023 with flag 2195000/2238894 1511.55/776.66 c cleaning 18003 clauses out of 36020 with flag 2213001/2256895 1522.48/782.35 c cleaning 18001 clauses out of 36018 with flag 2231002/2274896 1533.83/788.29 c cleaning 17992 clauses out of 36015 with flag 2249000/2292894 1546.79/794.99 c cleaning 18001 clauses out of 36023 with flag 2267000/2310894 1559.72/801.73 c cleaning 17994 clauses out of 36022 with flag 2285000/2328894 1572.90/808.52 c cleaning 17994 clauses out of 36028 with flag 2303000/2346894 1586.20/815.41 c cleaning 18002 clauses out of 36034 with flag 2321000/2364894 1599.56/822.36 c cleaning 18012 clauses out of 36032 with flag 2339000/2382894 1613.28/829.57 c cleaning 18004 clauses out of 36021 with flag 2357001/2400895 1627.22/836.79 c cleaning 17993 clauses out of 36016 with flag 2375000/2418894 1640.79/843.74 c cleaning 17999 clauses out of 36023 with flag 2393000/2436894 1652.87/850.01 c cleaning 18005 clauses out of 36025 with flag 2411001/2454895 1665.62/856.72 c cleaning 18000 clauses out of 36019 with flag 2429000/2472894 1678.18/863.24 c cleaning 18000 clauses out of 36019 with flag 2447000/2490894 1690.92/869.81 c cleaning 18002 clauses out of 36021 with flag 2465002/2508896 1703.88/876.52 c cleaning 17996 clauses out of 36017 with flag 2483000/2526894 1717.34/883.61 c cleaning 17999 clauses out of 36021 with flag 2501000/2544894 1730.04/890.23 c cleaning 18005 clauses out of 36022 with flag 2519000/2562894 1743.94/897.45 c cleaning 18000 clauses out of 36018 with flag 2537001/2580895 1758.24/904.82 c cleaning 17996 clauses out of 36017 with flag 2555000/2598894 1772.08/912.14 c cleaning 18002 clauses out of 36022 with flag 2573001/2616895 1785.58/919.13 c cleaning 17998 clauses out of 36019 with flag 2591000/2634894 1798.86/926.04 c cleaning 17999 clauses out of 36021 with flag 2609000/2652894 1800.16/926.92 c starts : 238 1800.16/926.92 c conflicts : 2653795 1800.16/926.92 c decisions : 8927681 1800.16/926.92 c propagations : 3525358322 1800.16/926.92 c inspects : 3965986588 1800.16/926.92 c shortcuts : 0 1800.16/926.92 c learnt literals : 0 1800.16/926.92 c learnt binary clauses : 0 1800.16/926.92 c learnt ternary clauses : 1 1800.16/926.92 c learnt constraints : 2653795 1800.16/926.92 c ignored constraints : 0 1800.16/926.92 c root simplifications : 0 1800.16/926.92 c removed literals (reason simplification) : 4300330 1800.16/926.92 c reason swapping (by a shorter reason) : 0 1800.16/926.92 c Calls to reduceDB : 155 1800.16/926.92 c number of reductions to clauses (during analyze) : 0 1800.16/926.92 c number of learned constraints concerned by reduction : 0 1800.16/926.92 c number of learning phase by resolution : 0 1800.16/926.92 c number of learning phase by cutting planes : 0 1800.16/926.92 c speed (assignments/second) : 3877918.942762291 1800.16/926.92 c non guided choices 19017 1800.16/926.95 c learnt constraints type 1800.16/926.95 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18966 1800.16/926.95 c constraints type 1800.16/926.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1800.16/926.95 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.16/926.95 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1800.16/926.95 c constraints type 1800.16/926.95 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 1800.16/926.95 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1800.16/926.95 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.16/926.95 s SATISFIABLE 1800.16/926.95 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 x6077 x6078 x6079 x6080 1800.16/926.96 c objective function=27 1800.16/926.96 c Total wall clock time (in seconds): 926.842
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454110-1307193559/watcher-3454110-1307193559 -o /tmp/evaluation-result-3454110-1307193559/solver-3454110-1307193559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454110-1307193559.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.83 3.93 3.83 1/486 23193 /proc/meminfo: memFree=21374164/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 1919 0 1 0 0 0 0 0 25 0 2 0 563547175 10681323520 1621 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2607745 1634 906 9 0 2598901 0 [pid=23193/tid=23194] ppid=23191 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) R 23191 23193 17058 0 -1 4202560 5278 0 1 0 0 0 0 0 25 0 2 0 563547176 10694979584 6094 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0529989 s] /proc/loadavg: 3.83 3.93 3.83 1/486 23193 /proc/meminfo: memFree=21374164/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10467616 CPUtime=0.04 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 11426 0 1 0 3 1 0 0 25 0 13 0 563547175 10718838784 11123 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2616904 11125 1684 9 0 2607652 0 [pid=23193/tid=23194] ppid=23191 vsize=10467616 CPUtime=0.04 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) R 23191 23193 17058 0 -1 4202560 10280 0 1 0 3 1 0 0 25 0 13 0 563547176 10718838784 11125 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 47984977592227 0 4 0 16800971 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.107048 s] /proc/loadavg: 3.83 3.93 3.83 1/486 23193 /proc/meminfo: memFree=21374164/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10540128 CPUtime=0.11 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 13150 0 1 0 9 2 0 0 25 0 18 0 563547175 10793091072 12836 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2635032 12837 2093 9 0 2625766 0 [pid=23193/tid=23194] ppid=23191 vsize=10540128 CPUtime=0.08 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) R 23191 23193 17058 0 -1 4202560 11232 0 1 0 7 1 0 0 18 0 18 0 563547176 10793091072 12837 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540128 [startup+0.300962 s] /proc/loadavg: 3.83 3.93 3.83 1/486 23193 /proc/meminfo: memFree=21374164/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10542072 CPUtime=0.49 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 16387 0 1 0 47 2 0 0 25 0 18 0 563547175 10795081728 15543 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2635518 15546 2201 9 0 2626252 0 [pid=23193/tid=23194] ppid=23191 vsize=10542072 CPUtime=0.28 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) R 23191 23193 17058 0 -1 4202560 13010 0 1 0 27 1 0 0 18 0 18 0 563547176 10795081728 15546 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10542072 [startup+0.700928 s] /proc/loadavg: 3.83 3.93 3.83 1/486 23193 /proc/meminfo: memFree=21374164/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10548624 CPUtime=1.36 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 31410 0 1 0 132 4 0 0 25 0 19 0 563547175 10801790976 26853 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2637156 26853 2231 9 0 2627890 0 [pid=23193/tid=23194] ppid=23191 vsize=10548624 CPUtime=0.51 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 22524 0 1 0 48 3 0 0 18 0 19 0 563547176 10801790976 26853 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 10548624 [startup+1.50075 s] /proc/loadavg: 3.83 3.93 3.83 1/505 23215 /proc/meminfo: memFree=21273892/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10548624 CPUtime=1.69 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 33464 0 1 0 164 5 0 0 25 0 19 0 563547175 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2637156 27452 2238 9 0 2627890 0 [pid=23193/tid=23194] ppid=23191 vsize=10548624 CPUtime=0.53 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 22833 0 1 0 50 3 0 0 17 0 19 0 563547176 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23196] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23196/stat : 23196 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23197] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23197/stat : 23197 (java) S 23191 23193 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23198] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 563547179 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563547179 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563547179 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547181 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10548624 CPUtime=0.48 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 4308 0 0 0 48 0 0 0 15 0 19 0 563547181 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10548624 CPUtime=0.46 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 4640 0 0 0 46 0 0 0 15 0 19 0 563547181 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23210] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23210/stat : 23210 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547181 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23211] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23211/stat : 23211 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563547181 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23214] ppid=23191 vsize=10548624 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23214/stat : 23214 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 563547231 10801790976 27452 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 10548624 [startup+3.10146 s] /proc/loadavg: 3.83 3.93 3.83 6/506 23226 /proc/meminfo: memFree=21246472/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10562680 CPUtime=3.2 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 46319 0 1 0 313 7 0 0 25 0 19 0 563547175 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2640670 35286 2243 9 0 2631404 0 [pid=23193/tid=23194] ppid=23191 vsize=10562680 CPUtime=0.58 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 23660 0 1 0 55 3 0 0 17 0 19 0 563547176 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23196] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23196/stat : 23196 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23197] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23197/stat : 23197 (java) S 23191 23193 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23198] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547178 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 563547179 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563547179 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563547179 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547181 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10562680 CPUtime=0.83 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 8470 0 0 0 82 1 0 0 15 0 19 0 563547181 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10562680 CPUtime=1.01 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 11323 0 0 0 100 1 0 0 15 0 19 0 563547181 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23210] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23210/stat : 23210 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563547181 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23211] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23211/stat : 23211 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563547181 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23214] ppid=23191 vsize=10562680 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23214/stat : 23214 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 563547231 10816184320 35286 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 10562680 [startup+6.30087 s] /proc/loadavg: 3.68 3.90 3.82 5/531 23300 /proc/meminfo: memFree=20607376/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10554164 CPUtime=8.56 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 284756 0 1 0 825 31 0 0 25 0 22 0 563547175 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2638541 271474 2268 9 0 2629275 0 [pid=23193/tid=23194] ppid=23191 vsize=10554164 CPUtime=0.61 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 24487 0 1 0 58 3 0 0 15 0 22 0 563547176 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23196] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23196/stat : 23196 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23197] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23197/stat : 23197 (java) S 23191 23193 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23198] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 601 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 486 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 515 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 22 0 563547178 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10554164 CPUtime=0.03 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 2721 0 0 0 3 0 0 0 15 0 22 0 563547179 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10554164 CPUtime=0.97 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 8481 0 0 0 96 1 0 0 15 0 22 0 563547181 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10554164 CPUtime=1.1 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 11338 0 0 0 109 1 0 0 15 0 22 0 563547181 10807463936 271474 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 5425 0 0 0 68 0 0 0 16 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10554164 CPUtime=0.68 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 7449 0 0 0 67 1 0 0 15 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10554164 CPUtime=0.61 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 6788 0 0 0 60 1 0 0 15 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10554164 CPUtime=0.59 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 5650 0 0 0 59 0 0 0 16 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10554164 CPUtime=0.66 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 6079 0 0 0 65 1 0 0 16 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10554164 CPUtime=0.67 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 8658 0 0 0 66 1 0 0 16 0 22 0 563547178 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10554164 CPUtime=43.06 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 31295 0 0 0 4300 6 0 0 15 0 22 0 563547179 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10554164 CPUtime=1.29 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 8534 0 0 0 128 1 0 0 15 0 22 0 563547181 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10554164 CPUtime=1.31 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 11351 0 0 0 130 1 0 0 15 0 22 0 563547181 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23210] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23210/stat : 23210 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23211] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23211/stat : 23211 (java) S 23191 23193 17058 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 563547181 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23214] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23214/stat : 23214 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 563547231 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23306] ppid=23191 vsize=10554164 CPUtime=760.02 cores=0,2,4,6 /proc/23193/task/23306/stat : 23306 (java) R 23191 23193 17058 0 -1 4202560 361 0 0 0 76002 0 0 0 25 0 22 0 563548959 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912505909405 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23193/tid=23307] ppid=23191 vsize=10554164 CPUtime=760.02 cores=0,2,4,6 /proc/23193/task/23307/stat : 23307 (java) R 23191 23193 17058 0 -1 4202560 428909 0 0 0 75959 43 0 0 25 0 22 0 563548959 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912506385184 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23193/tid=23309] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23309/stat : 23309 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563548960 10807463936 940235 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1599.56 Current children cumulated vsize (KiB) 10554164 [startup+882.302 s] /proc/loadavg: 3.66 3.76 3.79 4/531 23344 /proc/meminfo: memFree=15595296/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10554164 CPUtime=1714.72 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 966749 0 1 0 171362 110 0 0 25 0 22 0 563547175 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2638541 951115 2270 9 0 2629275 0 [pid=23193/tid=23194] ppid=23191 vsize=10554164 CPUtime=0.62 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 24528 0 1 0 59 3 0 0 15 0 22 0 563547176 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23196] ppid=23191 vsize=10554164 CPUtime=0.68 cores=0,2,4,6 /proc/23193/task/23196/stat : 23196 (java) S 23191 23193 17058 0 -1 4202560 6828 0 0 0 67 1 0 0 16 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23197] ppid=23191 vsize=10554164 CPUtime=0.74 cores=0,2,4,6 /proc/23193/task/23197/stat : 23197 (java) S 23191 23193 17058 0 -1 4202560 7547 0 0 0 73 1 0 0 16 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23198] ppid=23191 vsize=10554164 CPUtime=0.75 cores=0,2,4,6 /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 5865 0 0 0 75 0 0 0 15 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10554164 CPUtime=0.73 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 7996 0 0 0 72 1 0 0 16 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10554164 CPUtime=0.65 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 6808 0 0 0 64 1 0 0 15 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10554164 CPUtime=0.69 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 7258 0 0 0 68 1 0 0 16 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10554164 CPUtime=0.72 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 8299 0 0 0 71 1 0 0 16 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10554164 CPUtime=0.71 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 8980 0 0 0 70 1 0 0 15 0 22 0 563547178 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10554164 CPUtime=48.11 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 34486 0 0 0 4804 7 0 0 15 0 22 0 563547179 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10554164 CPUtime=1.29 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 8534 0 0 0 128 1 0 0 15 0 22 0 563547181 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10554164 CPUtime=1.31 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 11351 0 0 0 130 1 0 0 15 0 22 0 563547181 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23210] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23210/stat : 23210 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23211] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23211/stat : 23211 (java) S 23191 23193 17058 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 563547181 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23214] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23214/stat : 23214 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 563547231 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23306] ppid=23191 vsize=10554164 CPUtime=814.81 cores=0,2,4,6 /proc/23193/task/23306/stat : 23306 (java) R 23191 23193 17058 0 -1 4202560 367 0 0 0 81481 0 0 0 25 0 22 0 563548959 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912505965947 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23193/tid=23307] ppid=23191 vsize=10554164 CPUtime=814.81 cores=0,2,4,6 /proc/23193/task/23307/stat : 23307 (java) R 23191 23193 17058 0 -1 4202560 428911 0 0 0 81438 43 0 0 25 0 22 0 563548959 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912506385330 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23193/tid=23309] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23309/stat : 23309 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563548960 10807463936 951115 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1714.72 Current children cumulated vsize (KiB) 10554164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+926.901 s] /proc/loadavg: 3.62 3.73 3.78 5/531 23345 /proc/meminfo: memFree=15586948/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=10554164 CPUtime=1800.16 cores=0,2,4,6 /proc/23193/stat : 23193 (java) S 23191 23193 17058 0 -1 4202496 966795 0 1 0 179905 111 0 0 25 0 22 0 563547175 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 2638541 951141 2270 9 0 2629275 0 [pid=23193/tid=23194] ppid=23191 vsize=10554164 CPUtime=0.62 cores=0,2,4,6 /proc/23193/task/23194/stat : 23194 (java) S 23191 23193 17058 0 -1 4202560 24528 0 1 0 59 3 0 0 15 0 22 0 563547176 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23196] ppid=23191 vsize=10554164 CPUtime=0.75 cores=0,2,4,6 /proc/23193/task/23196/stat : 23196 (java) S 23191 23193 17058 0 -1 4202560 6844 0 0 0 74 1 0 0 15 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23197] ppid=23191 vsize=10554164 CPUtime=0.82 cores=0,2,4,6 /proc/23193/task/23197/stat : 23197 (java) S 23191 23193 17058 0 -1 4202560 7552 0 0 0 81 1 0 0 16 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23198] ppid=23191 vsize=10554164 CPUtime=0.82 cores=0,2,4,6 /proc/23193/task/23198/stat : 23198 (java) S 23191 23193 17058 0 -1 4202560 5865 0 0 0 82 0 0 0 16 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23199] ppid=23191 vsize=10554164 CPUtime=0.78 cores=0,2,4,6 /proc/23193/task/23199/stat : 23199 (java) S 23191 23193 17058 0 -1 4202560 7996 0 0 0 77 1 0 0 15 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23200] ppid=23191 vsize=10554164 CPUtime=0.71 cores=0,2,4,6 /proc/23193/task/23200/stat : 23200 (java) S 23191 23193 17058 0 -1 4202560 6809 0 0 0 70 1 0 0 16 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23201] ppid=23191 vsize=10554164 CPUtime=0.76 cores=0,2,4,6 /proc/23193/task/23201/stat : 23201 (java) S 23191 23193 17058 0 -1 4202560 7259 0 0 0 75 1 0 0 15 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23202] ppid=23191 vsize=10554164 CPUtime=0.78 cores=0,2,4,6 /proc/23193/task/23202/stat : 23202 (java) S 23191 23193 17058 0 -1 4202560 8302 0 0 0 77 1 0 0 15 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23203] ppid=23191 vsize=10554164 CPUtime=0.78 cores=0,2,4,6 /proc/23193/task/23203/stat : 23203 (java) S 23191 23193 17058 0 -1 4202560 8980 0 0 0 77 1 0 0 16 0 22 0 563547178 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23204] ppid=23191 vsize=10554164 CPUtime=52.13 cores=0,2,4,6 /proc/23193/task/23204/stat : 23204 (java) S 23191 23193 17058 0 -1 4202560 34490 0 0 0 5206 7 0 0 16 0 22 0 563547179 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 0 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23205] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23205/stat : 23205 (java) S 23191 23193 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23206] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23206/stat : 23206 (java) S 23191 23193 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563547179 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23207] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23207/stat : 23207 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672485809 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23208] ppid=23191 vsize=10554164 CPUtime=1.29 cores=0,2,4,6 /proc/23193/task/23208/stat : 23208 (java) S 23191 23193 17058 0 -1 4202560 8534 0 0 0 128 1 0 0 15 0 22 0 563547181 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23209] ppid=23191 vsize=10554164 CPUtime=1.31 cores=0,2,4,6 /proc/23193/task/23209/stat : 23209 (java) S 23191 23193 17058 0 -1 4202560 11351 0 0 0 130 1 0 0 15 0 22 0 563547181 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 0 0 0 0 [pid=23193/tid=23210] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23210/stat : 23210 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563547181 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478105 0 4 0 16800975 18446604440450982080 0 0 -1 6 0 0 0 [pid=23193/tid=23211] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23211/stat : 23211 (java) S 23191 23193 17058 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 563547181 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 [pid=23193/tid=23214] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23214/stat : 23214 (java) S 23191 23193 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 563547231 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 2 0 0 0 [pid=23193/tid=23306] ppid=23191 vsize=10554164 CPUtime=855.26 cores=0,2,4,6 /proc/23193/task/23306/stat : 23306 (java) R 23191 23193 17058 0 -1 4202560 380 0 0 0 85526 0 0 0 20 0 22 0 563548959 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912505909405 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=23193/tid=23307] ppid=23191 vsize=10554164 CPUtime=855.27 cores=0,2,4,6 /proc/23193/task/23307/stat : 23307 (java) R 23191 23193 17058 0 -1 4202560 428912 0 0 0 85484 43 0 0 21 0 22 0 563548959 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 46912506385161 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23193/tid=23309] ppid=23191 vsize=10554164 CPUtime=0 cores=0,2,4,6 /proc/23193/task/23309/stat : 23309 (java) S 23191 23193 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563548960 10807463936 951141 33554432000 1073741824 1073778376 140734032450496 18446744073709551615 268672478720 0 4 0 16800975 18446604440450982080 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 10554164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+927.025 s] /proc/loadavg: 3.62 3.73 3.78 5/531 23345 /proc/meminfo: memFree=15586948/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=0 CPUtime=1800.36 cores=0,2,4,6 /proc/23193/stat : 23193 (java) Z 23191 23193 17058 0 -1 4203548 966829 0 1 0 179920 116 0 0 17 0 2 0 563547175 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 0 0 0 0 0 0 0 [pid=23193/tid=23307] ppid=23191 vsize=0 CPUtime=855.37 cores=0,2,4,6 /proc/23193/task/23307/stat : 23307 (java) R 23191 23193 17058 0 -1 4203588 428912 0 0 0 85488 49 0 0 21 0 2 0 563548959 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 [startup+927.101 s] /proc/loadavg: 3.62 3.73 3.78 5/531 23345 /proc/meminfo: memFree=15586948/32951124 swapFree=46575304/67111528 [pid=23193] ppid=23191 vsize=0 CPUtime=1800.44 cores=0,2,4,6 /proc/23193/stat : 23193 (java) Z 23191 23193 17058 0 -1 4203548 966829 0 1 0 179920 124 0 0 17 0 2 0 563547175 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/23193/statm: 0 0 0 0 0 0 0 [pid=23193/tid=23307] ppid=23191 vsize=0 CPUtime=855.44 cores=0,2,4,6 /proc/23193/task/23307/stat : 23307 (java) R 23191 23193 17058 0 -1 4203588 428912 0 0 0 85488 56 0 0 21 0 2 0 563548959 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 927.114 CPU time (s): 1800.46 CPU user time (s): 1799.2 CPU system time (s): 1.25681 CPU usage (%): 194.2 Max. virtual memory (cumulated for all children) (KiB): 10566524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 1.25681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 966829 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29307 involuntary context switches= 23034 runsolver used 4.90325 second user time and 10.3264 second system time The end
Begin job on node107 at 2011-06-04 15:19:19 IDJOB=3454110 IDBENCH=24996 IDSOLVER=1950 FILE ID=node107/3454110-1307193559 RUNJOBID= node107-1307192650-22986 PBS_JOBID= 13508844 Free space on /tmp= 73880 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454110-1307193559/watcher-3454110-1307193559 -o /tmp/evaluation-result-3454110-1307193559/solver-3454110-1307193559 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454110-1307193559.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1048435452 node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5359.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21374320 kB Buffers: 340408 kB Cached: 2180820 kB SwapCached: 22548 kB Active: 9191168 kB Inactive: 2035588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21374320 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 912 kB Writeback: 0 kB AnonPages: 8700992 kB Mapped: 32860 kB Slab: 187452 kB PageTables: 94804 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145109424 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73884 MiB End job on node107 at 2011-06-04 15:34:48