Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 274414589 | 2520.05 | 2473.94 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml |
| MD5SUM | d2f9cd7b3c3026f57264f10c0685d9a6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26739930 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5284 |
| Number of constraints | 3360 |
| Number of domains | 68 |
| Minimum domain size | 1 |
| Maximum domain size | 135 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1562 |
| Distribution of variable degrees | [{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}] |
| Number of extensional constraints | 1561 |
| Number of intensional constraints | 1799 |
| Distribution of constraint types | [{"type":"extension","count":1561},{"type":"intension","count":1799}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.69/0.55 c version: 2018-08-17 0.69/0.55 c seed: 1801933832 0.69/0.55 c timeout: 2520 0.69/0.56 c memlimit: 11000 0.69/0.56 c nbcore: 1 0.69/0.58 c Parsing instance... 36.73/23.20 c Parsing done, starting search... 742.03/720.78 o 275148922 742.03/720.79 o 275148914 742.17/720.81 o 275148900 742.17/720.82 o 275148896 742.17/720.83 o 275148892 742.17/720.85 o 275133334 742.17/720.86 o 275133330 742.17/720.86 o 275133329 742.17/720.87 o 275133318 742.17/720.87 o 275133317 742.17/720.88 o 275133316 742.17/720.88 o 275133310 742.17/720.89 o 275133306 742.17/720.89 o 275133302 742.17/720.90 o 275133301 742.44/720.90 o 275133300 742.44/720.91 o 275133297 742.44/720.91 o 275133287 742.44/720.91 o 275133284 742.44/720.92 o 275133275 742.44/720.92 o 275133274 742.44/720.93 o 275133273 742.44/720.93 o 275133271 742.44/720.94 o 275133270 742.44/720.95 o 275133269 742.44/720.96 o 275117664 742.44/720.97 o 275117657 742.44/720.97 o 275117653 742.44/720.98 o 275117649 742.44/720.99 o 275117641 742.66/721.01 o 275117640 742.66/721.01 o 275117639 742.66/721.03 o 275102032 742.66/721.03 o 275102031 742.66/721.04 o 275102025 742.66/721.04 o 275102023 742.66/721.05 o 275102019 742.66/721.05 o 275102018 742.66/721.06 o 275102012 742.66/721.06 o 275102010 742.66/721.09 o 275086410 742.66/721.09 o 275086409 742.66/721.09 o 275086408 742.66/721.10 o 275086405 742.77/721.11 o 275086404 742.77/721.12 o 275086400 742.77/721.12 o 275086399 742.77/721.14 o 275086398 742.77/721.14 o 275086397 742.77/721.15 o 275086396 742.77/721.17 o 275070780 742.77/721.17 o 275070774 742.77/721.18 o 275070773 742.77/721.18 o 275070772 742.86/721.21 o 275055166 742.86/721.21 o 275055165 742.86/721.22 o 275055164 742.86/721.22 o 275055163 742.86/721.22 o 275055157 742.86/721.24 o 275055156 742.86/721.26 o 275055155 742.86/721.26 o 275055154 742.86/721.27 o 275055153 742.86/721.28 o 275055152 742.86/721.29 o 275055151 742.96/721.39 o 275039548 743.06/721.40 o 275039547 743.06/721.40 o 275039546 743.06/721.41 o 275039544 743.06/721.42 o 275039541 743.06/721.43 o 275039540 743.06/721.48 o 275023941 743.06/721.48 o 275023940 743.06/721.49 o 275023933 743.06/721.49 o 275023930 743.16/721.50 o 275023929 743.16/721.51 o 275023927 743.16/721.51 o 275023926 743.16/721.56 o 275023923 743.16/721.57 o 275023916 743.16/721.59 o 275023913 743.26/721.60 o 275023912 743.26/721.63 o 275023911 743.26/721.67 o 274992691 743.26/721.67 o 274992683 743.26/721.68 o 274992677 743.26/721.69 o 274992673 743.37/721.70 o 274992672 743.37/721.71 o 274992664 743.37/721.71 o 274992663 743.37/721.76 o 274992662 743.47/721.85 o 274977104 743.47/721.86 o 274977087 743.47/721.86 o 274977075 743.47/721.87 o 274977064 743.47/721.87 o 274977063 743.47/721.89 o 274977060 743.57/721.91 o 274977056 743.57/721.91 o 274977055 743.57/721.92 o 274977054 743.57/721.92 o 274977050 743.57/721.92 o 274977046 743.57/721.93 o 274977045 743.78/722.11 o 274977044 743.87/722.28 o 274977043 743.87/722.29 o 274977042 744.17/722.59 o 274977041 744.47/722.81 o 274961443 744.47/722.82 o 274961442 744.47/722.83 o 274961441 744.47/722.83 o 274961438 744.47/722.84 o 274961437 744.47/722.87 o 274961436 744.47/722.87 o 274961435 744.47/722.88 o 274961434 744.47/722.89 o 274961433 744.57/722.90 o 274961432 744.57/722.90 o 274961431 744.57/722.92 o 274961430 744.68/723.07 o 274961429 744.68/723.07 o 274961425 744.68/723.08 o 274961424 744.68/723.09 o 274961423 744.87/723.27 o 274961420 744.87/723.28 o 274961419 744.87/723.30 o 274961418 745.08/723.43 o 274961417 745.58/723.97 o 274945873 745.58/723.97 o 274945865 745.58/723.97 o 274945861 745.58/723.98 o 274945852 745.58/723.98 o 274945849 745.58/723.99 o 274945848 745.58/724.00 o 274945842 745.69/724.01 o 274945841 745.69/724.02 o 274945840 745.69/724.03 o 274945832 745.69/724.04 o 274945831 745.69/724.08 o 274945823 745.79/724.11 o 274945822 745.79/724.14 o 274930260 745.79/724.15 o 274930259 745.79/724.15 o 274930258 745.79/724.16 o 274930257 745.79/724.16 o 274930256 745.79/724.16 o 274930255 745.79/724.17 o 274930254 745.79/724.17 o 274930249 745.79/724.18 o 274930248 745.79/724.18 o 274930246 745.79/724.19 o 274930240 745.79/724.20 o 274930236 745.88/724.20 o 274930226 745.88/724.21 o 274930223 745.88/724.23 o 274930222 745.88/724.25 o 274930216 745.88/724.26 o 274930215 745.88/724.27 o 274930212 745.88/724.28 o 274930211 745.98/724.31 o 274930203 745.98/724.32 o 274930202 746.08/724.41 o 274930200 746.08/724.42 o 274930199 746.08/724.46 o 274930197 746.08/724.46 o 274930195 746.08/724.47 o 274930194 746.18/724.52 o 274930193 746.28/724.67 o 274914633 746.28/724.68 o 274914632 746.28/724.68 o 274914629 746.28/724.68 o 274914628 746.28/724.69 o 274914626 746.28/724.70 o 274914625 746.38/724.70 o 274914619 746.38/724.71 o 274914618 746.38/724.72 o 274914617 746.38/724.73 o 274914616 746.38/724.73 o 274914614 746.38/724.74 o 274914613 746.38/724.75 o 274914610 746.38/724.75 o 274914607 746.38/724.76 o 274914606 746.38/724.79 o 274914605 746.48/724.80 o 274914604 746.48/724.81 o 274914603 746.48/724.82 o 274914602 746.48/724.89 o 274914601 746.58/724.90 o 274914598 746.58/724.95 o 274914597 747.23/725.57 o 274914594 747.23/725.58 o 274914591 747.23/725.58 o 274914590 747.23/725.59 o 274914589 747.33/725.70 o 274914588 747.85/726.13 o 274914587 747.85/726.14 o 274914586 747.85/726.16 o 274914585 747.85/726.17 o 274914584 747.85/726.18 o 274914583 747.94/726.21 o 274914580 747.94/726.22 o 274914579 748.34/726.65 o 274914578 748.75/727.08 o 274914577 748.75/727.09 o 274914576 748.85/727.11 o 274914573 748.85/727.12 o 274914572 750.50/728.73 o 274899018 750.50/728.74 o 274899015 750.50/728.74 o 274899007 750.50/728.75 o 274899005 750.50/728.76 o 274899004 750.60/728.80 o 274899003 750.60/728.87 o 274899002 750.60/728.89 o 274899001 750.60/728.89 o 274898999 750.70/728.90 o 274898998 750.70/728.92 o 274898996 750.70/728.95 o 274898995 750.91/729.19 o 274898992 750.91/729.19 o 274898991 751.00/729.20 o 274898990 751.00/729.20 o 274898989 751.00/729.29 o 274898988 751.10/729.31 o 274898987 751.20/729.42 o 274898985 751.20/729.42 o 274898984 751.20/729.44 o 274898983 751.20/729.45 o 274898982 752.30/730.56 o 274898981 752.30/730.56 o 274898980 752.30/730.57 o 274898979 752.30/730.57 o 274898978 752.30/730.58 o 274898977 752.30/730.58 o 274898976 752.30/730.59 o 274898975 752.40/730.64 o 274898972 756.41/734.69 o 274898971 758.61/736.86 o 274898970 758.61/736.88 o 274898969 759.01/737.25 o 274898968 759.71/737.91 o 274883441 759.71/737.91 o 274883425 759.71/737.92 o 274883422 759.71/737.92 o 274883413 759.71/737.92 o 274883407 759.71/737.93 o 274883405 759.71/737.93 o 274883404 759.71/737.93 o 274883386 759.71/737.94 o 274883384 759.71/737.95 o 274883383 759.71/737.95 o 274883379 759.71/737.96 o 274883375 759.71/737.97 o 274883371 759.71/737.98 o 274883369 759.71/737.98 o 274883368 759.83/738.03 o 274883367 759.83/738.03 o 274883365 759.83/738.09 o 274867772 759.83/738.10 o 274867771 759.94/738.11 o 274867769 759.94/738.11 o 274867768 759.94/738.12 o 274867765 760.53/738.74 o 274867764 760.53/738.75 o 274867763 760.53/738.79 o 274867762 760.53/738.79 o 274867761 760.53/738.80 o 274867755 760.63/738.84 o 274867754 760.63/738.85 o 274867752 763.53/741.77 o 274867751 764.23/742.43 o 274867746 764.23/742.46 o 274867745 771.33/749.57 o 274867744 771.33/749.58 o 274867741 771.33/749.58 o 274867740 771.33/749.59 o 274867739 771.53/749.70 o 274867738 772.13/750.31 o 274867736 772.13/750.32 o 274867735 774.63/752.89 o 274867734 778.74/756.99 o 274852144 778.74/756.99 o 274852142 778.74/757.00 o 274852141 778.74/757.00 o 274852138 778.85/757.01 o 274852127 778.85/757.02 o 274852124 778.85/757.03 o 274852123 778.85/757.04 o 274852122 778.85/757.08 o 274836518 778.85/757.09 o 274836517 778.85/757.09 o 274836516 778.85/757.10 o 274836515 778.85/757.10 o 274836512 778.95/757.12 o 274836511 779.04/757.28 o 274836510 779.04/757.29 o 274836509 779.04/757.29 o 274836506 779.14/757.32 o 274836503 779.24/757.40 o 274836502 779.34/757.57 o 274836501 779.85/758.05 o 274836500 780.14/758.30 o 274836499 780.54/758.74 o 274836498 780.64/758.80 o 274836497 780.95/759.14 o 274836496 781.04/759.23 o 274836495 781.04/759.24 o 274836494 781.14/759.30 o 274836493 787.42/765.56 o 274836492 787.82/765.90 o 274820904 787.82/765.90 o 274820901 787.82/765.91 o 274820895 787.82/765.94 o 274820893 787.82/765.94 o 274820891 788.12/766.30 o 274820890 788.22/766.30 o 274820889 788.32/766.49 o 274820888 794.12/772.20 o 274820887 794.83/772.94 o 274820886 795.94/774.01 o 274820885 799.53/777.67 o 274820884 799.94/778.04 o 274820883 816.44/794.57 o 274820882 816.44/794.57 o 274820881 816.54/794.61 o 274820880 817.14/795.26 o 274820879 817.14/795.26 o 274820877 817.44/795.54 o 274820876 817.44/795.54 o 274820874 817.44/795.55 o 274820873 817.84/795.93 o 274820872 821.74/799.88 o 274820870 821.74/799.88 o 274820869 821.74/799.88 o 274820868 821.84/799.92 o 274820867 827.08/805.01 o 274820866 827.08/805.01 o 274820865 827.08/805.03 o 274805298 827.08/805.04 o 274805297 827.08/805.04 o 274805279 827.08/805.04 o 274805273 827.08/805.05 o 274805264 827.08/805.05 o 274805263 827.08/805.06 o 274805257 827.08/805.06 o 274805253 827.08/805.07 o 274805249 827.08/805.07 o 274805247 827.27/805.21 o 274805244 827.27/805.24 o 274805238 827.37/805.37 o 274805237 829.08/807.04 o 274789709 829.08/807.04 o 274789699 829.08/807.04 o 274789695 829.08/807.05 o 274789693 829.08/807.05 o 274789675 829.08/807.05 o 274789666 829.08/807.06 o 274789664 829.08/807.06 o 274789663 829.08/807.08 o 274789660 829.08/807.08 o 274789659 829.27/807.29 o 274789656 829.27/807.29 o 274789652 829.67/807.69 o 274789650 829.77/807.70 o 274789643 829.77/807.71 o 274789641 829.77/807.71 o 274789640 829.77/807.72 o 274789639 829.77/807.73 o 274789638 829.77/807.73 o 274789637 829.77/807.74 o 274789635 829.77/807.74 o 274789634 830.18/808.13 o 274789633 830.27/808.25 o 274789631 830.27/808.26 o 274789630 832.08/810.09 o 274774094 832.08/810.09 o 274774088 832.08/810.09 o 274774087 832.08/810.10 o 274774081 832.08/810.10 o 274774075 832.08/810.11 o 274774068 832.18/810.11 o 274774059 832.18/810.11 o 274774052 832.18/810.12 o 274774048 832.18/810.12 o 274774044 832.29/810.20 o 274774043 832.29/810.21 o 274774041 832.29/810.21 o 274774040 832.29/810.22 o 274774037 832.29/810.23 o 274774036 832.39/810.31 o 274774035 832.59/810.54 o 274774033 832.59/810.54 o 274774032 837.59/815.55 o 274774031 866.09/843.92 o 274774030 866.09/843.92 o 274774029 866.09/843.92 o 274774028 866.09/843.93 o 274774027 866.09/843.93 o 274774026 866.09/843.95 o 274774025 866.09/843.96 o 274774020 866.09/843.97 o 274774019 866.09/843.97 o 274774018 866.09/843.98 o 274774017 866.09/843.99 o 274774016 866.20/844.03 o 274774013 866.20/844.04 o 274774012 866.20/844.04 o 274774011 866.20/844.05 o 274774010 866.39/844.20 o 274774009 866.69/844.56 o 274774008 866.69/844.56 o 274774007 866.79/844.62 o 274774006 867.89/845.73 o 274774005 867.89/845.75 o 274774004 868.89/846.78 o 274774003 868.89/846.78 o 274774002 870.69/848.54 o 274774001 870.69/848.54 o 274774000 870.79/848.64 o 274773999 870.79/848.67 o 274773998 871.69/849.50 o 274773997 871.69/849.51 o 274773995 871.69/849.53 o 274773993 871.69/849.54 o 274773992 871.89/849.71 o 274773991 871.89/849.79 o 274773990 871.99/849.86 o 274773989 871.99/849.87 o 274773988 871.99/849.88 o 274773987 874.39/852.22 o 274773986 876.60/854.47 o 274773985 876.60/854.47 o 274773981 876.60/854.47 o 274773979 876.60/854.48 o 274773977 876.60/854.49 o 274773975 876.70/854.54 o 274773974 876.70/854.56 o 274773973 876.70/854.57 o 274773972 876.70/854.57 o 274773971 876.70/854.57 o 274773970 876.70/854.57 o 274773969 876.70/854.57 o 274773968 876.70/854.58 o 274773967 876.70/854.58 o 274773966 876.70/854.59 o 274773965 876.70/854.59 o 274773962 876.80/854.61 o 274773955 876.80/854.62 o 274773954 877.00/854.80 o 274773953 877.11/854.91 o 274773947 877.11/854.92 o 274773946 878.01/855.86 o 274773945 878.01/855.86 o 274773944 878.01/855.87 o 274773943 878.11/855.93 o 274773941 878.11/855.93 o 274773940 878.11/855.94 o 274773939 878.11/855.94 o 274773938 878.11/855.95 o 274773937 878.11/855.96 o 274773936 878.11/855.98 o 274773934 878.11/855.98 o 274773933 878.32/856.12 o 274773932 878.32/856.13 o 274773931 879.41/857.23 o 274773930 879.41/857.24 o 274773929 879.41/857.25 o 274773928 879.41/857.26 o 274773927 879.51/857.31 o 274773918 879.51/857.32 o 274773915 879.51/857.33 o 274773912 879.51/857.33 o 274773908 879.51/857.35 o 274773907 879.51/857.36 o 274773902 879.51/857.39 o 274773888 879.61/857.40 o 274773887 879.61/857.40 o 274773884 879.61/857.42 o 274773883 879.61/857.43 o 274773882 879.61/857.43 o 274773881 880.81/858.63 o 274758320 880.81/858.63 o 274758319 880.81/858.64 o 274758317 880.81/858.64 o 274758311 880.81/858.64 o 274758305 880.81/858.65 o 274758302 880.81/858.65 o 274758301 880.81/858.65 o 274758300 880.81/858.66 o 274758297 880.81/858.67 o 274758296 880.81/858.68 o 274758295 880.81/858.69 o 274758294 880.81/858.69 o 274758291 880.91/858.73 o 274758284 880.91/858.77 o 274758283 880.91/858.78 o 274758282 882.01/859.84 o 274758280 882.01/859.84 o 274758279 882.01/859.85 o 274758277 882.01/859.86 o 274758275 882.11/859.90 o 274758274 882.11/859.93 o 274742675 882.11/859.93 o 274742667 882.11/859.94 o 274742666 882.11/859.94 o 274742665 882.11/859.94 o 274742661 882.11/859.95 o 274742660 882.11/859.95 o 274742659 882.11/859.98 o 274742657 884.74/862.45 o 274742656 884.74/862.49 o 274742655 884.84/862.51 o 274742653 885.32/862.90 o 274742652 885.53/863.12 o 274742648 885.53/863.17 o 274742647 887.82/865.49 o 274727123 887.82/865.49 o 274727118 887.82/865.49 o 274727117 887.82/865.50 o 274727116 887.92/865.50 o 274727109 887.92/865.50 o 274727108 887.92/865.51 o 274727105 887.92/865.51 o 274727102 887.92/865.52 o 274727101 887.92/865.53 o 274727098 887.92/865.53 o 274727097 887.92/865.54 o 274727095 887.92/865.54 o 274727092 887.92/865.56 o 274727091 887.92/865.56 o 274727090 887.92/865.59 o 274727089 888.02/865.63 o 274727088 888.22/865.81 o 274727087 888.22/865.84 o 274727084 888.22/865.84 o 274727083 888.22/865.85 o 274727082 888.22/865.86 o 274727081 888.22/865.86 o 274727080 888.22/865.86 o 274727079 888.22/865.88 o 274727078 889.82/867.40 o 274727077 889.92/867.50 o 274727074 890.72/868.38 o 274727073 891.02/868.63 o 274727072 891.02/868.63 o 274727071 891.02/868.64 o 274727070 891.22/868.81 o 274727068 891.22/868.81 o 274727067 892.02/869.64 o 274727066 892.02/869.64 o 274727065 892.02/869.65 o 274727064 892.02/869.66 o 274727063 892.12/869.75 o 274727060 893.43/871.10 o 274727059 893.53/871.11 o 274727057 893.53/871.13 o 274727056 893.53/871.14 o 274727052 893.53/871.19 o 274727051 893.62/871.26 o 274727050 893.62/871.27 o 274727047 893.72/871.36 o 274727046 896.12/873.78 o 274711494 896.12/873.78 o 274711486 896.12/873.79 o 274711485 896.12/873.79 o 274711484 896.12/873.79 o 274711475 896.21/873.80 o 274711474 896.21/873.80 o 274711466 896.21/873.81 o 274711465 896.21/873.82 o 274711464 896.21/873.82 o 274711463 896.21/873.84 o 274711462 896.21/873.84 o 274711461 896.21/873.85 o 274711460 896.21/873.85 o 274711459 896.21/873.86 o 274711446 896.21/873.86 o 274711444 896.21/873.87 o 274711438 896.21/873.88 o 274711437 896.21/873.89 o 274711436 896.21/873.90 o 274711430 896.31/873.93 o 274711429 897.72/875.33 o 274711428 898.02/875.60 o 274711427 901.03/878.68 o 274711426 901.03/878.69 o 274711425 903.82/881.43 o 274711421 903.82/881.44 o 274711419 903.82/881.45 o 274711413 903.82/881.46 o 274711410 903.82/881.48 o 274711409 903.92/881.50 o 274711407 903.92/881.51 o 274711402 903.92/881.52 o 274711401 903.92/881.52 o 274711400 906.53/884.05 o 274695931 906.53/884.05 o 274695926 906.53/884.08 o 274695924 906.53/884.08 o 274695923 906.53/884.09 o 274695922 906.53/884.10 o 274695917 906.63/884.11 o 274695915 906.63/884.12 o 274695914 906.63/884.17 o 274695911 906.63/884.18 o 274695910 906.63/884.18 o 274695909 906.63/884.19 o 274695908 906.72/884.21 o 274695907 906.72/884.22 o 274695901 906.72/884.24 o 274695900 906.72/884.26 o 274695897 906.72/884.26 o 274695896 906.72/884.26 o 274695894 906.72/884.28 o 274695888 906.72/884.29 o 274695882 906.82/884.31 o 274695876 906.82/884.32 o 274695872 906.82/884.39 o 274695871 906.92/884.40 o 274695864 906.92/884.40 o 274695863 906.92/884.42 o 274695862 906.92/884.48 o 274695861 906.92/884.48 o 274695860 908.32/885.88 o 274695859 908.53/886.08 o 274695856 908.53/886.08 o 274695853 909.72/887.26 o 274695852 909.72/887.26 o 274695849 909.72/887.27 o 274695848 909.72/887.27 o 274695846 909.82/887.31 o 274695834 909.82/887.33 o 274695830 909.82/887.34 o 274695829 910.72/888.24 o 274695828 915.43/892.95 o 274695825 915.43/892.95 o 274695824 915.43/892.96 o 274695823 915.43/892.96 o 274695820 915.43/892.97 o 274695819 915.53/893.02 o 274695811 915.53/893.03 o 274695809 915.53/893.04 o 274695806 915.53/893.04 o 274695798 915.53/893.05 o 274695797 915.74/893.20 o 274695796 915.74/893.21 o 274695793 915.74/893.23 o 274695792 916.34/893.85 o 274695775 916.34/893.86 o 274695774 916.34/893.86 o 274695773 916.34/893.87 o 274695770 916.34/893.88 o 274695769 916.34/893.89 o 274695768 916.44/893.90 o 274695764 916.44/893.91 o 274695763 921.34/898.87 o 274695761 921.34/898.88 o 274695756 921.34/898.89 o 274695755 923.84/901.30 o 274695754 925.65/903.13 o 274695753 925.65/903.16 o 274695752 925.65/903.17 o 274695751 925.65/903.20 o 274695750 925.74/903.20 o 274695749 925.74/903.24 o 274695748 925.94/903.46 o 274695746 927.15/904.56 o 274695745 927.35/904.72 o 274695744 927.35/904.72 o 274695743 927.35/904.73 o 274695735 927.35/904.74 o 274695734 929.76/907.17 o 274695733 929.76/907.18 o 274695732 929.86/907.28 o 274695731 930.06/907.48 o 274695730 930.06/907.49 o 274695727 930.16/907.50 o 274695726 930.16/907.52 o 274695725 930.26/907.62 o 274695724 930.26/907.63 o 274695723 930.36/907.78 o 274695721 931.16/908.58 o 274695720 931.56/908.92 o 274695719 931.66/909.07 o 274695718 932.66/910.02 o 274695717 932.66/910.03 o 274695715 932.66/910.06 o 274695714 932.76/910.19 o 274695711 932.85/910.20 o 274695710 932.85/910.21 o 274695709 932.85/910.28 o 274695708 936.86/914.23 o 274680217 936.86/914.23 o 274680215 936.86/914.24 o 274680206 936.86/914.24 o 274680201 937.16/914.50 o 274680200 937.16/914.51 o 274680199 937.16/914.51 o 274680198 937.46/914.84 o 274680197 937.86/915.27 o 274680196 937.86/915.27 o 274680195 937.86/915.27 o 274680194 937.96/915.31 o 274680193 937.96/915.32 o 274680192 937.96/915.32 o 274680190 937.96/915.33 o 274680188 939.06/916.42 o 274680187 939.06/916.42 o 274680186 939.06/916.43 o 274680183 939.06/916.45 o 274680180 939.06/916.45 o 274680179 939.06/916.46 o 274680178 939.06/916.46 o 274680176 939.06/916.46 o 274680171 939.06/916.47 o 274680170 939.06/916.47 o 274680162 939.36/916.75 o 274680161 939.46/916.85 o 274680159 943.77/921.12 o 274664590 943.77/921.12 o 274664589 943.77/921.13 o 274664585 943.77/921.14 o 274664584 943.77/921.14 o 274664583 943.77/921.15 o 274664582 943.77/921.17 o 274664573 943.77/921.18 o 274664572 943.77/921.18 o 274664570 943.77/921.18 o 274664569 943.77/921.18 o 274664568 943.77/921.19 o 274664567 943.86/921.20 o 274664566 943.86/921.21 o 274664564 943.86/921.22 o 274664563 943.86/921.24 o 274664559 943.86/921.24 o 274664558 943.86/921.27 o 274664557 944.26/921.69 o 274664556 944.36/921.72 o 274664555 944.67/922.05 o 274664554 947.28/924.50 o 274664553 947.28/924.50 o 274664552 947.28/924.51 o 274664551 947.38/924.65 o 274664550 947.48/924.70 o 274664543 947.58/924.86 o 274664541 947.78/925.08 o 274664540 952.08/929.39 o 274664538 952.08/929.39 o 274664537 952.18/929.44 o 274664536 952.48/929.71 o 274649020 952.48/929.72 o 274649018 952.48/929.72 o 274649017 952.48/929.72 o 274649012 952.48/929.72 o 274649011 952.48/929.73 o 274649005 952.48/929.73 o 274649000 952.48/929.74 o 274648999 952.48/929.74 o 274648998 952.48/929.74 o 274648994 952.48/929.75 o 274648991 952.48/929.75 o 274648985 952.48/929.76 o 274648984 952.48/929.76 o 274648978 952.48/929.77 o 274648968 952.48/929.78 o 274648966 952.48/929.78 o 274648965 952.48/929.78 o 274648964 952.48/929.79 o 274648959 952.48/929.80 o 274648958 952.58/929.80 o 274648957 952.58/929.81 o 274648956 952.58/929.81 o 274648952 952.58/929.82 o 274648949 952.58/929.83 o 274648941 952.58/929.85 o 274648936 952.58/929.86 o 274648928 952.58/929.87 o 274648927 952.58/929.90 o 274648925 952.68/929.90 o 274648924 952.68/929.92 o 274648920 952.68/929.93 o 274648919 952.68/929.93 o 274648918 954.18/931.41 o 274648917 954.18/931.42 o 274648915 956.68/933.99 o 274648914 956.68/933.99 o 274648913 956.68/934.00 o 274648912 956.79/934.05 o 274648911 956.79/934.08 o 274648906 957.08/934.33 o 274648905 957.08/934.34 o 274648904 957.08/934.38 o 274648903 957.08/934.38 o 274648901 957.38/934.65 o 274648900 958.58/935.87 o 274648899 958.68/935.90 o 274648896 988.22/965.32 o 274648895 989.42/966.55 o 274648893 989.42/966.57 o 274648892 989.72/966.85 o 274648891 989.72/966.85 o 274648888 989.72/966.86 o 274648887 989.72/966.87 o 274648886 996.04/973.15 o 274617720 996.04/973.15 o 274617718 996.04/973.15 o 274617717 996.04/973.16 o 274617716 996.04/973.16 o 274617711 996.04/973.19 o 274617710 996.04/973.19 o 274617709 996.04/973.19 o 274617708 996.14/973.23 o 274617704 996.14/973.25 o 274617700 996.44/973.52 o 274617699 996.44/973.53 o 274617694 996.44/973.54 o 274617693 996.54/973.63 o 274617690 996.54/973.66 o 274617689 1001.07/978.04 o 274617688 1006.17/983.11 o 274617687 1006.26/983.28 o 274617686 1009.26/986.22 o 274617683 1009.26/986.22 o 274617682 1009.26/986.23 o 274617681 1061.46/1038.14 o 274602246 1061.46/1038.14 o 274602225 1061.46/1038.14 o 274602224 1061.46/1038.15 o 274602221 1061.46/1038.15 o 274602220 1061.46/1038.15 o 274602219 1061.46/1038.15 o 274602216 1061.46/1038.15 o 274602215 1061.46/1038.16 o 274602214 1061.46/1038.16 o 274602210 1061.46/1038.16 o 274602209 1061.46/1038.17 o 274602202 1061.46/1038.17 o 274602199 1061.46/1038.18 o 274602191 1061.46/1038.18 o 274602190 1061.46/1038.18 o 274602189 1061.46/1038.19 o 274602188 1061.55/1038.20 o 274602180 1061.55/1038.20 o 274602175 1061.55/1038.20 o 274602173 1061.55/1038.21 o 274602167 1061.55/1038.22 o 274602166 1061.55/1038.23 o 274602165 1061.55/1038.24 o 274602164 1061.55/1038.24 o 274602163 1061.55/1038.25 o 274602161 1061.55/1038.25 o 274602160 1061.55/1038.26 o 274602159 1061.55/1038.27 o 274602158 1061.55/1038.28 o 274602144 1061.55/1038.29 o 274602141 1061.55/1038.29 o 274602140 1061.55/1038.30 o 274602139 1061.65/1038.30 o 274602138 1061.65/1038.30 o 274602137 1061.65/1038.32 o 274602135 1061.65/1038.32 o 274602133 1061.65/1038.35 o 274602125 1061.65/1038.35 o 274602124 1061.65/1038.36 o 274602120 1061.65/1038.36 o 274602119 1061.65/1038.37 o 274602118 1061.65/1038.38 o 274602117 1061.65/1038.38 o 274602116 1061.65/1038.40 o 274602106 1061.75/1038.40 o 274602105 1061.75/1038.40 o 274602104 1061.75/1038.41 o 274602103 1061.75/1038.41 o 274602101 1061.75/1038.42 o 274602100 1061.75/1038.42 o 274602099 1061.75/1038.43 o 274602098 1061.75/1038.44 o 274602092 1061.75/1038.45 o 274602090 1061.75/1038.45 o 274602089 1061.75/1038.48 o 274602085 1061.75/1038.48 o 274602084 1061.75/1038.49 o 274602083 1061.95/1038.63 o 274602082 1061.95/1038.67 o 274602081 1062.15/1038.87 o 274602080 1062.15/1038.87 o 274602079 1063.15/1039.87 o 274602077 1063.15/1039.88 o 274602076 1063.75/1040.45 o 274602075 1063.75/1040.45 o 274602074 1063.75/1040.49 o 274602073 1080.19/1056.75 o 274602072 1080.19/1056.77 o 274602071 1080.29/1056.80 o 274602070 1081.60/1058.14 o 274602068 1081.60/1058.14 o 274602067 1081.60/1058.15 o 274602066 1082.00/1058.53 o 274602065 1086.51/1063.05 o 274602063 1086.61/1063.19 o 274602062 1093.40/1069.94 o 274602061 1093.40/1069.95 o 274602058 1093.40/1069.96 o 274602054 1093.40/1069.97 o 274602053 1093.40/1069.98 o 274602052 1093.52/1070.04 o 274602051 1093.52/1070.04 o 274602050 1093.71/1070.22 o 274602049 1093.71/1070.23 o 274602048 1096.33/1072.77 o 274586472 1096.33/1072.78 o 274586467 1096.53/1072.92 o 274586466 1096.53/1072.94 o 274586465 1096.53/1072.95 o 274586464 1096.53/1072.99 o 274586459 1096.53/1073.00 o 274586458 1096.74/1073.13 o 274586457 1099.34/1075.73 o 274586456 1099.34/1075.74 o 274586455 1099.34/1075.74 o 274586454 1099.34/1075.75 o 274586453 1099.34/1075.76 o 274586452 1099.34/1075.76 o 274586451 1099.44/1075.86 o 274586450 1099.75/1076.12 o 274586449 1100.94/1077.36 o 274586448 1101.04/1077.46 o 274586447 1103.34/1079.78 o 274586446 1103.44/1079.89 o 274586445 1106.34/1082.70 o 274570890 1106.34/1082.71 o 274570887 1106.44/1082.82 o 274570886 1106.44/1082.84 o 274570880 1106.44/1082.85 o 274570879 1106.54/1082.98 o 274570878 1106.65/1083.03 o 274570876 1106.65/1083.04 o 274570873 1106.65/1083.07 o 274570869 1106.75/1083.11 o 274570866 1106.75/1083.12 o 274570862 1106.75/1083.13 o 274570861 1106.75/1083.15 o 274570860 1131.23/1107.32 o 274555365 1131.43/1107.52 o 274555364 1131.43/1107.52 o 274555363 1131.43/1107.53 o 274555361 1131.43/1107.53 o 274555360 1131.53/1107.62 o 274555354 1131.53/1107.62 o 274555353 1131.53/1107.62 o 274555352 1131.53/1107.63 o 274555348 1131.53/1107.69 o 274555347 1131.53/1107.69 o 274555346 1131.63/1107.70 o 274555344 1131.63/1107.70 o 274555343 1131.73/1107.81 o 274555342 1132.63/1108.74 o 274555341 1133.13/1109.20 o 274555340 1133.13/1109.20 o 274555339 1133.13/1109.21 o 274555337 1133.13/1109.22 o 274555336 1133.13/1109.23 o 274555335 1134.04/1110.17 o 274555334 1134.04/1110.17 o 274555333 1134.04/1110.17 o 274555332 1134.13/1110.29 o 274555330 1134.13/1110.29 o 274555329 1134.23/1110.30 o 274555328 1134.23/1110.32 o 274555324 1134.23/1110.32 o 274555323 1134.23/1110.33 o 274555322 1134.23/1110.33 o 274555320 1134.23/1110.36 o 274555319 1134.23/1110.37 o 274555318 1134.23/1110.38 o 274555314 1134.34/1110.41 o 274555313 1134.34/1110.42 o 274555312 1134.34/1110.42 o 274555310 1135.64/1111.78 o 274555309 1135.64/1111.78 o 274555308 1137.14/1113.26 o 274555307 1137.14/1113.27 o 274555305 1137.14/1113.27 o 274555304 1138.44/1114.54 o 274555303 1138.44/1114.54 o 274555302 1138.44/1114.55 o 274555301 1138.44/1114.57 o 274555300 1138.44/1114.58 o 274555298 1138.44/1114.58 o 274555297 1148.77/1124.74 o 274555296 1148.77/1124.74 o 274555293 1148.87/1124.86 o 274555292 1161.48/1137.47 o 274555291 1161.88/1137.85 o 274555290 1162.19/1138.14 o 274555289 1184.10/1159.93 o 274555288 1184.10/1159.94 o 274555285 1184.10/1159.94 o 274555284 1184.10/1159.96 o 274555283 1269.59/1244.97 o 274555282 1269.59/1244.98 o 274555281 1278.80/1254.18 o 274555280 1278.80/1254.20 o 274555279 1278.89/1254.22 o 274555278 1278.89/1254.23 o 274555277 1278.89/1254.24 o 274555276 1279.09/1254.45 o 274555275 1279.09/1254.46 o 274555274 1323.84/1298.90 o 274555273 1324.05/1299.15 o 274555272 1330.83/1305.88 o 274555271 1330.83/1305.88 o 274555270 1330.83/1305.89 o 274555269 1331.43/1306.48 o 274555268 1331.43/1306.49 o 274555267 1331.43/1306.49 o 274555266 1331.53/1306.52 o 274555264 1331.53/1306.53 o 274555263 1331.63/1306.60 o 274555262 1331.93/1306.92 o 274539666 1331.93/1306.93 o 274539665 1331.93/1306.94 o 274539664 1331.93/1306.94 o 274539663 1331.93/1306.94 o 274539662 1331.93/1306.95 o 274539659 1331.93/1306.96 o 274539655 1332.04/1307.03 o 274539651 1332.04/1307.04 o 274539650 1332.04/1307.04 o 274539649 1332.04/1307.07 o 274539648 1332.14/1307.16 o 274539647 1345.99/1320.92 o 274539646 1346.20/1321.13 o 274539645 1346.20/1321.14 o 274539644 1347.20/1322.14 o 274539643 1347.20/1322.15 o 274539642 1347.20/1322.16 o 274539640 1347.29/1322.20 o 274539639 1347.29/1322.21 o 274539638 1347.29/1322.27 o 274539637 1347.69/1322.65 o 274539636 1347.89/1322.84 o 274539635 1347.89/1322.84 o 274539634 1347.89/1322.84 o 274539633 1347.89/1322.85 o 274539632 1347.99/1322.90 o 274539629 1347.99/1322.91 o 274539628 1347.99/1322.99 o 274539626 1349.10/1324.10 o 274539625 1349.20/1324.11 o 274539624 1349.20/1324.13 o 274539623 1351.96/1326.81 o 274539622 1352.06/1326.94 o 274539621 1352.27/1327.15 o 274539620 1352.27/1327.17 o 274539616 1352.46/1327.32 o 274539615 1373.61/1348.39 o 274539614 1374.82/1349.56 o 274539613 1374.82/1349.56 o 274539612 1374.82/1349.57 o 274539607 1374.82/1349.60 o 274539606 1374.92/1349.60 o 274539605 1380.02/1354.80 o 274539603 1380.12/1354.87 o 274539601 1380.12/1354.88 o 274539598 1380.12/1354.89 o 274539597 1380.12/1354.90 o 274539596 1381.78/1356.41 o 274524033 1381.78/1356.41 o 274524032 1381.78/1356.41 o 274524031 1381.78/1356.41 o 274524030 1381.78/1356.42 o 274524028 1381.78/1356.43 o 274524027 1381.78/1356.44 o 274524023 1381.78/1356.45 o 274524022 1381.78/1356.48 o 274524021 1381.78/1356.48 o 274524017 1381.88/1356.50 o 274524016 1381.88/1356.51 o 274524011 1381.88/1356.54 o 274524010 1381.88/1356.54 o 274524005 1381.88/1356.60 o 274524004 1381.98/1356.66 o 274524003 1381.98/1356.67 o 274523998 1381.98/1356.70 o 274523997 1391.35/1365.98 o 274523996 1391.95/1366.50 o 274523995 1392.25/1366.84 o 274523994 1392.25/1366.86 o 274523993 1392.46/1367.04 o 274508417 1392.46/1367.04 o 274508412 1392.46/1367.05 o 274508403 1392.46/1367.06 o 274508402 1392.46/1367.07 o 274508401 1392.46/1367.08 o 274508386 1392.46/1367.09 o 274508385 1392.56/1367.11 o 274508383 1392.56/1367.12 o 274508378 1392.75/1367.30 o 274508372 1392.75/1367.36 o 274508371 1392.85/1367.46 o 274508367 1393.15/1367.74 o 274508366 1393.15/1367.76 o 274508365 1393.25/1367.80 o 274508364 1393.75/1368.31 o 274508363 1396.26/1370.83 o 274492835 1396.26/1370.83 o 274492834 1396.26/1370.84 o 274492833 1396.35/1370.93 o 274492831 1396.35/1370.94 o 274492830 1396.35/1370.94 o 274492827 1396.35/1370.94 o 274492826 1396.35/1370.95 o 274492823 1396.35/1370.95 o 274492819 1396.35/1370.99 o 274492818 1396.46/1371.04 o 274492817 1396.46/1371.04 o 274492816 1396.46/1371.04 o 274492815 1396.46/1371.05 o 274492814 1396.46/1371.05 o 274492813 1396.46/1371.05 o 274492811 1396.46/1371.06 o 274492810 1396.65/1371.21 o 274492808 1396.65/1371.22 o 274492807 1396.65/1371.23 o 274492806 1396.65/1371.26 o 274492805 1396.76/1371.31 o 274492804 1404.23/1378.76 o 274492803 1404.73/1379.27 o 274492802 1404.73/1379.29 o 274492801 1404.83/1379.34 o 274492798 1404.83/1379.35 o 274492797 1404.83/1379.36 o 274492796 1411.51/1385.95 o 274492795 1412.21/1386.68 o 274492794 1412.31/1386.79 o 274492792 1414.51/1388.95 o 274492790 1414.51/1388.96 o 274492789 1414.51/1388.97 o 274492786 1414.51/1388.99 o 274492784 1414.51/1389.00 o 274492782 1414.51/1389.00 o 274492779 1414.62/1389.06 o 274492778 1417.47/1391.82 o 274492777 1417.47/1391.83 o 274492776 1417.68/1392.05 o 274492775 1417.68/1392.08 o 274492773 1417.68/1392.09 o 274492772 1418.57/1392.94 o 274492771 1426.33/1400.64 o 274492770 1431.30/1405.59 o 274492769 1431.30/1405.59 o 274492767 1431.30/1405.59 o 274492766 1431.40/1405.60 o 274492765 1431.40/1405.60 o 274492762 1431.40/1405.62 o 274492761 1431.70/1405.93 o 274492760 1431.70/1405.97 o 274492759 1431.81/1406.07 o 274492758 1431.81/1406.10 o 274492757 1432.00/1406.21 o 274492756 1432.00/1406.22 o 274492755 1432.00/1406.23 o 274492754 1432.20/1406.49 o 274492753 1432.20/1406.49 o 274492752 1432.20/1406.50 o 274492751 1432.30/1406.50 o 274492749 1432.30/1406.53 o 274492748 1433.70/1407.90 o 274492747 1433.81/1408.03 o 274492746 1438.26/1412.41 o 274492744 1438.26/1412.46 o 274492743 1438.26/1412.49 o 274492742 1438.67/1412.83 o 274492741 1438.67/1412.83 o 274492740 1438.77/1412.90 o 274492738 1443.13/1417.23 o 274477192 1443.13/1417.23 o 274477191 1443.13/1417.24 o 274477189 1443.13/1417.24 o 274477188 1443.13/1417.24 o 274477186 1443.13/1417.25 o 274477185 1443.13/1417.29 o 274477179 1443.23/1417.31 o 274477178 1443.23/1417.32 o 274477177 1443.23/1417.34 o 274477168 1443.23/1417.34 o 274477167 1443.23/1417.37 o 274477166 1443.33/1417.44 o 274477165 1443.33/1417.48 o 274477164 1443.33/1417.48 o 274477162 1443.33/1417.49 o 274477161 1443.43/1417.50 o 274477160 1443.43/1417.52 o 274477158 1443.43/1417.53 o 274477157 1443.43/1417.54 o 274477155 1443.83/1417.98 o 274477153 1443.83/1417.99 o 274477148 1443.83/1418.00 o 274477143 1443.94/1418.02 o 274477141 1443.94/1418.02 o 274477138 1443.94/1418.03 o 274477137 1443.94/1418.08 o 274477134 1443.94/1418.10 o 274477133 1444.04/1418.11 o 274477132 1446.94/1421.07 o 274477131 1446.94/1421.07 o 274477130 1446.94/1421.09 o 274477129 1447.23/1421.33 o 274477128 1450.29/1424.38 o 274477127 1450.29/1424.39 o 274477125 1450.39/1424.41 o 274477124 1450.39/1424.50 o 274477123 1453.10/1427.19 o 274477122 1453.10/1427.19 o 274477121 1453.10/1427.19 o 274477120 1453.10/1427.20 o 274477119 1453.19/1427.26 o 274477117 1453.29/1427.31 o 274477116 1453.39/1427.47 o 274477115 1456.25/1430.28 o 274477114 1457.35/1431.31 o 274477106 1457.35/1431.33 o 274477105 1457.55/1431.57 o 274477104 1457.75/1431.78 o 274477102 1457.75/1431.78 o 274477101 1458.95/1432.93 o 274477100 1460.34/1434.23 o 274477099 1460.34/1434.23 o 274477098 1460.34/1434.26 o 274477097 1512.51/1485.94 o 274461684 1512.51/1485.95 o 274461665 1512.51/1485.95 o 274461664 1512.51/1485.95 o 274461662 1512.51/1485.95 o 274461658 1512.51/1485.95 o 274461657 1512.51/1485.95 o 274461656 1512.51/1485.96 o 274461655 1512.51/1485.96 o 274461654 1512.91/1486.33 o 274461649 1512.91/1486.33 o 274461648 1512.91/1486.33 o 274461641 1512.91/1486.34 o 274461640 1512.91/1486.36 o 274461638 1512.91/1486.37 o 274461637 1512.91/1486.39 o 274461633 1513.01/1486.40 o 274461629 1513.01/1486.48 o 274461625 1513.01/1486.49 o 274461623 1513.11/1486.54 o 274461622 1513.21/1486.62 o 274461621 1513.31/1486.76 o 274461617 1513.62/1487.03 o 274461610 1513.62/1487.04 o 274461609 1513.62/1487.05 o 274461608 1514.11/1487.51 o 274461607 1514.11/1487.51 o 274461606 1514.11/1487.51 o 274461602 1514.11/1487.52 o 274461601 1514.41/1487.85 o 274461600 1514.41/1487.86 o 274461599 1514.91/1488.39 o 274461598 1514.91/1488.39 o 274461595 1515.01/1488.40 o 274461594 1515.21/1488.64 o 274461593 1519.49/1492.87 o 274461592 1522.25/1495.56 o 274461591 1527.42/1500.65 o 274461590 1527.93/1501.16 o 274461588 1546.96/1519.92 o 274461587 1549.36/1522.34 o 274461586 1613.28/1585.45 o 274461585 1615.28/1587.45 o 274461584 1616.69/1588.86 o 274461583 1618.65/1590.78 o 274461581 1618.65/1590.79 o 274461580 1618.75/1590.80 o 274461579 1618.75/1590.89 o 274461577 1618.75/1590.89 o 274461576 1618.75/1590.89 o 274461574 1618.85/1590.90 o 274461573 1618.85/1590.99 o 274461572 1618.96/1591.10 o 274461571 1619.06/1591.11 o 274461570 1619.06/1591.15 o 274461567 1619.06/1591.15 o 274461566 1619.06/1591.19 o 274461565 1621.75/1593.89 o 274461562 1621.75/1593.89 o 274461561 1621.85/1593.90 o 274461560 1622.55/1594.68 o 274461559 1622.55/1594.68 o 274461558 1622.55/1594.68 o 274461556 1622.55/1594.68 o 274461555 1622.65/1594.80 o 274461554 1622.75/1594.80 o 274461552 1623.80/1595.86 o 274461551 1664.59/1636.02 o 274461550 1741.38/1711.53 o 274461548 1741.38/1711.53 o 274461547 1741.38/1711.54 o 274461545 1741.38/1711.55 o 274461543 1741.38/1711.57 o 274461542 1750.42/1720.36 o 274461541 1750.82/1720.72 o 274461540 1751.88/1721.76 o 274461539 1752.08/1721.91 o 274461537 1760.11/1729.79 o 274461535 1760.11/1729.79 o 274461534 1760.21/1729.80 o 274461533 1760.21/1729.81 o 274461532 1760.21/1729.82 o 274461531 1808.60/1777.33 o 274461530 1808.60/1777.33 o 274461529 1808.60/1777.33 o 274461528 1808.60/1777.34 o 274461526 1808.60/1777.34 o 274461525 1808.60/1777.37 o 274461524 1808.70/1777.46 o 274461523 1808.70/1777.46 o 274461522 1808.70/1777.49 o 274461517 1808.80/1777.50 o 274461516 1851.48/1819.32 o 274461515 1851.78/1819.60 o 274461514 1859.52/1827.32 o 274461513 1881.58/1849.00 o 274461512 1881.58/1849.00 o 274461511 1893.87/1861.00 o 274461510 1894.37/1861.41 o 274461509 1894.37/1861.41 o 274461508 1894.67/1861.73 o 274461507 1894.67/1861.73 o 274461506 1962.80/1928.61 o 274461505 1967.17/1932.91 o 274461504 1970.76/1936.46 o 274445928 1970.76/1936.46 o 274445926 1970.76/1936.46 o 274445925 1970.76/1936.48 o 274445924 1970.76/1936.49 o 274445919 1970.76/1936.49 o 274445917 1970.87/1936.50 o 274445916 1970.87/1936.58 o 274445915 1970.87/1936.58 o 274445914 1970.87/1936.60 o 274445911 1970.97/1936.64 o 274445910 1971.07/1936.76 o 274445908 1971.17/1936.84 o 274445907 1971.17/1936.85 o 274445902 1974.00/1939.58 o 274445901 1974.00/1939.59 o 274445900 1974.10/1939.68 o 274445899 1974.10/1939.69 o 274445898 1974.10/1939.69 o 274445897 1974.30/1939.85 o 274445896 1975.20/1940.79 o 274445895 1976.76/1942.21 o 274445894 1979.69/1945.05 o 274445893 1979.69/1945.07 o 274445892 1988.11/1953.27 o 274445891 1988.41/1953.56 o 274445890 1998.47/1963.37 o 274445889 1998.87/1963.78 o 274445888 2001.82/1966.61 o 274445887 2001.82/1966.62 o 274445886 2001.82/1966.62 o 274445884 2001.92/1966.70 o 274445883 2028.39/1992.69 o 274445882 2030.58/1994.88 o 274445881 2030.58/1994.88 o 274445880 2031.64/1995.84 o 274445879 2031.64/1995.84 o 274445878 2031.64/1995.85 o 274445877 2031.64/1995.85 o 274445876 2031.64/1995.88 o 274445875 2032.64/1996.85 o 274445874 2032.64/1996.88 o 274445873 2045.64/2009.50 o 274445872 2045.64/2009.51 o 274445871 2045.64/2009.53 o 274445870 2045.64/2009.59 o 274445869 2046.89/2010.78 o 274445865 2046.89/2010.78 o 274445864 2049.57/2013.36 o 274445863 2057.06/2020.60 o 274445860 2057.06/2020.61 o 274445858 2057.57/2021.13 o 274445857 2057.57/2021.14 o 274445856 2182.39/2143.71 o 274445855 2192.12/2153.14 o 274445853 2192.12/2153.14 o 274445852 2215.69/2176.14 o 274445851 2250.75/2210.47 o 274445850 2251.25/2210.96 o 274445849 2295.94/2254.86 o 274430338 2295.94/2254.86 o 274430337 2295.94/2254.86 o 274430336 2295.94/2254.89 o 274430333 2295.94/2254.89 o 274430332 2295.94/2254.89 o 274430331 2295.94/2254.89 o 274430330 2296.11/2254.90 o 274430326 2296.11/2254.90 o 274430311 2296.11/2254.91 o 274430310 2296.11/2254.91 o 274430307 2296.11/2254.92 o 274430306 2296.11/2254.92 o 274430300 2296.11/2254.93 o 274430294 2296.11/2254.94 o 274430293 2296.11/2254.94 o 274430287 2296.11/2254.95 o 274430286 2296.11/2254.95 o 274430277 2296.11/2254.96 o 274430270 2296.11/2254.96 o 274430269 2296.11/2254.97 o 274430265 2296.11/2254.97 o 274430264 2296.11/2254.98 o 274430262 2296.11/2254.98 o 274430261 2296.11/2254.99 o 274430260 2296.11/2254.99 o 274430257 2296.22/2255.02 o 274430249 2296.22/2255.03 o 274430248 2296.22/2255.03 o 274430247 2296.22/2255.04 o 274430246 2296.22/2255.05 o 274430243 2296.32/2255.14 o 274430242 2296.32/2255.19 o 274430241 2297.91/2256.74 o 274430240 2297.91/2256.75 o 274430238 2300.38/2259.15 o 274430237 2300.57/2259.32 o 274430236 2300.57/2259.34 o 274430235 2300.57/2259.34 o 274430234 2328.88/2286.99 o 274430233 2329.09/2287.20 o 274430231 2369.83/2327.10 o 274430230 2370.12/2327.35 o 274430229 2370.12/2327.35 o 274430228 2370.12/2327.37 o 274430227 2370.22/2327.40 o 274430226 2370.62/2327.80 o 274430225 2370.62/2327.82 o 274430224 2370.62/2327.88 o 274430223 2416.30/2372.62 o 274430222 2416.30/2372.62 o 274430221 2416.40/2372.73 o 274430220 2417.50/2373.82 o 274430219 2417.50/2373.83 o 274430218 2418.46/2374.74 o 274430217 2418.46/2374.75 o 274430216 2418.46/2374.76 o 274430215 2472.71/2427.94 o 274430214 2488.58/2443.39 o 274414668 2488.58/2443.39 o 274414667 2488.58/2443.40 o 274414658 2488.68/2443.40 o 274414657 2488.68/2443.40 o 274414653 2488.68/2443.40 o 274414645 2488.68/2443.41 o 274414641 2488.68/2443.42 o 274414621 2488.68/2443.42 o 274414620 2488.68/2443.46 o 274414619 2488.68/2443.46 o 274414618 2488.88/2443.64 o 274414616 2488.88/2443.64 o 274414615 2488.88/2443.69 o 274414608 2488.98/2443.70 o 274414607 2488.98/2443.72 o 274414606 2489.18/2443.91 o 274414603 2489.18/2443.91 o 274414602 2489.18/2443.93 o 274414601 2489.29/2444.04 o 274414600 2489.39/2444.15 o 274414598 2489.68/2444.47 o 274414597 2491.65/2446.39 o 274414596 2492.35/2447.06 o 274414595 2495.35/2449.95 o 274414594 2499.69/2454.17 o 274414593 2514.77/2468.85 o 274414592 2515.27/2469.38 o 274414591 2515.37/2469.42 o 274414589 2520.00/2473.90 s SATISFIABLE 2520.00/2473.91 v <instantiation> 2520.00/2473.91 v <list> 2520.00/2473.91 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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] 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] 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] 2520.00/2473.91 v </list> 2520.00/2473.91 v <values> 2520.00/2473.91 v 2624 2552 2392 2372 2340 2616 2412 2460 2544 2408 2504 2504 2652 2456 2496 2500 2564 2476 2348 2280 2352 2356 2432 2516 2500 2548 2372 2344 2652 2624 2504 2520 2360 2548 2416 2372 2620 2332 2588 2508 2556 2456 2584 2392 2364 2532 2544 2608 2456 2584 2552 2572 2584 2516 2352 2560 2592 2460 2524 2160 2392 2496 2388 2496 2648 2472 2600 2584 2556 2372 2200 2368 2432 2396 2404 2660 2604 2584 2560 2380 2588 2624 2424 2588 2576 2632 2516 2484 2692 2664 2452 2644 2624 2492 2508 2468 2580 2500 2628 2464 2524 2652 2592 2604 2644 2416 2504 2620 2516 2564 2412 2256 2584 2544 2544 2548 2612 2516 2684 2568 2564 2544 2648 2688 2596 2596 2564 2644 2336 2572 2580 2408 2296 2608 2324 2328 2620 2432 2224 2532 2564 2376 2608 2592 2556 2396 2636 2668 2572 2664 2504 2200 2160 2484 2368 2608 2548 2548 2452 2436 2168 2288 2644 2620 2372 2160 2492 2644 2528 2636 2628 2564 2664 2532 2684 2556 2184 2392 2488 2380 2432 2604 2464 2652 2424 2568 2496 2296 2604 2620 2552 2456 2240 2564 2336 2336 2608 2680 2620 2544 2564 2524 2588 2512 2544 2524 2436 2684 2304 2260 2296 2396 2596 2364 2528 2528 2568 2580 2548 2532 2564 2536 2628 2596 2580 2588 2412 2536 2524 2584 2620 2660 2248 2504 2588 2604 2436 2556 2520 2536 2624 2620 2564 2392 2640 2460 2604 2416 2544 2580 2208 2464 2392 2684 2676 2300 2572 2396 2648 2296 2568 2556 2524 2368 2340 2436 2636 2568 2612 2476 2612 2564 2420 2380 2676 2464 2464 2200 2400 2660 2444 2560 2376 2612 2316 2572 2612 2412 2604 2556 2392 2512 2352 2596 2532 2412 2416 2668 2256 2332 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 11 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 1 10 0 0 10 10 9 10 10 4 0 10 10 10 10 10 8 10 3 0 10 0 0 0 1 1 9 10 10 10 6 0 10 10 10 10 10 10 10 5 0 10 0 10 0 0 10 10 10 10 0 0 0 0 10 10 1 10 2 7 0 4 10 10 0 1 0 0 10 5 0 9 10 10 8 10 8 1 1 0 10 10 0 8 0 1 10 10 9 10 0 10 10 10 10 10 10 3 7 10 10 1 10 1 0 9 0 10 0 10 0 10 10 2 1 4 10 0 10 0 10 0 10 0 10 0 1 10 10 0 0 10 10 10 10 0 0 1 10 0 10 10 10 10 2 10 0 10 10 10 10 0 10 10 1 10 10 1 0 0 0 0 10 10 10 0 10 1 0 10 10 10 0 7 9 1 0 10 10 10 10 0 0 8 9 10 10 10 10 10 10 0 0 0 10 0 10 0 10 1 0 8 6 0 0 0 10 7 0 0 0 0 1 10 10 9 0 10 0 0 10 10 0 1 0 0 10 4 0 10 0 1 10 10 10 3 7 9 10 10 8 9 0 10 6 0 0 0 1 0 0 0 10 0 10 10 10 5 10 10 10 0 0 1 0 0 0 8 10 10 6 0 10 9 0 1 1 0 10 0 0 7 1 10 10 1 1 0 0 0 1 10 0 10 10 1 1 10 10 0 7 10 0 10 2 10 0 0 7 10 1 0 0 0 0 1 0 0 3 6 10 0 1 8 10 10 0 0 0 6 10 0 0 10 0 10 1 0 0 1 6 10 8 10 0 10 4 10 1 0 10 10 0 10 10 9 0 0 0 0 0 1 10 0 10 10 0 10 6 10 0 0 0 0 9 0 0 10 0 10 10 0 0 10 10 10 10 2 7 0 0 2 0 10 0 0 0 10 0 0 0 0 9 10 0 0 10 0 0 10 0 0 10 10 0 0 0 10 0 6 10 2 5 0 10 0 0 3 10 3 0 0 0 10 1 5 10 0 10 10 10 0 10 0 0 0 5 0 10 1 1 1 0 0 0 10 0 0 1 0 10 0 1 10 0 0 0 4 1 0 0 0 4 0 10 0 10 0 4 0 0 1 0 0 0 0 8 10 10 10 0 0 6 0 3 0 0 8 4 8 5 0 0 0 0 0 5 0 0 10 10 0 0 1 0 10 0 0 0 0 3 1 10 7 9 10 1 10 10 6 0 0 0 1 10 10 9 10 10 10 10 0 0 10 0 0 10 10 10 10 0 0 10 7 10 0 0 1 0 0 0 0 10 10 1 0 0 0 0 9 6 0 0 3 0 0 0 0 0 10 0 9 10 1 0 10 0 0 10 10 10 10 1 10 0 0 8 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 9 6 0 0 0 0 10 10 10 0 0 0 0 1 0 10 0 1 10 0 10 0 0 0 0 10 8 9 0 0 10 0 10 10 0 10 6 1 0 0 0 0 0 0 0 1 0 0 10 0 0 10 10 1 10 5 10 0 0 0 10 10 0 0 0 0 10 0 0 1 0 0 0 0 10 0 0 0 0 0 6 1 0 0 3 10 0 10 0 10 0 1 0 0 10 0 10 0 4 0 0 6 0 8 0 0 7 0 10 10 0 10 0 0 0 10 10 4 0 2 10 5 10 0 0 10 1 0 0 0 1 7 10 1 10 1 0 10 0 0 10 1 0 0 10 0 0 0 1 0 0 10 0 10 9 0 8 0 10 0 0 9 5 0 1 0 10 10 0 1 1 0 10 0 1 0 0 0 10 6 10 0 10 6 0 10 0 4 10 0 4 10 10 10 10 0 3 0 0 0 10 10 8 2 0 0 1 1 6 0 0 2 0 10 0 0 10 0 0 9 1 1 10 0 0 10 10 10 0 0 0 10 0 1 1 10 4 1 0 10 10 10 8 10 0 0 1 10 0 8 0 0 1 0 10 10 10 0 0 0 10 1 10 0 0 1 0 10 0 0 0 0 2 2 10 1 0 0 0 0 0 10 0 0 0 0 10 10 0 7 0 4 1 0 10 0 10 8 10 1 10 10 0 5 0 0 2 10 0 1 0 0 0 10 10 10 0 10 10 10 1 10 1 10 3 0 0 0 10 2 10 10 10 10 1 6 10 6 1 9 10 10 0 10 0 0 0 0 10 0 0 1 1 10 0 0 10 10 10 10 10 10 0 6 10 0 6 0 4 8 1 10 9 1 1 10 10 10 0 0 0 0 1 0 1 10 0 0 10 0 8 0 0 2 1 0 0 10 10 9 0 10 0 0 6 6 10 1 0 0 0 0 0 1 0 0 0 1 0 0 10 10 0 0 0 5 10 10 0 0 0 10 9 10 0 0 0 0 9 0 0 0 0 0 0 0 10 0 0 10 1 0 10 10 0 10 0 0 0 0 4 0 0 10 0 0 6 6 0 0 10 10 0 0 0 10 0 2 10 9 10 5 6 0 0 1 0 1 1 0 0 0 0 7 7 6 0 10 10 4 1 10 0 10 10 1 0 0 10 6 0 0 0 5 5 10 0 10 10 0 0 0 1 0 1 10 10 9 0 0 0 0 0 0 1 10 0 9 10 1 10 1 1 0 0 0 0 0 0 0 6 8 0 5 0 1 0 0 10 1 0 10 9 10 0 10 0 1 1 0 5 0 0 0 0 0 1 0 0 10 0 10 0 3 0 10 0 10 0 1 10 10 0 10 0 0 10 9 0 1 8 10 10 0 0 0 1 10 1 0 0 10 10 10 0 0 0 0 9 10 0 0 0 3 10 0 0 0 0 10 10 0 0 0 0 8 0 0 0 0 5 10 1 10 10 1 0 10 0 1 10 2 0 0 10 0 9 7 10 1 10 7 0 10 0 0 8 0 0 10 0 0 10 1 0 4 1 6 0 0 0 1 9 5 10 10 0 0 9 10 1 6 0 0 10 0 1 10 10 0 7 10 9 0 10 10 0 1 4 0 0 10 0 0 0 7 0 0 8 10 0 0 3 0 0 0 10 10 0 0 10 0 7 1 0 0 1 10 1 0 10 9 10 0 1 1 10 0 10 4 10 10 10 1 1 9 0 4 0 0 1 2 10 5 0 10 10 0 0 10 10 0 10 6 7 10 10 10 0 0 10 10 6 10 0 8 0 10 10 4 10 10 0 5 0 3 0 8 0 1 10 0 0 0 0 1 0 0 1 1 0 10 10 0 10 6 1 0 9 0 0 10 0 9 10 1 0 7 6 10 1 10 0 0 10 0 1 9 10 9 10 10 0 0 4 0 0 0 0 10 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 9 0 1 7 0 0 9 9 0 0 0 10 10 0 0 10 10 7 6 0 0 0 0 7 0 0 10 10 0 10 2 1 1 0 10 0 5 10 0 1 10 9 1 10 0 9 10 1 7 0 0 1 0 10 0 7 10 1 0 1 7 0 10 0 0 7 1 6 7 0 0 0 0 0 0 6 1 0 1 10 252 344 228 124 60 4 68 12 36 68 200 48 192 28 48 44 20 352 52 8 44 132 352 16 232 0 12 100 244 24 60 28 136 232 96 40 192 128 280 204 200 184 180 24 160 276 240 120 292 352 204 176 344 44 116 172 296 228 156 24 100 44 24 328 4 312 20 36 12 180 4 88 240 144 140 164 72 152 160 144 140 16 20 168 192 72 144 56 132 172 28 220 136 120 16 64 44 100 168 64 376 180 20 116 60 24 124 24 48 116 88 224 156 0 44 124 156 56 152 132 344 52 12 40 116 140 72 92 60 52 4 132 156 36 96 208 12 28 24 16 40 300 120 200 48 364 32 32 88 444 260 356 216 92 4 16 60 160 88 204 92 44 4 72 208 168 72 60 104 180 84 16 84 132 120 8 44 16 164 28 120 84 108 88 8 12 0 40 168 32 316 172 16 84 116 88 180 68 128 24 172 68 196 216 224 316 108 176 236 312 112 92 284 204 404 16 56 152 272 292 64 152 244 192 192 244 12 4 60 232 236 292 240 76 128 140 24 156 152 32 128 4 124 192 136 124 172 104 48 316 168 88 68 200 104 152 56 80 64 332 24 104 32 80 80 104 148 28 152 76 72 0 48 92 8 92 56 44 116 24 4 68 192 172 216 88 288 188 120 260 96 68 64 72 120 72 4 40 260 220 76 228 172 60 20 0 28 304 20 116 92 32 116 180 164 64 128 112 100 24 44 56 188 164 248 124 64 260 212 60 220 168 244 288 16 180 16 12 56 216 228 88 36 220 152 120 204 216 32 8 196 148 272 176 216 164 184 4 200 460 148 72 68 324 16 52 52 304 108 260 44 288 232 100 288 288 248 272 124 104 112 264 196 24 76 44 96 84 0 256 136 152 212 16 128 24 20 48 12 208 132 160 20 64 8 388 4 32 24 24 92 56 92 116 64 128 92 228 128 4 72 156 256 52 12 88 28 160 60 20 248 56 168 40 216 172 40 132 136 156 44 236 120 108 224 152 204 28 180 4 56 12 76 96 32 88 324 96 80 80 140 64 28 20 144 320 344 176 360 152 64 92 48 112 40 20 16 60 28 24 4 240 228 76 208 84 172 108 116 160 140 124 4 8 60 128 148 100 4 20 192 92 172 68 28 12 20 384 0 156 304 160 156 96 60 28 176 168 24 72 4 36 4 176 284 268 20 0 140 124 136 112 20 212 256 268 56 160 100 172 136 76 188 80 12 100 184 12 44 12 4 12 156 20 172 56 232 168 224 148 184 108 40 20 8 80 20 72 96 160 44 184 332 304 484 0 324 0 368 232 232 404 396 192 72 152 296 20 28 88 100 112 124 68 112 140 176 168 128 92 4 20 152 92 40 28 96 164 448 268 148 52 4 144 112 88 120 64 148 96 72 108 8 20 36 188 44 24 20 32 44 344 20 328 68 104 20 60 0 4 284 120 232 64 40 12 88 160 396 72 396 28 60 0 96 152 120 264 164 92 240 304 304 332 468 252 344 396 336 216 344 368 436 0 324 252 316 32 312 160 180 292 200 48 20 112 24 272 132 96 252 20 204 32 128 20 192 168 100 0 284 192 192 64 216 108 76 36 200 164 164 220 204 88 4 156 56 268 8 0 48 208 216 36 184 52 68 12 124 72 4 12 116 148 144 212 168 148 84 56 156 0 84 8 20 20 48 48 76 20 212 40 68 256 28 220 100 240 64 204 128 40 68 24 92 4 408 52 180 4 184 72 36 52 240 76 12 52 356 20 68 56 96 136 80 88 72 68 40 96 164 128 108 8 148 4 56 188 164 312 40 80 208 16 200 152 112 120 156 164 112 168 128 244 16 0 8 252 132 292 40 44 20 256 424 28 52 164 332 100 112 76 8 120 8 128 172 56 40 192 64 212 48 96 72 24 168 60 120 52 4 92 256 412 24 28 56 184 0 332 188 188 48 184 108 4 44 8 292 32 248 48 56 216 212 100 28 64 68 84 100 92 32 152 112 8 4 100 60 132 144 88 284 24 28 256 24 176 8 16 16 24 396 168 160 24 220 88 8 36 172 244 92 280 264 180 204 208 52 252 0 56 284 96 268 0 12 92 20 164 8 216 268 192 168 4 48 100 212 20 156 44 0 24 192 32 60 412 96 332 384 420 412 192 0 4 104 52 64 56 16 60 384 384 16 20 0 4 24 8 44 288 32 108 12 8 356 40 120 48 256 4 180 128 264 64 132 76 104 4 20 92 36 240 168 68 24 4 152 268 8 36 108 140 320 12 352 104 284 236 52 184 4 80 92 268 372 224 28 260 88 184 8 396 48 8 24 256 132 204 44 140 28 224 232 484 252 40 72 88 196 252 268 100 64 76 36 20 136 284 48 48 32 136 128 52 92 80 24 244 136 160 16 204 56 260 312 232 332 224 228 80 172 176 12 12 4 400 304 240 72 336 68 8 220 124 88 136 244 276 244 48 8 64 88 56 40 224 28 8 16 248 136 92 180 244 32 176 324 340 240 72 108 148 64 152 36 128 8 396 8 168 16 316 16 168 48 292 188 4 44 184 196 308 28 28 28 4 12 296 20 180 4 104 120 156 92 136 140 196 264 212 272 72 176 172 184 120 48 64 16 20 40 8 324 180 8 100 120 148 40 84 84 156 88 292 140 152 324 368 232 220 468 404 324 92 20 176 204 192 204 44 164 52 64 308 12 132 128 120 292 40 84 16 292 72 76 104 128 168 160 144 0 8 176 160 388 356 228 412 80 332 276 308 292 156 324 308 180 140 108 268 232 112 0 0 40 412 176 8 156 264 184 172 232 220 352 404 252 144 40 28 32 176 180 60 88 252 136 76 16 104 108 172 268 260 36 444 204 24 32 0 104 40 48 288 56 88 12 272 72 304 352 24 164 24 164 56 436 444 352 276 72 32 76 40 84 44 76 72 132 260 184 188 188 148 4 172 4 12 180 164 76 8 80 80 220 88 192 176 272 88 104 124 148 16 4 188 132 28 80 72 308 272 328 168 96 56 4 16 48 36 24 184 24 28 156 20 28 304 160 28 96 60 20 92 204 160 444 324 396 180 96 8 188 248 228 228 340 64 236 196 76 64 52 4 156 20 264 112 40 16 184 40 24 108 284 84 24 204 344 20 268 100 32 148 308 56 132 56 128 124 88 44 24 388 176 80 44 84 44 36 112 100 212 140 84 56 368 232 316 296 272 260 184 148 4 184 216 160 16 0 204 24 100 240 64 108 8 4 4 24 372 32 88 180 84 56 48 140 80 28 72 164 172 308 32 84 64 164 204 28 256 396 332 68 44 200 60 20 184 124 108 124 20 228 60 56 16 24 268 308 144 148 400 68 124 288 24 332 16 20 136 124 16 164 140 84 104 28 72 184 148 204 244 156 4 188 220 36 164 216 48 100 84 152 144 228 68 32 236 404 88 204 116 344 484 268 300 12 252 128 68 272 36 44 316 228 204 152 24 8 176 160 436 32 104 104 0 356 212 124 48 268 168 152 160 156 20 116 4 2520.00/2473.91 v </values> 2520.00/2473.91 v </instantiation>
OK 274414589
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 (11772 MiB free)
memory of node 1: 16384 MiB (11109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312079-1534551052/watcher-4312079-1534551052 -o /tmp/evaluation-result-4312079-1534551052/solver-4312079-1534551052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15718 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1801933832 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312079-1534551052.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16936, runsolver pid=16933
[startup+0.100165 s]*
/proc/loadavg: 1.42 1.35 1.33 3/215 16951
/proc/meminfo: memFree=23413780/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14082736 memory=31988 CPUtime=0.12 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 6385 0 0 0 11 1 0 0 20 0 15 0 272668424 14420721664 7997 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3520684 7997 3155 1 0 3482761 0
[pid=16936/tid=16938] ppid=16933 vsize=14082736 memory=-8701690554791923066 CPUtime=0.08 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 4428 0 0 0 8 0 0 0 20 0 15 0 272668424 14420721664 7997 33554432000 4194304 4196468 140734046446880 139706323153024 139706302993758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 7997 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 7997 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 7997 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 7997 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668426 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705791779872 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705790727024 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0.01 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) R 16933 16936 15687 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 272668429 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705786518128 139706312009736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668430 14420721664 7997 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31988 KiB
[startup+0.210399 s]*
/proc/loadavg: 1.42 1.35 1.33 5/215 16951
/proc/meminfo: memFree=23398400/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14082736 memory=47536 CPUtime=0.3 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 9992 0 0 0 28 2 0 0 20 0 15 0 272668424 14420721664 11884 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3520684 11884 3333 1 0 3482761 0
[pid=16936/tid=16938] ppid=16933 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 7769 0 0 0 19 1 0 0 20 0 15 0 272668424 14420721664 11884 33554432000 4194304 4196468 140734046446880 139706323136576 139705909229389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 11884 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14082736 memory=140595166250326 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 11884 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 11884 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 11884 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668426 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705791779872 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705790727024 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) R 16933 16936 15687 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 15 0 272668429 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705788623824 139706318923477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) R 16933 16936 15687 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 15 0 272668429 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705787562576 139706304036795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0.06 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) R 16933 16936 15687 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 15 0 272668429 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705786513392 139706298626407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668430 14420721664 11884 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47536 KiB
[startup+0.310495 s]*
/proc/loadavg: 1.42 1.35 1.33 3/215 16951
/proc/meminfo: memFree=23394940/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14082736 memory=51132 CPUtime=0.44 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 10421 0 0 0 42 2 0 0 20 0 15 0 272668424 14420721664 12783 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3520684 12783 3369 1 0 3482761 0
[pid=16936/tid=16938] ppid=16933 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 8101 0 0 0 28 2 0 0 20 0 15 0 272668424 14420721664 12783 33554432000 4194304 4196468 140734046446880 139706323122624 139706300476852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 12783 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14082736 memory=140595166250215 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 12783 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 12783 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668425 14420721664 12783 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668426 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705791779872 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668427 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705790727024 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 272668429 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 272668429 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0.08 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 272668429 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14082736 memory=140595166234240 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668430 14420721664 12783 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51132 KiB
[startup+0.700801 s]
/proc/loadavg: 1.42 1.35 1.33 3/215 16951
/proc/meminfo: memFree=23370880/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14084804 memory=89064 CPUtime=0.99 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 17127 0 0 0 94 5 0 0 20 0 15 0 272668424 14422839296 22266 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3521201 22266 3483 1 0 3483273 0
[pid=16936/tid=16938] ppid=16933 vsize=14084804 memory=1744 CPUtime=0.68 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 14446 0 0 0 64 4 0 0 20 0 15 0 272668424 14422839296 22266 33554432000 4194304 4196468 140734046446880 139706323136640 139706286502901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14422839296 22266 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14422839296 22266 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14084804 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668425 14422839296 22266 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14084804 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668425 14422839296 22266 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14084804 memory=7952 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668426 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14084804 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668427 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705791779872 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14084804 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668427 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705790727024 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14084804 memory=6369613153740022872 CPUtime=0.09 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 721 0 0 0 9 0 0 0 20 0 15 0 272668429 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14084804 memory=6154282490091891024 CPUtime=0.05 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 15 0 272668429 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 374 0 0 0 15 0 0 0 20 0 15 0 272668429 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668430 14422839296 22266 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89064 KiB
[startup+1.50076 s]
/proc/loadavg: 1.38 1.34 1.33 3/215 16951
/proc/meminfo: memFree=23133552/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14086852 memory=453000 CPUtime=3.18 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 19675 0 0 0 278 40 0 0 20 0 15 0 272668424 14424936448 113250 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3521713 113250 3564 1 0 3483785 0
[pid=16936/tid=16938] ppid=16933 vsize=14086852 memory=6791534058613427641 CPUtime=1.33 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 14910 0 0 0 124 9 0 0 20 0 15 0 272668424 14424936448 113250 33554432000 4194304 4196468 140734046446880 139706323144824 139705911782867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14086852 memory=-6951259422114956437 CPUtime=0.12 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 139 0 0 0 5 7 0 0 20 0 15 0 272668425 14424936448 113250 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14086852 memory=-6509546260019855295 CPUtime=0.11 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 139 0 0 0 5 6 0 0 20 0 15 0 272668425 14424936448 113250 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14086852 memory=-7390251449858225344 CPUtime=0.12 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 211 0 0 0 5 7 0 0 20 0 15 0 272668425 14424936448 113250 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14086852 memory=4134692831991786133 CPUtime=0.12 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 169 0 0 0 5 7 0 0 20 0 15 0 272668425 14424936448 113250 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272668426 14424936448 113250 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
################
# More data... #
################
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 171638 0 0 0 236926 86 0 0 20 0 15 0 272668424 14429130752 456194 33554432000 4194304 4196468 140734046446880 139706323150960 139705920809449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14090948 memory=1829392 CPUtime=11.42 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 28260 0 0 0 1056 86 0 0 20 0 15 0 272668425 14429130752 456194 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14090948 memory=1824776 CPUtime=11.43 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 35687 0 0 0 1059 84 0 0 20 0 15 0 272668425 14429130752 456194 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14090948 memory=1826416 CPUtime=11.4 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 33431 0 0 0 1054 86 0 0 20 0 15 0 272668425 14429130752 456194 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14090948 memory=1824776 CPUtime=11.38 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 34890 0 0 0 1051 87 0 0 20 0 15 0 272668425 14429130752 456194 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14090948 memory=3708 CPUtime=0.51 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 17464 0 0 0 40 11 0 0 20 0 15 0 272668426 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14090948 memory=1824776 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705791779936 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14090948 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705790727040 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14090948 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14090948 memory=1824776 CPUtime=3.62 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 16689 0 0 0 359 3 0 0 20 0 15 0 272668429 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14090948 memory=6791534058613427641 CPUtime=3.64 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 15774 0 0 0 362 2 0 0 20 0 15 0 272668429 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14090948 memory=932 CPUtime=1.39 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 26202 0 0 0 135 4 0 0 20 0 15 0 272668429 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14090948 memory=1824776 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14090948 memory=1824776 CPUtime=1.26 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 2107 0 0 0 65 61 0 0 20 0 15 0 272668430 14429130752 456194 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 2426.24 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1824776 KiB
[startup+2442.3 s]
/proc/loadavg: 1.19 1.47 1.56 3/216 17252
/proc/meminfo: memFree=21047376/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14090948 memory=1816652 CPUtime=2487.52 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 387519 0 0 0 248254 498 0 0 20 0 15 0 272668424 14429130752 454163 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3522737 454163 3618 1 0 3484809 0
[pid=16936/tid=16938] ppid=16933 vsize=14090948 memory=1810504 CPUtime=2429.67 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 173910 0 0 0 242881 86 0 0 20 0 15 0 272668424 14429130752 454163 33554432000 4194304 4196468 140734046446880 139706323150992 139705920838725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14090948 memory=1819220 CPUtime=11.84 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 28795 0 0 0 1097 87 0 0 20 0 15 0 272668425 14429130752 454163 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14090948 memory=1810496 CPUtime=11.84 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 35874 0 0 0 1100 84 0 0 20 0 15 0 272668425 14429130752 454163 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14090948 memory=1810504 CPUtime=11.81 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 33762 0 0 0 1095 86 0 0 20 0 15 0 272668425 14429130752 454163 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14090948 memory=1816652 CPUtime=11.79 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 35297 0 0 0 1092 87 0 0 20 0 15 0 272668425 14429130752 454163 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14090948 memory=1815116 CPUtime=0.53 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 17659 0 0 0 42 11 0 0 20 0 15 0 272668426 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14090948 memory=1819220 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705791779936 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14090948 memory=1816652 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705790727040 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14090948 memory=1810496 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14090948 memory=6556 CPUtime=3.62 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 16692 0 0 0 359 3 0 0 20 0 15 0 272668429 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14090948 memory=1810504 CPUtime=3.64 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 15776 0 0 0 362 2 0 0 20 0 15 0 272668429 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14090948 memory=1815116 CPUtime=1.39 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 26204 0 0 0 135 4 0 0 20 0 15 0 272668429 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14090948 memory=1815116 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14090948 memory=6556 CPUtime=1.28 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 2122 0 0 0 66 62 0 0 20 0 15 0 272668430 14429130752 454163 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 2487.52 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1816652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.9 s]
/proc/loadavg: 1.30 1.47 1.55 3/216 17252
/proc/meminfo: memFree=20998600/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14090948 memory=1866192 CPUtime=2520 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 391942 0 0 0 251497 503 0 0 20 0 15 0 272668424 14429130752 466548 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3522737 466548 3618 1 0 3484809 0
[pid=16936/tid=16938] ppid=16933 vsize=14090948 memory=1866192 CPUtime=2460.97 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 174246 0 0 0 246011 86 0 0 20 0 15 0 272668424 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706323151424 139705920529833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14090948 memory=1860408 CPUtime=12.13 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 29817 0 0 0 1125 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14090948 memory=1854200 CPUtime=12.13 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 37005 0 0 0 1128 85 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14090948 memory=1860408 CPUtime=12.11 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 34750 0 0 0 1123 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14090948 memory=1854200 CPUtime=12.08 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 36214 0 0 0 1120 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0.54 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 17686 0 0 0 43 11 0 0 20 0 15 0 272668426 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705791779936 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14090948 memory=1916 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705790727040 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14090948 memory=1866192 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14090948 memory=3708 CPUtime=3.62 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 16692 0 0 0 359 3 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14090948 memory=2289 CPUtime=3.64 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 15776 0 0 0 362 2 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14090948 memory=1866192 CPUtime=1.39 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 26204 0 0 0 135 4 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14090948 memory=1408 CPUtime=1.31 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 2124 0 0 0 67 64 0 0 20 0 15 0 272668430 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1866192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.94 s]
# the end of solver process 16936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.01 s, system=5.04848 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.9 s]
/proc/loadavg: 1.30 1.47 1.55 3/216 17252
/proc/meminfo: memFree=20998600/32770624 swapFree=67108804/67108860
[pid=16936] ppid=16933 vsize=14090948 memory=1866192 CPUtime=2520 cores=0,2,4,6
/proc/16936/stat : 16936 (java) S 16933 16936 15687 0 -1 1077944320 391942 0 0 0 251497 503 0 0 20 0 15 0 272668424 14429130752 466548 33554432000 4194304 4196468 140734046446880 140734046429424 139706318913271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
/proc/16936/statm: 3522737 466548 3618 1 0 3484809 0
[pid=16936/tid=16938] ppid=16933 vsize=14090948 memory=1866192 CPUtime=2460.97 cores=0,2,4,6
/proc/16936/task/16938/stat : 16938 (java) R 16933 16936 15687 0 -1 4202560 174246 0 0 0 246011 86 0 0 20 0 15 0 272668424 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706323151424 139705920529833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16939] ppid=16933 vsize=14090948 memory=1860408 CPUtime=12.13 cores=0,2,4,6
/proc/16936/task/16939/stat : 16939 (java) S 16933 16936 15687 0 -1 1077944384 29817 0 0 0 1125 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706233982096 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16940] ppid=16933 vsize=14090948 memory=1854200 CPUtime=12.13 cores=0,2,4,6
/proc/16936/task/16940/stat : 16940 (java) S 16933 16936 15687 0 -1 1077944384 37005 0 0 0 1128 85 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706232929296 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16941] ppid=16933 vsize=14090948 memory=1860408 CPUtime=12.11 cores=0,2,4,6
/proc/16936/task/16941/stat : 16941 (java) S 16933 16936 15687 0 -1 1077944384 34750 0 0 0 1123 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706231876496 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16942] ppid=16933 vsize=14090948 memory=1854200 CPUtime=12.08 cores=0,2,4,6
/proc/16936/task/16942/stat : 16942 (java) S 16933 16936 15687 0 -1 1077944384 36214 0 0 0 1120 88 0 0 20 0 15 0 272668425 14429130752 466548 33554432000 4194304 4196468 140734046446880 139706230823696 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16943] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0.54 cores=0,2,4,6
/proc/16936/task/16943/stat : 16943 (java) S 16933 16936 15687 0 -1 1077944384 17686 0 0 0 43 11 0 0 20 0 15 0 272668426 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705792833904 139706318924418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16944] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16944/stat : 16944 (java) S 16933 16936 15687 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705791779936 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16945] ppid=16933 vsize=14090948 memory=1916 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16945/stat : 16945 (java) S 16933 16936 15687 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668427 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705790727040 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16946] ppid=16933 vsize=14090948 memory=1866192 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16946/stat : 16946 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705789675344 139706318931867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16947] ppid=16933 vsize=14090948 memory=3708 CPUtime=3.62 cores=0,2,4,6
/proc/16936/task/16947/stat : 16947 (java) S 16933 16936 15687 0 -1 1077944384 16692 0 0 0 359 3 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705788623728 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16948] ppid=16933 vsize=14090948 memory=2289 CPUtime=3.64 cores=0,2,4,6
/proc/16936/task/16948/stat : 16948 (java) S 16933 16936 15687 0 -1 1077944384 15776 0 0 0 362 2 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705787570928 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16949] ppid=16933 vsize=14090948 memory=1866192 CPUtime=1.39 cores=0,2,4,6
/proc/16936/task/16949/stat : 16949 (java) S 16933 16936 15687 0 -1 1077944384 26204 0 0 0 135 4 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705786518128 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16950] ppid=16933 vsize=14090948 memory=1860408 CPUtime=0 cores=0,2,4,6
/proc/16936/task/16950/stat : 16950 (java) S 16933 16936 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668429 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705785465568 139706318923477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
[pid=16936/tid=16951] ppid=16933 vsize=14090948 memory=1408 CPUtime=1.31 cores=0,2,4,6
/proc/16936/task/16951/stat : 16951 (java) S 16933 16936 15687 0 -1 1077944384 2124 0 0 0 67 64 0 0 20 0 15 0 272668430 14429130752 466548 33554432000 4194304 4196468 140734046446880 139705784412848 139706318924418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19333120 140734046454856 140734046455049 140734046455049 140734046457807 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1866192 KiB
Child status: 143
Real time (s): 2473.94
CPU time (s): 2520.05
CPU user time (s): 2515.01
CPU system time (s): 5.04848
CPU usage (%): 101.864
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4939292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.01
system time used= 5.04848
maximum resident set size= 4939380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64778
involuntary context switches= 3463
# summary of solver processes directly reported to runsolver:
# pid: 16936
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.01
# total CPU system time (s): 5.04848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6973 second user time and 22.8394 second system time
The end
Begin job on node105 at 2018-08-18 02:10:52 IDJOB=4312079 IDBENCH=141261 IDSOLVER=2799 FILE ID=node105/4312079-1534551052 RUNJOBID= node105-1534541043-15718 PBS_JOBID= 21038642 Free space on /tmp= 52240 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312079-1534551052/watcher-4312079-1534551052 -o /tmp/evaluation-result-4312079-1534551052/solver-4312079-1534551052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15718 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1801933832 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312079-1534551052.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6 RANDOM SEED=1801933832 node105.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.32 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.32 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.32 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.32 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: 23432072 kB MemAvailable: 31687044 kB Buffers: 252332 kB Cached: 8264188 kB SwapCached: 16 kB Active: 5790140 kB Inactive: 2980064 kB Active(anon): 225940 kB Inactive(anon): 96512 kB Active(file): 5564200 kB Inactive(file): 2883552 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 141052 kB Writeback: 0 kB AnonPages: 260964 kB Mapped: 31128 kB Shmem: 66132 kB Slab: 265376 kB SReclaimable: 235680 kB SUnreclaim: 29696 kB KernelStack: 3520 kB PageTables: 5720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1238936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 52204 MiB End job on node105 at 2018-08-18 02:52:07