Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | -650846 | 3600.67 | 3223.14 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/ normalized-knapPI_5_2000_10000_5_-952740.opb |
| MD5SUM | e208dfd6470fdaec043d153d73efd29c |
| 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 | -1487946 |
| Best CPU time to get the best result obtained on this benchmark | 1.24185 |
| 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 | 10000 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 10000 |
| Maximum length of a constraint | 10000 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 11005 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 59628641 |
| Number of bits of the sum of numbers in the objective function | 26 |
| Biggest number in a constraint | 485650 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 59628641 |
| Number of bits of the biggest sum of numbers | 26 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.05/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.12 c See www.sat4j.org for details. 0.05/0.13 c version CUSTOM.v20240707 0.05/0.14 c java.runtime.name OpenJDK Runtime Environment 0.05/0.14 c java.vm.name OpenJDK 64-Bit Server VM 0.05/0.14 c java.vm.version 22.0.1+8-16 0.05/0.14 c java.vm.vendor Oracle Corporation 0.05/0.14 c sun.arch.data.model 64 0.05/0.14 c java.version 22.0.1 0.05/0.14 c os.name Linux 0.05/0.14 c os.version 4.18.0-301.1.el8.x86_64 0.05/0.14 c os.arch amd64 0.05/0.14 c Free memory 2104792832 0.05/0.14 c Max memory 16282288128 0.05/0.14 c Total memory 2113929216 0.05/0.14 c Number of processors 2 0.05/0.17 --- Begin Solver configuration --- 0.05/0.17 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.05/0.17 Learn all clauses as in MiniSAT 0.05/0.17 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.17 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.17 No reason simplification 0.05/0.17 Glucose 2.1 dynamic restart strategy 0.05/0.17 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.05/0.17 timeout=2147483s 0.05/0.17 DB Simplification allowed=false 0.05/0.17 Listener: none 0.05/0.17 --- End Solver configuration --- 0.05/0.18 c Pseudo Boolean Optimization by upper bound 0.05/0.18 c --- Begin Solver configuration --- 0.05/0.18 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.05/0.18 c Learn all clauses as in MiniSAT 0.05/0.18 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.18 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.18 c No reason simplification 0.05/0.18 c Glucose 2.1 dynamic restart strategy 0.05/0.18 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.05/0.18 c timeout=2147483s 0.05/0.18 c DB Simplification allowed=false 0.05/0.18 c Listener: none 0.05/0.18 c --- End Solver configuration --- 0.05/0.18 c solving HOME/instance-4457557-1721865114.opb 0.05/0.18 c reading problem ... 0.05/0.18 c objective function found 0.24/0.28 c ... done. Wall clock time 0.098s. 0.24/0.28 c declared #vars 10000 0.24/0.28 c #constraints 1 0.24/0.28 c constraints type 0.24/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.24/0.28 c 1 constraints processed. 0.24/0.29 c objective function length is 10000 literals 0.44/0.35 c SATISFIABLE 0.44/0.36 c OPTIMIZING... 0.44/0.36 c Got one! Elapsed wall clock time (in seconds):0.172 0.44/0.36 o -535719 0.81/0.57 c Got one! Elapsed wall clock time (in seconds):0.395 0.81/0.57 o -535769 1.01/0.61 c Got one! Elapsed wall clock time (in seconds):0.436 1.01/0.62 o -536708 1.38/0.85 c Got one! Elapsed wall clock time (in seconds):0.673 1.38/0.85 o -536786 1.38/0.89 c Got one! Elapsed wall clock time (in seconds):0.709 1.38/0.89 o -537702 1.57/0.92 c Got one! Elapsed wall clock time (in seconds):0.74 1.57/0.92 o -537720 1.88/1.14 c Got one! Elapsed wall clock time (in seconds):0.963 1.88/1.14 o -537803 2.12/1.34 c Got one! Elapsed wall clock time (in seconds):1.162 2.12/1.34 o -537807 2.41/1.52 c Got one! Elapsed wall clock time (in seconds):1.347 2.41/1.52 o -537811 2.70/1.71 c Got one! Elapsed wall clock time (in seconds):1.531 2.70/1.72 o -537814 2.83/1.88 c Got one! Elapsed wall clock time (in seconds):1.706 2.83/1.88 o -538820 3.05/2.07 c Got one! Elapsed wall clock time (in seconds):1.89 3.05/2.07 o -538821 3.30/2.25 c Got one! Elapsed wall clock time (in seconds):2.067 3.30/2.25 o -538825 3.58/2.42 c Got one! Elapsed wall clock time (in seconds):2.248 3.58/2.42 o -538831 3.83/2.60 c Got one! Elapsed wall clock time (in seconds):2.421 3.83/2.60 o -538832 3.96/2.77 c Got one! Elapsed wall clock time (in seconds):2.594 3.96/2.77 o -539838 4.21/2.95 c Got one! Elapsed wall clock time (in seconds):2.774 4.21/2.95 o -539840 4.49/3.12 c Got one! Elapsed wall clock time (in seconds):2.947 4.49/3.12 o -539843 4.72/3.31 c Got one! Elapsed wall clock time (in seconds):3.137 4.72/3.31 o -539849 4.87/3.49 c Got one! Elapsed wall clock time (in seconds):3.312 4.87/3.49 o -539850 5.13/3.66 c Got one! Elapsed wall clock time (in seconds):3.489 5.13/3.67 o -540856 5.34/3.85 c Got one! Elapsed wall clock time (in seconds):3.661 5.34/3.85 o -540857 5.55/4.04 c Got one! Elapsed wall clock time (in seconds):3.87 5.55/4.04 o -540865 5.74/4.22 c Got one! Elapsed wall clock time (in seconds):4.048 5.74/4.22 o -540866 5.94/4.40 c Got one! Elapsed wall clock time (in seconds):4.222 5.94/4.40 o -540868 6.04/4.58 c Got one! Elapsed wall clock time (in seconds):4.402 6.04/4.58 o -540869 6.24/4.75 c Got one! Elapsed wall clock time (in seconds):4.578 6.24/4.75 o -540873 6.44/4.93 c Got one! Elapsed wall clock time (in seconds):4.754 6.44/4.93 o -540875 6.64/5.19 c Got one! Elapsed wall clock time (in seconds):5.01 6.64/5.19 o -540876 7.03/5.50 c Got one! Elapsed wall clock time (in seconds):5.322 7.03/5.50 o -540878 7.53/6.04 c Got one! Elapsed wall clock time (in seconds):5.867 7.53/6.04 o -541881 7.73/6.22 c Got one! Elapsed wall clock time (in seconds):6.046 7.73/6.22 o -541882 7.93/6.40 c Got one! Elapsed wall clock time (in seconds):6.226 7.93/6.40 o -541889 8.63/7.10 c Got one! Elapsed wall clock time (in seconds):6.925 8.63/7.10 o -541895 19.94/18.42 c Got one! Elapsed wall clock time (in seconds):18.242 19.94/18.42 o -541896 21.64/20.17 c Got one! Elapsed wall clock time (in seconds):19.99 21.64/20.17 o -541897 24.23/22.76 c Got one! Elapsed wall clock time (in seconds):22.58 24.23/22.76 o -542900 31.63/30.17 c Got one! Elapsed wall clock time (in seconds):29.995 31.63/30.17 o -542901 32.02/30.54 c Got one! Elapsed wall clock time (in seconds):30.362 32.02/30.54 o -542904 32.42/30.91 c Got one! Elapsed wall clock time (in seconds):30.737 32.42/30.91 o -542906 33.13/31.69 c Got one! Elapsed wall clock time (in seconds):31.511 33.13/31.69 o -542915 34.05/32.55 c Got one! Elapsed wall clock time (in seconds):32.373 34.05/32.55 o -542916 34.71/33.16 c Got one! Elapsed wall clock time (in seconds):32.989 34.71/33.16 o -542919 35.09/33.47 c Got one! Elapsed wall clock time (in seconds):33.295 35.09/33.47 o -542922 35.39/33.78 c Got one! Elapsed wall clock time (in seconds):33.602 35.39/33.78 o -542971 36.27/34.54 c Got one! Elapsed wall clock time (in seconds):34.366 36.27/34.54 o -543957 36.64/34.86 c Got one! Elapsed wall clock time (in seconds):34.684 36.64/34.86 o -543990 36.85/35.08 c Got one! Elapsed wall clock time (in seconds):34.904 36.85/35.08 o -544967 37.14/35.34 c Got one! Elapsed wall clock time (in seconds):35.162 37.14/35.34 o -544972 37.65/35.78 c Got one! Elapsed wall clock time (in seconds):35.606 37.65/35.78 o -544974 38.28/36.28 c Got one! Elapsed wall clock time (in seconds):36.101 38.28/36.28 o -544977 39.15/37.01 c Got one! Elapsed wall clock time (in seconds):36.835 39.15/37.01 o -544978 40.19/37.99 c Got one! Elapsed wall clock time (in seconds):37.814 40.19/37.99 o -544981 40.89/38.64 c Got one! Elapsed wall clock time (in seconds):38.46 40.89/38.64 o -544984 41.19/38.97 c Got one! Elapsed wall clock time (in seconds):38.8 41.19/38.98 o -544987 42.23/39.81 c Got one! Elapsed wall clock time (in seconds):39.631 42.23/39.81 o -544990 43.86/41.29 c Got one! Elapsed wall clock time (in seconds):41.11 43.86/41.29 o -545021 45.50/42.71 c Got one! Elapsed wall clock time (in seconds):42.53 45.50/42.71 o -545975 46.31/43.52 c Got one! Elapsed wall clock time (in seconds):43.34 46.31/43.52 o -545979 46.70/43.98 c Got one! Elapsed wall clock time (in seconds):43.804 46.70/43.98 o -545981 50.65/47.44 c Got one! Elapsed wall clock time (in seconds):47.269 50.65/47.44 o -546114 52.37/48.95 c Got one! Elapsed wall clock time (in seconds):48.778 52.37/48.95 o -547049 56.27/52.68 c Got one! Elapsed wall clock time (in seconds):52.502 56.27/52.68 o -547059 58.88/54.99 c Got one! Elapsed wall clock time (in seconds):54.817 58.88/54.99 o -548061 60.77/56.55 c Got one! Elapsed wall clock time (in seconds):56.375 60.77/56.55 o -549074 62.03/57.76 c cleaning 6730 clauses out of 13463 with flag 2063/13463 63.46/58.97 c Got one! Elapsed wall clock time (in seconds):58.798 63.46/58.97 o -549077 64.36/59.81 c Got one! Elapsed wall clock time (in seconds):59.639 64.36/59.81 o -550065 66.23/61.44 c Got one! Elapsed wall clock time (in seconds):61.265 66.23/61.44 o -550107 67.13/62.38 c Got one! Elapsed wall clock time (in seconds):62.203 67.13/62.38 o -550110 67.73/62.99 c Got one! Elapsed wall clock time (in seconds):62.816 67.73/62.99 o -551120 69.63/64.53 c Got one! Elapsed wall clock time (in seconds):64.355 69.63/64.53 o -551146 71.23/66.11 c Got one! Elapsed wall clock time (in seconds):65.932 71.23/66.11 o -552151 73.62/68.28 c Got one! Elapsed wall clock time (in seconds):68.105 73.62/68.28 o -552167 75.49/69.43 c Got one! Elapsed wall clock time (in seconds):69.256 75.49/69.43 o -553165 78.68/71.10 c Got one! Elapsed wall clock time (in seconds):70.923 78.68/71.10 o -553213 86.43/75.43 c Got one! Elapsed wall clock time (in seconds):75.251 86.43/75.43 o -553303 88.83/77.56 c Got one! Elapsed wall clock time (in seconds):77.387 88.83/77.56 o -554235 89.92/78.66 c Got one! Elapsed wall clock time (in seconds):78.486 89.92/78.66 o -554286 92.47/80.85 c Got one! Elapsed wall clock time (in seconds):80.673 92.47/80.85 o -555213 93.46/81.84 c Got one! Elapsed wall clock time (in seconds):81.66 93.46/81.84 o -555219 96.12/84.19 c Got one! Elapsed wall clock time (in seconds):84.01 96.12/84.19 o -555220 97.12/85.14 c Got one! Elapsed wall clock time (in seconds):84.969 97.12/85.14 o -555233 100.29/87.92 c Got one! Elapsed wall clock time (in seconds):87.747 100.29/87.92 o -555243 102.53/89.84 c Got one! Elapsed wall clock time (in seconds):89.664 102.53/89.84 o -556231 103.62/90.90 c Got one! Elapsed wall clock time (in seconds):90.728 103.62/90.90 o -556236 104.72/92.08 c Got one! Elapsed wall clock time (in seconds):91.908 104.72/92.08 o -556282 107.10/93.93 c cleaning 12532 clauses out of 25066 with flag 2092/31796 107.64/94.47 c Got one! Elapsed wall clock time (in seconds):94.295 107.64/94.47 o -556289 109.91/96.32 c Got one! Elapsed wall clock time (in seconds):96.148 109.91/96.32 o -556314 111.99/98.42 c Got one! Elapsed wall clock time (in seconds):98.242 111.99/98.42 o -557263 116.65/102.35 c Got one! Elapsed wall clock time (in seconds):102.172 116.65/102.35 o -557380 117.97/103.67 c Got one! Elapsed wall clock time (in seconds):103.49 117.97/103.67 o -558351 123.38/107.24 c Got one! Elapsed wall clock time (in seconds):107.065 123.38/107.24 o -559352 126.36/108.75 c Got one! Elapsed wall clock time (in seconds):108.572 126.36/108.76 o -559386 132.31/111.76 c Got one! Elapsed wall clock time (in seconds):111.588 132.31/111.76 o -559422 135.10/113.12 c Got one! Elapsed wall clock time (in seconds):112.944 135.10/113.12 o -560430 137.28/114.57 c cleaning 11719 clauses out of 23437 with flag 2257/42699 138.46/115.42 c Got one! Elapsed wall clock time (in seconds):115.246 138.46/115.42 o -560477 139.65/116.67 c Got one! Elapsed wall clock time (in seconds):116.499 139.65/116.67 o -561452 140.94/117.94 c Got one! Elapsed wall clock time (in seconds):117.763 140.94/117.94 o -562426 142.53/119.53 c Got one! Elapsed wall clock time (in seconds):119.354 142.53/119.53 o -562531 146.91/123.47 c Got one! Elapsed wall clock time (in seconds):123.299 146.91/123.47 o -563484 149.31/125.81 c Got one! Elapsed wall clock time (in seconds):125.634 149.31/125.81 o -563741 150.71/127.21 c Got one! Elapsed wall clock time (in seconds):127.031 150.71/127.21 o -564518 152.55/128.53 c Got one! Elapsed wall clock time (in seconds):128.359 152.55/128.53 o -564641 155.44/131.48 c Got one! Elapsed wall clock time (in seconds):131.308 155.44/131.48 o -564645 159.63/135.07 c Got one! Elapsed wall clock time (in seconds):134.894 159.63/135.07 o -565626 161.42/136.82 c Got one! Elapsed wall clock time (in seconds):136.641 161.42/136.82 o -565766 162.92/138.37 c Got one! Elapsed wall clock time (in seconds):138.194 162.92/138.37 o -566583 165.50/140.36 c cleaning 11435 clauses out of 22870 with flag 2225/53851 167.00/141.84 c Got one! Elapsed wall clock time (in seconds):141.665 167.00/141.84 o -566839 171.49/145.88 c Got one! Elapsed wall clock time (in seconds):145.707 171.49/145.88 o -567731 172.48/146.81 c Got one! Elapsed wall clock time (in seconds):146.638 172.48/146.81 o -568698 173.69/148.07 c Got one! Elapsed wall clock time (in seconds):147.893 173.69/148.07 o -569714 177.56/151.39 c Got one! Elapsed wall clock time (in seconds):151.213 177.56/151.39 o -569939 181.76/154.97 c Got one! Elapsed wall clock time (in seconds):154.79 181.76/154.97 o -570893 184.64/157.84 c Got one! Elapsed wall clock time (in seconds):157.666 184.64/157.84 o -570929 186.82/160.07 c cleaning 10404 clauses out of 20814 with flag 2703/63230 187.57/160.55 c Got one! Elapsed wall clock time (in seconds):160.374 187.57/160.55 o -571856 188.76/161.73 c Got one! Elapsed wall clock time (in seconds):161.553 188.76/161.73 o -571858 190.26/163.22 c Got one! Elapsed wall clock time (in seconds):163.048 190.26/163.22 o -571862 193.52/165.75 c Got one! Elapsed wall clock time (in seconds):165.572 193.52/165.75 o -571960 199.29/168.63 c Got one! Elapsed wall clock time (in seconds):168.455 199.29/168.63 o -571981 203.57/171.23 c Got one! Elapsed wall clock time (in seconds):171.057 203.57/171.23 o -572912 205.92/173.06 c Got one! Elapsed wall clock time (in seconds):172.885 205.92/173.06 o -573918 208.49/175.66 c Got one! Elapsed wall clock time (in seconds):175.482 208.49/175.66 o -573994 210.68/177.83 c cleaning 9242 clauses out of 18489 with flag 2602/71309 210.98/178.11 c Got one! Elapsed wall clock time (in seconds):177.936 210.98/178.11 o -575013 212.95/179.82 c Got one! Elapsed wall clock time (in seconds):179.647 212.95/179.82 o -575018 214.43/181.30 c Got one! Elapsed wall clock time (in seconds):181.123 214.43/181.30 o -575073 216.53/183.41 c Got one! Elapsed wall clock time (in seconds):183.232 216.53/183.41 o -576092 219.30/185.63 c Got one! Elapsed wall clock time (in seconds):185.452 219.30/185.63 o -576102 220.40/186.71 c Got one! Elapsed wall clock time (in seconds):186.533 220.40/186.71 o -577108 221.88/188.24 c Got one! Elapsed wall clock time (in seconds):188.068 221.88/188.24 o -577164 243.59/210.04 c Got one! Elapsed wall clock time (in seconds):209.867 243.59/210.04 o -578170 246.35/212.21 c Got one! Elapsed wall clock time (in seconds):212.035 246.35/212.21 o -578231 248.25/214.15 c Got one! Elapsed wall clock time (in seconds):213.972 248.25/214.15 o -579228 249.55/215.41 c Got one! Elapsed wall clock time (in seconds):215.233 249.55/215.41 o -579251 250.64/216.57 c Got one! Elapsed wall clock time (in seconds):216.389 250.64/216.57 o -579267 253.47/218.73 c Got one! Elapsed wall clock time (in seconds):218.559 253.47/218.73 o -579304 255.87/221.15 c Got one! Elapsed wall clock time (in seconds):220.974 255.87/221.15 o -580278 257.56/222.88 c Got one! Elapsed wall clock time (in seconds):222.702 257.56/222.88 o -580283 258.76/224.02 c Got one! Elapsed wall clock time (in seconds):223.843 258.76/224.02 o -580286 261.52/226.15 c Got one! Elapsed wall clock time (in seconds):225.971 261.52/226.15 o -581306 262.71/227.38 c Got one! Elapsed wall clock time (in seconds):227.203 262.71/227.38 o -581379 265.10/229.71 c Got one! Elapsed wall clock time (in seconds):229.538 265.10/229.71 o -582398 266.00/230.61 c Got one! Elapsed wall clock time (in seconds):230.433 266.00/230.61 o -583396 269.98/234.00 c Got one! Elapsed wall clock time (in seconds):233.821 269.98/234.00 o -583405 271.87/235.81 c Got one! Elapsed wall clock time (in seconds):235.634 271.87/235.81 o -583412 272.67/236.62 c Got one! Elapsed wall clock time (in seconds):236.445 272.67/236.62 o -583539 275.67/239.69 c Got one! Elapsed wall clock time (in seconds):239.51 275.67/239.69 o -584557 279.41/242.67 c Got one! Elapsed wall clock time (in seconds):242.494 279.41/242.67 o -585537 281.41/244.63 c Got one! Elapsed wall clock time (in seconds):244.454 281.41/244.63 o -585679 283.60/246.85 c Got one! Elapsed wall clock time (in seconds):246.673 283.60/246.85 o -586654 285.60/248.84 c Got one! Elapsed wall clock time (in seconds):248.66 285.60/248.84 o -586695 288.31/250.89 c Got one! Elapsed wall clock time (in seconds):250.712 288.31/250.89 o -587668 290.22/252.74 c Got one! Elapsed wall clock time (in seconds):252.561 290.22/252.74 o -587710 292.62/255.15 c Got one! Elapsed wall clock time (in seconds):254.977 292.62/255.15 o -588738 297.55/259.52 c Got one! Elapsed wall clock time (in seconds):259.344 297.55/259.52 o -589745 298.74/260.70 c Got one! Elapsed wall clock time (in seconds):260.529 298.74/260.70 o -590802 300.44/262.48 c Got one! Elapsed wall clock time (in seconds):262.301 300.44/262.48 o -590860 304.98/266.46 c Got one! Elapsed wall clock time (in seconds):266.281 304.98/266.46 o -591148 307.78/269.25 c Got one! Elapsed wall clock time (in seconds):269.077 307.78/269.25 o -591918 309.68/271.13 c Got one! Elapsed wall clock time (in seconds):270.955 309.68/271.13 o -591933 311.07/272.58 c Got one! Elapsed wall clock time (in seconds):272.404 311.07/272.58 o -592937 313.83/274.77 c cleaning 19483 clauses out of 38965 with flag 2585/101027 314.92/275.86 c Got one! Elapsed wall clock time (in seconds):275.685 314.92/275.86 o -593199 317.61/278.53 c Got one! Elapsed wall clock time (in seconds):278.351 317.61/278.53 o -594042 320.77/280.58 c Got one! Elapsed wall clock time (in seconds):280.406 320.77/280.58 o -595088 325.35/282.85 c Got one! Elapsed wall clock time (in seconds):282.678 325.35/282.85 o -595102 328.33/284.35 c Got one! Elapsed wall clock time (in seconds):284.175 328.33/284.36 o -595106 331.52/285.91 c Got one! Elapsed wall clock time (in seconds):285.728 331.52/285.91 o -595137 336.68/288.59 c Got one! Elapsed wall clock time (in seconds):288.416 336.68/288.59 o -595174 340.28/291.44 c Got one! Elapsed wall clock time (in seconds):291.269 340.28/291.44 o -595175 344.16/294.79 c cleaning 13851 clauses out of 27702 with flag 2648/109247 344.47/295.06 c Got one! Elapsed wall clock time (in seconds):294.886 344.47/295.06 o -596222 347.06/297.69 c Got one! Elapsed wall clock time (in seconds):297.518 347.06/297.69 o -596240 349.25/299.82 c Got one! Elapsed wall clock time (in seconds):299.64 349.25/299.82 o -597293 353.25/303.39 c Got one! Elapsed wall clock time (in seconds):303.216 353.25/303.39 o -598316 354.55/304.66 c Got one! Elapsed wall clock time (in seconds):304.481 354.55/304.66 o -599353 356.35/306.46 c Got one! Elapsed wall clock time (in seconds):306.282 356.35/306.46 o -599396 360.45/309.96 c Got one! Elapsed wall clock time (in seconds):309.779 360.45/309.96 o -599433 362.74/312.23 c Got one! Elapsed wall clock time (in seconds):312.058 362.74/312.23 o -599559 366.97/315.81 c Got one! Elapsed wall clock time (in seconds):315.637 366.97/315.81 o -600443 368.56/317.42 c cleaning 11808 clauses out of 23621 with flag 2200/119017 369.79/318.65 c Got one! Elapsed wall clock time (in seconds):318.478 369.79/318.65 o -600611 373.76/322.16 c Got one! Elapsed wall clock time (in seconds):321.988 373.76/322.16 o -601654 377.25/325.69 c Got one! Elapsed wall clock time (in seconds):325.517 377.25/325.69 o -602610 381.83/329.50 c Got one! Elapsed wall clock time (in seconds):329.321 381.83/329.50 o -602611 384.81/332.55 c Got one! Elapsed wall clock time (in seconds):332.378 384.81/332.55 o -602637 386.40/334.14 c cleaning 9609 clauses out of 19270 with flag 2201/126474 388.39/335.74 c Got one! Elapsed wall clock time (in seconds):335.567 388.39/335.74 o -603671 391.57/338.92 c Got one! Elapsed wall clock time (in seconds):338.749 391.57/338.92 o -603690 393.36/340.77 c Got one! Elapsed wall clock time (in seconds):340.598 393.36/340.77 o -604731 396.88/343.57 c Got one! Elapsed wall clock time (in seconds):343.39 396.88/343.57 o -604752 400.25/346.97 c Got one! Elapsed wall clock time (in seconds):346.791 400.25/346.97 o -605808 403.68/349.62 c cleaning 8028 clauses out of 16057 with flag 2814/132870 404.18/350.18 c Got one! Elapsed wall clock time (in seconds):350.01 404.18/350.18 o -605839 406.76/352.79 c Got one! Elapsed wall clock time (in seconds):352.619 406.76/352.79 o -605999 410.17/355.76 c Got one! Elapsed wall clock time (in seconds):355.588 410.17/355.76 o -606866 412.65/358.21 c Got one! Elapsed wall clock time (in seconds):358.031 412.65/358.21 o -606971 414.74/360.35 c Got one! Elapsed wall clock time (in seconds):360.173 414.74/360.35 o -608003 418.46/362.68 c cleaning 7045 clauses out of 14091 with flag 2258/138932 421.45/364.16 c Got one! Elapsed wall clock time (in seconds):363.984 421.45/364.17 o -608218 427.48/367.76 c Got one! Elapsed wall clock time (in seconds):367.582 427.48/367.76 o -609028 430.83/370.71 c Got one! Elapsed wall clock time (in seconds):370.533 430.83/370.71 o -609268 433.41/373.34 c Got one! Elapsed wall clock time (in seconds):373.168 433.41/373.34 o -610160 437.74/377.13 c Got one! Elapsed wall clock time (in seconds):376.956 437.74/377.13 o -610162 439.53/378.97 c cleaning 6953 clauses out of 13905 with flag 2436/145791 442.40/381.89 c Got one! Elapsed wall clock time (in seconds):381.714 442.40/381.89 o -610166 445.90/385.10 c Got one! Elapsed wall clock time (in seconds):384.921 445.90/385.10 o -610279 449.87/389.00 c Got one! Elapsed wall clock time (in seconds):388.826 449.87/389.00 o -611165 455.43/394.05 c Got one! Elapsed wall clock time (in seconds):393.878 455.43/394.05 o -611351 457.62/396.26 c cleaning 6931 clauses out of 13867 with flag 2722/152706 459.58/397.86 c Got one! Elapsed wall clock time (in seconds):397.681 459.58/397.86 o -612310 463.97/402.21 c Got one! Elapsed wall clock time (in seconds):402.039 463.97/402.21 o -612553 469.06/406.71 c Got one! Elapsed wall clock time (in seconds):406.539 469.06/406.71 o -613454 471.26/408.93 c Got one! Elapsed wall clock time (in seconds):408.759 471.26/408.93 o -613460 477.16/414.28 c cleaning 6983 clauses out of 13967 with flag 4924/159737 477.97/415.10 c Got one! Elapsed wall clock time (in seconds):414.923 477.97/415.10 o -614522 480.96/418.05 c Got one! Elapsed wall clock time (in seconds):417.879 480.96/418.05 o -615509 487.42/424.01 c Got one! Elapsed wall clock time (in seconds):423.83 487.42/424.01 o -615612 492.77/428.78 c Got one! Elapsed wall clock time (in seconds):428.609 492.77/428.78 o -615638 495.05/431.07 c cleaning 6746 clauses out of 13495 with flag 2430/166248 496.34/432.37 c Got one! Elapsed wall clock time (in seconds):432.195 496.34/432.37 o -616633 499.98/435.68 c Got one! Elapsed wall clock time (in seconds):435.508 499.98/435.68 o -617636 504.17/439.83 c Got one! Elapsed wall clock time (in seconds):439.657 504.17/439.83 o -617789 508.51/443.62 c Got one! Elapsed wall clock time (in seconds):443.449 508.51/443.62 o -618784 513.01/448.11 c cleaning 6932 clauses out of 13865 with flag 5592/173364 514.60/449.62 c Got one! Elapsed wall clock time (in seconds):449.448 514.60/449.62 o -618842 520.29/455.33 c Got one! Elapsed wall clock time (in seconds):455.155 520.29/455.33 o -618926 526.03/460.58 c Got one! Elapsed wall clock time (in seconds):460.409 526.03/460.58 o -618964 530.86/464.87 c Got one! Elapsed wall clock time (in seconds):464.692 530.86/464.87 o -619818 532.64/466.66 c cleaning 7192 clauses out of 14383 with flag 2682/180814 534.13/468.17 c Got one! Elapsed wall clock time (in seconds):467.991 534.13/468.17 o -620865 538.53/472.26 c Got one! Elapsed wall clock time (in seconds):472.081 538.53/472.26 o -620910 541.81/475.51 c Got one! Elapsed wall clock time (in seconds):475.335 541.81/475.51 o -621131 549.29/480.28 c Got one! Elapsed wall clock time (in seconds):480.102 549.29/480.29 o -622047 556.31/485.44 c cleaning 7227 clauses out of 14453 with flag 5821/188076 556.51/485.68 c Got one! Elapsed wall clock time (in seconds):485.502 556.51/485.68 o -622296 560.87/489.82 c Got one! Elapsed wall clock time (in seconds):489.644 560.87/489.82 o -623170 567.11/495.59 c Got one! Elapsed wall clock time (in seconds):495.417 567.11/495.59 o -623323 570.31/498.79 c Got one! Elapsed wall clock time (in seconds):498.615 570.31/498.79 o -624143 575.26/503.14 c Got one! Elapsed wall clock time (in seconds):502.961 575.26/503.14 o -624611 577.55/505.49 c cleaning 7322 clauses out of 14643 with flag 2489/195493 579.44/507.34 c Got one! Elapsed wall clock time (in seconds):507.166 579.44/507.34 o -625460 582.95/510.55 c Got one! Elapsed wall clock time (in seconds):510.375 582.95/510.55 o -626476 586.75/514.33 c Got one! Elapsed wall clock time (in seconds):514.156 586.75/514.33 o -627459 590.71/517.70 c Got one! Elapsed wall clock time (in seconds):517.529 590.71/517.70 o -627460 593.30/520.37 c Got one! Elapsed wall clock time (in seconds):520.19 593.30/520.37 o -627476 595.70/522.71 c cleaning 7148 clauses out of 14306 with flag 2345/202478 599.78/526.66 c Got one! Elapsed wall clock time (in seconds):526.483 599.78/526.66 o -627504 603.88/530.79 c Got one! Elapsed wall clock time (in seconds):530.614 603.88/530.79 o -627735 609.99/536.20 c Got one! Elapsed wall clock time (in seconds):536.021 609.99/536.20 o -628604 614.30/539.93 c Got one! Elapsed wall clock time (in seconds):539.757 614.30/539.93 o -628616 615.90/541.58 c cleaning 7256 clauses out of 14558 with flag 2244/209878 617.10/542.75 c Got one! Elapsed wall clock time (in seconds):542.574 617.10/542.75 o -629670 621.98/547.17 c Got one! Elapsed wall clock time (in seconds):546.992 621.98/547.17 o -629750 625.85/551.06 c Got one! Elapsed wall clock time (in seconds):550.884 625.85/551.06 o -630721 631.95/556.66 c Got one! Elapsed wall clock time (in seconds):556.485 631.95/556.66 o -630785 633.94/558.69 c cleaning 7017 clauses out of 14064 with flag 2797/216640 637.99/562.30 c Got one! Elapsed wall clock time (in seconds):562.124 637.99/562.30 o -631048 643.75/568.15 c Got one! Elapsed wall clock time (in seconds):567.975 643.75/568.15 o -631756 648.97/572.80 c Got one! Elapsed wall clock time (in seconds):572.622 648.97/572.81 o -631845 650.65/574.52 c cleaning 6725 clauses out of 13507 with flag 2271/223100 653.19/576.75 c Got one! Elapsed wall clock time (in seconds):576.579 653.19/576.75 o -631914 660.33/583.91 c Got one! Elapsed wall clock time (in seconds):583.739 660.33/583.91 o -631917 668.91/592.08 c Got one! Elapsed wall clock time (in seconds):591.908 668.91/592.08 o -632915 672.04/594.63 c cleaning 6933 clauses out of 13905 with flag 2815/230223 674.72/597.38 c Got one! Elapsed wall clock time (in seconds):597.204 674.72/597.38 o -633962 681.28/603.60 c Got one! Elapsed wall clock time (in seconds):603.42 681.38/603.60 o -634013 689.45/609.87 c cleaning 6205 clauses out of 12414 with flag 5921/235665 690.42/610.34 c Got one! Elapsed wall clock time (in seconds):610.161 690.42/610.34 o -635059 700.15/617.73 c Got one! Elapsed wall clock time (in seconds):617.553 700.15/617.73 o -635268 706.37/623.55 c Got one! Elapsed wall clock time (in seconds):623.379 706.37/623.55 o -636168 709.20/625.87 c cleaning 5920 clauses out of 11901 with flag 2253/241357 711.49/628.17 c Got one! Elapsed wall clock time (in seconds):627.993 711.49/628.17 o -636435 716.46/633.19 c Got one! Elapsed wall clock time (in seconds):633.018 716.46/633.19 o -637478 722.98/639.28 c Got one! Elapsed wall clock time (in seconds):639.106 722.98/639.28 o -638450 725.82/641.57 c cleaning 5949 clauses out of 11945 with flag 2290/247321 729.10/644.86 c Got one! Elapsed wall clock time (in seconds):644.69 729.10/644.87 o -638558 734.56/649.87 c Got one! Elapsed wall clock time (in seconds):649.692 734.56/649.87 o -639490 738.53/653.86 c Got one! Elapsed wall clock time (in seconds):653.688 738.53/653.86 o -639546 743.66/658.47 c Got one! Elapsed wall clock time (in seconds):658.298 743.66/658.47 o -639694 746.14/660.93 c cleaning 6738 clauses out of 13475 with flag 2305/254800 748.73/663.58 c Got one! Elapsed wall clock time (in seconds):663.408 748.73/663.58 o -640752 757.17/671.77 c Got one! Elapsed wall clock time (in seconds):671.598 757.17/671.77 o -641755 761.24/675.28 c Got one! Elapsed wall clock time (in seconds):675.107 761.24/675.28 o -641840 763.53/677.54 c cleaning 6221 clauses out of 12441 with flag 2530/260504 766.21/680.23 c Got one! Elapsed wall clock time (in seconds):680.057 766.21/680.23 o -642838 772.96/686.63 c Got one! Elapsed wall clock time (in seconds):686.46 772.96/686.64 o -642897 778.38/691.51 c Got one! Elapsed wall clock time (in seconds):691.331 778.38/691.51 o -643010 780.07/693.20 c cleaning 6242 clauses out of 12484 with flag 2281/266768 781.97/695.14 c Got one! Elapsed wall clock time (in seconds):694.964 781.97/695.14 o -643939 786.56/699.43 c Got one! Elapsed wall clock time (in seconds):699.254 786.56/699.43 o -643973 793.18/705.54 c Got one! Elapsed wall clock time (in seconds):705.369 793.18/705.54 o -644046 797.67/710.08 c cleaning 6475 clauses out of 12950 with flag 5830/273476 801.89/714.10 c Got one! Elapsed wall clock time (in seconds):713.926 801.89/714.10 o -645109 808.02/719.75 c Got one! Elapsed wall clock time (in seconds):719.576 808.02/719.75 o -645113 815.91/727.68 c Got one! Elapsed wall clock time (in seconds):727.507 815.91/727.68 o -646191 818.64/729.88 c cleaning 6794 clauses out of 13639 with flag 2276/280640 822.33/733.54 c Got one! Elapsed wall clock time (in seconds):733.364 822.33/733.54 o -647282 834.11/741.72 c Got one! Elapsed wall clock time (in seconds):741.546 834.11/741.72 o -647334 839.69/746.82 c cleaning 6512 clauses out of 13044 with flag 4813/286839 847.04/753.78 c Got one! Elapsed wall clock time (in seconds):753.606 847.04/753.78 o -647469 857.76/763.98 c Got one! Elapsed wall clock time (in seconds):763.802 857.76/763.98 o -648432 859.66/765.85 c cleaning 6279 clauses out of 12600 with flag 2861/292907 861.84/768.05 c Got one! Elapsed wall clock time (in seconds):767.879 861.84/768.05 o -649457 867.25/773.19 c Got one! Elapsed wall clock time (in seconds):773.014 867.25/773.19 o -649484 873.56/778.94 c Got one! Elapsed wall clock time (in seconds):778.769 873.56/778.94 o -649593 875.83/781.22 c cleaning 6116 clauses out of 12291 with flag 2311/298877 879.94/785.06 c Got one! Elapsed wall clock time (in seconds):784.886 879.94/785.06 o -650665 890.62/795.19 c Got one! Elapsed wall clock time (in seconds):795.01 890.62/795.19 o -650677 892.91/797.42 c cleaning 5993 clauses out of 11986 with flag 2319/304688 896.80/801.39 c Got one! Elapsed wall clock time (in seconds):801.22 896.80/801.39 o -650836 916.09/819.76 c cleaning 5751 clauses out of 11502 with flag 10525/310197 948.13/850.95 c cleaning 5874 clauses out of 11747 with flag 24696/316193 997.66/899.60 c cleaning 6435 clauses out of 12869 with flag 43637/323189 1028.37/924.46 c cleaning 7261 clauses out of 14521 with flag 59847/331276 1061.11/955.73 c cleaning 8090 clauses out of 16179 with flag 77686/340195 1091.95/985.19 c cleaning 9077 clauses out of 18156 with flag 97820/350262 1128.05/1019.63 c Got one! Elapsed wall clock time (in seconds):1019.459 1128.05/1019.63 o -650846 1148.68/1039.25 c cleaning 11283 clauses out of 22574 with flag 11926/363757 1173.22/1063.06 c cleaning 8639 clauses out of 17291 with flag 27620/369757 1194.58/1079.77 c cleaning 7820 clauses out of 15652 with flag 43484/376757 1214.78/1098.74 c cleaning 7919 clauses out of 15838 with flag 59848/384763 1241.70/1123.84 c cleaning 8456 clauses out of 16913 with flag 77841/393757 1269.79/1150.34 c cleaning 9237 clauses out of 18473 with flag 97873/403773 1303.31/1182.11 c cleaning 10114 clauses out of 20228 with flag 119859/414765 1371.91/1244.27 c cleaning 11067 clauses out of 22133 with flag 143901/426784 1418.81/1288.99 c cleaning 12030 clauses out of 24059 with flag 169888/439777 1466.54/1334.22 c cleaning 12999 clauses out of 26017 with flag 197868/453765 1554.44/1413.13 c cleaning 14010 clauses out of 28020 with flag 227882/468767 1608.85/1463.88 c cleaning 15022 clauses out of 30046 with flag 259960/484803 1676.52/1519.76 c cleaning 16006 clauses out of 32018 with flag 293953/501797 1774.31/1614.59 c cleaning 16969 clauses out of 33976 with flag 329883/519761 1872.76/1700.03 c cleaning 18004 clauses out of 36007 with flag 367887/538761 1981.69/1795.47 c cleaning 19012 clauses out of 38025 with flag 407931/558783 2094.48/1901.81 c cleaning 20025 clauses out of 40055 with flag 450016/579825 2217.38/2009.20 c cleaning 21000 clauses out of 42001 with flag 493958/601796 2348.86/2123.55 c cleaning 22044 clauses out of 44090 with flag 540142/624885 2499.93/2254.29 c cleaning 22982 clauses out of 45965 with flag 587981/648804 2665.86/2407.89 c cleaning 23981 clauses out of 47962 with flag 637939/673783 2844.27/2570.39 c cleaning 24978 clauses out of 49955 with flag 689893/699757 3030.11/2737.65 c cleaning 26009 clauses out of 52019 with flag 743985/726799 3256.58/2927.34 c cleaning 27004 clauses out of 54009 with flag 799994/754798 3438.96/3083.63 c cleaning 27973 clauses out of 55964 with flag 857921/783757 3600.04/3222.91 c starts : 2011 3600.04/3222.91 c conflicts : 809057 3600.04/3222.91 c decisions : 8268109 3600.04/3222.91 c propagations : 46423581 3600.04/3222.91 c inspects : 602311668 3600.04/3222.91 c shortcuts : 0 3600.04/3222.91 c learnt literals : 0 3600.04/3222.91 c learnt binary clauses : 0 3600.04/3222.91 c learnt ternary clauses : 0 3600.04/3222.91 c learnt constraints : 809057 3600.04/3222.91 c ignored constraints : 0 3600.04/3222.91 c root simplifications : 0 3600.04/3222.91 c removed literals (reason simplification) : 0 3600.04/3222.91 c reason swapping (by a shorter reason) : 0 3600.04/3222.91 c Calls to reduceDB : 68 3600.04/3222.91 c Number of update (reduction) of LBD : 24549 3600.04/3222.91 c Imported unit clauses : 0 3600.04/3222.91 c No decision after first conflict : false 3600.04/3222.91 c number of reductions to clauses (during analyze) : 0 3600.04/3222.91 c number of learned constraints concerned by reduction : 0 3600.04/3222.91 c number of learning phase by resolution : 0 3600.04/3222.91 c number of learning phase by cutting planes : 0 3600.04/3222.91 c number of rounding to 1 operations : 0 3600.04/3222.91 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3222.91 c number of reductions of the coefficients by power 2 : 0 3600.04/3222.91 c number of right shift for reduction by power 2 : 0 3600.04/3222.91 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3222.91 c number of ending skipping : 0 3600.04/3222.91 c number of internal skipping : 0 3600.04/3222.91 c number of derivation steps : 0 3600.04/3222.91 c number of skipped derivation steps : 0 3600.04/3222.91 c number of remaining unassigned : 0 3600.04/3222.91 c number of remaining assigned : 0 3600.04/3222.91 c number of falsified literals weakened from reason : 0 3600.26/3222.91 c number of falsified literals weakened from conflict : 0 3600.26/3222.91 c time for arithmetic operations : 0 3600.26/3222.91 c minimum degree of deleted constraints : null 3600.26/3222.91 c maximum degree of deleted constraints : null 3600.26/3222.91 c number of deleted constraints : 0 3600.26/3222.93 c speed (assignments/second) : 14405.572493146095 3600.26/3222.93 c non guided choices : 376 3600.45/3223.02 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 53291 3600.45/3223.02 s SATISFIABLE 3600.45/3223.02 c Found 280 solution(s) 3600.45/3223.02 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 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 x9748 -x9749 -x9750 x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 3600.45/3223.05 c objective function=-650846 3600.45/3223.05 c Total wall clock time (in seconds): 3222.877
OK -650846
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: 63968 MiB (59370 MiB free)
memory of node 1: 64473 MiB (60878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457557-1721865114/watcher-4457557-1721865114 -o /tmp/evaluation-result-4457557-1721865114/solver-4457557-1721865114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266853 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457557-1721865114.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=266915, runsolver pid=266908
Current StackSize limit: 8192 KiB
[startup+0.100286 s]*
/proc/loadavg: 0.13 0.10 0.09 15/327 266984
/proc/meminfo: memFree=122995324/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=18975048 memory=57284 CPUtime=0.05 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 6311 0 18 0 3 2 0 0 20 0 18 0 23035414 19430449152 14321 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4743762 14321 5595 1 0 548659 0
[pid=266915/tid=266918] ppid=266908 vsize=18975048 memory=4026561586 CPUtime=0.03 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 5276 0 17 0 2 1 0 0 20 0 18 0 23035414 19430449152 14321 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035422 19430449152 14321 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035423 19430449152 14321 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57284 KiB
[startup+0.213271 s]*
/proc/loadavg: 0.13 0.10 0.09 15/329 266986
/proc/meminfo: memFree=122943280/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=18975048 memory=72240 CPUtime=0.24 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 7380 0 18 0 22 2 0 0 20 0 18 0 23035414 19430449152 18060 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4743762 18060 5773 1 0 549481 0
[pid=266915/tid=266918] ppid=266908 vsize=18975048 memory=664970851429515395 CPUtime=0.14 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 5825 0 17 0 12 2 0 0 20 0 18 0 23035414 19430449152 18060 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=18975048 memory=1574935 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035422 19430449152 18060 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=18975048 memory=14127849065940646 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035423 19430449152 18060 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72240 KiB
[startup+0.316271 s]*
/proc/loadavg: 0.13 0.10 0.09 13/310 266994
/proc/meminfo: memFree=122951968/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19041612 memory=90048 CPUtime=0.44 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 9219 0 18 0 41 3 0 0 20 0 19 0 23035414 19498610688 22512 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4760403 22512 5825 1 0 551023 0
[pid=266915/tid=266918] ppid=266908 vsize=19041612 memory=8377424916951425120 CPUtime=0.24 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 5977 0 17 0 22 2 0 0 20 0 19 0 23035414 19498610688 22512 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19041612 memory=-6876588628787748224 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 22512 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19041612 memory=1469648420131013209 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 22512 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19041612 memory=1469648420131013209 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 22512 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90048 KiB
[startup+0.700285 s]
/proc/loadavg: 0.13 0.10 0.09 10/310 267004
/proc/meminfo: memFree=122931000/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19041612 memory=102548 CPUtime=1.19 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 9956 0 18 0 115 4 0 0 20 0 19 0 23035414 19498610688 25637 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4760403 25637 5825 1 0 551451 0
[pid=266915/tid=266918] ppid=266908 vsize=19041612 memory=16104 CPUtime=0.59 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 6021 0 17 0 57 2 0 0 20 0 19 0 23035414 19498610688 25637 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19041612 memory=12992 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 25637 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19041612 memory=1780 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 25637 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19041612 memory=25672 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 25637 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102548 KiB
[startup+1.50024 s]
/proc/loadavg: 0.13 0.10 0.09 11/331 267054
/proc/meminfo: memFree=122741804/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19041612 memory=129192 CPUtime=2.41 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 14280 0 18 0 237 4 0 0 20 0 19 0 23035414 19498610688 32298 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4760403 32298 5857 1 0 552306 0
[pid=266915/tid=266918] ppid=266908 vsize=19041612 memory=12992 CPUtime=1.39 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 6552 0 17 0 136 3 0 0 20 0 19 0 23035414 19498610688 32298 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 32298 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 32298 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 32298 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129192 KiB
[startup+3.105 s]
/proc/loadavg: 0.52 0.18 0.12 6/334 267059
/proc/meminfo: memFree=121849816/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19041612 memory=168456 CPUtime=4.49 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 15659 0 18 0 444 5 0 0 20 0 19 0 23035414 19498610688 42114 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4760403 42114 5857 1 0 552326 0
[pid=266915/tid=266918] ppid=266908 vsize=19041612 memory=0 CPUtime=2.98 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 6857 0 17 0 295 3 0 0 20 0 19 0 23035414 19498610688 42114 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035422 19498610688 42114 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19041612 memory=12992 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035423 19498610688 42114 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19041612 memory=33 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035444 19498610688 42114 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168456 KiB
[startup+6.30023 s]
/proc/loadavg: 0.52 0.18 0.12 6/335 267060
/proc/meminfo: memFree=120758348/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=183524 CPUtime=7.83 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 16673 0 18 0 777 6 0 0 20 0 20 0 23035414 19566772224 45881 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 45881 5873 1 0 552616 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=0 CPUtime=6.14 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 6867 0 17 0 611 3 0 0 20 0 20 0 23035414 19566772224 45881 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=12992 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 45881 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 45881 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 45881 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183524 KiB
[startup+12.7002 s]
/proc/loadavg: 1.06 0.30 0.16 7/335 267061
/proc/meminfo: memFree=118774680/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=212428 CPUtime=14.25 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 16996 0 18 0 1418 7 0 0 20 0 20 0 23035414 19566772224 53107 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 53107 5873 1 0 552616 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=12.49 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 6998 0 17 0 1246 3 0 0 20 0 20 0 23035414 19566772224 53107 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=212224 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 53107 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 53107 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=212224 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 53107 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 212428 KiB
[startup+25.5003 s]
/proc/loadavg: 1.59 0.44 0.21 7/335 267064
/proc/meminfo: memFree=114860028/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=212504 CPUtime=27.03 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 18993 0 18 0 2696 7 0 0 20 0 20 0 23035414 19566772224 53126 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 53126 5873 1 0 552616 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=25.26 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 8598 0 17 0 2523 3 0 0 20 0 20 0 23035414 19566772224 53126 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 53126 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=135360 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 53126 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 53126 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 27.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 212504 KiB
[startup+51.1053 s]
/proc/loadavg: 2.72 0.79 0.33 7/335 267068
/proc/meminfo: memFree=106839040/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=2942828 CPUtime=54.78 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 29914 0 18 0 5413 65 0 0 20 0 20 0 23035414 19566772224 735707 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 735707 5873 1 0 1948828 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=2415548 CPUtime=48.68 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 10673 0 17 0 4853 15 0 0 20 0 20 0 23035414 19566772224 735707 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
################
# More data... #
################
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072515 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=12992 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 999 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072515 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072515 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3246.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290060 KiB
[startup+2982.3 s]
/proc/loadavg: 4.76 4.75 4.68 6/333 268867
/proc/meminfo: memFree=63166616/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290232 CPUtime=3327.35 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 528165 0 18 0 332197 538 0 0 20 0 20 0 23035414 19566772224 4072558 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072558 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=16290060 CPUtime=2802.73 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 72685 0 17 0 280175 98 0 0 20 0 20 0 23035414 19566772224 4072558 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072558 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=16290060 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1001 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072558 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=16290232 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072558 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3327.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.73 4.68 5/332 268879
/proc/meminfo: memFree=63165980/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290312 CPUtime=3396.68 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 530097 0 18 0 339126 542 0 0 20 0 20 0 23035414 19566772224 4072578 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072578 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=16290312 CPUtime=2860.25 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 73054 0 17 0 285927 98 0 0 20 0 20 0 23035414 19566772224 4072578 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=1780 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072578 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072578 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=16290312 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072578 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3396.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.63 4.65 6/332 268889
/proc/meminfo: memFree=63165664/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290356 CPUtime=3458.8 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 531683 0 18 0 345336 544 0 0 20 0 20 0 23035414 19566772224 4072589 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072589 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=16290060 CPUtime=2917.41 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 73921 0 17 0 291643 98 0 0 20 0 20 0 23035414 19566772224 4072589 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=16290312 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072589 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=5452 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072589 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=12992 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072589 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3458.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.61 4.67 4.66 5/332 268901
/proc/meminfo: memFree=62893912/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290400 CPUtime=3532.21 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 533811 0 18 0 352675 546 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072600 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=16290060 CPUtime=2963.37 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 74041 0 17 0 296239 98 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=16290312 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=11624 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3532.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.84 4.72 4.68 6/331 268912
/proc/meminfo: memFree=62784012/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290400 CPUtime=3599.04 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 556014 0 18 0 359353 551 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072600 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=16290060 CPUtime=3021.16 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 76030 0 17 0 302017 99 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=16290312 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=16290400 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=16290400 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3599.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3222.8 s]
/proc/loadavg: 4.84 4.72 4.68 6/331 268912
/proc/meminfo: memFree=62784012/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19108176 memory=16290400 CPUtime=3600.04 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 556118 0 18 0 359453 551 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4777044 4072600 5949 1 0 4084349 0
[pid=266915/tid=266918] ppid=266908 vsize=19108176 memory=-8601137955812909756 CPUtime=3021.65 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 76030 0 17 0 302066 99 0 0 20 0 20 0 23035414 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19108176 memory=11344 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035422 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19108176 memory=11484 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 20 0 23035423 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266990] ppid=266908 vsize=19108176 memory=11560 CPUtime=0 cores=5,7
/proc/266915/task/266990/stat : 266990 (Timer-0) S 266908 266915 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035444 19566772224 4072600 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16290400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3223.14 s]
# the end of solver process 266915 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.1 s, system=5.56569 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3223 s]*
/proc/loadavg: 4.85 4.72 4.68 7/332 268916
/proc/meminfo: memFree=62784012/131524600 swapFree=131056796/131071996
[pid=266915] ppid=266908 vsize=19307868 memory=16291092 CPUtime=3600.45 cores=5,7
/proc/266915/stat : 266915 (java) S 266908 266915 266840 0 -1 1077936128 558640 0 18 0 359494 551 0 0 20 0 21 0 23035414 19771256832 4072773 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
/proc/266915/statm: 4826967 4072773 5948 1 0 4085254 0
[pid=266915/tid=266918] ppid=266908 vsize=19307868 memory=-8887963147514389180 CPUtime=3021.85 cores=5,7
/proc/266915/task/266918/stat : 266918 (java) R 266908 266915 266840 0 -1 4194368 76138 0 17 0 302086 99 0 0 20 0 21 0 23035414 19771256832 4072773 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 22 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266951] ppid=266908 vsize=19307868 memory=2660 CPUtime=0 cores=5,7
/proc/266915/task/266951/stat : 266951 (Finalizer) S 266908 266915 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 23035422 19771256832 4072773 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=266979] ppid=266908 vsize=19307868 memory=4932 CPUtime=0 cores=5,7
/proc/266915/task/266979/stat : 266979 (Common-Cleaner) S 266908 266915 266840 0 -1 1077936192 1002 0 0 0 0 0 0 0 20 0 21 0 23035423 19771256832 4072773 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
[pid=266915/tid=268915] ppid=266908 vsize=19307868 memory=14758052 CPUtime=0.05 cores=5,7
/proc/266915/task/268915/stat : 268915 (Thread-0) R 266908 266915 266840 0 -1 4194368 562 0 0 0 5 0 0 0 20 0 21 0 23357700 19771256832 4072773 134679101440 94059373875200 94059373878896 140730584571504 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059373886712 94059373887504 94059379298304 140730584572935 140730584573025 140730584573025 140730584580040 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16291092 KiB
[startup+3223.11 s]*
/proc/loadavg: 4.85 4.72 4.68 6/313 268916
/proc/meminfo: memFree=67126820/131524600 swapFree=131056796/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3223.14
CPU time (s): 3600.67
CPU user time (s): 3595.1
CPU system time (s): 5.56569
CPU usage (%): 111.713
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16291092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.1
system time used= 5.56569
maximum resident set size= 16296728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561057
page faults= 18
swaps= 0
block input operations= 2904
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110807
involuntary context switches= 29828
# summary of solver processes directly reported to runsolver:
# pid: 266915
# total CPU time (s): 3600.67
# total CPU user time (s): 3595.1
# total CPU system time (s): 5.56569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68973 second user time and 11.7476 second system time
The end
Begin job on nodeC030 at 2024-07-25 01:51:55 IDJOB=4457557 IDBENCH=176418 IDSOLVER=3058 FILE ID=nodeC030/4457557-1721865114 RUNJOBID= nodeC030-1721865114-266853 SLURM_JOB_ID= 8089185 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457557-1721865114/watcher-4457557-1721865114 -o /tmp/evaluation-result-4457557-1721865114/solver-4457557-1721865114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266853 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457557-1721865114.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c RANDOM SEED=824514501 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.037 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3607.219 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 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 : 3628.167 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3579.786 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 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 : 3624.995 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3543.636 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 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 : 3627.954 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3598.048 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123153268 kB MemAvailable: 129683336 kB Buffers: 267956 kB Cached: 7049784 kB SwapCached: 300 kB Active: 2556796 kB Inactive: 5124888 kB Active(anon): 2096 kB Inactive(anon): 415220 kB Active(file): 2554700 kB Inactive(file): 4709668 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056796 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 361044 kB Mapped: 109236 kB Shmem: 53048 kB KReclaimable: 211048 kB Slab: 332584 kB SReclaimable: 211048 kB SUnreclaim: 121536 kB KernelStack: 3916 kB PageTables: 10144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 588764 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18176 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 344788 kB DirectMap2M: 39274496 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890076 MiB End job on nodeC030 at 2024-07-25 02:45:38