Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 76725 | 1800.5 | 1778.36 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-air04.opb |
| MD5SUM | be0d50f47077f17e0f3c28ea78925374 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 71079 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| 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 | 8904 |
| Total number of constraints | 823 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 823 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 368 |
| Number of terms in the objective function | 8904 |
| Biggest coefficient in the objective function | 2258 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 5135151 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 2258 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 5135151 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.02/0.08 c version 2.3.2.v20120418 0.02/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.08 c java.vm.version 19.1-b02 0.02/0.08 c java.vm.vendor Sun Microsystems Inc. 0.02/0.08 c sun.arch.data.model 64 0.02/0.08 c java.version 1.6.0_24 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.08 c os.arch amd64 0.02/0.08 c Free memory 501472288 0.02/0.08 c Max memory 7480803328 0.02/0.08 c Total memory 504102912 0.02/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710282-1338206934.opb 0.09/0.12 c reading problem ... 0.71/0.43 c ... done. Wall clock time 0.306s. 0.71/0.43 c declared #vars 8904 0.71/0.43 c #constraints 1646 0.71/0.43 c constraints type 0.71/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 821 0.71/0.43 c org.sat4j.minisat.constraints.card.MinWatchCard => 821 0.71/0.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 0.71/0.43 c 1646 constraints processed. 1.98/1.21 c cleaning 2446 clauses out of 4916 with flag 5000/5000 2.78/1.96 c cleaning 4184 clauses out of 8375 with flag 11000/11000 3.80/2.90 c cleaning 5496 clauses out of 11018 with flag 18001/18001 4.91/4.07 c cleaning 6677 clauses out of 13372 with flag 26000/26000 6.26/5.35 c cleaning 7736 clauses out of 15495 with flag 35000/35000 7.77/6.84 c cleaning 8647 clauses out of 17400 with flag 45000/45000 9.38/8.48 c cleaning 9790 clauses out of 19604 with flag 56004/56004 11.31/10.31 c cleaning 10683 clauses out of 21457 with flag 68000/68000 13.41/12.44 c cleaning 11778 clauses out of 23613 with flag 81000/81000 15.72/14.77 c cleaning 12845 clauses out of 25730 with flag 95003/95003 18.33/17.34 c cleaning 13824 clauses out of 27791 with flag 110000/110000 20.94/19.98 c cleaning 14879 clauses out of 29857 with flag 126000/126000 23.97/22.99 c cleaning 15848 clauses out of 31890 with flag 143002/143002 27.30/26.29 c cleaning 16874 clauses out of 33993 with flag 161000/161000 30.83/29.74 c cleaning 17960 clauses out of 36030 with flag 180002/180002 34.63/33.58 c cleaning 18824 clauses out of 37856 with flag 200001/200001 38.86/37.79 c cleaning 19963 clauses out of 39939 with flag 221000/221000 43.09/41.96 c cleaning 20681 clauses out of 41612 with flag 243000/243000 47.30/46.20 c cleaning 21812 clauses out of 43881 with flag 266000/266000 52.14/50.97 c cleaning 22993 clauses out of 46047 with flag 290000/290000 58.16/56.98 c cleaning 23894 clauses out of 47893 with flag 315000/315000 65.19/63.97 c cleaning 24818 clauses out of 49949 with flag 341002/341002 71.06/69.70 c cleaning 25951 clauses out of 52070 with flag 368000/368000 77.86/76.58 c cleaning 26859 clauses out of 54115 with flag 396002/396002 85.09/83.77 c cleaning 27998 clauses out of 56248 with flag 425001/425001 91.71/90.34 c cleaning 28959 clauses out of 58161 with flag 455001/455001 99.02/97.65 c cleaning 29950 clauses out of 60168 with flag 486000/486000 106.75/105.38 c cleaning 31080 clauses out of 62206 with flag 518000/518000 115.16/113.73 c cleaning 32012 clauses out of 64080 with flag 551000/551000 127.69/126.25 c cleaning 32478 clauses out of 66020 with flag 585002/585002 138.03/136.54 c cleaning 34201 clauses out of 68494 with flag 620000/620000 147.95/146.47 c cleaning 34902 clauses out of 70199 with flag 656000/656000 159.62/158.03 c cleaning 35981 clauses out of 72265 with flag 693000/693000 170.06/168.45 c cleaning 37000 clauses out of 74171 with flag 731001/731001 182.00/180.35 c cleaning 37940 clauses out of 76120 with flag 770000/770000 193.94/192.25 c cleaning 39036 clauses out of 78156 with flag 810000/810000 204.88/203.12 c cleaning 39838 clauses out of 80085 with flag 851000/851000 216.51/214.74 c cleaning 41044 clauses out of 82240 with flag 893000/893000 232.15/230.36 c cleaning 41930 clauses out of 83959 with flag 936000/936000 244.40/242.59 c cleaning 42779 clauses out of 85860 with flag 980001/980001 258.65/256.76 c cleaning 43691 clauses out of 87856 with flag 1025000/1025000 273.90/271.99 c cleaning 45001 clauses out of 90115 with flag 1071000/1071000 299.58/297.51 c cleaning 45785 clauses out of 92061 with flag 1118000/1118000 315.63/313.41 c cleaning 47047 clauses out of 94206 with flag 1166000/1166000 329.35/327.17 c cleaning 47876 clauses out of 96026 with flag 1215001/1215001 348.29/346.04 c cleaning 48933 clauses out of 98106 with flag 1265000/1265000 365.15/362.81 c cleaning 49960 clauses out of 100173 with flag 1316000/1316000 383.63/381.29 c cleaning 50689 clauses out of 102213 with flag 1368000/1368000 403.70/401.22 c cleaning 51923 clauses out of 104401 with flag 1421000/1421000 430.51/427.84 c cleaning 53232 clauses out of 106464 with flag 1475000/1475000 468.75/466.00 c cleaning 54066 clauses out of 108225 with flag 1530000/1530000 524.35/521.16 c cleaning 54986 clauses out of 110151 with flag 1586000/1586000 546.08/542.84 c cleaning 55896 clauses out of 112119 with flag 1643000/1643000 567.04/563.75 c cleaning 56853 clauses out of 114219 with flag 1701000/1701000 589.53/586.17 c cleaning 58032 clauses out of 116300 with flag 1760000/1760000 612.39/608.90 c cleaning 59019 clauses out of 118220 with flag 1820000/1820000 636.84/633.34 c cleaning 60072 clauses out of 120164 with flag 1881000/1881000 666.22/662.32 c cleaning 60771 clauses out of 122038 with flag 1943000/1943000 690.56/686.26 c cleaning 61804 clauses out of 124219 with flag 2006000/2006000 733.06/728.19 c cleaning 63154 clauses out of 126415 with flag 2070000/2070000 757.47/752.24 c cleaning 64007 clauses out of 128230 with flag 2135000/2135000 786.27/780.63 c cleaning 64823 clauses out of 130211 with flag 2201000/2201000 820.63/814.46 c cleaning 66022 clauses out of 132388 with flag 2268000/2268000 854.95/848.23 c cleaning 66882 clauses out of 134342 with flag 2336000/2336000 887.67/880.47 c cleaning 68019 clauses out of 136407 with flag 2405000/2405000 922.66/914.99 c cleaning 69097 clauses out of 138305 with flag 2475000/2475000 959.05/950.97 c SATISFIABLE 959.05/950.97 c OPTIMIZING... 959.05/950.97 c Got one! Elapsed wall clock time (in seconds):950.845 959.05/950.97 o 78168 961.65/953.43 c cleaning 55766 clauses out of 112135 with flag 5000/2517927 963.28/955.00 c cleaning 30755 clauses out of 62275 with flag 11000/2523927 966.25/957.95 c cleaning 18741 clauses out of 38520 with flag 18000/2530927 967.67/959.32 c cleaning 13632 clauses out of 27731 with flag 26003/2538930 969.09/960.73 c cleaning 11375 clauses out of 23083 with flag 35001/2547928 972.54/964.18 c cleaning 10764 clauses out of 21706 with flag 45001/2557928 974.28/965.83 c cleaning 10911 clauses out of 21936 with flag 56000/2568927 976.61/968.18 c cleaning 11509 clauses out of 23025 with flag 68000/2580927 978.76/970.26 c cleaning 12233 clauses out of 24492 with flag 81002/2593929 981.17/972.62 c cleaning 13095 clauses out of 26259 with flag 95006/2607933 983.82/975.29 c cleaning 14043 clauses out of 28097 with flag 110000/2622927 987.40/978.72 c cleaning 14968 clauses out of 30033 with flag 126000/2638927 990.44/981.72 c cleaning 15995 clauses out of 32042 with flag 143000/2655927 993.92/985.11 c cleaning 16852 clauses out of 33987 with flag 161004/2673931 998.39/989.59 c cleaning 17887 clauses out of 36119 with flag 180000/2692927 1002.57/993.60 c cleaning 19062 clauses out of 38215 with flag 200000/2712927 1006.73/997.72 c cleaning 19894 clauses out of 40112 with flag 221001/2733928 1011.18/1002.16 c cleaning 21082 clauses out of 42207 with flag 243001/2755928 1015.34/1006.21 c cleaning 19887 clauses out of 39802 with flag 266003/2778930 1021.88/1012.62 c cleaning 21940 clauses out of 43879 with flag 290000/2802927 1028.02/1018.62 c cleaning 23279 clauses out of 46924 with flag 315000/2827927 1037.30/1027.87 c cleaning 24234 clauses out of 49645 with flag 341000/2853927 1043.51/1033.91 c cleaning 26078 clauses out of 52411 with flag 368000/2880927 1054.64/1044.89 c cleaning 26982 clauses out of 54334 with flag 396001/2908928 1065.39/1055.41 c cleaning 27977 clauses out of 56351 with flag 425000/2937927 1073.53/1063.48 c Got one! Elapsed wall clock time (in seconds):1063.355 1073.53/1063.48 o 77449 1074.95/1064.80 c cleaning 25871 clauses out of 51824 with flag 5000/2961399 1076.18/1065.94 c cleaning 15676 clauses out of 31849 with flag 11001/2967400 1077.70/1067.49 c cleaning 11220 clauses out of 23173 with flag 18001/2974400 1079.73/1069.44 c cleaning 9503 clauses out of 19953 with flag 26001/2982400 1081.59/1071.20 c cleaning 9341 clauses out of 19449 with flag 35000/2991399 1083.22/1072.81 c cleaning 9745 clauses out of 20108 with flag 45000/3001399 1085.19/1074.71 c cleaning 10629 clauses out of 21327 with flag 56000/3012399 1087.19/1076.71 c cleaning 11266 clauses out of 22698 with flag 68000/3024399 1089.11/1078.66 c cleaning 12123 clauses out of 24410 with flag 81000/3037399 1092.85/1082.33 c cleaning 12981 clauses out of 26289 with flag 95002/3051401 1097.44/1086.83 c cleaning 14000 clauses out of 28307 with flag 110001/3066400 1103.28/1092.58 c cleaning 14914 clauses out of 30306 with flag 126000/3082399 1110.33/1099.45 c cleaning 15987 clauses out of 32392 with flag 143000/3099399 1118.12/1107.19 c cleaning 17117 clauses out of 34405 with flag 161000/3117399 1125.13/1114.04 c cleaning 18105 clauses out of 36289 with flag 180001/3136400 1129.08/1117.91 c cleaning 19069 clauses out of 38164 with flag 200003/3156402 1132.82/1121.61 c cleaning 19940 clauses out of 40057 with flag 221000/3177399 1137.27/1126.06 c cleaning 20969 clauses out of 42110 with flag 243000/3199399 1142.04/1130.73 c cleaning 21983 clauses out of 44106 with flag 266000/3222399 1147.91/1136.55 c cleaning 23013 clauses out of 46116 with flag 290000/3246399 1152.88/1141.47 c cleaning 22894 clauses out of 46025 with flag 315004/3271403 1158.48/1146.93 c cleaning 24484 clauses out of 49081 with flag 341001/3297400 1168.12/1156.43 c cleaning 25634 clauses out of 51588 with flag 368001/3324400 1175.89/1164.04 c cleaning 26908 clauses out of 53915 with flag 396000/3352399 1183.44/1171.46 c cleaning 27877 clauses out of 55950 with flag 425000/3381399 1198.04/1185.83 c cleaning 28959 clauses out of 58074 with flag 455001/3411400 1206.87/1194.57 c cleaning 30009 clauses out of 60114 with flag 486000/3442399 1215.48/1203.00 c cleaning 30966 clauses out of 62092 with flag 518000/3474399 1222.78/1210.28 c cleaning 31976 clauses out of 64111 with flag 551002/3507401 1234.55/1221.88 c cleaning 32980 clauses out of 66079 with flag 585000/3541399 1244.12/1231.27 c cleaning 33923 clauses out of 68099 with flag 620000/3576399 1253.49/1240.43 c cleaning 34997 clauses out of 70172 with flag 656000/3612399 1267.93/1254.68 c cleaning 35805 clauses out of 72175 with flag 693000/3649399 1287.72/1274.17 c cleaning 36935 clauses out of 74370 with flag 731000/3687399 1304.71/1290.84 c cleaning 37982 clauses out of 76435 with flag 770000/3726399 1317.07/1303.08 c cleaning 39095 clauses out of 78417 with flag 810003/3766402 1328.67/1314.47 c cleaning 39979 clauses out of 80279 with flag 851001/3807400 1345.04/1330.50 c cleaning 40923 clauses out of 82299 with flag 893000/3849399 1362.89/1348.15 c cleaning 41729 clauses out of 84371 with flag 936001/3892400 1379.19/1364.17 c cleaning 43219 clauses out of 86641 with flag 980000/3936399 1394.79/1379.52 c cleaning 43987 clauses out of 88416 with flag 1025000/3981399 1408.06/1392.66 c Got one! Elapsed wall clock time (in seconds):1392.538 1408.06/1392.66 o 76725 1409.57/1394.14 c cleaning 41791 clauses out of 83765 with flag 5000/4020735 1411.00/1395.53 c cleaning 23649 clauses out of 47974 with flag 11000/4026735 1412.82/1397.37 c cleaning 15359 clauses out of 31300 with flag 18000/4033735 1414.14/1398.66 c cleaning 11798 clauses out of 23933 with flag 26000/4041735 1415.36/1399.89 c cleaning 10476 clauses out of 21108 with flag 35000/4050735 1417.00/1401.45 c cleaning 10062 clauses out of 20626 with flag 45000/4060735 1418.80/1403.20 c cleaning 10695 clauses out of 21547 with flag 56000/4071735 1421.45/1405.89 c cleaning 11286 clauses out of 22854 with flag 68002/4083737 1423.78/1408.10 c cleaning 12265 clauses out of 24567 with flag 81001/4096736 1425.82/1410.19 c cleaning 13014 clauses out of 26298 with flag 95000/4110735 1429.20/1413.46 c cleaning 14121 clauses out of 28273 with flag 110000/4125735 1431.94/1416.11 c cleaning 15017 clauses out of 30133 with flag 126001/4141736 1435.41/1419.54 c cleaning 16029 clauses out of 32115 with flag 143000/4158735 1441.14/1425.19 c cleaning 16934 clauses out of 34086 with flag 161000/4176735 1444.49/1428.45 c cleaning 17959 clauses out of 36114 with flag 180000/4195735 1452.53/1436.38 c cleaning 18739 clauses out of 38129 with flag 200002/4215737 1457.90/1441.69 c cleaning 20075 clauses out of 40388 with flag 221000/4236735 1462.99/1446.68 c cleaning 21004 clauses out of 42314 with flag 243001/4258736 1468.97/1452.57 c cleaning 22098 clauses out of 44295 with flag 266000/4281735 1475.46/1458.97 c cleaning 23029 clauses out of 46191 with flag 290000/4305735 1482.07/1465.40 c cleaning 23891 clauses out of 48157 with flag 315000/4330735 1488.04/1471.38 c cleaning 25120 clauses out of 50251 with flag 341002/4356737 1495.36/1478.55 c cleaning 25885 clauses out of 52129 with flag 368000/4383735 1507.27/1490.28 c cleaning 26934 clauses out of 54244 with flag 396000/4411735 1518.47/1501.20 c cleaning 27828 clauses out of 56310 with flag 425000/4440735 1526.13/1508.79 c cleaning 29074 clauses out of 58458 with flag 455000/4470735 1533.94/1516.49 c cleaning 30085 clauses out of 60377 with flag 486001/4501736 1544.20/1526.51 c cleaning 30799 clauses out of 62285 with flag 518000/4533735 1553.14/1535.32 c cleaning 32190 clauses out of 64488 with flag 551002/4566737 1562.62/1544.65 c cleaning 33010 clauses out of 66283 with flag 585000/4600735 1578.11/1559.83 c cleaning 33954 clauses out of 68274 with flag 620001/4635736 1590.55/1572.12 c cleaning 34964 clauses out of 70315 with flag 656000/4671735 1608.83/1590.10 c cleaning 36045 clauses out of 72354 with flag 693003/4708738 1623.23/1604.37 c cleaning 36999 clauses out of 74307 with flag 731001/4746736 1637.25/1618.15 c cleaning 38070 clauses out of 76300 with flag 770000/4785735 1651.40/1632.08 c cleaning 38873 clauses out of 78223 with flag 810000/4825735 1666.33/1646.70 c cleaning 40167 clauses out of 80341 with flag 851000/4866735 1678.62/1658.76 c cleaning 40894 clauses out of 82171 with flag 893001/4908736 1695.99/1675.81 c cleaning 41711 clauses out of 84269 with flag 936002/4951737 1710.63/1690.24 c cleaning 43172 clauses out of 86540 with flag 980002/4995737 1732.33/1711.69 c cleaning 43906 clauses out of 88366 with flag 1025000/5040735 1759.06/1737.98 c cleaning 45021 clauses out of 90460 with flag 1071000/5086735 1780.47/1759.05 c cleaning 46068 clauses out of 92439 with flag 1118000/5133735 1797.77/1776.07 c cleaning 46978 clauses out of 94340 with flag 1166000/5181735 1800.10/1778.31 c starts : 213 1800.10/1778.31 c conflicts : 5189987 1800.10/1778.31 c decisions : 18740183 1800.10/1778.31 c propagations : 1276749853 1800.10/1778.31 c inspects : 8479547617 1800.10/1778.31 c shortcuts : 0 1800.10/1778.31 c learnt literals : 712 1800.10/1778.31 c learnt binary clauses : 2502 1800.10/1778.31 c learnt ternary clauses : 3617 1800.10/1778.31 c learnt constraints : 5189276 1800.10/1778.31 c ignored constraints : 0 1800.10/1778.31 c root simplifications : 925 1800.10/1778.31 c removed literals (reason simplification) : 98019311 1800.10/1778.31 c reason swapping (by a shorter reason) : 0 1800.10/1778.31 c Calls to reduceDB : 176 1800.10/1778.31 c number of reductions to clauses (during analyze) : 0 1800.10/1778.31 c number of learned constraints concerned by reduction : 0 1800.10/1778.31 c number of learning phase by resolution : 0 1800.10/1778.31 c number of learning phase by cutting planes : 0 1800.10/1778.31 c speed (assignments/second) : 718136.3224224998 1800.10/1778.31 c non guided choices 9618 1800.10/1778.33 c learnt constraints type 1800.10/1778.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1978 1800.10/1778.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 53687 1800.10/1778.33 c constraints type 1800.10/1778.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 821 1800.10/1778.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 821 1800.10/1778.33 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4 1800.10/1778.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.10/1778.33 c 1647 constraints processed. 1800.10/1778.33 s SATISFIABLE 1800.10/1778.34 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 1800.10/1778.35 c objective function=76725 1800.10/1778.35 c Total wall clock time (in seconds): 1778.229
OK 76725
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710282-1338206934/watcher-3710282-1338206934 -o /tmp/evaluation-result-3710282-1338206934/solver-3710282-1338206934 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710282-1338206934.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.14 1.69 1.88 3/173 5272 /proc/meminfo: memFree=27922072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/5272/stat : 5272 (java) D 5270 5272 32675 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 286818864 9515008 182 33554432000 1073741824 1073778376 140735262592432 140735262583464 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/5272/statm: 2323 182 140 9 0 71 0 [startup+0.0489289 s] /proc/loadavg: 1.14 1.69 1.88 3/173 5272 /proc/meminfo: memFree=27922072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 3091 0 1 0 2 0 0 0 20 0 13 0 286818864 9446973440 3276 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2306390 3276 1704 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100293 s] /proc/loadavg: 1.14 1.69 1.88 3/173 5272 /proc/meminfo: memFree=27922072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 4301 0 1 0 8 1 0 0 20 0 18 0 286818864 9787842560 4996 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2389610 4996 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300171 s] /proc/loadavg: 1.14 1.69 1.88 3/173 5272 /proc/meminfo: memFree=27922072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9558440 CPUtime=0.51 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 6960 0 1 0 49 2 0 0 20 0 18 0 286818864 9787842560 11783 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2389610 11783 2223 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558440 [startup+0.700172 s] /proc/loadavg: 1.14 1.69 1.88 3/173 5272 /proc/meminfo: memFree=27922072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=1.42 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 9365 0 1 0 138 4 0 0 20 0 19 0 286818864 9856004096 37625 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 37625 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 9625004 [startup+1.50061 s] /proc/loadavg: 1.14 1.69 1.88 4/194 5300 /proc/meminfo: memFree=27749508/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=2.34 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 9445 0 1 0 229 5 0 0 20 0 19 0 286818864 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 41784 2283 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=1.44 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 2613 0 1 0 141 3 0 0 20 0 19 0 286818865 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099625738632 140099498516476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2464 0 0 0 39 0 0 0 20 0 19 0 286818870 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.44 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3118 0 0 0 44 0 0 0 20 0 19 0 286818870 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 41784 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 1.14 1.69 1.88 3/212 5318 /proc/meminfo: memFree=27400072/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=4.01 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 9470 0 1 0 396 5 0 0 20 0 19 0 286818864 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 43334 2283 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=2.99 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 2614 0 1 0 296 3 0 0 20 0 19 0 286818865 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099625738536 140099498499711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 286818868 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2471 0 0 0 42 0 0 0 20 0 19 0 286818870 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3120 0 0 0 46 0 0 0 20 0 19 0 286818870 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 43334 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 9625004 [startup+6.30058 s] /proc/loadavg: 1.21 1.70 1.88 3/212 5318 /proc/meminfo: memFree=26522676/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=7.27 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 9660 0 1 0 722 5 0 0 20 0 19 0 286818864 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 43757 2283 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=6.14 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 2616 0 1 0 611 3 0 0 20 0 19 0 286818865 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099625738544 140099498499716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286818866 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=0.09 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 286818868 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2653 0 0 0 47 0 0 0 20 0 19 0 286818870 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3120 0 0 0 46 0 0 0 20 0 19 0 286818870 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 43757 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.27 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=3.36 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1084 0 0 0 327 9 0 0 20 0 19 0 286818866 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=3.33 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 758 0 0 0 327 6 0 0 20 0 19 0 286818866 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=3.31 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 1677 0 0 0 323 8 0 0 20 0 19 0 286818866 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=7.71 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 623 0 0 0 764 7 0 0 20 0 19 0 286818868 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2669 0 0 0 57 0 0 0 20 0 19 0 286818870 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3131 0 0 0 56 0 0 0 20 0 19 0 286818870 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0.5 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 96 0 0 0 22 28 0 0 20 0 19 0 286818870 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 95207 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1682.26 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.47 2.26 2.09 4/213 5333 /proc/meminfo: memFree=20969792/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=1743.22 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 20040 0 1 0 174218 104 0 0 20 0 19 0 286818864 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 95432 2290 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=1706.09 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 3228 0 1 0 170578 31 0 0 20 0 19 0 286818865 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099625737600 140099498603310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=3.51 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 702 0 0 0 344 7 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=3.43 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 1190 0 0 0 335 8 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=3.53 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 1285 0 0 0 343 10 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=3.31 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 885 0 0 0 324 7 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=3.32 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 1406 0 0 0 325 7 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=3.55 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1100 0 0 0 346 9 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=3.48 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 763 0 0 0 342 6 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=3.48 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 1765 0 0 0 340 8 0 0 20 0 19 0 286818866 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=7.89 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 631 0 0 0 782 7 0 0 20 0 19 0 286818868 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2669 0 0 0 57 0 0 0 20 0 19 0 286818870 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3131 0 0 0 56 0 0 0 20 0 19 0 286818870 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0.52 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 98 0 0 0 23 29 0 0 20 0 19 0 286818870 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 95432 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1743.22 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.3 s] /proc/loadavg: 2.19 2.22 2.09 3/213 5393 /proc/meminfo: memFree=25268180/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 20103 0 1 0 179904 106 0 0 20 0 19 0 286818864 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 95292 2290 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=1761.56 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 3253 0 1 0 176124 32 0 0 20 0 19 0 286818865 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099625738544 140099498499379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=3.62 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 714 0 0 0 354 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=3.58 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 1190 0 0 0 350 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=3.7 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 1286 0 0 0 360 10 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=3.49 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 885 0 0 0 342 7 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=3.48 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 1406 0 0 0 341 7 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=3.68 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1100 0 0 0 359 9 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=3.62 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 763 0 0 0 356 6 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=3.65 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 1777 0 0 0 357 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=8.06 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 640 0 0 0 799 7 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2669 0 0 0 57 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3131 0 0 0 56 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0.54 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 102 0 0 0 24 30 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1778.3 s] /proc/loadavg: 2.19 2.22 2.09 3/213 5393 /proc/meminfo: memFree=25268180/32873648 swapFree=7104/7104 [pid=5272] ppid=5270 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/5272/stat : 5272 (java) S 5270 5272 32675 0 -1 4202496 20103 0 1 0 179904 106 0 0 20 0 19 0 286818864 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140735981817984 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/5272/statm: 2406251 95292 2290 9 0 2396937 0 [pid=5272/tid=5274] ppid=5270 vsize=9625004 CPUtime=1761.56 cores=1,3,5,7 /proc/5272/task/5274/stat : 5274 (java) R 5270 5272 32675 0 -1 4202560 3253 0 1 0 176124 32 0 0 20 0 19 0 286818865 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099625738544 140099498499379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5275] ppid=5270 vsize=9625004 CPUtime=3.62 cores=1,3,5,7 /proc/5272/task/5275/stat : 5275 (java) S 5270 5272 32675 0 -1 4202560 714 0 0 0 354 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099469528104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5276] ppid=5270 vsize=9625004 CPUtime=3.58 cores=1,3,5,7 /proc/5272/task/5276/stat : 5276 (java) S 5270 5272 32675 0 -1 4202560 1190 0 0 0 350 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099468475304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5277] ppid=5270 vsize=9625004 CPUtime=3.7 cores=1,3,5,7 /proc/5272/task/5277/stat : 5277 (java) S 5270 5272 32675 0 -1 4202560 1286 0 0 0 360 10 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099467422504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=5272/tid=5278] ppid=5270 vsize=9625004 CPUtime=3.49 cores=1,3,5,7 /proc/5272/task/5278/stat : 5278 (java) S 5270 5272 32675 0 -1 4202560 885 0 0 0 342 7 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099466369704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5279] ppid=5270 vsize=9625004 CPUtime=3.48 cores=1,3,5,7 /proc/5272/task/5279/stat : 5279 (java) S 5270 5272 32675 0 -1 4202560 1406 0 0 0 341 7 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099465316904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5280] ppid=5270 vsize=9625004 CPUtime=3.68 cores=1,3,5,7 /proc/5272/task/5280/stat : 5280 (java) S 5270 5272 32675 0 -1 4202560 1100 0 0 0 359 9 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099464264104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5281] ppid=5270 vsize=9625004 CPUtime=3.62 cores=1,3,5,7 /proc/5272/task/5281/stat : 5281 (java) S 5270 5272 32675 0 -1 4202560 763 0 0 0 356 6 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099463211304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5282] ppid=5270 vsize=9625004 CPUtime=3.65 cores=1,3,5,7 /proc/5272/task/5282/stat : 5282 (java) S 5270 5272 32675 0 -1 4202560 1777 0 0 0 357 8 0 0 20 0 19 0 286818866 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099462158504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5283] ppid=5270 vsize=9625004 CPUtime=8.06 cores=1,3,5,7 /proc/5272/task/5283/stat : 5283 (java) S 5270 5272 32675 0 -1 4202560 640 0 0 0 799 7 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099449961448 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5284] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5284/stat : 5284 (java) S 5270 5272 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099448907512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5285] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5285/stat : 5285 (java) S 5270 5272 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286818868 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099447854600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5286] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5286/stat : 5286 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099446803088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5287] ppid=5270 vsize=9625004 CPUtime=0.57 cores=1,3,5,7 /proc/5272/task/5287/stat : 5287 (java) S 5270 5272 32675 0 -1 4202560 2669 0 0 0 57 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099445750200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=5272/tid=5288] ppid=5270 vsize=9625004 CPUtime=0.56 cores=1,3,5,7 /proc/5272/task/5288/stat : 5288 (java) S 5270 5272 32675 0 -1 4202560 3131 0 0 0 56 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099444697400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5289] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5289/stat : 5289 (java) S 5270 5272 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099443644792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=5272/tid=5290] ppid=5270 vsize=9625004 CPUtime=0.54 cores=1,3,5,7 /proc/5272/task/5290/stat : 5290 (java) S 5270 5272 32675 0 -1 4202560 102 0 0 0 24 30 0 0 20 0 19 0 286818870 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099442592200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=5272/tid=5291] ppid=5270 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/5272/task/5291/stat : 5291 (java) S 5270 5272 32675 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 286818909 9856004096 95292 33554432000 1073741824 1073778376 140735981826848 140099441538728 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1778.36 CPU time (s): 1800.5 CPU user time (s): 1799.04 CPU system time (s): 1.46078 CPU usage (%): 101.245 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 1.46078 maximum resident set size= 520564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20139 page faults= 1 swaps= 0 block input operations= 104 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57302 involuntary context switches= 65089 runsolver used 6.11107 second user time and 14.9027 second system time The end
Begin job on node127 at 2012-05-28 14:08:54 IDJOB=3710282 IDBENCH=89888 IDSOLVER=2289 FILE ID=node127/3710282-1338206934 RUNJOBID= node127-1338206934-5255 PBS_JOBID= 14624582 Free space on /tmp= 71168 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-air04.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710282-1338206934/watcher-3710282-1338206934 -o /tmp/evaluation-result-3710282-1338206934/solver-3710282-1338206934 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710282-1338206934.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= be0d50f47077f17e0f3c28ea78925374 RANDOM SEED=1067556236 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27922872 kB Buffers: 493088 kB Cached: 3558228 kB SwapCached: 0 kB Active: 1254012 kB Inactive: 2812024 kB Active(anon): 16784 kB Inactive(anon): 0 kB Active(file): 1237228 kB Inactive(file): 2812024 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2344 kB Writeback: 40 kB AnonPages: 19232 kB Mapped: 13732 kB Shmem: 200 kB Slab: 745364 kB SReclaimable: 189688 kB SUnreclaim: 555676 kB KernelStack: 1392 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 108036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71136 MiB End job on node127 at 2012-05-28 14:38:34