Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 6211 | 2400.05 | 2400.21 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml |
MD5SUM | 02db274482b93fdda962f2b7dd8f24e7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 683 |
Best CPU time to get the best result obtained on this benchmark | 2400.0801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3079 |
Number of constraints | 1593 |
Number of domains | 109 |
Minimum domain size | 2 |
Maximum domain size | 109 |
Distribution of domain sizes | [{"size":2,"count":1541},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":0,"count":1431},{"degree":2,"count":1593},{"degree":54,"count":55}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 55 |
Distribution of constraint arities | [{"arity":2,"count":55},{"arity":3,"count":1486},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1539 |
Distribution of constraint types | [{"type":"intension","count":1539},{"type":"sum","count":54}] |
Optimization problem | YES |
Type of objective | min SUM |
2.48/2.52 o 53955 2.48/2.55 o 48231 2.48/2.58 o 48027 2.59/2.62 o 43135 2.59/2.65 o 42931 2.59/2.68 o 42735 2.69/2.71 o 38635 2.69/2.74 o 38415 2.69/2.77 o 38219 2.79/2.81 o 38047 2.79/2.84 o 34699 2.79/2.87 o 34463 2.88/2.90 o 34267 2.88/2.93 o 34079 2.88/2.97 o 33931 2.99/3.00 o 31295 2.99/3.03 o 31043 2.99/3.06 o 30831 2.99/3.09 o 30643 3.09/3.13 o 30479 3.09/3.16 o 30355 3.09/3.19 o 28391 3.18/3.22 o 28123 3.18/3.26 o 27895 3.18/3.29 o 27707 3.30/3.32 o 27527 3.30/3.35 o 27387 3.30/3.39 o 27287 3.40/3.42 o 25955 3.40/3.45 o 25671 3.40/3.49 o 25427 3.49/3.52 o 25223 3.49/3.56 o 25043 3.49/3.59 o 24887 3.59/3.62 o 24771 3.59/3.65 o 24695 3.59/3.68 o 23955 3.69/3.73 o 23655 3.69/3.77 o 23395 3.79/3.81 o 23175 3.79/3.84 o 22995 3.79/3.88 o 22823 3.89/3.91 o 22691 3.89/3.94 o 22599 3.89/3.97 o 22547 3.98/4.01 o 22359 3.98/4.07 o 22355 4.09/4.10 o 22271 4.09/4.13 o 22043 4.09/4.18 o 22035 4.19/4.21 o 21767 4.19/4.25 o 21531 4.19/4.29 o 21335 4.29/4.33 o 21163 4.29/4.37 o 21015 4.29/4.40 o 20907 4.39/4.43 o 20839 4.39/4.46 o 20811 4.50/4.55 o 20755 4.50/4.58 o 20647 4.59/4.62 o 20579 4.59/4.65 o 20519 4.68/4.72 o 20427 4.68/4.75 o 20327 4.68/4.78 o 20267 4.79/4.84 o 20215 4.79/4.87 o 20115 4.89/4.91 o 20055 4.89/4.96 o 20011 4.89/4.99 o 19943 4.99/5.02 o 19883 4.99/5.06 o 19879 4.99/5.09 o 19779 5.09/5.13 o 19719 5.09/5.16 o 19655 5.09/5.19 o 19595 5.19/5.23 o 19571 5.19/5.26 o 19511 5.19/5.29 o 19467 5.29/5.33 o 19463 5.29/5.36 o 19459 5.29/5.39 o 19455 5.49/5.55 o 19451 5.49/5.59 o 19359 5.59/5.62 o 19275 5.59/5.65 o 19243 5.59/5.69 o 19231 5.69/5.72 o 19227 5.69/5.75 o 19163 5.69/5.78 o 19147 5.89/5.90 o 19107 5.89/5.94 o 19079 5.89/5.97 o 19075 5.98/6.00 o 19047 5.98/6.03 o 18971 5.98/6.06 o 18935 5.98/6.09 o 18915 6.09/6.12 o 18879 6.18/6.22 o 18859 6.18/6.25 o 18783 6.18/6.28 o 18763 6.29/6.31 o 18747 6.29/6.34 o 18687 6.29/6.37 o 18651 6.39/6.45 o 18635 6.39/6.48 o 18575 6.49/6.51 o 18499 6.49/6.54 o 18463 6.49/6.59 o 18395 6.60/6.63 o 18319 6.60/6.66 o 18315 6.70/6.70 o 18271 6.70/6.73 o 18195 6.70/6.77 o 18159 6.79/6.80 o 18155 6.79/6.84 o 18095 6.79/6.87 o 18059 6.89/6.90 o 18035 6.89/6.93 o 17999 6.89/6.97 o 17979 7.19/7.25 o 17975 7.19/7.28 o 17907 7.28/7.32 o 17875 7.28/7.35 o 17807 7.28/7.39 o 17747 7.39/7.42 o 17715 7.39/7.46 o 17683 7.59/7.67 o 17663 7.59/7.70 o 17595 7.70/7.73 o 17539 7.70/7.76 o 17535 7.70/7.80 o 17503 7.79/7.83 o 17451 7.79/7.86 o 17439 7.99/8.01 o 17427 7.99/8.04 o 17423 7.99/8.08 o 17367 8.09/8.11 o 17299 8.09/8.14 o 17247 8.09/8.17 o 17235 8.19/8.28 o 17211 8.29/8.32 o 17203 8.29/8.35 o 17135 8.29/8.38 o 17083 8.39/8.41 o 17071 8.39/8.49 o 17055 8.49/8.53 o 17047 8.49/8.56 o 16979 8.49/8.59 o 16927 8.59/8.65 o 16915 8.59/8.68 o 16879 8.69/8.71 o 16863 8.69/8.75 o 16811 8.69/8.78 o 16799 8.79/8.82 o 16771 8.79/8.86 o 16735 8.79/8.89 o 16723 8.90/8.93 o 16715 8.90/8.96 o 16687 9.49/9.52 o 16655 9.49/9.59 o 16619 9.59/9.62 o 16555 9.59/9.67 o 16539 9.69/9.70 o 16463 9.69/9.74 o 16427 10.09/10.15 o 16379 10.09/10.18 o 16367 10.19/10.23 o 16355 10.19/10.26 o 16319 10.19/10.29 o 16275 10.29/10.33 o 16235 10.29/10.37 o 16227 10.39/10.40 o 16207 10.39/10.43 o 16179 10.39/10.46 o 16175 10.69/10.75 o 16123 10.69/10.79 o 16075 10.79/10.82 o 16027 10.79/10.86 o 15995 10.79/10.89 o 15967 10.99/11.08 o 15951 11.09/11.11 o 15939 11.09/11.15 o 15915 11.09/11.18 o 15855 11.19/11.22 o 15827 11.29/11.34 o 15775 11.29/11.38 o 15739 11.39/11.42 o 15723 11.39/11.45 o 15695 11.49/11.53 o 15683 11.49/11.56 o 15675 11.59/11.60 o 15647 11.59/11.63 o 15631 11.59/11.66 o 15603 11.69/11.72 o 15547 11.69/11.76 o 15535 11.69/11.79 o 15507 11.79/11.84 o 15467 11.79/11.87 o 15455 12.89/12.97 o 15443 12.99/13.01 o 15395 12.99/13.04 o 15363 12.99/13.07 o 15351 13.09/13.13 o 15343 13.09/13.16 o 15339 13.09/13.20 o 15295 13.19/13.23 o 15291 13.19/13.26 o 15243 13.29/13.31 o 15239 13.29/13.34 o 15191 13.29/13.38 o 15179 13.39/13.41 o 15175 14.09/14.11 o 15171 14.09/14.14 o 15167 14.09/14.16 o 15115 14.19/14.22 o 15103 14.19/14.24 o 15075 14.19/14.27 o 15055 14.29/14.31 o 15019 14.29/14.34 o 15007 14.29/14.37 o 14987 14.29/14.40 o 14975 14.39/14.43 o 14947 14.39/14.46 o 14939 14.88/14.94 o 14891 14.88/14.97 o 14879 14.98/15.01 o 14823 14.98/15.04 o 14779 14.98/15.07 o 14747 15.09/15.10 o 14715 15.09/15.13 o 14711 15.39/15.44 o 14691 15.39/15.48 o 14635 15.49/15.51 o 14623 15.49/15.54 o 14595 15.49/15.57 o 14559 15.59/15.60 o 14555 15.78/15.80 o 14503 15.78/15.83 o 14459 15.78/15.86 o 14447 15.78/15.89 o 14411 15.99/16.02 o 14383 15.99/16.05 o 14363 15.99/16.08 o 14351 16.09/16.11 o 14303 16.09/16.19 o 14263 16.19/16.22 o 14255 16.19/16.25 o 14251 16.19/16.28 o 14235 16.28/16.31 o 14231 16.28/16.35 o 14223 16.28/16.39 o 14191 18.29/18.32 o 14187 18.39/18.45 o 14111 18.39/18.48 o 14099 18.49/18.51 o 14079 18.49/18.59 o 14059 18.58/18.62 o 14047 18.58/18.65 o 14027 18.58/18.68 o 14015 18.69/18.72 o 14003 18.69/18.75 o 13983 18.69/18.78 o 13971 18.79/18.82 o 13967 18.79/18.85 o 13951 20.19/20.22 o 13931 20.19/20.24 o 13899 20.19/20.27 o 13855 20.29/20.35 o 13847 20.29/20.38 o 13839 20.38/20.41 o 13819 20.38/20.44 o 13815 20.38/20.46 o 13803 20.49/20.52 o 13759 20.49/20.56 o 13743 20.49/20.59 o 13735 21.38/21.47 o 13731 21.38/21.49 o 13695 21.48/21.58 o 13631 21.58/21.61 o 13611 21.58/21.66 o 13603 21.58/21.69 o 13567 21.69/21.73 o 13535 22.28/22.32 o 13499 22.28/22.35 o 13483 22.28/22.38 o 13447 22.39/22.44 o 13407 22.39/22.48 o 13399 22.49/22.52 o 13387 22.78/22.86 o 13379 22.78/22.89 o 13359 22.89/22.94 o 13347 22.89/22.97 o 13315 22.99/23.00 o 13279 22.99/23.05 o 13259 23.19/23.27 o 13199 23.29/23.32 o 13179 23.29/23.35 o 13175 23.39/23.44 o 13163 23.39/23.49 o 13139 23.48/23.53 o 13131 23.48/23.59 o 13119 23.58/23.61 o 13099 27.19/27.27 o 13087 27.29/27.31 o 13055 27.29/27.33 o 13035 27.49/27.53 o 13031 27.49/27.56 o 12971 27.49/27.60 o 12951 27.68/27.71 o 12927 27.68/27.75 o 12907 27.78/27.81 o 12891 27.78/27.84 o 12871 30.18/30.24 o 12867 30.38/30.41 o 12839 30.38/30.47 o 12815 30.48/30.51 o 12783 30.48/30.54 o 12779 30.58/30.64 o 12755 30.58/30.66 o 12739 30.69/30.70 o 12715 30.69/30.78 o 12711 30.79/30.80 o 12683 32.38/32.46 o 12631 32.48/32.50 o 12615 32.58/32.62 o 12591 32.58/32.66 o 12539 32.69/32.73 o 12535 32.69/32.76 o 12507 32.78/32.80 o 12503 32.78/32.83 o 12491 33.78/33.80 o 12471 33.88/33.92 o 12463 33.88/33.95 o 12451 33.88/33.98 o 12427 33.98/34.00 o 12399 33.98/34.08 o 12347 34.68/34.72 o 12335 34.68/34.76 o 12295 34.78/34.83 o 12263 34.78/34.87 o 12239 34.88/34.92 o 12235 34.88/34.94 o 12219 35.19/35.27 o 12215 35.29/35.33 o 12207 35.29/35.36 o 12203 35.29/35.39 o 12187 35.38/35.41 o 12159 35.38/35.44 o 12143 35.38/35.48 o 12119 35.48/35.51 o 12087 35.68/35.72 o 12079 35.68/35.74 o 12063 35.68/35.76 o 12047 35.78/35.83 o 12043 35.78/35.85 o 12031 35.88/35.94 o 12007 35.88/35.99 o 11991 43.38/43.40 o 11979 43.38/43.43 o 11963 43.38/43.45 o 11927 43.48/43.50 o 11911 43.58/43.66 o 11895 43.68/43.73 o 11883 43.68/43.76 o 11871 43.78/43.80 o 11819 43.88/43.91 o 11799 43.88/43.94 o 11787 43.88/43.97 o 11783 43.99/44.06 o 11767 48.88/48.95 o 11743 48.98/49.01 o 11727 48.98/49.04 o 11711 48.98/49.07 o 11687 49.19/49.26 o 11663 49.28/49.31 o 11659 49.28/49.35 o 11643 49.38/49.43 o 11639 49.38/49.48 o 11611 49.49/49.51 o 11591 49.49/49.58 o 11579 49.58/49.61 o 11575 52.79/52.85 o 11527 52.79/52.88 o 11511 52.98/53.08 o 11499 53.08/53.13 o 11479 53.18/53.27 o 11459 53.18/53.29 o 11431 53.29/53.33 o 11403 53.39/53.44 o 11399 55.38/55.46 o 11375 55.48/55.51 o 11355 55.48/55.54 o 11343 55.48/55.56 o 11339 55.48/55.59 o 11295 55.68/55.72 o 11287 55.68/55.76 o 11271 55.78/55.83 o 11263 55.78/55.86 o 11243 56.79/56.85 o 11239 56.98/57.08 o 11191 57.19/57.21 o 11143 57.19/57.25 o 11131 57.28/57.33 o 11127 57.88/57.96 o 11103 57.98/58.08 o 11095 58.09/58.11 o 11079 58.09/58.13 o 11063 58.18/58.21 o 11051 58.18/58.23 o 11023 58.48/58.52 o 11019 58.58/58.66 o 10999 58.68/58.73 o 10987 58.88/58.91 o 10967 58.88/58.95 o 10943 73.27/73.37 o 10915 73.38/73.47 o 10899 73.48/73.53 o 10895 73.48/73.56 o 10879 73.58/73.62 o 10863 73.88/73.90 o 10859 73.88/73.94 o 10851 73.88/73.97 o 10831 73.98/74.09 o 10811 74.08/74.12 o 10807 74.08/74.18 o 10763 74.38/74.43 o 10735 83.37/83.41 o 10731 84.08/84.10 o 10711 84.08/84.14 o 10695 84.18/84.24 o 10679 84.18/84.27 o 10663 84.58/84.61 o 10647 84.58/84.66 o 10615 84.78/84.89 o 10591 84.88/84.96 o 10587 84.98/85.08 o 10583 85.08/85.11 o 10571 91.17/91.24 o 10563 91.17/91.26 o 10559 91.29/91.32 o 10543 91.29/91.37 o 10527 91.39/91.42 o 10495 91.68/91.75 o 10487 91.68/91.79 o 10475 91.78/91.88 o 10459 91.98/92.04 o 10443 91.98/92.08 o 10419 95.88/95.91 o 10415 95.88/95.93 o 10387 95.88/95.96 o 10383 96.27/96.33 o 10375 96.27/96.37 o 10343 96.38/96.47 o 10311 96.58/96.68 o 10303 96.68/96.71 o 10271 98.98/99.09 o 10251 99.08/99.13 o 10247 99.18/99.20 o 10243 99.18/99.22 o 10239 99.18/99.27 o 10231 99.18/99.29 o 10207 99.38/99.45 o 10195 99.48/99.54 o 10191 99.48/99.58 o 10179 100.77/100.85 o 10167 100.77/100.89 o 10123 101.08/101.15 o 10111 101.68/101.74 o 10091 101.68/101.76 o 10083 101.87/101.98 o 10079 102.07/102.13 o 10067 102.07/102.15 o 10063 102.78/102.81 o 10051 130.57/130.62 o 10039 130.77/130.86 o 10031 130.89/131.00 o 10011 130.99/131.03 o 9991 132.18/132.27 o 9975 132.27/132.31 o 9959 132.47/132.50 o 9947 132.47/132.55 o 9943 132.57/132.64 o 9927 132.57/132.68 o 9911 133.27/133.36 o 9883 133.47/133.52 o 9879 133.78/133.81 o 9847 133.98/134.00 o 9843 152.17/152.28 o 9839 153.47/153.53 o 9815 153.68/153.75 o 9775 154.28/154.31 o 9767 154.48/154.55 o 9759 154.48/154.57 o 9739 154.57/154.63 o 9727 154.67/154.77 o 9715 154.97/155.04 o 9711 155.08/155.12 o 9699 155.08/155.14 o 9695 155.08/155.20 o 9687 155.47/155.50 o 9667 155.57/155.60 o 9663 155.57/155.62 o 9659 167.67/167.78 o 9655 167.77/167.85 o 9651 167.87/167.94 o 9623 167.87/167.99 o 9607 168.58/168.63 o 9595 168.58/168.69 o 9583 168.68/168.74 o 9567 169.07/169.16 o 9547 169.07/169.19 o 9543 169.27/169.32 o 9539 169.47/169.57 o 9523 169.47/169.59 o 9511 169.57/169.64 o 9507 169.68/169.70 o 9491 177.37/177.45 o 9487 177.48/177.57 o 9467 177.58/177.69 o 9459 177.68/177.73 o 9443 177.68/177.79 o 9439 177.77/177.81 o 9435 178.07/178.17 o 9411 178.18/178.22 o 9383 178.37/178.44 o 9379 178.37/178.48 o 9363 182.18/182.29 o 9351 182.97/183.06 o 9335 182.97/183.08 o 9331 183.37/183.41 o 9315 183.37/183.45 o 9299 183.47/183.56 o 9287 183.57/183.60 o 9283 183.57/183.65 o 9271 183.78/183.85 o 9255 183.87/183.92 o 9247 186.17/186.23 o 9231 186.17/186.25 o 9211 186.58/186.65 o 9207 186.68/186.72 o 9195 186.68/186.77 o 9191 186.87/186.90 o 9187 186.87/186.93 o 9155 186.87/186.97 o 9151 188.27/188.37 o 9143 188.27/188.39 o 9123 188.37/188.43 o 9107 189.18/189.24 o 9103 243.18/243.22 o 9091 243.37/243.41 o 9083 245.67/245.76 o 9067 245.76/245.82 o 9051 246.17/246.25 o 9039 246.17/246.28 o 9035 246.27/246.34 o 9023 246.37/246.46 o 9019 246.47/246.51 o 9007 247.37/247.40 o 9003 247.47/247.58 o 8987 247.97/248.02 o 8963 248.06/248.17 o 8939 248.26/248.32 o 8927 248.87/248.90 o 8923 248.97/249.05 o 8907 249.07/249.12 o 8895 286.16/286.23 o 8883 286.27/286.36 o 8867 286.47/286.57 o 8851 286.67/286.75 o 8839 286.67/286.77 o 8819 287.97/288.08 o 8803 288.27/288.33 o 8799 288.67/288.79 o 8783 288.76/288.81 o 8763 288.86/288.93 o 8759 289.07/289.14 o 8751 289.17/289.21 o 8747 289.17/289.23 o 8739 312.97/313.02 o 8735 312.97/313.05 o 8731 313.17/313.21 o 8719 313.17/313.24 o 8699 313.26/313.31 o 8683 314.57/314.62 o 8675 314.67/314.75 o 8671 314.86/314.91 o 8643 315.47/315.54 o 8627 315.47/315.58 o 8619 315.67/315.80 o 8607 315.77/315.88 o 8603 316.16/316.25 o 8591 316.27/316.32 o 8575 331.17/331.25 o 8551 331.26/331.33 o 8519 332.07/332.18 o 8499 332.27/332.36 o 8495 332.36/332.42 o 8479 332.36/332.47 o 8459 341.16/341.25 o 8451 341.37/341.44 o 8435 341.47/341.56 o 8427 341.47/341.59 o 8411 342.07/342.14 o 8403 342.26/342.38 o 8383 342.36/342.46 o 8379 346.97/347.08 o 8343 347.26/347.32 o 8335 347.36/347.44 o 8327 348.06/348.13 o 8307 350.26/350.37 o 8291 350.46/350.51 o 8283 351.26/351.30 o 8271 352.66/352.72 o 8267 458.35/458.47 o 8247 459.36/459.44 o 8239 459.36/459.49 o 8223 459.66/459.74 o 8215 464.16/464.23 o 8199 464.26/464.33 o 8183 465.06/465.13 o 8179 465.16/465.30 o 8167 465.45/465.58 o 8151 467.15/467.26 o 8119 468.26/468.36 o 8115 468.56/468.69 o 8111 469.55/469.61 o 8099 469.55/469.67 o 8087 539.45/539.53 o 8075 543.45/543.52 o 8071 544.05/544.19 o 8067 544.25/544.32 o 8035 544.85/544.91 o 8015 545.05/545.12 o 8007 545.05/545.14 o 7987 547.55/547.65 o 7983 547.55/547.69 o 7979 548.05/548.10 o 7955 549.05/549.11 o 7947 549.15/549.30 o 7939 596.26/596.33 o 7927 596.75/596.80 o 7923 596.95/597.02 o 7895 597.55/597.63 o 7863 600.04/600.10 o 7851 600.04/600.13 o 7839 600.45/600.54 o 7831 601.65/601.72 o 7791 629.54/629.63 o 7787 629.54/629.66 o 7771 632.45/632.51 o 7755 633.04/633.16 o 7739 634.14/634.27 o 7715 634.75/634.87 o 7699 649.14/649.25 o 7683 649.64/649.76 o 7671 651.54/651.65 o 7631 652.74/652.89 o 7623 654.25/654.32 o 7603 662.94/663.04 o 7595 663.25/663.38 o 7579 663.75/663.81 o 7571 665.55/665.65 o 7563 666.04/666.15 o 7523 669.44/669.53 o 7519 671.04/671.15 o 7507 673.44/673.53 o 7491 885.13/885.28 o 7475 885.93/886.06 o 7467 886.02/886.10 o 7451 894.62/894.77 o 7419 896.23/896.33 o 7407 897.03/897.12 o 7403 900.42/900.52 o 7391 901.03/901.10 o 7367 901.93/902.04 o 7363 901.93/902.09 o 7351 903.03/903.16 o 7343 904.93/905.05 o 7323 905.23/905.33 o 7307 1051.01/1051.18 o 7291 1051.32/1051.43 o 7267 1052.42/1052.59 o 7263 1052.63/1052.72 o 7243 1053.02/1053.13 o 7235 1057.21/1057.31 o 7231 1057.62/1057.76 o 7219 1058.22/1058.35 o 7211 1058.52/1058.68 o 7195 1060.61/1060.71 o 7171 1061.32/1061.50 o 7155 1151.62/1151.72 o 7151 1153.21/1153.32 o 7131 1153.31/1153.44 o 7127 1153.92/1154.06 o 7119 1158.32/1158.48 o 7103 1158.91/1159.05 o 7091 1159.81/1159.97 o 7055 1161.71/1161.87 o 7047 1164.01/1164.16 o 7031 1216.41/1216.50 o 7027 1217.21/1217.35 o 7023 1217.41/1217.53 o 7019 1220.91/1221.06 o 7011 1221.01/1221.13 o 7003 1222.01/1222.11 o 6999 1222.21/1222.39 o 6995 1222.50/1222.69 o 6963 1222.70/1222.83 o 6947 1226.00/1226.17 o 6935 1226.31/1226.47 o 6923 1227.81/1227.94 o 6907 1254.70/1254.85 o 6895 1258.00/1258.19 o 6887 1259.81/1259.90 o 6883 1260.10/1260.24 o 6867 1260.51/1260.63 o 6863 1262.61/1262.77 o 6859 1262.71/1262.85 o 6839 1275.40/1275.55 o 6835 1275.60/1275.77 o 6823 1275.70/1275.85 o 6815 1280.41/1280.54 o 6803 1280.51/1280.62 o 6791 1281.00/1281.16 o 6787 1285.40/1285.59 o 6775 1285.71/1285.81 o 6747 1291.80/1291.93 o 6743 1292.41/1292.51 o 6739 1294.61/1294.80 o 6731 1299.51/1299.60 o 6723 1697.68/1697.86 o 6711 1702.58/1702.74 o 6675 1718.98/1719.19 o 6659 1719.67/1719.85 o 6655 1721.58/1721.72 o 6643 1722.07/1722.20 o 6615 1729.77/1729.92 o 6611 1732.38/1732.57 o 6599 1732.68/1732.80 o 6587 1738.08/1738.22 o 6579 1999.06/1999.24 o 6575 2003.06/2003.25 o 6567 2003.16/2003.37 o 6563 2003.25/2003.42 o 6547 2019.56/2019.75 o 6523 2021.56/2021.75 o 6515 2022.56/2022.77 o 6503 2024.76/2024.90 o 6499 2031.56/2031.71 o 6483 2031.66/2031.82 o 6467 2035.35/2035.58 o 6451 2038.96/2039.11 o 6431 2214.74/2214.91 o 6419 2215.04/2215.28 o 6415 2215.14/2215.32 o 6403 2218.04/2218.22 o 6399 2218.24/2218.42 o 6387 2218.85/2219.08 o 6371 2219.55/2219.77 o 6367 2227.35/2227.58 o 6347 2229.04/2229.29 o 6343 2233.44/2233.60 o 6339 2234.25/2234.41 o 6327 2235.64/2235.84 o 6323 2238.25/2238.48 o 6319 2238.55/2238.72 o 6311 2337.54/2337.74 o 6307 2338.64/2338.80 o 6303 2339.94/2340.13 o 6299 2346.04/2346.23 o 6291 2346.83/2347.01 o 6283 2347.03/2347.24 o 6279 2349.63/2349.87 o 6271 2349.73/2349.98 o 6255 2350.34/2350.58 o 6251 2350.55/2350.72 o 6247 2351.24/2351.49 o 6227 2355.44/2355.65 o 6211 2400.04/2400.20 s SATISFIABLE 2400.04/2400.20 v <instantiation> 2400.04/2400.20 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[42][53] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[43][52] y[43][53] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[44][51] y[44][52] y[44][53] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][50] y[45][51] y[45][52] y[45][53] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][50] y[46][51] y[46][52] y[46][53] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][50] y[47][51] y[47][52] y[47][53] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][50] y[48][51] y[48][52] y[48][53] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][50] y[49][51] y[49][52] y[49][53] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][50] y[50][51] y[50][52] y[50][53] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][50] y[51][51] y[51][52] y[51][53] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][50] y[52][51] y[52][52] y[52][53] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][50] y[53][51] y[53][52] y[53][53] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] </list> 2400.04/2400.20 v <values> -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 26 27 26 27 22 23 22 17 14 11 14 13 14 13 12 5 10 7 8 7 4 5 2 3 2 1 0 -1 -2 -3 -4 -3 -2 -1 0 -1 0 1 2 3 2 1 2 1 0 1 2 1 0 1 0 1 0 1 676 729 676 729 484 529 484 289 196 121 196 169 196 169 144 25 100 49 64 49 16 25 4 9 4 1 0 1 4 9 16 9 4 1 0 1 0 1 4 9 4 1 4 1 0 1 4 1 0 1 0 1 0 1 </values> 2400.04/2400.20 v </instantiation>
OK 6211
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252689-1500927008/watcher-4252689-1500927008 -o /tmp/evaluation-result-4252689-1500927008/solver-4252689-1500927008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3805 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252689-1500927008.xml pid=6619 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6622 /proc/meminfo: memFree=32117308/32770624 swapFree=5848/116476 [pid=6622] ppid=6619 vsize=24752 CPUtime=0 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 2254284 25346048 789 33554432000 4194304 6986860 140722837483456 140722837480152 140125023267813 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 6188 789 652 682 0 191 0 [startup+0.100112 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6622 /proc/meminfo: memFree=32117308/32770624 swapFree=5848/116476 [pid=6622] ppid=6619 vsize=32220 CPUtime=0.09 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 2905 0 0 0 9 0 0 0 20 0 1 0 2254284 32993280 2746 33554432000 4194304 6986860 140722837483456 140722837480152 5856223 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 8055 2746 741 682 0 2058 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32220 [startup+0.200274 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6622 /proc/meminfo: memFree=32117308/32770624 swapFree=5848/116476 [pid=6622] ppid=6619 vsize=32220 CPUtime=0.19 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 2930 0 0 0 19 0 0 0 20 0 1 0 2254284 32993280 2746 33554432000 4194304 6986860 140722837483456 140722837480152 5637800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 8055 2746 741 682 0 2058 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32220 [startup+0.3002 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6622 /proc/meminfo: memFree=32117308/32770624 swapFree=5848/116476 [pid=6622] ppid=6619 vsize=32344 CPUtime=0.29 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 2955 0 0 0 29 0 0 0 20 0 1 0 2254284 33120256 2777 33554432000 4194304 6986860 140722837483456 140722837480152 5637608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 8086 2777 741 682 0 2089 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32344 [startup+0.70017 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6622 /proc/meminfo: memFree=32117308/32770624 swapFree=5848/116476 [pid=6622] ppid=6619 vsize=32840 CPUtime=0.69 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 3055 0 0 0 69 0 0 0 20 0 1 0 2254284 33628160 2901 33554432000 4194304 6986860 140722837483456 140722837480152 5618260 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 8210 2901 741 682 0 2213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32840 [startup+1.50017 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32108240/32770624 swapFree=5848/116524 [pid=6622] ppid=6619 vsize=33584 CPUtime=1.49 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 3260 0 0 0 149 0 0 0 20 0 1 0 2254284 34390016 3087 33554432000 4194304 6986860 140722837483456 140722837475592 140125023267391 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 8396 3087 741 682 0 2399 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33584 [startup+3.10017 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32107032/32770624 swapFree=5848/116500 [pid=6622] ppid=6619 vsize=39720 CPUtime=3.09 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 7220 0 0 0 307 2 0 0 20 0 1 0 2254284 40673280 4607 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4607 768 682 0 3933 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39720 [startup+6.30018 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101736/32770624 swapFree=5848/116512 [pid=6622] ppid=6619 vsize=39720 CPUtime=6.29 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 10431 0 0 0 617 12 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39720 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101612/32770624 swapFree=5848/116520 [pid=6622] ppid=6619 vsize=39720 CPUtime=12.69 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 13840 0 0 0 1247 22 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5366213 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39720 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101260/32770624 swapFree=5848/116520 [pid=6622] ppid=6619 vsize=39720 CPUtime=25.48 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19352 0 0 0 2511 37 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023277038 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39720 [startup+51.1002 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6623 /proc/meminfo: memFree=32101412/32770624 swapFree=5848/116556 [pid=6622] ppid=6619 vsize=39720 CPUtime=51.08 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19462 0 0 0 5059 49 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023266790 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39720 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6624 /proc/meminfo: memFree=32101520/32770624 swapFree=5848/116608 [pid=6622] ppid=6619 vsize=39720 CPUtime=102.28 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19569 0 0 0 10160 68 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 39720 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6625 /proc/meminfo: memFree=32101396/32770624 swapFree=5848/116688 [pid=6622] ppid=6619 vsize=39720 CPUtime=162.27 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19676 0 0 0 16144 83 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023277021 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 39720 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6626 /proc/meminfo: memFree=32101524/32770624 swapFree=5848/116760 [pid=6622] ppid=6619 vsize=39720 CPUtime=222.28 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19783 0 0 0 22122 106 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 5355778 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 39720 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6627 /proc/meminfo: memFree=32101360/32770624 swapFree=5848/116824 [pid=6622] ppid=6619 vsize=39720 CPUtime=282.27 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19890 0 0 0 28104 123 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023260178 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 39720 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6628 /proc/meminfo: memFree=32101500/32770624 swapFree=5848/116888 [pid=6622] ppid=6619 vsize=39720 CPUtime=342.26 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 19997 0 0 0 34084 142 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5475512 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 39720 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6629 /proc/meminfo: memFree=32101468/32770624 swapFree=5848/116952 [pid=6622] ppid=6619 vsize=39720 CPUtime=402.26 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 20095 0 0 0 40068 158 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 39720 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6630 /proc/meminfo: memFree=32101424/32770624 swapFree=5848/117004 [pid=6622] ppid=6619 vsize=39720 CPUtime=462.26 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 20204 0 0 0 46053 173 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5355464 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 39720 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6631 /proc/meminfo: memFree=32101384/32770624 swapFree=5848/117048 [pid=6622] ppid=6619 vsize=39720 CPUtime=522.25 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 20301 0 0 0 52038 187 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5476848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 39720 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6632 /proc/meminfo: memFree=32101160/32770624 swapFree=5848/117088 [pid=6622] ppid=6619 vsize=39720 CPUtime=582.25 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 20409 0 0 0 58022 203 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5476826 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 39720 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.05 3/182 6664 /proc/meminfo: memFree=32101248/32770624 swapFree=5848/117780 [pid=6622] ppid=6619 vsize=39720 CPUtime=1482.19 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 21943 0 0 0 147795 424 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 140125023276959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1482.19 Current children cumulated vsize (KiB) 39720 [startup+1542.31 s] /proc/loadavg: 2.00 2.03 2.05 3/182 6666 /proc/meminfo: memFree=32099992/32770624 swapFree=5848/117820 [pid=6622] ppid=6619 vsize=39720 CPUtime=1542.19 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22040 0 0 0 153781 438 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5475520 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1542.19 Current children cumulated vsize (KiB) 39720 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6667 /proc/meminfo: memFree=32099992/32770624 swapFree=5848/117852 [pid=6622] ppid=6619 vsize=39720 CPUtime=1602.18 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22137 0 0 0 159764 454 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 140125023260692 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1602.18 Current children cumulated vsize (KiB) 39720 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6668 /proc/meminfo: memFree=32100124/32770624 swapFree=5848/117884 [pid=6622] ppid=6619 vsize=39720 CPUtime=1662.18 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22234 0 0 0 165748 470 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5366202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1662.18 Current children cumulated vsize (KiB) 39720 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 6669 /proc/meminfo: memFree=32099868/32770624 swapFree=5848/117912 [pid=6622] ppid=6619 vsize=39720 CPUtime=1722.17 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22342 0 0 0 171732 485 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 5366840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1722.17 Current children cumulated vsize (KiB) 39720 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6670 /proc/meminfo: memFree=32099728/32770624 swapFree=5848/117952 [pid=6622] ppid=6619 vsize=39720 CPUtime=1782.17 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22450 0 0 0 177716 501 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023266292 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1782.17 Current children cumulated vsize (KiB) 39720 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6678 /proc/meminfo: memFree=32098456/32770624 swapFree=5848/117992 [pid=6622] ppid=6619 vsize=39720 CPUtime=1842.17 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22546 0 0 0 183701 516 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5366199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1842.17 Current children cumulated vsize (KiB) 39720 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6679 /proc/meminfo: memFree=32098704/32770624 swapFree=5848/118020 [pid=6622] ppid=6619 vsize=39720 CPUtime=1902.16 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22642 0 0 0 189685 531 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023265586 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1902.16 Current children cumulated vsize (KiB) 39720 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6680 /proc/meminfo: memFree=32098820/32770624 swapFree=5848/118052 [pid=6622] ppid=6619 vsize=39720 CPUtime=1962.17 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22738 0 0 0 195671 546 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 140125023260679 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 1962.17 Current children cumulated vsize (KiB) 39720 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6681 /proc/meminfo: memFree=32099192/32770624 swapFree=5848/118080 [pid=6622] ppid=6619 vsize=39720 CPUtime=2022.16 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22846 0 0 0 201655 561 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5475424 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2022.16 Current children cumulated vsize (KiB) 39720 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6682 /proc/meminfo: memFree=32099440/32770624 swapFree=5848/118140 [pid=6622] ppid=6619 vsize=39720 CPUtime=2082.16 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 22954 0 0 0 207641 575 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 5431759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2082.16 Current children cumulated vsize (KiB) 39720 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6683 /proc/meminfo: memFree=32099192/32770624 swapFree=5848/118176 [pid=6622] ppid=6619 vsize=39720 CPUtime=2142.15 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23050 0 0 0 213624 591 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2142.15 Current children cumulated vsize (KiB) 39720 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6684 /proc/meminfo: memFree=32099440/32770624 swapFree=5848/118204 [pid=6622] ppid=6619 vsize=39720 CPUtime=2202.15 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23146 0 0 0 219610 605 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 5476736 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2202.15 Current children cumulated vsize (KiB) 39720 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6685 /proc/meminfo: memFree=32099904/32770624 swapFree=5848/118244 [pid=6622] ppid=6619 vsize=39720 CPUtime=2262.14 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23266 0 0 0 225592 622 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 140125023267295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2262.14 Current children cumulated vsize (KiB) 39720 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6686 /proc/meminfo: memFree=32099620/32770624 swapFree=5848/118276 [pid=6622] ppid=6619 vsize=39720 CPUtime=2322.14 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23362 0 0 0 231579 635 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023265930 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2322.14 Current children cumulated vsize (KiB) 39720 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6809 /proc/meminfo: memFree=32109292/32770624 swapFree=5848/118416 [pid=6622] ppid=6619 vsize=39720 CPUtime=2382.13 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23470 0 0 0 237563 650 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478808 140125023265316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2382.13 Current children cumulated vsize (KiB) 39720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6816 /proc/meminfo: memFree=32108332/32770624 swapFree=5848/118448 [pid=6622] ppid=6619 vsize=39720 CPUtime=2400.04 cores=0,2,4,6 /proc/6622/stat : 6622 (naxos-xcsp3) R 6619 6622 3774 0 -1 4202496 23564 0 0 0 239349 655 0 0 20 0 1 0 2254284 40673280 4660 33554432000 4194304 6986860 140722837483456 140722837478984 140125023531388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 9087712 9120176 24334336 140722837484814 140722837484895 140722837484895 140722837487594 0 /proc/6622/statm: 9930 4660 772 682 0 3933 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 39720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6622 sig 9 ??? kill -6622 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.21 CPU time (s): 2400.05 CPU user time (s): 2393.5 CPU system time (s): 6.55159 CPU usage (%): 99.9935 Max. virtual memory (cumulated for all children) (KiB): 39720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2393.5 system time used= 6.55159 maximum resident set size= 18656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23591 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 3044 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.28841 second user time and 8.37462 second system time The end
Begin job on node120 at 2017-07-24 22:10:08 IDJOB=4252689 IDBENCH=127009 IDSOLVER=2634 FILE ID=node120/4252689-1500927008 RUNJOBID= node120-1500914921-3805 PBS_JOBID= 20625409 Free space on /tmp= 61844 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-055.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252689-1500927008/watcher-4252689-1500927008 -o /tmp/evaluation-result-4252689-1500927008/solver-4252689-1500927008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500914921-3805 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252689-1500927008.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 02db274482b93fdda962f2b7dd8f24e7 RANDOM SEED=1843441846 node120.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.14 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.14 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.14 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.14 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: 32117872 kB MemAvailable: 32057020 kB Buffers: 35652 kB Cached: 218136 kB SwapCached: 0 kB Active: 176936 kB Inactive: 125016 kB Active(anon): 51416 kB Inactive(anon): 8540 kB Active(file): 125520 kB Inactive(file): 116476 kB Unevictable: 5848 kB Mlocked: 5848 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 54208 kB Mapped: 30276 kB Shmem: 8844 kB Slab: 50744 kB SReclaimable: 25972 kB SUnreclaim: 24772 kB KernelStack: 3264 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 292436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 61840 MiB End job on node120 at 2017-07-24 22:50:08