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.2 | 1796.26 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo |
| MD5SUM | 4b3e4ac9b9f8acc38ac61fe906d48ca6 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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.726888 |
| 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 | 165 |
| 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 | 7728 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 7727 |
| 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.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492585-1307910916.wbo 0.10/0.11 c reading problem ... 0.53/0.32 c ... done. Wall clock time 0.209s. 0.53/0.32 c #vars 6965 0.53/0.32 c #constraints 165 0.53/0.32 c constraints type 0.53/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 0.53/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80 1.35/0.61 c SATISFIABLE 1.35/0.61 c OPTIMIZING... 1.35/0.61 c Got one! Elapsed wall clock time (in seconds):0.497 1.35/0.61 o 153 1.47/0.70 c Got one! Elapsed wall clock time (in seconds):0.586 1.47/0.70 o 145 1.47/0.77 c Got one! Elapsed wall clock time (in seconds):0.662 1.47/0.77 o 124 1.60/0.89 c Got one! Elapsed wall clock time (in seconds):0.782 1.60/0.89 o 103 1.82/1.03 c Got one! Elapsed wall clock time (in seconds):0.917 1.82/1.03 o 69 2.12/1.35 c Got one! Elapsed wall clock time (in seconds):1.233 2.12/1.35 o 48 2.72/1.90 c Got one! Elapsed wall clock time (in seconds):1.792 2.72/1.90 o 46 3.32/2.58 c Got one! Elapsed wall clock time (in seconds):2.47 3.32/2.58 o 20 3.72/2.97 c Got one! Elapsed wall clock time (in seconds):2.861 3.72/2.97 o 12 4.92/4.19 c Got one! Elapsed wall clock time (in seconds):4.082 4.92/4.19 o 11 5.45/4.61 c Got one! Elapsed wall clock time (in seconds):4.498 5.45/4.61 o 7 6.28/5.45 c cleaning 5669 clauses out of 11346 with flag 1000/11346 8.42/7.54 c Got one! Elapsed wall clock time (in seconds):7.428 8.42/7.54 o 4 10.52/9.62 c cleaning 5522 clauses out of 11068 with flag 2000/16737 11.74/10.90 c Got one! Elapsed wall clock time (in seconds):10.784 11.74/10.90 o 1 15.14/14.24 c cleaning 5275 clauses out of 10573 with flag 4000/21764 19.69/18.80 c cleaning 5618 clauses out of 11299 with flag 10001/27765 27.79/26.84 c cleaning 6320 clauses out of 12681 with flag 17001/34765 36.11/35.10 c cleaning 7143 clauses out of 14360 with flag 25000/42764 46.62/45.60 c cleaning 8083 clauses out of 16219 with flag 34002/51766 58.03/57.00 c cleaning 9039 clauses out of 18134 with flag 44000/61764 69.34/68.37 c cleaning 9521 clauses out of 19096 with flag 54001/71765 79.45/78.44 c cleaning 9782 clauses out of 19575 with flag 64001/81765 90.37/89.35 c cleaning 9864 clauses out of 19793 with flag 74001/91765 103.29/102.27 c cleaning 9945 clauses out of 19930 with flag 84002/101766 122.80/121.74 c cleaning 9970 clauses out of 19984 with flag 94001/111765 136.23/135.19 c cleaning 9987 clauses out of 20015 with flag 104002/121766 147.97/146.84 c cleaning 9995 clauses out of 20026 with flag 114000/131764 159.59/158.48 c cleaning 9989 clauses out of 20031 with flag 124000/141764 177.10/175.96 c cleaning 10002 clauses out of 20042 with flag 134000/151764 194.31/193.18 c cleaning 9992 clauses out of 20041 with flag 144001/161765 212.13/210.91 c cleaning 10001 clauses out of 20048 with flag 154000/171764 222.76/221.53 c cleaning 9989 clauses out of 20048 with flag 164001/181765 235.27/234.00 c cleaning 10005 clauses out of 20061 with flag 174003/191767 246.39/245.18 c cleaning 10008 clauses out of 20053 with flag 184000/201764 264.81/263.58 c cleaning 9991 clauses out of 20047 with flag 194002/211766 283.22/281.91 c cleaning 9995 clauses out of 20054 with flag 204000/221764 301.94/300.70 c cleaning 10006 clauses out of 20061 with flag 214002/231766 310.16/308.81 c cleaning 10002 clauses out of 20056 with flag 224003/241767 318.88/317.59 c cleaning 9998 clauses out of 20051 with flag 234000/251764 327.00/325.64 c cleaning 10021 clauses out of 20054 with flag 244001/261765 336.62/335.20 c cleaning 9986 clauses out of 20034 with flag 254002/271766 348.53/347.16 c cleaning 9994 clauses out of 20048 with flag 264002/281766 362.16/360.76 c cleaning 10005 clauses out of 20052 with flag 274000/291764 376.87/375.44 c cleaning 9981 clauses out of 20047 with flag 284000/301764 394.59/393.12 c cleaning 9984 clauses out of 20066 with flag 294000/311764 409.32/407.82 c cleaning 10022 clauses out of 20084 with flag 304002/321766 420.34/418.89 c cleaning 10008 clauses out of 20062 with flag 314002/331766 430.06/428.54 c cleaning 10007 clauses out of 20055 with flag 324003/341767 440.28/438.73 c cleaning 9977 clauses out of 20046 with flag 334001/351765 458.81/457.20 c cleaning 9999 clauses out of 20069 with flag 344001/361765 475.14/473.59 c cleaning 9983 clauses out of 20069 with flag 354000/371764 496.68/495.03 c cleaning 9985 clauses out of 20088 with flag 364002/381766 517.11/515.45 c cleaning 9983 clauses out of 20102 with flag 374001/391765 527.26/525.50 c cleaning 10038 clauses out of 20118 with flag 384000/401764 538.77/537.08 c cleaning 10010 clauses out of 20080 with flag 394000/411764 550.70/548.96 c cleaning 10015 clauses out of 20071 with flag 404001/421765 566.61/564.87 c cleaning 9975 clauses out of 20055 with flag 414000/431764 585.04/583.22 c cleaning 9990 clauses out of 20081 with flag 424001/441765 602.07/600.27 c cleaning 10027 clauses out of 20093 with flag 434003/451767 611.30/609.46 c cleaning 10005 clauses out of 20063 with flag 444000/461764 621.71/619.83 c cleaning 9988 clauses out of 20058 with flag 454000/471764 630.73/628.88 c cleaning 10008 clauses out of 20072 with flag 464002/481766 639.04/637.13 c cleaning 9993 clauses out of 20063 with flag 474001/491765 654.76/652.83 c cleaning 9993 clauses out of 20071 with flag 484002/501766 671.89/669.92 c cleaning 10003 clauses out of 20078 with flag 494002/511766 688.11/686.14 c cleaning 10001 clauses out of 20074 with flag 504001/521765 696.83/694.85 c cleaning 10007 clauses out of 20073 with flag 514001/531765 706.94/704.91 c cleaning 10004 clauses out of 20067 with flag 524002/541766 716.58/714.52 c cleaning 10002 clauses out of 20063 with flag 534002/551766 725.50/723.44 c cleaning 10001 clauses out of 20060 with flag 544001/561765 735.72/733.60 c cleaning 9999 clauses out of 20060 with flag 554002/571766 746.04/743.93 c cleaning 9996 clauses out of 20059 with flag 564000/581764 755.86/753.79 c cleaning 10000 clauses out of 20064 with flag 574001/591765 765.98/763.83 c cleaning 10006 clauses out of 20066 with flag 584003/601767 775.51/773.32 c cleaning 9999 clauses out of 20057 with flag 594000/611764 787.42/785.29 c cleaning 10017 clauses out of 20060 with flag 604002/621766 800.75/798.55 c cleaning 9985 clauses out of 20041 with flag 614000/631764 815.56/813.37 c cleaning 9992 clauses out of 20056 with flag 624000/641764 828.79/826.53 c cleaning 10007 clauses out of 20068 with flag 634004/651768 840.01/837.79 c cleaning 9998 clauses out of 20061 with flag 644004/661768 851.13/848.89 c cleaning 10005 clauses out of 20062 with flag 654003/671767 863.06/860.79 c cleaning 10008 clauses out of 20056 with flag 664002/681766 889.08/886.74 c cleaning 9975 clauses out of 20046 with flag 674000/691764 918.73/916.31 c cleaning 9994 clauses out of 20071 with flag 684000/701764 936.66/934.24 c cleaning 9984 clauses out of 20077 with flag 694000/711764 959.89/957.43 c cleaning 9972 clauses out of 20094 with flag 704001/721765 975.12/972.62 c cleaning 9992 clauses out of 20124 with flag 714003/731767 994.94/992.40 c cleaning 10008 clauses out of 20132 with flag 724003/741767 1011.87/1009.36 c cleaning 10003 clauses out of 20121 with flag 734000/751764 1030.00/1027.45 c cleaning 9995 clauses out of 20123 with flag 744005/761769 1045.22/1042.64 c cleaning 9994 clauses out of 20123 with flag 754000/771764 1061.03/1058.45 c cleaning 9999 clauses out of 20132 with flag 764003/781767 1073.65/1071.08 c cleaning 10027 clauses out of 20131 with flag 774001/791765 1087.87/1085.23 c cleaning 10016 clauses out of 20103 with flag 784000/801764 1104.49/1101.80 c cleaning 10009 clauses out of 20088 with flag 794001/811765 1121.52/1118.88 c cleaning 10005 clauses out of 20078 with flag 804000/821764 1137.95/1135.26 c cleaning 10000 clauses out of 20075 with flag 814002/831766 1153.56/1150.86 c cleaning 10004 clauses out of 20073 with flag 824000/841764 1170.29/1167.57 c cleaning 10004 clauses out of 20071 with flag 834002/851766 1185.61/1182.80 c cleaning 9960 clauses out of 20066 with flag 844001/861765 1201.74/1198.95 c cleaning 10025 clauses out of 20105 with flag 854000/871764 1217.16/1214.31 c cleaning 10004 clauses out of 20081 with flag 864001/881765 1227.19/1224.32 c cleaning 10012 clauses out of 20077 with flag 874001/891765 1237.11/1234.24 c cleaning 10031 clauses out of 20066 with flag 884002/901766 1249.52/1246.63 c cleaning 9990 clauses out of 20036 with flag 894003/911767 1270.44/1267.57 c cleaning 9947 clauses out of 20043 with flag 904000/921764 1285.58/1282.64 c cleaning 10020 clauses out of 20098 with flag 914002/931766 1300.80/1297.84 c cleaning 10011 clauses out of 20077 with flag 924001/941765 1309.92/1306.97 c cleaning 10014 clauses out of 20065 with flag 934000/951764 1319.54/1316.50 c cleaning 10000 clauses out of 20057 with flag 944006/961770 1328.66/1325.69 c cleaning 10000 clauses out of 20052 with flag 954001/971765 1334.28/1331.27 c cleaning 9999 clauses out of 20051 with flag 964000/981764 1340.29/1337.27 c cleaning 9999 clauses out of 20054 with flag 974002/991766 1346.71/1343.69 c cleaning 9994 clauses out of 20054 with flag 984001/1001765 1353.02/1349.96 c cleaning 10001 clauses out of 20059 with flag 994000/1011764 1361.74/1358.63 c cleaning 9999 clauses out of 20058 with flag 1004000/1021764 1373.86/1370.77 c cleaning 9996 clauses out of 20061 with flag 1014002/1031766 1387.79/1384.61 c cleaning 10003 clauses out of 20068 with flag 1024005/1041769 1399.33/1396.10 c cleaning 9974 clauses out of 20061 with flag 1034001/1051765 1410.65/1407.41 c cleaning 9979 clauses out of 20086 with flag 1044000/1061764 1423.78/1420.58 c cleaning 10024 clauses out of 20107 with flag 1054000/1071764 1437.10/1433.85 c cleaning 10021 clauses out of 20085 with flag 1064002/1081766 1454.93/1451.63 c cleaning 9999 clauses out of 20065 with flag 1074003/1091767 1471.86/1468.53 c cleaning 10010 clauses out of 20066 with flag 1084003/1101767 1490.59/1487.21 c cleaning 9999 clauses out of 20053 with flag 1094000/1111764 1506.52/1503.19 c cleaning 10004 clauses out of 20056 with flag 1104002/1121766 1525.15/1521.79 c cleaning 10001 clauses out of 20052 with flag 1114002/1131766 1543.69/1540.28 c cleaning 9994 clauses out of 20050 with flag 1124001/1141765 1562.23/1558.78 c cleaning 9991 clauses out of 20055 with flag 1134000/1151764 1580.25/1576.78 c cleaning 10006 clauses out of 20066 with flag 1144002/1161766 1597.56/1594.04 c cleaning 10007 clauses out of 20059 with flag 1154001/1171765 1612.90/1609.39 c cleaning 10002 clauses out of 20053 with flag 1164002/1181766 1626.52/1622.96 c cleaning 10005 clauses out of 20049 with flag 1174000/1191764 1640.84/1637.27 c cleaning 9991 clauses out of 20044 with flag 1184000/1201764 1656.88/1653.24 c cleaning 10002 clauses out of 20053 with flag 1194000/1211764 1673.20/1669.54 c cleaning 10002 clauses out of 20052 with flag 1204001/1221765 1687.83/1684.18 c cleaning 10001 clauses out of 20050 with flag 1214001/1231765 1703.35/1699.63 c cleaning 10001 clauses out of 20050 with flag 1224002/1241766 1719.17/1715.41 c cleaning 10001 clauses out of 20047 with flag 1234000/1251764 1735.39/1731.67 c cleaning 10001 clauses out of 20047 with flag 1244001/1261765 1755.71/1751.93 c cleaning 10001 clauses out of 20047 with flag 1254002/1271766 1773.65/1769.89 c cleaning 9979 clauses out of 20044 with flag 1264000/1281764 1794.56/1790.72 c cleaning 10007 clauses out of 20065 with flag 1274000/1291764 1800.10/1796.21 c starts : 203 1800.10/1796.21 c conflicts : 1295080 1800.10/1796.21 c decisions : 2597680 1800.10/1796.21 c propagations : 68163159 1800.10/1796.21 c inspects : 1705398569 1800.10/1796.21 c shortcuts : 0 1800.10/1796.21 c learnt literals : 0 1800.10/1796.21 c learnt binary clauses : 0 1800.10/1796.21 c learnt ternary clauses : 0 1800.10/1796.21 c learnt constraints : 1295079 1800.10/1796.21 c ignored constraints : 0 1800.10/1796.21 c root simplifications : 0 1800.10/1796.21 c removed literals (reason simplification) : 4606294 1800.10/1796.21 c reason swapping (by a shorter reason) : 0 1800.10/1796.21 c Calls to reduceDB : 131 1800.10/1796.21 c number of reductions to clauses (during analyze) : 0 1800.10/1796.21 c number of learned constraints concerned by reduction : 0 1800.10/1796.21 c number of learning phase by resolution : 0 1800.10/1796.21 c number of learning phase by cutting planes : 0 1800.10/1796.22 c speed (assignments/second) : 38179.82052507143 1800.10/1796.22 c non guided choices 337748 1800.10/1796.22 c learnt constraints type 1800.10/1796.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13377 1800.10/1796.22 c constraints type 1800.10/1796.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85 1800.10/1796.22 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81 1800.10/1796.22 s SATISFIABLE 1800.10/1796.23 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.10/1796.24 c objective function=1 1800.10/1796.24 c Total wall clock time (in seconds): 1796.129
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-3492585-1307910916/watcher-3492585-1307910916 -o /var/tmp/evaluation-result-3492585-1307910916/solver-3492585-1307910916 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492585-1307910916.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: 2.01 2.02 1.94 3/195 14819 /proc/meminfo: memFree=1111296/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/14819/stat : 14819 (java) R 14817 14819 12190 0 -1 4202496 732 0 0 0 0 0 0 0 25 0 1 0 902689584 23580672 475 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228117751552 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/14819/statm: 5757 488 368 9 0 124 0 [startup+0.0346121 s] /proc/loadavg: 2.01 2.02 1.94 3/195 14819 /proc/meminfo: memFree=1111296/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10465424 CPUtime=0.02 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 10950 0 1 0 1 1 0 0 25 0 11 0 902689584 10716594176 10647 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2616356 10648 1599 9 0 2607104 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10465424 [startup+0.100602 s] /proc/loadavg: 2.01 2.02 1.94 3/195 14819 /proc/meminfo: memFree=1111296/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10539668 CPUtime=0.1 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 13020 0 1 0 9 1 0 0 25 0 18 0 902689584 10792620032 12698 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2634917 12698 2092 9 0 2625651 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539668 [startup+0.300561 s] /proc/loadavg: 2.01 2.02 1.94 3/195 14819 /proc/meminfo: memFree=1111296/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10544096 CPUtime=0.53 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 18253 0 1 0 51 2 0 0 25 0 18 0 902689584 10797154304 16833 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636024 16836 2201 9 0 2626758 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10544096 [startup+0.700501 s] /proc/loadavg: 2.01 2.02 1.94 3/195 14819 /proc/meminfo: memFree=1111296/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=1.47 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 21931 0 1 0 144 3 0 0 25 0 19 0 902689584 10798436352 19310 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 19310 2233 9 0 2627071 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10545348 [startup+1.50133 s] /proc/loadavg: 2.01 2.02 1.94 4/214 14838 /proc/meminfo: memFree=1037388/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=2.32 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 24334 0 1 0 229 3 0 0 25 0 19 0 902689584 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 21712 2233 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=1.48 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 17628 0 1 0 146 2 0 0 25 0 19 0 902689584 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505770843 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902689587 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689587 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.39 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3158 0 0 0 39 0 0 0 15 0 19 0 902689590 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.42 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2385 0 0 0 42 0 0 0 15 0 19 0 902689590 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 21712 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 10545348 [startup+3.10108 s] /proc/loadavg: 2.01 2.02 1.94 3/214 14838 /proc/meminfo: memFree=1027340/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=3.92 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 27124 0 1 0 388 4 0 0 25 0 19 0 902689584 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 24502 2233 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=3.07 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 20418 0 1 0 305 2 0 0 25 0 19 0 902689584 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505880142 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689586 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902689587 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689587 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.39 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3158 0 0 0 39 0 0 0 15 0 19 0 902689590 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.42 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2385 0 0 0 42 0 0 0 15 0 19 0 902689590 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 24502 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 10545348 [startup+6.30151 s] /proc/loadavg: 2.01 2.01 1.94 3/214 14838 /proc/meminfo: memFree=1007624/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=7.22 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 38765 0 1 0 716 6 0 0 25 0 19 0 902689584 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 36131 2260 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=6.25 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 23647 0 1 0 622 3 0 0 25 0 19 0 902689584 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505748672 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 693 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 1234 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 1171 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 1127 0 0 0 0 0 0 0 18 0 19 0 902689586 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=0.02 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 4174 0 0 0 2 0 0 0 15 0 19 0 902689587 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.42 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3165 0 0 0 42 0 0 0 15 0 19 0 902689590 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2398 0 0 0 48 0 0 0 15 0 19 0 902689590 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 36131 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 10545348 [startup+12.7013 s] ################ # More data... # ################ [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0.52 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 5738 0 0 0 51 1 0 0 15 0 19 0 902689586 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0.43 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 6675 0 0 0 42 1 0 0 15 0 19 0 902689586 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0.38 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 5555 0 0 0 38 0 0 0 16 0 19 0 902689586 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=5.16 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 18634 0 0 0 512 4 0 0 15 0 19 0 902689587 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3273 0 0 0 48 0 0 0 15 0 19 0 902689590 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2398 0 0 0 49 0 0 0 15 0 19 0 902689590 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 102098 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1666 Current children cumulated vsize (KiB) 10545348 [startup+1722.3 s] /proc/loadavg: 1.94 1.99 1.96 3/214 14952 /proc/meminfo: memFree=800128/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=1726.09 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 105160 0 1 0 172588 21 0 0 25 0 19 0 902689584 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 102104 2261 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=1715.8 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 33300 0 1 0 171574 6 0 0 25 0 19 0 902689584 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505762814 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 5193 0 0 0 47 1 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 5699 0 0 0 48 1 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0.5 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 7530 0 0 0 49 1 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0.53 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 6166 0 0 0 53 0 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0.46 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 3740 0 0 0 46 0 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0.55 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 5738 0 0 0 54 1 0 0 15 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0.44 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 6677 0 0 0 43 1 0 0 16 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0.39 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 5556 0 0 0 39 0 0 0 16 0 19 0 902689586 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=5.36 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 18638 0 0 0 532 4 0 0 15 0 19 0 902689587 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3273 0 0 0 48 0 0 0 15 0 19 0 902689590 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2398 0 0 0 49 0 0 0 15 0 19 0 902689590 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 102104 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1726.09 Current children cumulated vsize (KiB) 10545348 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 1.97 3/214 14956 /proc/meminfo: memFree=786724/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=1786.16 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 105189 0 1 0 178595 21 0 0 25 0 19 0 902689584 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 102124 2261 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=1775.61 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 33303 0 1 0 177555 6 0 0 25 0 19 0 902689584 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505753884 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0.5 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 5199 0 0 0 49 1 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 5699 0 0 0 48 1 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0.52 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 7530 0 0 0 51 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0.53 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 6166 0 0 0 53 0 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 3748 0 0 0 48 0 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0.55 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 5738 0 0 0 54 1 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0.46 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 6682 0 0 0 45 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0.4 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 5557 0 0 0 40 0 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=5.52 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 18640 0 0 0 548 4 0 0 15 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3273 0 0 0 48 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2398 0 0 0 49 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1786.16 Current children cumulated vsize (KiB) 10545348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 2.05 2.01 1.97 3/214 14957 /proc/meminfo: memFree=786188/32951124 swapFree=67051728/67111528 [pid=14819] ppid=14817 vsize=10545348 CPUtime=1800.1 cores=0,2,4,6 /proc/14819/stat : 14819 (java) S 14817 14819 12190 0 -1 4202496 105192 0 1 0 179989 21 0 0 25 0 19 0 902689584 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/14819/statm: 2636337 102124 2261 9 0 2627071 0 [pid=14819/tid=14821] ppid=14817 vsize=10545348 CPUtime=1789.47 cores=0,2,4,6 /proc/14819/task/14821/stat : 14821 (java) R 14817 14819 12190 0 -1 4202560 33304 0 1 0 178941 6 0 0 25 0 19 0 902689584 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 46912505879743 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14819/tid=14822] ppid=14817 vsize=10545348 CPUtime=0.5 cores=0,2,4,6 /proc/14819/task/14822/stat : 14822 (java) S 14817 14819 12190 0 -1 4202560 5199 0 0 0 49 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14823] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14823/stat : 14823 (java) S 14817 14819 12190 0 -1 4202560 5699 0 0 0 48 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14824] ppid=14817 vsize=10545348 CPUtime=0.52 cores=0,2,4,6 /proc/14819/task/14824/stat : 14824 (java) S 14817 14819 12190 0 -1 4202560 7530 0 0 0 51 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14825] ppid=14817 vsize=10545348 CPUtime=0.53 cores=0,2,4,6 /proc/14819/task/14825/stat : 14825 (java) S 14817 14819 12190 0 -1 4202560 6166 0 0 0 53 0 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14826] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14826/stat : 14826 (java) S 14817 14819 12190 0 -1 4202560 3748 0 0 0 49 0 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14827] ppid=14817 vsize=10545348 CPUtime=0.55 cores=0,2,4,6 /proc/14819/task/14827/stat : 14827 (java) S 14817 14819 12190 0 -1 4202560 5738 0 0 0 54 1 0 0 15 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14828] ppid=14817 vsize=10545348 CPUtime=0.47 cores=0,2,4,6 /proc/14819/task/14828/stat : 14828 (java) S 14817 14819 12190 0 -1 4202560 6682 0 0 0 46 1 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 [pid=14819/tid=14829] ppid=14817 vsize=10545348 CPUtime=0.41 cores=0,2,4,6 /proc/14819/task/14829/stat : 14829 (java) S 14817 14819 12190 0 -1 4202560 5557 0 0 0 41 0 0 0 16 0 19 0 902689586 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14830] ppid=14817 vsize=10545348 CPUtime=5.57 cores=0,2,4,6 /proc/14819/task/14830/stat : 14830 (java) S 14817 14819 12190 0 -1 4202560 18642 0 0 0 553 4 0 0 15 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 0 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14831] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14831/stat : 14831 (java) S 14817 14819 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14832] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14832/stat : 14832 (java) S 14817 14819 12190 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902689587 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14833] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14833/stat : 14833 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134537649 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14834] ppid=14817 vsize=10545348 CPUtime=0.48 cores=0,2,4,6 /proc/14819/task/14834/stat : 14834 (java) S 14817 14819 12190 0 -1 4202560 3273 0 0 0 48 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 2 0 0 0 [pid=14819/tid=14835] ppid=14817 vsize=10545348 CPUtime=0.49 cores=0,2,4,6 /proc/14819/task/14835/stat : 14835 (java) S 14817 14819 12190 0 -1 4202560 2398 0 0 0 49 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14836] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14836/stat : 14836 (java) S 14817 14819 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134529945 0 4 0 16800975 18446604448003049536 0 0 -1 0 0 0 0 [pid=14819/tid=14837] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14837/stat : 14837 (java) S 14817 14819 12190 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902689590 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 4 0 0 0 [pid=14819/tid=14838] ppid=14817 vsize=10545348 CPUtime=0 cores=0,2,4,6 /proc/14819/task/14838/stat : 14838 (java) S 14817 14819 12190 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902689618 10798436352 102124 33554432000 1073741824 1073778376 140734541306800 18446744073709551615 228134530560 0 4 0 16800975 18446604448003049536 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10545348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1796.26 CPU time (s): 1800.2 CPU user time (s): 1799.97 CPU system time (s): 0.233964 CPU usage (%): 100.219 Max. virtual memory (cumulated for all children) (KiB): 10545348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.233964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105326 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40253 involuntary context switches= 6941 runsolver used 3.20951 second user time and 6.61199 second system time The end
Begin job on node138 at 2011-06-12 22:35:16 IDJOB=3492585 IDBENCH=79176 IDSOLVER=1982 FILE ID=node138/3492585-1307910916 RUNJOBID= node138-1307908076-13712 PBS_JOBID= 13559517 Free space on /var/tmp= 2896 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-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-3492585-1307910916/watcher-3492585-1307910916 -o /var/tmp/evaluation-result-3492585-1307910916/solver-3492585-1307910916 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492585-1307910916.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6 RANDOM SEED=579668143 node138.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.854 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.854 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 : 5332.75 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.854 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.82 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.854 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.75 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.854 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.80 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.854 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.75 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.854 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.82 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.854 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1111700 kB Buffers: 71420 kB Cached: 30625484 kB SwapCached: 13084 kB Active: 16199740 kB Inactive: 14682252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1111700 kB SwapTotal: 67111528 kB SwapFree: 67051728 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 182236 kB Mapped: 17524 kB Slab: 894488 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10551156 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= 2896 MiB End job on node138 at 2011-06-12 23:05:14