Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MiniCPFever 2018-04-29 | SAT (TO) | 228636201 | 2520.09 | 2495.95 |
Name | Fapp/Fapp-ext/ Fapp-ext-02-0250_c18.xml |
MD5SUM | 24bf88c1c49a1faaa01f312934ed4415 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 181903419 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4758 |
Number of constraints | 3055 |
Number of domains | 59 |
Minimum domain size | 1 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}] |
Minimum variable degree | 2 |
Maximum variable degree | 1420 |
Distribution of variable degrees | [{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}] |
Number of extensional constraints | 3055 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3055}] |
Optimization problem | YES |
Type of objective | min SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: -1 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 97.11/75.58 o 230027692 97.11/75.58 objective:230027692 102.23/80.61 o 230027684 102.23/80.61 objective:230027684 112.40/90.71 o 230027683 112.40/90.71 objective:230027683 112.40/90.72 o 230027682 112.40/90.72 objective:230027682 127.63/105.84 o 230027680 127.63/105.84 objective:230027680 132.63/110.89 o 230013480 132.63/110.89 objective:230013480 137.76/115.93 o 229999297 137.76/115.93 objective:229999297 137.76/115.93 o 229999289 137.76/115.93 objective:229999289 142.77/120.95 o 229999282 142.77/120.95 objective:229999282 142.77/120.95 o 229999280 142.77/120.95 objective:229999280 158.60/136.79 o 229999276 158.60/136.79 objective:229999276 169.42/147.42 o 229985078 169.42/147.42 objective:229985078 169.42/147.42 o 229985077 169.42/147.42 objective:229985077 169.42/147.42 o 229985076 169.42/147.42 objective:229985076 174.74/152.79 o 229956687 174.74/152.79 objective:229956687 180.19/158.15 o 229956686 180.19/158.15 objective:229956686 185.62/163.53 o 229956685 185.62/163.53 objective:229956685 206.93/184.80 o 229942495 206.93/184.80 objective:229942495 206.93/184.80 o 229942492 206.93/184.80 objective:229942492 212.27/190.14 o 229928310 212.27/190.14 objective:229928310 212.27/190.14 o 229928309 212.27/190.14 objective:229928309 238.67/216.59 o 229914118 238.67/216.59 objective:229914118 238.67/216.59 o 229914111 238.67/216.59 objective:229914111 238.67/216.59 o 229914110 238.67/216.59 objective:229914110 275.78/253.54 o 229914109 275.78/253.54 objective:229914109 275.78/253.54 o 229914102 275.78/253.54 objective:229914102 275.78/253.54 o 229914101 275.78/253.54 objective:229914101 302.20/279.91 o 229914100 302.20/279.91 objective:229914100 302.20/279.92 o 229914099 302.20/279.92 objective:229914099 318.00/295.71 o 229914098 318.00/295.71 objective:229914098 333.81/311.57 o 229885716 333.81/311.57 objective:229885716 333.81/311.57 o 229885708 333.81/311.57 objective:229885708 333.81/311.58 o 229871516 333.81/311.58 objective:229871516 333.81/311.58 o 229871508 333.81/311.58 objective:229871508 376.04/353.78 o 229857307 376.04/353.78 objective:229857307 391.95/369.67 o 229828908 391.95/369.67 objective:229828908 428.97/406.63 o 229800519 428.97/406.63 objective:229800519 428.97/406.63 o 229800518 428.97/406.63 objective:229800518 450.08/427.79 o 229800500 450.08/427.79 objective:229800500 450.08/427.79 o 229786326 450.08/427.79 objective:229786326 450.08/427.79 o 229786308 450.08/427.79 objective:229786308 492.21/469.88 o 229786297 492.21/469.88 objective:229786297 492.21/469.88 o 229772105 492.21/469.88 objective:229772105 492.21/469.88 o 229772102 492.21/469.88 objective:229772102 502.81/480.48 o 229757907 502.81/480.48 objective:229757907 502.81/480.48 o 229757903 502.81/480.48 objective:229757903 513.42/491.06 o 229743707 513.42/491.06 objective:229743707 529.39/506.94 o 229743697 529.39/506.94 objective:229743697 529.39/506.94 o 229743696 529.39/506.94 objective:229743696 545.21/522.72 o 229729505 545.21/522.72 objective:229729505 545.21/522.72 o 229729504 545.21/522.72 objective:229729504 597.83/575.36 o 229715314 597.83/575.36 objective:229715314 676.98/654.45 o 229715307 676.98/654.45 objective:229715307 713.90/691.36 o 229715301 713.90/691.36 objective:229715301 713.90/691.36 o 229715300 713.90/691.36 objective:229715300 771.83/749.27 o 229715299 771.83/749.27 objective:229715299 819.33/796.68 o 229701118 819.33/796.68 objective:229701118 819.33/796.68 o 229701107 819.33/796.68 objective:229701107 877.16/854.46 o 229672726 877.16/854.46 objective:229672726 908.89/886.12 o 229658520 908.89/886.12 objective:229658520 908.89/886.12 o 229658517 908.89/886.12 objective:229658517 914.19/891.44 o 229630129 914.19/891.44 objective:229630129 914.19/891.44 o 229630128 914.19/891.44 objective:229630128 914.19/891.44 o 229630127 914.19/891.44 objective:229630127 935.30/912.53 o 229630124 935.30/912.53 objective:229630124 935.30/912.53 o 229615934 935.30/912.53 objective:229615934 935.30/912.53 o 229615926 935.30/912.53 objective:229615926 945.81/923.05 o 229615918 945.81/923.05 objective:229615918 945.81/923.05 o 229615911 945.81/923.05 objective:229615911 993.34/970.50 o 229601708 993.34/970.50 objective:229601708 998.64/975.84 o 229573326 998.64/975.84 objective:229573326 998.64/975.84 o 229573315 998.64/975.84 objective:229573315 1009.24/986.43 o 229573313 1009.24/986.43 objective:229573313 1009.24/986.43 o 229573312 1009.24/986.43 objective:229573312 1009.24/986.43 o 229573306 1009.24/986.43 objective:229573306 1009.24/986.43 o 229573305 1009.24/986.43 objective:229573305 1009.24/986.43 o 229573304 1009.24/986.43 objective:229573304 1009.24/986.44 o 229559114 1009.24/986.44 objective:229559114 1009.24/986.44 o 229559107 1009.24/986.44 objective:229559107 1009.24/986.44 o 229559106 1009.24/986.44 objective:229559106 1009.24/986.44 o 229559105 1009.24/986.44 objective:229559105 1014.54/991.75 o 229544913 1014.54/991.75 objective:229544913 1014.54/991.75 o 229544912 1014.54/991.75 objective:229544912 1014.54/991.75 o 229544906 1014.54/991.75 objective:229544906 1014.54/991.75 o 229544905 1014.54/991.75 objective:229544905 1025.15/1002.33 o 229530707 1025.15/1002.33 objective:229530707 1040.98/1018.17 o 229530706 1040.98/1018.17 objective:229530706 1040.98/1018.17 o 229530705 1040.98/1018.17 objective:229530705 1083.07/1060.20 o 229530693 1083.07/1060.20 objective:229530693 1083.16/1060.20 o 229516511 1083.16/1060.20 objective:229516511 1083.16/1060.20 o 229516510 1083.16/1060.20 objective:229516510 1088.46/1065.51 o 229502316 1088.46/1065.51 objective:229502316 1088.46/1065.51 o 229502313 1088.46/1065.51 objective:229502313 1141.10/1118.13 o 229502307 1141.10/1118.13 objective:229502307 1141.10/1118.13 o 229502306 1141.10/1118.13 objective:229502306 1183.22/1160.29 o 229502302 1183.22/1160.29 objective:229502302 1183.22/1160.29 o 229502301 1183.22/1160.29 objective:229502301 1183.22/1160.29 o 229502297 1183.22/1160.29 objective:229502297 1183.22/1160.29 o 229488101 1183.22/1160.29 objective:229488101 1183.22/1160.29 o 229488100 1183.22/1160.29 objective:229488100 1183.22/1160.29 o 229488099 1183.22/1160.29 objective:229488099 1183.22/1160.29 o 229473911 1183.22/1160.29 objective:229473911 1183.22/1160.29 o 229473910 1183.22/1160.29 objective:229473910 1183.22/1160.29 o 229473909 1183.22/1160.29 objective:229473909 1204.33/1181.35 o 229459712 1204.33/1181.35 objective:229459712 1204.33/1181.36 o 229459711 1204.33/1181.36 objective:229459711 1220.15/1197.19 o 229459702 1220.15/1197.19 objective:229459702 1220.15/1197.19 o 229459698 1220.15/1197.19 objective:229459698 1220.15/1197.19 o 229445533 1220.15/1197.19 objective:229445533 1220.15/1197.19 o 229445510 1220.15/1197.19 objective:229445510 1220.15/1197.19 o 229445506 1220.15/1197.19 objective:229445506 1288.78/1265.76 o 229431331 1288.78/1265.76 objective:229431331 1288.78/1265.77 o 229431330 1288.78/1265.77 objective:229431330 1288.78/1265.77 o 229431327 1288.78/1265.77 objective:229431327 1288.78/1265.77 o 229431326 1288.78/1265.77 objective:229431326 1299.39/1276.31 o 229431322 1299.39/1276.32 objective:229431322 1299.39/1276.32 o 229431314 1299.39/1276.32 objective:229431314 1299.39/1276.32 o 229417144 1299.39/1276.32 objective:229417144 1299.39/1276.32 o 229417126 1299.39/1276.32 objective:229417126 1309.89/1286.89 o 229417125 1309.89/1286.89 objective:229417125 1357.69/1334.51 o 229402949 1357.69/1334.51 objective:229402949 1362.89/1339.79 o 229402940 1362.89/1339.79 objective:229402940 1362.89/1339.79 o 229388745 1362.89/1339.79 objective:229388745 1362.89/1339.79 o 229388737 1362.89/1339.79 objective:229388737 1362.89/1339.79 o 229388736 1362.89/1339.79 objective:229388736 1373.49/1350.38 o 229388728 1373.49/1350.38 objective:229388728 1373.49/1350.38 o 229388721 1373.49/1350.38 objective:229388721 1373.49/1350.38 o 229374557 1373.49/1350.38 objective:229374557 1373.49/1350.38 o 229374546 1373.49/1350.38 objective:229374546 1373.49/1350.39 o 229374539 1373.49/1350.39 objective:229374539 1373.49/1350.39 o 229374538 1373.49/1350.39 objective:229374538 1378.81/1355.67 o 229374536 1378.81/1355.67 objective:229374536 1378.81/1355.67 o 229360338 1378.81/1355.67 objective:229360338 1378.81/1355.67 o 229360335 1378.81/1355.67 objective:229360335 1378.81/1355.67 o 229360334 1378.81/1355.67 objective:229360334 1405.42/1382.28 o 229346146 1405.42/1382.28 objective:229346146 1405.42/1382.28 o 229346139 1405.42/1382.28 objective:229346139 1447.64/1424.47 o 229331926 1447.64/1424.47 objective:229331926 1495.06/1471.87 o 229331925 1495.06/1471.87 objective:229331925 1526.77/1503.51 o 229317737 1526.77/1503.51 objective:229317737 1526.77/1503.51 o 229317735 1526.77/1503.51 objective:229317735 1548.00/1524.72 o 229303541 1548.00/1524.72 objective:229303541 1579.51/1556.29 o 229303540 1579.51/1556.29 objective:229303540 1579.51/1556.30 o 229303539 1579.51/1556.30 objective:229303539 1579.61/1556.30 o 229303535 1579.61/1556.30 objective:229303535 1579.61/1556.30 o 229303533 1579.61/1556.30 objective:229303533 1579.61/1556.30 o 229303532 1579.61/1556.30 objective:229303532 1579.61/1556.30 o 229303531 1579.61/1556.30 objective:229303531 1579.61/1556.30 o 229303530 1579.61/1556.30 objective:229303530 1579.61/1556.30 o 229303529 1579.61/1556.30 objective:229303529 1579.61/1556.30 o 229303528 1579.61/1556.30 objective:229303528 1579.61/1556.30 o 229303527 1579.61/1556.30 objective:229303527 1706.26/1682.85 o 229289345 1706.26/1682.85 objective:229289345 1706.26/1682.86 o 229289341 1706.26/1682.86 objective:229289341 1706.26/1682.86 o 229289339 1706.26/1682.86 objective:229289339 1706.26/1682.86 o 229289338 1706.26/1682.86 objective:229289338 1753.89/1730.46 o 229289320 1753.89/1730.46 objective:229289320 1753.89/1730.46 o 229275132 1753.89/1730.46 objective:229275132 1753.89/1730.46 o 229275128 1753.89/1730.46 objective:229275128 1796.11/1772.67 o 229260943 1796.11/1772.67 objective:229260943 1796.11/1772.67 o 229260935 1796.11/1772.67 objective:229260935 1796.11/1772.67 o 229260932 1796.11/1772.67 objective:229260932 1817.22/1793.77 o 229260931 1817.22/1793.77 objective:229260931 1817.22/1793.78 o 229260930 1817.22/1793.78 objective:229260930 1817.22/1793.78 o 229246742 1817.22/1793.78 objective:229246742 1817.22/1793.78 o 229246739 1817.22/1793.78 objective:229246739 1817.22/1793.78 o 229246738 1817.22/1793.78 objective:229246738 1838.34/1814.88 o 229232532 1838.34/1814.88 objective:229232532 1838.34/1814.88 o 229232528 1838.34/1814.88 objective:229232528 1849.04/1825.52 o 229232520 1849.04/1825.52 objective:229232520 1849.04/1825.52 o 229232516 1849.04/1825.52 objective:229232516 1849.04/1825.52 o 229232515 1849.04/1825.52 objective:229232515 1849.04/1825.52 o 229232512 1849.04/1825.52 objective:229232512 1849.04/1825.52 o 229232511 1849.04/1825.52 objective:229232511 1854.41/1830.88 o 229232509 1854.41/1830.88 objective:229232509 1854.41/1830.89 o 229218308 1854.41/1830.89 objective:229218308 1923.05/1899.45 o 229218307 1923.05/1899.45 objective:229218307 1944.16/1920.55 o 229204106 1944.16/1920.55 objective:229204106 1944.16/1920.55 o 229204105 1944.16/1920.55 objective:229204105 1960.17/1936.59 o 229189904 1960.17/1936.59 objective:229189904 1960.17/1936.59 o 229175722 1960.17/1936.59 objective:229175722 1960.17/1936.59 o 229175715 1960.17/1936.59 objective:229175715 1960.17/1936.59 o 229175714 1960.17/1936.59 objective:229175714 1986.89/1963.21 o 229161566 1986.89/1963.21 objective:229161566 1986.89/1963.21 o 229161565 1986.89/1963.21 objective:229161565 1986.89/1963.21 o 229161564 1986.89/1963.21 objective:229161564 1986.89/1963.21 o 229147357 1986.89/1963.21 objective:229147357 1986.89/1963.22 o 229147356 1986.89/1963.22 objective:229147356 1986.89/1963.22 o 229147355 1986.89/1963.22 objective:229147355 1986.89/1963.22 o 229147334 1986.89/1963.22 objective:229147334 1986.89/1963.22 o 229147333 1986.89/1963.22 objective:229147333 1986.89/1963.22 o 229147332 1986.89/1963.22 objective:229147332 1992.19/1968.53 o 229133141 1992.19/1968.53 objective:229133141 1992.19/1968.53 o 229133139 1992.19/1968.53 objective:229133139 1992.19/1968.53 o 229133138 1992.19/1968.53 objective:229133138 1992.19/1968.53 o 229133137 1992.19/1968.53 objective:229133137 2002.70/1979.08 o 229133112 2002.70/1979.08 objective:229133112 2002.70/1979.08 o 229118922 2002.70/1979.08 objective:229118922 2018.50/1994.87 o 229118917 2018.50/1994.87 objective:229118917 2018.50/1994.87 o 229118916 2018.50/1994.87 objective:229118916 2034.41/2010.78 o 229118914 2034.41/2010.78 objective:229118914 2034.41/2010.78 o 229118907 2034.41/2010.78 objective:229118907 2039.73/2016.05 o 229118896 2039.73/2016.05 objective:229118896 2039.73/2016.05 o 229104708 2039.73/2016.05 objective:229104708 2039.73/2016.05 o 229104707 2039.73/2016.05 objective:229104707 2039.73/2016.05 o 229104706 2039.73/2016.05 objective:229104706 2039.73/2016.05 o 229104697 2039.73/2016.05 objective:229104697 2039.73/2016.05 o 229104696 2039.73/2016.05 objective:229104696 2039.73/2016.05 o 229104695 2039.73/2016.05 objective:229104695 2050.32/2026.66 o 229104693 2050.32/2026.66 objective:229104693 2050.32/2026.66 o 229104686 2050.32/2026.66 objective:229104686 2050.32/2026.66 o 229104685 2050.32/2026.66 objective:229104685 2050.32/2026.66 o 229090501 2050.32/2026.66 objective:229090501 2050.32/2026.66 o 229090500 2050.32/2026.66 objective:229090500 2050.32/2026.66 o 229090494 2050.32/2026.66 objective:229090494 2050.32/2026.66 o 229090493 2050.32/2026.66 objective:229090493 2061.02/2037.33 o 229090481 2061.02/2037.33 objective:229090481 2061.02/2037.33 o 229076280 2061.02/2037.33 objective:229076280 2061.02/2037.33 o 229062098 2061.02/2037.33 objective:229062098 2061.02/2037.33 o 229062095 2061.02/2037.33 objective:229062095 2061.02/2037.33 o 229062094 2061.02/2037.33 objective:229062094 2119.35/2095.61 o 229062091 2119.35/2095.61 objective:229062091 2119.35/2095.61 o 229062088 2119.35/2095.61 objective:229062088 2119.35/2095.61 o 229062086 2119.35/2095.61 objective:229062086 2119.35/2095.61 o 229062085 2119.35/2095.61 objective:229062085 2119.35/2095.61 o 229062084 2119.35/2095.61 objective:229062084 2119.35/2095.61 o 229062082 2119.35/2095.61 objective:229062082 2119.35/2095.61 o 229062081 2119.35/2095.61 objective:229062081 2119.35/2095.61 o 229062080 2119.35/2095.61 objective:229062080 2119.35/2095.62 o 229062079 2119.35/2095.62 objective:229062079 2119.35/2095.62 o 229062078 2119.35/2095.62 objective:229062078 2124.83/2101.01 o 229033702 2124.83/2101.01 objective:229033702 2124.83/2101.01 o 229033701 2124.83/2101.01 objective:229033701 2124.83/2101.01 o 229033698 2124.83/2101.01 objective:229033698 2124.83/2101.01 o 229033697 2124.83/2101.01 objective:229033697 2124.83/2101.01 o 229019507 2124.83/2101.01 objective:229019507 2124.83/2101.01 o 229019503 2124.83/2101.01 objective:229019503 2124.83/2101.01 o 229019502 2124.83/2101.01 objective:229019502 2124.83/2101.02 o 229019500 2124.83/2101.02 objective:229019500 2124.83/2101.02 o 229019496 2124.83/2101.02 objective:229019496 2124.83/2101.03 o 229019495 2124.83/2101.03 objective:229019495 2177.76/2153.94 o 228991137 2177.76/2153.94 objective:228991137 2177.76/2153.94 o 228976938 2177.76/2153.94 objective:228976938 2177.76/2153.94 o 228948556 2177.76/2153.94 objective:228948556 2177.76/2153.95 o 228948555 2177.76/2153.95 objective:228948555 2177.76/2153.95 o 228948554 2177.76/2153.95 objective:228948554 2177.76/2153.95 o 228948545 2177.76/2153.95 objective:228948545 2177.76/2153.95 o 228948544 2177.76/2153.95 objective:228948544 2177.76/2153.95 o 228948543 2177.76/2153.95 objective:228948543 2177.76/2153.96 o 228948537 2177.76/2153.96 objective:228948537 2177.76/2153.96 o 228948536 2177.76/2153.96 objective:228948536 2177.76/2153.96 o 228948535 2177.76/2153.96 objective:228948535 2177.76/2153.96 o 228948533 2177.76/2153.96 objective:228948533 2177.76/2153.96 o 228948532 2177.76/2153.96 objective:228948532 2177.76/2153.96 o 228948531 2177.76/2153.96 objective:228948531 2183.17/2159.30 o 228920154 2183.17/2159.30 objective:228920154 2183.17/2159.30 o 228920151 2183.17/2159.30 objective:228920151 2183.17/2159.30 o 228920150 2183.17/2159.30 objective:228920150 2183.17/2159.31 o 228920149 2183.17/2159.31 objective:228920149 2199.07/2175.24 o 228920148 2199.07/2175.24 objective:228920148 2199.07/2175.24 o 228905971 2199.07/2175.24 objective:228905971 2199.07/2175.24 o 228905957 2199.07/2175.24 objective:228905957 2199.07/2175.24 o 228905956 2199.07/2175.24 objective:228905956 2199.07/2175.24 o 228905953 2199.07/2175.24 objective:228905953 2199.07/2175.24 o 228905952 2199.07/2175.24 objective:228905952 2209.68/2185.81 o 228905950 2209.68/2185.81 objective:228905950 2209.68/2185.82 o 228905942 2209.68/2185.82 objective:228905942 2209.68/2185.82 o 228905941 2209.68/2185.82 objective:228905941 2230.80/2206.99 o 228891763 2230.80/2206.99 objective:228891763 2230.80/2206.99 o 228891755 2230.80/2206.99 objective:228891755 2230.80/2207.00 o 228891748 2230.80/2207.00 objective:228891748 2230.80/2207.00 o 228877560 2230.80/2207.00 objective:228877560 2230.80/2207.00 o 228877553 2230.80/2207.00 objective:228877553 2230.80/2207.00 o 228877552 2230.80/2207.00 objective:228877552 2230.80/2207.00 o 228877545 2230.80/2207.00 objective:228877545 2246.80/2222.99 o 228877539 2246.80/2222.99 objective:228877539 2246.80/2222.99 o 228863357 2246.80/2222.99 objective:228863357 2246.80/2222.99 o 228863356 2246.80/2222.99 objective:228863356 2257.50/2233.66 o 228863355 2257.50/2233.66 objective:228863355 2257.50/2233.66 o 228863351 2257.50/2233.66 objective:228863351 2257.50/2233.66 o 228863347 2257.50/2233.66 objective:228863347 2257.50/2233.66 o 228849214 2257.50/2233.66 objective:228849214 2257.50/2233.66 o 228849191 2257.50/2233.66 objective:228849191 2257.50/2233.66 o 228849180 2257.50/2233.66 objective:228849180 2257.50/2233.66 o 228849172 2257.50/2233.66 objective:228849172 2257.50/2233.66 o 228849168 2257.50/2233.66 objective:228849168 2257.50/2233.67 o 228835022 2257.50/2233.67 objective:228835022 2257.50/2233.67 o 228835011 2257.50/2233.67 objective:228835011 2257.50/2233.67 o 228835003 2257.50/2233.67 objective:228835003 2257.50/2233.67 o 228834999 2257.50/2233.67 objective:228834999 2257.50/2233.67 o 228834988 2257.50/2233.67 objective:228834988 2257.50/2233.67 o 228834980 2257.50/2233.67 objective:228834980 2257.50/2233.67 o 228834976 2257.50/2233.67 objective:228834976 2257.50/2233.67 o 228834973 2257.50/2233.67 objective:228834973 2257.50/2233.67 o 228834969 2257.50/2233.67 objective:228834969 2257.50/2233.67 o 228834965 2257.50/2233.67 objective:228834965 2273.32/2249.48 o 228820798 2273.32/2249.48 objective:228820798 2273.32/2249.48 o 228820790 2273.32/2249.48 objective:228820790 2273.32/2249.48 o 228820786 2273.32/2249.48 objective:228820786 2273.32/2249.48 o 228820785 2273.32/2249.48 objective:228820785 2273.32/2249.49 o 228820782 2273.32/2249.49 objective:228820782 2273.32/2249.49 o 228820781 2273.32/2249.49 objective:228820781 2294.63/2270.72 o 228806602 2294.63/2270.72 objective:228806602 2294.63/2270.72 o 228806598 2294.63/2270.72 objective:228806598 2294.63/2270.73 o 228806594 2294.63/2270.73 objective:228806594 2294.63/2270.73 o 228806590 2294.63/2270.73 objective:228806590 2305.24/2281.32 o 228806589 2305.24/2281.32 objective:228806589 2305.24/2281.32 o 228806580 2305.24/2281.32 objective:228806580 2315.95/2292.07 o 228792416 2315.95/2292.07 objective:228792416 2315.95/2292.07 o 228792415 2315.95/2292.07 objective:228792415 2315.95/2292.07 o 228792398 2315.95/2292.07 objective:228792398 2315.95/2292.07 o 228792397 2315.95/2292.07 objective:228792397 2315.95/2292.07 o 228792396 2315.95/2292.07 objective:228792396 2315.95/2292.07 o 228792390 2315.95/2292.07 objective:228792390 2315.95/2292.07 o 228792389 2315.95/2292.07 objective:228792389 2315.95/2292.07 o 228792388 2315.95/2292.07 objective:228792388 2315.95/2292.08 o 228792386 2315.95/2292.08 objective:228792386 2315.95/2292.08 o 228792385 2315.95/2292.08 objective:228792385 2315.95/2292.08 o 228792384 2315.95/2292.08 objective:228792384 2326.54/2302.60 o 228778207 2326.54/2302.60 objective:228778207 2326.54/2302.60 o 228778199 2326.54/2302.60 objective:228778199 2326.54/2302.60 o 228778196 2326.54/2302.60 objective:228778196 2373.97/2350.11 o 228764021 2373.97/2350.11 objective:228764021 2374.08/2350.11 o 228764012 2374.08/2350.11 objective:228764012 2374.08/2350.11 o 228764011 2374.08/2350.11 objective:228764011 2374.08/2350.11 o 228764004 2374.08/2350.11 objective:228764004 2374.08/2350.11 o 228764003 2374.08/2350.11 objective:228764003 2374.08/2350.11 o 228763997 2374.08/2350.11 objective:228763997 2374.08/2350.11 o 228763996 2374.08/2350.11 objective:228763996 2374.08/2350.11 o 228763993 2374.08/2350.11 objective:228763993 2374.08/2350.11 o 228763992 2374.08/2350.11 objective:228763992 2374.08/2350.12 o 228763990 2374.08/2350.12 objective:228763990 2374.08/2350.12 o 228763986 2374.08/2350.12 objective:228763986 2374.08/2350.12 o 228763985 2374.08/2350.12 objective:228763985 2374.08/2350.12 o 228763981 2374.08/2350.12 objective:228763981 2374.08/2350.12 o 228763980 2374.08/2350.12 objective:228763980 2374.08/2350.12 o 228763977 2374.08/2350.12 objective:228763977 2374.08/2350.12 o 228763976 2374.08/2350.12 objective:228763976 2379.38/2355.45 o 228749823 2379.38/2355.45 objective:228749823 2379.38/2355.45 o 228749821 2379.38/2355.45 objective:228749821 2379.38/2355.45 o 228749809 2379.38/2355.45 objective:228749809 2379.38/2355.45 o 228749807 2379.38/2355.45 objective:228749807 2379.38/2355.45 o 228749806 2379.38/2355.45 objective:228749806 2379.38/2355.45 o 228749802 2379.38/2355.45 objective:228749802 2379.38/2355.45 o 228749801 2379.38/2355.45 objective:228749801 2379.38/2355.46 o 228749800 2379.38/2355.46 objective:228749800 2379.38/2355.46 o 228749799 2379.38/2355.46 objective:228749799 2379.38/2355.46 o 228749798 2379.38/2355.46 objective:228749798 2384.75/2360.77 o 228749797 2384.75/2360.77 objective:228749797 2384.75/2360.77 o 228749794 2384.75/2360.77 objective:228749794 2384.75/2360.77 o 228749793 2384.75/2360.77 objective:228749793 2384.75/2360.77 o 228749790 2384.75/2360.77 objective:228749790 2384.75/2360.77 o 228749789 2384.75/2360.77 objective:228749789 2442.99/2418.98 o 228735592 2442.99/2418.98 objective:228735592 2442.99/2418.99 o 228721395 2442.99/2418.99 objective:228721395 2442.99/2418.99 o 228721394 2442.99/2418.99 objective:228721394 2442.99/2418.99 o 228721392 2442.99/2418.99 objective:228721392 2442.99/2418.99 o 228721391 2442.99/2418.99 objective:228721391 2448.39/2424.36 o 228707195 2448.39/2424.36 objective:228707195 2448.39/2424.36 o 228707188 2448.39/2424.36 objective:228707188 2448.39/2424.36 o 228707186 2448.39/2424.36 objective:228707186 2448.39/2424.37 o 228707184 2448.39/2424.37 objective:228707184 2448.39/2424.37 o 228707182 2448.39/2424.37 objective:228707182 2458.99/2434.97 o 228692987 2458.99/2434.97 objective:228692987 2458.99/2434.97 o 228678797 2458.99/2434.97 objective:228678797 2458.99/2434.97 o 228678789 2458.99/2434.97 objective:228678789 2458.99/2434.97 o 228664606 2458.99/2434.97 objective:228664606 2458.99/2434.97 o 228664598 2458.99/2434.97 objective:228664598 2458.99/2434.97 o 228664597 2458.99/2434.97 objective:228664597 2458.99/2434.98 o 228664589 2458.99/2434.98 objective:228664589 2511.91/2487.87 o 228650394 2511.91/2487.87 objective:228650394 2511.91/2487.87 o 228636208 2511.91/2487.87 objective:228636208 2511.91/2487.88 o 228636201 2511.91/2487.88 objective:228636201 2520.03/2495.90 s SATISFIABLE 2520.03/2495.91 v <instantiation> 2520.03/2495.91 v <list> 2520.03/2495.91 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] 2520.03/2495.91 v </list> 2520.03/2495.91 v <values> 2520.03/2495.91 v 2432 2480 2432 2472 2480 2508 2472 2472 2512 2404 2432 2472 2432 2520 2552 2432 2472 2520 2472 2432 2468 2584 2472 2544 2472 2628 2432 2404 2392 2552 2560 2520 2432 2472 2432 2364 2588 2472 2472 2472 2440 2552 2432 2432 2592 2544 2472 2520 2560 2472 2520 2472 2648 2512 2580 2512 2520 2432 2480 2520 2432 2280 2472 2592 2512 2560 2552 2296 2432 2432 2336 2472 2432 2432 2584 2432 2280 2376 2480 2432 2472 2560 2552 2432 2432 2560 2432 2480 2280 2432 2480 2576 2544 2364 2492 2512 2356 2432 2472 2472 2520 2432 2480 2432 2560 2472 2268 2472 2472 2308 2520 2472 2512 2520 2472 2472 2320 2472 2472 2520 2536 2364 2644 2280 2472 2512 2432 2472 2472 2472 2472 2472 2432 2520 2584 2320 2520 2472 2432 2544 2312 2404 2588 2512 2472 2320 2432 2432 2440 2524 2472 2568 2364 2472 2584 2608 2520 2432 2320 2320 2456 2376 2460 2472 2432 2432 2432 2456 2584 2472 2472 2520 2472 2280 2508 2432 2432 2624 2560 2432 2520 2432 2432 2280 2520 2584 2628 2472 2432 2472 2560 2472 2472 2472 2432 2432 2560 2472 2564 2452 2320 2560 2604 2512 2512 2472 2432 2544 2432 2432 2628 2544 2472 2584 2432 2416 2472 2472 2472 2316 2404 2588 2472 2540 2468 2432 2432 2480 2432 2560 2472 2472 2524 2432 2588 2608 2432 2472 2500 2352 2416 2472 2564 2472 2416 2512 2472 2416 2628 2432 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 11 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 2 7 10 10 1 10 0 0 0 0 10 0 10 10 0 0 10 10 0 7 10 10 10 10 10 0 2 1 10 6 10 0 10 0 0 1 10 0 10 0 10 10 10 1 10 1 10 10 10 10 10 10 10 3 10 0 10 10 10 1 10 0 10 1 10 0 0 1 10 10 10 0 10 10 0 0 0 0 0 0 10 10 10 0 5 1 0 1 0 10 10 0 10 3 0 10 10 0 0 0 3 10 0 1 0 10 1 0 1 0 10 10 1 10 0 0 1 6 0 10 1 10 1 10 0 10 1 3 0 10 10 10 0 1 0 0 10 0 10 10 0 0 0 2 10 9 1 10 9 1 9 1 1 10 0 0 10 1 10 0 1 10 10 0 5 0 0 10 8 0 0 8 10 0 0 10 10 10 0 10 0 0 0 10 0 1 10 10 10 10 10 10 0 9 10 0 7 10 10 1 6 0 0 10 1 0 10 2 0 0 2 0 0 1 10 10 10 8 0 1 10 10 0 10 10 0 5 0 1 0 1 0 10 10 9 10 10 0 10 10 10 10 0 10 10 1 10 8 10 10 2 10 10 10 10 10 6 0 0 0 0 0 10 10 10 10 0 0 0 10 0 10 0 0 8 10 0 4 10 0 10 10 0 10 10 0 10 10 10 10 0 0 10 10 10 10 10 0 0 0 10 10 0 0 1 0 6 10 10 10 10 1 10 2 1 10 10 10 0 10 1 1 0 2 10 0 8 1 0 0 10 8 0 0 5 7 10 1 0 0 10 10 10 0 1 0 0 10 1 0 0 0 10 1 0 0 1 0 7 1 0 0 6 0 0 2 10 1 10 10 8 3 0 10 6 5 0 0 10 10 9 10 0 1 8 10 0 10 10 0 10 10 10 10 10 7 2 0 0 3 10 0 0 0 10 0 0 7 10 10 0 0 10 8 1 0 10 0 0 10 0 10 9 10 1 10 0 10 10 0 10 10 10 9 10 0 0 1 10 9 0 0 2 8 0 10 0 0 10 10 0 0 10 10 0 6 10 7 0 8 9 0 0 6 7 0 10 0 3 10 10 10 0 1 0 10 0 10 0 0 10 0 0 0 10 0 0 0 8 10 10 5 0 1 10 8 10 1 0 6 1 1 10 10 10 10 0 10 10 10 9 0 0 5 10 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 1 1 10 10 0 10 0 0 10 0 10 10 4 0 9 10 10 10 6 10 6 10 8 10 0 10 0 10 10 10 0 10 0 0 10 10 0 1 0 10 8 1 0 0 0 10 8 10 10 0 0 10 10 10 10 6 0 1 1 10 0 1 1 10 10 1 10 0 0 0 0 10 10 10 9 9 1 0 0 10 8 10 1 0 10 0 10 10 10 0 1 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 0 4 10 10 10 10 0 0 1 0 10 1 0 10 10 0 9 0 0 10 4 0 9 0 0 0 10 10 0 0 5 1 10 10 10 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 9 10 0 0 2 0 10 0 0 0 0 10 5 0 10 10 10 5 10 0 10 0 0 0 4 0 0 10 10 0 0 10 0 10 0 10 0 0 0 1 8 0 0 1 0 0 0 5 10 0 0 4 10 0 0 10 10 0 10 0 10 10 10 1 0 9 10 0 0 4 0 0 0 10 9 8 10 0 2 10 5 10 10 10 0 6 8 0 0 0 6 10 10 10 8 0 0 1 0 0 8 10 4 10 0 0 0 10 10 6 0 10 0 0 0 10 9 10 0 0 10 0 2 10 0 0 10 4 10 0 10 10 10 8 10 10 0 0 10 0 1 0 0 3 0 10 0 10 7 0 10 8 0 0 0 10 10 3 7 10 10 0 10 0 10 0 10 10 10 1 10 1 10 0 10 0 10 1 0 10 0 9 0 0 0 1 0 10 10 0 0 10 0 10 0 9 10 7 8 0 0 10 0 0 10 10 0 3 9 0 1 0 10 0 1 0 0 0 0 0 0 10 0 4 10 8 10 0 10 3 5 1 0 0 0 0 10 10 0 10 1 10 10 0 10 0 0 10 10 1 6 0 10 10 10 0 0 0 3 1 4 10 10 0 10 0 10 10 10 0 9 0 7 0 0 2 0 10 10 8 10 10 10 0 0 9 10 0 0 10 0 10 7 6 10 10 0 0 0 0 10 0 10 10 10 9 10 0 0 0 4 0 5 10 0 0 10 0 1 9 0 0 9 0 10 1 1 0 0 0 0 1 1 0 10 5 10 0 10 8 7 2 3 0 0 1 0 9 10 0 0 10 10 0 10 1 0 0 3 10 10 10 10 10 0 0 10 5 0 10 10 0 0 10 0 3 0 0 0 10 0 10 10 0 10 10 10 10 10 0 1 0 1 0 10 10 0 0 0 10 0 0 0 8 8 10 0 10 0 0 8 9 10 10 10 0 0 0 10 10 1 0 0 10 4 10 9 10 1 0 1 0 0 0 0 0 0 10 10 10 10 1 0 9 8 0 8 10 10 0 0 0 10 10 0 10 10 0 0 10 10 9 0 0 0 1 6 10 9 9 10 0 0 10 0 10 10 0 10 0 0 0 0 10 10 10 0 10 0 10 0 10 4 10 10 0 10 5 10 10 0 10 0 10 0 10 10 1 1 7 10 0 0 10 0 10 6 0 10 10 2 6 10 10 5 0 0 10 0 10 0 10 0 10 10 0 0 0 0 1 10 0 10 10 0 0 1 0 0 0 10 8 1 4 7 10 10 0 1 0 0 0 7 10 7 10 0 10 10 10 2 0 1 0 10 0 10 10 0 0 1 0 9 10 10 1 8 10 9 4 10 0 0 10 0 0 0 10 0 0 10 10 1 10 10 0 10 10 10 1 10 10 1 0 10 10 0 0 10 0 10 1 6 10 1 5 0 0 0 7 0 1 1 0 3 10 10 10 0 10 0 0 10 10 1 1 10 10 10 0 10 0 0 1 0 10 10 7 0 10 4 10 10 10 0 0 10 9 0 10 10 10 10 10 10 10 0 2 8 10 10 10 10 0 10 0 0 0 9 10 10 10 10 10 0 0 10 7 5 0 10 0 10 10 10 0 0 10 9 10 0 0 10 0 1 10 0 0 0 10 10 0 6 4 0 0 0 6 10 10 0 0 0 40 56 152 40 0 0 196 196 0 0 200 0 200 48 0 200 8 8 8 200 64 64 8 64 0 40 8 40 0 40 0 176 0 40 40 72 72 48 40 40 40 32 72 8 72 48 48 8 8 144 32 48 104 108 12 120 76 52 76 228 12 76 120 80 40 72 40 0 48 0 40 88 132 40 40 0 0 108 32 40 48 40 80 40 108 96 40 48 0 0 88 40 40 80 148 8 40 56 0 0 108 96 84 92 0 184 28 140 88 0 0 0 0 0 0 0 0 112 88 40 40 0 176 0 156 40 0 0 40 40 0 96 12 40 156 0 68 156 0 112 112 88 40 0 40 128 172 40 36 88 40 48 0 88 48 0 200 4 40 44 8 0 0 0 0 32 148 32 80 272 120 120 120 80 88 40 48 128 88 128 132 112 172 0 40 128 0 120 0 40 136 104 108 40 0 0 0 68 116 4 116 56 0 0 88 48 200 200 48 88 4 40 0 152 48 40 0 0 36 0 152 96 80 152 152 112 40 16 4 36 36 52 92 36 44 4 72 152 76 152 112 112 104 120 8 8 8 32 152 0 8 44 72 112 0 24 24 72 24 112 72 16 112 112 40 0 12 0 120 108 196 116 156 156 172 252 196 196 0 156 156 212 0 0 120 40 40 112 40 0 0 128 88 40 108 120 28 156 136 96 160 168 192 40 80 24 40 120 80 24 120 28 80 80 120 12 128 128 128 36 100 48 128 8 40 40 0 116 104 48 8 148 96 0 0 48 112 88 40 40 40 0 40 128 0 196 40 0 40 88 40 48 116 40 0 116 4 80 48 152 80 152 28 176 0 80 16 68 196 116 156 68 156 252 116 44 0 156 156 156 4 0 120 28 0 88 40 40 96 40 48 152 0 152 152 96 16 0 132 0 176 40 40 72 48 0 0 88 112 68 8 136 0 168 8 8 8 80 72 120 120 80 80 8 232 120 72 120 12 56 0 88 0 48 0 40 88 40 88 0 128 40 212 0 40 40 152 120 72 56 160 72 68 120 160 160 176 236 32 72 24 224 112 0 228 16 80 176 40 0 0 48 0 108 112 0 0 0 40 156 88 88 40 48 88 208 48 64 240 48 48 68 40 24 28 24 48 24 128 88 92 40 0 116 0 0 88 0 208 48 12 48 84 48 104 176 88 108 108 48 0 48 56 0 368 136 124 20 0 40 0 12 40 80 60 108 204 148 36 108 60 108 36 24 40 80 8 40 0 48 80 252 48 0 4 48 48 48 56 0 88 40 112 196 116 32 124 160 8 48 108 48 128 8 8 88 48 12 48 168 44 120 40 0 0 40 0 0 0 256 244 192 0 228 136 152 328 136 40 0 32 40 0 192 4 116 40 120 120 120 36 120 176 32 148 40 40 56 40 40 52 76 264 88 128 120 80 112 272 80 80 120 184 184 176 176 248 136 136 136 176 152 0 40 88 0 0 0 128 0 128 36 56 0 88 40 112 24 56 132 112 0 40 136 208 136 184 136 96 24 184 16 248 204 72 0 32 152 152 40 60 40 112 0 40 40 40 40 88 196 28 40 112 24 152 264 72 152 152 0 48 28 92 68 0 200 200 32 192 0 228 0 304 280 136 136 96 168 12 56 56 0 56 96 56 56 200 128 48 64 164 8 0 64 64 128 76 212 152 0 88 0 112 68 40 40 104 72 156 88 40 196 48 128 88 28 20 88 120 80 80 36 272 76 8 40 120 0 112 112 28 176 88 40 108 40 40 16 16 196 84 88 128 144 88 156 20 48 48 0 80 0 196 196 28 40 16 40 96 48 8 48 40 76 364 0 96 192 0 324 136 244 60 88 88 112 40 56 40 0 40 80 124 0 48 56 104 148 80 16 104 104 12 52 16 104 52 112 276 72 264 24 4 68 108 224 68 108 264 224 224 20 72 48 60 0 32 72 96 40 40 164 116 164 188 252 104 152 76 40 0 0 88 0 40 156 36 0 0 40 0 40 0 48 0 88 204 108 152 136 0 40 116 48 48 208 40 48 88 152 128 128 80 112 0 128 8 128 104 40 8 108 40 0 0 0 112 40 40 0 88 88 104 108 128 164 48 136 152 40 156 40 88 0 156 204 164 204 204 336 204 0 40 16 88 40 132 40 0 0 0 40 40 40 28 164 124 276 148 152 124 316 164 252 200 240 88 48 200 200 64 88 200 40 40 12 0 40 80 40 40 0 192 40 80 44 80 0 96 64 48 24 48 0 48 88 0 152 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 48 40 20 256 216 64 148 156 68 100 172 60 136 84 192 176 36 192 240 192 136 136 136 136 108 96 40 156 156 156 68 156 40 52 0 12 0 0 0 0 0 92 40 0 0 0 0 88 20 48 0 48 0 40 0 156 152 16 96 0 0 48 152 116 40 88 40 116 136 0 0 0 152 196 112 0 92 156 0 68 88 108 88 88 68 20 108 124 0 152 0 112 0 0 56 112 112 112 152 116 64 88 240 40 0 0 0 0 0 20 112 0 72 128 316 160 120 156 120 188 68 52 96 68 28 156 0 120 156 0 52 28 112 188 308 132 112 152 56 40 0 24 0 0 116 48 0 40 184 32 124 8 8 60 8 20 108 56 0 0 88 0 68 0 48 136 96 96 68 156 220 108 108 148 0 0 0 152 24 44 232 0 176 0 48 88 88 116 48 36 156 136 112 304 112 0 96 112 240 0 0 228 56 12 28 12 28 112 36 152 0 0 68 152 192 0 40 40 0 0 112 28 0 128 40 40 0 132 128 0 40 176 132 24 112 72 152 72 0 88 156 68 40 48 36 40 40 40 0 120 240 104 88 48 104 20 136 136 8 120 152 128 68 0 196 0 196 28 0 196 192 272 208 44 88 0 28 40 40 88 48 88 24 116 40 4 88 104 152 128 16 128 16 196 28 196 280 72 136 136 48 88 168 196 156 224 68 0 0 156 68 0 88 108 0 44 16 88 88 40 88 40 40 112 80 156 88 0 88 28 88 92 20 152 192 44 48 132 132 188 132 80 40 160 40 0 112 68 16 0 84 40 92 0 16 0 40 196 64 20 116 136 40 128 56 0 0 40 52 0 0 164 100 172 136 4 40 120 120 92 0 136 148 68 56 0 52 132 0 96 156 2520.03/2495.91 v </values> 2520.03/2495.91 v </instantiation>
OK 228636201
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12548 MiB free) memory of node 1: 16384 MiB (14558 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298999-1532790139/watcher-4298999-1532790139 -o /tmp/evaluation-result-4298999-1532790139/solver-4298999-1532790139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532775187-6231 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298999-1532790139.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7710, runsolver pid=7707 Current StackSize limit: 8192 KiB [startup+0.100127 s]* /proc/loadavg: 1.59 1.33 1.33 4/217 7725 /proc/meminfo: memFree=27742056/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10658972 memory=27432 CPUtime=0.12 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 5288 0 0 0 11 1 0 0 20 0 15 0 96577252 10914787328 6858 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664743 6858 2819 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10658972 memory=-8825470266787067072 CPUtime=0.08 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 3157 0 0 0 8 0 0 0 20 0 15 0 96577252 10914787328 6858 33554432000 4194304 4196468 140734673021584 140149191263024 140149187046806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 6858 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 6858 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 6858 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 6858 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148761781536 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0.02 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) R 7707 7710 6199 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 6924 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 27432 KiB [startup+0.210677 s]* /proc/loadavg: 1.59 1.33 1.33 4/217 7725 /proc/meminfo: memFree=27730044/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10658972 memory=40544 CPUtime=0.34 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 8222 0 0 0 32 2 0 0 20 0 15 0 96577252 10914787328 10136 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664743 10136 2987 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 5109 0 0 0 18 1 0 0 20 0 15 0 96577252 10914787328 10136 33554432000 4194304 4196468 140734673021584 140149191274080 140148825682465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10658972 memory=343 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10658972 memory=139725965446685 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148761781536 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10658972 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) R 7707 7710 6199 0 -1 4202560 491 0 0 0 1 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148758624368 140149178989753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) R 7707 7710 6199 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0.08 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) R 7707 7710 6199 0 -1 4202560 902 0 0 0 8 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148756515008 140149165692912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 10136 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 40544 KiB [startup+0.310659 s]* /proc/loadavg: 1.59 1.33 1.33 5/217 7725 /proc/meminfo: memFree=27669044/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10658972 memory=107464 CPUtime=0.58 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 9570 0 0 0 54 4 0 0 20 0 15 0 96577252 10914787328 26866 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664743 26866 3041 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10658972 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 5146 0 0 0 26 3 0 0 20 0 15 0 96577252 10914787328 27510 33554432000 4194304 4196468 140734673021584 140149191274080 140149187056797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10658972 memory=4294977868 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10658972 memory=139725966015184 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577253 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148761781536 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10658972 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) R 7707 7710 6199 0 -1 4202560 1559 0 0 0 8 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148758605384 140149167735168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10658972 memory=-1 CPUtime=0.06 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 703 0 0 0 6 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0.12 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10658972 memory=139725965432448 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 27510 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 0.58 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 107464 KiB [startup+0.705143 s] /proc/loadavg: 1.59 1.33 1.33 5/217 7725 /proc/meminfo: memFree=27471328/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10658972 memory=484520 CPUtime=1.7 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 12788 0 0 0 134 36 0 0 20 0 15 0 96577252 10914787328 121130 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664743 121130 3077 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10658972 memory=172870084866436 CPUtime=0.53 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) S 7707 7710 6199 0 -1 1077944384 5177 0 0 0 47 6 0 0 20 0 15 0 96577252 10914787328 121130 33554432000 4194304 4196468 140734673021584 140149191274128 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10658972 memory=569991 CPUtime=0.12 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) R 7707 7710 6199 0 -1 4202560 215 0 0 0 6 6 0 0 20 0 15 0 96577253 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148793485712 140149180137864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10658972 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) R 7707 7710 6199 0 -1 4202560 226 0 0 0 6 6 0 0 20 0 15 0 96577253 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148792432912 140149180131572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10658972 memory=0 CPUtime=0.13 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) R 7707 7710 6199 0 -1 4202560 208 0 0 0 6 7 0 0 20 0 15 0 96577253 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148791380512 140149180131572 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10658972 memory=7809523229951467570 CPUtime=0.11 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) R 7707 7710 6199 0 -1 4202560 214 0 0 0 5 6 0 0 20 0 15 0 96577253 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148790327824 140149180137588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148762834112 140149187045077 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10658972 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148761781536 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10658972 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96577255 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10658972 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10658972 memory=0 CPUtime=0.28 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 2980 0 0 0 27 1 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10658972 memory=0 CPUtime=0.2 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 1333 0 0 0 20 0 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10658972 memory=0 CPUtime=0.13 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 982 0 0 0 13 0 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10658972 memory=18268 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96577258 10914787328 121130 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 1.7 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 484520 KiB [startup+1.50075 s] /proc/loadavg: 1.78 1.37 1.34 3/217 7725 /proc/meminfo: memFree=27273240/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10659048 memory=733828 CPUtime=4.05 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 15742 0 0 0 347 58 0 0 20 0 15 0 96577252 10914865152 183457 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664762 183457 3142 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10659048 memory=10799 CPUtime=1.21 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 5538 0 0 0 111 10 0 0 20 0 15 0 96577252 10914865152 183457 33554432000 4194304 4196468 140734673021584 140149191271888 140148827687316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10659048 memory=8112282956445269571 CPUtime=0.23 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 439 0 0 0 13 10 0 0 20 0 15 0 96577253 10914865152 183457 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10659048 memory=0 CPUtime=0.23 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 340 0 0 0 13 10 0 0 20 0 15 0 96577253 10914865152 183457 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10659048 memory=0 CPUtime=0.23 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 278 0 0 0 12 11 0 0 20 0 15 0 96577253 10914865152 183457 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10659048 memory=6943526294502006880 CPUtime=0.23 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 350 0 0 0 12 11 0 0 20 0 15 0 96577253 10914865152 183457 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 183457 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 ################ # More data... # ################ /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 595184 0 0 0 237531 95 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140149191266272 140148830918448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10659048 memory=6517196 CPUtime=5.45 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 32953 0 0 0 469 76 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10659048 memory=279451646299968 CPUtime=5.53 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 25893 0 0 0 473 80 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.52 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 31397 0 0 0 471 81 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.48 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 31471 0 0 0 470 78 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.39 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 8955 0 0 0 35 4 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10659048 memory=6517196 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148761781600 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 16620 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 17017 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.7 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 16878 0 0 0 68 2 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10659048 memory=4136 CPUtime=1.29 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 2563 0 0 0 59 70 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 2406.36 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 6380800 KiB [startup+2442.3 s] /proc/loadavg: 1.82 1.92 1.97 3/215 8108 /proc/meminfo: memFree=17927180/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2466.4 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 784744 0 0 0 246150 490 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664762 1595200 3185 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2436.26 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 599516 0 0 0 243530 96 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140149191266272 140148830985145 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.45 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 32953 0 0 0 469 76 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.53 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 25893 0 0 0 473 80 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.52 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 31397 0 0 0 471 81 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.48 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 31471 0 0 0 470 78 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.39 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 8965 0 0 0 35 4 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148761781600 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 16627 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10659048 memory=4136 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 17020 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.7 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 16881 0 0 0 68 2 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10659048 memory=4588 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10659048 memory=9920 CPUtime=1.32 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 2603 0 0 0 60 72 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 2466.4 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 6380800 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2495.9 s] /proc/loadavg: 1.79 1.88 1.95 3/215 8109 /proc/meminfo: memFree=17934720/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2520.03 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 788507 0 0 0 251511 492 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664762 1595200 3185 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2489.86 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 602354 0 0 0 248890 96 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140149191274200 140148826448507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.45 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 32953 0 0 0 469 76 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.53 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 25893 0 0 0 473 80 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.52 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 31397 0 0 0 471 81 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.48 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 31471 0 0 0 470 78 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.39 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 8975 0 0 0 35 4 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10659048 memory=18268 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148761781600 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 16640 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 17023 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10659048 memory=1228 CPUtime=0.71 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 17738 0 0 0 69 2 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10659048 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10659048 memory=6380800 CPUtime=1.35 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 2645 0 0 0 62 73 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 6380800 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2495.95 s] # the end of solver process 7710 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.15 s, system=4.94738 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2495.9 s] /proc/loadavg: 1.79 1.88 1.95 3/215 8109 /proc/meminfo: memFree=17934720/32770624 swapFree=67108792/67108860 [pid=7710] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2520.03 cores=1,3,5,7 /proc/7710/stat : 7710 (java) S 7707 7710 6199 0 -1 1077944320 788507 0 0 0 251511 492 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140734673004128 140149187034871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 /proc/7710/statm: 2664762 1595200 3185 1 0 2627263 0 [pid=7710/tid=7712] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2489.86 cores=1,3,5,7 /proc/7710/task/7712/stat : 7712 (java) R 7707 7710 6199 0 -1 4202560 602354 0 0 0 248890 96 0 0 20 0 15 0 96577252 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140149191274200 140148826448507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7713] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.45 cores=1,3,5,7 /proc/7710/task/7713/stat : 7713 (java) S 7707 7710 6199 0 -1 1077944384 32953 0 0 0 469 76 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148793485712 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7714] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.53 cores=1,3,5,7 /proc/7710/task/7714/stat : 7714 (java) S 7707 7710 6199 0 -1 1077944384 25893 0 0 0 473 80 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148792432912 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7715] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.52 cores=1,3,5,7 /proc/7710/task/7715/stat : 7715 (java) S 7707 7710 6199 0 -1 1077944384 31397 0 0 0 471 81 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148791380624 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7716] ppid=7707 vsize=10659048 memory=6380800 CPUtime=5.48 cores=1,3,5,7 /proc/7710/task/7716/stat : 7716 (java) S 7707 7710 6199 0 -1 1077944384 31471 0 0 0 470 78 0 0 20 0 15 0 96577253 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148790327824 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7717] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0.39 cores=1,3,5,7 /proc/7710/task/7717/stat : 7717 (java) S 7707 7710 6199 0 -1 1077944384 8975 0 0 0 35 4 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148762835568 140149187046018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7718] ppid=7707 vsize=10659048 memory=18268 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7718/stat : 7718 (java) S 7707 7710 6199 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148761781600 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7719] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7719/stat : 7719 (java) S 7707 7710 6199 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 96577255 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148760729200 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7720] ppid=7707 vsize=10659048 memory=6380800 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7720/stat : 7720 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148759677520 140149187053467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7721] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7721/stat : 7721 (java) S 7707 7710 6199 0 -1 1077944384 16640 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148758624368 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7722] ppid=7707 vsize=10659048 memory=6380800 CPUtime=2.82 cores=1,3,5,7 /proc/7710/task/7722/stat : 7722 (java) S 7707 7710 6199 0 -1 1077944384 17023 0 0 0 279 3 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148757571568 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7723] ppid=7707 vsize=10659048 memory=1228 CPUtime=0.71 cores=1,3,5,7 /proc/7710/task/7723/stat : 7723 (java) S 7707 7710 6199 0 -1 1077944384 17738 0 0 0 69 2 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148756519280 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7724] ppid=7707 vsize=10659048 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/7710/task/7724/stat : 7724 (java) S 7707 7710 6199 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148755466720 140149187045077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 [pid=7710/tid=7725] ppid=7707 vsize=10659048 memory=6380800 CPUtime=1.35 cores=1,3,5,7 /proc/7710/task/7725/stat : 7725 (java) S 7707 7710 6199 0 -1 1077944384 2645 0 0 0 62 73 0 0 20 0 15 0 96577258 10914865152 1595200 33554432000 4194304 4196468 140734673021584 140148754414512 140149187046018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9736192 140734673024173 140734673024265 140734673024265 140734673027023 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 6380800 KiB Child status: 143 Real time (s): 2495.95 CPU time (s): 2520.09 CPU user time (s): 2515.15 CPU system time (s): 4.94738 CPU usage (%): 100.967 Max. virtual memory (cumulated for all children) (KiB): 10659048 Max. memory (cumulated for all children) (KiB): 6557964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.15 system time used= 4.94738 maximum resident set size= 6557964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 789503 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 58286 involuntary context switches= 971 # summary of solver processes directly reported to runsolver: # pid: 7710 # total CPU time (s): 2520.09 # total CPU user time (s): 2515.15 # total CPU system time (s): 4.94738 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.7124 second user time and 23.8279 second system time The end
Begin job on node150 at 2018-07-28 17:02:20 IDJOB=4298999 IDBENCH=141281 IDSOLVER=2763 FILE ID=node150/4298999-1532790139 RUNJOBID= node150-1532775187-6231 PBS_JOBID= 21022464 Free space on /tmp= 52920 MiB SOLVER NAME= MiniCPFever 2018-04-29 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298999-1532790139/watcher-4298999-1532790139 -o /tmp/evaluation-result-4298999-1532790139/solver-4298999-1532790139 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532775187-6231 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298999-1532790139.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415 RANDOM SEED=736082842 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27758252 kB MemAvailable: 31755880 kB Buffers: 205008 kB Cached: 4031420 kB SwapCached: 32 kB Active: 1834872 kB Inactive: 2637904 kB Active(anon): 187680 kB Inactive(anon): 76188 kB Active(file): 1647192 kB Inactive(file): 2561716 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 184764 kB Writeback: 12 kB AnonPages: 243784 kB Mapped: 54852 kB Shmem: 25156 kB Slab: 237428 kB SReclaimable: 209108 kB SUnreclaim: 28320 kB KernelStack: 3552 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1129116 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 52820 MiB End job on node150 at 2018-07-28 17:43:56