Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 605046649 | 19789 | 2520.66 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
MD5SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 589221986 |
Best CPU time to get the best result obtained on this benchmark | 2883.99 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7590 |
Number of constraints | 4736 |
Number of domains | 77 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
Minimum variable degree | 2 |
Maximum variable degree | 2251 |
Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
Number of extensional constraints | 2250 |
Number of intensional constraints | 2486 |
Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
Optimization problem | YES |
Type of objective | min SUM |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1295883716 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.56 c nbcore: 8 0.66/0.58 c Parsing instance... 37.45/19.18 c Parsing done, starting search... 516.04/102.23 o 605856960 516.04/102.29 o 605834458 516.87/102.33 o 605834450 516.87/102.38 o 605811958 517.61/102.41 o 605811950 517.61/102.46 o 605811948 517.61/102.49 o 605789448 518.45/102.55 o 605766948 518.45/102.59 o 605766947 519.23/102.62 o 605744447 519.23/102.66 o 605744445 519.23/102.67 o 605744437 519.99/102.71 o 605721955 519.99/102.72 o 605721947 519.99/102.74 o 605721945 519.99/102.75 o 605721937 519.99/102.79 o 605721929 520.80/102.83 o 605721927 520.80/102.85 o 605721919 520.80/102.89 o 605699446 521.60/102.92 o 605699438 521.60/102.93 o 605699436 521.60/102.95 o 605699428 521.60/102.97 o 605699427 521.60/103.00 o 605699419 522.44/103.02 o 605699417 522.44/103.04 o 605699409 522.44/103.08 o 605699407 522.44/103.09 o 605699401 522.44/103.11 o 605699399 523.25/103.12 o 605676917 523.25/103.14 o 605676909 523.25/103.16 o 605676907 523.25/103.18 o 605676899 523.96/103.21 o 605676892 523.96/103.25 o 605676890 523.96/103.27 o 605676889 523.96/103.28 o 605654415 524.76/103.31 o 605654408 524.76/103.31 o 605654407 524.76/103.33 o 605654399 524.76/103.34 o 605654397 524.76/103.37 o 605654389 524.76/103.38 o 605654382 525.56/103.44 o 605654380 525.56/103.45 o 605654379 525.56/103.47 o 605654372 526.34/103.50 o 605631913 526.34/103.52 o 605631905 526.34/103.53 o 605631897 526.34/103.55 o 605631889 526.34/103.58 o 605631882 526.34/103.60 o 605631880 527.13/103.61 o 605631879 527.13/103.64 o 605631872 530.39/104.01 o 605609396 530.39/104.03 o 605609387 530.39/104.05 o 605609379 530.39/104.08 o 605609372 530.39/104.10 o 605609369 531.20/104.12 o 605609362 531.20/104.19 o 605609360 531.94/104.21 o 605586902 531.94/104.22 o 605586895 531.94/104.23 o 605586894 531.94/104.25 o 605586886 531.94/104.27 o 605586879 531.94/104.29 o 605586878 531.94/104.29 o 605586877 532.70/104.31 o 605586871 532.70/104.33 o 605586869 532.70/104.33 o 605586868 532.70/104.36 o 605586867 532.70/104.37 o 605586861 532.70/104.37 o 605586860 532.70/104.39 o 605586859 533.50/104.41 o 605586852 534.29/104.58 o 605586851 535.08/104.60 o 605564392 535.08/104.61 o 605564382 535.08/104.63 o 605564374 535.08/104.64 o 605564366 535.08/104.66 o 605564365 535.08/104.67 o 605564358 535.08/104.68 o 605564357 535.08/104.69 o 605564351 535.08/104.69 o 605564350 535.86/104.71 o 605564349 535.86/104.73 o 605564342 538.32/105.04 o 605541893 538.32/105.05 o 605541884 538.32/105.06 o 605541877 538.32/105.07 o 605541874 538.32/105.09 o 605541867 538.32/105.10 o 605541866 539.12/105.12 o 605541859 539.12/105.13 o 605541856 539.12/105.14 o 605541849 539.12/105.15 o 605541848 539.12/105.17 o 605541841 539.12/105.20 o 605541840 539.84/105.20 o 605541833 539.84/105.24 o 605541832 568.54/108.84 o 605541831 568.54/108.87 o 605541830 569.34/108.90 o 605541828 569.34/108.93 o 605541823 569.34/108.99 o 605541822 570.20/109.03 o 605519382 570.20/109.05 o 605519380 570.20/109.07 o 605519375 570.20/109.09 o 605519372 571.01/109.11 o 605519370 571.01/109.14 o 605519365 571.01/109.16 o 605519363 571.01/109.19 o 605519358 571.76/109.22 o 605519355 571.76/109.24 o 605519353 571.76/109.27 o 605519348 571.76/109.30 o 605519346 572.61/109.32 o 605519344 572.61/109.35 o 605519339 572.61/109.37 o 605519338 573.32/109.40 o 605519336 573.32/109.43 o 605519331 573.32/109.46 o 605519330 573.32/109.49 o 605519329 574.12/109.51 o 605519327 574.12/109.54 o 605519322 585.30/110.95 o 605496888 585.30/110.97 o 605496886 585.30/111.00 o 605496881 586.19/111.04 o 605496871 587.06/111.16 o 605496869 587.06/111.18 o 605496864 587.62/111.21 o 605496863 587.62/111.24 o 605496861 587.62/111.26 o 605496856 587.62/111.29 o 605496855 587.62/111.30 o 605496854 588.41/111.31 o 605496852 588.41/111.32 o 605496848 588.41/111.34 o 605496847 588.41/111.36 o 605496844 588.41/111.37 o 605496840 589.19/111.40 o 605496837 589.19/111.43 o 605496835 589.19/111.44 o 605496831 589.19/111.46 o 605496828 589.19/111.49 o 605496827 589.19/111.49 o 605496822 589.97/111.52 o 605496820 589.97/111.55 o 605496819 590.78/111.61 o 605496818 590.78/111.64 o 605496813 590.78/111.68 o 605496812 603.52/113.24 o 605496810 603.52/113.28 o 605496809 604.32/113.31 o 605496808 604.32/113.34 o 605496803 604.32/113.37 o 605496802 605.11/113.41 o 605474362 605.11/113.41 o 605474344 605.11/113.43 o 605474342 605.11/113.44 o 605474337 605.11/113.47 o 605474335 605.11/113.49 o 605474334 605.11/113.49 o 605474327 605.93/113.52 o 605474326 605.93/113.54 o 605474324 605.93/113.55 o 605474318 605.93/113.59 o 605474311 606.71/113.61 o 605474310 606.71/113.64 o 605474308 606.71/113.66 o 605474303 606.71/113.70 o 605474302 616.26/114.83 o 605451861 616.26/114.86 o 605451852 616.26/114.88 o 605451843 616.26/114.90 o 605451835 617.14/114.92 o 605451828 617.14/114.95 o 605451827 617.14/114.97 o 605451820 617.14/114.99 o 605451819 617.91/115.03 o 605451812 617.91/115.06 o 605451810 617.91/115.09 o 605451809 617.91/115.12 o 605451802 622.63/115.60 o 605451800 622.63/115.63 o 605451799 622.63/115.65 o 605451792 622.63/115.69 o 605429342 623.47/115.71 o 605429333 623.47/115.74 o 605429325 623.47/115.76 o 605429317 623.47/115.78 o 605429310 624.22/115.81 o 605429307 624.22/115.83 o 605429300 624.22/115.85 o 605429299 624.22/115.88 o 605429292 632.18/116.80 o 605429289 632.18/116.82 o 605429282 632.18/116.88 o 605406822 632.98/116.90 o 605406814 632.98/116.92 o 605406806 632.98/116.94 o 605406798 632.98/116.96 o 605406797 632.98/116.98 o 605406789 633.89/117.02 o 605406782 640.95/117.97 o 605406780 640.95/118.01 o 605406779 641.81/118.04 o 605406772 641.81/118.09 o 605384332 641.81/118.10 o 605384322 642.65/118.12 o 605384312 642.65/118.14 o 605384303 642.65/118.17 o 605384295 642.65/118.19 o 605384287 643.37/118.22 o 605384279 643.37/118.25 o 605384272 650.57/119.19 o 605384271 651.36/119.23 o 605384270 651.36/119.24 o 605384269 651.36/119.27 o 605384262 659.27/120.21 o 605361822 659.27/120.22 o 605361812 659.27/120.24 o 605361803 659.27/120.26 o 605361795 659.27/120.28 o 605361787 660.07/120.31 o 605361779 660.07/120.32 o 605361772 660.07/120.37 o 605361771 660.07/120.40 o 605361770 660.94/120.42 o 605361762 668.81/121.41 o 605339315 668.81/121.43 o 605339305 668.81/121.45 o 605339295 668.81/121.47 o 605339286 668.81/121.49 o 605339278 669.64/121.51 o 605339270 669.64/121.54 o 605339262 669.64/121.59 o 605339261 670.41/121.61 o 605339260 670.41/121.64 o 605339258 670.41/121.65 o 605339252 678.36/122.68 o 605339251 679.17/122.71 o 605339250 679.17/122.73 o 605339242 803.46/138.39 o 605316775 804.26/138.41 o 605316773 804.26/138.42 o 605316765 804.26/138.44 o 605316763 804.26/138.45 o 605316755 804.26/138.46 o 605316753 804.26/138.48 o 605316747 804.26/138.49 o 605316745 805.10/138.51 o 605316740 805.10/138.53 o 605316739 805.10/138.59 o 605316738 805.84/138.60 o 605316733 805.84/138.63 o 605316732 1052.02/169.57 o 605294293 1052.02/169.59 o 605294285 1052.02/169.60 o 605294283 1052.84/169.62 o 605294275 1052.84/169.62 o 605294273 1052.84/169.64 o 605294271 1052.84/169.65 o 605294265 1052.84/169.67 o 605294263 1052.84/169.68 o 605294258 1053.62/169.70 o 605294256 1053.62/169.71 o 605294254 1053.62/169.73 o 605294249 1053.62/169.76 o 605294248 1054.42/169.81 o 605294247 1054.42/169.83 o 605294242 1054.42/169.86 o 605294241 1059.20/170.50 o 605294240 1060.07/170.53 o 605294239 1060.07/170.59 o 605294238 1060.81/170.60 o 605294233 1060.81/170.64 o 605294232 1230.53/192.00 o 605271791 1230.53/192.01 o 605271789 1231.40/192.03 o 605271784 1231.40/192.04 o 605271782 1231.40/192.05 o 605271780 1231.40/192.06 o 605271775 1231.40/192.07 o 605271773 1231.40/192.09 o 605271771 1231.40/192.11 o 605271766 1232.20/192.12 o 605271765 1232.20/192.13 o 605271763 1232.20/192.14 o 605271758 1232.20/192.17 o 605271756 1232.20/192.17 o 605271755 1232.20/192.20 o 605271753 1232.96/192.21 o 605271748 1232.96/192.22 o 605271747 1232.96/192.24 o 605271745 1232.96/192.25 o 605271740 1232.96/192.27 o 605271738 1232.96/192.28 o 605271733 1233.72/192.34 o 605271732 1303.96/201.16 o 605271729 1303.96/201.18 o 605271727 1303.96/201.20 o 605271722 1317.41/202.88 o 605249290 1317.41/202.89 o 605249288 1317.41/202.90 o 605249283 1318.23/202.91 o 605249281 1318.23/202.93 o 605249279 1318.23/202.95 o 605249274 1318.23/202.96 o 605249273 1318.23/202.97 o 605249271 1318.23/202.98 o 605249266 1318.23/203.00 o 605249265 1318.23/203.01 o 605249263 1319.14/203.02 o 605249258 1319.14/203.04 o 605249257 1319.14/203.05 o 605249256 1319.14/203.07 o 605249255 1319.14/203.08 o 605249253 1319.14/203.10 o 605249248 1319.14/203.11 o 605249246 1319.87/203.12 o 605249241 1319.87/203.16 o 605249239 1319.87/203.18 o 605249237 1319.87/203.20 o 605249232 1346.90/206.59 o 605249231 1347.76/206.63 o 605249229 1347.76/206.65 o 605249227 1347.76/206.66 o 605249222 1437.77/217.94 o 605249221 1449.72/219.49 o 605226789 1449.72/219.51 o 605226787 1450.60/219.52 o 605226782 1450.60/219.53 o 605226781 1450.60/219.55 o 605226779 1450.60/219.56 o 605226774 1450.60/219.58 o 605226773 1450.60/219.59 o 605226772 1450.60/219.59 o 605226770 1451.34/219.61 o 605226765 1451.34/219.62 o 605226764 1451.34/219.64 o 605226762 1451.34/219.65 o 605226757 1451.34/219.67 o 605226755 1451.34/219.68 o 605226754 1451.34/219.70 o 605226752 1452.12/219.71 o 605226747 1452.12/219.73 o 605226745 1452.12/219.75 o 605226740 1452.12/219.78 o 605226738 1452.92/219.80 o 605226736 1452.92/219.81 o 605226731 1546.17/231.60 o 605226729 1547.05/231.62 o 605226727 1547.05/231.63 o 605226722 1547.05/231.68 o 605226721 1644.21/243.87 o 605226719 1645.01/243.95 o 605226712 1649.79/244.53 o 605226711 1676.90/247.92 o 605204269 1676.90/247.93 o 605204267 1676.90/247.94 o 605204262 1676.90/247.96 o 605204261 1676.90/247.97 o 605204259 1676.90/247.98 o 605204254 1676.90/248.00 o 605204253 1676.90/248.01 o 605204252 1677.78/248.02 o 605204250 1677.78/248.03 o 605204245 1677.78/248.05 o 605204243 1677.78/248.06 o 605204242 1677.78/248.08 o 605204240 1677.78/248.09 o 605204235 1677.78/248.10 o 605204234 1677.78/248.11 o 605204232 1678.61/248.13 o 605204227 1678.61/248.14 o 605204225 1678.61/248.16 o 605204220 1678.61/248.18 o 605204218 1678.61/248.19 o 605204216 1679.29/248.21 o 605204211 1905.67/276.61 o 605181789 1905.67/276.63 o 605181787 1905.67/276.63 o 605181782 1905.67/276.64 o 605181781 1905.67/276.67 o 605181779 1905.67/276.68 o 605181774 1905.67/276.68 o 605181773 1905.67/276.70 o 605181771 1906.47/276.72 o 605181766 1906.47/276.72 o 605181764 1906.47/276.74 o 605181763 1906.47/276.75 o 605181761 1906.47/276.77 o 605181756 1906.47/276.78 o 605181755 1906.47/276.79 o 605181754 1906.47/276.80 o 605181752 1907.29/276.81 o 605181747 1907.29/276.82 o 605181745 1907.29/276.84 o 605181740 1907.29/276.87 o 605181738 1907.29/276.88 o 605181736 1907.29/276.90 o 605181731 1908.10/276.94 o 605181730 1908.10/276.96 o 605181728 1908.10/276.98 o 605181726 1908.10/276.99 o 605181721 1966.25/284.22 o 605181720 1966.25/284.25 o 605181718 1966.25/284.27 o 605181716 1966.25/284.28 o 605181711 2116.18/303.04 o 605181709 2116.18/303.05 o 605181707 2116.18/303.07 o 605181702 2116.18/303.09 o 605181701 2137.70/305.75 o 605159288 2137.70/305.76 o 605159286 2137.70/305.77 o 605159281 2137.70/305.78 o 605159279 2137.70/305.79 o 605159277 2138.45/305.81 o 605159272 2138.45/305.82 o 605159271 2138.45/305.83 o 605159269 2138.45/305.84 o 605159264 2138.45/305.85 o 605159263 2138.45/305.87 o 605159261 2138.45/305.88 o 605159256 2138.45/305.89 o 605159255 2139.24/305.91 o 605159254 2139.24/305.92 o 605159252 2139.24/305.93 o 605159247 2139.24/305.95 o 605159245 2139.24/305.96 o 605159244 2139.24/305.97 o 605159242 2139.24/305.99 o 605159237 2139.24/306.00 o 605159235 2140.12/306.02 o 605159230 2140.12/306.05 o 605159228 2140.12/306.07 o 605159226 2140.12/306.08 o 605159221 2140.91/306.11 o 605159220 2140.91/306.14 o 605159218 2140.91/306.16 o 605159216 2140.91/306.17 o 605159211 2275.64/323.06 o 605159209 2275.64/323.07 o 605159207 2275.64/323.09 o 605159202 2277.11/323.21 o 605159201 2419.86/341.15 o 605159199 2419.86/341.19 o 605159192 2422.18/341.50 o 605159191 2481.16/348.86 o 605136778 2481.16/348.87 o 605136776 2481.16/348.88 o 605136771 2481.16/348.89 o 605136769 2481.98/348.91 o 605136767 2481.98/348.92 o 605136762 2481.98/348.93 o 605136761 2481.98/348.95 o 605136759 2481.98/348.95 o 605136754 2481.98/348.97 o 605136753 2481.98/348.99 o 605136751 2481.98/349.00 o 605136746 2482.83/349.02 o 605136745 2482.83/349.03 o 605136744 2482.83/349.05 o 605136743 2482.83/349.06 o 605136741 2482.83/349.08 o 605136736 2482.83/349.09 o 605136735 2482.83/349.11 o 605136734 2483.62/349.13 o 605136732 2483.62/349.14 o 605136727 2483.62/349.16 o 605136725 2483.62/349.18 o 605136720 2484.34/349.21 o 605136718 2484.34/349.23 o 605136716 2484.34/349.25 o 605136711 2484.34/349.29 o 605136710 2485.13/349.32 o 605136708 2485.13/349.34 o 605136706 2485.13/349.35 o 605136701 2558.48/358.56 o 605136700 2558.48/358.59 o 605136698 2559.31/358.60 o 605136696 2559.31/358.63 o 605136691 2764.13/384.34 o 605136689 2764.13/384.35 o 605136687 2764.13/384.37 o 605136682 2764.93/384.40 o 605114268 2764.93/384.41 o 605114266 2764.93/384.42 o 605114261 2764.93/384.43 o 605114259 2764.93/384.45 o 605114257 2764.93/384.45 o 605114252 2764.93/384.47 o 605114250 2764.93/384.48 o 605114248 2764.93/384.49 o 605114243 2764.93/384.50 o 605114242 2765.77/384.52 o 605114240 2765.77/384.53 o 605114235 2765.77/384.54 o 605114234 2765.77/384.55 o 605114232 2765.77/384.56 o 605114227 2765.77/384.57 o 605114226 2765.77/384.59 o 605114225 2765.77/384.60 o 605114224 2766.54/384.61 o 605114222 2766.54/384.62 o 605114217 2766.54/384.64 o 605114216 2766.54/384.65 o 605114215 2766.54/384.66 o 605114213 2766.54/384.67 o 605114208 2766.54/384.69 o 605114206 2766.54/384.70 o 605114201 2767.34/384.73 o 605114198 2767.34/384.74 o 605114196 2767.34/384.76 o 605114191 2767.34/384.78 o 605114189 2768.12/384.80 o 605114187 2768.12/384.81 o 605114182 2768.12/384.85 o 605114181 9159.01/1186.65 o 605114175 9213.20/1193.49 o 605114174 11353.53/1462.09 o 605091803 11354.34/1462.11 o 605091793 11354.34/1462.13 o 605091785 11354.34/1462.15 o 605091784 11354.34/1462.16 o 605091776 11354.34/1462.18 o 605091768 11355.05/1462.20 o 605091767 11355.05/1462.22 o 605091759 11355.05/1462.24 o 605091758 11355.05/1462.25 o 605091750 11355.05/1462.27 o 605091748 11355.05/1462.29 o 605091740 11355.84/1462.31 o 605091739 11355.84/1462.33 o 605091738 11355.84/1462.35 o 605091730 11355.84/1462.37 o 605091723 11356.66/1462.40 o 605091720 11356.66/1462.42 o 605091713 11356.66/1462.46 o 605091710 11356.66/1462.48 o 605091703 11357.51/1462.51 o 605091701 11357.51/1462.54 o 605091694 11357.51/1462.59 o 605091692 11358.30/1462.61 o 605091685 11358.30/1462.65 o 605091684 11366.24/1463.65 o 605091682 11366.24/1463.68 o 605091681 11559.15/1487.88 o 605091675 11559.94/1487.94 o 605091672 11566.30/1488.73 o 605091671 14229.23/1822.89 o 605069283 14230.02/1822.91 o 605069273 14230.02/1822.93 o 605069263 14230.02/1822.95 o 605069254 14230.02/1822.98 o 605069246 14230.02/1823.01 o 605069238 14230.89/1823.03 o 605069237 14230.89/1823.05 o 605069229 14230.89/1823.07 o 605069228 14230.89/1823.09 o 605069220 14231.69/1823.12 o 605069213 14231.69/1823.16 o 605069210 14231.69/1823.19 o 605069203 14232.40/1823.23 o 605069201 14232.40/1823.26 o 605069194 14233.20/1823.32 o 605069191 14324.06/1834.71 o 605069184 14329.64/1835.47 o 605069181 15417.56/1972.00 o 605069175 15418.42/1972.04 o 605069174 15420.74/1972.31 o 605069172 15420.74/1972.35 o 605069171 15769.08/2016.07 o 605069169 15769.88/2016.16 o 605069166 15782.57/2017.75 o 605069159 15783.37/2017.85 o 605069156 18820.37/2398.83 o 605046790 18820.37/2398.85 o 605046780 18820.37/2398.88 o 605046772 18821.16/2398.90 o 605046771 18821.16/2398.92 o 605046763 18821.16/2398.95 o 605046755 18821.16/2398.97 o 605046754 18821.16/2398.99 o 605046746 18822.02/2399.02 o 605046745 18822.02/2399.05 o 605046744 18822.02/2399.07 o 605046736 18822.02/2399.10 o 605046735 18822.81/2399.13 o 605046727 18822.81/2399.15 o 605046726 18822.81/2399.17 o 605046725 18822.81/2399.19 o 605046717 18823.53/2399.22 o 605046716 18823.53/2399.25 o 605046715 18823.53/2399.27 o 605046707 18824.33/2399.30 o 605046700 18824.33/2399.34 o 605046698 18824.33/2399.37 o 605046693 18825.14/2399.41 o 605046691 18825.14/2399.44 o 605046689 18825.14/2399.47 o 605046684 18825.95/2399.58 o 605046683 18826.76/2399.61 o 605046681 18826.76/2399.64 o 605046679 18826.76/2399.67 o 605046674 18827.58/2399.73 o 605046672 18827.58/2399.76 o 605046670 18827.58/2399.78 o 605046665 18872.96/2405.41 o 605046661 18872.96/2405.46 o 605046658 18872.96/2405.49 o 605046656 18873.79/2405.52 o 605046654 18873.79/2405.54 o 605046649 19786.56/2520.09 s SATISFIABLE 19786.56/2520.11 v <instantiation> 19786.56/2520.11 v <list> 19786.56/2520.11 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] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] 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] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] 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] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] 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] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] 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] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] 19786.56/2520.12 v </list> 19786.56/2520.12 v <values> 19786.56/2520.12 v 2616 2568 2532 2496 2464 2504 2644 2436 2400 2512 2548 2504 2532 2416 2652 2588 2676 2708 2620 2624 2460 2468 2576 2592 2612 2496 2436 2600 2456 2528 2596 2520 2624 2576 2604 2636 2584 2604 2548 2396 2636 2456 2644 2436 2616 2668 2500 2416 2452 2576 2652 2576 2452 2608 2628 2672 2360 2636 2492 2656 2548 2576 2624 2636 2580 2500 2360 2680 2572 2396 2704 2604 2628 2568 2612 2528 2620 2576 2672 2616 2652 2616 2604 2608 2680 2648 2400 2596 2440 2536 2456 2460 2632 2672 2616 2456 2628 2428 2420 2664 2552 2432 2624 2620 2636 2456 2648 2572 2608 2644 2648 2548 2456 2640 2624 2608 2448 2424 2704 2580 2456 2624 2628 2528 2624 2556 2672 2540 2404 2632 2668 2664 2644 2568 2596 2440 2568 2588 2568 2508 2456 2612 2568 2492 2532 2644 2664 2652 2560 2604 2640 2420 2588 2476 2424 2648 2680 2400 2612 2596 2568 2640 2616 2644 2624 2540 2592 2544 2480 2596 2504 2484 2636 2608 2548 2572 2696 2660 2596 2464 2688 2664 2536 2668 2572 2328 2624 2652 2612 2640 2400 2488 2588 2440 2416 2608 2464 2608 2580 2476 2608 2592 2588 2420 2500 2516 2572 2676 2392 2640 2596 2700 2492 2436 2440 2604 2644 2632 2612 2596 2668 2612 2528 2644 2608 2608 2576 2504 2632 2512 2648 2568 2608 2600 2572 2416 2416 2716 2684 2436 2696 2588 2684 2416 2588 2412 2480 2608 2636 2388 2676 2588 2476 2580 2456 2636 2440 2400 2556 2648 2468 2368 2656 2640 2548 2620 2596 2664 2360 2556 2480 2552 2500 2640 2532 2424 2444 2664 2600 2568 2596 2656 2460 2596 2600 2624 2564 2672 2472 2612 2460 2620 2632 2608 2348 2632 2380 2464 2692 2664 2436 2664 2592 2612 2640 2680 2464 2664 2584 2596 2608 2528 2664 2652 2556 2604 2636 2684 2664 2712 2652 2636 2568 2636 2648 2636 2660 2556 2572 2508 2456 2616 2640 2348 2364 2532 2756 2480 2644 2656 2388 2460 2440 2540 2660 2636 2436 2576 2572 2584 2548 2564 2440 2616 2564 2624 2472 2600 2676 2616 2584 2612 2480 2500 2648 2460 2440 2400 2388 2596 2588 2680 2684 2416 2628 2476 2552 2624 2568 2604 2568 2384 2648 2688 2680 2576 2460 2608 2656 2400 2580 2608 2648 2396 2636 2488 2596 2528 2616 2612 2544 2612 2596 2564 2536 2652 2664 2604 2500 2640 2656 2616 2652 2464 2636 2432 2496 2416 2612 2648 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 6 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 3 10 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 0 10 10 10 10 10 10 7 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 7 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 3 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 256 64 48 28 132 80 180 60 0 40 132 8 68 40 40 0 20 20 40 116 80 28 96 36 108 28 108 108 60 100 152 108 52 144 32 28 140 40 80 40 144 172 40 140 164 40 36 88 32 24 172 108 132 4 104 24 28 184 8 144 72 76 112 148 148 0 144 88 28 44 112 152 144 284 24 20 188 140 196 16 188 156 80 116 24 176 212 0 136 168 252 20 16 276 200 216 164 16 160 152 20 136 152 152 20 148 32 96 32 20 92 116 32 40 72 48 60 36 108 92 44 100 88 48 104 100 148 28 104 132 84 64 144 32 16 76 132 48 184 68 64 184 92 8 148 4 260 292 0 16 120 4 228 196 0 260 204 200 128 76 256 12 28 64 56 236 72 4 12 84 12 68 60 40 36 76 84 36 68 24 260 4 276 108 256 0 28 76 60 0 24 28 292 140 160 140 56 112 292 108 32 92 56 4 12 24 228 20 44 80 40 16 168 28 80 184 148 200 28 52 16 132 28 116 8 92 148 96 80 20 188 0 152 188 144 28 140 128 92 4 144 100 148 8 180 36 92 28 176 184 84 32 8 88 20 52 16 4 16 4 4 92 16 104 56 4 156 156 28 172 28 44 0 24 24 156 172 36 140 176 136 36 28 168 168 36 164 128 184 100 140 168 140 112 16 112 100 16 200 92 200 220 4 72 72 80 12 76 4 120 0 136 80 84 36 168 248 16 0 20 32 152 184 44 140 176 228 140 68 80 28 48 16 84 32 20 160 12 56 104 8 100 120 88 88 128 76 8 52 132 124 0 28 224 12 16 124 12 124 4 32 72 96 116 72 72 4 12 216 36 4 8 20 180 212 24 4 32 108 180 16 136 24 60 8 20 16 28 196 56 176 172 4 76 64 0 60 4 140 76 32 140 48 28 92 76 132 8 68 88 72 88 0 32 12 172 236 200 216 252 288 224 224 268 64 148 104 184 0 36 12 172 8 168 104 24 12 44 0 140 120 0 0 212 156 72 40 16 192 180 200 28 40 156 208 8 48 36 80 120 20 184 0 132 40 0 48 48 136 176 48 28 76 68 8 36 252 140 100 228 192 168 20 156 0 56 4 184 24 0 156 260 200 260 0 200 52 156 116 8 4 56 152 136 4 60 64 228 52 40 0 220 112 152 192 20 40 216 104 4 256 52 28 136 48 20 44 120 32 184 220 220 180 80 196 12 16 212 80 28 228 44 20 8 40 40 20 4 124 76 44 208 208 8 268 80 164 92 212 8 60 8 8 8 4 272 72 0 208 8 12 36 208 240 180 252 228 304 272 4 268 292 304 36 104 12 172 8 200 168 28 28 44 12 0 140 36 204 104 32 56 52 104 48 32 40 92 128 168 188 104 120 64 48 120 60 12 136 0 56 208 20 28 12 68 188 12 8 12 12 160 48 80 48 68 236 40 140 80 48 12 108 88 4 12 100 152 256 76 104 192 288 228 228 288 248 36 32 84 124 136 144 288 4 92 32 296 144 44 36 144 80 8 76 156 92 92 64 8 84 4 4 248 64 84 220 80 156 104 264 248 0 228 108 108 132 4 212 292 108 72 8 196 232 20 108 52 4 120 8 212 168 36 48 48 32 224 16 40 56 152 40 32 60 52 200 96 188 12 40 152 156 28 88 24 36 264 64 8 36 44 8 4 88 120 84 112 72 156 168 80 108 120 28 24 44 0 20 32 40 16 32 4 20 4 20 8 244 8 60 4 192 0 8 12 36 100 208 240 0 28 8 28 36 8 156 20 8 8 12 248 0 56 104 28 8 4 8 0 132 44 16 16 60 40 20 4 8 32 24 52 48 20 44 8 40 40 56 8 240 40 56 0 120 80 252 4 68 280 0 4 44 108 80 248 0 36 136 232 196 172 276 264 216 276 216 252 140 68 40 8 16 40 8 16 16 264 36 16 156 168 156 260 156 192 144 156 88 32 12 116 36 80 100 140 116 0 112 156 184 168 72 156 180 16 148 136 16 136 112 60 24 204 180 200 28 124 8 36 44 36 12 16 64 0 40 204 8 12 192 8 8 36 4 160 80 216 24 20 0 36 208 192 32 152 40 192 196 16 16 12 188 124 4 8 12 204 4 12 12 16 240 12 224 52 28 60 244 36 256 172 228 228 244 228 184 16 32 76 0 16 200 16 40 16 56 116 4 44 84 4 104 96 232 68 232 96 220 184 136 16 28 44 40 96 28 16 292 220 32 184 120 256 120 68 84 16 12 28 8 72 20 20 32 184 36 140 136 256 16 228 120 100 16 84 24 0 112 148 112 40 32 172 36 0 240 220 8 4 204 12 12 8 172 12 48 8 4 0 204 192 80 8 176 12 84 0 252 92 4 60 60 132 108 116 148 100 212 16 156 180 180 4 16 120 64 84 216 44 68 148 228 44 12 56 168 44 60 200 40 16 120 28 16 40 164 20 36 12 60 192 4 148 244 8 212 204 60 176 164 144 164 144 184 208 184 240 76 188 228 280 4 292 108 8 196 120 20 108 40 80 28 52 76 104 52 0 140 128 4 16 172 192 28 184 12 0 16 8 36 16 12 4 4 12 32 156 12 32 12 148 240 168 188 76 8 68 56 184 88 88 16 276 40 44 68 140 32 80 56 116 140 140 28 236 84 8 8 12 8 36 36 176 28 4 192 280 56 152 100 196 164 32 32 28 152 48 48 4 0 56 56 188 68 4 32 84 52 236 96 28 28 244 4 40 4 264 12 8 20 20 40 96 20 128 4 40 204 0 156 248 60 24 172 216 92 196 220 200 96 36 28 0 16 88 24 32 40 76 200 60 64 84 152 96 108 16 108 84 64 180 208 52 152 48 140 36 228 96 12 72 116 16 168 200 28 56 84 0 24 24 172 36 48 196 96 4 76 188 188 88 28 176 8 172 96 124 116 112 64 132 0 128 52 148 92 104 36 4 204 12 140 12 4 172 12 8 4 0 256 204 200 336 96 248 0 64 76 16 28 116 32 60 60 64 16 8 240 8 4 200 8 168 8 0 44 4 28 60 188 176 136 196 4 20 0 8 16 240 36 24 96 164 224 16 120 236 108 4 208 120 172 184 148 208 168 288 48 4 212 16 16 116 32 12 152 12 4 76 80 8 4 108 80 216 248 144 236 208 180 128 168 72 220 20 156 172 28 8 84 24 44 8 184 116 12 124 88 240 12 112 200 28 4 184 116 268 8 24 16 28 76 96 8 200 152 92 12 20 4 80 128 176 84 120 4 92 108 60 16 12 0 4 152 20 120 28 200 16 104 0 96 64 60 16 124 124 80 144 68 28 40 172 24 156 12 32 92 12 24 16 104 100 24 4 116 160 116 88 20 164 116 92 112 156 16 4 8 36 32 40 348 84 8 52 24 24 4 4 204 56 104 104 8 180 0 36 4 124 16 12 36 92 36 104 144 100 320 76 288 272 72 272 112 88 160 128 36 88 128 120 56 8 268 204 16 96 68 204 48 140 188 24 156 108 284 208 172 120 36 84 232 80 236 16 24 236 48 36 132 148 24 40 12 180 60 52 44 8 56 168 44 208 180 0 256 208 100 44 28 84 168 64 200 168 192 200 156 212 0 200 156 0 260 184 28 200 232 36 192 48 12 48 12 40 180 28 4 68 196 216 160 172 32 8 52 52 164 44 4 192 48 44 36 36 44 132 52 88 96 0 4 16 16 56 48 32 152 24 16 0 60 64 36 64 88 4 256 180 196 4 196 232 48 96 52 132 136 116 52 156 156 172 72 196 276 40 104 76 48 244 228 216 256 108 8 8 4 0 216 12 0 4 252 44 96 12 52 208 288 116 136 140 100 220 76 92 132 184 212 172 72 128 224 20 212 4 32 32 56 140 44 56 96 36 28 4 4 8 160 172 8 20 8 28 20 24 140 176 228 48 180 12 248 40 80 196 108 140 60 228 32 208 228 92 104 4 168 68 48 24 48 72 88 68 48 20 112 16 164 36 20 148 0 28 16 108 192 80 12 188 20 132 140 136 12 0 128 132 136 92 136 64 136 100 0 152 68 148 80 148 88 132 60 28 148 192 32 0 192 28 84 44 140 124 132 48 44 52 276 48 220 220 184 260 232 0 236 60 140 88 108 136 68 304 76 20 32 148 132 244 200 60 48 0 28 204 20 8 100 4 196 180 20 132 196 196 40 128 0 224 184 96 172 60 272 120 192 200 204 92 120 16 48 132 152 108 40 12 12 52 0 60 252 144 72 220 216 16 0 60 20 68 152 188 76 24 80 196 16 180 0 4 120 4 212 176 4 16 8 248 16 132 16 4 20 216 272 64 280 284 172 32 100 92 52 32 140 8 300 284 64 192 212 212 168 28 296 172 256 288 128 32 256 72 64 244 152 36 4 20 88 32 20 24 272 20 16 40 232 136 208 172 24 24 28 0 84 132 88 100 104 216 44 12 4 252 0 216 172 228 216 36 24 16 192 172 32 124 208 204 316 88 264 100 56 16 184 124 12 80 0 44 188 4 88 88 0 136 36 28 0 168 52 168 224 124 128 64 44 208 12 36 100 72 208 124 172 84 76 24 156 172 172 36 152 204 140 44 28 40 124 24 48 160 36 60 288 268 264 20 244 192 84 284 196 192 228 272 220 136 0 32 36 152 80 80 0 40 16 168 44 132 16 28 168 8 32 120 92 44 4 48 264 4 252 76 0 80 8 248 100 12 52 128 64 72 32 208 156 44 40 260 128 208 88 68 84 0 40 8 136 128 12 44 44 64 196 196 8 48 112 220 60 48 52 128 28 12 8 264 12 176 196 20 136 80 172 32 104 84 8 76 68 36 176 44 4 16 60 0 200 12 200 104 0 200 140 188 236 232 52 148 104 104 108 340 20 4 68 252 104 20 60 84 200 52 124 20 24 24 164 64 140 8 136 72 20 140 112 44 168 4 32 48 52 4 212 124 48 136 260 60 28 32 132 32 200 200 44 112 228 196 84 248 0 128 16 0 20 60 0 236 232 244 96 12 128 4 180 220 4 228 80 272 44 184 28 40 156 84 24 40 0 104 88 36 32 140 19786.56/2520.12 v </values> 19786.56/2520.12 v </instantiation>
OK 605046649
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 (2343 MiB free) memory of node 1: 16384 MiB (6307 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292055-1532649700/watcher-4292055-1532649700 -o /tmp/evaluation-result-4292055-1532649700/solver-4292055-1532649700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532642096-6531 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1295883716 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4292055-1532649700.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=7182, runsolver pid=7179 [startup+0.100154 s]* /proc/loadavg: 8.95 8.88 8.81 2/200 7202 /proc/meminfo: memFree=8841868/32770624 swapFree=67108860/67108860 [pid=7182] ppid=7179 vsize=26103424 memory=29504 CPUtime=0.11 cores=0-7 /proc/7182/stat : 7182 (java) S 7179 7182 6504 0 -1 1077944320 6831 0 0 0 10 1 0 0 20 0 20 0 82532967 26729906176 7376 33554432000 4194304 4196468 140735552778688 140735552761232 139676670746359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 /proc/7182/statm: 6525856 7376 3117 1 0 6487932 0 [pid=7182/tid=7184] ppid=7179 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/7182/task/7184/stat : 7184 (java) R 7179 7182 6504 0 -1 4202560 5042 0 0 0 8 0 0 0 20 0 20 0 82532967 26729906176 7508 33554432000 4194304 4196468 140735552778688 139676674949488 139676651022173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7185] ppid=7179 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7182/task/7185/stat : 7185 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7508 33554432000 4194304 4196468 140735552778688 139676229220752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7186] ppid=7179 vsize=26103424 memory=139983165462144 CPUtime=0 cores=0-7 /proc/7182/task/7186/stat : 7186 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7508 33554432000 4194304 4196468 140735552778688 139676228167952 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7187] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7187/stat : 7187 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7508 33554432000 4194304 4196468 140735552778688 139676227115664 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7188] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7188/stat : 7188 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7574 33554432000 4194304 4196468 140735552778688 139676226062864 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7189] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7189/stat : 7189 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7574 33554432000 4194304 4196468 140735552778688 139676225010576 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7190] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7190/stat : 7190 (java) S 7179 7182 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7574 33554432000 4194304 4196468 140735552778688 139676223957776 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7191] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7191/stat : 7191 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7574 33554432000 4194304 4196468 140735552778688 139676222905488 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7192] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7192/stat : 7192 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 7574 33554432000 4194304 4196468 140735552778688 139676221852688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7193] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7193/stat : 7193 (java) S 7179 7182 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675278723184 139676670757506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7194] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7194/stat : 7194 (java) S 7179 7182 6504 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675277669152 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7195] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7195/stat : 7195 (java) S 7179 7182 6504 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675276616816 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7196] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7196/stat : 7196 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675275565136 139676670764955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7197] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7197/stat : 7197 (java) S 7179 7182 6504 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675274513008 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7198] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7198/stat : 7198 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7574 33554432000 4194304 4196468 140735552778688 139675273460208 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7199] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7199/stat : 7199 (java) S 7179 7182 6504 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7640 33554432000 4194304 4196468 140735552778688 139675272407920 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7200] ppid=7179 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/7182/task/7200/stat : 7200 (java) S 7179 7182 6504 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 82532973 26729906176 7640 33554432000 4194304 4196468 140735552778688 139675271355120 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7201] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7201/stat : 7201 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7640 33554432000 4194304 4196468 140735552778688 139675270302048 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7202] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7202/stat : 7202 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 7640 33554432000 4194304 4196468 140735552778688 139675269249328 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 29504 KiB [startup+0.210253 s]* /proc/loadavg: 8.95 8.88 8.81 3/200 7202 /proc/meminfo: memFree=8828412/32770624 swapFree=67108860/67108860 [pid=7182] ppid=7179 vsize=26103424 memory=42860 CPUtime=0.3 cores=0-7 /proc/7182/stat : 7182 (java) S 7179 7182 6504 0 -1 1077944320 10427 0 0 0 28 2 0 0 20 0 20 0 82532967 26729906176 10715 33554432000 4194304 4196468 140735552778688 140735552761232 139676670746359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 /proc/7182/statm: 6525856 10715 3279 1 0 6487932 0 [pid=7182/tid=7184] ppid=7179 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/7182/task/7184/stat : 7184 (java) R 7179 7182 6504 0 -1 4202560 8193 0 0 0 19 1 0 0 20 0 20 0 82532967 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676674975920 139676308407841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7185] ppid=7179 vsize=26103424 memory=12918 CPUtime=0 cores=0-7 /proc/7182/task/7185/stat : 7185 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676229220752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7186] ppid=7179 vsize=26103424 memory=139983165469319 CPUtime=0 cores=0-7 /proc/7182/task/7186/stat : 7186 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676228167952 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7187] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7187/stat : 7187 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676227115664 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7188] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7188/stat : 7188 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676226062864 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7189] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7189/stat : 7189 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676225010576 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7190] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7190/stat : 7190 (java) S 7179 7182 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676223957776 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7191] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7191/stat : 7191 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676222905488 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7192] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7192/stat : 7192 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 10715 33554432000 4194304 4196468 140735552778688 139676221852688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7193] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7193/stat : 7193 (java) S 7179 7182 6504 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675278723184 139676670757506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7194] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7194/stat : 7194 (java) S 7179 7182 6504 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675277669152 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7195] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7195/stat : 7195 (java) S 7179 7182 6504 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675276616816 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7196] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7196/stat : 7196 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675275565136 139676670764955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7197] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7197/stat : 7197 (java) S 7179 7182 6504 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675274513008 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7198] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7198/stat : 7198 (java) S 7179 7182 6504 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675273460208 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7199] ppid=7179 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/7182/task/7199/stat : 7199 (java) S 7179 7182 6504 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675272407920 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7200] ppid=7179 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/7182/task/7200/stat : 7200 (java) R 7179 7182 6504 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675271352912 139676670758294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7201] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7201/stat : 7201 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675270302048 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7202] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7202/stat : 7202 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 10715 33554432000 4194304 4196468 140735552778688 139675269249328 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 42860 KiB [startup+0.310215 s]* /proc/loadavg: 8.95 8.88 8.81 2/200 7202 /proc/meminfo: memFree=8824628/32770624 swapFree=67108860/67108860 [pid=7182] ppid=7179 vsize=26103424 memory=46660 CPUtime=0.43 cores=0-7 /proc/7182/stat : 7182 (java) S 7179 7182 6504 0 -1 1077944320 10918 0 0 0 40 3 0 0 20 0 20 0 82532967 26729906176 11665 33554432000 4194304 4196468 140735552778688 140735552761232 139676670746359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 /proc/7182/statm: 6525856 11665 3338 1 0 6487932 0 [pid=7182/tid=7184] ppid=7179 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7182/task/7184/stat : 7184 (java) R 7179 7182 6504 0 -1 4202560 8571 0 0 0 28 1 0 0 20 0 20 0 82532967 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676674955056 139676652309915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7185] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7185/stat : 7185 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676229220752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7186] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7186/stat : 7186 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676228167952 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7187] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7187/stat : 7187 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676227115664 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7188] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7188/stat : 7188 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676226062864 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7189] ppid=7179 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/7182/task/7189/stat : 7189 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676225010576 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7190] ppid=7179 vsize=26103424 memory=139983050601391 CPUtime=0 cores=0-7 /proc/7182/task/7190/stat : 7190 (java) S 7179 7182 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676223957776 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7191] ppid=7179 vsize=26103424 memory=139983050603696 CPUtime=0 cores=0-7 /proc/7182/task/7191/stat : 7191 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676222905488 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7192] ppid=7179 vsize=26103424 memory=139983050606000 CPUtime=0 cores=0-7 /proc/7182/task/7192/stat : 7192 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26729906176 11665 33554432000 4194304 4196468 140735552778688 139676221852688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7193] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7193/stat : 7193 (java) S 7179 7182 6504 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675278723184 139676670757506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7194] ppid=7179 vsize=26103424 memory=279966101218960 CPUtime=0 cores=0-7 /proc/7182/task/7194/stat : 7194 (java) S 7179 7182 6504 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675277669152 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7195] ppid=7179 vsize=26103424 memory=279966101225872 CPUtime=0 cores=0-7 /proc/7182/task/7195/stat : 7195 (java) S 7179 7182 6504 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82532970 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675276616816 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7196] ppid=7179 vsize=26103424 memory=279966101167024 CPUtime=0 cores=0-7 /proc/7182/task/7196/stat : 7196 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675275565136 139676670764955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7197] ppid=7179 vsize=26103424 memory=279966101239696 CPUtime=0 cores=0-7 /proc/7182/task/7197/stat : 7197 (java) S 7179 7182 6504 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675274513008 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7198] ppid=7179 vsize=26103424 memory=279966101246608 CPUtime=0.01 cores=0-7 /proc/7182/task/7198/stat : 7198 (java) S 7179 7182 6504 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675273460208 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7199] ppid=7179 vsize=26103424 memory=279966101244304 CPUtime=0.01 cores=0-7 /proc/7182/task/7199/stat : 7199 (java) S 7179 7182 6504 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675272407920 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7200] ppid=7179 vsize=26103424 memory=279966101260912 CPUtime=0.08 cores=0-7 /proc/7182/task/7200/stat : 7200 (java) S 7179 7182 6504 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675271355120 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7201] ppid=7179 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7201/stat : 7201 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675270302048 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7202] ppid=7179 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7182/task/7202/stat : 7202 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532973 26729906176 11665 33554432000 4194304 4196468 140735552778688 139675269249328 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46660 KiB [startup+0.700821 s] /proc/loadavg: 8.32 8.75 8.77 3/200 7202 /proc/meminfo: memFree=8801188/32770624 swapFree=67108860/67108860 [pid=7182] ppid=7179 vsize=26105492 memory=85488 CPUtime=0.99 cores=0-7 /proc/7182/stat : 7182 (java) S 7179 7182 6504 0 -1 1077944320 17796 0 0 0 94 5 0 0 20 0 20 0 82532967 26732023808 21372 33554432000 4194304 4196468 140735552778688 140735552761232 139676670746359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 /proc/7182/statm: 6526373 21372 3498 1 0 6488444 0 [pid=7182/tid=7184] ppid=7179 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/7182/task/7184/stat : 7184 (java) R 7179 7182 6504 0 -1 4202560 15032 0 0 0 64 3 0 0 20 0 20 0 82532967 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676674972960 139676654826846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7185] ppid=7179 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7185/stat : 7185 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676229220752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7186] ppid=7179 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7186/stat : 7186 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676228167952 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7187] ppid=7179 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7182/task/7187/stat : 7187 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676227115664 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7188] ppid=7179 vsize=26105492 memory=5668 CPUtime=0 cores=0-7 /proc/7182/task/7188/stat : 7188 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676226062864 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7189] ppid=7179 vsize=26105492 memory=4616 CPUtime=0 cores=0-7 /proc/7182/task/7189/stat : 7189 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676225010576 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7190] ppid=7179 vsize=26105492 memory=14076 CPUtime=0 cores=0-7 /proc/7182/task/7190/stat : 7190 (java) S 7179 7182 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676223957776 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7191] ppid=7179 vsize=26105492 memory=1204 CPUtime=0 cores=0-7 /proc/7182/task/7191/stat : 7191 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676222905488 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7192] ppid=7179 vsize=26105492 memory=15872 CPUtime=0 cores=0-7 /proc/7182/task/7192/stat : 7192 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82532968 26732023808 21372 33554432000 4194304 4196468 140735552778688 139676221852688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7193] ppid=7179 vsize=26105492 memory=4008 CPUtime=0 cores=0-7 /proc/7182/task/7193/stat : 7193 (java) S 7179 7182 6504 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82532970 26732023808 21372 33554432000 4194304 4196468 140735552778688 139675278723184 139676670757506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 ################ # More data... # ################ /proc/7182/task/7215/stat : 7215 (java) R 7179 7182 6504 0 -1 4202560 1526901 0 0 0 240967 327 0 0 20 0 46 0 82537615 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675236875968 139676320141691 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7216] ppid=7179 vsize=27852576 memory=24324 CPUtime=0.01 cores=0-7 /proc/7182/task/7216/stat : 7216 (java) S 7179 7182 6504 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 46 0 82539686 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675235829392 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7217] ppid=7179 vsize=27852576 memory=61899068684362 CPUtime=0.01 cores=0-7 /proc/7182/task/7217/stat : 7217 (java) S 7179 7182 6504 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 46 0 82539686 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675234776080 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7218] ppid=7179 vsize=27852576 memory=7011348500760777304 CPUtime=0 cores=0-7 /proc/7182/task/7218/stat : 7218 (java) S 7179 7182 6504 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 82539686 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675233723280 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7219] ppid=7179 vsize=27852576 memory=7011348500760778328 CPUtime=0.02 cores=0-7 /proc/7182/task/7219/stat : 7219 (java) S 7179 7182 6504 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 46 0 82539686 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675232670992 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7220] ppid=7179 vsize=27852576 memory=5668 CPUtime=0.02 cores=0-7 /proc/7182/task/7220/stat : 7220 (java) S 7179 7182 6504 0 -1 1077944384 418 0 0 0 1 1 0 0 20 0 46 0 82539686 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675231618192 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7221] ppid=7179 vsize=27852576 memory=4616 CPUtime=0.02 cores=0-7 /proc/7182/task/7221/stat : 7221 (java) S 7179 7182 6504 0 -1 1077944384 382 0 0 0 1 1 0 0 20 0 46 0 82543191 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675228431888 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7222] ppid=7179 vsize=27852576 memory=14076 CPUtime=0.01 cores=0-7 /proc/7182/task/7222/stat : 7222 (java) S 7179 7182 6504 0 -1 1077944384 210 0 0 0 0 1 0 0 20 0 46 0 82543192 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675227379088 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7223] ppid=7179 vsize=27852576 memory=1204 CPUtime=0.01 cores=0-7 /proc/7182/task/7223/stat : 7223 (java) S 7179 7182 6504 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 46 0 82543201 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675226326800 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7224] ppid=7179 vsize=27852576 memory=13422576 CPUtime=0.02 cores=0-7 /proc/7182/task/7224/stat : 7224 (java) S 7179 7182 6504 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 46 0 82543285 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675225274000 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7225] ppid=7179 vsize=27852576 memory=13409252 CPUtime=0.01 cores=0-7 /proc/7182/task/7225/stat : 7225 (java) S 7179 7182 6504 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 46 0 82543287 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675224220688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7226] ppid=7179 vsize=27852576 memory=16104758104558012 CPUtime=0.01 cores=0-7 /proc/7182/task/7226/stat : 7226 (java) S 7179 7182 6504 0 -1 1077944384 421 0 0 0 0 1 0 0 20 0 46 0 82543288 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675155030928 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7227] ppid=7179 vsize=27852576 memory=8552 CPUtime=0.01 cores=0-7 /proc/7182/task/7227/stat : 7227 (java) S 7179 7182 6504 0 -1 1077944384 515 0 0 0 0 1 0 0 20 0 46 0 82543288 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675153978640 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7228] ppid=7179 vsize=27852576 memory=13409252 CPUtime=0.01 cores=0-7 /proc/7182/task/7228/stat : 7228 (java) S 7179 7182 6504 0 -1 1077944384 419 0 0 0 0 1 0 0 20 0 46 0 82544117 28521037824 3355644 33554432000 4194304 4196468 140735552778688 139675152925840 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 Current children cumulated CPU time: 19645.4 s Current children cumulated vsize: 27852576 KiB Current children cumulated memory: 13422576 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.70 8.78 8.78 9/225 7265 /proc/meminfo: memFree=587280/32770624 swapFree=67108860/67108860 [pid=7182] ppid=7179 vsize=27852576 memory=13423136 CPUtime=19786.6 cores=0-7 /proc/7182/stat : 7182 (java) S 7179 7182 6504 0 -1 1077944320 25408173 0 0 0 1970616 8040 0 0 20 0 46 0 82532967 28521037824 3355784 33554432000 4194304 4196468 140735552778688 140735552761232 139676670746359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 /proc/7182/statm: 6963144 3355784 3644 1 0 6924694 0 [pid=7182/tid=7184] ppid=7179 vsize=27852576 memory=8112282956445269571 CPUtime=42.06 cores=0-7 /proc/7182/task/7184/stat : 7184 (java) S 7179 7182 6504 0 -1 1077944384 37576 0 0 0 4137 69 0 0 20 0 46 0 82532967 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676674983824 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7185] ppid=7179 vsize=27852576 memory=4872558044660077418 CPUtime=31.97 cores=0-7 /proc/7182/task/7185/stat : 7185 (java) S 7179 7182 6504 0 -1 1077944384 2045324 0 0 0 2561 636 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676229220752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7186] ppid=7179 vsize=27852576 memory=5904 CPUtime=31.83 cores=0-7 /proc/7182/task/7186/stat : 7186 (java) S 7179 7182 6504 0 -1 1077944384 1554776 0 0 0 2520 663 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676228167952 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7187] ppid=7179 vsize=27852576 memory=4104 CPUtime=31.63 cores=0-7 /proc/7182/task/7187/stat : 7187 (java) S 7179 7182 6504 0 -1 1077944384 1532014 0 0 0 2536 627 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676227115664 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7188] ppid=7179 vsize=27852576 memory=1404 CPUtime=31.85 cores=0-7 /proc/7182/task/7188/stat : 7188 (java) S 7179 7182 6504 0 -1 1077944384 1552689 0 0 0 2530 655 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676226062864 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7189] ppid=7179 vsize=27852576 memory=13422576 CPUtime=31.77 cores=0-7 /proc/7182/task/7189/stat : 7189 (java) S 7179 7182 6504 0 -1 1077944384 1632581 0 0 0 2552 625 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676225010576 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7190] ppid=7179 vsize=27852576 memory=644 CPUtime=31.63 cores=0-7 /proc/7182/task/7190/stat : 7190 (java) S 7179 7182 6504 0 -1 1077944384 1622407 0 0 0 2563 600 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676223957776 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7191] ppid=7179 vsize=27852576 memory=13423136 CPUtime=31.81 cores=0-7 /proc/7182/task/7191/stat : 7191 (java) S 7179 7182 6504 0 -1 1077944384 1561156 0 0 0 2519 662 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676222905488 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7192] ppid=7179 vsize=27852576 memory=288230574492221466 CPUtime=31.85 cores=0-7 /proc/7182/task/7192/stat : 7192 (java) S 7179 7182 6504 0 -1 1077944384 1525883 0 0 0 2523 662 0 0 20 0 46 0 82532968 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139676221852688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7193] ppid=7179 vsize=27852576 memory=288230583166042425 CPUtime=1.27 cores=0-7 /proc/7182/task/7193/stat : 7193 (java) S 7179 7182 6504 0 -1 1077944384 88973 0 0 0 110 17 0 0 20 0 46 0 82532970 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675278723184 139676670757506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7194] ppid=7179 vsize=27852576 memory=16104758104558012 CPUtime=0 cores=0-7 /proc/7182/task/7194/stat : 7194 (java) S 7179 7182 6504 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 46 0 82532970 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675277669216 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7195] ppid=7179 vsize=27852576 memory=4124 CPUtime=0 cores=0-7 /proc/7182/task/7195/stat : 7195 (java) S 7179 7182 6504 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 46 0 82532970 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675276616832 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7196] ppid=7179 vsize=27852576 memory=2200 CPUtime=0 cores=0-7 /proc/7182/task/7196/stat : 7196 (java) S 7179 7182 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675275565136 139676670764955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7197] ppid=7179 vsize=27852576 memory=7284 CPUtime=4.55 cores=0-7 /proc/7182/task/7197/stat : 7197 (java) S 7179 7182 6504 0 -1 1077944384 24151 0 0 0 448 7 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675274513008 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7198] ppid=7179 vsize=27852576 memory=840 CPUtime=5.09 cores=0-7 /proc/7182/task/7198/stat : 7198 (java) S 7179 7182 6504 0 -1 1077944384 28554 0 0 0 502 7 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675273460208 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7199] ppid=7179 vsize=27852576 memory=2200 CPUtime=5.92 cores=0-7 /proc/7182/task/7199/stat : 7199 (java) S 7179 7182 6504 0 -1 1077944384 28119 0 0 0 584 8 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675272407920 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7200] ppid=7179 vsize=27852576 memory=7284 CPUtime=2.04 cores=0-7 /proc/7182/task/7200/stat : 7200 (java) S 7179 7182 6504 0 -1 1077944384 41230 0 0 0 195 9 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675271355120 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7201] ppid=7179 vsize=27852576 memory=840 CPUtime=0 cores=0-7 /proc/7182/task/7201/stat : 7201 (java) S 7179 7182 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675270302048 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7202] ppid=7179 vsize=27852576 memory=1696 CPUtime=1.16 cores=0-7 /proc/7182/task/7202/stat : 7202 (java) S 7179 7182 6504 0 -1 1077944384 5576 0 0 0 41 75 0 0 20 0 46 0 82532973 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675269249328 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7203] ppid=7179 vsize=27852576 memory=916 CPUtime=0.04 cores=0-7 /proc/7182/task/7203/stat : 7203 (java) S 7179 7182 6504 0 -1 1077944384 1557 0 0 0 4 0 0 0 20 0 46 0 82537572 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675255804752 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7204] ppid=7179 vsize=27852576 memory=5904 CPUtime=5.77 cores=0-7 /proc/7182/task/7204/stat : 7204 (java) S 7179 7182 6504 0 -1 1077944384 12194 0 0 0 322 255 0 0 20 0 46 0 82537589 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675252655136 139676670757506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7205] ppid=7179 vsize=27852576 memory=4104 CPUtime=8.9 cores=0-7 /proc/7182/task/7205/stat : 7205 (java) S 7179 7182 6504 0 -1 1077944384 3844 0 0 0 884 6 0 0 20 0 46 0 82537605 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675249505808 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7206] ppid=7179 vsize=27852576 memory=13423136 CPUtime=2433.11 cores=0-7 /proc/7182/task/7206/stat : 7206 (java) R 7179 7182 6504 0 -1 4202560 1444335 0 0 0 242975 336 0 0 20 0 46 0 82537606 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675248445608 139676320823520 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7207] ppid=7179 vsize=27852576 memory=18460 CPUtime=2438.2 cores=0-7 /proc/7182/task/7207/stat : 7207 (java) R 7179 7182 6504 0 -1 4202560 1469176 0 0 0 243453 367 0 0 20 0 46 0 82537606 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675247393072 139676320330316 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7208] ppid=7179 vsize=27852576 memory=15132 CPUtime=8.33 cores=0-7 /proc/7182/task/7208/stat : 7208 (java) S 7179 7182 6504 0 -1 1077944384 4776 0 0 0 828 5 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675244250768 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7209] ppid=7179 vsize=27852576 memory=1788 CPUtime=2433.8 cores=0-7 /proc/7182/task/7209/stat : 7209 (java) R 7179 7182 6504 0 -1 4202560 1348932 0 0 0 243037 343 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675243189176 139676320140601 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7210] ppid=7179 vsize=27852576 memory=644 CPUtime=2427 cores=0-7 /proc/7182/task/7210/stat : 7210 (java) R 7179 7182 6504 0 -1 4202560 1748264 0 0 0 242358 342 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675242137256 139676320141653 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7211] ppid=7179 vsize=27852576 memory=952 CPUtime=8.92 cores=0-7 /proc/7182/task/7211/stat : 7211 (java) S 7179 7182 6504 0 -1 1077944384 3834 0 0 0 883 9 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675241092368 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7212] ppid=7179 vsize=27852576 memory=1232 CPUtime=2430.23 cores=0-7 /proc/7182/task/7212/stat : 7212 (java) R 7179 7182 6504 0 -1 4202560 1585926 0 0 0 242667 356 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675240031656 139676319657487 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7213] ppid=7179 vsize=27852576 memory=2340 CPUtime=2424.34 cores=0-7 /proc/7182/task/7213/stat : 7213 (java) R 7179 7182 6504 0 -1 4202560 1360363 0 0 0 242088 346 0 0 20 0 46 0 82537613 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675238979880 139676309500916 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7214] ppid=7179 vsize=27852576 memory=1576 CPUtime=2420.44 cores=0-7 /proc/7182/task/7214/stat : 7214 (java) R 7179 7182 6504 0 -1 4202560 1606641 0 0 0 241708 336 0 0 20 0 46 0 82537614 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675237928848 139676316620534 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7215] ppid=7179 vsize=27852576 memory=928 CPUtime=2430.6 cores=0-7 /proc/7182/task/7215/stat : 7215 (java) R 7179 7182 6504 0 -1 4202560 1530492 0 0 0 242732 328 0 0 20 0 46 0 82537615 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675236874024 139676320565797 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7216] ppid=7179 vsize=27852576 memory=2240 CPUtime=0.01 cores=0-7 /proc/7182/task/7216/stat : 7216 (java) S 7179 7182 6504 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 46 0 82539686 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675235829392 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7217] ppid=7179 vsize=27852576 memory=4124 CPUtime=0.01 cores=0-7 /proc/7182/task/7217/stat : 7217 (java) S 7179 7182 6504 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 46 0 82539686 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675234776080 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7218] ppid=7179 vsize=27852576 memory=2200 CPUtime=0 cores=0-7 /proc/7182/task/7218/stat : 7218 (java) S 7179 7182 6504 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 82539686 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675233723280 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7219] ppid=7179 vsize=27852576 memory=7284 CPUtime=0.02 cores=0-7 /proc/7182/task/7219/stat : 7219 (java) S 7179 7182 6504 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 46 0 82539686 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675232670992 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7220] ppid=7179 vsize=27852576 memory=8112282956445269571 CPUtime=0.02 cores=0-7 /proc/7182/task/7220/stat : 7220 (java) S 7179 7182 6504 0 -1 1077944384 418 0 0 0 1 1 0 0 20 0 46 0 82539686 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675231618192 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7221] ppid=7179 vsize=27852576 memory=16104758104558012 CPUtime=0.02 cores=0-7 /proc/7182/task/7221/stat : 7221 (java) S 7179 7182 6504 0 -1 1077944384 382 0 0 0 1 1 0 0 20 0 46 0 82543191 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675228431888 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7222] ppid=7179 vsize=27852576 memory=5904 CPUtime=0.01 cores=0-7 /proc/7182/task/7222/stat : 7222 (java) S 7179 7182 6504 0 -1 1077944384 210 0 0 0 0 1 0 0 20 0 46 0 82543192 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675227379088 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7223] ppid=7179 vsize=27852576 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/7182/task/7223/stat : 7223 (java) S 7179 7182 6504 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 46 0 82543201 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675226326800 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7224] ppid=7179 vsize=27852576 memory=8552 CPUtime=0.02 cores=0-7 /proc/7182/task/7224/stat : 7224 (java) S 7179 7182 6504 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 46 0 82543285 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675225274000 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7225] ppid=7179 vsize=27852576 memory=1444 CPUtime=0.01 cores=0-7 /proc/7182/task/7225/stat : 7225 (java) S 7179 7182 6504 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 46 0 82543287 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675224220688 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7226] ppid=7179 vsize=27852576 memory=5668 CPUtime=0.01 cores=0-7 /proc/7182/task/7226/stat : 7226 (java) S 7179 7182 6504 0 -1 1077944384 421 0 0 0 0 1 0 0 20 0 46 0 82543288 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675155030928 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7227] ppid=7179 vsize=27852576 memory=13409252 CPUtime=0.01 cores=0-7 /proc/7182/task/7227/stat : 7227 (java) S 7179 7182 6504 0 -1 1077944384 515 0 0 0 0 1 0 0 20 0 46 0 82543288 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675153978640 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 [pid=7182/tid=7228] ppid=7179 vsize=27852576 memory=24324 CPUtime=0.01 cores=0-7 /proc/7182/task/7228/stat : 7228 (java) S 7179 7182 6504 0 -1 1077944384 419 0 0 0 0 1 0 0 20 0 46 0 82544117 28521037824 3355784 33554432000 4194304 4196468 140735552778688 139675152925840 139676670756565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140735552783437 140735552783621 140735552783621 140735552786383 0 Current children cumulated CPU time: 19786.6 s Current children cumulated vsize: 27852576 KiB Current children cumulated memory: 13423136 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.66 s] # the end of solver process 7182 was just reported to runsolver # cumulated CPU time of all completed processes: user=19708.2 s, system=80.804 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.41 s] /proc/loadavg: 8.70 8.78 8.78 2/181 7268 /proc/meminfo: memFree=3378644/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+2520.6 s] /proc/loadavg: 8.70 8.78 8.78 2/181 7268 /proc/meminfo: memFree=3378644/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.66 CPU time (s): 19789 CPU user time (s): 19708.2 CPU system time (s): 80.804 CPU usage (%): 785.071 Max. virtual memory (cumulated for all children) (KiB): 28052268 Max. memory (cumulated for all children) (KiB): 13692464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19708.2 system time used= 80.804 maximum resident set size= 13693224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25417025 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3240 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 354538 involuntary context switches= 418724 # summary of solver processes directly reported to runsolver: # pid: 7182 # total CPU time (s): 19789 # total CPU user time (s): 19708.2 # total CPU system time (s): 80.804 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.7506 second user time and 39.8119 second system time The end
Begin job on node106 at 2018-07-27 02:01:41 IDJOB=4292055 IDBENCH=141274 IDSOLVER=2745 FILE ID=node106/4292055-1532649700 RUNJOBID= node106-1532642096-6531 PBS_JOBID= 21022190 Free space on /tmp= 46044 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292055-1532649700/watcher-4292055-1532649700 -o /tmp/evaluation-result-4292055-1532649700/solver-4292055-1532649700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532642096-6531 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1295883716 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4292055-1532649700.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=1295883716 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 8858560 kB MemAvailable: 31923472 kB Buffers: 244024 kB Cached: 22717260 kB SwapCached: 0 kB Active: 3146916 kB Inactive: 19873328 kB Active(anon): 33764 kB Inactive(anon): 53064 kB Active(file): 3113152 kB Inactive(file): 19820264 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 115380 kB Writeback: 12840 kB AnonPages: 65696 kB Mapped: 41440 kB Shmem: 25228 kB Slab: 587016 kB SReclaimable: 559956 kB SUnreclaim: 27060 kB KernelStack: 3200 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46008 MiB End job on node106 at 2018-07-27 02:43:42