Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 145181596 | 252.088 | 221.549 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml |
| MD5SUM | 2354d9b784d04df982f0d1b4068abd13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 89722677 |
| Best CPU time to get the best result obtained on this benchmark | 252.15 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3894 |
| Number of constraints | 2462 |
| Number of domains | 32 |
| Minimum domain size | 1 |
| Maximum domain size | 175 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1132 |
| Distribution of variable degrees | [{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}] |
| Number of extensional constraints | 1131 |
| Number of intensional constraints | 1331 |
| Distribution of constraint types | [{"type":"extension","count":1131},{"type":"intension","count":1331}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.54 c version: 2018-08-14 0.68/0.55 c seed: 105696461 0.68/0.55 c timeout: 252 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.57 c Parsing instance... 33.25/20.43 c Parsing done, starting first complete search... 40.48/25.46 o 148089944 40.48/25.46 o 148089938 40.48/25.47 o 148089928 40.48/25.47 o 148089927 40.48/25.48 o 148089926 40.48/25.48 o 148089922 40.48/25.48 o 148089921 40.48/25.49 o 148067281 40.67/25.50 o 148067280 40.67/25.51 o 148067279 40.67/25.51 o 148067276 40.67/25.52 o 148067273 40.67/25.53 o 148067270 40.67/25.53 o 148067269 40.67/25.53 o 148067263 40.67/25.56 o 148067261 40.67/25.59 o 148067259 40.67/25.59 o 148067256 40.94/25.67 o 148067255 41.18/25.72 o 148067254 41.32/25.83 o 148067253 41.32/25.84 o 148067252 41.45/25.92 o 148055969 41.45/25.92 o 148055960 41.45/25.93 o 148055955 41.45/25.94 o 148055954 41.45/25.94 o 148055953 41.45/25.96 o 148055952 41.45/25.96 o 148055947 41.45/25.97 o 148055945 41.65/26.17 o 148055942 41.65/26.18 o 148055937 41.65/26.18 o 148044659 41.65/26.19 o 148044657 41.65/26.19 o 148044655 41.65/26.19 o 148044654 41.65/26.19 o 148044653 41.65/26.19 o 148044652 41.65/26.20 o 148044651 41.65/26.20 o 148044648 41.65/26.20 o 148044646 41.76/26.21 o 148044645 41.76/26.21 o 148044643 41.86/26.39 o 148044642 41.86/26.39 o 148044640 41.86/26.39 o 148044639 41.86/26.40 o 148044637 41.95/26.43 o 148044636 41.95/26.44 o 148044631 42.15/26.65 o 148044630 42.25/26.73 o 148033333 42.25/26.74 o 148033326 42.25/26.74 o 148033324 42.25/26.74 o 148033321 42.55/27.02 o 148033320 42.55/27.02 o 148033319 42.55/27.04 o 148033318 42.55/27.04 o 148033316 42.55/27.04 o 148033314 42.55/27.06 o 148033313 42.55/27.06 o 148033311 42.66/27.16 o 148033306 42.66/27.17 o 148033305 42.66/27.17 o 148033304 42.66/27.17 o 148033303 42.87/27.33 o 148033302 42.87/27.33 o 148033300 42.87/27.35 o 148033294 42.96/27.44 o 148033290 42.96/27.44 o 148033288 43.26/27.74 o 148022006 43.26/27.74 o 148022004 43.26/27.77 o 148022002 43.36/27.84 o 148021997 43.36/27.84 o 148021994 43.36/27.86 o 148021993 43.36/27.86 o 148021988 43.36/27.89 o 148021986 44.06/28.51 o 148021985 44.06/28.51 o 148021983 44.06/28.52 o 148021977 44.06/28.55 o 148010709 44.06/28.55 o 148010700 44.06/28.55 o 148010695 44.06/28.56 o 148010693 44.06/28.56 o 148010691 44.06/28.57 o 148010690 44.06/28.57 o 148010685 44.06/28.58 o 148010683 44.06/28.58 o 148010675 44.81/29.22 o 148010674 45.41/29.80 o 148010672 45.41/29.81 o 148010668 45.51/29.90 o 148010666 45.51/29.90 o 148010665 45.51/29.91 o 148010664 45.51/29.92 o 148010660 48.22/32.69 o 148010659 48.83/33.28 o 148010657 48.83/33.29 o 148010655 52.95/37.32 o 147999382 52.95/37.32 o 147999379 52.95/37.32 o 147999376 52.95/37.33 o 147999374 52.95/37.34 o 147999372 52.95/37.35 o 147999371 52.95/37.35 o 147999369 53.04/37.40 o 147999361 53.04/37.40 o 147999360 53.04/37.41 o 147999358 53.04/37.42 o 147999355 53.04/37.42 o 147999354 53.04/37.43 o 147999353 53.04/37.43 o 147999351 53.04/37.43 o 147999345 53.04/37.44 o 147999344 53.04/37.44 o 147988035 53.04/37.45 o 147988033 53.04/37.47 o 147988031 53.04/37.47 o 147988029 53.44/37.89 o 147988028 53.44/37.90 o 147988027 53.85/38.23 o 147988026 53.85/38.24 o 147988025 53.85/38.24 o 147988023 54.86/39.31 o 147976791 54.96/39.31 o 147976784 54.96/39.31 o 147976782 54.96/39.31 o 147976779 54.96/39.31 o 147976770 54.96/39.31 o 147976765 54.96/39.32 o 147976760 54.96/39.32 o 147976757 54.96/39.33 o 147976752 54.96/39.33 o 147976751 54.96/39.33 o 147976748 54.96/39.34 o 147976733 54.96/39.34 o 147976732 54.96/39.34 o 147976730 54.96/39.35 o 147976728 54.96/39.35 o 147976724 55.06/39.43 o 147976722 55.06/39.43 o 147976720 55.06/39.44 o 147976716 56.86/41.21 o 147976715 56.86/41.21 o 147976712 62.52/44.21 c First complete search done, starting ALNS search... 63.45/44.84 o 147976711 63.45/44.85 o 147976703 63.45/44.85 o 147976702 63.88/45.18 o 147965438 63.88/45.19 o 147965431 63.88/45.19 o 147965423 63.88/45.19 o 147965416 63.88/45.19 o 147965413 63.88/45.19 o 147965412 63.88/45.20 o 147965411 63.88/45.20 o 147965410 63.88/45.20 o 147965408 63.88/45.20 o 147965407 63.88/45.20 o 147965406 63.88/45.21 o 147954128 64.00/45.21 o 147954113 64.00/45.21 o 147954106 64.00/45.21 o 147954103 64.00/45.21 o 147954102 64.00/45.21 o 147954101 64.00/45.22 o 147954098 64.00/45.22 o 147954097 64.00/45.22 o 147954096 64.00/45.22 o 147942816 64.00/45.22 o 147942809 64.00/45.23 o 147942801 64.00/45.23 o 147942794 64.00/45.23 o 147942793 64.00/45.23 o 147942789 64.00/45.23 o 147942788 64.00/45.24 o 147942787 64.00/45.24 o 147942786 64.00/45.24 o 147942785 64.00/45.24 o 147942784 64.00/45.24 o 147942783 64.00/45.25 o 147942782 64.00/45.25 o 147942780 64.00/45.25 o 147942779 64.00/45.25 o 147942778 64.00/45.25 o 147931491 64.00/45.26 o 147931484 64.00/45.26 o 147931483 64.00/45.26 o 147931479 64.00/45.26 o 147931478 64.00/45.26 o 147931476 64.00/45.26 o 147931475 64.00/45.27 o 147931474 64.00/45.27 o 147931473 64.00/45.27 o 147931472 64.00/45.27 o 147931470 64.00/45.27 o 147931469 64.00/45.28 o 147931468 64.00/45.28 o 147931467 64.00/45.28 o 147931466 64.00/45.28 o 147931465 64.00/45.29 o 147920205 64.00/45.29 o 147920198 66.38/47.34 o 147920194 66.38/47.34 o 147920191 66.38/47.35 o 147908891 66.38/47.35 o 147908887 66.38/47.35 o 147908885 66.38/47.35 o 147908880 66.38/47.36 o 147897565 66.38/47.36 o 147897563 66.38/47.37 o 147886258 66.38/47.38 o 147886252 66.38/47.38 o 147886247 66.38/47.39 o 147874932 66.38/47.39 o 147874930 66.38/47.40 o 147863619 66.52/47.40 o 147863614 66.52/47.41 o 147863613 66.85/47.74 o 147863606 67.09/47.97 o 147863603 67.09/47.97 o 147863602 67.09/47.98 o 147863597 67.09/47.99 o 147863596 67.19/48.00 o 147863591 67.19/48.01 o 147852284 67.19/48.02 o 147852283 67.19/48.02 o 147852278 67.19/48.05 o 147852276 67.19/48.05 o 147852275 67.19/48.07 o 147840963 67.19/48.08 o 147840962 67.19/48.09 o 147840957 67.31/48.10 o 147840956 67.31/48.11 o 147840955 67.31/48.12 o 147829642 67.31/48.12 o 147829641 67.31/48.13 o 147829636 67.31/48.14 o 147829631 67.31/48.15 o 147829630 67.31/48.15 o 147829629 67.31/48.16 o 147829623 67.31/48.18 o 147818310 67.31/48.19 o 147818309 67.31/48.20 o 147818304 67.43/48.21 o 147818299 67.43/48.22 o 147818298 67.43/48.23 o 147806986 67.43/48.24 o 147806985 67.43/48.25 o 147806980 67.43/48.28 o 147795669 67.43/48.29 o 147795668 67.54/48.31 o 147795663 67.54/48.33 o 147784359 67.54/48.33 o 147784358 67.54/48.35 o 147784353 67.54/48.36 o 147784352 67.54/48.37 o 147784351 67.54/48.38 o 147784345 67.54/48.39 o 147784344 67.54/48.39 o 147784343 67.54/48.39 o 147784341 67.64/48.40 o 147784340 67.64/48.40 o 147784338 67.64/48.41 o 147784333 67.64/48.41 o 147784331 67.64/48.41 o 147784330 67.64/48.42 o 147784329 67.64/48.44 o 147773041 67.64/48.44 o 147773035 67.64/48.45 o 147773034 67.64/48.45 o 147773033 67.64/48.46 o 147773031 67.64/48.46 o 147773030 67.64/48.46 o 147773028 67.64/48.47 o 147773023 67.64/48.47 o 147773022 67.64/48.48 o 147773021 67.64/48.48 o 147773020 67.64/48.49 o 147773019 67.74/48.50 o 147773017 67.74/48.51 o 147773016 67.74/48.51 o 147773015 67.74/48.51 o 147773014 67.74/48.52 o 147773013 67.74/48.55 o 147761731 67.74/48.55 o 147761725 67.74/48.56 o 147761723 67.74/48.56 o 147761721 67.74/48.57 o 147761720 67.74/48.57 o 147761718 67.74/48.57 o 147761713 67.74/48.58 o 147761712 67.74/48.58 o 147761711 67.74/48.59 o 147761710 67.74/48.59 o 147761709 67.85/48.61 o 147761707 67.85/48.62 o 147761706 67.85/48.62 o 147761705 67.85/48.62 o 147761704 67.85/48.63 o 147761703 67.85/48.65 o 147761702 67.85/48.66 o 147761701 67.85/48.67 o 147761700 67.95/48.70 o 147750412 67.95/48.71 o 147750406 67.95/48.72 o 147750404 67.95/48.72 o 147750402 67.95/48.73 o 147750401 67.95/48.73 o 147750399 67.95/48.73 o 147750394 67.95/48.74 o 147750393 67.95/48.74 o 147750392 67.95/48.74 o 147750391 67.95/48.75 o 147750390 67.95/48.76 o 147750388 67.95/48.77 o 147750387 67.95/48.78 o 147750386 67.95/48.79 o 147750385 67.95/48.80 o 147750384 68.06/48.81 o 147739106 68.06/48.81 o 147739100 68.06/48.82 o 147739099 68.06/48.83 o 147739098 68.06/48.83 o 147739096 68.52/49.21 o 147739090 68.52/49.24 o 147739088 68.52/49.29 o 147739087 68.62/49.35 o 147739083 68.62/49.36 o 147739081 68.62/49.39 o 147739080 68.72/49.42 o 147727789 68.72/49.42 o 147727787 68.72/49.43 o 147727782 68.72/49.43 o 147727780 68.72/49.44 o 147727773 68.72/49.45 o 147727771 68.72/49.46 o 147727770 68.72/49.49 o 147716486 68.82/49.50 o 147716484 68.82/49.51 o 147716479 68.82/49.52 o 147716477 68.82/49.53 o 147716475 68.82/49.54 o 147716470 68.82/49.54 o 147716468 68.82/49.55 o 147716467 68.82/49.57 o 147716465 68.82/49.58 o 147716463 68.82/49.59 o 147716461 68.92/49.60 o 147705169 68.92/49.61 o 147705167 68.92/49.62 o 147705162 68.92/49.63 o 147705160 68.92/49.63 o 147705158 68.92/49.64 o 147705153 68.92/49.64 o 147705151 68.92/49.66 o 147705150 69.03/49.72 o 147705149 69.03/49.73 o 147705147 69.03/49.75 o 147693855 69.03/49.75 o 147693853 69.03/49.75 o 147693848 69.03/49.76 o 147693846 69.03/49.76 o 147693844 69.03/49.76 o 147693839 69.03/49.76 o 147693837 69.03/49.78 o 147693836 69.12/49.80 o 147682566 69.12/49.81 o 147682564 69.12/49.82 o 147682559 69.12/49.83 o 147682557 69.44/49.91 o 147682555 69.44/49.92 o 147682550 69.44/49.93 o 147682548 69.44/49.94 o 147682547 69.44/49.95 o 147682545 69.44/49.96 o 147682540 69.44/49.97 o 147682538 69.44/49.98 o 147682536 69.44/49.99 o 147682534 69.54/50.02 o 147671242 69.54/50.02 o 147671233 69.54/50.03 o 147671226 69.54/50.04 o 147671224 69.54/50.06 o 147671223 69.54/50.09 o 147671222 69.65/50.11 o 147671220 69.65/50.12 o 147671218 69.65/50.13 o 147671217 70.09/50.53 o 147671208 70.09/50.55 o 147671207 70.09/50.57 o 147671205 70.19/50.60 o 147671204 70.19/50.62 o 147671203 70.19/50.65 o 147671197 70.19/50.67 o 147671191 70.19/50.70 o 147671190 70.29/50.72 o 147671189 70.29/50.75 o 147671187 70.29/50.78 o 147671186 70.39/50.81 o 147671185 70.39/50.85 o 147671179 70.39/50.87 o 147671178 70.49/50.90 o 147671177 70.49/50.92 o 147671176 70.49/50.95 o 147671174 70.49/50.98 o 147671173 70.59/51.01 o 147671172 70.59/51.04 o 147671171 70.91/51.34 o 147671169 70.91/51.37 o 147671168 71.00/51.40 o 147671167 71.00/51.42 o 147671166 71.00/51.45 o 147671163 71.00/51.48 o 147671162 71.10/51.50 o 147671161 71.10/51.52 o 147671160 71.10/51.56 o 147671158 71.10/51.59 o 147671157 71.20/51.62 o 147671153 71.20/51.64 o 147671152 71.20/51.67 o 147671151 71.20/51.70 o 147671150 71.50/51.93 o 147671146 71.50/51.95 o 147671145 71.50/51.98 o 147671144 71.60/52.01 o 147671143 74.62/54.68 o 147659846 74.62/54.70 o 147659845 74.72/54.72 o 147659841 74.72/54.75 o 147659838 74.72/54.77 o 147659834 74.82/54.80 o 147648536 74.82/54.81 o 147648535 74.82/54.83 o 147648531 74.82/54.85 o 147648528 74.82/54.86 o 147648524 74.92/54.90 o 147648521 74.92/54.92 o 147637223 74.92/54.94 o 147637222 74.92/54.95 o 147637219 74.92/54.97 o 147637218 74.92/54.98 o 147637215 75.02/55.00 o 147637211 75.02/55.03 o 147637209 75.02/55.05 o 147637205 75.02/55.07 o 147637202 75.02/55.09 o 147625904 75.12/55.10 o 147625903 75.12/55.12 o 147625899 75.12/55.13 o 147625896 75.12/55.14 o 147625892 75.12/55.16 o 147614594 75.12/55.18 o 147614593 75.12/55.20 o 147614590 75.24/55.22 o 147614589 75.24/55.24 o 147614586 75.24/55.25 o 147614582 75.34/55.32 o 147614581 75.34/55.37 o 147603283 75.34/55.38 o 147603282 75.44/55.40 o 147603279 75.44/55.42 o 147603278 75.44/55.43 o 147603275 75.44/55.44 o 147603271 75.44/55.48 o 147591973 75.54/55.50 o 147591972 75.54/55.51 o 147591969 75.54/55.53 o 147591968 75.54/55.53 o 147591965 75.54/55.54 o 147591961 75.54/55.57 o 147591958 75.54/55.58 o 147591957 75.64/55.61 o 147591953 75.64/55.62 o 147591950 75.64/55.63 o 147591946 75.64/55.66 o 147580648 75.64/55.66 o 147580647 75.64/55.67 o 147580644 75.64/55.68 o 147580643 75.64/55.68 o 147580640 75.64/55.69 o 147580636 75.74/55.74 o 147580634 75.74/55.76 o 147569336 75.74/55.77 o 147569335 75.74/55.79 o 147569332 75.84/55.80 o 147569331 75.84/55.82 o 147569328 75.84/55.83 o 147569324 75.94/55.90 o 147558026 75.94/55.91 o 147558025 75.94/55.93 o 147558021 75.94/55.95 o 147558018 75.94/55.97 o 147558014 76.04/56.02 o 147546717 76.04/56.03 o 147546716 76.04/56.04 o 147546713 76.04/56.06 o 147546712 76.04/56.07 o 147546709 76.04/56.08 o 147546705 76.14/56.12 o 147546704 76.14/56.16 o 147535408 76.14/56.18 o 147535407 76.14/56.19 o 147535404 76.14/56.20 o 147535403 76.25/56.22 o 147535400 76.25/56.23 o 147535396 76.25/56.27 o 147524098 76.25/56.27 o 147524097 76.25/56.28 o 147524093 76.25/56.30 o 147524090 77.14/56.85 o 147388291 77.14/56.85 o 147388290 77.14/56.86 o 147376981 77.14/56.87 o 147376980 77.14/56.87 o 147376976 77.14/56.88 o 147376975 77.25/56.90 o 147376959 77.25/56.97 o 147365649 77.35/57.01 o 147365648 77.35/57.05 o 147365641 77.35/57.05 o 147365640 77.35/57.07 o 147365633 77.35/57.08 o 147365632 77.45/57.17 o 147365627 77.56/57.21 o 147365626 77.66/57.33 o 147354347 77.66/57.33 o 147354346 77.66/57.33 o 147354341 77.66/57.34 o 147354340 77.66/57.34 o 147354331 77.66/57.35 o 147354325 77.66/57.36 o 147354324 77.66/57.38 o 147354323 77.66/57.39 o 147354317 77.66/57.40 o 147354316 77.76/57.43 o 147354315 80.04/59.41 o 147354314 80.04/59.43 o 147354313 80.04/59.44 o 147354312 80.04/59.44 o 147354311 80.04/59.46 o 147343003 80.04/59.46 o 147343002 80.04/59.47 o 147343001 80.04/59.49 o 147331696 80.04/59.50 o 147331695 80.13/59.50 o 147331694 80.13/59.51 o 147331693 80.13/59.51 o 147331692 80.13/59.57 o 147320378 80.13/59.57 o 147309069 80.13/59.58 o 147297759 80.13/59.60 o 147297758 80.23/59.61 o 147275127 80.23/59.62 o 147263818 80.23/59.63 o 147263817 80.23/59.64 o 147252508 80.23/59.65 o 147252507 80.23/59.66 o 147252506 80.23/59.68 o 147252503 80.23/59.69 o 147252502 80.33/59.70 o 147241193 80.33/59.71 o 147241192 80.33/59.72 o 147241191 80.33/59.73 o 147241190 80.33/59.75 o 147229883 80.33/59.75 o 147229882 80.33/59.76 o 147229881 80.33/59.78 o 147229877 80.33/59.79 o 147229876 80.33/59.79 o 147229875 80.43/59.80 o 147229874 80.43/59.81 o 147218567 80.43/59.82 o 147218566 80.43/59.82 o 147218565 80.43/59.85 o 147218564 80.43/59.85 o 147207256 80.43/59.86 o 147207255 80.43/59.86 o 147207254 80.43/59.88 o 147207253 80.53/59.90 o 147207252 80.53/59.92 o 147195945 80.53/59.93 o 147195944 80.53/59.94 o 147195943 80.53/59.95 o 147195942 80.53/59.97 o 147195941 80.53/59.99 o 147195937 80.63/60.00 o 147195936 80.63/60.01 o 147195935 80.63/60.02 o 147195934 80.63/60.03 o 147195933 80.63/60.06 o 147195932 80.63/60.08 o 147195931 80.63/60.09 o 147195930 80.74/60.10 o 147184625 80.74/60.11 o 147184624 80.74/60.11 o 147184623 80.74/60.12 o 147184622 80.74/60.13 o 147184621 80.74/60.17 o 147184620 80.84/60.23 o 147184619 80.84/60.24 o 147184618 80.84/60.28 o 147184617 80.84/60.29 o 147173313 80.84/60.31 o 147173312 80.94/60.32 o 147173311 80.94/60.33 o 147173310 80.94/60.35 o 147173309 80.94/60.36 o 147173308 80.94/60.40 o 147162008 81.04/60.40 o 147162007 81.04/60.40 o 147162006 81.04/60.41 o 147162005 81.04/60.41 o 147162004 81.04/60.42 o 147162003 81.04/60.44 o 147162002 81.04/60.46 o 147161999 81.04/60.47 o 147161998 81.04/60.48 o 147161997 81.04/60.49 o 147161996 81.13/60.50 o 147161995 81.13/60.52 o 147161994 81.13/60.53 o 147161993 81.13/60.55 o 147161992 81.13/60.57 o 147150688 81.13/60.58 o 147150687 81.13/60.59 o 147150686 81.23/60.60 o 147150685 81.23/60.61 o 147150684 81.23/60.63 o 147150683 81.23/60.64 o 147150682 82.18/61.44 o 147150665 82.18/61.44 o 147150664 82.18/61.45 o 147139360 82.18/61.45 o 147139359 82.18/61.46 o 147128050 82.18/61.47 o 147128049 82.18/61.47 o 147128040 82.18/61.49 o 147116730 82.18/61.49 o 147116729 82.29/61.50 o 147105426 82.29/61.51 o 147105425 82.69/61.96 o 147105389 82.69/61.97 o 147105388 82.69/61.97 o 147105380 82.69/61.98 o 147105379 82.69/61.99 o 147105373 82.79/62.00 o 147105372 82.79/62.01 o 147105371 82.79/62.04 o 147105369 82.79/62.04 o 147105368 82.79/62.04 o 147105367 82.79/62.04 o 147105366 82.79/62.06 o 147105365 82.79/62.10 o 147105363 82.79/62.10 o 147105362 82.89/62.10 o 147105361 82.89/62.10 o 147105360 82.89/62.11 o 147105359 82.89/62.12 o 147105353 82.89/62.13 o 147105352 82.89/62.13 o 147105347 82.89/62.14 o 147105346 82.89/62.14 o 147105345 82.89/62.15 o 147105343 82.89/62.16 o 147105342 82.89/62.16 o 147105341 82.89/62.18 o 147094055 82.89/62.18 o 147094054 82.89/62.19 o 147094053 82.89/62.19 o 147094048 82.89/62.20 o 147094047 82.89/62.20 o 147094046 82.89/62.20 o 147094041 83.00/62.21 o 147094040 83.00/62.21 o 147094039 83.00/62.21 o 147094038 83.00/62.21 o 147094033 83.00/62.22 o 147094032 83.00/62.22 o 147094031 83.00/62.29 o 147082753 83.00/62.29 o 147082746 83.00/62.30 o 147082745 83.00/62.30 o 147082738 83.10/62.31 o 147082737 83.10/62.31 o 147082731 83.10/62.31 o 147082730 83.10/62.32 o 147082725 83.10/62.32 o 147082724 83.10/62.33 o 147082723 83.10/62.38 o 147082721 83.10/62.39 o 147082720 83.10/62.39 o 147082719 83.20/62.40 o 147082718 83.20/62.40 o 147082717 83.20/62.42 o 147071433 83.20/62.42 o 147071432 83.20/62.43 o 147071426 83.20/62.43 o 147071425 83.20/62.43 o 147071418 83.20/62.43 o 147071411 83.20/62.44 o 147071410 83.20/62.44 o 147071409 83.30/62.51 o 147071408 83.30/62.54 o 147071405 83.30/62.54 o 147071404 83.30/62.54 o 147071403 83.30/62.55 o 147071398 83.30/62.56 o 147071397 83.30/62.56 o 147071396 83.30/62.59 o 147071394 83.30/62.60 o 147071393 83.40/62.60 o 147071392 83.40/62.62 o 147071391 83.40/62.63 o 147060105 83.40/62.64 o 147060104 83.40/62.64 o 147060090 83.40/62.64 o 147060089 83.40/62.65 o 147060088 83.40/62.66 o 147060084 83.40/62.66 o 147060083 83.40/62.67 o 147060082 83.50/62.72 o 147060079 83.50/62.73 o 147060078 83.50/62.74 o 147060077 83.50/62.77 o 147060075 83.50/62.77 o 147060074 83.50/62.78 o 147060073 83.60/62.81 o 147048787 83.60/62.81 o 147048780 83.60/62.82 o 147048772 83.60/62.82 o 147048765 83.60/62.84 o 147048764 83.60/62.85 o 147048763 83.70/62.92 o 147048757 83.70/62.93 o 147048756 83.70/62.93 o 147048755 83.70/62.94 o 147048754 83.70/62.94 o 147048753 83.70/62.99 o 147048751 83.80/63.00 o 147048750 83.80/63.01 o 147048749 83.80/63.06 o 147037471 83.80/63.06 o 147037464 83.80/63.07 o 147037456 83.80/63.07 o 147037449 83.80/63.08 o 147037448 83.80/63.08 o 147037447 83.80/63.09 o 147037443 83.80/63.10 o 147037442 83.90/63.10 o 147037441 83.90/63.12 o 147037440 83.90/63.12 o 147037439 83.90/63.19 o 147026165 83.90/63.20 o 147026164 83.90/63.20 o 147026163 84.01/63.28 o 147026162 84.01/63.29 o 147026161 84.01/63.30 o 147026156 84.01/63.30 o 147026155 84.11/63.32 o 147026154 84.11/63.34 o 147026153 84.11/63.37 o 147014868 84.11/63.37 o 147014867 84.11/63.37 o 147014866 84.11/63.38 o 147014861 84.11/63.39 o 147014860 84.20/63.40 o 147014859 84.82/64.03 o 146958297 84.82/64.04 o 146946987 84.82/64.04 o 146946986 84.82/64.05 o 146946985 84.82/64.06 o 146935676 84.82/64.06 o 146935675 84.82/64.07 o 146935674 84.82/64.08 o 146935673 84.82/64.08 o 146935672 84.82/64.09 o 146935671 84.82/64.10 o 146924363 84.93/64.10 o 146924362 85.23/64.50 o 146924355 85.33/64.51 o 146924354 85.33/64.52 o 146924353 86.07/65.27 o 146924352 86.07/65.28 o 146913043 86.07/65.28 o 146913042 90.08/68.57 o 146901829 90.08/68.57 o 146901823 90.08/68.58 o 146901818 90.08/68.59 o 146901817 90.18/68.60 o 146901815 90.18/68.61 o 146901809 90.18/68.63 o 146901808 90.48/68.98 o 146890525 91.19/69.61 o 146890518 91.19/69.61 o 146890517 91.19/69.66 o 146890516 91.19/69.67 o 146890515 91.29/69.70 o 146879206 91.29/69.73 o 146867901 91.29/69.73 o 146867900 91.29/69.74 o 146867899 91.29/69.75 o 146867898 91.29/69.76 o 146867897 91.29/69.77 o 146867896 91.29/69.80 o 146867895 91.39/69.80 o 146867894 91.39/69.83 o 146856590 91.39/69.83 o 146856589 91.39/69.83 o 146856588 91.39/69.84 o 146856587 91.39/69.85 o 146856586 91.39/69.85 o 146856585 91.39/69.87 o 146856584 91.39/69.88 o 146856583 91.49/69.99 o 146845279 91.49/70.00 o 146845278 91.59/70.01 o 146845277 91.59/70.02 o 146845276 91.59/70.03 o 146845275 91.59/70.04 o 146845274 91.59/70.05 o 146845273 91.59/70.06 o 146833968 91.59/70.07 o 146833967 91.59/70.07 o 146833966 91.59/70.08 o 146833965 91.59/70.09 o 146833964 91.59/70.09 o 146833963 94.84/73.29 o 146833959 94.84/73.29 o 146833958 94.84/73.30 o 146833957 94.84/73.30 o 146833956 94.94/73.31 o 146833955 94.94/73.32 o 146833954 94.94/73.35 o 146833950 94.94/73.35 o 146833949 94.94/73.36 o 146833948 94.94/73.36 o 146833947 94.94/73.37 o 146833946 95.23/73.67 o 146822694 95.23/73.68 o 146822693 95.23/73.68 o 146822684 95.23/73.68 o 146822683 95.23/73.69 o 146822680 95.23/73.69 o 146822679 95.23/73.70 o 146822678 95.33/73.70 o 146822677 95.33/73.70 o 146822670 95.33/73.70 o 146822669 95.33/73.71 o 146822666 95.33/73.71 o 146822665 95.33/73.72 o 146822664 95.33/73.73 o 146822663 95.33/73.74 o 146822661 95.33/73.75 o 146822660 95.33/73.75 o 146822659 95.33/73.76 o 146822658 95.33/73.77 o 146822657 95.33/73.77 o 146822656 95.33/73.78 o 146822655 95.33/73.79 o 146822654 95.43/73.80 o 146811380 95.43/73.80 o 146811371 95.43/73.80 o 146811367 95.43/73.81 o 146811366 95.43/73.82 o 146811365 95.43/73.82 o 146811364 95.43/73.82 o 146811357 95.43/73.82 o 146811356 95.43/73.83 o 146811353 95.43/73.83 o 146811352 95.43/73.84 o 146811351 95.43/73.85 o 146811349 95.43/73.86 o 146811348 95.43/73.86 o 146811347 95.43/73.86 o 146811346 95.43/73.87 o 146811345 95.43/73.89 o 146811344 95.53/73.91 o 146800069 95.53/73.91 o 146800060 95.53/73.91 o 146800059 95.53/73.92 o 146800056 95.53/73.92 o 146800055 95.53/73.93 o 146800054 95.53/73.93 o 146800053 95.53/73.93 o 146800046 95.53/73.93 o 146800045 95.53/73.94 o 146800041 95.53/73.94 o 146800040 95.53/73.95 o 146800039 95.53/73.97 o 146800038 95.53/73.98 o 146800035 95.53/73.98 o 146800034 95.53/73.99 o 146800033 95.63/74.00 o 146800032 95.63/74.00 o 146800031 95.63/74.01 o 146800030 95.63/74.01 o 146800028 95.63/74.02 o 146800027 95.63/74.03 o 146788745 95.63/74.03 o 146788736 95.63/74.03 o 146788735 95.63/74.04 o 146788732 95.63/74.04 o 146788731 95.63/74.04 o 146788730 95.63/74.04 o 146788729 95.63/74.05 o 146788722 95.63/74.05 o 146788721 95.63/74.06 o 146788720 95.63/74.07 o 146788719 95.63/74.08 o 146788718 95.63/74.08 o 146788717 95.63/74.09 o 146788716 95.63/74.10 o 146788715 95.73/74.10 o 146788714 95.73/74.11 o 146788713 95.73/74.17 o 146788712 95.73/74.18 o 146788711 95.73/74.19 o 146788710 95.73/74.19 o 146788709 95.84/74.21 o 146777434 95.84/74.21 o 146777425 95.84/74.21 o 146777424 95.84/74.22 o 146777421 95.84/74.22 o 146777420 95.84/74.22 o 146777419 95.84/74.22 o 146777418 95.84/74.23 o 146777411 95.84/74.23 o 146777410 95.84/74.24 o 146777406 95.84/74.24 o 146777405 95.84/74.25 o 146777404 95.84/74.25 o 146777403 95.84/74.29 o 146777402 95.84/74.29 o 146777399 95.84/74.29 o 146777398 95.84/74.30 o 146777397 95.84/74.30 o 146777396 95.95/74.31 o 146777395 95.95/74.32 o 146777394 95.95/74.34 o 146777391 95.95/74.34 o 146777387 95.95/74.35 o 146777386 95.95/74.36 o 146777385 95.95/74.37 o 146777384 95.95/74.38 o 146777382 95.95/74.38 o 146777381 95.95/74.38 o 146777380 96.04/74.41 o 146777379 96.04/74.44 o 146766111 96.04/74.44 o 146766102 96.04/74.44 o 146766101 96.04/74.45 o 146766098 96.04/74.45 o 146766097 96.04/74.46 o 146766096 96.04/74.46 o 146766095 96.04/74.46 o 146766088 96.04/74.46 o 146766087 96.04/74.47 o 146766086 96.04/74.47 o 146766083 96.04/74.48 o 146766082 96.04/74.48 o 146766081 96.04/74.49 o 146766080 96.04/74.49 o 146766079 96.14/74.50 o 146766075 96.14/74.51 o 146766074 96.14/74.51 o 146766073 96.14/74.53 o 146766072 96.14/74.57 o 146766071 96.14/74.57 o 146766070 96.14/74.59 o 146754821 96.14/74.59 o 146754812 96.14/74.59 o 146754811 96.24/74.60 o 146754808 96.24/74.60 o 146754807 96.24/74.60 o 146754806 96.24/74.61 o 146754805 96.24/74.61 o 146754798 96.24/74.61 o 146754797 96.24/74.62 o 146754793 96.24/74.62 o 146754792 96.24/74.63 o 146754791 96.24/74.63 o 146754790 96.24/74.63 o 146754789 96.24/74.67 o 146754788 96.24/74.67 o 146754786 96.24/74.68 o 146754785 96.24/74.68 o 146754784 96.24/74.68 o 146754783 96.24/74.69 o 146754782 96.34/74.70 o 146754781 96.34/74.70 o 146754780 96.34/74.71 o 146754779 96.34/74.71 o 146754777 96.34/74.71 o 146754776 96.34/74.72 o 146754775 96.34/74.72 o 146754774 96.34/74.76 o 146743498 96.34/74.76 o 146743489 96.34/74.76 o 146743488 96.34/74.77 o 146743485 96.34/74.77 o 146743484 96.34/74.77 o 146743483 96.34/74.77 o 146743482 96.34/74.78 o 146743475 96.34/74.78 o 146743474 96.34/74.78 o 146743473 96.34/74.79 o 146743471 96.34/74.80 o 146743470 96.44/74.80 o 146743469 96.44/74.80 o 146743468 96.44/74.82 o 146743467 96.44/74.82 o 146743466 96.44/74.83 o 146743465 96.44/74.83 o 146743463 96.44/74.83 o 146743462 96.44/74.84 o 146743461 96.44/74.84 o 146743460 96.44/74.85 o 146743459 96.44/74.86 o 146743458 96.44/74.87 o 146743457 96.54/74.98 o 146743456 97.88/75.82 o 146743401 97.88/75.85 o 146743394 97.88/75.86 o 146743393 97.88/75.88 o 146743385 97.98/75.91 o 146743384 97.98/75.96 o 146743383 97.98/75.99 o 146743376 98.08/76.01 o 146743375 98.08/76.05 o 146743373 98.08/76.06 o 146743372 98.18/76.16 o 146743371 98.18/76.19 o 146743366 98.29/76.21 o 146743365 98.39/76.36 o 146743359 98.39/76.39 o 146743358 98.49/76.44 o 146732074 98.49/76.47 o 146732073 98.49/76.48 o 146732065 98.59/76.51 o 146732058 98.59/76.54 o 146732051 98.59/76.59 o 146732050 98.69/76.60 o 146732049 98.69/76.62 o 146732042 98.79/76.71 o 146732036 98.79/76.76 o 146720776 98.79/76.77 o 146720775 98.79/76.78 o 146720769 98.79/76.80 o 146720768 98.89/76.81 o 146720767 98.89/76.82 o 146720760 98.89/76.86 o 146709461 98.89/76.89 o 146709459 98.99/76.94 o 146709458 98.99/76.96 o 146709456 98.99/76.97 o 146709453 98.99/76.99 o 146709452 99.09/77.01 o 146709450 99.09/77.04 o 146709446 99.09/77.05 o 146709445 99.09/77.07 o 146709444 99.09/77.09 o 146709443 99.19/77.11 o 146709438 99.19/77.14 o 146709431 99.19/77.16 o 146698133 99.19/77.18 o 146698126 99.19/77.19 o 146698125 99.30/77.21 o 146698124 99.30/77.22 o 146698117 99.52/77.40 o 146686810 99.52/77.41 o 146675501 99.52/77.42 o 146664186 99.52/77.45 o 146664184 100.02/77.98 o 146664183 100.33/78.24 o 146551041 100.33/78.25 o 146551037 100.33/78.25 o 146551026 100.33/78.26 o 146539731 100.33/78.26 o 146539727 100.33/78.26 o 146539716 100.33/78.28 o 146539712 100.33/78.29 o 146528417 100.33/78.29 o 146528413 100.33/78.30 o 146528402 100.43/78.31 o 146528400 100.43/78.32 o 146528396 100.43/78.33 o 146517101 100.43/78.33 o 146517097 100.43/78.33 o 146517092 100.43/78.34 o 146517086 100.43/78.34 o 146517081 100.43/78.35 o 146517077 100.43/78.35 o 146517072 100.43/78.35 o 146517066 100.43/78.36 o 146517064 100.43/78.37 o 146517060 100.43/78.37 o 146505765 100.43/78.38 o 146505761 100.43/78.38 o 146505750 100.43/78.39 o 146505740 100.52/78.41 o 146494445 100.52/78.41 o 146494441 100.52/78.41 o 146494430 100.52/78.43 o 146494428 100.52/78.46 o 146494426 100.52/78.47 o 146494424 100.52/78.48 o 146494420 100.52/78.48 o 146483125 100.52/78.48 o 146483121 100.52/78.49 o 146483116 100.52/78.49 o 146483110 100.62/78.50 o 146483108 100.62/78.52 o 146483105 100.62/78.52 o 146483099 100.62/78.53 o 146483097 100.62/78.54 o 146483095 100.62/78.55 o 146483089 100.62/78.56 o 146483087 100.62/78.57 o 146471796 100.62/78.57 o 146471792 100.62/78.58 o 146471781 100.62/78.58 o 146471779 100.62/78.58 o 146471777 100.62/78.59 o 146460486 100.62/78.59 o 146460482 100.72/78.60 o 146460471 100.72/78.61 o 146460469 100.72/78.62 o 146460467 100.72/78.63 o 146449183 100.72/78.64 o 146449179 100.72/78.64 o 146449174 100.72/78.64 o 146449168 100.72/78.65 o 146449166 100.72/78.67 o 146449163 100.72/78.67 o 146449157 100.72/78.67 o 146449155 100.72/78.69 o 146449151 100.82/78.71 o 146449147 100.82/78.72 o 146437852 100.82/78.72 o 146437848 100.82/78.73 o 146437837 100.82/78.74 o 146437835 100.82/78.75 o 146426542 100.82/78.76 o 146426538 100.82/78.76 o 146426533 100.82/78.76 o 146426527 100.82/78.77 o 146426525 100.93/78.83 o 146415232 100.93/78.84 o 146415228 100.93/78.84 o 146415223 100.93/78.84 o 146415217 100.93/78.85 o 146415215 100.93/78.86 o 146403922 100.93/78.86 o 146403918 100.93/78.87 o 146403913 100.93/78.87 o 146403907 100.93/78.88 o 146403905 100.93/78.89 o 146403903 101.03/78.91 o 146403902 101.03/78.93 o 146403900 101.16/79.00 o 146392605 101.16/79.00 o 146392601 101.16/79.01 o 146392596 101.16/79.01 o 146392590 101.16/79.01 o 146392588 101.16/79.03 o 146381295 101.16/79.03 o 146381291 101.16/79.03 o 146381286 101.16/79.04 o 146381280 101.16/79.04 o 146381279 101.16/79.06 o 146381278 101.16/79.07 o 146369981 101.16/79.08 o 146369980 101.16/79.09 o 146369979 101.26/79.13 o 146369976 101.26/79.13 o 146369972 101.26/79.13 o 146369967 101.26/79.14 o 146369961 101.26/79.14 o 146369960 101.26/79.15 o 146369959 101.26/79.16 o 146358664 101.26/79.17 o 146358663 101.26/79.17 o 146358662 101.26/79.17 o 146358661 101.26/79.17 o 146358660 101.26/79.19 o 146358656 101.26/79.20 o 146358655 101.37/79.21 o 146358654 101.37/79.23 o 146358647 101.37/79.23 o 146358646 101.37/79.23 o 146358645 101.37/79.26 o 146358642 101.37/79.26 o 146358636 101.37/79.27 o 146347337 101.37/79.28 o 146347336 101.37/79.29 o 146347335 101.47/79.32 o 146347334 101.47/79.33 o 146347332 101.47/79.35 o 146347327 101.47/79.35 o 146347325 101.47/79.36 o 146347324 101.47/79.37 o 146347323 101.47/79.39 o 146347316 101.61/79.40 o 146347314 101.61/79.40 o 146347313 101.61/79.41 o 146336015 101.61/79.41 o 146336014 101.61/79.41 o 146336013 101.61/79.48 o 146336010 101.61/79.48 o 146336004 101.61/79.49 o 146336003 101.61/79.49 o 146324705 101.61/79.49 o 146324704 101.71/79.50 o 146324703 101.71/79.53 o 146324702 101.71/79.53 o 146324701 101.71/79.54 o 146324700 101.71/79.56 o 146324693 101.71/79.56 o 146324692 101.71/79.57 o 146324691 101.71/79.59 o 146324682 101.81/79.60 o 146313383 101.81/79.60 o 146313381 101.81/79.64 o 146313380 101.81/79.65 o 146313379 101.81/79.66 o 146313378 101.81/79.67 o 146313377 101.91/79.71 o 146313374 101.91/79.71 o 146313373 101.91/79.72 o 146313372 101.91/79.74 o 146313370 101.91/79.74 o 146313368 101.91/79.75 o 146302075 101.91/79.75 o 146302071 101.91/79.75 o 146302066 101.91/79.76 o 146302060 101.91/79.76 o 146302058 101.91/79.78 o 146290761 101.91/79.79 o 146290760 102.01/79.81 o 146290759 102.01/79.83 o 146290752 102.01/79.84 o 146290748 102.01/79.84 o 146290737 102.01/79.84 o 146290736 102.01/79.86 o 146290735 106.87/84.23 o 146211561 106.87/84.24 o 146200257 106.87/84.28 o 146188947 106.87/84.31 o 146188938 106.97/84.32 o 146177628 106.97/84.36 o 146166307 106.97/84.38 o 146154997 107.06/84.44 o 146154990 107.06/84.46 o 146154988 107.16/84.53 o 146154983 107.16/84.55 o 146154981 107.26/84.61 o 146143700 107.26/84.63 o 146143698 107.26/84.65 o 146143689 107.26/84.68 o 146143682 107.36/84.72 o 146143675 107.36/84.74 o 146143673 107.36/84.79 o 146132381 107.46/84.81 o 146132379 107.46/84.83 o 146132370 107.46/84.88 o 146132368 107.56/84.90 o 146132363 107.56/84.91 o 146132361 107.56/84.97 o 146121073 107.56/84.97 o 146121071 107.56/84.99 o 146121062 107.66/85.02 o 146121053 107.66/85.09 o 146121051 107.76/85.11 o 146121044 107.76/85.13 o 146121042 107.76/85.17 o 146121040 107.76/85.19 o 146121038 107.87/85.22 o 146109739 107.87/85.25 o 146109737 107.87/85.25 o 146109730 107.87/85.27 o 146098438 107.87/85.28 o 146098429 107.87/85.29 o 146098420 107.97/85.32 o 146098418 107.97/85.37 o 146087137 107.97/85.39 o 146087130 108.06/85.41 o 146087121 108.06/85.44 o 146087112 108.06/85.46 o 146087110 109.07/86.45 o 146087056 109.07/86.45 o 146087051 109.07/86.47 o 146087050 109.17/86.52 o 146087049 109.17/86.54 o 146087048 109.17/86.56 o 146087047 109.17/86.57 o 146087045 109.17/86.58 o 146087044 109.17/86.59 o 146087043 109.27/86.62 o 146087039 109.27/86.63 o 146087038 109.27/86.64 o 146087037 109.27/86.65 o 146087036 109.27/86.67 o 146087035 109.27/86.69 o 146087034 109.37/86.70 o 146087033 109.37/86.72 o 146087032 109.37/86.73 o 146087029 109.37/86.74 o 146087028 109.47/86.80 o 146075770 109.47/86.81 o 146075769 109.47/86.83 o 146075765 109.47/86.83 o 146075764 109.47/86.86 o 146075763 109.47/86.87 o 146075762 109.47/86.89 o 146075761 109.57/86.96 o 146064471 109.57/86.97 o 146064470 109.57/86.98 o 146064469 109.67/87.00 o 146064460 109.67/87.01 o 146064457 109.67/87.03 o 146064455 109.67/87.05 o 146064452 109.67/87.09 o 146064451 109.77/87.12 o 146064450 109.77/87.16 o 146064449 109.77/87.17 o 146064448 109.77/87.19 o 146064447 109.88/87.21 o 146064446 109.88/87.23 o 146064445 109.88/87.24 o 146064443 109.88/87.25 o 146064442 109.88/87.30 o 146064438 109.98/87.31 o 146064435 109.98/87.34 o 146064434 109.98/87.35 o 146064433 109.98/87.35 o 146064432 109.98/87.36 o 146064429 109.98/87.37 o 146064428 109.98/87.38 o 146064427 110.07/87.41 o 146064426 110.07/87.44 o 146053124 110.07/87.44 o 146053123 110.07/87.45 o 146053122 110.07/87.46 o 146053119 110.07/87.47 o 146053118 110.07/87.47 o 146053117 110.07/87.48 o 146053116 110.17/87.50 o 146053111 110.17/87.51 o 146053110 110.17/87.52 o 146053109 110.17/87.54 o 146053108 110.27/87.61 o 146053107 110.27/87.61 o 146053106 110.27/87.64 o 146053103 110.27/87.66 o 146053102 110.27/87.67 o 146053101 110.37/87.76 o 146041820 110.37/87.77 o 146041815 110.37/87.78 o 146041814 110.37/87.79 o 146041813 110.47/87.80 o 146041810 110.47/87.81 o 146041809 110.47/87.81 o 146041808 110.47/87.82 o 146041807 110.47/87.83 o 146041806 110.57/87.99 o 146019195 110.67/88.00 o 146007880 112.67/90.09 o 146007876 120.94/97.91 o 146007875 120.94/97.93 o 146007874 120.94/97.98 o 146007873 121.04/98.02 o 146007872 125.83/102.44 o 145985254 125.83/102.45 o 145985251 125.83/102.45 o 145985247 128.85/105.41 o 145985246 128.85/105.47 o 145985245 128.95/105.50 o 145985241 128.95/105.50 o 145985240 129.15/105.78 o 145973939 129.25/105.82 o 145973938 129.25/105.87 o 145973936 129.35/105.93 o 145973933 129.35/105.96 o 145973932 129.45/106.01 o 145973931 129.45/106.08 o 145973926 129.55/106.14 o 145973924 129.66/106.22 o 145973923 130.37/106.99 o 145973910 130.47/107.02 o 145973909 130.47/107.05 o 145973896 130.47/107.06 o 145973895 130.57/107.14 o 145973894 130.78/107.32 o 145973890 130.78/107.33 o 145973889 130.78/107.34 o 145973888 130.97/107.51 o 145973885 130.97/107.53 o 145973884 131.07/107.60 o 145973883 131.07/107.69 o 145962613 131.17/107.70 o 145962612 131.17/107.73 o 145962599 131.17/107.73 o 145962598 131.17/107.75 o 145962596 131.17/107.76 o 145962595 131.17/107.78 o 145962592 131.17/107.79 o 145962591 131.27/107.80 o 145962589 131.27/107.81 o 145962588 131.27/107.84 o 145962584 131.27/107.87 o 145962583 131.37/107.91 o 145962578 131.37/107.93 o 145962577 131.37/107.94 o 145962573 131.37/107.95 o 145962572 131.37/107.98 o 145962571 131.47/108.05 o 145962567 131.47/108.05 o 145962566 131.47/108.09 o 145962565 131.57/108.20 o 145951301 131.68/108.22 o 145951294 131.68/108.23 o 145951293 131.68/108.24 o 145951291 131.68/108.25 o 145951290 131.68/108.27 o 145951289 131.68/108.29 o 145951286 131.77/108.31 o 145951285 131.77/108.33 o 145951282 131.77/108.34 o 145951281 131.77/108.37 o 145951280 131.77/108.39 o 145951276 131.87/108.40 o 145951275 131.87/108.40 o 145951271 131.97/108.59 o 145951269 133.29/109.44 o 145951266 133.29/109.45 o 145951265 133.29/109.49 o 145951264 133.29/109.49 o 145951263 133.39/109.55 o 145951262 133.39/109.56 o 145951261 133.39/109.59 o 145951258 133.49/109.62 o 145951257 133.49/109.66 o 145951256 133.59/109.74 o 145951255 133.59/109.76 o 145951252 133.59/109.77 o 145951251 133.59/109.79 o 145951250 133.69/109.88 o 145951249 133.69/109.88 o 145951248 133.69/109.89 o 145951247 133.79/109.94 o 145951246 133.79/109.95 o 145951243 133.79/109.96 o 145951242 133.89/110.00 o 145951241 133.89/110.09 o 145951240 133.99/110.10 o 145951239 134.10/110.22 o 145951238 134.10/110.22 o 145951236 134.10/110.25 o 145951235 134.10/110.26 o 145951234 134.10/110.28 o 145951233 135.20/111.37 o 145951231 135.20/111.37 o 145951230 135.20/111.39 o 145951228 135.29/111.40 o 145951227 135.29/111.42 o 145951226 135.29/111.48 o 145951225 135.29/111.49 o 145951224 135.39/111.53 o 145951223 135.39/111.54 o 145951222 135.39/111.55 o 145951219 135.39/111.55 o 145951218 135.39/111.55 o 145951217 135.39/111.56 o 145939925 135.39/111.56 o 145939921 135.39/111.57 o 145939920 135.39/111.57 o 145939919 135.39/111.58 o 145939915 135.39/111.60 o 145939914 135.49/111.64 o 145939913 135.79/111.93 o 145928603 135.79/111.95 o 145928602 135.79/111.96 o 145917292 135.79/111.98 o 145917275 135.79/111.99 o 145905965 135.89/112.00 o 145905964 135.89/112.00 o 145894654 135.89/112.05 o 145894652 136.91/113.08 o 145883381 137.01/113.10 o 145883377 137.01/113.10 o 145883376 137.01/113.12 o 145883372 137.01/113.12 o 145883371 137.31/113.48 o 145883369 137.31/113.48 o 145883366 137.31/113.48 o 145883361 137.41/113.57 o 145872084 137.41/113.57 o 145872079 137.41/113.58 o 145872076 137.41/113.58 o 145872071 137.41/113.59 o 145872067 137.51/113.60 o 145872066 137.51/113.60 o 145872061 137.51/113.62 o 145872056 137.51/113.64 o 145872054 137.51/113.66 o 145872052 137.51/113.66 o 145872049 137.51/113.67 o 145872044 137.91/114.08 o 145860761 137.91/114.08 o 145860760 137.91/114.09 o 145860755 138.01/114.10 o 145860750 138.01/114.12 o 145860746 138.01/114.13 o 145860745 138.01/114.13 o 145860741 138.01/114.13 o 145860740 138.59/114.57 o 145849445 138.59/114.57 o 145849440 139.70/115.63 o 145838155 139.70/115.65 o 145838148 139.70/115.67 o 145838147 139.70/115.70 o 145838146 139.81/115.74 o 145838141 139.81/115.76 o 145838140 139.91/115.80 o 145838136 139.91/115.81 o 145838135 139.91/115.88 o 145838132 140.01/115.90 o 145838131 140.01/115.93 o 145838128 140.01/115.96 o 145838127 140.11/116.06 o 145826845 140.11/116.10 o 145826844 140.21/116.13 o 145826843 140.21/116.17 o 145826838 140.21/116.20 o 145826837 140.32/116.24 o 145826831 140.32/116.26 o 145826830 140.32/116.29 o 145826829 140.42/116.31 o 145826824 140.42/116.34 o 145826823 140.51/116.40 o 145826817 140.51/116.46 o 145826816 140.61/116.53 o 145826815 140.61/116.55 o 145826814 140.61/116.57 o 145826810 140.61/116.59 o 145826809 140.71/116.62 o 145826808 140.91/116.86 o 145815511 140.91/116.89 o 145815504 141.01/116.97 o 145815503 141.11/117.00 o 145815498 141.21/117.12 o 145804214 141.21/117.14 o 145804207 141.21/117.17 o 145804200 146.91/122.40 o 145804193 146.91/122.40 o 145804192 146.91/122.43 o 145804184 146.91/122.44 o 145804183 147.01/122.57 o 145804182 147.21/122.72 o 145792884 147.21/122.77 o 145792880 147.31/122.83 o 145792873 147.31/122.87 o 145792871 149.01/124.51 o 145792868 149.01/124.56 o 145792866 149.11/124.61 o 145792865 149.11/124.64 o 145792864 149.11/124.69 o 145792861 149.21/124.70 o 145792859 149.21/124.73 o 145792858 153.86/128.94 o 145792849 153.86/128.95 o 145792848 153.86/128.99 o 145792847 153.96/129.03 o 145792846 154.06/129.19 o 145792840 154.17/129.21 o 145792839 154.17/129.24 o 145792838 154.27/129.32 o 145792837 156.67/131.73 o 145792836 156.77/131.83 o 145792835 156.87/131.98 o 145792834 157.07/132.11 o 145792833 157.18/132.27 o 145792832 157.37/132.42 o 145792831 157.47/132.55 o 145792830 157.57/132.66 o 145792829 157.67/132.79 o 145792827 157.77/132.83 o 145792825 157.87/132.93 o 145792823 157.97/133.05 o 145792822 158.07/133.17 o 145792821 160.50/135.14 o 145792817 163.11/137.76 o 145792816 163.11/137.76 o 145792815 163.21/137.81 o 145781508 163.21/137.82 o 145781507 163.21/137.84 o 145781506 163.21/137.85 o 145781505 163.31/137.96 o 145781504 163.72/138.34 o 145781503 164.11/138.78 o 145770198 164.21/138.81 o 145770194 164.21/138.83 o 145770193 166.01/140.64 o 145758891 166.01/140.68 o 145758890 166.01/140.69 o 145758889 166.11/140.77 o 145758887 166.21/140.80 o 145758886 166.21/140.80 o 145758885 167.45/142.09 o 145747565 167.55/142.11 o 145747564 167.66/142.30 o 145747557 169.87/144.07 o 145747555 169.87/144.09 o 145747553 169.97/144.15 o 145747546 170.08/144.21 o 145747543 170.08/144.21 o 145747536 170.08/144.21 o 145747534 170.18/144.38 o 145747528 170.18/144.39 o 145747526 171.28/145.47 o 145736214 171.28/145.49 o 145724904 171.38/145.51 o 145713594 171.89/146.03 o 145713591 171.89/146.05 o 145713589 171.89/146.08 o 145713587 171.99/146.11 o 145713586 171.99/146.12 o 145713585 171.99/146.13 o 145713583 172.79/146.93 o 145713576 172.79/147.00 o 145713574 172.99/147.11 o 145702264 173.10/147.23 o 145702263 178.70/152.21 o 145702256 178.70/152.24 o 145702255 178.89/152.45 o 145702254 178.89/152.49 o 145690944 178.89/152.49 o 145690943 179.19/152.72 o 145679634 180.10/153.65 o 145679632 180.20/153.77 o 145679631 180.30/153.86 o 145679630 180.40/153.95 o 145679629 180.40/153.98 o 145679628 180.50/154.01 o 145679627 180.60/154.21 o 145679626 180.71/154.24 o 145679625 180.71/154.26 o 145679624 180.71/154.30 o 145679623 180.90/154.41 o 145679622 180.90/154.47 o 145679621 181.00/154.56 o 145679620 181.10/154.64 o 145679619 181.10/154.67 o 145679618 181.20/154.71 o 145679617 181.30/154.89 o 145679616 181.40/154.93 o 145679615 181.60/155.11 o 145679614 181.60/155.15 o 145679613 181.71/155.21 o 145679612 181.81/155.37 o 145679611 182.10/155.69 o 145679608 182.30/155.87 o 145679604 182.30/155.88 o 145679603 182.52/156.06 o 145679594 182.52/156.07 o 145668284 182.73/156.22 o 145668283 182.73/156.24 o 145656980 182.73/156.25 o 145656972 184.46/157.98 o 145645664 184.46/157.99 o 145645658 184.56/158.00 o 145645650 185.46/158.92 o 145623031 185.46/158.99 o 145611720 186.46/159.91 o 145611719 188.28/161.37 o 145611710 188.28/161.38 o 145611709 188.28/161.38 o 145611708 188.37/161.43 o 145600411 188.37/161.45 o 145600401 188.37/161.47 o 145600400 188.57/161.63 o 145600399 189.28/162.35 o 145600398 190.41/163.48 o 145600394 190.41/163.50 o 145600393 190.51/163.52 o 145600391 190.51/163.53 o 145600390 190.51/163.58 o 145589092 190.51/163.58 o 145589089 191.73/164.79 o 145589088 192.73/165.77 o 145577780 192.73/165.78 o 145577777 194.13/167.18 o 145577776 194.24/167.22 o 145577775 195.64/168.65 o 145566526 195.64/168.68 o 145566523 195.64/168.68 o 145566522 196.96/169.54 o 145566520 196.96/169.57 o 145566513 197.06/169.60 o 145566510 197.67/170.27 o 145555214 197.77/170.37 o 145555210 198.16/170.76 o 145555203 198.16/170.78 o 145555201 198.37/170.95 o 145555195 198.37/170.97 o 145543877 199.19/171.79 o 145543876 199.70/172.28 o 145543875 199.70/172.30 o 145543871 199.80/172.31 o 145543868 200.86/173.36 o 145543866 200.86/173.36 o 145543858 201.35/173.83 o 145543857 201.90/174.34 o 145532578 201.90/174.34 o 145532572 201.90/174.34 o 145532565 201.90/174.34 o 145532559 201.90/174.34 o 145532556 201.99/174.46 o 145532555 201.99/174.46 o 145532552 202.09/174.57 o 145532551 202.19/174.68 o 145532546 202.29/174.70 o 145532539 202.29/174.72 o 145532533 202.29/174.74 o 145532532 202.29/174.74 o 145532529 202.29/174.74 o 145532525 202.29/174.74 o 145532519 202.29/174.74 o 145532516 202.29/174.75 o 145521233 202.29/174.75 o 145521220 202.29/174.76 o 145521214 202.59/175.05 o 145521213 202.59/175.05 o 145521212 202.69/175.13 o 145509904 202.90/175.31 o 145498603 202.90/175.34 o 145498600 202.90/175.34 o 145498599 202.90/175.38 o 145498594 202.90/175.38 o 145498593 203.09/175.51 o 145498579 203.09/175.53 o 145498578 203.19/175.67 o 145487274 203.19/175.69 o 145487273 206.32/178.34 o 145476017 206.32/178.38 o 145476014 206.41/178.41 o 145476012 206.41/178.43 o 145476004 206.41/178.48 o 145476002 206.51/178.50 o 145475999 206.61/178.60 o 145475998 206.61/178.64 o 145475997 206.61/178.68 o 145475996 206.71/178.71 o 145475993 206.81/178.83 o 145475992 206.81/178.86 o 145475991 206.91/178.95 o 145475984 206.91/178.99 o 145475983 207.01/179.01 o 145475982 207.01/179.05 o 145475981 207.01/179.08 o 145475980 207.01/179.09 o 145475978 207.11/179.17 o 145464689 207.11/179.17 o 145464679 207.11/179.19 o 145464678 207.22/179.23 o 145464677 207.22/179.23 o 145464674 207.22/179.27 o 145464672 207.32/179.36 o 145464671 207.32/179.36 o 145464670 207.71/179.70 o 145453359 207.71/179.74 o 145442041 207.71/179.76 o 145430732 209.34/181.31 o 145430699 209.34/181.32 o 145430690 209.34/181.33 o 145430689 209.34/181.34 o 145430681 209.34/181.36 o 145430680 209.34/181.37 o 145430676 209.43/181.40 o 145430673 209.43/181.40 o 145430672 209.43/181.41 o 145430669 209.43/181.42 o 145430668 209.43/181.48 o 145430664 209.53/181.50 o 145430660 209.53/181.51 o 145430656 209.63/181.65 o 145430655 209.63/181.65 o 145430651 209.63/181.65 o 145430650 211.83/183.89 o 145430648 211.93/183.93 o 145430646 212.43/184.42 o 145419472 212.43/184.42 o 145419466 212.43/184.42 o 145419462 212.43/184.42 o 145419456 212.43/184.43 o 145419454 212.43/184.44 o 145419448 212.43/184.47 o 145419445 212.53/184.52 o 145419441 212.53/184.53 o 145419440 212.83/184.82 o 145374213 212.83/184.84 o 145374211 212.83/184.84 o 145374210 212.83/184.85 o 145374209 212.83/184.85 o 145374208 212.83/184.86 o 145374200 212.83/184.86 o 145374196 212.83/184.87 o 145374195 212.83/184.87 o 145374189 212.83/184.88 o 145374187 212.93/184.90 o 145374185 212.93/184.92 o 145362881 212.93/184.94 o 145362879 212.93/184.96 o 145362878 212.93/184.96 o 145362877 212.93/184.97 o 145362876 212.93/184.97 o 145362868 212.93/184.98 o 145362864 212.93/184.98 o 145362863 212.93/184.98 o 145362857 212.93/184.98 o 145362855 213.03/185.00 o 145362853 213.03/185.05 o 145351525 213.03/185.07 o 145351523 213.03/185.07 o 145351521 213.13/185.13 o 145351520 213.13/185.17 o 145340232 213.13/185.18 o 145340230 213.13/185.19 o 145340228 213.24/185.30 o 145328925 213.34/185.31 o 145328923 213.34/185.33 o 145328922 213.34/185.37 o 145328921 213.43/185.40 o 145328920 213.43/185.41 o 145328912 213.77/185.55 o 145328908 213.77/185.55 o 145328901 213.77/185.56 o 145328899 213.77/185.58 o 145328898 213.77/185.59 o 145328897 214.00/185.61 o 145328896 214.00/185.64 o 145317611 214.00/185.64 o 145317609 214.00/185.65 o 145317589 214.00/185.66 o 145317587 214.00/185.69 o 145317585 214.20/185.83 o 145306298 214.20/185.83 o 145306297 214.20/185.85 o 145306296 214.20/185.86 o 145306287 214.20/185.87 o 145306282 214.20/185.88 o 145306276 214.30/185.90 o 145306275 214.30/185.91 o 145306273 214.40/186.01 o 145306272 214.40/186.02 o 145306271 214.40/186.09 o 145306270 214.40/186.09 o 145306269 214.50/186.15 o 145306268 214.50/186.16 o 145306267 214.71/186.32 o 145294999 214.71/186.32 o 145294998 214.71/186.32 o 145294980 214.71/186.32 o 145294979 214.71/186.33 o 145294978 214.71/186.33 o 145294977 214.71/186.36 o 145294969 214.71/186.37 o 145294965 214.71/186.37 o 145294958 214.71/186.38 o 145294957 214.71/186.38 o 145294956 214.71/186.38 o 145294955 214.80/186.40 o 145294954 214.80/186.41 o 145294953 215.10/186.73 o 145294951 215.10/186.76 o 145294950 215.30/186.97 o 145294949 215.40/187.03 o 145294948 215.40/187.09 o 145294946 215.50/187.17 o 145294945 215.61/187.26 o 145294944 215.90/187.52 o 145294942 215.90/187.56 o 145294941 216.00/187.63 o 145294940 216.00/187.69 o 145294939 216.10/187.77 o 145294936 216.20/187.82 o 145294934 216.20/187.88 o 145294933 216.30/187.98 o 145294932 216.40/188.07 o 145294929 216.50/188.11 o 145294927 216.50/188.16 o 145294926 216.61/188.25 o 145294925 217.80/189.42 o 145283606 217.80/189.42 o 145283605 217.80/189.43 o 145283600 217.80/189.44 o 145283599 218.71/190.38 o 145272285 218.80/190.40 o 145272279 219.90/191.57 o 145272278 220.00/191.60 o 145272277 220.00/191.62 o 145272276 220.00/191.63 o 145272275 220.00/191.64 o 145272274 220.00/191.66 o 145272273 220.00/191.66 o 145272272 220.00/191.66 o 145272271 220.00/191.68 o 145272270 220.00/191.69 o 145272269 220.10/191.71 o 145272268 220.10/191.72 o 145272267 220.10/191.72 o 145272266 220.10/191.73 o 145272265 220.10/191.74 o 145272264 220.10/191.74 o 145272263 220.10/191.74 o 145272262 220.10/191.77 o 145272261 220.30/191.92 o 145272259 220.30/191.95 o 145272253 220.30/191.97 o 145272250 220.30/192.00 o 145272247 220.40/192.02 o 145272246 220.40/192.04 o 145272245 220.61/192.24 o 145272243 220.61/192.25 o 145272240 220.61/192.27 o 145272238 220.61/192.27 o 145272235 220.61/192.27 o 145272234 220.61/192.29 o 145272233 220.61/192.30 o 145272232 220.80/192.42 o 145272231 220.80/192.42 o 145272230 220.80/192.42 o 145272229 220.80/192.44 o 145272228 220.80/192.46 o 145272227 220.80/192.46 o 145272226 221.01/192.66 o 145272224 221.01/192.67 o 145272218 221.01/192.70 o 145272213 221.11/192.70 o 145272209 221.11/192.70 o 145272206 221.76/193.32 o 145272200 222.08/193.48 o 145272195 222.08/193.49 o 145272194 222.41/193.51 o 145272189 222.41/193.52 o 145272188 222.41/193.53 o 145272186 222.41/193.54 o 145272185 222.41/193.57 o 145272183 222.41/193.58 o 145272182 222.51/193.61 o 145272180 222.51/193.62 o 145272179 222.82/193.93 o 145272178 222.82/193.96 o 145272176 222.82/193.97 o 145272175 223.02/194.13 o 145272174 223.02/194.15 o 145272173 223.83/194.91 o 145272166 223.83/194.93 o 145272163 224.73/195.83 o 145272162 224.73/195.85 o 145272158 225.73/196.80 o 145272157 225.73/196.87 o 145272156 225.83/196.90 o 145272155 225.83/196.93 o 145272154 225.83/196.97 o 145272153 225.93/197.01 o 145272152 225.93/197.04 o 145272151 225.93/197.08 o 145272150 226.03/197.11 o 145272149 226.03/197.16 o 145272148 226.13/197.27 o 145272147 226.13/197.30 o 145272146 226.24/197.33 o 145272145 226.24/197.35 o 145272144 226.33/197.42 o 145272143 226.33/197.45 o 145272142 226.43/197.51 o 145272141 226.43/197.55 o 145272140 226.43/197.59 o 145272139 226.53/197.62 o 145272138 226.63/197.76 o 145272137 226.83/197.93 o 145272136 226.83/197.97 o 145272135 226.93/198.00 o 145272134 226.93/198.04 o 145272133 227.14/198.23 o 145272130 227.76/198.75 o 145272126 227.76/198.78 o 145272124 227.86/198.84 o 145272123 227.86/198.85 o 145272121 228.06/199.06 o 145260814 229.19/200.11 o 145260813 229.40/200.32 o 145260812 229.40/200.34 o 145260810 229.40/200.35 o 145260809 229.40/200.37 o 145260808 229.49/200.43 o 145260807 229.69/200.65 o 145260806 230.19/201.15 o 145260794 230.19/201.17 o 145260792 230.19/201.20 o 145260791 230.31/201.21 o 145260789 230.31/201.24 o 145249493 230.31/201.24 o 145249490 230.31/201.27 o 145249487 231.16/201.60 o 145249483 231.16/201.62 o 145249481 231.16/201.64 o 145249477 231.16/201.65 o 145249471 233.27/203.74 o 145249468 233.27/203.76 o 145249467 233.27/203.77 o 145249466 235.77/206.16 o 145249465 236.77/207.15 o 145238161 243.71/213.60 o 145238151 243.91/213.83 o 145226832 244.32/214.28 o 145226829 244.42/214.36 o 145226828 244.51/214.48 o 145226827 244.61/214.57 o 145226826 249.31/218.82 o 145215582 249.31/218.82 o 145215574 249.31/218.85 o 145215569 249.31/218.87 o 145215568 249.31/218.88 o 145215563 249.31/218.89 o 145215560 249.41/218.95 o 145215559 249.41/218.96 o 145215554 249.41/218.97 o 145215553 249.41/218.97 o 145215548 249.41/218.99 o 145215545 249.61/219.12 o 145215544 249.72/219.24 o 145204254 249.72/219.24 o 145204246 249.72/219.26 o 145204240 249.72/219.28 o 145204237 249.91/219.43 o 145204236 249.91/219.45 o 145204231 249.91/219.47 o 145204228 250.11/219.61 o 145192938 250.11/219.61 o 145192930 250.11/219.62 o 145192927 250.11/219.62 o 145192924 250.11/219.62 o 145192921 250.11/219.62 o 145192919 250.11/219.62 o 145192916 250.21/219.71 o 145192914 250.21/219.74 o 145192911 250.31/219.87 o 145192909 250.41/219.90 o 145192906 250.41/219.97 o 145181623 250.41/219.97 o 145181615 250.41/219.97 o 145181609 250.41/219.99 o 145181604 250.41/219.99 o 145181601 250.61/220.10 o 145181599 250.61/220.12 o 145181596 252.03/221.50 s SATISFIABLE 252.03/221.51 v <instantiation> 252.03/221.51 v <list> 252.03/221.51 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] 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] 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] 252.03/221.51 v </list> 252.03/221.51 v <values> 252.03/221.51 v 2496 2360 2640 2480 2624 2376 2548 2440 2280 2512 2312 2536 2388 2468 2376 2568 2488 2532 2528 2364 2440 2512 2504 2472 2540 2400 2548 2364 2520 2464 2500 2464 2528 2460 2504 2532 2440 2324 2400 2396 2584 2428 2528 2440 2488 2220 2352 2384 2464 2416 2864 2544 2432 2916 2516 2436 2576 2496 2504 2480 2516 2376 2508 2572 2492 2524 2512 2584 2492 2368 2632 2468 2440 2516 2616 2476 2676 2336 2516 2452 2432 2716 2220 2416 2548 2504 2568 2440 2380 2392 2480 2328 2516 2504 2560 2556 2484 2444 2672 2312 2544 2360 2400 2688 2528 2564 2564 2344 2456 2456 2412 2696 2596 2560 2416 2332 2376 2584 2528 2336 2472 2408 2260 2520 2476 2508 2432 2424 2416 2392 2508 2444 2556 2320 2472 2352 2480 2448 2456 2460 2372 2440 2460 2596 2592 2400 2600 2492 2340 2324 2504 2376 2404 2468 2300 2560 2392 2428 2472 2532 2348 2404 2552 2568 2648 2852 2432 2876 2488 2268 2624 2824 2548 2376 2492 2420 2524 2500 2556 2392 2476 2456 2440 2400 2440 2452 2388 2340 2228 2716 2648 2536 2440 2448 2584 2676 2508 2472 2392 2484 2552 2480 2352 2680 2444 2452 2512 2500 2320 2352 2532 2588 2864 2464 2508 2472 2688 2520 2412 2544 2428 2348 2388 2464 2436 2496 2624 2496 2516 2336 2480 2736 2396 2496 2480 2432 2904 2456 2476 2532 2492 2352 2496 2556 2492 2452 2260 2388 2812 2524 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 11 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 9 0 9 10 0 10 9 6 10 10 2 10 10 10 0 7 10 10 10 5 10 10 10 10 10 10 10 2 0 10 9 10 8 10 10 6 2 10 10 1 10 10 10 6 10 10 10 0 10 10 10 1 10 10 2 10 10 9 10 2 10 0 10 0 10 10 10 10 9 10 10 10 9 10 10 1 10 10 10 7 1 0 10 10 5 10 10 10 10 8 0 10 10 1 10 3 0 10 7 10 10 0 10 10 8 10 8 7 10 1 9 10 10 10 10 10 10 10 0 10 9 10 2 0 10 10 0 10 1 3 1 9 10 10 8 10 4 10 10 0 0 0 10 0 10 10 10 10 10 10 10 10 7 10 1 10 10 10 7 1 9 10 0 6 6 10 0 3 10 10 7 10 3 10 4 10 0 10 10 10 10 10 1 10 10 10 0 10 0 10 10 1 0 10 0 10 0 10 10 1 10 6 10 10 9 5 10 10 0 10 4 0 10 0 8 10 0 5 1 10 0 10 10 10 10 0 5 10 5 0 10 0 0 0 10 7 0 0 7 6 0 8 1 10 10 0 0 0 10 0 10 1 0 10 10 0 9 10 10 3 9 0 0 10 10 10 8 5 10 0 0 0 10 0 5 3 10 10 1 10 0 0 10 10 10 10 1 1 0 0 0 10 10 1 10 6 10 0 10 10 0 10 10 1 10 1 0 0 0 2 1 0 0 10 6 9 5 10 10 2 0 7 0 0 0 0 0 10 10 10 8 10 1 4 10 1 0 0 10 10 0 0 10 0 0 9 0 0 0 1 0 10 10 1 0 9 7 1 10 10 0 0 10 10 9 2 8 4 10 0 10 10 10 0 0 10 10 0 10 0 0 10 10 9 3 0 6 1 0 9 0 10 0 8 8 0 9 0 10 1 0 10 3 0 7 6 10 3 9 10 1 0 1 0 10 0 10 5 6 10 1 0 10 10 10 10 1 1 0 0 10 1 0 10 10 10 10 10 0 10 9 10 0 10 0 10 10 7 0 0 0 0 0 10 10 1 10 10 8 0 10 10 10 10 9 0 10 10 0 10 10 0 10 10 7 6 10 10 0 0 1 1 1 10 0 0 5 1 9 6 10 1 0 10 0 0 10 10 1 10 10 10 5 0 9 10 9 0 0 10 5 10 10 6 10 10 1 0 10 0 10 10 0 0 10 6 8 1 10 10 0 1 0 0 8 0 10 1 3 10 7 10 1 10 0 9 0 0 0 10 9 6 0 7 0 9 9 0 10 0 0 8 0 10 9 10 10 10 10 10 5 1 10 10 0 0 1 10 0 10 10 1 0 0 0 0 1 0 0 10 0 8 0 10 0 10 0 1 10 10 1 10 9 10 10 10 10 10 0 1 0 0 10 10 1 10 0 10 10 7 0 0 5 10 0 0 0 10 0 6 10 10 0 10 0 0 6 0 0 1 10 0 10 10 10 4 10 0 0 3 1 0 10 10 10 0 0 2 7 3 0 10 10 10 2 9 10 6 10 1 9 1 0 10 10 0 0 0 7 7 10 0 10 10 8 10 1 10 0 10 0 10 10 0 10 0 10 10 10 0 0 0 10 0 8 0 10 10 10 0 4 10 1 10 0 10 0 0 10 9 10 0 10 10 0 9 9 0 10 10 2 0 10 9 7 0 0 10 0 10 10 10 10 10 0 10 10 10 7 10 1 10 6 10 6 10 10 10 0 10 10 10 10 10 0 1 0 10 10 10 0 6 3 10 10 10 10 10 0 10 10 0 10 10 0 10 8 0 9 0 0 10 0 10 10 0 0 10 10 0 10 10 0 10 8 10 10 0 10 0 3 10 0 10 5 1 10 0 0 10 0 0 0 10 8 0 9 8 10 0 0 10 0 0 0 0 0 0 9 4 10 3 5 10 10 0 7 0 1 0 10 1 1 2 1 10 10 0 7 10 0 5 10 10 0 0 0 0 0 10 10 0 8 9 0 10 10 0 10 0 0 10 10 4 0 10 10 9 2 10 0 1 8 3 0 0 0 10 0 0 2 4 10 10 6 0 10 10 0 4 10 10 10 0 7 0 10 10 10 10 10 0 8 10 10 0 10 0 0 0 10 10 10 10 6 0 0 0 10 10 0 10 6 0 4 4 0 0 1 10 0 0 10 8 0 10 5 0 10 3 0 10 10 0 8 0 6 10 4 0 10 1 0 0 5 8 10 10 10 9 8 7 0 1 10 10 0 3 0 0 10 10 9 10 10 10 10 10 1 0 10 10 10 10 0 8 0 0 0 1 10 9 10 0 0 0 8 7 10 10 0 10 3 10 10 10 0 10 0 9 9 10 10 9 8 4 10 0 0 10 0 10 10 10 0 10 10 4 10 5 10 10 0 1 0 0 0 0 10 10 0 10 10 0 10 10 10 0 10 10 3 0 10 0 0 0 10 10 10 10 1 0 9 10 10 0 10 0 10 0 0 0 9 10 10 10 9 10 10 0 6 0 4 7 0 10 0 0 1 0 9 0 10 0 10 8 0 0 0 0 6 10 1 10 0 9 1 0 10 6 0 8 32 0 84 16 96 76 28 104 0 84 0 28 40 44 172 28 328 120 124 164 72 8 132 132 252 8 40 64 40 56 32 20 24 40 56 92 48 396 112 8 140 320 300 68 132 196 64 52 32 64 36 60 116 40 164 204 44 16 148 72 292 184 84 104 392 16 148 604 28 312 368 552 76 152 36 12 192 60 144 52 56 148 476 116 52 60 116 172 12 140 52 104 32 40 12 148 12 92 92 356 52 12 8 84 220 28 172 100 312 248 244 348 192 180 24 12 8 36 32 72 112 32 336 48 32 68 100 24 52 92 132 140 100 112 140 36 164 88 104 12 148 168 140 300 148 36 140 144 120 4 80 40 64 12 24 424 64 0 64 120 80 24 8 116 84 76 136 12 144 48 212 312 72 40 8 36 40 72 8 0 24 180 44 8 32 8 72 20 4 48 16 20 40 160 112 4 196 104 88 108 196 152 172 100 96 56 104 208 8 152 28 324 80 24 24 220 144 88 300 28 132 68 104 168 36 68 88 96 8 96 88 8 360 24 88 144 56 348 32 104 72 64 20 124 24 44 44 324 60 20 32 48 40 52 44 16 64 72 28 204 112 56 180 48 456 256 84 236 164 144 8 20 96 52 8 84 12 76 76 12 24 104 4 28 0 124 36 16 8 20 16 12 32 4 8 52 392 104 12 148 272 168 56 188 172 96 112 64 164 12 80 108 96 92 32 84 20 128 28 148 164 20 428 80 68 16 28 36 40 8 52 52 96 188 28 132 28 124 48 384 44 28 24 28 128 28 64 24 56 8 24 16 28 136 8 96 56 60 68 412 328 224 92 308 344 112 404 260 168 196 92 532 48 88 32 164 80 48 4 24 12 100 32 16 4 8 12 68 28 88 92 16 0 112 104 0 176 436 76 360 536 464 448 448 12 468 104 68 84 72 104 92 112 12 52 80 84 20 76 8 32 40 0 92 64 352 540 616 516 328 52 452 40 180 12 52 44 60 68 108 124 4 116 84 136 72 176 160 56 160 116 104 140 80 60 180 8 84 56 104 64 36 0 4 64 176 0 56 20 24 88 32 8 44 112 24 40 72 4 332 112 44 32 172 104 128 128 148 8 240 448 144 104 100 180 4 24 108 20 84 344 16 36 72 12 112 104 24 164 180 144 72 128 20 24 16 12 52 100 32 224 4 0 92 148 68 300 84 28 44 48 96 4 72 80 28 224 120 88 16 36 148 84 232 192 156 12 248 88 88 152 444 44 372 292 308 204 160 188 44 244 28 16 96 12 36 20 12 28 36 16 36 8 20 32 0 12 44 8 64 164 40 72 208 96 196 96 84 4 28 12 100 24 356 208 76 12 12 48 88 164 112 24 20 4 20 12 0 84 20 40 284 52 124 76 136 112 76 112 272 264 80 132 8 68 12 80 36 124 172 172 160 104 52 92 4 128 20 8 196 36 0 308 12 112 64 120 88 24 20 152 412 52 32 4 56 76 44 12 44 112 244 120 80 16 92 20 104 60 104 168 40 68 144 156 72 200 192 88 132 264 164 188 408 36 76 124 40 124 128 164 20 24 32 12 108 76 160 144 32 292 244 180 68 328 28 296 68 36 368 136 88 112 176 36 236 420 108 268 280 24 224 196 168 88 16 168 104 68 268 204 336 28 28 68 120 16 452 92 36 116 356 132 312 12 60 32 128 148 60 108 88 132 140 116 92 124 72 176 172 8 212 148 280 4 372 188 120 20 32 4 16 16 4 16 24 76 36 80 0 16 24 20 356 28 12 8 80 72 140 212 196 124 248 260 264 40 80 104 44 176 28 56 20 344 132 80 56 120 192 80 176 144 436 96 264 76 172 104 64 324 36 92 12 132 84 56 148 16 16 100 132 176 64 12 120 52 280 44 144 604 236 220 104 60 72 332 28 24 4 52 16 4 20 60 56 16 4 44 8 120 280 36 80 8 80 28 24 104 80 24 20 28 112 44 56 100 20 324 512 104 68 76 88 16 68 124 32 12 12 32 56 100 96 116 24 76 52 552 88 48 168 8 4 88 16 84 44 368 16 64 20 12 20 8 72 144 364 48 84 48 104 132 392 12 56 104 296 120 208 120 12 64 144 100 240 156 96 8 32 124 8 96 92 96 224 172 152 120 92 16 244 160 308 176 232 68 28 48 152 8 156 24 12 148 76 276 128 140 24 28 4 12 436 224 80 40 0 100 160 88 12 16 32 64 40 60 20 180 80 236 96 104 244 120 36 216 16 88 112 360 416 356 336 456 60 464 616 160 12 8 212 92 272 304 344 348 4 200 96 24 488 180 20 56 24 104 28 76 112 28 32 108 36 80 328 24 256 256 36 28 112 32 128 4 16 76 112 108 96 32 8 92 20 20 40 476 76 120 112 124 92 124 36 272 220 4 44 28 180 24 36 60 104 40 120 248 320 188 340 220 356 0 180 120 16 60 40 60 52 104 56 76 260 20 108 64 128 32 0 20 112 176 164 88 164 4 312 236 184 52 436 528 36 12 12 24 84 16 168 52 60 40 128 172 100 120 180 552 40 252.03/221.51 v </values> 252.03/221.51 v </instantiation>
OK 145181596
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 (4202 MiB free)
memory of node 1: 16384 MiB (9805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310582-1534330716/watcher-4310582-1534330716 -o /tmp/evaluation-result-4310582-1534330716/solver-4310582-1534330716 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20538 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 105696461 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310582-1534330716.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21789, runsolver pid=21786
[startup+0.100098 s]*
/proc/loadavg: 2.23 1.94 1.73 4/215 21804
/proc/meminfo: memFree=14326788/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14082736 memory=32612 CPUtime=0.11 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 7115 0 0 0 10 1 0 0 20 0 15 0 250634799 14420721664 8153 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3520684 8153 3135 1 0 3482761 0
[pid=21789/tid=21791] ppid=21786 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 5171 0 0 0 8 1 0 0 20 0 15 0 250634800 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939881831544 139939877643421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14082736 memory=5793855521689524665 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939351049888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939349996784 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0.01 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) R 21786 21789 20506 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939345784040 139939856552024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 8153 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32612 KiB
[startup+0.21364 s]*
/proc/loadavg: 2.23 1.94 1.73 6/215 21804
/proc/meminfo: memFree=14310788/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14082736 memory=47292 CPUtime=0.32 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 10399 0 0 0 30 2 0 0 20 0 15 0 250634799 14420721664 11823 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3520684 11823 3412 1 0 3482761 0
[pid=21789/tid=21791] ppid=21786 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 8076 0 0 0 19 1 0 0 20 0 15 0 250634800 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939881851312 139939513758053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14082736 memory=4211973996884422026 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939351049888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939349996784 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0.06 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) R 21786 21789 20506 0 -1 4202560 321 0 0 0 6 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939345786864 139939877633430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 11823 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47292 KiB
[startup+0.310414 s]*
/proc/loadavg: 2.23 1.94 1.73 3/215 21804
/proc/meminfo: memFree=14307624/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14082736 memory=50772 CPUtime=0.44 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 10743 0 0 0 41 3 0 0 20 0 15 0 250634799 14420721664 12693 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3520684 12693 3417 1 0 3482761 0
[pid=21789/tid=21791] ppid=21786 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 8404 0 0 0 28 2 0 0 20 0 15 0 250634800 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939881783232 139939861701982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14082736 memory=4211973996884422026 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14082736 memory=140270679633848 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14082736 memory=140270545009164 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14082736 memory=140270544997839 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250634800 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14082736 memory=140270679652020 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14082736 memory=140270545007023 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939351049888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14082736 memory=280541090004880 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250634802 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939349996784 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14082736 memory=280541090002576 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) R 21786 21789 20506 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0.08 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 336 0 0 0 8 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14082736 memory=140270679631488 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634805 14420721664 12693 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50772 KiB
[startup+0.700749 s]
/proc/loadavg: 2.23 1.94 1.73 3/215 21804
/proc/meminfo: memFree=14282696/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14084804 memory=88776 CPUtime=1 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 17618 0 0 0 95 5 0 0 20 0 15 0 250634799 14422839296 22194 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3521201 22194 3498 1 0 3483273 0
[pid=21789/tid=21791] ppid=21786 vsize=14084804 memory=876 CPUtime=0.68 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 14853 0 0 0 64 4 0 0 20 0 15 0 250634800 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939881836432 139939877643421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14084804 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634800 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250634800 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250634802 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250634802 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939351049888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250634802 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939349996784 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14084804 memory=268 CPUtime=0.07 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 687 0 0 0 7 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 255 0 0 0 7 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14084804 memory=20518 CPUtime=0.15 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 443 0 0 0 15 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14084804 memory=280541090188784 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250634805 14422839296 22194 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88776 KiB
[startup+1.50073 s]
/proc/loadavg: 2.23 1.94 1.73 3/215 21804
/proc/meminfo: memFree=14043484/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14086852 memory=436420 CPUtime=3.08 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 20518 0 0 0 276 32 0 0 20 0 15 0 250634799 14424936448 109105 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3521713 109105 3563 1 0 3483785 0
[pid=21789/tid=21791] ppid=21786 vsize=14086852 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 15305 0 0 0 126 8 0 0 20 0 15 0 250634800 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939881856528 139939517821012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14086852 memory=-3535359994705172833 CPUtime=0.08 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 125 0 0 0 4 4 0 0 20 0 15 0 250634800 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14086852 memory=-3472574513799858003 CPUtime=0.08 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 122 0 0 0 4 4 0 0 20 0 15 0 250634800 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14086852 memory=-1088251628401078322 CPUtime=0.12 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 152 0 0 0 6 6 0 0 20 0 15 0 250634800 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14086852 memory=-6439125508584662882 CPUtime=0.1 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 196 0 0 0 5 5 0 0 20 0 15 0 250634800 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250634802 14424936448 109105 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
################
# More data... #
################
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 39525 0 0 0 9709 42 0 0 20 0 15 0 250634800 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939881858864 139939517918907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14092996 memory=5195880 CPUtime=4.45 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 4656 0 0 0 371 74 0 0 20 0 15 0 250634800 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14092996 memory=5195880 CPUtime=4.48 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 4396 0 0 0 367 81 0 0 20 0 15 0 250634800 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14092996 memory=5195880 CPUtime=4.49 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 5767 0 0 0 372 77 0 0 20 0 15 0 250634800 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14092996 memory=5195880 CPUtime=4.46 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 5944 0 0 0 371 75 0 0 20 0 15 0 250634800 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14092996 memory=5195880 CPUtime=0.22 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 14052 0 0 0 21 1 0 0 20 0 15 0 250634802 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14092996 memory=5202924 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939351049952 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939349996800 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14092996 memory=5202924 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14092996 memory=5195880 CPUtime=4.21 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 10705 0 0 0 419 2 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14092996 memory=5195748 CPUtime=4.19 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 8623 0 0 0 416 3 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14092996 memory=4128 CPUtime=1.58 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 14805 0 0 0 155 3 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14092996 memory=5195880 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14092996 memory=5195880 CPUtime=0.05 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 971 0 0 0 2 3 0 0 20 0 15 0 250634805 14431227904 1300731 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 125.74 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5202924 KiB
[startup+162.31 s]
/proc/loadavg: 2.12 1.98 1.78 3/218 21918
/proc/meminfo: memFree=8243988/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14092996 memory=5243776 CPUtime=189.28 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 133913 0 0 0 18554 374 0 0 20 0 15 0 250634799 14431227904 1310944 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3523249 1310944 3624 1 0 3485321 0
[pid=21789/tid=21791] ppid=21786 vsize=14092996 memory=5243776 CPUtime=156.56 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 45580 0 0 0 15613 43 0 0 20 0 15 0 250634800 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939881858192 139939528326520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14092996 memory=5243776 CPUtime=5.38 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 5360 0 0 0 463 75 0 0 20 0 15 0 250634800 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14092996 memory=5243776 CPUtime=5.41 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 6198 0 0 0 459 82 0 0 20 0 15 0 250634800 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14092996 memory=5243776 CPUtime=5.42 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 6375 0 0 0 464 78 0 0 20 0 15 0 250634800 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14092996 memory=5243776 CPUtime=5.41 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 7186 0 0 0 464 77 0 0 20 0 15 0 250634800 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14092996 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 14264 0 0 0 22 2 0 0 20 0 15 0 250634802 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14092996 memory=5243776 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939351049952 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14092996 memory=5243776 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939349996800 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14092996 memory=5243776 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14092996 memory=1232 CPUtime=4.58 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 14714 0 0 0 455 3 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14092996 memory=5243776 CPUtime=4.49 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 14476 0 0 0 446 3 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14092996 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 17286 0 0 0 159 3 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14092996 memory=-7094132109863559211 CPUtime=0.09 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1014 0 0 0 4 5 0 0 20 0 15 0 250634805 14431227904 1310944 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 189.28 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5243776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+221.501 s]
/proc/loadavg: 2.33 2.09 1.83 3/218 21919
/proc/meminfo: memFree=8182596/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14092996 memory=5329056 CPUtime=252.03 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 149103 0 0 0 24817 386 0 0 20 0 15 0 250634799 14431227904 1332264 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3523249 1332264 3624 1 0 3485321 0
[pid=21789/tid=21791] ppid=21786 vsize=14092996 memory=5329056 CPUtime=214.74 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 51566 0 0 0 21429 45 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939881859824 139939528958309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14092996 memory=5329056 CPUtime=6.37 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 7855 0 0 0 559 78 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14092996 memory=5329056 CPUtime=6.39 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 6940 0 0 0 556 83 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14092996 memory=5314288 CPUtime=6.41 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 7640 0 0 0 561 80 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14092996 memory=5315652 CPUtime=6.39 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 8383 0 0 0 561 78 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14092996 memory=5329056 CPUtime=0.25 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 14554 0 0 0 23 2 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14092996 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939351049952 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14092996 memory=280541089922856 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939349996800 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14092996 memory=5316464 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14092996 memory=5314288 CPUtime=4.92 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 16557 0 0 0 489 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14092996 memory=5314416 CPUtime=4.66 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 15233 0 0 0 463 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14092996 memory=4128 CPUtime=1.65 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 17876 0 0 0 162 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14092996 memory=5329056 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14092996 memory=4128 CPUtime=0.13 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1039 0 0 0 6 7 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5329056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+221.549 s]
# the end of solver process 21789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.202 s, system=3.88648 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+221.501 s]
/proc/loadavg: 2.33 2.09 1.83 3/218 21919
/proc/meminfo: memFree=8182596/32770624 swapFree=67108860/67108860
[pid=21789] ppid=21786 vsize=14092996 memory=5329056 CPUtime=252.03 cores=1,3,5,7
/proc/21789/stat : 21789 (java) S 21786 21789 20506 0 -1 1077944320 149103 0 0 0 24817 386 0 0 20 0 15 0 250634799 14431227904 1332264 33554432000 4194304 4196468 140720811796752 140720811779296 139939877621495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
/proc/21789/statm: 3523249 1332264 3624 1 0 3485321 0
[pid=21789/tid=21791] ppid=21786 vsize=14092996 memory=5329056 CPUtime=214.74 cores=1,3,5,7
/proc/21789/task/21791/stat : 21791 (java) R 21786 21789 20506 0 -1 4202560 51566 0 0 0 21429 45 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939881859824 139939528958309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21792] ppid=21786 vsize=14092996 memory=5329056 CPUtime=6.37 cores=1,3,5,7
/proc/21789/task/21792/stat : 21792 (java) S 21786 21789 20506 0 -1 1077944384 7855 0 0 0 559 78 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939834173968 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21793] ppid=21786 vsize=14092996 memory=5329056 CPUtime=6.39 cores=1,3,5,7
/proc/21789/task/21793/stat : 21793 (java) S 21786 21789 20506 0 -1 1077944384 6940 0 0 0 556 83 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939472140944 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21794] ppid=21786 vsize=14092996 memory=5314288 CPUtime=6.41 cores=1,3,5,7
/proc/21789/task/21794/stat : 21794 (java) S 21786 21789 20506 0 -1 1077944384 7640 0 0 0 561 80 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939471087888 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21795] ppid=21786 vsize=14092996 memory=5315652 CPUtime=6.39 cores=1,3,5,7
/proc/21789/task/21795/stat : 21795 (java) S 21786 21789 20506 0 -1 1077944384 8383 0 0 0 561 78 0 0 20 0 15 0 250634800 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939470035344 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21796] ppid=21786 vsize=14092996 memory=5329056 CPUtime=0.25 cores=1,3,5,7
/proc/21789/task/21796/stat : 21796 (java) S 21786 21789 20506 0 -1 1077944384 14554 0 0 0 23 2 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939352103664 139939877632642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21797] ppid=21786 vsize=14092996 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21797/stat : 21797 (java) S 21786 21789 20506 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939351049952 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21798] ppid=21786 vsize=14092996 memory=280541089922856 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21798/stat : 21798 (java) S 21786 21789 20506 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 250634802 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939349996800 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21799] ppid=21786 vsize=14092996 memory=5316464 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21799/stat : 21799 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939348945360 139939877640091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21800] ppid=21786 vsize=14092996 memory=5314288 CPUtime=4.92 cores=1,3,5,7
/proc/21789/task/21800/stat : 21800 (java) S 21786 21789 20506 0 -1 1077944384 16557 0 0 0 489 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939347892464 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21801] ppid=21786 vsize=14092996 memory=5314416 CPUtime=4.66 cores=1,3,5,7
/proc/21789/task/21801/stat : 21801 (java) S 21786 21789 20506 0 -1 1077944384 15233 0 0 0 463 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939346839920 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21802] ppid=21786 vsize=14092996 memory=4128 CPUtime=1.65 cores=1,3,5,7
/proc/21789/task/21802/stat : 21802 (java) S 21786 21789 20506 0 -1 1077944384 17876 0 0 0 162 3 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939345786864 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21803] ppid=21786 vsize=14092996 memory=5329056 CPUtime=0 cores=1,3,5,7
/proc/21789/task/21803/stat : 21803 (java) S 21786 21789 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939344734560 139939877631701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
[pid=21789/tid=21804] ppid=21786 vsize=14092996 memory=4128 CPUtime=0.13 cores=1,3,5,7
/proc/21789/task/21804/stat : 21804 (java) S 21786 21789 20506 0 -1 1077944384 1039 0 0 0 6 7 0 0 20 0 15 0 250634805 14431227904 1332264 33554432000 4194304 4196468 140720811796752 139939343682608 139939877632642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23498752 140720811803739 140720811803918 140720811803918 140720811806671 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5329056 KiB
Child status: 143
Real time (s): 221.549
CPU time (s): 252.088
CPU user time (s): 248.202
CPU system time (s): 3.88648
CPU usage (%): 113.785
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5329056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.202
system time used= 3.88647
maximum resident set size= 5340996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12131
involuntary context switches= 702
# summary of solver processes directly reported to runsolver:
# pid: 21789
# total CPU time (s): 252.088
# total CPU user time (s): 248.202
# total CPU system time (s): 3.88648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72318 second user time and 1.95091 second system time
The end
Begin job on node139 at 2018-08-15 12:58:36 IDJOB=4310582 IDBENCH=141267 IDSOLVER=2796 FILE ID=node139/4310582-1534330716 RUNJOBID= node139-1534329043-20538 PBS_JOBID= 21038153 Free space on /tmp= 34852 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310582-1534330716/watcher-4310582-1534330716 -o /tmp/evaluation-result-4310582-1534330716/solver-4310582-1534330716 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20538 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 105696461 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310582-1534330716.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13 RANDOM SEED=105696461 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 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: 14345000 kB MemAvailable: 27241596 kB Buffers: 270588 kB Cached: 12725580 kB SwapCached: 0 kB Active: 11008320 kB Inactive: 6690260 kB Active(anon): 4656380 kB Inactive(anon): 106808 kB Active(file): 6351940 kB Inactive(file): 6583452 kB Unevictable: 7192 kB Mlocked: 7192 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 131664 kB Writeback: 0 kB AnonPages: 4709644 kB Mapped: 78940 kB Shmem: 57996 kB Slab: 418268 kB SReclaimable: 389664 kB SUnreclaim: 28604 kB KernelStack: 3504 kB PageTables: 14708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5560948 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4505600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 34716 MiB End job on node139 at 2018-08-15 13:02:18