Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.88 | 918.773 |
| 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 | 2.67559 |
| 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.07/0.35 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.35 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.35 c See www.sat4j.org for details. 0.07/0.35 c version 2.3.1.v20110525 0.07/0.35 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.35 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.35 c java.vm.version 19.1-b02 0.07/0.35 c java.vm.vendor Sun Microsystems Inc. 0.07/0.35 c sun.arch.data.model 64 0.07/0.35 c java.version 1.6.0_24 0.07/0.35 c os.name Linux 0.07/0.35 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.35 c os.arch amd64 0.07/0.35 c Free memory 9996466904 0.07/0.35 c Max memory 10048897024 0.07/0.35 c Total memory 10048897024 0.07/0.35 c Number of processors 8 0.07/0.39 c Pseudo Boolean Optimization 0.07/0.39 c ManyCore solver with 2 solvers running in parallel 0.07/0.39 c --- Begin Solver configuration --- 0.07/0.39 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.39 c Learn all clauses as in MiniSAT 0.07/0.39 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.39 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.39 c Expensive reason simplification 0.07/0.39 c Armin Biere (Picosat) restarts strategy 0.07/0.39 c Glucose learned constraints deletion strategy 0.07/0.39 c timeout=2147483s 0.07/0.39 c DB Simplification allowed=false 0.07/0.39 c --- End Solver configuration --- 0.07/0.39 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.39 c --- Begin Solver configuration --- 0.07/0.39 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.39 c Learn all clauses as in MiniSAT 0.07/0.39 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.39 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.39 c No reason simplification 0.07/0.39 c Armin Biere (Picosat) restarts strategy 0.07/0.39 c Glucose learned constraints deletion strategy 0.07/0.39 c timeout=2147483s 0.07/0.39 c DB Simplification allowed=false 0.07/0.39 c --- End Solver configuration --- 0.07/0.39 c solving HOME/instance-3735806-1338712999.opb 0.07/0.39 c reading problem ... 0.90/0.76 c ... done. Wall clock time 0.374s. 0.90/0.76 c #vars 6080 0.90/0.76 c #constraints 18113 0.90/0.76 c constraints type 0.90/0.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 0.90/0.77 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 0.90/0.77 c constraints type 0.90/0.77 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 0.90/0.77 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1.63/0.90 c And the winner is CuttingPlanes 1.81/1.28 c SATISFIABLE 1.81/1.28 c OPTIMIZING... 1.81/1.28 c Got one! Elapsed wall clock time (in seconds):0.889 1.81/1.28 o 37 1.86/1.32 c And the winner is Resolution 2.12/1.80 c Got one! Elapsed wall clock time (in seconds):1.414 2.12/1.80 o 36 2.12/1.88 c And the winner is Resolution 2.80/2.32 c Got one! Elapsed wall clock time (in seconds):1.933 2.80/2.32 o 33 2.80/2.37 c And the winner is Resolution 3.09/2.84 c Got one! Elapsed wall clock time (in seconds):2.449 3.09/2.84 o 32 3.09/2.88 c And the winner is Resolution 3.26/3.35 c Got one! Elapsed wall clock time (in seconds):2.96 3.26/3.35 o 30 3.26/3.40 c And the winner is Resolution 3.43/3.86 c Got one! Elapsed wall clock time (in seconds):3.471 3.43/3.86 o 29 5.23/4.75 c And the winner is Resolution 5.48/4.92 c Got one! Elapsed wall clock time (in seconds):4.532 5.48/4.92 o 28 7.66/6.03 c cleaning 3129 clauses out of 6262 with flag 3001/6262 11.79/8.03 c cleaning 4564 clauses out of 9132 with flag 9000/12261 16.16/10.27 c cleaning 5775 clauses out of 11568 with flag 16000/19261 21.52/12.95 c cleaning 6888 clauses out of 13793 with flag 24000/27261 27.15/15.78 c cleaning 7947 clauses out of 15905 with flag 33000/36261 31.71/18.06 c And the winner is Resolution 32.07/18.44 c Got one! Elapsed wall clock time (in seconds):18.045 32.07/18.44 o 27 34.21/19.54 c cleaning 10291 clauses out of 20592 with flag 5001/48895 37.55/21.25 c cleaning 8142 clauses out of 16300 with flag 11000/54894 41.70/23.33 c cleaning 7575 clauses out of 15159 with flag 18001/61895 46.22/25.65 c cleaning 7788 clauses out of 15583 with flag 26000/69894 51.56/28.38 c cleaning 8393 clauses out of 16795 with flag 35000/78894 57.89/31.59 c cleaning 9196 clauses out of 18402 with flag 45000/88894 64.83/35.04 c cleaning 10092 clauses out of 20206 with flag 56000/99894 73.34/39.36 c cleaning 11049 clauses out of 22115 with flag 68001/111895 81.48/43.44 c cleaning 12025 clauses out of 24065 with flag 81000/124894 90.66/48.04 c cleaning 13011 clauses out of 26041 with flag 95001/138895 99.38/52.41 c cleaning 14008 clauses out of 28029 with flag 110000/153894 110.51/58.05 c cleaning 15004 clauses out of 30021 with flag 126000/169894 121.81/63.71 c cleaning 16006 clauses out of 32019 with flag 143002/186896 132.74/69.25 c cleaning 16998 clauses out of 34012 with flag 161001/204895 144.48/75.16 c cleaning 17499 clauses out of 35014 with flag 179001/222895 156.33/81.10 c cleaning 17752 clauses out of 35515 with flag 197001/240895 167.24/86.66 c cleaning 17871 clauses out of 35763 with flag 215001/258895 178.76/92.48 c cleaning 17944 clauses out of 35892 with flag 233001/276895 190.87/98.59 c cleaning 17965 clauses out of 35948 with flag 251001/294895 203.15/104.72 c cleaning 17982 clauses out of 35983 with flag 269001/312895 215.46/110.93 c cleaning 17992 clauses out of 36000 with flag 287000/330894 228.39/117.48 c cleaning 17997 clauses out of 36009 with flag 305001/348895 239.31/122.97 c cleaning 17998 clauses out of 36011 with flag 323000/366894 251.16/128.90 c cleaning 17999 clauses out of 36013 with flag 341000/384894 262.49/134.64 c cleaning 18000 clauses out of 36014 with flag 359000/402894 274.19/140.54 c cleaning 18004 clauses out of 36014 with flag 377000/420894 285.29/146.18 c cleaning 17999 clauses out of 36010 with flag 395000/438894 296.76/151.96 c cleaning 18000 clauses out of 36012 with flag 413001/456895 309.86/158.50 c cleaning 17994 clauses out of 36011 with flag 431000/474894 320.73/164.08 c cleaning 18004 clauses out of 36018 with flag 449001/492895 331.63/169.55 c cleaning 17998 clauses out of 36014 with flag 467001/510895 342.70/175.12 c cleaning 18002 clauses out of 36015 with flag 485000/528894 355.43/181.52 c cleaning 17996 clauses out of 36013 with flag 503000/546894 368.52/188.14 c cleaning 18000 clauses out of 36017 with flag 521000/564894 381.08/194.45 c cleaning 17998 clauses out of 36018 with flag 539001/582895 392.72/200.32 c cleaning 18003 clauses out of 36019 with flag 557000/600894 403.45/205.74 c cleaning 18000 clauses out of 36016 with flag 575000/618894 415.72/211.93 c cleaning 17998 clauses out of 36016 with flag 593000/636894 427.84/218.05 c cleaning 18004 clauses out of 36019 with flag 611001/654895 439.09/223.71 c cleaning 18001 clauses out of 36014 with flag 629000/672894 451.43/229.95 c cleaning 18001 clauses out of 36013 with flag 647000/690894 464.11/236.40 c cleaning 18000 clauses out of 36013 with flag 665001/708895 475.81/242.27 c cleaning 17998 clauses out of 36012 with flag 683000/726894 486.67/247.74 c cleaning 17999 clauses out of 36014 with flag 701000/744894 497.96/253.40 c cleaning 17996 clauses out of 36015 with flag 719000/762894 509.26/259.18 c cleaning 17999 clauses out of 36019 with flag 737000/780894 521.99/265.52 c cleaning 18005 clauses out of 36020 with flag 755000/798894 535.23/272.29 c cleaning 18002 clauses out of 36016 with flag 773001/816895 549.34/279.38 c cleaning 18001 clauses out of 36014 with flag 791001/834895 562.45/285.92 c cleaning 17995 clauses out of 36012 with flag 809000/852894 575.16/292.36 c cleaning 17992 clauses out of 36017 with flag 827000/870894 587.56/298.64 c cleaning 18009 clauses out of 36025 with flag 845000/888894 598.65/304.28 c cleaning 18001 clauses out of 36016 with flag 863000/906894 609.72/309.84 c cleaning 18002 clauses out of 36018 with flag 881003/924897 619.39/314.79 c cleaning 17998 clauses out of 36013 with flag 899000/942894 630.42/320.39 c cleaning 18001 clauses out of 36016 with flag 917001/960895 641.90/326.13 c cleaning 17999 clauses out of 36014 with flag 935000/978894 653.81/332.16 c cleaning 18004 clauses out of 36015 with flag 953000/996894 666.28/338.44 c cleaning 17997 clauses out of 36011 with flag 971000/1014894 678.29/344.58 c cleaning 18005 clauses out of 36015 with flag 989001/1032895 690.55/350.79 c cleaning 17998 clauses out of 36009 with flag 1007000/1050894 702.00/356.55 c cleaning 17996 clauses out of 36011 with flag 1025000/1068894 713.67/362.42 c cleaning 17998 clauses out of 36015 with flag 1043000/1086894 724.44/367.90 c cleaning 18003 clauses out of 36018 with flag 1061001/1104895 734.49/373.08 c cleaning 17997 clauses out of 36015 with flag 1079001/1122895 745.16/378.44 c cleaning 18002 clauses out of 36017 with flag 1097000/1140894 756.02/383.95 c cleaning 17999 clauses out of 36015 with flag 1115000/1158894 766.95/389.57 c cleaning 17994 clauses out of 36016 with flag 1133000/1176894 778.59/395.44 c cleaning 18004 clauses out of 36022 with flag 1151000/1194894 790.25/401.33 c cleaning 17998 clauses out of 36019 with flag 1169001/1212895 802.11/407.34 c cleaning 18001 clauses out of 36023 with flag 1187003/1230897 814.07/413.40 c cleaning 18003 clauses out of 36019 with flag 1205000/1248894 825.93/419.48 c cleaning 17992 clauses out of 36016 with flag 1223000/1266894 838.57/425.85 c cleaning 18003 clauses out of 36024 with flag 1241000/1284894 850.99/432.15 c cleaning 18000 clauses out of 36023 with flag 1259002/1302896 863.52/438.50 c cleaning 18001 clauses out of 36022 with flag 1277001/1320895 875.14/444.42 c cleaning 17996 clauses out of 36020 with flag 1295000/1338894 886.35/450.19 c cleaning 18002 clauses out of 36024 with flag 1313000/1356894 897.17/455.68 c cleaning 18007 clauses out of 36022 with flag 1331000/1374894 907.90/461.19 c cleaning 18001 clauses out of 36015 with flag 1349000/1392894 918.72/466.64 c cleaning 17992 clauses out of 36014 with flag 1367000/1410894 930.95/472.80 c cleaning 18003 clauses out of 36023 with flag 1385001/1428895 943.41/479.20 c cleaning 18003 clauses out of 36020 with flag 1403001/1446895 955.92/485.54 c cleaning 17989 clauses out of 36016 with flag 1421000/1464894 968.92/492.18 c cleaning 18006 clauses out of 36027 with flag 1439000/1482894 981.32/498.47 c cleaning 18001 clauses out of 36021 with flag 1457000/1500894 993.51/504.64 c cleaning 17986 clauses out of 36020 with flag 1475000/1518894 1005.78/510.93 c cleaning 18006 clauses out of 36034 with flag 1493000/1536894 1018.59/517.48 c cleaning 18001 clauses out of 36028 with flag 1511000/1554894 1031.01/523.76 c cleaning 18006 clauses out of 36027 with flag 1529000/1572894 1043.43/530.06 c cleaning 18003 clauses out of 36021 with flag 1547000/1590894 1056.29/536.65 c cleaning 18004 clauses out of 36018 with flag 1565000/1608894 1067.87/542.51 c cleaning 17999 clauses out of 36014 with flag 1583000/1626894 1077.65/547.56 c cleaning 17998 clauses out of 36015 with flag 1601000/1644894 1088.22/552.90 c cleaning 18003 clauses out of 36017 with flag 1619000/1662894 1099.08/558.54 c cleaning 18001 clauses out of 36014 with flag 1637000/1680894 1109.66/563.92 c cleaning 17997 clauses out of 36013 with flag 1655000/1698894 1120.43/569.47 c cleaning 18000 clauses out of 36016 with flag 1673000/1716894 1131.68/575.13 c cleaning 17999 clauses out of 36017 with flag 1691001/1734895 1143.07/581.02 c cleaning 18001 clauses out of 36017 with flag 1709000/1752894 1154.04/586.64 c cleaning 17993 clauses out of 36016 with flag 1727000/1770894 1165.62/592.58 c cleaning 18004 clauses out of 36023 with flag 1745000/1788894 1177.99/598.85 c cleaning 18002 clauses out of 36019 with flag 1763000/1806894 1189.82/604.98 c cleaning 18000 clauses out of 36018 with flag 1781001/1824895 1201.78/611.05 c cleaning 17997 clauses out of 36018 with flag 1799001/1842895 1213.55/617.07 c cleaning 18004 clauses out of 36021 with flag 1817001/1860895 1225.70/623.22 c cleaning 17994 clauses out of 36016 with flag 1835000/1878894 1237.71/629.49 c cleaning 18004 clauses out of 36023 with flag 1853001/1896895 1249.48/635.47 c cleaning 18004 clauses out of 36022 with flag 1871004/1914898 1261.44/641.54 c cleaning 18003 clauses out of 36015 with flag 1889001/1932895 1273.41/647.68 c cleaning 17991 clauses out of 36011 with flag 1907000/1950894 1285.61/653.94 c cleaning 18001 clauses out of 36022 with flag 1925002/1968896 1297.55/660.07 c cleaning 18001 clauses out of 36019 with flag 1943000/1986894 1308.88/665.87 c cleaning 18005 clauses out of 36018 with flag 1961000/2004894 1320.60/671.80 c cleaning 18000 clauses out of 36013 with flag 1979000/2022894 1332.74/678.10 c cleaning 18000 clauses out of 36016 with flag 1997003/2040897 1345.26/684.51 c cleaning 17998 clauses out of 36013 with flag 2015000/2058894 1358.57/691.32 c cleaning 17999 clauses out of 36015 with flag 2033000/2076894 1370.51/697.50 c cleaning 17999 clauses out of 36016 with flag 2051000/2094894 1382.64/703.75 c cleaning 18004 clauses out of 36019 with flag 2069002/2112896 1394.74/709.90 c cleaning 17998 clauses out of 36013 with flag 2087000/2130894 1406.69/716.01 c cleaning 18001 clauses out of 36015 with flag 2105000/2148894 1418.59/722.15 c cleaning 18000 clauses out of 36015 with flag 2123001/2166895 1431.34/728.76 c cleaning 17996 clauses out of 36015 with flag 2141001/2184895 1443.25/734.89 c cleaning 17999 clauses out of 36019 with flag 2159001/2202895 1455.14/740.95 c cleaning 17996 clauses out of 36019 with flag 2177000/2220894 1467.44/747.20 c cleaning 18004 clauses out of 36023 with flag 2195000/2238894 1479.76/753.61 c cleaning 18003 clauses out of 36020 with flag 2213001/2256895 1490.85/759.31 c cleaning 18001 clauses out of 36018 with flag 2231002/2274896 1502.35/765.30 c cleaning 17992 clauses out of 36015 with flag 2249000/2292894 1515.69/772.02 c cleaning 18001 clauses out of 36023 with flag 2267000/2310894 1528.81/778.82 c cleaning 17994 clauses out of 36022 with flag 2285000/2328894 1542.08/785.67 c cleaning 17994 clauses out of 36028 with flag 2303000/2346894 1555.77/792.62 c cleaning 18002 clauses out of 36034 with flag 2321000/2364894 1569.27/799.58 c cleaning 18012 clauses out of 36032 with flag 2339000/2382894 1583.16/806.79 c cleaning 18004 clauses out of 36021 with flag 2357001/2400895 1597.45/814.05 c cleaning 17993 clauses out of 36016 with flag 2375000/2418894 1611.11/821.03 c cleaning 17999 clauses out of 36023 with flag 2393000/2436894 1623.38/827.32 c cleaning 18005 clauses out of 36025 with flag 2411001/2454895 1635.47/833.64 c cleaning 18000 clauses out of 36019 with flag 2429000/2472894 1647.34/839.77 c cleaning 18000 clauses out of 36019 with flag 2447000/2490894 1659.41/845.93 c cleaning 18002 clauses out of 36021 with flag 2465002/2508896 1671.48/852.18 c cleaning 17996 clauses out of 36017 with flag 2483000/2526894 1684.12/858.72 c cleaning 17999 clauses out of 36021 with flag 2501000/2544894 1696.18/864.90 c cleaning 18005 clauses out of 36022 with flag 2519000/2562894 1709.25/871.60 c cleaning 18000 clauses out of 36018 with flag 2537001/2580895 1722.52/878.47 c cleaning 17996 clauses out of 36017 with flag 2555000/2598894 1735.59/885.22 c cleaning 18002 clauses out of 36022 with flag 2573001/2616895 1748.03/891.67 c cleaning 17998 clauses out of 36019 with flag 2591000/2634894 1760.64/898.10 c cleaning 17999 clauses out of 36021 with flag 2609000/2652894 1772.89/904.49 c cleaning 18007 clauses out of 36022 with flag 2627000/2670894 1785.50/911.04 c cleaning 17990 clauses out of 36015 with flag 2645000/2688894 1797.77/917.36 c cleaning 18003 clauses out of 36025 with flag 2663000/2706894 1800.20/918.71 c starts : 239 1800.20/918.71 c conflicts : 2709725 1800.20/918.71 c decisions : 9146021 1800.20/918.71 c propagations : 3596382593 1800.20/918.71 c inspects : 4044570198 1800.20/918.71 c shortcuts : 0 1800.20/918.71 c learnt literals : 0 1800.20/918.71 c learnt binary clauses : 0 1800.20/918.71 c learnt ternary clauses : 1 1800.20/918.71 c learnt constraints : 2709725 1800.20/918.71 c ignored constraints : 0 1800.20/918.71 c root simplifications : 0 1800.20/918.71 c removed literals (reason simplification) : 4411761 1800.20/918.71 c reason swapping (by a shorter reason) : 0 1800.20/918.71 c Calls to reduceDB : 158 1800.20/918.71 c number of reductions to clauses (during analyze) : 0 1800.20/918.71 c number of learned constraints concerned by reduction : 0 1800.20/918.71 c number of learning phase by resolution : 0 1800.20/918.71 c number of learning phase by cutting planes : 0 1800.20/918.71 c speed (assignments/second) : 3994757.6898639975 1800.20/918.71 c non guided choices 19171 1800.20/918.72 c learnt constraints type 1800.20/918.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20870 1800.20/918.72 c constraints type 1800.20/918.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114 1800.20/918.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.20/918.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512 1800.20/918.72 c constraints type 1800.20/918.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14512 1800.20/918.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3114 1800.20/918.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.20/918.72 s SATISFIABLE 1800.20/918.73 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.20/918.74 c objective function=27 1800.20/918.74 c Total wall clock time (in seconds): 918.352
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735806-1338712999/watcher-3735806-1338712999 -o /tmp/evaluation-result-3735806-1338712999/solver-3735806-1338712999 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735806-1338712999.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.35 1.80 1.92 3/171 1314 /proc/meminfo: memFree=31415784/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=132 CPUtime=0 cores=1,3,5,7 /proc/1314/stat : 1314 (java) D 1312 1314 1279 0 -1 4194304 47 0 0 0 0 0 0 0 20 0 1 0 337426891 135168 1 33554432000 0 0 140734418249408 140737367341416 5057063 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0 /proc/1314/statm: 33 1 0 0 0 22 0 [startup+0.0394489 s] /proc/loadavg: 1.35 1.80 1.92 3/171 1314 /proc/meminfo: memFree=31415784/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1314/stat : 1314 (java) D 1312 1314 1279 0 -1 4202496 491 0 4 0 0 0 0 0 20 0 1 0 337426891 23793664 222 33554432000 1073741824 1073778376 140735775056768 140735775046760 233402579521 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 1 0 0 /proc/1314/statm: 5809 222 175 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.100297 s] /proc/loadavg: 1.35 1.80 1.92 3/171 1314 /proc/meminfo: memFree=31415784/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1314/stat : 1314 (java) D 1312 1314 1279 0 -1 4202496 1060 0 18 0 0 0 0 0 20 0 1 0 337426891 23793664 805 33554432000 1073741824 1073778376 140735775056768 140735775046760 140241125659408 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 6 0 0 /proc/1314/statm: 5809 805 599 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.300283 s] /proc/loadavg: 1.35 1.80 1.92 3/171 1314 /proc/meminfo: memFree=31415784/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11586364 CPUtime=0.07 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 4372 0 26 0 5 2 0 0 20 0 18 0 337426891 11864436736 12759 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2896591 12759 1753 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586364 [startup+0.700256 s] /proc/loadavg: 1.35 1.80 1.92 3/171 1314 /proc/meminfo: memFree=31415784/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11586392 CPUtime=0.9 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 10992 0 28 0 86 4 0 0 20 0 18 0 337426891 11864465408 24476 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2896598 24476 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 11586392 [startup+1.50078 s] /proc/loadavg: 1.56 1.83 1.93 1/213 1371 /proc/meminfo: memFree=31193968/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=2.11 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 18465 0 28 0 201 10 0 0 20 0 19 0 337426891 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 33877 2264 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.51 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3431 0 4 0 48 3 0 0 20 0 19 0 337426902 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426912 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=0.6 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 6215 0 1 0 60 0 0 0 20 0 19 0 337426920 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=0.6 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7521 0 1 0 58 2 0 0 20 0 19 0 337426920 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 33877 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 11852648 [startup+3.10067 s] /proc/loadavg: 1.56 1.83 1.93 2/213 1384 /proc/meminfo: memFree=31156796/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=3.26 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 22590 0 28 0 309 17 0 0 20 0 19 0 337426891 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 38538 2266 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.56 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3433 0 4 0 52 4 0 0 20 0 19 0 337426902 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426909 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337426912 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337426913 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=1.05 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 10273 0 1 0 103 2 0 0 20 0 19 0 337426920 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=0.81 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7534 0 1 0 79 2 0 0 20 0 19 0 337426920 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337426920 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1377] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1377/stat : 1377 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337427021 12137111552 38538 33554432000 1073741824 1073778376 140735775056768 140240589489320 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 11852648 [startup+6.30078 s] /proc/loadavg: 1.56 1.83 1.93 5/219 1409 /proc/meminfo: memFree=30173160/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=8.28 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 23165 0 28 0 786 42 0 0 20 0 22 0 337426891 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 279669 2291 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.59 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3436 0 4 0 55 4 0 0 20 0 22 0 337426902 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337426909 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=0.03 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 337426912 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 10284 0 1 0 115 2 0 0 20 0 22 0 337426920 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=0.93 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7536 0 1 0 91 2 0 0 20 0 22 0 337426920 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1377] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1377/stat : 1377 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427021 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240589489320 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1407] ppid=1312 vsize=11852648 CPUtime=1.28 cores=1,3,5,7 /proc/1314/task/1407/stat : 1407 (java) R 1312 1314 1279 0 -1 4202560 7 0 0 0 128 0 0 0 20 0 22 0 337427384 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240592646696 140240967495361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1408] ppid=1312 vsize=11852648 CPUtime=1.28 cores=1,3,5,7 /proc/1314/task/1408/stat : 1408 (java) R 1312 1314 1279 0 -1 4202560 359 0 0 0 113 15 0 0 20 0 22 0 337427384 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240591591440 140240967722173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1409] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1409/stat : 1409 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337427384 12137111552 279669 33554432000 1073741824 1073778376 140735775056768 140240590542248 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=1314/tid=1414] ppid=1312 vsize=11852648 CPUtime=771 cores=1,3,5,7 /proc/1314/task/1414/stat : 1414 (java) R 1312 1314 1279 0 -1 4202560 133 0 0 0 77087 13 0 0 20 0 22 0 337428735 12137111552 934029 33554432000 1073741824 1073778376 140735775056768 140240591594064 140240967728923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1415] ppid=1312 vsize=11852648 CPUtime=771.02 cores=1,3,5,7 /proc/1314/task/1415/stat : 1415 (java) R 1312 1314 1279 0 -1 4202560 897 0 0 0 77057 45 0 0 20 0 22 0 337428735 12137111552 934029 33554432000 1073741824 1073778376 140735775056768 140240590539584 140240967932841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1416] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1416/stat : 1416 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337428735 12137111552 934029 33554432000 1073741824 1073778376 140735775056768 140240592647720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1613.38 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.72 3.68 3.06 4/219 1425 /proc/meminfo: memFree=25382944/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=1729.75 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 25649 0 28 0 172820 155 0 0 20 0 22 0 337426891 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 938195 2293 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3493 0 4 0 60 5 0 0 20 0 22 0 337426902 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=1.14 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 102 0 0 0 110 4 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=1.24 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 134 0 0 0 120 4 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=1.27 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 116 0 0 0 124 3 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=1.28 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 122 0 0 0 124 4 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=1.26 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 131 0 0 0 121 5 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=1.17 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 114 0 0 0 113 4 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=1.14 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 81 0 0 0 111 3 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=1.31 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 119 0 0 0 127 4 0 0 20 0 22 0 337426909 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=34.2 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 147 0 0 0 3405 15 0 0 20 0 22 0 337426912 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=1.59 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 10299 0 1 0 157 2 0 0 20 0 22 0 337426920 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7543 0 1 0 100 2 0 0 20 0 22 0 337426920 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0.41 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 51 0 0 0 20 21 0 0 20 0 22 0 337426920 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1377] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1377/stat : 1377 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427021 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240589489320 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1414] ppid=1312 vsize=11852648 CPUtime=826.8 cores=1,3,5,7 /proc/1314/task/1414/stat : 1414 (java) R 1312 1314 1279 0 -1 4202560 136 0 0 0 82666 14 0 0 20 0 22 0 337428735 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240591594064 140240967494493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1415] ppid=1312 vsize=11852648 CPUtime=826.82 cores=1,3,5,7 /proc/1314/task/1415/stat : 1415 (java) R 1312 1314 1279 0 -1 4202560 899 0 0 0 82636 46 0 0 20 0 22 0 337428735 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240590539472 140240967932853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1416] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1416/stat : 1416 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337428735 12137111552 938195 33554432000 1073741824 1073778376 140735775056768 140240592647720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1729.75 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+918.701 s] /proc/loadavg: 3.79 3.70 3.09 4/219 1425 /proc/meminfo: memFree=25374256/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=1800.2 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 25709 0 28 0 179861 159 0 0 20 0 22 0 337426891 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 939257 2293 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3496 0 4 0 60 5 0 0 20 0 22 0 337426902 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=1.2 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 103 0 0 0 116 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 135 0 0 0 128 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 116 0 0 0 130 3 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=1.36 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 146 0 0 0 132 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 131 0 0 0 128 5 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 114 0 0 0 119 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 97 0 0 0 119 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 120 0 0 0 134 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=36.75 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 149 0 0 0 3657 18 0 0 20 0 22 0 337426912 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=1.59 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 10299 0 1 0 157 2 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7543 0 1 0 100 2 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 53 0 0 0 22 21 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1377] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1377/stat : 1377 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427021 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240589489320 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1414] ppid=1312 vsize=11852648 CPUtime=860.48 cores=1,3,5,7 /proc/1314/task/1414/stat : 1414 (java) R 1312 1314 1279 0 -1 4202560 142 0 0 0 86033 15 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240591594064 140240967494945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1415] ppid=1312 vsize=11852648 CPUtime=860.49 cores=1,3,5,7 /proc/1314/task/1415/stat : 1415 (java) R 1312 1314 1279 0 -1 4202560 903 0 0 0 86002 47 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240590539568 140240967933174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1416] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1416/stat : 1416 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240592647720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+918.701 s] /proc/loadavg: 3.79 3.70 3.09 4/219 1425 /proc/meminfo: memFree=25374256/32873844 swapFree=7116/7116 [pid=1314] ppid=1312 vsize=11852648 CPUtime=1800.2 cores=1,3,5,7 /proc/1314/stat : 1314 (java) S 1312 1314 1279 0 -1 4202496 25709 0 28 0 179861 159 0 0 20 0 22 0 337426891 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140735775047904 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0 /proc/1314/statm: 2963162 939257 2293 9 0 2953849 0 [pid=1314/tid=1325] ppid=1312 vsize=11852648 CPUtime=0.65 cores=1,3,5,7 /proc/1314/task/1325/stat : 1325 (java) S 1312 1314 1279 0 -1 4202560 3496 0 4 0 60 5 0 0 20 0 22 0 337426902 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241120015512 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 11 0 0 [pid=1314/tid=1335] ppid=1312 vsize=11852648 CPUtime=1.2 cores=1,3,5,7 /proc/1314/task/1335/stat : 1335 (java) S 1312 1314 1279 0 -1 4202560 103 0 0 0 116 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241088424744 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1336] ppid=1312 vsize=11852648 CPUtime=1.32 cores=1,3,5,7 /proc/1314/task/1336/stat : 1336 (java) S 1312 1314 1279 0 -1 4202560 135 0 0 0 128 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241087371944 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1337] ppid=1312 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1314/task/1337/stat : 1337 (java) S 1312 1314 1279 0 -1 4202560 116 0 0 0 130 3 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241086319656 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1338] ppid=1312 vsize=11852648 CPUtime=1.36 cores=1,3,5,7 /proc/1314/task/1338/stat : 1338 (java) S 1312 1314 1279 0 -1 4202560 146 0 0 0 132 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140241085266856 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1339] ppid=1312 vsize=11852648 CPUtime=1.33 cores=1,3,5,7 /proc/1314/task/1339/stat : 1339 (java) S 1312 1314 1279 0 -1 4202560 131 0 0 0 128 5 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240952985896 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1342] ppid=1312 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/1314/task/1342/stat : 1342 (java) S 1312 1314 1279 0 -1 4202560 114 0 0 0 119 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240951933096 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1343] ppid=1312 vsize=11852648 CPUtime=1.23 cores=1,3,5,7 /proc/1314/task/1343/stat : 1343 (java) S 1312 1314 1279 0 -1 4202560 97 0 0 0 119 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240614320680 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1344] ppid=1312 vsize=11852648 CPUtime=1.38 cores=1,3,5,7 /proc/1314/task/1344/stat : 1344 (java) S 1312 1314 1279 0 -1 4202560 120 0 0 0 134 4 0 0 20 0 22 0 337426909 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240613267880 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1346] ppid=1312 vsize=11852648 CPUtime=36.75 cores=1,3,5,7 /proc/1314/task/1346/stat : 1346 (java) S 1312 1314 1279 0 -1 4202560 149 0 0 0 3657 18 0 0 20 0 22 0 337426912 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240601070312 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1348] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1348/stat : 1348 (java) S 1312 1314 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240600016376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1349] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1349/stat : 1349 (java) S 1312 1314 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337426913 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240598963976 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1351] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1351/stat : 1351 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240597912464 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1314/tid=1354] ppid=1312 vsize=11852648 CPUtime=1.59 cores=1,3,5,7 /proc/1314/task/1354/stat : 1354 (java) S 1312 1314 1279 0 -1 4202560 10299 0 1 0 157 2 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240596859064 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1355] ppid=1312 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/1314/task/1355/stat : 1355 (java) S 1312 1314 1279 0 -1 4202560 7543 0 1 0 100 2 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240595806264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1359] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1359/stat : 1359 (java) S 1312 1314 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240594754168 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1361] ppid=1312 vsize=11852648 CPUtime=0.43 cores=1,3,5,7 /proc/1314/task/1361/stat : 1361 (java) S 1312 1314 1279 0 -1 4202560 53 0 0 0 22 21 0 0 20 0 22 0 337426920 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240593701576 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1377] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1377/stat : 1377 (java) S 1312 1314 1279 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337427021 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240589489320 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1314/tid=1414] ppid=1312 vsize=11852648 CPUtime=860.48 cores=1,3,5,7 /proc/1314/task/1414/stat : 1414 (java) R 1312 1314 1279 0 -1 4202560 142 0 0 0 86033 15 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240591594064 140240967494945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1314/tid=1415] ppid=1312 vsize=11852648 CPUtime=860.49 cores=1,3,5,7 /proc/1314/task/1415/stat : 1415 (java) R 1312 1314 1279 0 -1 4202560 903 0 0 0 86002 47 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240590539568 140240967933174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1314/tid=1416] ppid=1312 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/1314/task/1416/stat : 1416 (java) S 1312 1314 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337428735 12137111552 939257 33554432000 1073741824 1073778376 140735775056768 140240592647720 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 918.773 CPU time (s): 1800.88 CPU user time (s): 1798.8 CPU system time (s): 2.08768 CPU usage (%): 196.01 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.8 system time used= 2.08768 maximum resident set size= 3757148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25741 page faults= 28 swaps= 0 block input operations= 10464 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30184 involuntary context switches= 33672 runsolver used 4.86226 second user time and 7.81381 second system time The end
Begin job on node111 at 2012-06-03 10:43:19 IDJOB=3735806 IDBENCH=24996 IDSOLVER=2328 FILE ID=node111/3735806-1338712999 RUNJOBID= node111-1338712999-1296 PBS_JOBID= 14636722 Free space on /tmp= 67396 MiB SOLVER NAME= PB11: 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-3735806-1338712999/watcher-3735806-1338712999 -o /tmp/evaluation-result-3735806-1338712999/solver-3735806-1338712999 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735806-1338712999.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=907663711 node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31416288 kB Buffers: 180160 kB Cached: 487792 kB SwapCached: 1404 kB Active: 150396 kB Inactive: 521596 kB Active(anon): 5008 kB Inactive(anon): 1276 kB Active(file): 145388 kB Inactive(file): 520320 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100152 kB Dirty: 812 kB Writeback: 0 kB AnonPages: 9664 kB Mapped: 8064 kB Shmem: 0 kB Slab: 645860 kB SReclaimable: 87996 kB SUnreclaim: 557864 kB KernelStack: 1384 kB PageTables: 4356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 67396 MiB End job on node111 at 2012-06-03 10:58:40