Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 1087989760 | 3600.21 | 3610.29 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
| MD5SUM | 9da0f014fb9cbd107dd1b5ea973ba0c7 |
| 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 | 1086940160 |
| Best CPU time to get the best result obtained on this benchmark | 2471.28 |
| 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 | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2123511627775 |
| 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.20/0.30 c 3038 constraints 0.20/0.30 c after presolve 4409 0.29/0.38 c Finish cloning data from SAT to LS 0.29/0.38 c intsize: 41 92.85/93.19 c Use LS-small 92.85/93.19 o 1610612736 92.94/93.20 o 1342177280 92.94/93.21 o 1207959552 92.94/93.21 o 1140850688 92.94/93.22 o 1119879168 92.94/93.22 o 1117323264 92.94/93.23 o 1117322240 92.94/93.25 o 1117321216 92.94/93.26 o 1116272640 92.94/93.26 o 1115748352 92.94/93.27 o 1115744256 92.94/93.27 o 1115736064 93.04/93.30 o 1115539456 93.04/93.31 o 1115487232 93.04/93.32 o 1115486208 93.04/93.32 o 1115482112 93.04/93.33 o 1115473920 93.04/93.34 o 1115409376 93.04/93.35 o 1115409344 93.04/93.36 o 1115409216 93.04/93.36 o 1115409088 93.04/93.37 o 1115409024 93.04/93.37 o 1115408960 93.04/93.38 o 1115408896 93.24/93.52 o 1115408384 93.24/93.53 o 1115277312 93.24/93.54 o 1115244544 93.24/93.54 o 1115228160 93.34/93.61 o 1115162624 93.34/93.62 o 1115160576 93.44/93.76 o 1110966272 93.54/93.81 o 1109917696 93.54/93.82 o 1109916672 93.54/93.82 o 1109915648 93.54/93.83 o 1109784576 93.54/93.84 o 1109719040 93.54/93.84 o 1109686272 93.54/93.85 o 1109669888 93.54/93.86 o 1109667840 93.54/93.86 o 1109405696 93.54/93.87 o 1109397504 93.54/93.87 o 1109393408 93.54/93.88 o 1109392384 93.94/94.26 o 1109391360 93.94/94.26 o 1109260288 93.94/94.27 o 1109194752 93.94/94.27 o 1109161984 93.94/94.27 o 1109145600 93.94/94.27 o 1109143552 93.94/94.27 o 1108881408 93.94/94.27 o 1108873216 93.94/94.28 o 1108869120 93.94/94.28 o 1108803584 93.94/94.28 o 1108770816 94.34/94.63 o 1108508672 94.34/94.64 o 1108377600 94.34/94.64 o 1108344832 94.34/94.64 o 1107296256 94.34/94.65 o 1104609280 94.34/94.65 o 1104576512 95.33/95.61 o 1104314368 95.33/95.62 o 1103265792 95.33/95.62 o 1096187904 95.33/95.65 o 1096183808 95.33/95.66 o 1096175616 95.43/95.72 o 1096159232 95.43/95.73 o 1096155136 95.43/95.74 o 1096114176 95.43/95.74 o 1096110080 95.43/95.75 o 1096093696 95.43/95.79 o 1096089600 97.52/97.81 o 1096085504 97.52/97.83 o 1096081408 97.52/97.83 o 1096078332 97.52/97.84 o 1096078328 97.52/97.84 o 1096078316 97.52/97.84 o 1096078312 97.52/97.84 o 1096078296 97.52/97.85 o 1096078280 97.52/97.85 o 1096078272 97.52/97.85 o 1096078016 97.52/97.85 o 1096077888 97.52/97.85 o 1096077376 97.52/97.86 o 1096077312 97.62/97.93 o 1096076288 97.62/97.93 o 1096074240 97.62/97.94 o 1096073216 97.62/97.94 o 1096072192 97.62/97.96 o 1096070144 97.62/97.96 o 1096069120 97.62/97.96 o 1095023616 97.62/97.98 o 1095022592 97.62/97.99 o 1095018496 97.62/97.99 o 1095010304 97.62/97.99 o 1095008256 97.62/97.99 o 1095007232 97.73/98.01 o 1095006208 97.73/98.02 o 1095002112 97.73/98.02 o 1094993920 97.73/98.02 o 1094991872 97.73/98.03 o 1094762496 97.73/98.03 o 1094758400 97.73/98.04 o 1094757380 97.73/98.04 o 1094757376 97.73/98.05 o 1094753280 97.73/98.07 o 1094720512 97.73/98.07 o 1094716416 97.73/98.08 o 1094714368 97.73/98.08 o 1094713344 97.83/98.11 o 1093648384 97.83/98.12 o 1093644288 97.83/98.12 o 1093643264 97.83/98.12 o 1093639168 97.83/98.16 o 1093377536 97.83/98.16 o 1093377024 98.02/98.33 o 1093372928 98.02/98.34 o 1093370880 98.02/98.36 o 1093369856 98.02/98.39 o 1093368832 98.32/98.65 o 1093366784 98.32/98.66 o 1093366780 98.32/98.66 o 1093366776 98.32/98.67 o 1093366760 98.32/98.67 o 1093366728 98.32/98.67 o 1093366720 98.32/98.68 o 1093366712 98.32/98.69 o 1093366696 98.42/98.70 o 1093366664 98.42/98.71 o 1093366656 98.42/98.71 o 1093366144 98.42/98.72 o 1093365888 98.42/98.72 o 1093365764 98.42/98.73 o 1093365760 98.42/98.74 o 1093361664 98.42/98.74 o 1093357500 98.42/98.75 o 1093357496 98.42/98.77 o 1093357464 98.42/98.78 o 1093357448 98.42/98.78 o 1093357440 98.42/98.79 o 1093356984 98.52/98.80 o 1093356952 98.52/98.81 o 1093356936 98.52/98.81 o 1093356928 98.52/98.82 o 1093356728 98.52/98.83 o 1093356696 98.52/98.84 o 1093356680 98.52/98.84 o 1093356672 98.52/98.85 o 1093356544 98.52/98.85 o 1093354496 98.52/98.86 o 1093353472 98.52/98.88 o 1093222400 98.52/98.88 o 1093156864 98.52/98.89 o 1093140480 98.62/98.98 o 1093009408 98.62/98.99 o 1092963840 98.62/99.00 o 1092963584 98.72/99.00 o 1092963512 98.72/99.01 o 1092963384 99.53/99.80 o 1092961336 99.53/99.81 o 1092960312 99.53/99.82 o 1092960280 99.53/99.83 o 1092960264 99.53/99.84 o 1092960256 99.53/99.85 o 1092947000 99.53/99.85 o 1092944952 99.53/99.86 o 1092943928 99.53/99.87 o 1092943896 99.53/99.88 o 1092943880 99.53/99.89 o 1092943872 99.53/99.89 o 1092938808 101.72/102.02 o 1092938776 107.20/107.59 o 1092938760 107.20/107.59 o 1092938752 107.50/107.82 o 1092936704 107.50/107.83 o 1092935680 107.50/107.83 o 1092934656 107.50/107.83 o 1092932608 107.50/107.84 o 1092931584 107.50/107.84 o 1092929536 107.50/107.84 o 1092928512 107.50/107.88 o 1092927488 107.50/107.88 o 1092924416 107.60/107.95 o 1092923392 107.60/107.95 o 1092920320 107.70/108.01 o 1092919296 107.70/108.02 o 1092912128 107.80/108.11 o 1092911104 107.80/108.11 o 1092903936 107.90/108.20 o 1092887552 107.90/108.20 o 1092879360 107.90/108.21 o 1092878336 107.90/108.21 o 1092874240 107.90/108.22 o 1092872192 107.90/108.22 o 1092871168 107.90/108.24 o 1092862976 107.90/108.25 o 1092858880 108.00/108.39 o 1092856832 108.00/108.39 o 1092855808 108.10/108.40 o 1092852736 108.10/108.41 o 1092851712 108.10/108.42 o 1092847616 108.10/108.42 o 1092845568 108.10/108.43 o 1092844544 108.10/108.49 o 1092843520 108.20/108.50 o 1092835328 108.20/108.51 o 1092831232 108.20/108.51 o 1092829184 108.20/108.52 o 1092812800 108.20/108.52 o 1092713472 108.40/108.79 o 1092697088 108.50/108.80 o 1092688896 108.50/108.80 o 1092684800 108.50/108.81 o 1092682752 108.50/108.82 o 1092681728 108.50/108.82 o 1092616192 108.50/108.83 o 1092091904 108.50/108.84 o 1091911680 108.50/108.84 o 1091910656 108.60/108.95 o 1091906560 108.60/108.97 o 1091904512 108.60/108.97 o 1091903488 108.60/108.98 o 1091899392 108.60/108.99 o 1091898368 108.70/109.02 o 1091896320 108.70/109.03 o 1091895296 108.70/109.06 o 1091886080 108.89/109.29 o 1091881984 109.19/109.55 o 1091879936 109.19/109.56 o 1091878912 109.19/109.57 o 1091846144 109.19/109.58 o 1091829760 109.19/109.59 o 1091620864 109.19/109.59 o 1091619840 109.49/109.89 o 1091617792 109.59/109.90 o 1091616768 109.59/109.91 o 1091588096 109.59/109.92 o 1091587072 109.59/109.97 o 1091585024 109.59/109.98 o 1091584000 109.59/109.99 o 1091567616 109.89/110.21 o 1091537920 110.09/110.48 o 1091535872 110.19/110.50 o 1091534848 110.19/110.51 o 1091518464 110.19/110.54 o 1091513344 110.19/110.56 o 1091511296 110.19/110.58 o 1091510272 110.19/110.59 o 1091447808 110.49/110.81 o 1091445760 110.49/110.83 o 1091444736 110.49/110.84 o 1091439616 110.99/111.31 o 1091437568 110.99/111.33 o 1091436544 110.99/111.35 o 1091435520 111.09/111.47 o 1091433472 111.09/111.48 o 1091432448 111.19/111.50 o 1091428352 111.19/111.51 o 1091427328 111.98/112.38 o 1091423232 113.58/113.97 o 1091422208 113.58/114.00 o 1091420160 113.68/114.03 o 1091416064 113.78/114.16 o 1091411968 113.78/114.18 o 1091403776 113.88/114.20 o 1091383296 113.88/114.25 o 1091375104 114.18/114.50 o 1091371008 115.47/115.86 o 1091369984 115.47/115.88 o 1091368960 115.47/115.89 o 1091366912 115.47/115.89 o 1091365888 115.57/115.90 o 1091364864 115.57/115.91 o 1091362816 115.57/115.91 o 1091354624 115.57/115.91 o 1091350528 115.68/116.08 o 1091342336 115.68/116.09 o 1091338240 115.68/116.09 o 1091334144 115.78/116.11 o 1091330048 115.78/116.19 o 1091313664 115.78/116.19 o 1091305472 115.87/116.20 o 1091198976 116.67/117.00 o 1091182592 120.56/120.92 o 1091051520 120.56/120.92 o 1091043328 120.56/120.92 o 1091014656 120.56/120.92 o 1091010560 120.56/120.92 o 1091005440 120.56/120.93 o 1091004416 120.56/120.93 o 1091002368 120.56/120.93 o 1090997248 120.56/120.95 o 1090996224 120.56/120.95 o 1090994176 120.56/120.95 o 1090977792 120.56/120.95 o 1090964480 120.56/120.98 o 1090963456 120.56/120.99 o 1090961408 120.56/120.99 o 1090956288 120.66/121.06 o 1090955264 120.66/121.06 o 1090953216 120.66/121.06 o 1090920448 120.66/121.07 o 1090912256 120.66/121.07 o 1090699264 120.66/121.07 o 1090694144 120.66/121.08 o 1090692096 120.66/121.08 o 1090691072 120.66/121.09 o 1090682880 120.76/121.11 o 1090654208 120.76/121.11 o 1090653184 124.34/124.71 o 1090651136 124.34/124.73 o 1090650112 124.34/124.76 o 1090644992 134.21/134.61 o 1090518016 135.10/135.55 o 1090255872 135.30/135.77 o 1090247680 135.30/135.78 o 1090246656 135.40/135.82 o 1090242560 135.70/136.17 o 1090241536 136.00/136.44 o 1090240512 136.00/136.48 o 1090224128 136.10/136.53 o 1090191360 136.70/137.12 o 1090162688 137.30/137.75 o 1090160640 137.40/137.89 o 1090159616 137.60/138.02 o 1090126848 137.70/138.13 o 1090125824 137.80/138.26 o 1090060288 138.20/138.69 o 1090027520 138.50/138.94 o 1089995776 138.50/138.98 o 1089994752 138.89/139.31 o 1089990656 139.09/139.59 o 1089987584 139.19/139.66 o 1089971200 139.29/139.73 o 1089963008 139.70/140.14 o 1089961984 139.99/140.41 o 1089953792 139.99/140.46 o 1089952768 141.28/141.75 o 1089948672 142.28/142.70 o 1089947648 142.48/142.96 o 1089945600 142.88/143.33 o 1089943552 143.68/144.17 o 1089939456 144.17/144.64 o 1089935360 144.27/144.75 o 1089931264 144.37/144.81 o 1089929216 144.47/145.00 o 1089863680 144.77/145.24 o 1089761280 144.87/145.37 o 1089757184 144.97/145.42 o 1089748992 145.37/145.83 o 1089732608 151.85/152.30 o 1089486848 151.85/152.36 o 1089478656 151.85/152.39 o 1089470464 151.85/152.39 o 1089437696 151.95/152.40 o 1089421312 152.34/152.84 o 1089409024 152.44/152.98 o 1089408000 152.44/152.99 o 1089406976 152.55/153.00 o 1089404928 152.55/153.01 o 1089375232 152.55/153.02 o 1089374208 152.55/153.03 o 1089372160 152.65/153.13 o 1089367040 153.14/153.69 o 1089366016 153.24/153.70 o 1089363968 153.24/153.71 o 1089357824 153.24/153.75 o 1089356800 153.24/153.76 o 1089355776 153.24/153.77 o 1089354752 153.84/154.33 o 1089353728 153.84/154.35 o 1089351680 153.84/154.36 o 1089347584 153.84/154.38 o 1089339392 153.84/154.40 o 1089290240 153.94/154.41 o 1089289216 153.94/154.42 o 1089288192 154.65/155.18 o 1089286144 154.74/155.20 o 1089285120 154.94/155.41 o 1089283072 154.94/155.43 o 1089274880 154.94/155.45 o 1089273856 154.94/155.46 o 1089269760 154.94/155.48 o 1089268736 156.54/157.05 o 1089252352 156.54/157.07 o 1089244160 156.54/157.09 o 1089243136 157.13/157.62 o 1089242112 157.13/157.65 o 1089241088 157.13/157.66 o 1089236992 157.13/157.68 o 1089235968 157.33/157.82 o 1089234944 157.33/157.84 o 1089232896 157.33/157.85 o 1089224704 157.33/157.87 o 1089208320 157.33/157.89 o 1089175552 157.43/157.90 o 1089171456 157.43/157.92 o 1089170432 158.63/159.16 o 1089169408 158.63/159.18 o 1089167360 158.73/159.20 o 1089159168 158.73/159.22 o 1089157120 158.73/159.29 o 1089153024 158.83/159.31 o 1089150976 158.83/159.33 o 1089149952 162.31/162.84 o 1089147904 164.61/165.10 o 1089146880 164.61/165.11 o 1089144832 164.61/165.11 o 1089143808 164.70/165.21 o 1089142784 164.70/165.26 o 1089138688 164.70/165.27 o 1089137664 170.18/170.78 o 1089129472 178.85/179.47 o 1089127424 178.85/179.48 o 1089126400 178.85/179.49 o 1089110016 178.85/179.49 o 1088978944 178.95/179.50 o 1088946176 178.95/179.50 o 1088880640 178.95/179.51 o 1088867328 179.15/179.75 o 1088865280 179.15/179.76 o 1088864256 179.15/179.76 o 1088863232 179.15/179.78 o 1088861200 179.15/179.79 o 1088861192 179.15/179.79 o 1088861184 179.25/179.80 o 1088860160 179.25/179.81 o 1088859136 179.25/179.85 o 1088858112 179.25/179.85 o 1088857088 179.25/179.86 o 1088856064 179.35/179.90 o 1088855040 191.92/192.51 o 1088854016 198.09/198.73 o 1088851968 199.29/199.99 o 1088847872 199.40/200.00 o 1088846848 199.40/200.02 o 1088844800 199.40/200.03 o 1088842752 199.50/200.15 o 1088840704 199.50/200.17 o 1088839680 199.50/200.18 o 1088838656 199.50/200.19 o 1088836608 199.59/200.21 o 1088832512 199.59/200.22 o 1088831488 199.59/200.27 o 1088822272 199.59/200.28 o 1088820224 199.59/200.29 o 1088816128 199.69/200.31 o 1088815104 206.97/207.64 o 1088814080 208.37/209.07 o 1088813056 208.47/209.12 o 1088811008 208.66/209.38 o 1088809984 209.46/210.12 o 1088808960 209.76/210.48 o 1088806912 209.86/210.52 o 1088801792 209.86/210.57 o 1088800768 209.96/210.64 o 1088798720 209.96/210.67 o 1088793600 215.45/216.17 o 1088791552 219.83/220.59 o 1088790528 219.93/220.64 o 1088784384 250.95/251.76 o 1088783360 254.25/255.04 o 1088782336 254.35/255.14 o 1088775168 330.64/331.65 o 1088774144 339.02/340.02 o 1088757760 339.02/340.08 o 1088716768 339.61/340.60 o 1088716256 340.91/341.93 o 1088716000 340.91/341.98 o 1088715872 341.01/342.05 o 1088715808 341.11/342.11 o 1088715776 341.11/342.16 o 1088714720 341.21/342.23 o 1088714688 341.21/342.29 o 1088714176 341.31/342.38 o 1088713920 341.41/342.43 o 1088713792 341.41/342.49 o 1088713728 341.51/342.54 o 1088712704 341.70/342.72 o 1088696320 342.01/343.02 o 1088692224 342.01/343.08 o 1088684032 342.11/343.15 o 1088651200 342.20/343.25 o 1088651072 342.30/343.32 o 1088651008 342.30/343.38 o 1088650496 342.40/343.45 o 1088650240 343.50/344.59 o 1088633856 345.89/346.92 o 1088625664 345.89/346.99 o 1088623616 346.00/347.07 o 1088622592 346.10/347.13 o 1088618496 348.28/349.38 o 1088593920 352.17/353.29 o 1088585728 353.57/354.66 o 1088583680 353.77/354.80 o 1088581632 353.87/354.91 o 1088575488 356.86/358.00 o 1088571392 360.65/361.79 o 1088569344 371.43/372.57 o 1088563200 372.11/373.26 o 1088562176 372.11/373.28 o 1088561152 372.21/373.30 o 1088560128 372.21/373.32 o 1088559328 372.21/373.34 o 1088559296 372.21/373.38 o 1088559168 372.31/373.41 o 1088559104 373.41/374.50 o 1088555008 373.41/374.58 o 1088552960 373.51/374.62 o 1088550912 390.27/391.40 o 1088548864 409.42/410.60 o 1088547840 455.58/456.94 o 1088546816 468.85/470.21 o 1088544768 468.85/470.25 o 1088540672 468.95/470.31 o 1088538624 481.91/483.38 o 1088537600 482.01/483.41 o 1088536576 483.20/484.65 o 1088521216 485.40/486.82 o 1088520192 490.48/491.90 o 1088487424 490.59/492.05 o 1088421888 490.78/492.20 o 1088290816 490.78/492.23 o 1088278528 490.78/492.25 o 1088274432 490.88/492.33 o 1088259072 491.18/492.60 o 1088250880 491.18/492.63 o 1088249856 491.18/492.65 o 1088248832 491.28/492.70 o 1088247808 491.28/492.73 o 1088246784 491.38/492.80 o 1088245760 491.38/492.87 o 1088243712 491.38/492.89 o 1088242688 491.58/493.09 o 1088241664 491.68/493.15 o 1088231424 491.68/493.18 o 1088230400 493.07/494.54 o 1088229376 493.07/494.57 o 1088225280 493.17/494.60 o 1088217088 493.17/494.62 o 1088216064 494.47/495.92 o 1088215040 494.47/495.95 o 1088214016 494.47/495.98 o 1088212992 494.57/496.02 o 1088208896 494.57/496.08 o 1088192512 494.67/496.11 o 1088180224 494.67/496.17 o 1088179200 495.87/497.35 o 1088178176 501.56/503.08 o 1088176128 501.66/503.11 o 1088175104 501.66/503.13 o 1088173056 501.66/503.15 o 1088172032 501.66/503.17 o 1088169984 501.66/503.19 o 1088168960 502.75/504.26 o 1088167936 502.75/504.28 o 1088166912 502.85/504.31 o 1088165888 502.85/504.33 o 1088164864 502.85/504.35 o 1088163840 502.85/504.37 o 1088159744 585.12/586.83 o 1088151552 598.78/600.56 o 1088150528 598.98/600.70 o 1088149504 599.18/600.91 o 1088147456 599.18/600.99 o 1088146432 599.28/601.07 o 1088145408 599.38/601.14 o 1088144384 2121.20/2127.24 o 1088143360 2159.00/2165.17 o 1088133120 2159.29/2165.42 o 1088132096 2160.20/2166.36 o 1088099328 2161.60/2167.70 o 1088098304 2162.19/2168.32 o 1088094208 2163.39/2169.57 o 1088081920 2164.48/2170.67 o 1088079872 2167.88/2174.08 o 1088078848 2169.47/2175.66 o 1088077824 2169.67/2175.86 o 1088061440 2169.87/2176.05 o 1088028672 2183.13/2189.38 o 1088019456 2194.31/2200.57 o 1088018432 2195.70/2201.92 o 1088015360 2197.30/2203.58 o 1088014336 2197.50/2203.78 o 1088013312 2197.70/2203.98 o 1088012288 2198.00/2204.24 o 1088006144 2257.14/2263.59 o 1088005120 2258.54/2264.90 o 1088004096 2258.64/2265.08 o 1087997952 3507.82/3517.61 o 1087995904 3567.61/3577.62 o 1087994880 3576.09/3586.13 o 1087993856 3576.28/3586.38 o 1087991808 3577.10/3587.13 o 1087990784 3578.19/3588.22 o 1087989760 3600.01/3610.10 c Program interrupted by user. 3600.01/3610.10 s SATISFIABLE 3600.01/3610.10 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 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 x8111 x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 x8321 x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 x8606 x8607 x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 -x8622 -x8623 -x8624 -x8625 -x8626 x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 x8637 x8638 -x8639 x8640 -x8641 -x8642 -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 -x8650 -x8651 x8652 -x8653 -x8654 -x8655 x8656 -x8657 -x8658 x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x8680 -x8681 x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 x8707 -x8708 -x8709 -x8710 -x8711 x8712 -x8713 -x8714 -x8715 -x8716 x8717 -x8718 -x8719 x8720 -x8721 -x8722 -x8723 -x8724 x8725 -x8726 -x8727 -x8728 x8729 -x8730 -x8731 -x8732 x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 x8753 x8754 -x8755 x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 x8764 -x8765 x8766 x8767 -x8768 x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 x8804 -x8805 x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 x8868 -x8869 -x8870 x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 x8883 -x8884 x8885 x8886 -x8887 x8888 -x8889 -x8890 x8891 x8892 -x8893 x8894 x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902
OK 1087989760
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: 63708 MiB (47333 MiB free)
memory of node 1: 64465 MiB (61894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485619-1751308336/watcher-4485619-1751308336 -o /tmp/evaluation-result-4485619-1751308336/solver-4485619-1751308336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751301113-41623 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485619-1751308336.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42373, runsolver pid=42370
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 42374
/proc/meminfo: memFree=111841160/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=62556 memory=22272 CPUtime=0.08 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 4200 0 0 0 8 0 0 0 20 0 1 0 46511492 64057344 5568 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 15639 5568 1664 2271 0 10277 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62556 KiB
Current children cumulated memory: 22272 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 42374
/proc/meminfo: memFree=111831836/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=72952 memory=34832 CPUtime=0.2 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 8251 0 0 0 19 1 0 0 20 0 1 0 46511492 74702848 8708 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 18238 8708 1824 2271 0 12876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72952 KiB
Current children cumulated memory: 34832 KiB
[startup+0.30541 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 42374
/proc/meminfo: memFree=111830072/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=79320 memory=40976 CPUtime=0.29 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 9782 0 0 0 28 1 0 0 20 0 1 0 46511492 81223680 10244 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 19830 10244 1824 2271 0 14468 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79320 KiB
Current children cumulated memory: 40976 KiB
[startup+0.700176 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 42374
/proc/meminfo: memFree=111775640/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=0.68 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 65 3 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 42374
/proc/meminfo: memFree=112185240/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=1.48 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 142 6 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+3.10549 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 42454
/proc/meminfo: memFree=113878740/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=3.08 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 300 8 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+6.30016 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42464
/proc/meminfo: memFree=113072752/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=6.27 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 613 14 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 42465
/proc/meminfo: memFree=112710104/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=12.66 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 1241 25 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42465
/proc/meminfo: memFree=112708576/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=25.42 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 2498 44 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42465
/proc/meminfo: memFree=112706732/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=129400 memory=91408 CPUtime=50.96 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 22353 0 0 0 5011 85 0 0 20 0 1 0 46511492 132505600 22852 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 32350 22852 1856 2271 0 26988 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 129400 KiB
Current children cumulated memory: 91408 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 42513
/proc/meminfo: memFree=120141596/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=176688 memory=143808 CPUtime=102.02 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 30572 0 0 0 10094 108 0 0 20 0 1 0 46511492 180928512 35952 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 44172 35952 1888 2271 0 38810 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 176688 KiB
Current children cumulated memory: 143808 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 42516
/proc/meminfo: memFree=107560860/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=192248 memory=159424 CPUtime=161.82 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 34548 0 0 0 16064 118 0 0 20 0 1 0 46511492 196861952 39856 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 48062 39856 1888 2271 0 42700 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 192248 KiB
Current children cumulated memory: 159424 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 42518
/proc/meminfo: memFree=95039276/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=219180 memory=189652 CPUtime=221.63 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 41648 0 0 0 22037 126 0 0 20 0 1 0 46511492 224440320 47413 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 54795 47413 1888 2271 0 49433 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 219180 KiB
Current children cumulated memory: 189652 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 42567
/proc/meminfo: memFree=123776108/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=253060 memory=209148 CPUtime=281.47 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 44740 0 0 0 28015 132 0 0 20 0 1 0 46511492 259133440 52287 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 63265 52287 2048 2271 0 57903 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 253060 KiB
Current children cumulated memory: 209148 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 42575
/proc/meminfo: memFree=124400028/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=281056 memory=235844 CPUtime=341.31 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 48360 0 0 0 33994 137 0 0 20 0 1 0 46511492 287801344 58961 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 70264 58961 2048 2271 0 64902 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 281056 KiB
Current children cumulated memory: 235844 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 42577
/proc/meminfo: memFree=124454824/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=401556 memory=303040 CPUtime=401.14 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 52468 0 0 0 39968 146 0 0 20 0 1 0 46511492 411193344 75760 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 100389 75760 2048 2271 0 95027 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 401556 KiB
Current children cumulated memory: 303040 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 42579
/proc/meminfo: memFree=124377664/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=412112 memory=313024 CPUtime=460.96 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 54985 0 0 0 45942 154 0 0 20 0 1 0 46511492 422002688 78256 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 103028 78256 2048 2271 0 97666 0
################
# More data... #
################
Current children cumulated memory: 745720 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42931
/proc/meminfo: memFree=126374144/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=917596 memory=745720 CPUtime=2914.17 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 90490 0 0 0 291057 360 0 0 20 0 1 0 46511492 939618304 186430 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 229399 186430 2048 2271 0 224037 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 917596 KiB
Current children cumulated memory: 745720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 42934
/proc/meminfo: memFree=126375088/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=917596 memory=745720 CPUtime=2974.01 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 90491 0 0 0 297037 364 0 0 20 0 1 0 46511492 939618304 186430 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 229399 186430 2048 2271 0 224037 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 917596 KiB
Current children cumulated memory: 745720 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 42936
/proc/meminfo: memFree=126364272/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=921028 memory=749176 CPUtime=3033.84 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 91349 0 0 0 303017 367 0 0 20 0 1 0 46511492 943132672 187294 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 230257 187294 2048 2271 0 224895 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 921028 KiB
Current children cumulated memory: 749176 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42938
/proc/meminfo: memFree=126345912/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=923216 memory=749304 CPUtime=3093.68 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 91561 0 0 0 308998 370 0 0 20 0 1 0 46511492 945373184 187326 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 230804 187326 2048 2271 0 225442 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 923216 KiB
Current children cumulated memory: 749304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 42940
/proc/meminfo: memFree=126342780/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=923216 memory=749304 CPUtime=3153.52 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 91564 0 0 0 314978 374 0 0 20 0 1 0 46511492 945373184 187326 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 230804 187326 2048 2271 0 225442 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 923216 KiB
Current children cumulated memory: 749304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42942
/proc/meminfo: memFree=126342920/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=923216 memory=749304 CPUtime=3213.36 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 91571 0 0 0 320957 379 0 0 20 0 1 0 46511492 945373184 187326 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 230804 187326 2048 2271 0 225442 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 923216 KiB
Current children cumulated memory: 749304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 42944
/proc/meminfo: memFree=126342764/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=924860 memory=751096 CPUtime=3273.2 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 92025 0 0 0 326935 385 0 0 20 0 1 0 46511492 947056640 187774 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 231215 187774 2048 2271 0 225853 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 924860 KiB
Current children cumulated memory: 751096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 42948
/proc/meminfo: memFree=126342648/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=924860 memory=751096 CPUtime=3333.03 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 92025 0 0 0 332915 388 0 0 20 0 1 0 46511492 947056640 187774 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 231215 187774 2048 2271 0 225853 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 924860 KiB
Current children cumulated memory: 751096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 42955
/proc/meminfo: memFree=126334688/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=931608 memory=759932 CPUtime=3392.88 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 92676 0 0 0 338897 391 0 0 20 0 1 0 46511492 953966592 189983 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 232902 189983 2048 2271 0 227540 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 931608 KiB
Current children cumulated memory: 759932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42958
/proc/meminfo: memFree=126309772/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=931608 memory=759932 CPUtime=3452.71 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 92676 0 0 0 344876 395 0 0 20 0 1 0 46511492 953966592 189983 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 232902 189983 2048 2271 0 227540 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 931608 KiB
Current children cumulated memory: 759932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 42960
/proc/meminfo: memFree=126231128/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=931608 memory=759932 CPUtime=3512.51 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 92845 0 0 0 350852 399 0 0 20 0 1 0 46511492 953966592 189983 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 232902 189983 2048 2271 0 227540 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 931608 KiB
Current children cumulated memory: 759932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 42962
/proc/meminfo: memFree=126129672/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=942904 memory=770072 CPUtime=3572.3 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 94398 0 0 0 356827 403 0 0 20 0 1 0 46511492 965533696 192518 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 235726 192518 2048 2271 0 230364 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 942904 KiB
Current children cumulated memory: 770072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 42963
/proc/meminfo: memFree=126127152/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=942904 memory=770200 CPUtime=3600.01 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 94418 0 0 0 359596 405 0 0 20 0 1 0 46511492 965533696 192550 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 235726 192550 2048 2271 0 230364 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 942904 KiB
Current children cumulated memory: 770200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.29 s]
# the end of solver process 42373 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.15 s, system=4.06195 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 42963
/proc/meminfo: memFree=126127152/131249996 swapFree=33005272/33010684
[pid=42373] ppid=42370 vsize=447316 memory=425244 CPUtime=3600.1 cores=1,3
/proc/42373/stat : 42373 (ExactPR) R 42370 42373 41611 0 -1 4194304 94420 0 0 0 359605 405 0 0 20 0 1 0 46511492 458051584 106311 18446744073709551615 94272625672192 94272634972037 140737044549408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94272636758336 94272636797416 94272679247872 140737044552069 140737044552204 140737044552204 140737044557806 0
/proc/42373/statm: 111829 106311 2080 2271 0 106467 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 447316 KiB
Current children cumulated memory: 425244 KiB
Child status: 10
Real time (s): 3610.29
CPU time (s): 3600.21
CPU user time (s): 3596.15
CPU system time (s): 4.06195
CPU usage (%): 99.7207
Max. virtual memory (cumulated for all children) (KiB): 1184600
Max. memory (cumulated for all children) (KiB): 770200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.15
system time used= 4.06195
maximum resident set size= 952244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94429
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= 193
involuntary context switches= 4966
# summary of solver processes directly reported to runsolver:
# pid: 42373
# total CPU time (s): 3600.21
# total CPU user time (s): 3596.15
# total CPU system time (s): 4.06195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66195 second user time and 15.7679 second system time
The end
Begin job on nodeC023 at 2025-06-30 20:32:16 IDJOB=4485619 IDBENCH=146805 IDSOLVER=3324 FILE ID=nodeC023/4485619-1751308336 RUNJOBID= nodeC023-1751301113-41623 SLURM_JOB_ID= 9594274 Free space on /tmp= 433016 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485619-1751308336/watcher-4485619-1751308336 -o /tmp/evaluation-result-4485619-1751308336/solver-4485619-1751308336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751301113-41623 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485619-1751308336.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7 RANDOM SEED=151404067 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.623 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.899 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3555.346 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3653.318 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.928 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3599.808 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 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 : 3575.647 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 111848908 kB MemAvailable: 111480084 kB Buffers: 1328 kB Cached: 406808 kB SwapCached: 544 kB Active: 18439244 kB Inactive: 304640 kB Active(anon): 18289020 kB Inactive(anon): 59948 kB Active(file): 150224 kB Inactive(file): 244692 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005272 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13048 kB Writeback: 0 kB AnonPages: 18338276 kB Mapped: 110076 kB Shmem: 13220 kB KReclaimable: 102788 kB Slab: 190340 kB SReclaimable: 102788 kB SUnreclaim: 87552 kB KernelStack: 4256 kB PageTables: 39256 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 19254016 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3667968 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC023 at 2025-06-30 21:32:27