Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 4918272 | 3600.03 | 3608.61 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb |
| MD5SUM | 6ea30ee5c980a208725b42ec6ced88d1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4372480 |
| Best CPU time to get the best result obtained on this benchmark | 2892.16 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8060 |
| Total number of constraints | 296 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 296 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 780 |
| Number of terms in the objective function | 8060 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1599918681646 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1599918681646 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.13 o 21156520 0.09/0.14 o 17374103 0.09/0.14 o 17250199 0.09/0.14 o 17101719 0.09/0.14 o 16919447 0.09/0.14 o 16847767 0.09/0.15 o 16682903 0.09/0.15 o 16541591 0.09/0.15 o 16369559 0.09/0.15 o 16195479 0.09/0.15 o 16083863 0.09/0.16 o 15973271 0.09/0.16 o 15853463 0.09/0.16 o 15737751 0.09/0.16 o 15612823 0.09/0.16 o 15484823 0.09/0.17 o 15381399 0.09/0.17 o 15197079 0.09/0.17 o 15077271 0.09/0.17 o 14913431 0.09/0.17 o 14841751 0.09/0.18 o 14774167 0.09/0.18 o 14640023 0.09/0.18 o 14562199 0.09/0.18 o 14531478 0.09/0.19 o 14531468 0.09/0.20 o 14436248 0.09/0.20 o 14436240 0.30/0.35 o 14423986 0.30/0.36 o 14423954 0.30/0.39 o 14423952 0.40/0.41 o 14421904 0.40/0.44 o 14235536 0.40/0.46 o 14049168 0.40/0.46 o 13863824 0.40/0.46 o 13744016 0.40/0.46 o 13606800 0.40/0.46 o 13511568 0.40/0.47 o 13324176 0.40/0.47 o 13156240 0.40/0.47 o 12962704 0.40/0.47 o 12840848 0.40/0.47 o 12756880 0.40/0.50 o 12700560 0.78/0.82 o 12700554 0.78/0.83 o 12700548 0.78/0.85 o 12700540 0.78/0.86 o 12700533 3.67/3.75 o 12700529 3.67/3.76 o 12700525 3.77/3.80 o 12700509 3.77/3.87 o 12700506 3.97/4.05 o 12691539 3.97/4.07 o 12690515 3.97/4.08 o 12690509 3.97/4.09 o 12690503 4.07/4.11 o 12690501 4.07/4.12 o 12690495 4.07/4.13 o 12690485 4.07/4.15 o 12690477 4.17/4.23 o 12671276 4.17/4.27 o 12671273 4.17/4.30 o 12671272 4.27/4.31 o 12671269 5.36/5.48 o 12671265 5.46/5.51 o 12671264 5.46/5.55 o 12671260 6.07/6.11 o 12671204 6.16/6.21 o 12671140 6.57/6.65 o 12620847 6.57/6.69 o 12620843 6.77/6.80 o 12620699 6.77/6.82 o 12620695 6.77/6.87 o 12620635 6.86/6.91 o 12620571 6.97/7.03 o 12620555 6.97/7.05 o 12593419 6.97/7.09 o 12461842 7.16/7.22 o 12461838 9.06/9.13 o 12461832 9.06/9.15 o 12461828 9.06/9.17 o 12461816 9.15/9.20 o 12461814 9.15/9.23 o 12461806 9.25/9.37 o 12461805 9.96/10.00 o 12461677 10.26/10.34 o 12461673 10.26/10.39 o 12296809 10.36/10.46 o 12296305 10.36/10.48 o 12296302 10.46/10.50 o 12184686 10.46/10.51 o 12051566 10.46/10.52 o 11941998 10.46/10.57 o 11941422 10.56/10.65 o 11941421 10.56/10.69 o 11861094 10.75/10.81 o 11671665 10.75/10.82 o 11671660 11.15/11.20 o 11652206 11.15/11.23 o 11652204 12.15/12.23 o 11624091 12.15/12.27 o 11624031 12.25/12.33 o 11624022 12.25/12.35 o 11451990 12.25/12.39 o 11266646 12.35/12.41 o 11130454 12.35/12.42 o 11023958 12.55/12.62 o 11023954 12.55/12.67 o 10914320 12.65/12.70 o 10914160 12.65/12.79 o 10905128 13.64/13.74 o 10828328 14.14/14.21 o 10759743 14.14/14.24 o 10759733 14.14/14.30 o 10759464 15.23/15.33 o 10759460 15.64/15.71 o 10759458 15.74/15.84 o 10759441 15.84/15.94 o 10759440 15.84/15.97 o 10759435 15.94/16.03 o 10759434 15.94/16.08 o 10672394 20.12/20.26 o 10658468 20.22/20.35 o 10658461 20.22/20.39 o 10658459 20.32/20.44 o 10658435 20.42/20.50 o 10654339 20.42/20.57 o 10654335 20.52/20.62 o 10654331 20.52/20.69 o 10654327 20.62/20.76 o 10654263 20.72/20.86 o 10654247 20.92/21.10 o 10654245 21.02/21.15 o 10654237 21.12/21.27 o 10645039 21.22/21.31 o 10645033 21.33/21.47 o 10644988 21.43/21.52 o 10644973 21.43/21.55 o 10644971 21.43/21.59 o 10644961 21.52/21.66 o 10643937 21.72/21.88 o 10643169 22.32/22.48 o 10527633 22.42/22.57 o 10527613 22.52/22.62 o 10527605 22.52/22.66 o 10527601 22.52/22.69 o 10445681 22.62/22.73 o 10350449 22.72/22.82 o 10331545 22.72/22.87 o 10331543 22.92/23.03 o 10331540 22.92/23.07 o 10331539 22.92/23.10 o 10331538 23.02/23.13 o 10331514 23.12/23.28 o 10331512 23.51/23.67 o 10289765 23.61/23.74 o 10289759 23.81/24.00 o 10287255 23.91/24.09 o 10287251 24.11/24.25 o 10194067 24.21/24.39 o 10194055 24.31/24.44 o 10194054 24.41/24.50 o 10194051 24.41/24.55 o 10193027 24.51/24.61 o 10192995 24.51/24.66 o 10192963 44.85/45.02 o 10192953 44.85/45.06 o 10192937 44.85/45.08 o 10192929 44.96/45.10 o 10192921 44.96/45.15 o 10106285 44.96/45.17 o 10106277 45.95/46.16 o 10106267 46.65/46.84 o 10106261 46.65/46.85 o 10106259 46.75/46.93 o 10104467 46.75/46.99 o 10015379 47.95/48.11 o 10015375 48.04/48.20 o 10015363 48.04/48.25 o 10007171 48.14/48.30 o 9821827 48.24/48.45 o 9821825 48.24/48.48 o 9821820 48.34/48.51 o 9821775 48.34/48.59 o 9821727 49.24/49.42 o 9821716 49.24/49.45 o 9821686 51.24/51.45 o 9821685 51.34/51.54 o 9821667 51.44/51.63 o 9821659 56.33/56.52 o 9821531 56.43/56.69 o 9821519 56.53/56.76 o 9821499 56.83/57.07 o 9817403 57.32/57.55 o 9817387 57.83/58.05 o 9817383 58.02/58.22 o 9817379 58.22/58.45 o 9817371 58.32/58.57 o 9815323 58.62/58.80 o 9814171 58.72/58.94 o 9814167 58.92/59.14 o 9814157 59.51/59.73 o 9814149 59.61/59.82 o 9813509 59.71/59.90 o 9813502 59.71/59.96 o 9806334 59.82/60.10 o 9802750 60.01/60.27 o 9801214 60.21/60.47 o 9801086 60.31/60.55 o 9801071 60.41/60.64 o 9801066 60.51/60.70 o 9801061 60.61/60.83 o 9801059 60.61/60.89 o 9790819 60.71/60.98 o 9788259 61.11/61.32 o 9788249 61.31/61.55 o 9788245 61.41/61.67 o 9710440 61.81/62.07 o 9710184 62.21/62.44 o 9710176 66.50/66.76 o 9633290 66.60/66.83 o 9633280 69.00/69.23 o 9617671 69.10/69.31 o 9617631 69.10/69.38 o 9617591 69.20/69.43 o 9617551 69.20/69.49 o 9617511 70.09/70.34 o 9617495 70.19/70.48 o 9609303 70.29/70.55 o 9609289 70.39/70.64 o 9609161 71.09/71.30 o 9609157 71.29/71.54 o 9608461 71.29/71.59 o 9608429 71.39/71.67 o 9607933 71.49/71.72 o 9607921 71.59/71.83 o 9607911 71.69/71.91 o 9607907 90.14/90.41 o 9521006 90.44/90.78 o 9519868 90.44/90.79 o 9519844 90.55/90.82 o 9519833 90.65/90.98 o 9519809 90.75/91.01 o 9400025 93.14/93.41 o 9400021 93.24/93.50 o 9400009 93.24/93.52 o 9400005 93.24/93.54 o 9400004 93.24/93.58 o 9400001 93.34/93.69 o 9399997 93.44/93.71 o 9399993 93.64/93.98 o 9399989 93.74/94.08 o 9399985 93.84/94.13 o 9399953 93.84/94.19 o 9399949 94.03/94.39 o 9399946 94.53/94.84 o 9399942 94.53/94.87 o 9399938 94.53/94.89 o 9399618 94.63/94.95 o 9399562 94.93/95.25 o 9399454 95.03/95.30 o 9399198 95.03/95.33 o 9399194 95.03/95.35 o 9399190 95.33/95.66 o 9399182 95.53/95.82 o 9399178 95.63/95.90 o 9399174 96.22/96.59 o 9399162 96.32/96.64 o 9399150 96.32/96.66 o 9399146 96.32/96.68 o 9399118 96.42/96.71 o 9399114 96.42/96.73 o 9399106 96.42/96.78 o 9395778 96.73/97.02 o 9395772 96.83/97.12 o 9395768 96.83/97.16 o 9395764 96.92/97.28 o 9394868 97.52/97.80 o 9394702 97.52/97.83 o 9394696 97.52/97.86 o 9394680 97.52/97.89 o 9394664 97.73/98.01 o 9360496 97.73/98.10 o 9360480 98.62/98.96 o 9360476 98.62/99.00 o 9360472 99.22/99.52 o 9360468 99.22/99.59 o 9360467 99.42/99.74 o 9360463 99.52/99.86 o 9360459 99.62/99.91 o 9360455 99.62/99.98 o 9360423 99.73/100.05 o 9360359 99.83/100.17 o 9359934 99.92/100.24 o 9359920 99.92/100.28 o 9359824 100.02/100.32 o 9359816 100.02/100.36 o 9359800 100.12/100.40 o 9359796 100.92/101.20 o 9359795 100.92/101.24 o 9359779 101.61/101.96 o 9359731 101.72/102.05 o 9359719 101.82/102.10 o 9359715 101.82/102.18 o 9359709 102.31/102.65 o 9359707 103.61/104.00 o 9359697 105.11/105.44 o 9351557 105.11/105.48 o 9351549 105.21/105.53 o 9351501 105.31/105.63 o 9351495 105.41/105.76 o 9342730 107.20/107.51 o 9342721 113.88/114.29 o 9312349 113.98/114.35 o 9312341 114.08/114.41 o 9311909 114.08/114.46 o 9311900 114.18/114.55 o 9311864 114.38/114.70 o 9311840 114.48/114.85 o 9311818 114.58/114.91 o 9311810 114.58/114.96 o 9311804 114.79/115.14 o 9311799 114.88/115.22 o 9311794 114.98/115.34 o 9311786 116.27/116.60 o 9311690 116.27/116.67 o 9311597 116.47/116.85 o 9311533 116.58/117.00 o 9311521 116.88/117.20 o 9268711 116.88/117.26 o 9268703 116.98/117.39 o 9268699 117.08/117.48 o 9268695 117.18/117.53 o 9268689 118.97/119.38 o 9268682 119.17/119.54 o 9144162 120.57/120.95 o 9144161 120.67/121.01 o 9144155 121.26/121.63 o 9144153 121.26/121.69 o 9144152 121.46/121.90 o 9144149 121.56/121.95 o 9144146 121.67/122.01 o 9144142 121.67/122.06 o 9144141 121.77/122.11 o 9143949 121.77/122.17 o 9143853 121.86/122.25 o 9143846 121.96/122.35 o 9143842 122.06/122.40 o 9143838 122.06/122.45 o 9143837 122.06/122.49 o 9143835 122.16/122.54 o 9143834 122.16/122.59 o 9143578 130.15/130.59 o 9143575 130.25/130.65 o 9143063 130.94/131.39 o 9141577 131.04/131.41 o 9141377 131.04/131.43 o 9141361 131.04/131.45 o 9141346 131.04/131.47 o 9141345 131.04/131.49 o 9139297 131.14/131.58 o 9139153 131.75/132.14 o 9139089 131.75/132.16 o 9139081 131.75/132.18 o 9138569 135.93/136.31 o 9134833 136.03/136.43 o 9108209 136.03/136.48 o 9108204 139.03/139.42 o 9108202 139.13/139.59 o 9025592 139.23/139.60 o 9025585 139.23/139.62 o 9025578 139.23/139.66 o 9024687 139.33/139.70 o 9012406 139.33/139.72 o 9012399 139.42/139.87 o 9012387 139.52/139.95 o 9012365 139.52/139.99 o 9010993 139.63/140.03 o 9010986 139.63/140.05 o 8990649 139.63/140.06 o 8990641 140.02/140.40 o 8945811 140.02/140.47 o 8891539 140.12/140.53 o 8891537 140.12/140.55 o 8891533 140.22/140.61 o 8891532 146.80/147.27 o 8788124 146.90/147.30 o 8788119 146.90/147.32 o 8788116 146.90/147.37 o 8784716 147.10/147.50 o 8784711 147.10/147.51 o 8784707 147.20/147.65 o 8784705 147.30/147.78 o 8784609 147.40/147.80 o 8783841 147.50/147.91 o 8768553 147.50/147.96 o 8766249 147.50/147.97 o 8765481 147.61/148.00 o 8765285 147.61/148.03 o 8730237 147.61/148.07 o 8730189 147.71/148.18 o 8730183 147.80/148.20 o 8730143 147.80/148.22 o 8730133 147.90/148.32 o 8730132 147.90/148.36 o 8729700 147.90/148.37 o 8729684 148.10/148.54 o 8641684 148.90/149.35 o 8641672 148.90/149.37 o 8641662 148.90/149.39 o 8641566 149.00/149.44 o 8641536 149.00/149.47 o 8641528 149.10/149.55 o 8641523 149.30/149.76 o 8638451 150.09/150.57 o 8638446 150.29/150.72 o 8638434 150.29/150.74 o 8638426 150.29/150.76 o 8638421 150.39/150.83 o 8638416 150.49/150.93 o 8638376 150.49/151.00 o 8638371 151.00/151.40 o 8638335 151.50/151.97 o 8627339 151.50/151.99 o 8627315 151.60/152.03 o 8627279 151.60/152.05 o 8627243 151.80/152.27 o 8627234 151.90/152.32 o 8627225 151.90/152.36 o 8627198 152.79/153.29 o 8627195 152.89/153.31 o 8627187 153.19/153.60 o 8618558 153.19/153.64 o 8597042 153.19/153.66 o 8597036 153.19/153.69 o 8597032 153.70/154.19 o 8596984 153.89/154.39 o 8593852 154.09/154.54 o 8593836 154.19/154.64 o 8593824 154.39/154.82 o 8593823 175.14/175.62 o 8593820 175.14/175.63 o 8593813 175.14/175.67 o 8593810 175.24/175.71 o 8593802 175.24/175.73 o 8593794 175.24/175.76 o 8593790 175.34/175.82 o 8549722 175.54/176.02 o 8549718 175.54/176.09 o 8549712 175.64/176.16 o 8549696 175.74/176.23 o 8549680 196.09/196.68 o 8381768 196.19/196.71 o 8381750 200.08/200.69 o 8381745 201.67/202.28 o 8381741 207.17/207.79 o 8363721 207.27/207.84 o 8363720 216.94/217.55 o 8363272 216.94/217.56 o 8363216 216.94/217.57 o 8363202 216.94/217.57 o 8363199 217.04/217.65 o 8363151 217.13/217.72 o 8363007 217.13/217.77 o 8363000 217.13/217.79 o 8362991 218.43/219.08 o 8362973 218.43/219.09 o 8362964 218.53/219.11 o 8362948 218.53/219.13 o 8362939 218.93/219.59 o 8362930 219.03/219.69 o 8362921 219.13/219.78 o 8362919 222.13/222.75 o 8362917 222.13/222.79 o 8362916 222.73/223.34 o 8360950 222.73/223.38 o 8360374 223.72/224.36 o 8360364 223.92/224.52 o 8360336 224.22/224.83 o 8360334 224.22/224.87 o 8360270 224.53/225.16 o 8360238 224.62/225.26 o 8360222 224.82/225.49 o 8360204 225.02/225.62 o 8333080 225.82/226.46 o 8332888 225.92/226.58 o 8332886 226.02/226.65 o 8332884 226.02/226.68 o 8332876 226.31/226.90 o 8332872 227.81/228.46 o 8332870 227.91/228.51 o 8332868 228.01/228.60 o 8324676 228.01/228.65 o 8216132 228.61/229.28 o 8216112 229.01/229.62 o 8216107 229.01/229.65 o 8216101 229.70/230.38 o 8216096 229.80/230.42 o 8216092 231.60/232.29 o 8216089 231.70/232.35 o 8216085 231.80/232.44 o 8216081 231.90/232.52 o 8216079 231.90/232.56 o 8216072 232.00/232.64 o 8216065 232.10/232.75 o 8216043 232.30/232.93 o 8129034 232.30/232.95 o 8129031 232.30/233.00 o 8129029 234.39/235.05 o 8128158 234.39/235.09 o 8128154 234.49/235.12 o 8128151 234.49/235.15 o 8128149 234.59/235.26 o 8128123 239.28/239.95 o 8128122 239.39/240.00 o 8128120 239.49/240.14 o 8128118 240.18/240.87 o 8128078 240.28/240.95 o 8128076 249.36/250.05 o 8127756 249.56/250.22 o 8109324 249.66/250.38 o 8109212 249.76/250.41 o 8107164 249.86/250.52 o 8106908 249.96/250.62 o 8106852 249.96/250.64 o 8106837 249.96/250.65 o 8106830 250.06/250.77 o 8044150 250.06/250.79 o 8044140 250.16/250.86 o 8044130 250.16/250.88 o 8044058 250.25/250.92 o 8044057 250.25/250.94 o 8044017 250.25/250.96 o 8044007 251.25/251.96 o 8043987 255.15/255.84 o 8043979 255.15/255.86 o 8043978 255.35/256.00 o 8043976 255.35/256.05 o 8043880 255.35/256.07 o 8043875 255.35/256.09 o 8043874 255.45/256.11 o 8043873 255.45/256.12 o 8043857 274.50/275.23 o 8043856 275.19/275.98 o 8043823 275.19/275.99 o 8043820 275.69/276.46 o 8043818 275.89/276.62 o 8043812 275.89/276.64 o 8043811 275.99/276.73 o 8043809 276.09/276.85 o 8043808 276.19/276.96 o 8043803 276.30/277.01 o 8043795 276.40/277.14 o 8043793 276.49/277.21 o 8043787 276.49/277.23 o 8043785 276.49/277.25 o 8043775 276.49/277.27 o 8043772 277.29/278.05 o 8043764 277.99/278.78 o 8043759 278.08/278.80 o 8043752 278.08/278.82 o 8043747 278.08/278.84 o 8043740 278.08/278.86 o 8043716 278.18/278.99 o 8007947 278.29/279.04 o 8007944 278.39/279.12 o 8007935 278.39/279.13 o 7856383 279.59/280.38 o 7856367 279.79/280.55 o 7856365 279.89/280.63 o 7856343 280.78/281.51 o 7856328 282.58/283.33 o 7856327 282.58/283.35 o 7856326 282.58/283.38 o 7856325 282.67/283.43 o 7856315 282.67/283.48 o 7856291 282.77/283.54 o 7856284 282.77/283.58 o 7856280 282.87/283.61 o 7856279 286.57/287.36 o 7856268 286.57/287.39 o 7856267 286.77/287.56 o 7856264 286.87/287.63 o 7856263 286.87/287.67 o 7856260 286.87/287.69 o 7856259 286.97/287.74 o 7856258 286.97/287.76 o 7856257 287.27/288.08 o 7854209 287.37/288.18 o 7854200 287.57/288.32 o 7813058 287.57/288.35 o 7813042 287.57/288.38 o 7813034 287.67/288.40 o 7813026 287.67/288.42 o 7813018 287.67/288.45 o 7813010 287.67/288.47 o 7813002 287.76/288.50 o 7812994 287.96/288.79 o 7812985 288.76/289.59 o 7812979 289.06/289.81 o 7812955 289.76/290.52 o 7760116 289.96/290.76 o 7760109 290.36/291.10 o 7760045 290.36/291.13 o 7760037 290.36/291.16 o 7760023 290.36/291.19 o 7760009 290.55/291.30 o 7757449 290.65/291.41 o 7757442 291.16/291.96 o 7757418 291.26/292.03 o 7757408 291.36/292.18 o 7757388 293.36/294.19 o 7757383 293.55/294.30 o 7757378 293.55/294.33 o 7673410 293.55/294.37 o 7673396 294.05/294.82 o 7673393 294.05/294.87 o 7673309 294.15/294.96 o 7673273 294.36/295.12 o 7671993 294.45/295.24 o 7671673 295.35/296.13 o 7671670 295.35/296.17 o 7671286 295.64/296.42 o 7671281 295.64/296.46 o 7667185 295.74/296.52 o 7666305 295.74/296.55 o 7666293 295.74/296.58 o 7666277 295.84/296.64 o 7666257 295.94/296.77 o 7666245 303.52/304.38 o 7666241 303.73/304.51 o 7666226 303.83/304.60 o 7666213 303.83/304.60 o 7666205 303.83/304.61 o 7666197 303.83/304.62 o 7666190 305.82/306.69 o 7666188 306.02/306.80 o 7665265 306.02/306.82 o 7665255 306.52/307.30 o 7665248 306.92/307.77 o 7665241 307.02/307.85 o 7665218 307.02/307.86 o 7665210 307.12/307.93 o 7665205 307.12/307.95 o 7665193 307.81/308.62 o 7665179 309.51/310.38 o 7665172 310.21/311.08 o 7665166 310.41/311.25 o 7665163 310.51/311.30 o 7665158 310.51/311.36 o 7665152 310.61/311.40 o 7665049 310.80/311.65 o 7596113 310.80/311.68 o 7596109 311.00/311.80 o 7596073 311.41/312.20 o 7596069 311.41/312.22 o 7596061 328.57/329.41 o 7596057 328.57/329.44 o 7594009 328.87/329.79 o 7593977 329.96/330.88 o 7593974 329.96/330.89 o 7593965 330.06/330.96 o 7593960 330.06/330.97 o 7593959 330.06/330.98 o 7593945 331.86/332.76 o 7593943 332.06/332.96 o 7593939 332.06/333.00 o 7593932 332.35/333.21 o 7552136 333.05/333.94 o 7552118 333.05/333.96 o 7552104 333.05/333.98 o 7552090 333.16/334.05 o 7552030 333.16/334.08 o 7490505 337.25/338.15 o 7462857 337.35/338.21 o 7462845 337.44/338.33 o 7462797 338.44/339.35 o 7450942 338.44/339.37 o 7450878 338.44/339.39 o 7450846 342.14/343.09 o 7450840 342.24/343.12 o 7450808 342.24/343.14 o 7450784 342.24/343.16 o 7450688 342.24/343.19 o 7450624 342.34/343.21 o 7450616 342.34/343.24 o 7450360 342.44/343.31 o 7372474 342.44/343.38 o 7372465 344.14/345.02 o 7372439 364.98/365.95 o 7301641 364.98/365.98 o 7301257 398.01/399.04 o 7301237 398.10/399.12 o 7301231 398.10/399.13 o 7301229 398.10/399.17 o 7301203 398.10/399.19 o 7301196 398.20/399.20 o 7301164 398.20/399.26 o 7301155 398.89/399.95 o 7301146 399.10/400.14 o 7263757 399.60/400.60 o 7263739 402.10/403.11 o 7263711 404.38/405.41 o 7263707 404.88/405.91 o 7262859 419.75/420.89 o 7262852 419.95/421.06 o 7262844 420.05/421.17 o 7262832 420.15/421.28 o 7262831 420.24/421.32 o 7229802 420.34/421.46 o 7229801 420.34/421.48 o 7229800 420.44/421.51 o 7229792 420.44/421.52 o 7229785 420.84/421.99 o 7229776 420.84/422.00 o 7229767 420.95/422.08 o 7229766 421.34/422.40 o 7229764 421.34/422.44 o 7229762 421.34/422.46 o 7229758 421.34/422.48 o 7229746 421.74/422.84 o 7229682 421.94/423.06 o 7229676 422.35/423.45 o 7229658 422.35/423.48 o 7229657 422.45/423.50 o 7229655 422.45/423.52 o 7229654 422.45/423.54 o 7229641 422.45/423.56 o 7229585 422.45/423.58 o 7229137 422.55/423.60 o 7100126 422.74/423.80 o 7100112 422.84/423.95 o 7100104 422.95/424.06 o 7100102 423.44/424.57 o 7100094 423.54/424.60 o 7100092 423.95/425.04 o 7100090 423.95/425.06 o 7100088 423.95/425.08 o 7100082 424.24/425.30 o 7100078 424.24/425.32 o 7100076 425.14/426.21 o 7100075 426.93/428.04 o 7100071 427.03/428.17 o 7100065 427.13/428.21 o 7100061 431.02/432.12 o 7100047 431.61/432.78 o 7100045 432.02/433.16 o 7100028 432.11/433.20 o 7100027 432.11/433.25 o 7100015 432.32/433.44 o 7099247 433.22/434.32 o 7083842 433.32/434.48 o 7083824 433.42/434.52 o 7083648 434.12/435.29 o 7083647 436.71/437.81 o 7083643 436.81/437.90 o 7083635 437.11/438.25 o 7083587 437.61/438.75 o 7083558 438.80/439.98 o 7083540 438.91/440.04 o 7083536 439.01/440.18 o 7083484 439.10/440.24 o 7083482 439.10/440.29 o 7083480 441.39/442.52 o 7080338 441.39/442.57 o 7080310 441.49/442.64 o 7080086 441.79/442.98 o 7080082 441.90/443.03 o 7080068 442.50/443.60 o 7080034 442.50/443.68 o 7080023 442.70/443.84 o 7011426 444.49/445.61 o 7011418 456.06/457.26 o 7011390 456.06/457.28 o 7011389 456.36/457.53 o 7011386 456.36/457.54 o 7011374 456.36/457.59 o 7010370 456.46/457.62 o 7010364 457.66/458.81 o 7010358 458.26/459.40 o 7010342 458.36/459.53 o 7010337 459.85/461.01 o 7010331 460.15/461.31 o 7010307 460.75/461.98 o 7010300 460.85/462.08 o 7010297 461.05/462.24 o 7010293 461.05/462.26 o 7010287 461.15/462.37 o 7010284 461.25/462.42 o 7010283 461.44/462.66 o 7010274 461.54/462.72 o 6992866 461.54/462.78 o 6992858 463.35/464.55 o 6992857 463.35/464.58 o 6992850 463.55/464.71 o 6992839 463.55/464.74 o 6992831 463.75/464.96 o 6992447 467.13/468.39 o 6992443 467.23/468.42 o 6992439 467.33/468.54 o 6992438 470.03/471.25 o 6983249 470.13/471.30 o 6983248 470.13/471.33 o 6983245 470.23/471.47 o 6983239 470.43/471.61 o 6966310 470.43/471.64 o 6966278 470.43/471.67 o 6966022 470.53/471.72 o 6966014 471.83/473.09 o 6966011 471.93/473.18 o 6966000 472.03/473.23 o 6965999 472.23/473.48 o 6965957 472.33/473.51 o 6965956 472.53/473.77 o 6965955 472.63/473.80 o 6965950 472.63/473.85 o 6965946 472.73/473.90 o 6965858 481.90/483.11 o 6965834 482.10/483.31 o 6965833 482.10/483.33 o 6965832 482.10/483.35 o 6965828 486.49/487.71 o 6965804 486.49/487.73 o 6965792 486.59/487.85 o 6965788 486.59/487.87 o 6965780 486.59/487.89 o 6965779 491.67/492.98 o 6965767 492.78/494.02 o 6965766 492.78/494.07 o 6965765 492.88/494.11 o 6892037 494.57/495.88 o 6888481 494.67/495.91 o 6888472 494.67/495.95 o 6888460 494.67/496.00 o 6888457 494.78/496.01 o 6888451 494.78/496.03 o 6888427 494.78/496.05 o 6888424 494.78/496.07 o 6888421 494.78/496.09 o 6888412 499.26/500.56 o 6834149 499.26/500.59 o 6834127 499.36/500.61 o 6834126 500.65/501.92 o 6819152 500.65/501.94 o 6818656 500.65/501.98 o 6818640 502.06/503.34 o 6818560 502.06/503.37 o 6818549 502.26/503.54 o 6818545 512.53/513.88 o 6818533 512.63/513.91 o 6818461 513.92/515.23 o 6818447 513.92/515.24 o 6818445 514.62/515.97 o 6818413 514.72/516.00 o 6818401 518.11/519.42 o 6818390 519.22/520.51 o 6748758 522.71/524.04 o 6748744 522.81/524.12 o 6748739 535.27/536.65 o 6748691 535.27/536.69 o 6748679 535.37/536.71 o 6748667 535.37/536.72 o 6748655 535.37/536.72 o 6748643 535.37/536.73 o 6747875 535.37/536.74 o 6747491 535.47/536.89 o 6747451 535.57/536.91 o 6747449 535.57/536.93 o 6747448 535.57/536.94 o 6747446 535.57/536.95 o 6747434 535.57/536.95 o 6747410 535.57/536.97 o 6747386 535.57/536.99 o 6747338 535.77/537.12 o 6747290 536.57/537.93 o 6747266 536.67/538.03 o 6747244 538.26/539.64 o 6747242 538.26/539.67 o 6747230 538.36/539.77 o 6747208 540.96/542.34 o 6747048 541.26/542.64 o 6747037 541.26/542.66 o 6747026 541.26/542.68 o 6747015 541.36/542.70 o 6747004 546.35/547.71 o 6729939 546.35/547.74 o 6729683 546.45/547.82 o 6729651 546.45/547.84 o 6729643 546.66/548.08 o 6729615 547.25/548.62 o 6729610 547.25/548.69 o 6729608 559.51/560.90 o 6729600 559.51/560.94 o 6729504 559.51/560.99 o 6729472 574.88/576.36 o 6729470 574.88/576.36 o 6729458 575.28/576.70 o 6729422 575.58/577.04 o 6729418 577.97/579.40 o 6729411 577.97/579.42 o 6729407 577.97/579.44 o 6729405 577.97/579.46 o 6729404 578.27/579.70 o 6729394 578.27/579.72 o 6729392 578.37/579.84 o 6729385 578.58/580.03 o 6728873 578.68/580.10 o 6728861 578.68/580.16 o 6572189 578.68/580.19 o 6572077 579.07/580.57 o 6572061 579.17/580.61 o 6572057 579.27/580.72 o 6572053 579.27/580.74 o 6572047 579.37/580.83 o 6572043 582.86/584.37 o 6572035 595.43/596.92 o 6572003 595.43/596.98 o 6572001 595.73/597.23 o 6571983 603.71/605.22 o 6571977 603.71/605.26 o 6571971 605.01/606.51 o 6571747 605.01/606.54 o 6571675 605.01/606.57 o 6571645 605.11/606.60 o 6571635 607.30/608.84 o 6551155 607.30/608.89 o 6551057 649.70/651.33 o 6547985 716.44/718.28 o 6547729 716.54/718.34 o 6547721 717.74/719.53 o 6547719 717.84/719.69 o 6547714 717.94/719.71 o 6547711 718.35/720.18 o 6547701 718.54/720.36 o 6547679 718.54/720.38 o 6547651 718.64/720.41 o 6547641 732.11/733.97 o 6547625 732.11/734.00 o 6547561 732.31/734.17 o 6547533 732.41/734.20 o 6547525 732.41/734.21 o 6547521 733.90/735.74 o 6547505 733.90/735.75 o 6547497 734.10/735.90 o 6547493 734.10/735.93 o 6547477 735.99/737.86 o 6547465 736.20/738.00 o 6547462 736.20/738.03 o 6547461 737.39/739.26 o 6547449 737.39/739.28 o 6547448 738.69/740.54 o 6547416 738.69/740.58 o 6546904 738.79/740.63 o 6546895 738.89/740.74 o 6546831 738.89/740.79 o 6546799 739.29/741.11 o 6546795 739.29/741.15 o 6546784 739.29/741.17 o 6546782 740.08/741.92 o 6546781 741.98/743.84 o 6546769 742.08/743.96 o 6546757 742.18/744.06 o 6546245 742.28/744.12 o 6546217 745.38/747.22 o 6546185 745.48/747.31 o 6546178 745.88/747.70 o 6546177 745.88/747.73 o 6546176 745.88/747.79 o 6546173 745.98/747.87 o 6546167 746.18/748.06 o 6546119 746.18/748.10 o 6545735 746.38/748.28 o 6545731 746.47/748.36 o 6545723 747.87/749.79 o 6545722 748.27/750.13 o 6545673 748.27/750.17 o 6545672 749.17/751.00 o 6545662 749.17/751.06 o 6545650 756.25/758.18 o 6545641 756.35/758.23 o 6542569 757.64/759.58 o 6542559 757.64/759.59 o 6542549 763.72/765.67 o 6542541 763.72/765.68 o 6542537 772.31/774.23 o 6542489 772.51/774.43 o 6542465 772.60/774.52 o 6542457 773.30/775.25 o 6542447 773.30/775.27 o 6542445 773.30/775.28 o 6542437 773.60/775.56 o 6542436 773.60/775.58 o 6542428 773.70/775.63 o 6542418 773.70/775.65 o 6542362 773.80/775.75 o 6542361 774.40/776.34 o 6542355 774.90/776.83 o 6542352 775.80/777.78 o 6542338 778.99/780.96 o 6528994 779.49/781.41 o 6528738 779.99/781.96 o 6528724 780.29/782.24 o 6528719 780.29/782.29 o 6528712 789.36/791.39 o 6528708 789.46/791.43 o 6528707 789.46/791.48 o 6528706 789.56/791.51 o 6528705 789.56/791.55 o 6528704 789.56/791.59 o 6528703 789.66/791.67 o 6528701 803.44/805.43 o 6528698 803.63/805.65 o 6528695 803.93/805.93 o 6528692 803.93/805.97 o 6528688 804.04/806.08 o 6528674 804.43/806.44 o 6528666 804.43/806.47 o 6528410 804.43/806.49 o 6528408 805.33/807.35 o 6528406 805.63/807.68 o 6528405 806.13/808.11 o 6528403 806.13/808.19 o 6528395 806.23/808.21 o 6528299 806.42/808.48 o 6528239 806.52/808.56 o 6528207 806.62/808.60 o 6528196 806.62/808.61 o 6528193 806.82/808.87 o 6528191 807.22/809.22 o 6528189 807.62/809.68 o 6528167 811.52/813.59 o 6528155 811.62/813.62 o 6528134 811.62/813.65 o 6528131 811.62/813.68 o 6528091 823.39/825.46 o 6528087 823.39/825.47 o 6528084 823.49/825.51 o 6528070 845.33/847.45 o 6528062 867.28/869.44 o 6528038 868.77/870.93 o 6527654 868.88/871.08 o 6527651 868.88/871.10 o 6527643 869.38/871.50 o 6463851 869.48/871.68 o 6386003 870.67/872.89 o 6385978 870.77/872.91 o 6385970 872.46/874.65 o 6385968 872.87/875.02 o 6385965 873.16/875.34 o 6385949 873.37/875.57 o 6385943 873.37/875.59 o 6385942 873.57/875.72 o 6385940 873.57/875.74 o 6385938 874.07/876.27 o 6385918 874.17/876.35 o 6375926 874.57/876.74 o 6375922 874.76/876.90 o 6375918 876.06/878.28 o 6375908 876.16/878.31 o 6375906 877.36/879.54 o 6375903 880.95/883.14 o 6369800 880.95/883.17 o 6369796 881.04/883.22 o 6369780 881.04/883.25 o 6369768 881.04/883.28 o 6369764 881.14/883.30 o 6369748 887.33/889.51 o 6369742 895.31/897.59 o 6369736 895.41/897.61 o 6369732 911.58/913.80 o 6369700 911.58/913.87 o 6369476 914.07/916.34 o 6369463 914.37/916.69 o 6369461 914.97/917.24 o 6369459 914.97/917.26 o 6369453 915.06/917.30 o 6369451 915.06/917.32 o 6369447 915.06/917.39 o 6369303 915.16/917.42 o 6369301 915.16/917.47 o 6369299 916.87/919.18 o 6369295 917.26/919.52 o 6369271 917.77/920.01 o 6369239 917.77/920.06 o 6369237 918.36/920.67 o 6369173 918.46/920.71 o 6369157 918.76/921.10 o 6369153 918.86/921.16 o 6369149 918.86/921.19 o 6369147 919.16/921.49 o 6369139 919.26/921.55 o 6304923 922.75/925.03 o 6304907 926.74/929.07 o 6304877 940.21/942.58 o 6304871 940.41/942.70 o 6304487 1004.25/1006.74 o 6304481 1004.95/1007.44 o 6304470 1004.95/1007.46 o 6304464 1006.05/1008.56 o 6304416 1007.75/1010.22 o 6301344 1014.33/1016.87 o 6301338 1014.43/1016.91 o 6301332 1014.43/1016.99 o 6300991 1014.53/1017.01 o 6300948 1015.53/1018.00 o 6300945 1015.53/1018.03 o 6300942 1015.53/1018.05 o 6300936 1016.12/1018.67 o 6296738 1016.32/1018.85 o 6296730 1016.42/1018.90 o 6296722 1016.42/1018.95 o 6296718 1016.53/1019.05 o 6190222 1016.53/1019.09 o 6190214 1016.72/1019.20 o 6189878 1033.18/1035.71 o 6189872 1034.19/1036.78 o 6189848 1034.29/1036.80 o 6189836 1034.29/1036.82 o 6189830 1034.39/1036.90 o 6187136 1034.39/1036.94 o 6187124 1034.59/1037.17 o 6187100 1034.59/1037.19 o 6187094 1034.68/1037.26 o 6187088 1034.88/1037.43 o 6187046 1035.08/1037.61 o 6187040 1038.27/1040.83 o 6186848 1040.17/1042.75 o 6186824 1040.17/1042.78 o 6186800 1041.07/1043.64 o 6186770 1043.46/1046.08 o 6186758 1057.02/1059.61 o 6186752 1060.42/1063.03 o 6186728 1060.72/1063.32 o 6185192 1061.32/1063.93 o 6185120 1062.11/1064.72 o 6185096 1062.11/1064.75 o 6185048 1062.81/1065.43 o 6185024 1065.61/1068.28 o 6184928 1065.71/1068.33 o 6184880 1065.71/1068.36 o 6184856 1065.71/1068.39 o 6184832 1080.57/1083.21 o 6184808 1083.37/1086.06 o 6184760 1083.56/1086.23 o 6184748 1085.06/1087.80 o 6176556 1085.26/1087.91 o 6175532 1085.26/1087.93 o 6174508 1085.26/1087.97 o 6174008 1085.37/1088.01 o 6173996 1085.37/1088.03 o 6173972 1085.76/1088.44 o 6173816 1085.76/1088.49 o 6173804 1085.86/1088.51 o 6173792 1085.86/1088.53 o 6173696 1085.86/1088.56 o 6078804 1085.96/1088.61 o 6078762 1085.96/1088.63 o 6078720 1087.75/1090.41 o 5995496 1091.95/1094.66 o 5995328 1098.73/1101.40 o 5995320 1098.73/1101.43 o 5995192 1098.73/1101.47 o 5995128 1098.83/1101.51 o 5995104 1098.83/1101.54 o 5995096 1105.42/1108.11 o 5856856 1107.81/1110.52 o 5856600 1108.00/1110.74 o 5856168 1108.00/1110.75 o 5855517 1145.02/1147.86 o 5855509 1145.12/1147.90 o 5855301 1145.12/1147.93 o 5855269 1145.12/1147.97 o 5855261 1145.22/1148.01 o 5855253 1146.91/1149.76 o 5793792 1147.81/1150.60 o 5785600 1148.41/1151.22 o 5778432 1153.80/1156.64 o 5736448 1153.80/1156.67 o 5728256 1158.88/1161.78 o 5728248 1158.98/1161.81 o 5728232 1158.98/1161.82 o 5728104 1158.98/1161.83 o 5612392 1159.88/1162.70 o 5549928 1159.88/1162.75 o 5549864 1164.77/1167.62 o 5549832 1209.27/1212.22 o 5480448 1225.23/1228.22 o 5380096 1326.48/1329.77 o 5377024 1454.58/1458.16 o 5360640 1454.68/1458.21 o 5357568 1579.09/1582.92 o 5347328 1631.97/1635.94 o 5306368 1671.46/1675.59 o 5295104 1751.18/1755.40 o 5291008 1751.28/1755.57 o 5286912 1755.17/1759.49 o 5251072 1841.47/1845.99 o 5173248 1842.57/1847.07 o 5154816 1842.57/1847.08 o 5134336 1852.24/1856.71 o 5111808 2223.67/2229.01 o 5096448 2254.29/2259.70 o 5073920 2285.71/2291.28 o 5056512 2382.68/2388.49 o 5051392 3178.01/3185.62 o 5046272 3178.11/3185.70 o 4918272 3600.01/3608.60 c Program interrupted by user. 3600.01/3608.60 s SATISFIABLE 3600.01/3608.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 x3133 x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 x4902 x4903 -x4904 x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 x5983 x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 x6162 x6163 x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 x7826 -x7827 -x7828 -x7829 x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 -x7837 -x7838 x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 x7864 -x7865 -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 x7910 -x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 x8009 -x8010 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 x8060
OK 4918272
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (62477 MiB free)
memory of node 1: 64510 MiB (61277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432969-1721063244/watcher-4432969-1721063244 -o /tmp/evaluation-result-4432969-1721063244/solver-4432969-1721063244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=503640701 HOME/instance-4432969-1721063244.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810058, runsolver pid=810055
[startup+0.100141 s]*
/proc/loadavg: 4.07 4.08 4.09 4/252 810059
/proc/meminfo: memFree=126991612/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=44092 memory=22056 CPUtime=0.09 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 5223 0 0 0 9 0 0 0 20 0 1 0 158489359 45150208 5514 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 11023 5514 1060 1005 0 9786 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44092 KiB
Current children cumulated memory: 22056 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.07 4.08 4.09 5/248 810068
/proc/meminfo: memFree=126986824/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=47876 memory=29152 CPUtime=0.2 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 6428 0 0 0 19 1 0 0 20 0 1 0 158489359 49025024 7288 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 11969 7288 1140 1005 0 10732 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47876 KiB
Current children cumulated memory: 29152 KiB
[startup+0.305665 s]*
/proc/loadavg: 4.07 4.08 4.09 4/250 810073
/proc/meminfo: memFree=127116656/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=49328 memory=32516 CPUtime=0.3 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 6774 0 0 0 29 1 0 0 20 0 1 0 158489359 50511872 8129 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 12332 8129 1140 1005 0 11095 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49328 KiB
Current children cumulated memory: 32516 KiB
[startup+0.700208 s]
/proc/loadavg: 4.07 4.08 4.09 6/247 810111
/proc/meminfo: memFree=127120124/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=53024 memory=40304 CPUtime=0.68 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 7719 0 0 0 67 1 0 0 20 0 1 0 158489359 54296576 10076 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 13256 10076 1140 1005 0 12019 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53024 KiB
Current children cumulated memory: 40304 KiB
[startup+1.50024 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126935540/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=56652 memory=48088 CPUtime=1.48 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 8606 0 0 0 147 1 0 0 20 0 1 0 158489359 58011648 12022 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 14163 12022 1140 1005 0 12926 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56652 KiB
Current children cumulated memory: 48088 KiB
[startup+3.10589 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 810191
/proc/meminfo: memFree=126992184/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=71388 memory=56720 CPUtime=3.08 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 9999 0 0 0 305 3 0 0 20 0 1 0 158489359 73101312 14180 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 17847 14180 1140 1005 0 16610 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71388 KiB
Current children cumulated memory: 56720 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 810197
/proc/meminfo: memFree=126877380/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=102536 memory=76968 CPUtime=6.26 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 12912 0 0 0 622 4 0 0 20 0 1 0 158489359 104996864 19242 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 25634 19242 1140 1005 0 24397 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 102536 KiB
Current children cumulated memory: 76968 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/254 810199
/proc/meminfo: memFree=126695304/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=162264 memory=120716 CPUtime=12.65 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 18192 0 0 0 1258 7 0 0 20 0 1 0 158489359 166158336 30179 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 40566 30179 1140 1005 0 39329 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 162264 KiB
Current children cumulated memory: 120716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.10 4.09 5/254 810200
/proc/meminfo: memFree=126387616/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=262456 memory=192096 CPUtime=25.4 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 26019 0 0 0 2528 12 0 0 20 0 1 0 158489359 268754944 48024 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 65614 48024 1140 1005 0 64377 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 262456 KiB
Current children cumulated memory: 192096 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 810205
/proc/meminfo: memFree=125967040/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=269560 memory=225012 CPUtime=50.95 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 27760 0 0 0 5078 17 0 0 20 0 1 0 158489359 276029440 56253 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 67390 56253 1140 1005 0 66153 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 269560 KiB
Current children cumulated memory: 225012 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 810213
/proc/meminfo: memFree=125441988/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=278808 memory=265392 CPUtime=102.01 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 30284 0 0 0 10179 22 0 0 20 0 1 0 158489359 285499392 66348 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 69702 66348 1140 1005 0 68465 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 278808 KiB
Current children cumulated memory: 265392 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 810227
/proc/meminfo: memFree=125042796/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=282824 memory=269444 CPUtime=161.87 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 31361 0 0 0 16155 32 0 0 20 0 1 0 158489359 289611776 67361 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 70706 67361 1140 1005 0 69469 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 282824 KiB
Current children cumulated memory: 269444 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 810239
/proc/meminfo: memFree=124913340/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=284248 memory=270596 CPUtime=221.73 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 31821 0 0 0 22133 40 0 0 20 0 1 0 158489359 291069952 67649 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 71062 67649 1140 1005 0 69825 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 284248 KiB
Current children cumulated memory: 270596 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 810249
/proc/meminfo: memFree=124879776/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=287452 memory=274136 CPUtime=281.58 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 32748 0 0 0 28111 47 0 0 20 0 1 0 158489359 294350848 68534 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 71863 68534 1140 1005 0 70626 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 287452 KiB
Current children cumulated memory: 274136 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 810265
/proc/meminfo: memFree=124850904/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=287768 memory=274356 CPUtime=341.44 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 32898 0 0 0 34088 56 0 0 20 0 1 0 158489359 294674432 68589 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 71942 68589 1140 1005 0 70705 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 287768 KiB
Current children cumulated memory: 274356 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 810277
/proc/meminfo: memFree=124773016/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=288604 memory=274996 CPUtime=401.29 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 33201 0 0 0 40063 66 0 0 20 0 1 0 158489359 295530496 68749 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 72151 68749 1140 1005 0 70914 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 288604 KiB
Current children cumulated memory: 274996 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 810287
/proc/meminfo: memFree=124468012/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=289364 memory=275768 CPUtime=461.15 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 33516 0 0 0 46042 73 0 0 20 0 1 0 158489359 296308736 68942 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 72341 68942 1140 1005 0 71104 0
################
# More data... #
################
Current children cumulated memory: 345772 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 811714
/proc/meminfo: memFree=122077920/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=454400 memory=346396 CPUtime=2855.46 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 49514 0 0 0 285091 455 0 0 20 0 1 0 158489359 465305600 86599 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 113600 86599 1198 1005 0 112363 0
Current children cumulated CPU time: 2855.46 s
Current children cumulated vsize: 454400 KiB
Current children cumulated memory: 346396 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 811724
/proc/meminfo: memFree=122064684/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=455204 memory=347144 CPUtime=2915.32 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 49869 0 0 0 291069 463 0 0 20 0 1 0 158489359 466128896 86786 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 113801 86786 1198 1005 0 112564 0
Current children cumulated CPU time: 2915.32 s
Current children cumulated vsize: 455204 KiB
Current children cumulated memory: 347144 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 811734
/proc/meminfo: memFree=122047488/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=455620 memory=347676 CPUtime=2975.18 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 50064 0 0 0 297046 472 0 0 20 0 1 0 158489359 466554880 86919 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 113905 86919 1198 1005 0 112668 0
Current children cumulated CPU time: 2975.18 s
Current children cumulated vsize: 455620 KiB
Current children cumulated memory: 347676 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/257 811913
/proc/meminfo: memFree=122036908/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=456680 memory=348648 CPUtime=3035.04 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 50447 0 0 0 303024 480 0 0 20 0 1 0 158489359 467640320 87162 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114170 87162 1198 1005 0 112933 0
Current children cumulated CPU time: 3035.04 s
Current children cumulated vsize: 456680 KiB
Current children cumulated memory: 348648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 811923
/proc/meminfo: memFree=122015548/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=456840 memory=348964 CPUtime=3094.91 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 50630 0 0 0 309001 490 0 0 20 0 1 0 158489359 467804160 87241 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114210 87241 1198 1005 0 112973 0
Current children cumulated CPU time: 3094.91 s
Current children cumulated vsize: 456840 KiB
Current children cumulated memory: 348964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 811936
/proc/meminfo: memFree=122014108/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=457832 memory=349864 CPUtime=3154.76 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 50982 0 0 0 314977 499 0 0 20 0 1 0 158489359 468819968 87466 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114458 87466 1198 1005 0 113221 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 457832 KiB
Current children cumulated memory: 349864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 811959
/proc/meminfo: memFree=122012916/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=458220 memory=350060 CPUtime=3214.62 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 51198 0 0 0 320950 512 0 0 20 0 1 0 158489359 469217280 87515 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114555 87515 1198 1005 0 113318 0
Current children cumulated CPU time: 3214.62 s
Current children cumulated vsize: 458220 KiB
Current children cumulated memory: 350060 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 811969
/proc/meminfo: memFree=122006376/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=458220 memory=350252 CPUtime=3274.48 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 51327 0 0 0 326926 522 0 0 20 0 1 0 158489359 469217280 87563 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114555 87563 1198 1005 0 113318 0
Current children cumulated CPU time: 3274.48 s
Current children cumulated vsize: 458220 KiB
Current children cumulated memory: 350252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 811980
/proc/meminfo: memFree=122005296/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=458604 memory=350416 CPUtime=3334.33 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 51543 0 0 0 332902 531 0 0 20 0 1 0 158489359 469610496 87604 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114651 87604 1198 1005 0 113414 0
Current children cumulated CPU time: 3334.33 s
Current children cumulated vsize: 458604 KiB
Current children cumulated memory: 350416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.10 4.10 5/257 811991
/proc/meminfo: memFree=122004556/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=459004 memory=350828 CPUtime=3394.19 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 51742 0 0 0 338877 542 0 0 20 0 1 0 158489359 470020096 87707 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114751 87707 1198 1005 0 113514 0
Current children cumulated CPU time: 3394.19 s
Current children cumulated vsize: 459004 KiB
Current children cumulated memory: 350828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/257 812001
/proc/meminfo: memFree=122002332/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=459808 memory=351656 CPUtime=3454.05 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 52054 0 0 0 344852 553 0 0 20 0 1 0 158489359 470843392 87914 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114952 87914 1198 1005 0 113715 0
Current children cumulated CPU time: 3454.05 s
Current children cumulated vsize: 459808 KiB
Current children cumulated memory: 351656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.22 4.14 5/254 812011
/proc/meminfo: memFree=122001096/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=459808 memory=351840 CPUtime=3513.92 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 52160 0 0 0 350830 562 0 0 20 0 1 0 158489359 470843392 87960 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 114952 87960 1198 1005 0 113715 0
Current children cumulated CPU time: 3513.92 s
Current children cumulated vsize: 459808 KiB
Current children cumulated memory: 351840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/254 812021
/proc/meminfo: memFree=121999356/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=460144 memory=352176 CPUtime=3573.77 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 52378 0 0 0 356806 571 0 0 20 0 1 0 158489359 471187456 88044 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 115036 88044 1198 1005 0 113799 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 460144 KiB
Current children cumulated memory: 352176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.19 4.19 4.13 5/254 812028
/proc/meminfo: memFree=121999104/131524600 swapFree=131071996/131071996
[pid=810058] ppid=810055 vsize=460144 memory=352176 CPUtime=3600.01 cores=5,7
/proc/810058/stat : 810058 (Exact) R 810055 810058 808111 0 -1 4194304 52399 0 0 0 359426 575 0 0 20 0 1 0 158489359 471187456 88044 134679101440 4194304 8309489 140735019900432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 24985600 140735019901887 140735019902056 140735019902056 140735019909071 0
/proc/810058/statm: 115036 88044 1198 1005 0 113799 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 460144 KiB
Current children cumulated memory: 352176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.61 s]
# the end of solver process 810058 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.27 s, system=5.76192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.61
CPU time (s): 3600.03
CPU user time (s): 3594.27
CPU system time (s): 5.76192
CPU usage (%): 99.7622
Max. virtual memory (cumulated for all children) (KiB): 582944
Max. memory (cumulated for all children) (KiB): 352176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.27
system time used= 5.76192
maximum resident set size= 456952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52399
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= 36
involuntary context switches= 2067
# summary of solver processes directly reported to runsolver:
# pid: 810058
# total CPU time (s): 3600.03
# total CPU user time (s): 3594.27
# total CPU system time (s): 5.76192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77775 second user time and 17.2309 second system time
The end
Begin job on nodeC024 at 2024-07-15 19:07:38 IDJOB=4432969 IDBENCH=146743 IDSOLVER=3060 FILE ID=nodeC024/4432969-1721063244 RUNJOBID= nodeC024-1721059648-808124 SLURM_JOB_ID= 7505503 Free space on /tmp= 890064 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432969-1721063244/watcher-4432969-1721063244 -o /tmp/evaluation-result-4432969-1721063244/solver-4432969-1721063244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=503640701 HOME/instance-4432969-1721063244.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1 RANDOM SEED=503640701 nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.737 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.596 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.817 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.049 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.761 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.987 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.827 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.071 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126725716 kB MemAvailable: 129151780 kB Buffers: 367908 kB Cached: 2871272 kB SwapCached: 0 kB Active: 583248 kB Inactive: 3575616 kB Active(anon): 1564 kB Inactive(anon): 955544 kB Active(file): 581684 kB Inactive(file): 2620072 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6328 kB Writeback: 0 kB AnonPages: 917636 kB Mapped: 117224 kB Shmem: 37720 kB KReclaimable: 127912 kB Slab: 236348 kB SReclaimable: 127912 kB SUnreclaim: 108436 kB KernelStack: 4092 kB PageTables: 10940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1428504 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59648 kB HardwareCorrupted: 0 kB AnonHugePages: 776192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 226004 kB DirectMap2M: 19470336 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890052 MiB End job on nodeC024 at 2024-07-15 20:07:46