Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.21 | 1795.86 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo |
| MD5SUM | 6d906c6a0b5d527a5b0feb820bb742c0 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.586909 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6800 |
| Total number of constraints | 165 |
| Number of soft constraints | 53 |
| Number of constraints which are clauses | 85 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 85 |
| Top cost | 2598 |
| Min constraint cost | 1 |
| Max constraint cost | 94 |
| Sum of constraints costs | 2597 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 86 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.19 c See www.sat4j.org for details. 0.10/0.20 c version 2.3.1.v20110525 0.10/0.20 c java.runtime.name Java(TM) SE Runtime Environment 0.10/0.20 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.10/0.20 c java.vm.version 19.1-b02 0.10/0.20 c java.vm.vendor Sun Microsystems Inc. 0.10/0.20 c sun.arch.data.model 64 0.10/0.20 c java.version 1.6.0_24 0.10/0.20 c os.name Linux 0.10/0.20 c os.version 2.6.18-164.el5 0.10/0.20 c os.arch amd64 0.10/0.20 c Free memory 9996466904 0.10/0.20 c Max memory 10048897024 0.10/0.20 c Total memory 10048897024 0.10/0.20 c Number of processors 8 0.10/0.23 c Pseudo Boolean Optimization 0.10/0.23 c --- Begin Solver configuration --- 0.10/0.23 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.23 c Learn all clauses as in MiniSAT 0.10/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.23 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.23 c Expensive reason simplification 0.10/0.23 c Armin Biere (Picosat) restarts strategy 0.10/0.23 c Glucose learned constraints deletion strategy 0.10/0.23 c timeout=2147483s 0.10/0.23 c DB Simplification allowed=false 0.10/0.23 c --- End Solver configuration --- 0.10/0.23 c solving HOME/instance-3492272-1307908914.wbo 0.10/0.23 c reading problem ... 0.54/0.42 c ... done. Wall clock time 0.189s. 0.54/0.42 c #vars 6853 0.54/0.42 c #constraints 165 0.54/0.42 c constraints type 0.54/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 0.54/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 54 0.54/0.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 26 1.07/0.62 c SATISFIABLE 1.07/0.62 c OPTIMIZING... 1.07/0.62 c Got one! Elapsed wall clock time (in seconds):0.394 1.07/0.62 o 131 1.25/0.72 c Got one! Elapsed wall clock time (in seconds):0.487 1.25/0.72 o 98 1.36/0.83 c Got one! Elapsed wall clock time (in seconds):0.602 1.36/0.83 o 94 1.48/0.95 c Got one! Elapsed wall clock time (in seconds):0.723 1.48/0.95 o 6 2.21/1.68 c Got one! Elapsed wall clock time (in seconds):1.449 2.21/1.68 o 1 4.71/4.17 c cleaning 3397 clauses out of 6797 with flag 4002/6797 7.99/7.34 c cleaning 4661 clauses out of 9399 with flag 10001/12796 13.10/12.44 c cleaning 5843 clauses out of 11737 with flag 17000/19795 18.91/18.25 c cleaning 6924 clauses out of 13895 with flag 25001/27796 25.97/25.25 c cleaning 7956 clauses out of 15970 with flag 34000/36795 34.08/33.38 c cleaning 8978 clauses out of 18014 with flag 44000/46795 41.60/40.89 c cleaning 9498 clauses out of 19036 with flag 54000/56795 50.90/50.12 c cleaning 9765 clauses out of 19538 with flag 64000/66795 60.82/60.03 c cleaning 9863 clauses out of 19774 with flag 74001/76796 68.74/67.93 c cleaning 9926 clauses out of 19911 with flag 84001/86796 77.75/76.96 c cleaning 9960 clauses out of 19984 with flag 94000/96795 89.37/88.50 c cleaning 9970 clauses out of 20027 with flag 104003/106798 101.59/100.70 c cleaning 10011 clauses out of 20054 with flag 114000/116795 109.63/108.72 c cleaning 9998 clauses out of 20045 with flag 124002/126797 118.74/117.81 c cleaning 9994 clauses out of 20046 with flag 134001/136796 133.06/132.15 c cleaning 10010 clauses out of 20052 with flag 144001/146796 147.58/146.69 c cleaning 9980 clauses out of 20042 with flag 154001/156796 161.81/160.80 c cleaning 9988 clauses out of 20062 with flag 164001/166796 172.44/171.43 c cleaning 10012 clauses out of 20074 with flag 174001/176796 180.86/179.85 c cleaning 10008 clauses out of 20065 with flag 184004/186799 189.38/188.39 c cleaning 10004 clauses out of 20056 with flag 194003/196798 206.40/205.33 c cleaning 10004 clauses out of 20049 with flag 204000/206795 219.63/218.58 c cleaning 9982 clauses out of 20045 with flag 214000/216795 232.65/231.53 c cleaning 9995 clauses out of 20063 with flag 224000/226795 242.57/241.41 c cleaning 10025 clauses out of 20070 with flag 234002/236797 246.69/245.56 c cleaning 10017 clauses out of 20045 with flag 244002/246797 251.31/250.18 c cleaning 9978 clauses out of 20026 with flag 254000/256795 258.23/257.02 c cleaning 9999 clauses out of 20048 with flag 264000/266795 266.85/265.65 c cleaning 10019 clauses out of 20049 with flag 274000/276795 276.66/275.47 c cleaning 9987 clauses out of 20033 with flag 284003/286798 288.78/287.54 c cleaning 9999 clauses out of 20046 with flag 294003/296798 302.71/301.49 c cleaning 9968 clauses out of 20045 with flag 304001/306796 317.22/315.90 c cleaning 9991 clauses out of 20076 with flag 314000/316795 324.15/322.81 c cleaning 10021 clauses out of 20085 with flag 324000/326795 330.77/329.41 c cleaning 10008 clauses out of 20065 with flag 334001/336796 337.58/336.26 c cleaning 10006 clauses out of 20056 with flag 344000/346795 346.99/345.66 c cleaning 9993 clauses out of 20050 with flag 354000/356795 359.51/358.10 c cleaning 9989 clauses out of 20058 with flag 364001/366796 372.34/370.97 c cleaning 9999 clauses out of 20071 with flag 374003/376798 384.96/383.50 c cleaning 9997 clauses out of 20069 with flag 384000/386795 393.89/392.41 c cleaning 10016 clauses out of 20074 with flag 394002/396797 402.70/401.27 c cleaning 10011 clauses out of 20059 with flag 404003/406798 413.22/411.74 c cleaning 10001 clauses out of 20047 with flag 414002/416797 427.25/425.78 c cleaning 9989 clauses out of 20045 with flag 424001/426796 440.47/438.91 c cleaning 9985 clauses out of 20057 with flag 434002/436797 454.39/452.87 c cleaning 9991 clauses out of 20070 with flag 444000/446795 466.92/465.38 c cleaning 10013 clauses out of 20079 with flag 454000/456795 481.35/479.73 c cleaning 9994 clauses out of 20067 with flag 464001/466796 495.17/493.59 c cleaning 10015 clauses out of 20072 with flag 474000/476795 508.70/507.10 c cleaning 9998 clauses out of 20057 with flag 484000/486795 524.74/523.02 c cleaning 10011 clauses out of 20061 with flag 494002/496797 538.69/536.93 c cleaning 10003 clauses out of 20049 with flag 504001/506796 552.71/550.91 c cleaning 9999 clauses out of 20045 with flag 514000/516795 563.74/561.99 c cleaning 9988 clauses out of 20046 with flag 524000/526795 578.07/576.25 c cleaning 9992 clauses out of 20058 with flag 534000/536795 593.70/591.83 c cleaning 9999 clauses out of 20067 with flag 544001/546796 606.93/605.01 c cleaning 9997 clauses out of 20068 with flag 554001/556796 624.55/622.67 c cleaning 9992 clauses out of 20071 with flag 564001/566796 640.57/638.65 c cleaning 9971 clauses out of 20078 with flag 574000/576795 659.40/657.49 c cleaning 10017 clauses out of 20110 with flag 584003/586798 667.53/665.57 c cleaning 10021 clauses out of 20090 with flag 594000/596795 677.15/675.18 c cleaning 9998 clauses out of 20069 with flag 604000/606795 686.87/684.87 c cleaning 9991 clauses out of 20071 with flag 614000/616795 701.48/699.41 c cleaning 9999 clauses out of 20081 with flag 624001/626796 714.83/712.78 c cleaning 9992 clauses out of 20081 with flag 634000/636795 730.15/728.08 c cleaning 9998 clauses out of 20089 with flag 644000/646795 736.08/733.98 c cleaning 9998 clauses out of 20092 with flag 654001/656796 744.90/742.70 c cleaning 9997 clauses out of 20097 with flag 664004/666799 752.61/750.48 c cleaning 9976 clauses out of 20097 with flag 674001/676796 763.84/761.66 c cleaning 9944 clauses out of 20120 with flag 684000/686795 772.96/770.75 c cleaning 9975 clauses out of 20181 with flag 694005/696800 789.99/787.78 c cleaning 9948 clauses out of 20202 with flag 704001/706796 809.21/806.90 c cleaning 9920 clauses out of 20254 with flag 714001/716796 822.36/820.08 c cleaning 10052 clauses out of 20333 with flag 724000/726795 836.59/834.23 c cleaning 10027 clauses out of 20284 with flag 734003/736798 850.22/847.87 c cleaning 10014 clauses out of 20254 with flag 744000/746795 863.45/861.01 c cleaning 9999 clauses out of 20244 with flag 754004/756799 876.57/874.10 c cleaning 10007 clauses out of 20244 with flag 764003/766798 889.40/886.97 c cleaning 10006 clauses out of 20236 with flag 774002/776797 901.72/899.25 c cleaning 10083 clauses out of 20230 with flag 784002/786797 911.84/909.34 c cleaning 10046 clauses out of 20146 with flag 794001/796796 922.06/919.58 c cleaning 10018 clauses out of 20099 with flag 804000/806795 933.69/931.18 c cleaning 9992 clauses out of 20082 with flag 814001/816796 947.62/945.03 c cleaning 9996 clauses out of 20091 with flag 824002/826797 961.24/958.70 c cleaning 9987 clauses out of 20093 with flag 834000/836795 975.67/973.09 c cleaning 10025 clauses out of 20107 with flag 844001/846796 989.60/986.99 c cleaning 10005 clauses out of 20082 with flag 854001/856796 1002.74/1000.04 c cleaning 9994 clauses out of 20076 with flag 864000/866795 1017.25/1014.55 c cleaning 10011 clauses out of 20084 with flag 874002/876797 1027.39/1024.65 c cleaning 10008 clauses out of 20071 with flag 884000/886795 1035.83/1033.05 c cleaning 10014 clauses out of 20063 with flag 894000/896795 1044.75/1041.95 c cleaning 10007 clauses out of 20049 with flag 904000/906795 1057.27/1054.45 c cleaning 9985 clauses out of 20042 with flag 914000/916795 1068.90/1066.05 c cleaning 9991 clauses out of 20059 with flag 924002/926797 1082.32/1079.48 c cleaning 9995 clauses out of 20066 with flag 934000/936795 1091.64/1088.72 c cleaning 10016 clauses out of 20073 with flag 944002/946797 1098.06/1095.17 c cleaning 10003 clauses out of 20055 with flag 954000/956795 1105.48/1102.51 c cleaning 10004 clauses out of 20054 with flag 964002/966797 1110.29/1107.36 c cleaning 10012 clauses out of 20051 with flag 974003/976798 1121.61/1118.63 c cleaning 9970 clauses out of 20036 with flag 984000/986795 1134.24/1131.23 c cleaning 10006 clauses out of 20068 with flag 994002/996797 1145.25/1142.23 c cleaning 9953 clauses out of 20061 with flag 1004001/1006796 1156.67/1153.67 c cleaning 9980 clauses out of 20107 with flag 1014000/1016795 1171.19/1168.17 c cleaning 9955 clauses out of 20130 with flag 1024003/1026798 1186.41/1183.31 c cleaning 9971 clauses out of 20173 with flag 1034001/1036796 1203.04/1199.93 c cleaning 9996 clauses out of 20203 with flag 1044002/1046797 1221.16/1218.06 c cleaning 10020 clauses out of 20206 with flag 1054001/1056796 1237.08/1233.99 c cleaning 10010 clauses out of 20188 with flag 1064003/1066798 1254.02/1250.87 c cleaning 9985 clauses out of 20175 with flag 1074000/1076795 1267.44/1264.22 c cleaning 10008 clauses out of 20190 with flag 1084000/1086795 1281.26/1278.09 c cleaning 10013 clauses out of 20182 with flag 1094000/1096795 1295.58/1292.38 c cleaning 10009 clauses out of 20169 with flag 1104000/1106795 1310.01/1306.78 c cleaning 9981 clauses out of 20161 with flag 1114001/1116796 1324.24/1320.93 c cleaning 10014 clauses out of 20180 with flag 1124001/1126796 1337.36/1334.05 c cleaning 10001 clauses out of 20168 with flag 1134003/1136798 1351.39/1348.02 c cleaning 10001 clauses out of 20164 with flag 1144000/1146795 1366.62/1363.21 c cleaning 9998 clauses out of 20163 with flag 1154000/1156795 1380.95/1377.52 c cleaning 10007 clauses out of 20167 with flag 1164002/1166797 1396.57/1393.19 c cleaning 9988 clauses out of 20159 with flag 1174001/1176796 1408.10/1404.64 c cleaning 10057 clauses out of 20170 with flag 1184000/1186795 1419.93/1416.47 c cleaning 10027 clauses out of 20114 with flag 1194001/1196796 1431.24/1427.72 c cleaning 10014 clauses out of 20087 with flag 1204001/1206796 1443.57/1440.05 c cleaning 10006 clauses out of 20073 with flag 1214001/1216796 1455.19/1451.64 c cleaning 10004 clauses out of 20066 with flag 1224000/1226795 1466.51/1462.92 c cleaning 10002 clauses out of 20065 with flag 1234003/1236798 1478.53/1474.93 c cleaning 9998 clauses out of 20062 with flag 1244002/1246797 1489.76/1486.12 c cleaning 10004 clauses out of 20064 with flag 1254002/1256797 1502.98/1499.30 c cleaning 10000 clauses out of 20058 with flag 1264000/1266795 1516.19/1512.60 c cleaning 9999 clauses out of 20059 with flag 1274001/1276796 1528.51/1524.88 c cleaning 10003 clauses out of 20063 with flag 1284004/1286799 1540.64/1536.97 c cleaning 9999 clauses out of 20059 with flag 1294003/1296798 1552.26/1548.59 c cleaning 10000 clauses out of 20061 with flag 1304004/1306799 1564.46/1560.70 c cleaning 9999 clauses out of 20058 with flag 1314001/1316796 1576.90/1573.14 c cleaning 10006 clauses out of 20058 with flag 1324000/1326795 1582.53/1578.70 c cleaning 10019 clauses out of 20052 with flag 1334000/1336795 1591.26/1587.47 c cleaning 9989 clauses out of 20034 with flag 1344001/1346796 1601.77/1597.96 c cleaning 9998 clauses out of 20045 with flag 1354001/1356796 1614.59/1610.74 c cleaning 9984 clauses out of 20046 with flag 1364000/1366795 1630.51/1626.68 c cleaning 10002 clauses out of 20066 with flag 1374004/1376799 1645.74/1641.80 c cleaning 9992 clauses out of 20061 with flag 1384001/1386796 1655.27/1651.34 c cleaning 10000 clauses out of 20068 with flag 1394000/1396795 1665.19/1661.29 c cleaning 10007 clauses out of 20068 with flag 1404000/1406795 1674.21/1670.22 c cleaning 10012 clauses out of 20065 with flag 1414004/1416799 1684.43/1680.48 c cleaning 9996 clauses out of 20052 with flag 1424003/1426798 1694.55/1690.59 c cleaning 10006 clauses out of 20055 with flag 1434002/1436797 1706.77/1702.71 c cleaning 9990 clauses out of 20048 with flag 1444001/1446796 1718.39/1714.31 c cleaning 10005 clauses out of 20059 with flag 1454002/1456797 1724.01/1719.96 c cleaning 10005 clauses out of 20053 with flag 1464001/1466796 1729.04/1724.98 c cleaning 10006 clauses out of 20051 with flag 1474004/1476799 1735.44/1731.32 c cleaning 10003 clauses out of 20041 with flag 1484000/1486795 1741.55/1737.49 c cleaning 10001 clauses out of 20040 with flag 1494002/1496797 1745.97/1741.83 c cleaning 9998 clauses out of 20038 with flag 1504001/1506796 1751.77/1747.64 c cleaning 10003 clauses out of 20039 with flag 1514000/1516795 1757.88/1753.79 c cleaning 9991 clauses out of 20037 with flag 1524001/1526796 1767.70/1763.57 c cleaning 9990 clauses out of 20046 with flag 1534001/1536796 1777.73/1773.57 c cleaning 9996 clauses out of 20056 with flag 1544001/1546796 1789.05/1784.82 c cleaning 10003 clauses out of 20059 with flag 1554000/1556795 1800.08/1795.81 c starts : 213 1800.08/1795.81 c conflicts : 1566671 1800.08/1795.81 c decisions : 3015875 1800.08/1795.81 c propagations : 79402048 1800.08/1795.81 c inspects : 2076740563 1800.08/1795.81 c shortcuts : 0 1800.08/1795.81 c learnt literals : 0 1800.08/1795.81 c learnt binary clauses : 0 1800.08/1795.81 c learnt ternary clauses : 0 1800.08/1795.81 c learnt constraints : 1566671 1800.08/1795.81 c ignored constraints : 0 1800.08/1795.81 c root simplifications : 0 1800.08/1795.81 c removed literals (reason simplification) : 6651595 1800.08/1795.81 c reason swapping (by a shorter reason) : 0 1800.08/1795.81 c Calls to reduceDB : 157 1800.08/1795.81 c number of reductions to clauses (during analyze) : 0 1800.08/1795.81 c number of learned constraints concerned by reduction : 0 1800.08/1795.81 c number of learning phase by resolution : 0 1800.08/1795.81 c number of learning phase by cutting planes : 0 1800.08/1795.81 c speed (assignments/second) : 44256.47972782412 1800.08/1795.81 c non guided choices 296615 1800.08/1795.82 c learnt constraints type 1800.08/1795.82 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19937 1800.08/1795.82 c constraints type 1800.08/1795.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 1800.08/1795.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 54 1800.08/1795.82 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27 1800.08/1795.82 s SATISFIABLE 1800.08/1795.83 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 1800.08/1795.84 c objective function=1 1800.08/1795.84 c Total wall clock time (in seconds): 1795.613
OK 1
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 /var/tmp/evaluation-result-3492272-1307908914/watcher-3492272-1307908914 -o /var/tmp/evaluation-result-3492272-1307908914/solver-3492272-1307908914 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492272-1307908914.wbo running on 4 cores: 0,2,4,6 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: 0.92 1.04 1.38 2/177 26915 /proc/meminfo: memFree=1205896/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/26915/stat : 26915 (java) R 26913 26915 24685 0 -1 4202496 663 0 0 0 0 0 0 0 22 0 1 0 883307574 23580672 407 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255101806357 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/26915/statm: 5757 417 317 9 0 124 0 [startup+0.104633 s] /proc/loadavg: 0.92 1.04 1.38 2/177 26915 /proc/meminfo: memFree=1205896/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 11192 0 57 0 2 1 0 0 22 0 13 0 883307574 10718699520 10944 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2616870 10944 1672 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.203744 s] /proc/loadavg: 0.92 1.04 1.38 2/177 26915 /proc/meminfo: memFree=1205896/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10540204 CPUtime=0.1 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 12817 0 59 0 9 1 0 0 22 0 18 0 883307574 10793168896 12571 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2635051 12571 2083 9 0 2625785 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540204 [startup+0.300347 s] /proc/loadavg: 0.92 1.04 1.38 2/177 26915 /proc/meminfo: memFree=1205896/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10540752 CPUtime=0.25 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 13915 0 59 0 24 1 0 0 22 0 18 0 883307574 10793730048 13639 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2635188 13639 2170 9 0 2625922 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 10540752 [startup+0.700278 s] /proc/loadavg: 0.92 1.04 1.38 2/177 26915 /proc/meminfo: memFree=1205896/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10549380 CPUtime=1.25 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 20417 0 59 0 123 2 0 0 22 0 19 0 883307574 10802565120 19023 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637345 19023 2227 9 0 2628079 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 10549380 [startup+1.50111 s] /proc/loadavg: 0.92 1.04 1.38 3/214 26952 /proc/meminfo: memFree=1050776/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10549380 CPUtime=2.11 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 22265 0 59 0 208 3 0 0 22 0 19 0 883307574 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637345 20870 2227 9 0 2628079 0 [pid=26915/tid=26918] ppid=26913 vsize=10549380 CPUtime=1.37 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 16934 0 57 0 135 2 0 0 19 0 19 0 883307574 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505730045 0 4 0 16800975 0 0 0 -1 2 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883307581 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883307583 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883307583 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26941] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10549380 CPUtime=0.36 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2035 0 0 0 36 0 0 0 15 0 19 0 883307589 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10549380 CPUtime=0.36 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2134 0 2 0 36 0 0 0 15 0 19 0 883307589 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10802565120 20870 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 10549380 [startup+3.10086 s] /proc/loadavg: 0.92 1.04 1.38 3/214 26952 /proc/meminfo: memFree=1037384/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10549380 CPUtime=3.71 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 24184 0 59 0 368 3 0 0 22 0 19 0 883307574 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637345 22789 2227 9 0 2628079 0 [pid=26915/tid=26918] ppid=26913 vsize=10549380 CPUtime=2.97 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 18853 0 57 0 295 2 0 0 22 0 19 0 883307574 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505751970 0 4 0 16800975 0 0 0 -1 2 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307578 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 883307581 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883307583 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883307583 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26941] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10549380 CPUtime=0.36 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2035 0 0 0 36 0 0 0 15 0 19 0 883307589 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10549380 CPUtime=0.36 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2134 0 2 0 36 0 0 0 15 0 19 0 883307589 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10549380 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10802565120 22789 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 10549380 [startup+6.30129 s] /proc/loadavg: 1.01 1.06 1.38 3/214 26952 /proc/meminfo: memFree=992620/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10548096 CPUtime=6.99 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 31071 0 59 0 695 4 0 0 22 0 19 0 883307574 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637024 29278 2254 9 0 2627758 0 [pid=26915/tid=26918] ppid=26913 vsize=10548096 CPUtime=6.14 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 20002 0 57 0 612 2 0 0 25 0 19 0 883307574 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505771009 0 4 0 16800975 0 0 0 -1 2 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 1088 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 207 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 507 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 1032 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883307578 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10548096 CPUtime=0.01 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 2745 0 0 0 1 0 0 0 15 0 19 0 883307581 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 4 [pid=26915/tid=26941] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10548096 CPUtime=0.39 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2047 0 0 0 39 0 0 0 15 0 19 0 883307589 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10548096 CPUtime=0.39 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2288 0 2 0 39 0 0 0 16 0 19 0 883307589 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883307589 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10801250304 29278 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 10548096 [startup+12.7012 s] ################ # More data... # ################ [pid=26915/tid=26924] ppid=26913 vsize=10548096 CPUtime=0.62 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 4063 0 0 0 62 0 0 0 15 0 19 0 883307578 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10548096 CPUtime=0.56 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 6248 0 0 0 56 0 0 0 16 0 19 0 883307578 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10548096 CPUtime=0.63 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 3639 0 0 0 63 0 0 0 15 0 19 0 883307578 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10548096 CPUtime=5.95 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 19213 0 0 0 590 5 0 0 15 0 19 0 883307581 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 4 [pid=26915/tid=26941] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10548096 CPUtime=0.46 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2063 0 0 0 46 0 0 0 15 0 19 0 883307589 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10548096 CPUtime=0.4 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2289 0 2 0 40 0 0 0 15 0 19 0 883307589 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 883307589 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10801250304 90057 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1726.43 Current children cumulated vsize (KiB) 10548096 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.88 3/214 27002 /proc/meminfo: memFree=373500/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10548096 CPUtime=1786.55 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 92247 0 59 0 178636 19 0 0 22 0 19 0 883307574 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637024 90069 2255 9 0 2627758 0 [pid=26915/tid=26918] ppid=26913 vsize=10548096 CPUtime=1774.39 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 30101 0 57 0 177433 6 0 0 25 0 19 0 883307574 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505701616 0 4 0 16800975 0 0 0 -1 4 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10548096 CPUtime=0.54 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 5444 0 0 0 54 0 0 0 15 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10548096 CPUtime=0.55 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 3630 0 0 0 55 0 0 0 15 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10548096 CPUtime=0.61 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 4962 0 0 0 61 0 0 0 15 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10548096 CPUtime=0.68 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 6163 0 0 0 68 0 0 0 15 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10548096 CPUtime=0.54 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 3170 0 0 0 54 0 0 0 16 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10548096 CPUtime=0.65 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 4063 0 0 0 65 0 0 0 16 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10548096 CPUtime=0.58 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 6250 0 0 0 58 0 0 0 16 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10548096 CPUtime=0.66 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 3644 0 0 0 66 0 0 0 15 0 19 0 883307578 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10548096 CPUtime=6.34 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 19215 0 0 0 629 5 0 0 15 0 19 0 883307581 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 4 [pid=26915/tid=26941] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10548096 CPUtime=0.46 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2063 0 0 0 46 0 0 0 15 0 19 0 883307589 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10548096 CPUtime=0.4 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2289 0 2 0 40 0 0 0 15 0 19 0 883307589 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883307589 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10801250304 90069 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (KiB) 10548096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.8 s] /proc/loadavg: 2.00 2.00 1.88 3/214 27003 /proc/meminfo: memFree=371868/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10548096 CPUtime=1800.08 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 92254 0 59 0 179989 19 0 0 22 0 19 0 883307574 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637024 90073 2255 9 0 2627758 0 [pid=26915/tid=26918] ppid=26913 vsize=10548096 CPUtime=1787.84 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 30102 0 57 0 178778 6 0 0 25 0 19 0 883307574 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505701687 0 4 0 16800975 0 0 0 -1 4 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10548096 CPUtime=0.55 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 5444 0 0 0 55 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10548096 CPUtime=0.56 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 3630 0 0 0 56 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10548096 CPUtime=0.61 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 4962 0 0 0 61 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10548096 CPUtime=0.69 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 6163 0 0 0 69 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10548096 CPUtime=0.55 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 3170 0 0 0 55 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10548096 CPUtime=0.66 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 4067 0 0 0 66 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10548096 CPUtime=0.58 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 6250 0 0 0 58 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10548096 CPUtime=0.66 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 3644 0 0 0 66 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10548096 CPUtime=6.39 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 19215 0 0 0 634 5 0 0 15 0 19 0 883307581 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 4 [pid=26915/tid=26941] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10548096 CPUtime=0.46 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2063 0 0 0 46 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10548096 CPUtime=0.4 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2289 0 2 0 40 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10548096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.8 s] /proc/loadavg: 2.00 2.00 1.88 3/214 27003 /proc/meminfo: memFree=371868/32951124 swapFree=67055536/67111528 [pid=26915] ppid=26913 vsize=10548096 CPUtime=1800.08 cores=0,2,4,6 /proc/26915/stat : 26915 (java) S 26913 26915 24685 0 -1 4202496 92254 0 59 0 179989 19 0 0 22 0 19 0 883307574 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26915/statm: 2637024 90073 2255 9 0 2627758 0 [pid=26915/tid=26918] ppid=26913 vsize=10548096 CPUtime=1787.84 cores=0,2,4,6 /proc/26915/task/26918/stat : 26918 (java) R 26913 26915 24685 0 -1 4202560 30102 0 57 0 178778 6 0 0 25 0 19 0 883307574 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 46912505701687 0 4 0 16800975 0 0 0 -1 4 0 0 8 [pid=26915/tid=26919] ppid=26913 vsize=10548096 CPUtime=0.55 cores=0,2,4,6 /proc/26915/task/26919/stat : 26919 (java) S 26913 26915 24685 0 -1 4202560 5444 0 0 0 55 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26920] ppid=26913 vsize=10548096 CPUtime=0.56 cores=0,2,4,6 /proc/26915/task/26920/stat : 26920 (java) S 26913 26915 24685 0 -1 4202560 3630 0 0 0 56 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26921] ppid=26913 vsize=10548096 CPUtime=0.61 cores=0,2,4,6 /proc/26915/task/26921/stat : 26921 (java) S 26913 26915 24685 0 -1 4202560 4962 0 0 0 61 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26922] ppid=26913 vsize=10548096 CPUtime=0.69 cores=0,2,4,6 /proc/26915/task/26922/stat : 26922 (java) S 26913 26915 24685 0 -1 4202560 6163 0 0 0 69 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26923] ppid=26913 vsize=10548096 CPUtime=0.55 cores=0,2,4,6 /proc/26915/task/26923/stat : 26923 (java) S 26913 26915 24685 0 -1 4202560 3170 0 0 0 55 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26924] ppid=26913 vsize=10548096 CPUtime=0.66 cores=0,2,4,6 /proc/26915/task/26924/stat : 26924 (java) S 26913 26915 24685 0 -1 4202560 4067 0 0 0 66 0 0 0 16 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26925] ppid=26913 vsize=10548096 CPUtime=0.58 cores=0,2,4,6 /proc/26915/task/26925/stat : 26925 (java) S 26913 26915 24685 0 -1 4202560 6250 0 0 0 58 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26927] ppid=26913 vsize=10548096 CPUtime=0.66 cores=0,2,4,6 /proc/26915/task/26927/stat : 26927 (java) S 26913 26915 24685 0 -1 4202560 3644 0 0 0 66 0 0 0 15 0 19 0 883307578 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26935] ppid=26913 vsize=10548096 CPUtime=6.39 cores=0,2,4,6 /proc/26915/task/26935/stat : 26935 (java) S 26913 26915 24685 0 -1 4202560 19215 0 0 0 634 5 0 0 15 0 19 0 883307581 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 0 0 16800975 18446604453956825408 0 0 -1 2 0 0 0 [pid=26915/tid=26937] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26937/stat : 26937 (java) S 26913 26915 24685 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26939] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26939/stat : 26939 (java) S 26913 26915 24685 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883307583 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 4 [pid=26915/tid=26941] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26941/stat : 26941 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118592433 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26943] ppid=26913 vsize=10548096 CPUtime=0.46 cores=0,2,4,6 /proc/26915/task/26943/stat : 26943 (java) S 26913 26915 24685 0 -1 4202560 2063 0 0 0 46 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 4 0 0 0 [pid=26915/tid=26945] ppid=26913 vsize=10548096 CPUtime=0.4 cores=0,2,4,6 /proc/26915/task/26945/stat : 26945 (java) S 26913 26915 24685 0 -1 4202560 2289 0 2 0 40 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26947] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26947/stat : 26947 (java) S 26913 26915 24685 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118584729 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 [pid=26915/tid=26949] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26949/stat : 26949 (java) S 26913 26915 24685 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 883307589 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 0 0 0 0 [pid=26915/tid=26951] ppid=26913 vsize=10548096 CPUtime=0 cores=0,2,4,6 /proc/26915/task/26951/stat : 26951 (java) S 26913 26915 24685 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883307618 10801250304 90073 33554432000 1073741824 1073778376 140733760176176 18446744073709551615 255118585344 0 4 0 16800975 18446604453956825408 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 10548096 Child status: 143 Real time (s): 1795.86 CPU time (s): 1800.21 CPU user time (s): 1800 CPU system time (s): 0.207968 CPU usage (%): 100.242 Max. virtual memory (cumulated for all children) (KiB): 10549380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.207968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92396 page faults= 59 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41248 involuntary context switches= 10658 runsolver used 3.2965 second user time and 6.52601 second system time The end
Begin job on node144 at 2011-06-12 22:01:54 IDJOB=3492272 IDBENCH=78717 IDSOLVER=1982 FILE ID=node144/3492272-1307908914 RUNJOBID= node144-1307908914-26887 PBS_JOBID= 13559564 Free space on /var/tmp= 2912 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492272-1307908914/watcher-3492272-1307908914 -o /var/tmp/evaluation-result-3492272-1307908914/solver-3492272-1307908914 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492272-1307908914.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d906c6a0b5d527a5b0feb820bb742c0 RANDOM SEED=705213759 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1208204 kB Buffers: 60548 kB Cached: 30704352 kB SwapCached: 9264 kB Active: 15502568 kB Inactive: 15282168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1208204 kB SwapTotal: 67111528 kB SwapFree: 67055536 kB Dirty: 788 kB Writeback: 0 kB AnonPages: 17328 kB Mapped: 14388 kB Slab: 892804 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 205384 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2912 MiB End job on node144 at 2011-06-12 22:31:52