Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 388697689 | 19836.9 | 2520.52 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml |
MD5SUM | 89893934ad5b9c06ca26522ad9c878f8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 380878491 |
Best CPU time to get the best result obtained on this benchmark | 2808.24 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6028 |
Number of constraints | 3865 |
Number of domains | 51 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}] |
Minimum variable degree | 2 |
Maximum variable degree | 1810 |
Distribution of variable degrees | [{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}] |
Number of extensional constraints | 1809 |
Number of intensional constraints | 2056 |
Distribution of constraint types | [{"type":"extension","count":1809},{"type":"intension","count":2056}] |
Optimization problem | YES |
Type of objective | min SUM |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1765723824 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 26.54/15.04 c Parsing done, starting search... 586.65/105.10 o 389837966 587.46/105.16 o 389819876 588.11/105.20 o 389819866 588.11/105.24 o 389801776 588.11/105.26 o 389801766 588.11/105.28 o 389783676 588.94/105.31 o 389783673 588.94/105.33 o 389765593 588.94/105.35 o 389765583 588.94/105.37 o 389765576 588.94/105.40 o 389747493 589.84/105.42 o 389747486 589.84/105.45 o 389729403 589.84/105.48 o 389729396 589.84/105.49 o 389729393 590.55/105.51 o 389729386 590.55/105.55 o 389729383 590.55/105.58 o 389711313 590.55/105.60 o 389711303 591.31/105.61 o 389711293 591.31/105.63 o 389711286 591.31/105.65 o 389711283 591.31/105.67 o 389711276 591.31/105.69 o 389711273 592.14/105.71 o 389693203 592.14/105.72 o 389693193 592.14/105.74 o 389693183 592.14/105.76 o 389693176 592.14/105.79 o 389675103 592.90/105.80 o 389675093 592.90/105.82 o 389675086 592.90/105.84 o 389675083 592.90/105.86 o 389657003 592.90/105.88 o 389656993 592.90/105.89 o 389656986 593.70/105.92 o 389638918 593.70/105.94 o 389638908 593.70/105.95 o 389638898 593.70/105.97 o 389638896 593.70/105.99 o 389638891 593.70/106.00 o 389638889 594.60/106.02 o 389638888 594.60/106.04 o 389638886 594.60/106.06 o 389638881 594.60/106.08 o 389638879 594.60/106.09 o 389638876 594.60/106.11 o 389620796 595.49/106.13 o 389620788 595.49/106.14 o 389620786 595.49/106.16 o 389620779 595.49/106.20 o 389620776 596.13/106.22 o 389602688 596.13/106.23 o 389602686 596.13/106.25 o 389602679 596.13/106.27 o 389602676 596.13/106.29 o 389584586 596.13/106.30 o 389584581 596.92/106.31 o 389584579 596.92/106.34 o 389584578 596.92/106.36 o 389566488 596.92/106.37 o 389566486 596.92/106.39 o 389566479 597.68/106.41 o 389566476 597.68/106.42 o 389548386 597.68/106.44 o 389548381 597.68/106.46 o 389548379 597.68/106.48 o 389530298 597.68/106.49 o 389530296 598.53/106.51 o 389530291 598.53/106.52 o 389530289 598.53/106.54 o 389530288 598.53/106.56 o 389530286 598.53/106.57 o 389512198 598.53/106.58 o 389512196 598.53/106.59 o 389512191 599.28/106.61 o 389512189 599.28/106.62 o 389512185 599.28/106.64 o 389512184 599.28/106.65 o 389512182 599.28/106.68 o 389494096 599.28/106.69 o 389494091 600.08/106.71 o 389494089 600.08/106.72 o 389494087 600.08/106.74 o 389494085 600.08/106.75 o 389494082 600.08/106.79 o 389476010 600.88/106.81 o 389476008 600.88/106.82 o 389476001 600.88/106.83 o 389475999 600.88/106.85 o 389475994 600.88/106.87 o 389475992 600.88/106.88 o 389475990 600.88/106.90 o 389475988 601.68/106.91 o 389475985 601.68/106.93 o 389475982 601.68/106.97 o 389475979 601.68/106.99 o 389457908 601.68/107.01 o 389457899 602.54/107.03 o 389457898 602.54/107.04 o 389457891 602.54/107.05 o 389457889 602.54/107.07 o 389457882 602.54/107.08 o 389457879 603.34/107.12 o 389439819 603.34/107.14 o 389439809 603.34/107.15 o 389439802 603.34/107.16 o 389439800 603.34/107.18 o 389439799 603.34/107.18 o 389439793 603.34/107.19 o 389439792 604.05/107.20 o 389439791 604.05/107.21 o 389439788 604.05/107.23 o 389439787 604.05/107.24 o 389439784 604.05/107.25 o 389439782 604.05/107.27 o 389439781 604.05/107.28 o 389439779 604.84/107.32 o 389421725 604.84/107.34 o 389421716 604.84/107.35 o 389421707 604.84/107.36 o 389421706 604.84/107.37 o 389421703 604.84/107.38 o 389421699 604.84/107.39 o 389421697 604.84/107.40 o 389421694 605.63/107.40 o 389421690 605.63/107.42 o 389421688 605.63/107.44 o 389421687 605.63/107.45 o 389421684 605.63/107.46 o 389421682 605.63/107.48 o 389421681 605.63/107.49 o 389421679 606.42/107.56 o 389421678 606.42/107.57 o 389421674 606.42/107.58 o 389403637 606.42/107.59 o 389403628 606.42/107.60 o 389403627 607.22/107.60 o 389403620 607.22/107.62 o 389403618 607.22/107.63 o 389403617 607.22/107.65 o 389403610 607.22/107.66 o 389403609 607.22/107.66 o 389403608 607.22/107.67 o 389403601 607.22/107.68 o 389403594 607.22/107.70 o 389403592 607.22/107.70 o 389403591 608.01/107.70 o 389403590 608.01/107.71 o 389403589 608.01/107.73 o 389403588 608.01/107.73 o 389403584 608.01/107.75 o 389403582 608.01/107.77 o 389403579 608.01/107.79 o 389385539 608.01/107.80 o 389385535 608.80/107.81 o 389385524 608.80/107.82 o 389385516 608.80/107.83 o 389385515 608.80/107.85 o 389385507 608.80/107.86 o 389385506 608.80/107.87 o 389385503 608.80/107.89 o 389385498 608.80/107.90 o 389385494 609.60/107.91 o 389385492 609.60/107.91 o 389385489 609.60/107.93 o 389385488 609.60/107.94 o 389385484 609.60/107.95 o 389385482 609.60/107.97 o 389385481 609.60/107.98 o 389385479 610.45/108.04 o 389385478 610.45/108.06 o 389385474 610.45/108.07 o 389385472 610.45/108.10 o 389367450 610.45/108.11 o 389367441 611.26/108.12 o 389367437 611.26/108.13 o 389367436 611.26/108.14 o 389367433 611.26/108.15 o 389367431 611.26/108.16 o 389367427 611.26/108.17 o 389367425 611.26/108.18 o 389367424 611.26/108.19 o 389367421 611.98/108.20 o 389367419 611.98/108.21 o 389367418 611.98/108.22 o 389367412 611.98/108.23 o 389367410 611.98/108.24 o 389367408 611.98/108.25 o 389367406 611.98/108.26 o 389367405 611.98/108.27 o 389367404 611.98/108.27 o 389367403 611.98/108.28 o 389367402 611.98/108.28 o 389367399 611.98/108.30 o 389367398 611.98/108.30 o 389367397 612.76/108.31 o 389367396 612.76/108.32 o 389367394 612.76/108.32 o 389367392 612.76/108.33 o 389367390 612.76/108.34 o 389367387 612.76/108.35 o 389367385 612.76/108.35 o 389367384 612.76/108.36 o 389367381 612.76/108.37 o 389367379 612.76/108.39 o 389367378 613.55/108.40 o 389367376 613.55/108.42 o 389367372 613.55/108.43 o 389367371 613.55/108.44 o 389367369 615.15/108.66 o 389349340 615.15/108.67 o 389349330 615.15/108.67 o 389349321 615.15/108.69 o 389349317 615.15/108.69 o 389349312 615.15/108.70 o 389349308 615.89/108.71 o 389349307 615.89/108.71 o 389349306 615.89/108.72 o 389349304 615.89/108.73 o 389349302 615.89/108.73 o 389349298 615.89/108.74 o 389349297 615.89/108.75 o 389349296 615.89/108.75 o 389349295 615.89/108.76 o 389349294 615.89/108.76 o 389349293 615.89/108.77 o 389349290 615.89/108.78 o 389349289 615.89/108.79 o 389349287 615.89/108.80 o 389349285 616.67/108.81 o 389349281 616.67/108.82 o 389349279 616.67/108.83 o 389349278 616.67/108.84 o 389349276 616.67/108.85 o 389349272 616.67/108.87 o 389349269 616.67/108.89 o 389331244 616.67/108.89 o 389331240 617.46/108.90 o 389331236 617.46/108.91 o 389331230 617.46/108.92 o 389331221 617.46/108.93 o 389331212 617.46/108.94 o 389331208 617.46/108.95 o 389331207 617.46/108.95 o 389331206 617.46/108.96 o 389331204 617.46/108.96 o 389331202 617.46/108.97 o 389331198 617.46/108.98 o 389331197 617.46/108.99 o 389331196 617.46/109.00 o 389331194 618.30/109.01 o 389331190 618.30/109.01 o 389331187 618.30/109.03 o 389331186 618.30/109.04 o 389331185 618.30/109.04 o 389331182 618.30/109.05 o 389331181 618.30/109.06 o 389331179 618.30/109.08 o 389331178 618.30/109.08 o 389331176 618.30/109.10 o 389331172 619.10/109.11 o 389331171 619.10/109.11 o 389331169 619.81/109.23 o 389313152 619.81/109.24 o 389313144 619.81/109.25 o 389313140 619.81/109.26 o 389313138 619.81/109.26 o 389313134 619.81/109.27 o 389313130 619.81/109.28 o 389313125 619.81/109.29 o 389313121 620.60/109.30 o 389313119 620.60/109.31 o 389313118 620.60/109.31 o 389313117 620.60/109.31 o 389313116 620.60/109.33 o 389313112 620.60/109.33 o 389313111 620.60/109.34 o 389313110 620.60/109.34 o 389313109 620.60/109.35 o 389313108 620.60/109.36 o 389313104 620.60/109.37 o 389313103 620.60/109.38 o 389313100 620.60/109.39 o 389313098 620.60/109.40 o 389313094 621.37/109.41 o 389313092 621.37/109.41 o 389313091 621.37/109.42 o 389313089 621.37/109.43 o 389313085 621.37/109.44 o 389313084 621.37/109.45 o 389313081 621.37/109.48 o 389313078 622.16/109.53 o 389295058 622.16/109.54 o 389295048 622.16/109.55 o 389295041 622.16/109.56 o 389295037 622.16/109.57 o 389295034 622.16/109.57 o 389295032 622.16/109.58 o 389295031 622.16/109.58 o 389295024 622.16/109.60 o 389295023 622.94/109.60 o 389295015 622.94/109.61 o 389295011 622.94/109.62 o 389295009 622.94/109.64 o 389295007 622.94/109.65 o 389295006 622.94/109.66 o 389295004 622.94/109.67 o 389295000 622.94/109.69 o 389294998 622.94/109.70 o 389294997 623.73/109.71 o 389294994 623.73/109.72 o 389294992 623.73/109.72 o 389294991 623.73/109.73 o 389294988 623.73/109.74 o 389294985 623.73/109.75 o 389294983 623.73/109.75 o 389294981 623.73/109.75 o 389294979 623.73/109.78 o 389276962 623.73/109.78 o 389276934 623.73/109.80 o 389276924 624.50/109.80 o 389276915 624.50/109.81 o 389276906 624.50/109.82 o 389276905 624.50/109.82 o 389276904 624.50/109.82 o 389276902 624.50/109.84 o 389276900 624.50/109.85 o 389276896 624.50/109.86 o 389276894 624.50/109.87 o 389276892 624.50/109.87 o 389276891 624.50/109.88 o 389276888 624.50/109.89 o 389276885 624.50/109.90 o 389276883 625.27/109.91 o 389276879 625.27/109.92 o 389258849 625.27/109.93 o 389258840 625.27/109.94 o 389258831 625.27/109.94 o 389258830 625.27/109.95 o 389258827 625.27/109.96 o 389258823 625.27/109.97 o 389258821 625.27/109.98 o 389258814 625.27/109.99 o 389258813 625.27/110.00 o 389258810 626.12/110.01 o 389258808 626.12/110.02 o 389258805 626.12/110.03 o 389258804 626.12/110.04 o 389258803 626.12/110.05 o 389258801 626.12/110.06 o 389258800 626.12/110.06 o 389258798 626.12/110.07 o 389258797 626.12/110.07 o 389258794 626.12/110.09 o 389258792 626.12/110.10 o 389258791 626.94/110.12 o 389258790 626.94/110.13 o 389258787 626.94/110.15 o 389258785 626.94/110.16 o 389258784 626.94/110.17 o 389258781 627.63/110.21 o 389258778 637.17/111.44 o 389240750 637.17/111.46 o 389240740 637.17/111.47 o 389240733 637.17/111.47 o 389240730 637.17/111.48 o 389240723 637.17/111.50 o 389240721 637.97/111.51 o 389240714 637.97/111.52 o 389240712 637.97/111.53 o 389240705 637.97/111.55 o 389240701 637.97/111.56 o 389240699 637.97/111.58 o 389240695 638.77/111.60 o 389240694 638.77/111.61 o 389240691 638.77/111.63 o 389240689 638.77/111.65 o 389240685 638.77/111.66 o 389240684 638.77/111.67 o 389240681 638.77/111.69 o 389240678 639.63/111.72 o 389222650 639.63/111.73 o 389222640 639.63/111.74 o 389222630 639.63/111.75 o 389222621 639.63/111.76 o 389222614 639.63/111.78 o 389222612 639.63/111.79 o 389222605 639.63/111.80 o 389222601 640.44/111.82 o 389222599 640.44/111.83 o 389222595 640.44/111.85 o 389222594 640.44/111.86 o 389222591 640.44/111.88 o 389222589 641.15/111.90 o 389222585 641.15/111.91 o 389222584 641.15/111.92 o 389222583 641.15/111.93 o 389222581 641.15/111.96 o 389204563 641.15/111.97 o 389204559 641.15/111.97 o 389204556 641.15/111.98 o 389204553 641.15/111.99 o 389204549 641.15/112.00 o 389204546 642.03/112.02 o 389204543 642.03/112.03 o 389204542 642.03/112.04 o 389204539 642.03/112.04 o 389204536 642.03/112.05 o 389204533 642.03/112.06 o 389204530 642.03/112.07 o 389204529 642.03/112.07 o 389204526 642.03/112.08 o 389204523 642.03/112.09 o 389204521 642.03/112.10 o 389204520 642.03/112.10 o 389204514 642.82/112.12 o 389204511 642.82/112.12 o 389204509 642.82/112.13 o 389204505 642.82/112.14 o 389204504 642.82/112.14 o 389204501 642.82/112.16 o 389204500 642.82/112.16 o 389204499 642.82/112.17 o 389204498 642.82/112.18 o 389204495 642.82/112.19 o 389204494 643.53/112.20 o 389204492 643.53/112.21 o 389204491 643.53/112.23 o 389204489 643.53/112.25 o 389204485 643.53/112.26 o 389204484 643.53/112.27 o 389204481 644.29/112.30 o 389204478 649.93/113.10 o 389186450 649.93/113.11 o 389186440 650.75/113.12 o 389186433 650.75/113.13 o 389186430 650.75/113.14 o 389186423 650.75/113.15 o 389186421 650.75/113.16 o 389186414 650.75/113.17 o 389186412 650.75/113.18 o 389186405 650.75/113.20 o 389186401 651.47/113.22 o 389186399 651.47/113.23 o 389186395 651.47/113.25 o 389186394 651.47/113.26 o 389186391 651.47/113.29 o 389186389 652.30/113.31 o 389186385 652.30/113.32 o 389186384 652.30/113.33 o 389186381 652.30/113.36 o 389186380 652.30/113.37 o 389186378 657.01/113.97 o 389186376 657.01/113.98 o 389186375 657.01/113.99 o 389186372 657.91/114.01 o 389186369 661.80/114.53 o 389168364 661.80/114.53 o 389168341 661.80/114.55 o 389168331 661.80/114.55 o 389168321 661.80/114.56 o 389168320 661.80/114.57 o 389168312 661.80/114.58 o 389168305 661.80/114.59 o 389168303 661.80/114.59 o 389168302 661.80/114.60 o 389168296 662.61/114.61 o 389168294 662.61/114.62 o 389168291 662.61/114.63 o 389168288 662.61/114.63 o 389168285 662.61/114.65 o 389168283 662.61/114.65 o 389168282 662.61/114.66 o 389168280 662.61/114.68 o 389168276 662.61/114.69 o 389168275 662.61/114.70 o 389168274 663.36/114.71 o 389168272 663.36/114.73 o 389168269 665.80/115.08 o 389150241 665.80/115.09 o 389150231 665.80/115.09 o 389150222 665.80/115.10 o 389150221 666.63/115.11 o 389150212 666.63/115.12 o 389150205 666.63/115.13 o 389150203 666.63/115.15 o 389150196 666.63/115.16 o 389150192 666.63/115.18 o 389150190 666.63/115.19 o 389150186 667.32/115.20 o 389150185 667.32/115.21 o 389150183 667.32/115.22 o 389150182 667.32/115.23 o 389150181 667.32/115.24 o 389150179 667.32/115.26 o 389150177 667.32/115.26 o 389150175 667.32/115.28 o 389150172 667.32/115.30 o 389150169 671.29/115.70 o 389132141 671.29/115.71 o 389132131 671.29/115.72 o 389132121 671.29/115.73 o 389132112 671.29/115.74 o 389132105 671.29/115.75 o 389132096 671.29/115.76 o 389132093 671.29/115.77 o 389132092 671.29/115.78 o 389132090 671.29/115.78 o 389132088 671.29/115.79 o 389132086 672.07/115.80 o 389132085 672.07/115.81 o 389132083 672.07/115.81 o 389132082 672.07/115.82 o 389132080 672.07/115.84 o 389132077 672.07/115.84 o 389132076 672.07/115.85 o 389132075 672.07/115.86 o 389132072 672.07/115.88 o 389132069 681.73/117.08 o 389114013 681.73/117.09 o 389114004 681.73/117.10 o 389113995 681.73/117.10 o 389113992 681.73/117.11 o 389113991 681.73/117.11 o 389113989 682.55/117.12 o 389113986 682.55/117.13 o 389113985 682.55/117.14 o 389113983 682.55/117.14 o 389113982 682.55/117.16 o 389113981 682.55/117.17 o 389113979 682.55/117.18 o 389113977 682.55/117.19 o 389113975 683.22/117.20 o 389113972 683.22/117.22 o 389113969 683.22/117.29 o 389095926 683.22/117.29 o 389095922 684.01/117.31 o 389095919 684.01/117.31 o 389095916 684.01/117.32 o 389095913 684.01/117.33 o 389095910 684.01/117.34 o 389095907 684.01/117.35 o 389095906 684.01/117.36 o 389095903 684.01/117.36 o 389095900 684.01/117.37 o 389095897 684.01/117.38 o 389095896 684.01/117.38 o 389095893 684.01/117.39 o 389095891 684.81/117.40 o 389095888 684.81/117.41 o 389095885 684.81/117.42 o 389095883 684.81/117.44 o 389095881 684.81/117.46 o 389095879 684.81/117.46 o 389095878 684.81/117.47 o 389095875 684.81/117.48 o 389095874 684.81/117.49 o 389095872 685.67/117.52 o 389095871 685.67/117.52 o 389095869 707.08/120.23 o 389095868 707.08/120.25 o 389095865 719.84/121.89 o 389077838 719.84/121.90 o 389077834 719.84/121.90 o 389077831 720.66/121.91 o 389077828 720.66/121.92 o 389077824 720.66/121.93 o 389077821 720.66/121.93 o 389077818 720.66/121.94 o 389077817 720.66/121.95 o 389077814 720.66/121.95 o 389077810 720.66/121.96 o 389077807 720.66/121.97 o 389077804 720.66/121.98 o 389077801 720.66/121.99 o 389077798 720.66/122.00 o 389077795 720.66/122.00 o 389077794 720.66/122.01 o 389077791 720.66/122.02 o 389077790 721.49/122.03 o 389077789 721.49/122.03 o 389077788 721.49/122.04 o 389077785 721.49/122.05 o 389077784 721.49/122.05 o 389077781 721.49/122.06 o 389077779 721.49/122.07 o 389077778 721.49/122.08 o 389077776 721.49/122.12 o 389077774 721.49/122.13 o 389077771 722.47/122.14 o 389077770 722.47/122.15 o 389077768 722.47/122.17 o 389077767 722.47/122.18 o 389077765 732.58/123.45 o 389059738 732.58/123.46 o 389059734 732.58/123.47 o 389059731 732.58/123.47 o 389059728 732.58/123.48 o 389059724 732.58/123.49 o 389059721 732.58/123.49 o 389059718 733.37/123.50 o 389059717 733.37/123.51 o 389059714 733.37/123.52 o 389059710 733.37/123.52 o 389059707 733.37/123.53 o 389059704 733.37/123.54 o 389059701 733.37/123.54 o 389059698 733.37/123.55 o 389059695 733.37/123.56 o 389059693 733.37/123.57 o 389059691 733.37/123.57 o 389059689 733.37/123.58 o 389059688 733.37/123.59 o 389059685 733.37/123.59 o 389059684 733.37/123.60 o 389059681 733.37/123.60 o 389059679 734.22/123.62 o 389059678 734.22/123.63 o 389059676 734.22/123.65 o 389059675 734.22/123.66 o 389059674 734.22/123.67 o 389059671 734.22/123.68 o 389059670 734.22/123.69 o 389059668 734.22/123.70 o 389059667 735.03/123.72 o 389059665 770.82/128.28 o 389041638 770.82/128.29 o 389041634 771.62/128.30 o 389041631 771.62/128.30 o 389041628 771.62/128.31 o 389041627 771.62/128.32 o 389041624 771.62/128.32 o 389041620 771.62/128.33 o 389041617 771.62/128.34 o 389041614 771.62/128.34 o 389041613 771.62/128.35 o 389041610 771.62/128.36 o 389041609 771.62/128.37 o 389041606 771.62/128.38 o 389041603 771.62/128.40 o 389041600 771.62/128.40 o 389041598 772.41/128.40 o 389041595 772.41/128.41 o 389041594 772.41/128.42 o 389041591 772.41/128.43 o 389041589 772.41/128.44 o 389041588 772.41/128.45 o 389041587 772.41/128.45 o 389041586 772.41/128.46 o 389041583 772.41/128.47 o 389041582 772.41/128.48 o 389041579 772.41/128.49 o 389041578 773.20/128.50 o 389041577 773.20/128.51 o 389041576 773.20/128.52 o 389041573 773.20/128.53 o 389041571 773.20/128.54 o 389041570 773.20/128.55 o 389041568 884.81/142.57 o 389041565 978.83/154.32 o 389023537 978.83/154.33 o 389023533 978.83/154.33 o 389023530 978.83/154.33 o 389023527 978.83/154.34 o 389023526 978.83/154.35 o 389023523 978.83/154.36 o 389023519 978.83/154.37 o 389023516 978.83/154.38 o 389023513 978.83/154.38 o 389023512 978.83/154.39 o 389023509 978.83/154.40 o 389023507 979.66/154.41 o 389023506 979.66/154.42 o 389023503 979.66/154.43 o 389023502 979.66/154.44 o 389023499 979.66/154.44 o 389023497 979.66/154.45 o 389023494 979.66/154.46 o 389023493 979.66/154.47 o 389023490 979.66/154.47 o 389023488 979.66/154.50 o 389023486 980.41/154.52 o 389023484 980.41/154.52 o 389023483 980.41/154.53 o 389023480 980.41/154.54 o 389023479 980.41/154.55 o 389023477 980.41/154.59 o 389023474 984.48/155.08 o 389023471 984.48/155.09 o 389023470 984.48/155.10 o 389023468 985.28/155.12 o 389023467 985.28/155.13 o 389023465 1171.71/178.56 o 389005430 1171.71/178.58 o 389005426 1171.71/178.58 o 389005423 1171.71/178.59 o 389005420 1172.50/178.60 o 389005417 1172.50/178.60 o 389005414 1172.50/178.61 o 389005411 1172.50/178.61 o 389005410 1172.50/178.62 o 389005407 1172.50/178.63 o 389005406 1172.50/178.63 o 389005404 1172.50/178.64 o 389005401 1172.50/178.65 o 389005400 1172.50/178.65 o 389005397 1172.50/178.66 o 389005396 1172.50/178.67 o 389005395 1172.50/178.68 o 389005394 1172.50/178.69 o 389005391 1172.50/178.70 o 389005390 1173.37/178.71 o 389005387 1173.37/178.73 o 389005385 1173.37/178.74 o 389005383 1173.37/178.76 o 389005382 1173.37/178.77 o 389005380 1173.37/178.78 o 389005379 1173.37/178.79 o 389005377 1174.12/178.87 o 389005376 1174.12/178.88 o 389005374 1174.12/178.89 o 389005373 1174.12/178.90 o 389005371 1174.96/178.92 o 389005368 1225.83/185.32 o 389005367 1225.83/185.33 o 389005365 1290.42/193.45 o 388987333 1290.42/193.46 o 388987329 1290.42/193.46 o 388987326 1290.42/193.47 o 388987323 1290.42/193.47 o 388987322 1290.42/193.48 o 388987319 1290.42/193.50 o 388987315 1290.42/193.50 o 388987312 1291.29/193.51 o 388987309 1291.29/193.51 o 388987306 1291.29/193.52 o 388987303 1291.29/193.52 o 388987300 1291.29/193.54 o 388987299 1291.29/193.54 o 388987296 1291.29/193.54 o 388987294 1291.29/193.56 o 388987293 1291.29/193.57 o 388987290 1291.29/193.57 o 388987289 1291.29/193.58 o 388987286 1291.29/193.58 o 388987284 1292.01/193.60 o 388987283 1292.01/193.61 o 388987281 1292.81/193.71 o 388987280 1292.81/193.71 o 388987277 1292.81/193.72 o 388987275 1292.81/193.75 o 388987274 1292.81/193.75 o 388987272 1293.61/193.83 o 388987271 1293.61/193.84 o 388987268 1293.61/193.86 o 388987265 1296.07/194.13 o 388969225 1296.07/194.14 o 388969221 1296.07/194.14 o 388969218 1296.07/194.15 o 388969215 1296.07/194.15 o 388969214 1296.07/194.15 o 388969211 1296.07/194.17 o 388969207 1296.07/194.17 o 388969204 1296.07/194.18 o 388969201 1296.07/194.19 o 388969198 1296.78/194.20 o 388969196 1296.78/194.20 o 388969194 1296.78/194.21 o 388969192 1296.78/194.22 o 388969191 1296.78/194.23 o 388969188 1296.78/194.23 o 388969187 1296.78/194.24 o 388969185 1296.78/194.24 o 388969182 1296.78/194.25 o 388969181 1296.78/194.26 o 388969178 1296.78/194.28 o 388969177 1296.78/194.29 o 388969175 1297.58/194.33 o 388969174 1297.58/194.35 o 388969173 1297.58/194.35 o 388969171 1297.58/194.36 o 388969170 1297.58/194.37 o 388969168 1298.39/194.41 o 388969167 1298.39/194.42 o 388969165 1428.34/210.71 o 388951143 1428.34/210.71 o 388951139 1428.34/210.72 o 388951136 1428.34/210.73 o 388951133 1428.34/210.74 o 388951130 1428.34/210.74 o 388951127 1428.34/210.75 o 388951124 1428.34/210.75 o 388951123 1428.34/210.76 o 388951120 1428.34/210.77 o 388951119 1428.34/210.78 o 388951118 1428.34/210.79 o 388951116 1428.34/210.79 o 388951115 1429.13/210.80 o 388951112 1429.13/210.81 o 388951111 1429.13/210.82 o 388951108 1429.13/210.82 o 388951106 1429.13/210.83 o 388951105 1429.13/210.84 o 388951104 1429.13/210.85 o 388951103 1429.13/210.86 o 388951100 1429.13/210.86 o 388951099 1429.13/210.87 o 388951096 1429.13/210.89 o 388951094 1429.13/210.89 o 388951091 1429.13/210.89 o 388951090 1429.93/210.91 o 388951089 1429.93/210.91 o 388951087 1429.93/210.93 o 388951085 1429.93/210.94 o 388951083 1429.93/210.95 o 388951082 1429.93/210.96 o 388951080 1429.93/210.97 o 388951079 1429.93/210.98 o 388951077 1430.79/211.02 o 388951076 1430.79/211.03 o 388951074 1430.79/211.04 o 388951073 1430.79/211.06 o 388951071 1430.79/211.07 o 388951070 1430.79/211.07 o 388951068 1516.75/221.84 o 388951067 1516.75/221.85 o 388951065 1953.57/276.68 o 388933045 1953.57/276.69 o 388933041 1953.57/276.69 o 388933038 1953.57/276.70 o 388933035 1954.41/276.71 o 388933032 1954.41/276.71 o 388933029 1954.41/276.72 o 388933026 1954.41/276.74 o 388933023 1954.41/276.74 o 388933020 1955.12/276.81 o 388933017 1955.12/276.81 o 388933016 1955.12/276.82 o 388933013 1955.12/276.83 o 388933012 1955.12/276.85 o 388933009 1955.12/276.85 o 388933006 1955.12/276.86 o 388933003 1955.12/276.87 o 388933002 1955.12/276.88 o 388932999 1955.12/276.88 o 388932997 1955.12/276.89 o 388932996 1955.12/276.90 o 388932993 1955.91/276.91 o 388932992 1955.91/276.92 o 388932989 1955.91/276.93 o 388932987 1955.91/276.98 o 388932986 1955.91/276.99 o 388932984 1961.48/277.65 o 388932983 1961.48/277.66 o 388932980 1961.48/277.67 o 388932978 1962.28/277.72 o 388932977 1962.28/277.73 o 388932975 1967.85/278.44 o 388932974 1967.85/278.45 o 388932973 1967.85/278.46 o 388932971 1967.85/278.47 o 388932970 1967.85/278.48 o 388932968 1968.65/278.52 o 388932967 1968.65/278.53 o 388932965 2109.03/296.13 o 388914964 2109.03/296.14 o 388914960 2109.03/296.14 o 388914957 2109.03/296.16 o 388914954 2109.03/296.17 o 388914953 2109.03/296.17 o 388914950 2109.03/296.18 o 388914949 2109.03/296.18 o 388914946 2109.03/296.19 o 388914944 2109.76/296.20 o 388914943 2109.76/296.20 o 388914940 2109.76/296.21 o 388914939 2109.76/296.22 o 388914936 2109.76/296.22 o 388914934 2109.76/296.23 o 388914932 2109.76/296.24 o 388914929 2109.76/296.24 o 388914928 2109.76/296.25 o 388914927 2109.76/296.27 o 388914925 2109.76/296.28 o 388914922 2109.76/296.28 o 388914921 2109.76/296.29 o 388914918 2109.76/296.29 o 388914916 2109.76/296.30 o 388914914 2110.56/296.31 o 388914911 2110.56/296.32 o 388914910 2110.56/296.32 o 388914907 2110.56/296.33 o 388914906 2110.56/296.34 o 388914904 2110.56/296.35 o 388914901 2110.56/296.35 o 388914900 2110.56/296.36 o 388914897 2110.56/296.39 o 388914894 2110.56/296.40 o 388914892 2111.36/296.41 o 388914890 2111.36/296.42 o 388914888 2111.36/296.45 o 388914887 2111.36/296.47 o 388914886 2111.36/296.48 o 388914884 2111.36/296.49 o 388914883 2112.16/296.50 o 388914881 2112.16/296.51 o 388914880 2112.16/296.52 o 388914878 2145.64/300.77 o 388896849 2145.64/300.78 o 388896845 2145.64/300.78 o 388896842 2145.64/300.79 o 388896839 2145.64/300.79 o 388896836 2146.48/300.80 o 388896833 2146.48/300.82 o 388896830 2146.48/300.82 o 388896827 2146.48/300.83 o 388896824 2146.48/300.83 o 388896821 2146.48/300.84 o 388896820 2146.48/300.85 o 388896817 2146.48/300.85 o 388896815 2146.48/300.86 o 388896814 2146.48/300.87 o 388896811 2146.48/300.87 o 388896810 2146.48/300.88 o 388896809 2146.48/300.88 o 388896807 2146.48/300.90 o 388896806 2147.24/300.91 o 388896803 2147.24/300.92 o 388896802 2147.24/300.92 o 388896799 2147.24/300.93 o 388896797 2147.24/300.95 o 388896795 2147.24/300.96 o 388896794 2147.24/300.97 o 388896792 2147.24/300.97 o 388896790 2147.24/300.98 o 388896788 2147.24/301.00 o 388896787 2148.10/301.02 o 388896784 2148.10/301.03 o 388896781 2148.10/301.04 o 388896780 2148.10/301.05 o 388896778 2203.91/308.04 o 388896777 2203.91/308.04 o 388896775 2593.60/357.00 o 388878773 2594.46/357.01 o 388878769 2594.46/357.01 o 388878766 2594.46/357.02 o 388878763 2594.46/357.03 o 388878762 2594.46/357.03 o 388878759 2594.46/357.04 o 388878755 2594.46/357.04 o 388878752 2594.46/357.06 o 388878749 2594.46/357.07 o 388878746 2594.46/357.07 o 388878743 2594.46/357.07 o 388878740 2594.46/357.08 o 388878737 2594.46/357.08 o 388878734 2594.46/357.10 o 388878731 2594.46/357.11 o 388878730 2595.26/357.12 o 388878729 2595.26/357.12 o 388878727 2595.26/357.13 o 388878725 2595.26/357.14 o 388878724 2595.26/357.15 o 388878721 2595.26/357.16 o 388878720 2595.26/357.16 o 388878717 2595.26/357.18 o 388878716 2595.26/357.19 o 388878713 2595.26/357.20 o 388878712 2596.02/357.21 o 388878709 2596.02/357.21 o 388878707 2596.02/357.26 o 388878706 2596.02/357.28 o 388878703 2596.02/357.29 o 388878702 2596.02/357.30 o 388878699 2596.02/357.30 o 388878697 2597.57/357.44 o 388878695 2597.57/357.45 o 388878693 2597.57/357.47 o 388878692 2597.57/357.48 o 388878690 2597.57/357.49 o 388878689 2598.36/357.50 o 388878687 2607.14/358.67 o 388878686 2607.14/358.68 o 388878684 2607.14/358.69 o 388878683 2607.14/358.70 o 388878681 2607.98/358.71 o 388878680 2607.98/358.72 o 388878678 2617.55/359.96 o 388878677 2617.55/359.97 o 388878675 3416.85/460.25 o 388860643 3416.85/460.26 o 388860634 3416.85/460.27 o 388860625 3416.85/460.28 o 388860620 3416.85/460.29 o 388860616 3417.64/460.31 o 388860611 3417.64/460.31 o 388860607 3417.64/460.34 o 388860605 3417.64/460.35 o 388860601 3424.10/461.15 o 388860600 3424.82/461.21 o 388860597 3424.82/461.29 o 388860594 3426.42/461.48 o 388842570 3426.42/461.50 o 388842567 3427.27/461.51 o 388842566 3427.27/461.51 o 388842562 3427.27/461.52 o 388842561 3427.27/461.52 o 388842558 3427.27/461.53 o 388842557 3427.27/461.54 o 388842553 3427.27/461.56 o 388842552 3427.27/461.56 o 388842551 3427.27/461.58 o 388842548 3427.27/461.58 o 388842547 3427.27/461.58 o 388842543 3427.27/461.59 o 388842542 3427.27/461.60 o 388842539 3428.05/461.61 o 388842538 3428.05/461.61 o 388842534 3428.05/461.62 o 388842533 3428.05/461.63 o 388842530 3428.05/461.64 o 388842529 3428.05/461.65 o 388842525 3428.05/461.66 o 388842521 3428.05/461.67 o 388842519 3428.05/461.68 o 388842515 3428.05/461.69 o 388842511 3428.05/461.70 o 388842509 3428.84/461.71 o 388842505 3431.28/462.07 o 388842503 3431.28/462.09 o 388842502 3432.08/462.12 o 388842500 3432.08/462.13 o 388842499 3434.40/462.41 o 388842495 3434.40/462.42 o 388824460 3434.40/462.43 o 388824456 3434.40/462.45 o 388824451 3434.40/462.45 o 388824447 3434.40/462.46 o 388824442 3434.40/462.47 o 388824438 3434.40/462.47 o 388824437 3434.40/462.48 o 388824428 3434.40/462.49 o 388824419 3434.40/462.50 o 388824418 3435.22/462.51 o 388824413 3435.22/462.52 o 388824409 3435.22/462.54 o 388824406 3435.22/462.55 o 388824405 3435.22/462.57 o 388824403 3435.22/462.58 o 388824399 3440.77/463.25 o 388824398 3440.77/463.26 o 388824396 3440.77/463.28 o 388824395 3440.77/463.30 o 388824393 3441.57/463.32 o 388824392 3475.86/467.69 o 388824390 3476.71/467.72 o 388824389 3523.70/473.64 o 388806360 3523.70/473.65 o 388806356 3523.70/473.66 o 388806347 3523.70/473.68 o 388806346 3523.70/473.69 o 388806337 3523.70/473.69 o 388806328 3523.70/473.70 o 388806323 3524.50/473.71 o 388806319 3524.50/473.72 o 388806318 3524.50/473.73 o 388806309 3524.50/473.76 o 388806306 3524.50/473.77 o 388806305 3524.50/473.79 o 388806303 3525.30/473.82 o 388806299 3527.00/474.03 o 388806296 3527.00/474.04 o 388806295 3527.00/474.10 o 388806293 3527.00/474.11 o 388806292 3527.74/474.20 o 388806290 3528.46/474.21 o 388806289 4670.76/617.58 o 388806285 4671.56/617.60 o 388806283 4671.56/617.61 o 388806282 4671.56/617.63 o 388806280 4671.56/617.64 o 388806279 4678.74/618.51 o 388788260 4678.74/618.52 o 388788256 4678.74/618.53 o 388788246 4678.74/618.54 o 388788237 4678.74/618.55 o 388788228 4678.74/618.56 o 388788219 4678.74/618.57 o 388788215 4678.74/618.59 o 388788213 4679.54/618.61 o 388788209 4679.54/618.62 o 388788205 4679.54/618.64 o 388788204 4679.54/618.64 o 388788203 4679.54/618.66 o 388788200 4679.54/618.67 o 388788199 4681.94/618.94 o 388788196 4681.94/618.95 o 388788195 4681.94/618.97 o 388788192 4681.94/618.99 o 388788190 4681.94/619.00 o 388788189 6154.87/803.77 o 388770160 6154.87/803.78 o 388770151 6154.87/803.79 o 388770150 6154.87/803.79 o 388770141 6154.87/803.80 o 388770132 6155.72/803.82 o 388770123 6155.72/803.83 o 388770120 6155.72/803.84 o 388770119 6155.72/803.85 o 388770116 6155.72/803.86 o 388770115 6155.72/803.87 o 388770114 6155.72/803.88 o 388770113 6155.72/803.89 o 388770110 6156.48/803.91 o 388770109 6156.48/803.93 o 388770106 6156.48/803.94 o 388770105 6156.48/803.95 o 388770104 6156.48/803.96 o 388770103 6156.48/803.97 o 388770100 6156.48/803.98 o 388770099 6176.40/806.44 o 388770096 6176.40/806.45 o 388770095 6176.40/806.46 o 388770093 6176.40/806.47 o 388770092 6176.40/806.49 o 388770090 6177.17/806.50 o 388770089 7327.43/950.83 o 388770088 7327.43/950.85 o 388770085 7328.23/950.97 o 388752070 7328.23/950.98 o 388752061 7328.23/950.98 o 388752052 7328.23/950.98 o 388752051 7328.23/950.99 o 388752042 7328.23/951.00 o 388752041 7328.23/951.01 o 388752032 7328.23/951.01 o 388752023 7329.14/951.03 o 388752020 7329.14/951.04 o 388752019 7329.14/951.06 o 388752016 7329.14/951.07 o 388752015 7329.14/951.08 o 388752014 7329.14/951.09 o 388752013 7329.14/951.11 o 388752010 7329.89/951.11 o 388752009 7329.89/951.13 o 388752006 7329.89/951.14 o 388752005 7329.89/951.15 o 388752004 7329.89/951.16 o 388752003 7329.89/951.18 o 388752000 7329.89/951.19 o 388751999 7329.89/951.20 o 388751996 7330.63/951.21 o 388751995 7330.63/951.23 o 388751993 7330.63/951.24 o 388751992 7330.63/951.26 o 388751990 7330.63/951.27 o 388751989 8063.31/1043.14 o 388733960 8063.31/1043.15 o 388733950 8063.31/1043.15 o 388733941 8063.31/1043.16 o 388733932 8063.31/1043.17 o 388733923 8063.31/1043.18 o 388733920 8063.31/1043.19 o 388733919 8063.31/1043.20 o 388733916 8064.07/1043.21 o 388733915 8064.07/1043.22 o 388733914 8064.07/1043.23 o 388733913 8064.07/1043.25 o 388733910 8064.07/1043.26 o 388733909 8064.07/1043.27 o 388733906 8064.07/1043.28 o 388733905 8064.07/1043.29 o 388733904 8064.83/1043.30 o 388733903 8064.83/1043.31 o 388733900 8064.83/1043.32 o 388733899 8067.23/1043.66 o 388733896 8067.23/1043.67 o 388733895 8067.23/1043.69 o 388733893 8067.23/1043.70 o 388733892 8068.08/1043.72 o 388733889 10403.35/1336.74 o 388715870 10403.35/1336.75 o 388715861 10403.35/1336.75 o 388715860 10403.35/1336.76 o 388715851 10403.35/1336.77 o 388715842 10403.35/1336.77 o 388715841 10403.35/1336.78 o 388715832 10403.35/1336.79 o 388715823 10403.35/1336.80 o 388715820 10404.17/1336.81 o 388715819 10404.17/1336.83 o 388715816 10404.17/1336.84 o 388715815 10404.17/1336.85 o 388715814 10404.17/1336.86 o 388715813 10404.17/1336.87 o 388715810 10404.17/1336.88 o 388715809 10404.17/1336.90 o 388715806 10404.94/1336.91 o 388715805 10404.94/1336.92 o 388715804 10404.94/1336.94 o 388715803 10404.94/1336.95 o 388715800 10404.94/1336.96 o 388715799 10519.75/1351.39 o 388715796 10520.54/1351.41 o 388715795 10520.54/1351.42 o 388715793 10520.54/1351.43 o 388715792 10520.54/1351.45 o 388715789 13900.13/1775.46 o 388697801 13900.13/1775.46 o 388697792 13900.13/1775.47 o 388697790 13900.13/1775.48 o 388697787 13900.13/1775.49 o 388697784 13900.13/1775.50 o 388697781 13900.13/1775.50 o 388697778 13900.13/1775.50 o 388697775 13900.93/1775.51 o 388697772 13900.93/1775.52 o 388697769 13900.93/1775.53 o 388697766 13900.93/1775.54 o 388697765 13900.93/1775.54 o 388697762 13900.93/1775.54 o 388697761 13900.93/1775.55 o 388697758 13900.93/1775.55 o 388697756 13900.93/1775.56 o 388697755 13900.93/1775.58 o 388697752 13900.93/1775.58 o 388697750 13900.93/1775.59 o 388697748 13900.93/1775.60 o 388697745 13900.93/1775.60 o 388697742 13901.73/1775.61 o 388697740 13901.73/1775.62 o 388697739 13901.73/1775.62 o 388697737 13901.73/1775.63 o 388697736 13901.73/1775.64 o 388697735 13901.73/1775.65 o 388697733 13901.73/1775.66 o 388697732 13901.73/1775.67 o 388697730 13901.73/1775.68 o 388697727 13901.73/1775.69 o 388697726 13902.52/1775.70 o 388697725 13902.52/1775.70 o 388697722 13902.52/1775.71 o 388697720 13902.52/1775.73 o 388697717 13902.52/1775.74 o 388697716 13903.32/1775.83 o 388697714 13903.32/1775.84 o 388697711 13903.32/1775.86 o 388697710 13903.32/1775.87 o 388697708 13903.32/1775.87 o 388697707 13909.68/1776.65 o 388697706 13909.68/1776.66 o 388697704 13909.68/1776.67 o 388697703 13909.68/1776.68 o 388697701 13909.68/1776.70 o 388697700 13910.48/1776.70 o 388697698 13910.48/1776.71 o 388697697 14567.37/1859.17 o 388697696 14567.37/1859.19 o 388697695 14567.37/1859.20 o 388697693 14568.13/1859.21 o 388697692 14568.13/1859.22 o 388697690 14568.13/1859.23 o 388697689 19833.34/2520.10 s SATISFIABLE 19834.26/2520.15 v <instantiation> 19834.26/2520.15 v <list> 19834.26/2520.15 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] 19834.26/2520.15 v </list> 19834.26/2520.15 v <values> 19834.26/2520.15 v 2580 2348 2420 2576 2412 2448 2548 2680 2396 2328 2292 2452 2488 2448 2452 2300 2504 2580 2440 2308 2592 2584 2360 2476 2464 2372 2444 2540 2524 2524 2540 2476 2488 2452 2580 2540 2436 2396 2616 2540 2440 2540 2580 2536 2536 2464 2544 2484 2424 2544 2500 2520 2504 2328 2340 2580 2312 2516 2560 2544 2596 2324 2544 2424 2396 2348 2500 2524 2412 2540 2588 2520 2296 2564 2464 2436 2496 2368 2496 2412 2400 2612 2592 2468 2484 2516 2448 2540 2536 2480 2540 2336 2408 2400 2428 2448 2436 2484 2556 2452 2528 2436 2396 2464 2604 2540 2476 2616 2536 2568 2336 2448 2672 2576 2424 2360 2464 2428 2312 2332 2452 2540 2480 2580 2520 2492 2332 2544 2424 2500 2440 2580 2640 2516 2420 2444 2632 2344 2560 2492 2432 2464 2448 2508 2336 2572 2504 2544 2436 2372 2540 2396 2528 2480 2564 2272 2488 2456 2484 2580 2368 2408 2540 2344 2512 2444 2368 2424 2504 2512 2476 2540 2548 2608 2556 2556 2332 2580 2548 2460 2564 2488 2584 2372 2536 2488 2476 2460 2520 2436 2488 2632 2436 2476 2436 2400 2580 2596 2500 2504 2512 2348 2436 2576 2396 2436 2304 2468 2508 2464 2396 2488 2508 2552 2524 2312 2504 2536 2480 2524 2568 2480 2436 2324 2332 2384 2532 2472 2488 2460 2500 2476 2440 2440 2528 2496 2316 2464 2488 2384 2460 2468 2472 2352 2484 2580 2556 2428 2504 2544 2356 2500 2500 2432 2596 2472 2552 2424 2484 2428 2388 2288 2460 2476 2540 2452 2424 2384 2492 2448 2492 2460 2568 2496 2444 2376 2468 2296 2416 2448 2488 2608 2492 2504 2420 2380 2484 2352 2496 2284 2524 2484 2392 2388 2436 2468 2364 2400 2532 2436 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 3 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 4 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 5 10 10 10 10 10 10 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 10 10 0 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 5 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 3 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 10 5 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 10 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 4 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 0 10 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 12 220 128 168 172 0 20 132 92 148 28 12 84 112 232 36 192 52 80 132 48 88 36 124 128 28 64 40 164 120 24 176 168 116 80 0 72 128 160 60 96 120 28 236 60 228 176 84 240 88 204 4 64 44 76 72 20 100 280 112 112 128 176 84 76 80 32 160 132 124 60 184 72 120 12 24 56 76 76 160 248 44 8 148 44 100 84 56 188 24 68 104 180 168 112 140 140 312 112 200 236 204 308 104 180 240 152 324 228 56 144 164 216 28 40 116 108 252 216 216 212 8 108 200 152 184 20 60 24 244 252 120 256 252 16 0 76 112 124 148 56 80 88 64 184 128 20 24 44 92 56 148 0 224 4 112 92 12 64 40 152 0 88 48 48 156 44 140 124 32 180 16 124 28 24 12 16 184 176 148 332 256 200 144 40 208 56 168 52 80 108 36 16 76 64 36 124 140 40 0 268 256 40 12 64 184 212 144 196 292 96 296 96 192 132 96 72 40 100 40 176 40 124 96 108 8 20 52 180 236 212 16 128 172 132 332 36 172 4 124 188 232 128 180 232 12 76 32 52 184 12 56 160 4 24 96 108 60 20 108 8 68 12 8 76 16 80 232 104 52 48 0 220 156 200 220 48 176 124 208 136 32 56 0 60 8 84 24 80 132 80 64 56 16 100 120 0 40 16 16 168 104 220 36 68 64 64 116 64 124 88 16 120 64 8 96 16 196 108 12 68 8 96 44 112 56 56 116 28 92 40 52 16 112 48 60 60 20 116 12 80 100 16 32 64 56 32 16 4 56 12 64 132 40 16 48 72 204 72 16 56 80 104 68 116 104 64 0 92 96 92 24 24 44 60 20 20 136 8 88 140 56 120 52 16 24 36 180 16 72 144 44 132 40 244 100 0 68 68 16 232 104 80 56 40 216 144 12 12 68 80 164 244 256 56 40 108 24 104 8 104 88 40 12 12 84 72 44 184 84 52 116 48 16 76 132 112 220 8 180 112 128 64 124 172 200 0 20 172 44 144 76 36 172 4 64 12 12 88 8 144 152 12 104 108 8 48 4 84 128 48 28 64 24 4 172 44 0 140 0 116 64 104 92 16 8 104 156 180 44 128 20 36 0 104 16 184 0 128 0 72 208 44 8 112 8 48 72 56 104 60 88 8 76 32 72 84 12 0 100 28 32 92 116 56 92 104 116 80 116 116 0 72 32 32 60 44 96 60 72 8 52 176 200 144 104 72 108 136 44 88 76 24 20 64 104 164 96 188 116 160 40 12 0 24 108 36 172 32 56 64 44 128 152 28 76 80 164 40 80 20 68 28 16 76 84 24 120 72 20 96 20 76 16 16 44 84 8 68 12 76 92 12 32 68 36 20 0 60 0 48 16 168 72 156 108 104 200 44 108 108 240 228 84 100 124 120 96 256 112 136 112 144 196 204 296 192 228 136 216 304 152 36 124 160 72 164 172 28 172 80 20 68 24 68 64 24 36 204 12 44 12 116 80 60 112 196 4 84 68 36 44 12 56 168 292 108 92 136 164 168 104 128 92 216 292 108 112 8 60 36 52 28 160 160 64 148 144 92 20 172 32 148 48 80 132 144 0 24 128 148 152 52 120 116 188 172 144 100 4 16 40 16 20 172 0 12 32 12 60 12 8 92 76 20 52 116 104 20 76 132 56 12 80 196 0 92 72 156 64 164 244 56 256 176 220 8 120 152 92 120 248 60 16 136 88 84 48 136 48 72 140 32 20 64 116 68 4 12 28 0 64 20 68 160 8 148 12 28 60 72 56 84 48 52 36 108 36 44 80 144 32 32 32 56 0 168 108 16 104 164 96 96 48 40 60 24 56 32 68 48 144 192 80 32 132 4 12 124 72 20 216 144 32 168 104 140 4 300 280 216 28 16 112 216 308 60 152 116 328 256 64 148 40 156 104 220 24 208 16 32 72 112 60 144 20 36 8 24 32 4 172 12 52 64 148 56 36 76 52 20 32 80 12 120 24 24 88 100 196 20 116 8 68 80 140 56 68 44 204 36 100 164 80 60 12 12 96 184 40 44 88 12 92 0 0 204 104 12 104 76 16 12 88 140 92 204 160 40 100 148 196 84 172 152 172 168 100 80 128 80 24 160 216 140 32 148 28 80 72 64 52 188 96 152 48 96 8 32 124 104 48 4 24 40 36 92 88 104 24 80 148 4 48 84 0 104 100 8 100 52 68 40 64 12 104 72 40 44 28 20 24 20 172 196 4 24 148 204 0 124 72 64 60 52 104 36 128 72 16 88 16 40 40 24 64 104 68 40 84 72 144 60 32 64 40 200 116 0 156 12 64 96 100 40 112 24 28 112 28 32 8 40 80 104 184 144 220 188 28 60 100 204 28 56 68 188 16 140 24 96 16 104 24 32 76 28 80 284 176 128 188 76 92 264 136 68 72 112 64 132 108 304 0 12 12 204 16 16 56 132 20 64 104 64 160 44 68 112 88 168 148 128 4 208 20 88 76 264 88 108 20 132 84 36 20 100 220 156 220 220 76 124 132 208 76 84 4 168 60 104 8 84 120 80 48 72 4 40 112 76 64 120 32 228 20 212 224 128 44 116 164 148 208 192 172 88 156 128 16 72 52 56 0 24 64 68 88 44 8 32 60 84 16 168 0 20 32 52 64 0 212 172 0 44 120 112 188 28 16 64 16 8 0 60 52 12 116 4 16 116 116 4 104 60 248 252 68 64 20 36 176 40 80 116 40 84 116 124 52 100 104 28 44 108 76 80 148 24 116 64 104 72 16 52 40 0 172 44 96 12 84 220 132 368 92 136 200 260 12 64 144 20 28 32 24 52 20 116 28 24 84 60 68 20 48 4 136 124 8 128 92 84 0 52 132 208 172 104 228 100 204 144 92 56 80 104 48 152 84 20 256 128 76 64 32 56 16 60 0 32 116 56 80 200 28 28 76 144 132 116 104 20 4 60 52 160 92 104 24 40 8 212 12 52 204 16 12 92 132 112 16 32 80 192 172 28 48 20 104 56 104 36 112 64 112 72 132 96 156 92 120 236 72 36 72 176 152 80 20 100 8 68 24 208 44 116 168 8 76 168 100 80 8 136 140 268 188 32 148 108 12 32 28 60 16 0 32 20 40 148 48 84 88 24 196 108 104 132 40 48 0 120 92 96 108 112 120 172 28 128 80 16 76 172 4 12 16 68 12 88 140 8 144 32 52 24 164 76 24 180 24 24 44 68 80 0 28 48 52 24 172 168 108 184 156 56 84 164 124 28 80 112 64 8 44 72 120 104 140 36 40 88 28 160 120 164 28 56 20 40 32 100 48 72 152 112 20 160 20 160 104 224 136 12 116 56 48 4 268 64 24 208 12 116 92 72 96 32 164 128 104 44 140 148 96 88 84 224 88 8 56 0 16 4 36 36 32 24 104 48 0 0 12 48 0 68 60 40 12 140 288 116 220 204 92 128 64 8 84 52 88 176 8 24 0 40 48 4 24 12 56 28 60 40 32 84 12 84 84 4 92 164 28 160 20 176 316 244 216 160 28 24 24 48 4 64 88 28 36 108 196 96 0 72 16 164 76 180 132 160 156 16 0 212 24 80 24 188 32 44 80 36 160 36 152 4 52 24 20 52 116 92 52 184 108 184 144 40 108 80 8 160 204 8 64 84 180 92 0 172 184 16 80 84 60 72 4 92 4 104 212 104 28 68 32 100 156 28 92 160 116 52 96 24 36 8 44 40 36 112 36 52 44 52 24 140 96 104 88 12 108 216 52 148 60 140 48 48 48 0 152 140 176 124 200 40 32 64 4 16 108 40 116 56 84 20 56 16 20 108 36 24 52 24 8 84 56 84 20 28 124 88 104 112 64 76 4 24 172 120 4 132 60 4 96 8 88 100 100 100 4 76 36 32 96 84 28 96 176 188 12 84 20 60 96 20 84 156 180 20 76 40 144 88 76 72 112 64 60 216 28 168 20 44 84 12 20 100 152 104 136 24 188 88 4 196 24 8 192 8 88 44 4 120 48 20 68 60 4 48 8 108 108 312 12 188 20 52 140 64 104 28 200 0 12 104 96 132 19834.26/2520.15 v </values> 19834.26/2520.15 v </instantiation>
OK 388697689
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 (7990 MiB free) memory of node 1: 16384 MiB (12613 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292030-1532649259/watcher-4292030-1532649259 -o /tmp/evaluation-result-4292030-1532649259/solver-4292030-1532649259 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532644216-7042 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1765723824 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4292030-1532649259.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7368, runsolver pid=7365 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 8.43 8.70 8.72 3/199 7388 /proc/meminfo: memFree=21081036/32770624 swapFree=67108860/67108860 [pid=7368] ppid=7365 vsize=26103424 memory=30128 CPUtime=0.1 cores=0-7 /proc/7368/stat : 7368 (java) S 7365 7368 7015 0 -1 1077944320 6964 0 0 0 9 1 0 0 20 0 20 0 82489102 26729906176 7532 33554432000 4194304 4196468 140728156081936 140728156064480 140499844136695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 /proc/7368/statm: 6525856 7532 3136 1 0 6487932 0 [pid=7368/tid=7370] ppid=7365 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7368/task/7370/stat : 7370 (java) R 7365 7368 7015 0 -1 4202560 5142 0 0 0 8 1 0 0 20 0 20 0 82489102 26729906176 7598 33554432000 4194304 4196468 140728156081936 140499848339824 140499824412402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7371] ppid=7365 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7368/task/7371/stat : 7371 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7598 33554432000 4194304 4196468 140728156081936 140499796757648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7372] ppid=7365 vsize=26103424 memory=139707194640000 CPUtime=0 cores=0-7 /proc/7368/task/7372/stat : 7372 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7598 33554432000 4194304 4196468 140728156081936 140499795704848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7373] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7373/stat : 7373 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499794652048 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7374] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7374/stat : 7374 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499793599248 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7375] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7375/stat : 7375 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499792546448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7376] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7376/stat : 7376 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499791493648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7377] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7377/stat : 7377 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499790440848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7378] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7378/stat : 7378 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 7664 33554432000 4194304 4196468 140728156081936 140499394885904 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7379] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7379/stat : 7379 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 7664 33554432000 4194304 4196468 140728156081936 140498385730416 140499844147842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7380] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7380/stat : 7380 (java) S 7365 7368 7015 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 7664 33554432000 4194304 4196468 140728156081936 140498384676384 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7381] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7381/stat : 7381 (java) S 7365 7368 7015 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 7664 33554432000 4194304 4196468 140728156081936 140498383623536 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7382] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7382/stat : 7382 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7664 33554432000 4194304 4196468 140728156081936 140498382571856 140499844155291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7383] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7383/stat : 7383 (java) S 7365 7368 7015 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498381519216 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7384] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7384/stat : 7384 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498312358128 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7385] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7385/stat : 7385 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498311305328 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7386] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7386/stat : 7386 (java) S 7365 7368 7015 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498310252528 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7387] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7387/stat : 7387 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498309200992 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7388] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7388/stat : 7388 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 7730 33554432000 4194304 4196468 140728156081936 140498308148272 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30128 KiB [startup+0.209947 s]* /proc/loadavg: 8.43 8.70 8.72 3/199 7388 /proc/meminfo: memFree=21067580/32770624 swapFree=67108860/67108860 [pid=7368] ppid=7365 vsize=26103424 memory=43528 CPUtime=0.3 cores=0-7 /proc/7368/stat : 7368 (java) S 7365 7368 7015 0 -1 1077944320 10526 0 0 0 27 3 0 0 20 0 20 0 82489102 26729906176 10882 33554432000 4194304 4196468 140728156081936 140728156064480 140499844136695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 /proc/7368/statm: 6525856 10882 3314 1 0 6487932 0 [pid=7368/tid=7370] ppid=7365 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/7368/task/7370/stat : 7370 (java) R 7365 7368 7015 0 -1 4202560 8330 0 0 0 18 1 0 0 20 0 20 0 82489102 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499848363312 140499828180325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7371] ppid=7365 vsize=26103424 memory=10823 CPUtime=0 cores=0-7 /proc/7368/task/7371/stat : 7371 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499796757648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7372] ppid=7365 vsize=26103424 memory=139707194647356 CPUtime=0 cores=0-7 /proc/7368/task/7372/stat : 7372 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499795704848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7373] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7373/stat : 7373 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499794652048 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7374] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7374/stat : 7374 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499793599248 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7375] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7375/stat : 7375 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499792546448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7376] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7376/stat : 7376 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499791493648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7377] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7377/stat : 7377 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499790440848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7378] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7378/stat : 7378 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 10882 33554432000 4194304 4196468 140728156081936 140499394885904 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7379] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7379/stat : 7379 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498385730416 140499844147842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7380] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7380/stat : 7380 (java) S 7365 7368 7015 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498384676384 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7381] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7381/stat : 7381 (java) S 7365 7368 7015 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498383623536 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7382] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7382/stat : 7382 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498382571856 140499844155291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7383] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7383/stat : 7383 (java) S 7365 7368 7015 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498381519216 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7384] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7384/stat : 7384 (java) S 7365 7368 7015 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498312358128 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7385] ppid=7365 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/7368/task/7385/stat : 7385 (java) S 7365 7368 7015 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498311305328 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7386] ppid=7365 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/7368/task/7386/stat : 7386 (java) R 7365 7368 7015 0 -1 4202560 270 0 0 0 6 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498310252528 140499823441921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7387] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7387/stat : 7387 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498309200992 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7388] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7388/stat : 7388 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 10882 33554432000 4194304 4196468 140728156081936 140498308148272 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43528 KiB [startup+0.309464 s]* /proc/loadavg: 8.43 8.70 8.72 3/199 7388 /proc/meminfo: memFree=21064044/32770624 swapFree=67108860/67108860 [pid=7368] ppid=7365 vsize=26103424 memory=47080 CPUtime=0.42 cores=0-7 /proc/7368/stat : 7368 (java) S 7365 7368 7015 0 -1 1077944320 10949 0 0 0 39 3 0 0 20 0 20 0 82489102 26729906176 11770 33554432000 4194304 4196468 140728156081936 140728156064480 140499844136695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 /proc/7368/statm: 6525856 11770 3342 1 0 6487932 0 [pid=7368/tid=7370] ppid=7365 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/7368/task/7370/stat : 7370 (java) R 7365 7368 7015 0 -1 4202560 8655 0 0 0 28 2 0 0 20 0 20 0 82489102 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499848298432 140499825510152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7371] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7371/stat : 7371 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499796757648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7372] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7372/stat : 7372 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499795704848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7373] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7373/stat : 7373 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499794652048 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7374] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7374/stat : 7374 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499793599248 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7375] ppid=7365 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/7368/task/7375/stat : 7375 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499792546448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7376] ppid=7365 vsize=26103424 memory=139707031843759 CPUtime=0 cores=0-7 /proc/7368/task/7376/stat : 7376 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499791493648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7377] ppid=7365 vsize=26103424 memory=139707031846064 CPUtime=0 cores=0-7 /proc/7368/task/7377/stat : 7377 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499790440848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7378] ppid=7365 vsize=26103424 memory=139707031848368 CPUtime=0 cores=0-7 /proc/7368/task/7378/stat : 7378 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26729906176 11770 33554432000 4194304 4196468 140728156081936 140499394885904 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7379] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7379/stat : 7379 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498385730416 140499844147842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7380] ppid=7365 vsize=26103424 memory=279414063703696 CPUtime=0 cores=0-7 /proc/7368/task/7380/stat : 7380 (java) S 7365 7368 7015 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498384676384 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7381] ppid=7365 vsize=26103424 memory=279414063710608 CPUtime=0 cores=0-7 /proc/7368/task/7381/stat : 7381 (java) S 7365 7368 7015 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82489105 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498383623536 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7382] ppid=7365 vsize=26103424 memory=279414063651856 CPUtime=0 cores=0-7 /proc/7368/task/7382/stat : 7382 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498382571856 140499844155291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7383] ppid=7365 vsize=26103424 memory=279414063724432 CPUtime=0 cores=0-7 /proc/7368/task/7383/stat : 7383 (java) S 7365 7368 7015 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498381519216 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7384] ppid=7365 vsize=26103424 memory=279414063731344 CPUtime=0.01 cores=0-7 /proc/7368/task/7384/stat : 7384 (java) S 7365 7368 7015 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498312358128 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7385] ppid=7365 vsize=26103424 memory=279414063729040 CPUtime=0.01 cores=0-7 /proc/7368/task/7385/stat : 7385 (java) S 7365 7368 7015 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498311305328 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7386] ppid=7365 vsize=26103424 memory=279414063745648 CPUtime=0.07 cores=0-7 /proc/7368/task/7386/stat : 7386 (java) S 7365 7368 7015 0 -1 1077944384 277 0 0 0 7 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498310252528 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7387] ppid=7365 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7387/stat : 7387 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498309200992 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7388] ppid=7365 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/7368/task/7388/stat : 7388 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489108 26729906176 11770 33554432000 4194304 4196468 140728156081936 140498308148272 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 47080 KiB [startup+0.700871 s] /proc/loadavg: 8.43 8.70 8.72 2/199 7388 /proc/meminfo: memFree=21040356/32770624 swapFree=67108860/67108860 [pid=7368] ppid=7365 vsize=26105492 memory=89272 CPUtime=0.99 cores=0-7 /proc/7368/stat : 7368 (java) S 7365 7368 7015 0 -1 1077944320 17778 0 0 0 93 6 0 0 20 0 20 0 82489102 26732023808 22318 33554432000 4194304 4196468 140728156081936 140728156064480 140499844136695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 /proc/7368/statm: 6526373 22318 3475 1 0 6488444 0 [pid=7368/tid=7370] ppid=7365 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/7368/task/7370/stat : 7370 (java) R 7365 7368 7015 0 -1 4202560 15034 0 0 0 64 3 0 0 20 0 20 0 82489102 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499848363296 140499844158621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7371] ppid=7365 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7371/stat : 7371 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499796757648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7372] ppid=7365 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7372/stat : 7372 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499795704848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7373] ppid=7365 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/7368/task/7373/stat : 7373 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499794652048 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7374] ppid=7365 vsize=26105492 memory=1952 CPUtime=0 cores=0-7 /proc/7368/task/7374/stat : 7374 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499793599248 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7375] ppid=7365 vsize=26105492 memory=1200 CPUtime=0 cores=0-7 /proc/7368/task/7375/stat : 7375 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499792546448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7376] ppid=7365 vsize=26105492 memory=8552 CPUtime=0 cores=0-7 /proc/7368/task/7376/stat : 7376 (java) S 7365 7368 7015 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499791493648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7377] ppid=7365 vsize=26105492 memory=800 CPUtime=0 cores=0-7 /proc/7368/task/7377/stat : 7377 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499790440848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7378] ppid=7365 vsize=26105492 memory=15876 CPUtime=0 cores=0-7 /proc/7368/task/7378/stat : 7378 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489103 26732023808 22318 33554432000 4194304 4196468 140728156081936 140499394885904 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7379] ppid=7365 vsize=26105492 memory=16436 CPUtime=0 cores=0-7 /proc/7368/task/7379/stat : 7379 (java) S 7365 7368 7015 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82489105 26732023808 22318 33554432000 4194304 4196468 140728156081936 140498385730416 140499844147842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 ################ # More data... # ################ [pid=7368/tid=7396] ppid=7365 vsize=27852576 memory=0 CPUtime=2446.33 cores=0-7 /proc/7368/task/7396/stat : 7396 (java) R 7365 7368 7015 0 -1 4202560 70016 0 0 0 244465 168 0 0 20 0 46 0 82492937 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498281035352 140499473319653 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7397] ppid=7365 vsize=27852576 memory=1576 CPUtime=2459.77 cores=0-7 /proc/7368/task/7397/stat : 7397 (java) R 7365 7368 7015 0 -1 4202560 95049 0 0 0 245695 282 0 0 20 0 46 0 82492937 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498279982536 140499481528853 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7398] ppid=7365 vsize=27852576 memory=928 CPUtime=0.02 cores=0-7 /proc/7368/task/7398/stat : 7398 (java) S 7365 7368 7015 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 46 0 82492937 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498278938000 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7399] ppid=7365 vsize=27852576 memory=112249240 CPUtime=2447.08 cores=0-7 /proc/7368/task/7399/stat : 7399 (java) R 7365 7368 7015 0 -1 4202560 63230 0 0 0 244555 153 0 0 20 0 46 0 82492939 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498277876872 140499473319653 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7400] ppid=7365 vsize=27852576 memory=6656426216303648864 CPUtime=2455.06 cores=0-7 /proc/7368/task/7400/stat : 7400 (java) R 7365 7368 7015 0 -1 4202560 64378 0 0 0 245342 164 0 0 20 0 46 0 82492939 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498276826688 140499478300311 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7401] ppid=7365 vsize=27852576 memory=55 CPUtime=2455.64 cores=0-7 /proc/7368/task/7401/stat : 7401 (java) R 7365 7368 7015 0 -1 4202560 64167 0 0 0 245401 163 0 0 20 0 46 0 82492940 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498275771640 140499473320482 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7403] ppid=7365 vsize=27852576 memory=0 CPUtime=0.03 cores=0-7 /proc/7368/task/7403/stat : 7403 (java) S 7365 7368 7015 0 -1 1077944384 314 0 0 0 2 1 0 0 20 0 46 0 82494706 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498274726800 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7404] ppid=7365 vsize=27852576 memory=0 CPUtime=0.01 cores=0-7 /proc/7368/task/7404/stat : 7404 (java) S 7365 7368 7015 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 46 0 82494706 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498273675024 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7405] ppid=7365 vsize=27852576 memory=0 CPUtime=0.02 cores=0-7 /proc/7368/task/7405/stat : 7405 (java) S 7365 7368 7015 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 46 0 82494706 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498272622224 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7406] ppid=7365 vsize=27852576 memory=1952 CPUtime=0.01 cores=0-7 /proc/7368/task/7406/stat : 7406 (java) S 7365 7368 7015 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 46 0 82499614 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498269435408 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7407] ppid=7365 vsize=27852576 memory=1200 CPUtime=0.02 cores=0-7 /proc/7368/task/7407/stat : 7407 (java) S 7365 7368 7015 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 46 0 82499615 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498268382608 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7408] ppid=7365 vsize=27852576 memory=8552 CPUtime=0.01 cores=0-7 /proc/7368/task/7408/stat : 7408 (java) S 7365 7368 7015 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 46 0 82499615 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498267329808 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7409] ppid=7365 vsize=27852576 memory=800 CPUtime=0.02 cores=0-7 /proc/7368/task/7409/stat : 7409 (java) S 7365 7368 7015 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 46 0 82499617 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498266277008 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7410] ppid=7365 vsize=27852576 memory=15876 CPUtime=0.03 cores=0-7 /proc/7368/task/7410/stat : 7410 (java) S 7365 7368 7015 0 -1 1077944384 192 0 0 0 2 1 0 0 20 0 46 0 82499619 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498265224208 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7411] ppid=7365 vsize=27852576 memory=16436 CPUtime=0.02 cores=0-7 /proc/7368/task/7411/stat : 7411 (java) S 7365 7368 7015 0 -1 1077944384 308 0 0 0 0 2 0 0 20 0 46 0 82499630 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498264171408 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7412] ppid=7365 vsize=27852576 memory=14248 CPUtime=0.02 cores=0-7 /proc/7368/task/7412/stat : 7412 (java) S 7365 7368 7015 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 46 0 82499637 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498263119632 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7413] ppid=7365 vsize=27852576 memory=4008 CPUtime=0 cores=0-7 /proc/7368/task/7413/stat : 7413 (java) S 7365 7368 7015 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 46 0 82499842 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498262066832 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7414] ppid=7365 vsize=27852576 memory=1796 CPUtime=0.01 cores=0-7 /proc/7368/task/7414/stat : 7414 (java) S 7365 7368 7015 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 46 0 82499865 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498261014032 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7415] ppid=7365 vsize=27852576 memory=644 CPUtime=0.01 cores=0-7 /proc/7368/task/7415/stat : 7415 (java) S 7365 7368 7015 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 46 0 82499867 28521037824 2920793 33554432000 4194304 4196468 140728156081936 140498259961232 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 Current children cumulated CPU time: 19833.3 s Current children cumulated vsize: 27852576 KiB Current children cumulated memory: 11683172 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.52 s] # the end of solver process 7368 was just reported to runsolver # cumulated CPU time of all completed processes: user=19795.3 s, system=41.6569 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.4 s] /proc/loadavg: 9.39 8.86 8.76 10/224 7475 /proc/meminfo: memFree=9404964/32770624 swapFree=67108860/67108860 [pid=7368] ppid=7365 vsize=28052268 memory=11684492 CPUtime=19836.3 cores=0-7 /proc/7368/stat : 7368 (java) S 7365 7368 7015 0 -1 1077944320 2152019 0 0 0 1979475 4160 0 0 20 0 48 0 82489102 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140728156064480 140499844136695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 /proc/7368/statm: 7013067 2921123 3641 1 0 6974617 0 [pid=7368/tid=7370] ppid=7365 vsize=28052268 memory=7445972386562336868 CPUtime=35.5 cores=0-7 /proc/7368/task/7370/stat : 7370 (java) S 7365 7368 7015 0 -1 1077944384 42314 0 0 0 3470 80 0 0 20 0 48 0 82489102 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499848374160 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7371] ppid=7365 vsize=28052268 memory=6152601427092464743 CPUtime=17.12 cores=0-7 /proc/7368/task/7371/stat : 7371 (java) S 7365 7368 7015 0 -1 1077944384 162599 0 0 0 1419 293 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499796757648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7372] ppid=7365 vsize=28052268 memory=7379825719839647855 CPUtime=17.08 cores=0-7 /proc/7368/task/7372/stat : 7372 (java) S 7365 7368 7015 0 -1 1077944384 167965 0 0 0 1404 304 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499795704848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 59 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7373] ppid=7365 vsize=28052268 memory=6791534058613427641 CPUtime=17.07 cores=0-7 /proc/7368/task/7373/stat : 7373 (java) S 7365 7368 7015 0 -1 1077944384 159226 0 0 0 1407 300 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499794652048 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7374] ppid=7365 vsize=28052268 memory=2200 CPUtime=17.11 cores=0-7 /proc/7368/task/7374/stat : 7374 (java) S 7365 7368 7015 0 -1 1077944384 160532 0 0 0 1418 293 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499793599248 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7375] ppid=7365 vsize=28052268 memory=7528 CPUtime=17.13 cores=0-7 /proc/7368/task/7375/stat : 7375 (java) S 7365 7368 7015 0 -1 1077944384 170198 0 0 0 1411 302 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499792546448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7376] ppid=7365 vsize=28052268 memory=840 CPUtime=17.07 cores=0-7 /proc/7368/task/7376/stat : 7376 (java) S 7365 7368 7015 0 -1 1077944384 152158 0 0 0 1422 285 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499791493648 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7377] ppid=7365 vsize=28052268 memory=1696 CPUtime=17.06 cores=0-7 /proc/7368/task/7377/stat : 7377 (java) S 7365 7368 7015 0 -1 1077944384 157128 0 0 0 1407 299 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499790440848 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7378] ppid=7365 vsize=28052268 memory=916 CPUtime=17.13 cores=0-7 /proc/7368/task/7378/stat : 7378 (java) S 7365 7368 7015 0 -1 1077944384 151733 0 0 0 1416 297 0 0 20 0 48 0 82489103 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140499394885904 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7379] ppid=7365 vsize=28052268 memory=4148 CPUtime=1.07 cores=0-7 /proc/7368/task/7379/stat : 7379 (java) S 7365 7368 7015 0 -1 1077944384 68490 0 0 0 90 17 0 0 20 0 48 0 82489105 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498385730416 140499844147842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7380] ppid=7365 vsize=28052268 memory=33 CPUtime=0 cores=0-7 /proc/7368/task/7380/stat : 7380 (java) S 7365 7368 7015 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 48 0 82489105 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498384676448 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7381] ppid=7365 vsize=28052268 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7368/task/7381/stat : 7381 (java) S 7365 7368 7015 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 48 0 82489105 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498383623552 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7382] ppid=7365 vsize=28052268 memory=11684712 CPUtime=0 cores=0-7 /proc/7368/task/7382/stat : 7382 (java) S 7365 7368 7015 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498382571856 140499844155291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7383] ppid=7365 vsize=28052268 memory=288230613214036277 CPUtime=5.07 cores=0-7 /proc/7368/task/7383/stat : 7383 (java) S 7365 7368 7015 0 -1 1077944384 27948 0 0 0 502 5 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498381519216 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7384] ppid=7365 vsize=28052268 memory=13847486485760432 CPUtime=5 cores=0-7 /proc/7368/task/7384/stat : 7384 (java) R 7365 7368 7015 0 -1 1077944384 30431 0 0 0 492 8 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498312358128 140499844147842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7385] ppid=7365 vsize=28052268 memory=11684704 CPUtime=4.64 cores=0-7 /proc/7368/task/7385/stat : 7385 (java) S 7365 7368 7015 0 -1 1077944384 21082 0 0 0 459 5 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498311305328 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7386] ppid=7365 vsize=28052268 memory=1200 CPUtime=2.12 cores=0-7 /proc/7368/task/7386/stat : 7386 (java) S 7365 7368 7015 0 -1 1077944384 32738 0 0 0 204 8 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498310252528 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7387] ppid=7365 vsize=28052268 memory=8552 CPUtime=0 cores=0-7 /proc/7368/task/7387/stat : 7387 (java) S 7365 7368 7015 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498309200992 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7388] ppid=7365 vsize=28052268 memory=800 CPUtime=1.07 cores=0-7 /proc/7368/task/7388/stat : 7388 (java) S 7365 7368 7015 0 -1 1077944384 3201 0 0 0 58 49 0 0 20 0 48 0 82489108 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498308148272 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7389] ppid=7365 vsize=28052268 memory=15876 CPUtime=0.06 cores=0-7 /proc/7368/task/7389/stat : 7389 (java) S 7365 7368 7015 0 -1 1077944384 1125 0 0 0 6 0 0 0 20 0 48 0 82492896 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498294703184 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7390] ppid=7365 vsize=28052268 memory=16436 CPUtime=5.22 cores=0-7 /proc/7368/task/7390/stat : 7390 (java) S 7365 7368 7015 0 -1 1077944384 8511 0 0 0 254 268 0 0 20 0 48 0 82492913 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498291553568 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7391] ppid=7365 vsize=28052268 memory=14248 CPUtime=6.44 cores=0-7 /proc/7368/task/7391/stat : 7391 (java) S 7365 7368 7015 0 -1 1077944384 2629 0 0 0 630 14 0 0 20 0 48 0 82492929 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498288403728 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7392] ppid=7365 vsize=28052268 memory=4008 CPUtime=2463.21 cores=0-7 /proc/7368/task/7392/stat : 7392 (java) R 7365 7368 7015 0 -1 4202560 76626 0 0 0 246129 192 0 0 20 0 48 0 82492930 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498287342792 140499483396441 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7393] ppid=7365 vsize=28052268 memory=1796 CPUtime=2449.49 cores=0-7 /proc/7368/task/7393/stat : 7393 (java) R 7365 7368 7015 0 -1 4202560 120838 0 0 0 244632 317 0 0 20 0 48 0 82492930 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498286290088 140499484432345 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7394] ppid=7365 vsize=28052268 memory=644 CPUtime=2447.9 cores=0-7 /proc/7368/task/7394/stat : 7394 (java) R 7365 7368 7015 0 -1 4202560 66201 0 0 0 244607 183 0 0 20 0 48 0 82492937 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498283142136 140499484397537 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7395] ppid=7365 vsize=28052268 memory=956 CPUtime=6.44 cores=0-7 /proc/7368/task/7395/stat : 7395 (java) S 7365 7368 7015 0 -1 1077944384 2449 0 0 0 636 8 0 0 20 0 48 0 82492937 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498282096400 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7396] ppid=7365 vsize=28052268 memory=1236 CPUtime=2446.69 cores=0-7 /proc/7368/task/7396/stat : 7396 (java) R 7365 7368 7015 0 -1 4202560 70038 0 0 0 244501 168 0 0 20 0 48 0 82492937 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498281035216 140499484830546 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7397] ppid=7365 vsize=28052268 memory=11683172 CPUtime=2460.12 cores=0-7 /proc/7368/task/7397/stat : 7397 (java) R 7365 7368 7015 0 -1 4202560 95068 0 0 0 245730 282 0 0 20 0 48 0 82492937 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498279982512 140499473319680 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7398] ppid=7365 vsize=28052268 memory=4872558044660077418 CPUtime=0.02 cores=0-7 /proc/7368/task/7398/stat : 7398 (java) S 7365 7368 7015 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 48 0 82492937 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498278938000 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7399] ppid=7365 vsize=28052268 memory=1408 CPUtime=2447.42 cores=0-7 /proc/7368/task/7399/stat : 7399 (java) R 7365 7368 7015 0 -1 4202560 63248 0 0 0 244589 153 0 0 20 0 48 0 82492939 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498277876816 140499484434852 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7400] ppid=7365 vsize=28052268 memory=4604 CPUtime=2455.43 cores=0-7 /proc/7368/task/7400/stat : 7400 (java) R 7365 7368 7015 0 -1 4202560 64396 0 0 0 245379 164 0 0 20 0 48 0 82492939 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498276824016 140499482419088 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7401] ppid=7365 vsize=28052268 memory=11683172 CPUtime=2456 cores=0-7 /proc/7368/task/7401/stat : 7401 (java) R 7365 7368 7015 0 -1 4202560 64186 0 0 0 245437 163 0 0 20 0 48 0 82492940 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498275771352 140499473319653 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7403] ppid=7365 vsize=28052268 memory=8112282956445269571 CPUtime=0.04 cores=0-7 /proc/7368/task/7403/stat : 7403 (java) S 7365 7368 7015 0 -1 1077944384 446 0 0 0 3 1 0 0 20 0 48 0 82494706 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498274723392 140499844147842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7404] ppid=7365 vsize=28052268 memory=4872558044660077418 CPUtime=0.01 cores=0-7 /proc/7368/task/7404/stat : 7404 (java) S 7365 7368 7015 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 48 0 82494706 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498273675024 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7405] ppid=7365 vsize=28052268 memory=4008 CPUtime=0.02 cores=0-7 /proc/7368/task/7405/stat : 7405 (java) S 7365 7368 7015 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 48 0 82494706 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498272622224 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7406] ppid=7365 vsize=28052268 memory=1796 CPUtime=0.02 cores=0-7 /proc/7368/task/7406/stat : 7406 (java) R 7365 7368 7015 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 48 0 82499614 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498269426624 140499844146901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7407] ppid=7365 vsize=28052268 memory=644 CPUtime=0.02 cores=0-7 /proc/7368/task/7407/stat : 7407 (java) S 7365 7368 7015 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 48 0 82499615 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498268382608 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7408] ppid=7365 vsize=28052268 memory=11683172 CPUtime=0.03 cores=0-7 /proc/7368/task/7408/stat : 7408 (java) S 7365 7368 7015 0 -1 1077944384 357 0 0 0 2 1 0 0 20 0 48 0 82499615 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498267329808 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7409] ppid=7365 vsize=28052268 memory=4140 CPUtime=0.02 cores=0-7 /proc/7368/task/7409/stat : 7409 (java) S 7365 7368 7015 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 48 0 82499617 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498266277008 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7410] ppid=7365 vsize=28052268 memory=24424 CPUtime=0.04 cores=0-7 /proc/7368/task/7410/stat : 7410 (java) S 7365 7368 7015 0 -1 1077944384 623 0 0 0 3 1 0 0 20 0 48 0 82499619 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498265224208 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7411] ppid=7365 vsize=28052268 memory=2436 CPUtime=0.02 cores=0-7 /proc/7368/task/7411/stat : 7411 (java) S 7365 7368 7015 0 -1 1077944384 329 0 0 0 0 2 0 0 20 0 48 0 82499630 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498264171408 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7412] ppid=7365 vsize=28052268 memory=1296 CPUtime=0.02 cores=0-7 /proc/7368/task/7412/stat : 7412 (java) S 7365 7368 7015 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 48 0 82499637 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498263119632 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7413] ppid=7365 vsize=28052268 memory=8112282956445269571 CPUtime=0.02 cores=0-7 /proc/7368/task/7413/stat : 7413 (java) S 7365 7368 7015 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 48 0 82499842 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498262066832 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7414] ppid=7365 vsize=28052268 memory=4124 CPUtime=0.01 cores=0-7 /proc/7368/task/7414/stat : 7414 (java) S 7365 7368 7015 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 48 0 82499865 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498261014032 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 [pid=7368/tid=7415] ppid=7365 vsize=28052268 memory=11682664 CPUtime=0.01 cores=0-7 /proc/7368/task/7415/stat : 7415 (java) S 7365 7368 7015 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 48 0 82499867 28725522432 2921123 33554432000 4194304 4196468 140728156081936 140498259961232 140499844146901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12013568 140728156083277 140728156083461 140728156083461 140728156086223 0 Current children cumulated CPU time: 19836.3 s Current children cumulated vsize: 28052268 KiB Current children cumulated memory: 11684492 KiB [startup+2520.5 s]* /proc/loadavg: 9.39 8.86 8.76 2/180 7478 /proc/meminfo: memFree=18994368/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.52 CPU time (s): 19836.9 CPU user time (s): 19795.3 CPU system time (s): 41.6569 CPU usage (%): 787.016 Max. virtual memory (cumulated for all children) (KiB): 28052268 Max. memory (cumulated for all children) (KiB): 12635640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19795.3 system time used= 41.6569 maximum resident set size= 12641784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2152285 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 349257 involuntary context switches= 423856 # summary of solver processes directly reported to runsolver: # pid: 7368 # total CPU time (s): 19836.9 # total CPU user time (s): 19795.3 # total CPU system time (s): 41.6569 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.9434 second user time and 38.9836 second system time The end
Begin job on node136 at 2018-07-27 01:54:19 IDJOB=4292030 IDBENCH=141269 IDSOLVER=2745 FILE ID=node136/4292030-1532649259 RUNJOBID= node136-1532644216-7042 PBS_JOBID= 21022200 Free space on /tmp= 55700 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292030-1532649259/watcher-4292030-1532649259 -o /tmp/evaluation-result-4292030-1532649259/solver-4292030-1532649259 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532644216-7042 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1765723824 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4292030-1532649259.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8 RANDOM SEED=1765723824 node136.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.50 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.50 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.50 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.50 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: 21098632 kB MemAvailable: 31930208 kB Buffers: 238844 kB Cached: 10815404 kB SwapCached: 0 kB Active: 2921408 kB Inactive: 8184536 kB Active(anon): 2860 kB Inactive(anon): 76664 kB Active(file): 2918548 kB Inactive(file): 8107872 kB Unevictable: 7336 kB Mlocked: 7336 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 136696 kB Writeback: 0 kB AnonPages: 53164 kB Mapped: 41264 kB Shmem: 25228 kB Slab: 260984 kB SReclaimable: 233616 kB SUnreclaim: 27368 kB KernelStack: 3232 kB PageTables: 4720 kB NFS_Unstable: 40 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55664 MiB End job on node136 at 2018-07-27 02:36:20