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.13 | 1796.66 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo |
| MD5SUM | 374ed8d346409439b64d782bc7a820e5 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.383941 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4970 |
| Total number of constraints | 141 |
| Number of soft constraints | 94 |
| Number of constraints which are clauses | 71 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 71 |
| Top cost | 5200 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 5199 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 72 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.29 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.29 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.29 c See www.sat4j.org for details. 0.11/0.30 c version 2.3.1.v20110525 0.11/0.30 c java.runtime.name Java(TM) SE Runtime Environment 0.11/0.30 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.11/0.30 c java.vm.version 19.1-b02 0.11/0.30 c java.vm.vendor Sun Microsystems Inc. 0.11/0.30 c sun.arch.data.model 64 0.11/0.30 c java.version 1.6.0_24 0.11/0.30 c os.name Linux 0.11/0.30 c os.version 2.6.18-164.el5 0.11/0.30 c os.arch amd64 0.11/0.30 c Free memory 9996466904 0.11/0.30 c Max memory 10048897024 0.11/0.30 c Total memory 10048897024 0.11/0.30 c Number of processors 8 0.11/0.33 c Pseudo Boolean Optimization 0.11/0.33 c --- Begin Solver configuration --- 0.11/0.33 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.33 c Learn all clauses as in MiniSAT 0.11/0.33 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.33 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.33 c Expensive reason simplification 0.11/0.33 c Armin Biere (Picosat) restarts strategy 0.11/0.33 c Glucose learned constraints deletion strategy 0.11/0.33 c timeout=2147483s 0.11/0.33 c DB Simplification allowed=false 0.11/0.33 c --- End Solver configuration --- 0.11/0.33 c solving HOME/instance-3492294-1307908985.wbo 0.11/0.33 c reading problem ... 0.54/0.51 c ... done. Wall clock time 0.178s. 0.54/0.51 c #vars 5064 0.54/0.51 c #constraints 141 0.54/0.51 c constraints type 0.54/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 0.54/0.51 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 0.54/0.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 46 1.10/0.70 c SATISFIABLE 1.10/0.70 c OPTIMIZING... 1.10/0.70 c Got one! Elapsed wall clock time (in seconds):0.369 1.10/0.70 o 108 1.10/0.75 c Got one! Elapsed wall clock time (in seconds):0.421 1.10/0.75 o 90 1.26/0.81 c Got one! Elapsed wall clock time (in seconds):0.475 1.26/0.81 o 6 1.53/1.02 c Got one! Elapsed wall clock time (in seconds):0.694 1.53/1.02 o 1 3.94/3.49 c cleaning 3078 clauses out of 6266 with flag 5000/6266 7.79/7.25 c cleaning 4563 clauses out of 9188 with flag 11000/12266 12.20/11.68 c cleaning 5773 clauses out of 11626 with flag 18001/19267 17.42/16.82 c cleaning 6889 clauses out of 13854 with flag 26002/27268 25.27/24.63 c cleaning 7950 clauses out of 15964 with flag 35001/36267 32.68/32.06 c cleaning 8968 clauses out of 18015 with flag 45002/46268 39.20/38.60 c cleaning 9488 clauses out of 19045 with flag 55000/56266 46.60/45.94 c cleaning 9749 clauses out of 19559 with flag 65002/66268 53.91/53.27 c cleaning 9879 clauses out of 19808 with flag 75000/76266 60.91/60.29 c cleaning 9909 clauses out of 19929 with flag 85000/86266 70.42/69.79 c cleaning 9972 clauses out of 20020 with flag 95000/96266 80.52/79.81 c cleaning 9987 clauses out of 20048 with flag 105000/106266 91.84/91.16 c cleaning 9999 clauses out of 20063 with flag 115002/116268 98.57/97.88 c cleaning 9991 clauses out of 20064 with flag 125002/126268 107.27/106.58 c cleaning 9976 clauses out of 20073 with flag 135002/136268 117.68/116.95 c cleaning 10006 clauses out of 20095 with flag 145000/146266 130.08/129.36 c cleaning 10009 clauses out of 20089 with flag 155000/156266 143.60/142.85 c cleaning 10003 clauses out of 20084 with flag 165004/166270 154.23/153.41 c cleaning 9991 clauses out of 20077 with flag 175000/176266 162.15/161.36 c cleaning 9979 clauses out of 20089 with flag 185003/186269 168.07/167.23 c cleaning 10049 clauses out of 20108 with flag 195001/196267 181.97/181.11 c cleaning 10009 clauses out of 20060 with flag 205002/206268 195.39/194.54 c cleaning 9983 clauses out of 20049 with flag 215000/216266 209.31/208.48 c cleaning 9990 clauses out of 20067 with flag 225001/226267 219.92/219.02 c cleaning 10006 clauses out of 20076 with flag 235000/236266 231.13/230.20 c cleaning 10008 clauses out of 20070 with flag 245000/246266 242.36/241.46 c cleaning 10004 clauses out of 20062 with flag 255000/256266 250.78/249.86 c cleaning 9964 clauses out of 20060 with flag 265002/266268 261.29/260.35 c cleaning 9999 clauses out of 20094 with flag 275000/276266 269.41/268.44 c cleaning 10010 clauses out of 20096 with flag 285001/286267 281.91/280.98 c cleaning 10003 clauses out of 20088 with flag 295003/296269 293.33/292.36 c cleaning 10003 clauses out of 20083 with flag 305001/306267 307.35/306.35 c cleaning 9988 clauses out of 20082 with flag 315003/316269 316.57/315.53 c cleaning 10016 clauses out of 20093 with flag 325002/326268 325.89/324.84 c cleaning 10018 clauses out of 20075 with flag 335000/336266 335.90/334.86 c cleaning 10011 clauses out of 20057 with flag 345000/346266 354.53/353.41 c cleaning 9932 clauses out of 20053 with flag 355007/356273 373.57/372.46 c cleaning 9992 clauses out of 20115 with flag 365001/366267 394.20/393.05 c cleaning 9984 clauses out of 20123 with flag 375001/376267 412.33/411.11 c cleaning 9995 clauses out of 20141 with flag 385003/386269 422.57/421.33 c cleaning 10025 clauses out of 20144 with flag 395001/396267 430.59/429.40 c cleaning 10010 clauses out of 20119 with flag 405001/406267 438.70/437.43 c cleaning 10011 clauses out of 20110 with flag 415002/416268 450.01/448.78 c cleaning 10005 clauses out of 20100 with flag 425003/426269 463.62/462.34 c cleaning 10026 clauses out of 20092 with flag 435000/436266 478.75/477.46 c cleaning 10008 clauses out of 20068 with flag 445002/446268 494.47/493.12 c cleaning 9976 clauses out of 20060 with flag 455002/456268 510.70/509.39 c cleaning 10012 clauses out of 20087 with flag 465005/466271 527.22/525.86 c cleaning 9994 clauses out of 20070 with flag 475000/476266 537.65/536.24 c cleaning 10023 clauses out of 20076 with flag 485000/486266 545.68/544.22 c cleaning 10005 clauses out of 20055 with flag 495002/496268 554.01/552.58 c cleaning 9974 clauses out of 20049 with flag 505001/506267 562.34/560.87 c cleaning 10010 clauses out of 20075 with flag 515001/516267 573.48/571.99 c cleaning 9968 clauses out of 20064 with flag 525000/526266 590.01/588.49 c cleaning 9978 clauses out of 20100 with flag 535004/536270 607.03/605.46 c cleaning 9996 clauses out of 20118 with flag 545000/546266 625.16/623.54 c cleaning 9986 clauses out of 20124 with flag 555002/556268 641.30/639.66 c cleaning 10013 clauses out of 20136 with flag 565000/566266 658.02/656.34 c cleaning 9996 clauses out of 20127 with flag 575004/576270 675.04/673.39 c cleaning 9995 clauses out of 20129 with flag 585002/586268 682.68/680.93 c cleaning 10022 clauses out of 20132 with flag 595000/596266 690.29/688.59 c cleaning 10013 clauses out of 20110 with flag 605000/606266 702.70/700.91 c cleaning 10008 clauses out of 20098 with flag 615001/616267 713.72/711.90 c cleaning 9998 clauses out of 20089 with flag 625000/626266 726.74/724.91 c cleaning 10007 clauses out of 20096 with flag 635005/636271 738.26/736.41 c cleaning 10020 clauses out of 20084 with flag 645000/646266 746.99/745.18 c cleaning 10008 clauses out of 20064 with flag 655000/656266 758.90/757.09 c cleaning 9982 clauses out of 20060 with flag 665004/666270 771.83/769.93 c cleaning 10006 clauses out of 20075 with flag 675001/676267 783.35/781.47 c cleaning 9991 clauses out of 20068 with flag 685000/686266 795.27/793.30 c cleaning 9995 clauses out of 20078 with flag 695001/696267 807.90/805.99 c cleaning 9981 clauses out of 20083 with flag 705001/706267 820.02/818.02 c cleaning 9970 clauses out of 20101 with flag 715000/716266 831.54/829.57 c cleaning 10002 clauses out of 20133 with flag 725002/726268 843.46/841.41 c cleaning 9999 clauses out of 20129 with flag 735000/736266 856.58/854.54 c cleaning 10010 clauses out of 20133 with flag 745003/746269 869.70/867.62 c cleaning 10002 clauses out of 20120 with flag 755000/756266 883.43/881.35 c cleaning 10001 clauses out of 20121 with flag 765003/766269 896.25/894.14 c cleaning 9999 clauses out of 20120 with flag 775003/776269 906.48/904.36 c cleaning 10019 clauses out of 20118 with flag 785000/786266 913.09/910.94 c cleaning 10012 clauses out of 20099 with flag 795000/796266 919.51/917.40 c cleaning 10007 clauses out of 20088 with flag 805001/806267 926.12/923.98 c cleaning 10004 clauses out of 20081 with flag 815001/816267 932.84/930.64 c cleaning 10007 clauses out of 20085 with flag 825009/826275 940.24/938.07 c cleaning 9997 clauses out of 20069 with flag 835000/836266 948.05/945.82 c cleaning 10001 clauses out of 20072 with flag 845000/846266 954.16/951.91 c cleaning 9988 clauses out of 20073 with flag 855002/856268 961.17/958.98 c cleaning 9995 clauses out of 20087 with flag 865004/866270 976.28/974.06 c cleaning 10006 clauses out of 20088 with flag 875000/876266 987.80/985.52 c cleaning 9993 clauses out of 20082 with flag 885000/886266 995.32/993.03 c cleaning 10016 clauses out of 20090 with flag 895001/896267 1005.13/1002.84 c cleaning 10005 clauses out of 20073 with flag 905000/906266 1016.84/1014.58 c cleaning 9999 clauses out of 20069 with flag 915001/916267 1028.86/1026.54 c cleaning 10001 clauses out of 20070 with flag 925001/926267 1040.98/1038.67 c cleaning 9994 clauses out of 20069 with flag 935001/936267 1051.39/1049.01 c cleaning 9994 clauses out of 20077 with flag 945003/946269 1065.62/1063.21 c cleaning 10018 clauses out of 20080 with flag 955000/956266 1080.23/1077.82 c cleaning 10011 clauses out of 20065 with flag 965003/966269 1089.96/1087.53 c cleaning 10012 clauses out of 20052 with flag 975001/976267 1096.76/1094.33 c cleaning 10006 clauses out of 20041 with flag 985002/986268 1104.08/1101.68 c cleaning 9979 clauses out of 20034 with flag 995001/996267 1112.30/1109.81 c cleaning 10011 clauses out of 20055 with flag 1005001/1006267 1119.70/1117.29 c cleaning 9993 clauses out of 20045 with flag 1015002/1016268 1129.72/1127.29 c cleaning 9996 clauses out of 20051 with flag 1025001/1026267 1138.53/1136.10 c cleaning 9994 clauses out of 20055 with flag 1035001/1036267 1146.84/1144.37 c cleaning 9998 clauses out of 20061 with flag 1045001/1046267 1157.86/1155.39 c cleaning 9998 clauses out of 20062 with flag 1055000/1056266 1172.26/1169.70 c cleaning 10003 clauses out of 20065 with flag 1065001/1066267 1184.69/1182.19 c cleaning 9986 clauses out of 20061 with flag 1075000/1076266 1193.60/1191.08 c cleaning 10003 clauses out of 20076 with flag 1085001/1086267 1200.52/1197.95 c cleaning 9983 clauses out of 20073 with flag 1095001/1096267 1223.53/1220.94 c cleaning 10004 clauses out of 20089 with flag 1105000/1106266 1243.37/1240.76 c cleaning 9980 clauses out of 20086 with flag 1115001/1116267 1264.10/1261.47 c cleaning 10016 clauses out of 20105 with flag 1125000/1126266 1276.13/1273.41 c cleaning 9966 clauses out of 20091 with flag 1135002/1136268 1291.04/1288.37 c cleaning 9986 clauses out of 20126 with flag 1145003/1146269 1303.76/1301.10 c cleaning 9974 clauses out of 20137 with flag 1155000/1156266 1315.79/1313.05 c cleaning 10014 clauses out of 20164 with flag 1165001/1166267 1328.21/1325.46 c cleaning 9991 clauses out of 20149 with flag 1175000/1176266 1334.73/1331.99 c cleaning 10045 clauses out of 20158 with flag 1185000/1186266 1346.53/1343.75 c cleaning 10022 clauses out of 20114 with flag 1195001/1196267 1358.95/1356.15 c cleaning 10018 clauses out of 20095 with flag 1205004/1206270 1376.36/1373.50 c cleaning 10009 clauses out of 20074 with flag 1215001/1216267 1396.99/1394.14 c cleaning 10001 clauses out of 20064 with flag 1225000/1226266 1416.13/1413.22 c cleaning 10001 clauses out of 20063 with flag 1235000/1236266 1437.04/1434.12 c cleaning 10000 clauses out of 20064 with flag 1245002/1246268 1455.17/1452.24 c cleaning 10004 clauses out of 20064 with flag 1255002/1256268 1474.49/1471.52 c cleaning 10002 clauses out of 20060 with flag 1265002/1266268 1491.70/1488.72 c cleaning 9985 clauses out of 20056 with flag 1275000/1276266 1506.81/1503.81 c cleaning 10005 clauses out of 20071 with flag 1285000/1286266 1526.62/1523.60 c cleaning 10006 clauses out of 20068 with flag 1295002/1296268 1544.04/1541.06 c cleaning 10003 clauses out of 20063 with flag 1305003/1306269 1562.76/1559.71 c cleaning 10001 clauses out of 20057 with flag 1315000/1316266 1585.27/1582.25 c cleaning 10017 clauses out of 20056 with flag 1325000/1326266 1591.99/1588.97 c cleaning 9971 clauses out of 20039 with flag 1335000/1336266 1600.00/1596.92 c cleaning 9993 clauses out of 20072 with flag 1345004/1346270 1610.41/1607.34 c cleaning 10002 clauses out of 20075 with flag 1355000/1356266 1623.52/1620.46 c cleaning 10025 clauses out of 20073 with flag 1365000/1366266 1640.35/1637.20 c cleaning 10008 clauses out of 20049 with flag 1375001/1376267 1655.97/1652.89 c cleaning 9994 clauses out of 20040 with flag 1385000/1386266 1673.49/1670.35 c cleaning 10001 clauses out of 20049 with flag 1395003/1396269 1688.72/1685.53 c cleaning 9995 clauses out of 20047 with flag 1405002/1406268 1701.05/1697.86 c cleaning 10000 clauses out of 20052 with flag 1415002/1416268 1712.46/1709.21 c cleaning 9989 clauses out of 20050 with flag 1425000/1426266 1728.88/1725.67 c cleaning 10006 clauses out of 20063 with flag 1435002/1436268 1742.31/1739.08 c cleaning 10000 clauses out of 20055 with flag 1445000/1446266 1758.12/1754.87 c cleaning 9998 clauses out of 20058 with flag 1455003/1456269 1766.74/1763.44 c cleaning 9971 clauses out of 20058 with flag 1465001/1466267 1775.76/1772.46 c cleaning 9984 clauses out of 20087 with flag 1475001/1476267 1785.87/1782.56 c cleaning 9991 clauses out of 20102 with flag 1485000/1486266 1795.88/1792.54 c cleaning 9993 clauses out of 20111 with flag 1495000/1496266 1800.01/1796.61 c starts : 211 1800.01/1796.61 c conflicts : 1501175 1800.01/1796.61 c decisions : 2806014 1800.01/1796.61 c propagations : 67122998 1800.01/1796.61 c inspects : 1983461542 1800.01/1796.61 c shortcuts : 0 1800.01/1796.61 c learnt literals : 0 1800.01/1796.61 c learnt binary clauses : 0 1800.01/1796.61 c learnt ternary clauses : 0 1800.01/1796.61 c learnt constraints : 1501175 1800.01/1796.61 c ignored constraints : 0 1800.01/1796.61 c root simplifications : 0 1800.01/1796.61 c removed literals (reason simplification) : 11917978 1800.01/1796.61 c reason swapping (by a shorter reason) : 0 1800.01/1796.61 c Calls to reduceDB : 151 1800.01/1796.61 c number of reductions to clauses (during analyze) : 0 1800.01/1796.61 c number of learned constraints concerned by reduction : 0 1800.01/1796.61 c number of learning phase by resolution : 0 1800.01/1796.61 c number of learning phase by cutting planes : 0 1800.01/1796.61 c speed (assignments/second) : 37382.27228578557 1800.01/1796.61 c non guided choices 228468 1800.01/1796.62 c learnt constraints type 1800.01/1796.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15036 1800.01/1796.62 c constraints type 1800.01/1796.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 71 1800.01/1796.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 1800.01/1796.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47 1800.01/1796.62 s SATISFIABLE 1800.01/1796.63 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 1800.01/1796.64 c objective function=1 1800.01/1796.64 c Total wall clock time (in seconds): 1796.305
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-3492294-1307908985/watcher-3492294-1307908985 -o /var/tmp/evaluation-result-3492294-1307908985/solver-3492294-1307908985 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492294-1307908985.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: 1.31 1.77 1.84 4/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=2464 CPUtime=0 cores=0,2,4,6 /proc/11252/stat : 11252 (java) R 11249 11252 8717 0 -1 4194304 92 0 0 0 0 0 0 0 17 0 1 0 358507868 2523136 44 33554432000 1073741824 1073778376 140733793986544 18446744073709551615 218875641412 0 2147483391 4096 0 0 0 0 17 4 0 0 0 /proc/11252/statm: 616 44 35 9 0 27 0 [startup+0.0247189 s] /proc/loadavg: 1.31 1.77 1.84 4/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/11252/stat : 11252 (java) D 11249 11252 8717 0 -1 4202496 463 0 3 0 0 0 0 0 17 0 1 0 358507868 23580672 208 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218875602709 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0 /proc/11252/statm: 5757 208 163 9 0 124 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23028 [startup+0.10069 s] /proc/loadavg: 1.31 1.77 1.84 4/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=28384 CPUtime=0 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 1123 0 57 0 0 0 0 0 17 0 2 0 358507868 29065216 906 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 7096 906 688 9 0 381 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28384 [startup+0.303227 s] /proc/loadavg: 1.31 1.77 1.84 4/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10540480 CPUtime=0.11 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 12766 0 113 0 9 2 0 0 17 0 18 0 358507868 10793451520 12552 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2635120 12553 2082 9 0 2625854 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540480 [startup+0.700624 s] /proc/loadavg: 1.31 1.77 1.84 4/176 11254 /proc/meminfo: memFree=1508500/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=1.1 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 19021 0 113 0 107 3 0 0 17 0 19 0 358507868 10802896896 17522 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 17522 2222 9 0 2628160 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 10549704 [startup+1.50147 s] /proc/loadavg: 1.31 1.77 1.84 4/214 11292 /proc/meminfo: memFree=1356816/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=2.04 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 21313 0 113 0 200 4 0 0 17 0 19 0 358507868 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 18844 2227 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=1.27 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 15039 0 53 0 125 2 0 0 20 0 19 0 358507878 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505676992 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 358507884 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 358507887 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 358507888 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 358507888 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.35 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2904 0 2 0 35 0 0 0 15 0 19 0 358507894 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.38 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2263 0 2 0 38 0 0 0 19 0 19 0 358507894 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) R 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 18844 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 10549704 [startup+3.10118 s] /proc/loadavg: 1.36 1.77 1.84 4/214 11292 /proc/meminfo: memFree=1344044/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=3.64 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 22878 0 113 0 360 4 0 0 17 0 19 0 358507868 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 20409 2227 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=2.88 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 16604 0 53 0 285 3 0 0 25 0 19 0 358507878 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505357447 0 4 0 16800975 0 0 0 -1 4 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 358507884 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 358507887 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 358507888 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 358507888 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.35 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2904 0 2 0 35 0 0 0 15 0 19 0 358507894 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.38 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2263 0 2 0 38 0 0 0 19 0 19 0 358507894 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 20409 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.64 Current children cumulated vsize (KiB) 10549704 [startup+6.30063 s] /proc/loadavg: 1.36 1.77 1.84 5/214 11292 /proc/meminfo: memFree=1278860/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=6.89 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 26847 0 113 0 685 4 0 0 17 0 19 0 358507868 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 24370 2253 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=6.04 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 17099 0 53 0 601 3 0 0 25 0 19 0 358507878 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505678974 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 574 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 284 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 320 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 510 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 358507884 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=0.01 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 1683 0 0 0 1 0 0 0 15 0 19 0 358507887 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 4 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.38 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2973 0 2 0 38 0 0 0 16 0 19 0 358507894 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.42 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2278 0 2 0 42 0 0 0 16 0 19 0 358507894 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 24370 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.89 Current children cumulated vsize (KiB) 10549704 [startup+12.7015 s] ################ # More data... # ################ [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0.48 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 6694 0 0 0 48 0 0 0 15 0 19 0 358507884 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0.45 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 3817 0 0 0 45 0 0 0 16 0 19 0 358507884 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0.47 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 4383 0 0 0 47 0 0 0 16 0 19 0 358507884 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=4.98 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 16020 0 0 0 494 4 0 0 15 0 19 0 358507887 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 4 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.39 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2986 0 2 0 39 0 0 0 15 0 19 0 358507894 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2302 0 2 0 49 0 0 0 15 0 19 0 358507894 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 84537 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1665.49 Current children cumulated vsize (KiB) 10549704 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.92 4/214 11341 /proc/meminfo: memFree=769832/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=1725.57 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 87381 0 113 0 172540 17 0 0 17 0 19 0 358507868 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 84543 2254 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=1715.75 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 29538 0 53 0 171569 6 0 0 25 0 19 0 358507878 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505678974 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0.4 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 3467 0 0 0 40 0 0 0 16 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0.47 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 2822 0 0 0 47 0 0 0 15 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0.44 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 5220 0 0 0 44 0 0 0 16 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0.42 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 3981 0 0 0 42 0 0 0 15 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0.47 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 4949 0 0 0 47 0 0 0 16 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0.5 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 6697 0 0 0 50 0 0 0 15 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0.48 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 3817 0 0 0 48 0 0 0 15 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0.48 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 4383 0 0 0 48 0 0 0 16 0 19 0 358507884 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=5.15 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 16022 0 0 0 511 4 0 0 15 0 19 0 358507887 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 4 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.39 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2986 0 2 0 39 0 0 0 15 0 19 0 358507894 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2302 0 2 0 49 0 0 0 15 0 19 0 358507894 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 84543 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1725.57 Current children cumulated vsize (KiB) 10549704 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 1.93 4/214 11342 /proc/meminfo: memFree=761080/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=1785.67 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 87399 0 113 0 178549 18 0 0 17 0 19 0 358507868 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 84548 2254 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=1775.49 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 29543 0 53 0 177542 7 0 0 25 0 19 0 358507878 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505678979 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0.41 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 3467 0 0 0 41 0 0 0 16 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 2822 0 0 0 49 0 0 0 15 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0.46 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 5220 0 0 0 46 0 0 0 15 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0.43 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 3981 0 0 0 43 0 0 0 15 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 4952 0 0 0 49 0 0 0 15 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0.51 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 6697 0 0 0 51 0 0 0 15 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0.5 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 3819 0 0 0 50 0 0 0 16 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 4383 0 0 0 49 0 0 0 16 0 19 0 358507884 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=5.38 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 16026 0 0 0 534 4 0 0 15 0 19 0 358507887 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 4 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.39 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2986 0 2 0 39 0 0 0 15 0 19 0 358507894 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2302 0 2 0 49 0 0 0 15 0 19 0 358507894 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 84548 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1785.67 Current children cumulated vsize (KiB) 10549704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.6 s] /proc/loadavg: 2.00 2.01 1.93 2/194 11346 /proc/meminfo: memFree=1160660/32950928 swapFree=67054688/67111528 [pid=11252] ppid=11249 vsize=10549704 CPUtime=1800.01 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 8717 0 -1 4202496 87409 0 113 0 179983 18 0 0 17 0 19 0 358507868 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 /proc/11252/statm: 2637426 84554 2254 9 0 2628160 0 [pid=11252/tid=11258] ppid=11249 vsize=10549704 CPUtime=1789.7 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) R 11249 11252 8717 0 -1 4202560 29545 0 53 0 178963 7 0 0 25 0 19 0 358507878 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 46912505719024 0 4 0 16800975 0 0 0 -1 0 0 0 9 [pid=11252/tid=11259] ppid=11249 vsize=10549704 CPUtime=0.42 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 8717 0 -1 4202560 3467 0 0 0 42 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 8717 0 -1 4202560 2822 0 0 0 49 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=10549704 CPUtime=0.46 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 8717 0 -1 4202560 5220 0 0 0 46 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=10549704 CPUtime=0.43 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 8717 0 -1 4202560 3981 0 0 0 43 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=10549704 CPUtime=0.5 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 8717 0 -1 4202560 4952 0 0 0 50 0 0 0 16 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=10549704 CPUtime=0.52 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 8717 0 -1 4202560 6699 0 0 0 52 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=10549704 CPUtime=0.52 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 8717 0 -1 4202560 3820 0 0 0 52 0 0 0 16 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11272] ppid=11249 vsize=10549704 CPUtime=0.5 cores=0,2,4,6 /proc/11252/task/11272/stat : 11272 (java) S 11249 11252 8717 0 -1 4202560 4386 0 0 0 50 0 0 0 15 0 19 0 358507884 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 [pid=11252/tid=11276] ppid=11249 vsize=10549704 CPUtime=5.46 cores=0,2,4,6 /proc/11252/task/11276/stat : 11276 (java) S 11249 11252 8717 0 -1 4202560 16028 0 0 0 542 4 0 0 15 0 19 0 358507887 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 0 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11277] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11277/stat : 11277 (java) S 11249 11252 8717 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11279] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11279/stat : 11279 (java) S 11249 11252 8717 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 358507888 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 4 [pid=11252/tid=11281] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11281/stat : 11281 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 358507894 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892388785 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11283] ppid=11249 vsize=10549704 CPUtime=0.39 cores=0,2,4,6 /proc/11252/task/11283/stat : 11283 (java) S 11249 11252 8717 0 -1 4202560 2986 0 2 0 39 0 0 0 15 0 19 0 358507894 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11285] ppid=11249 vsize=10549704 CPUtime=0.49 cores=0,2,4,6 /proc/11252/task/11285/stat : 11285 (java) S 11249 11252 8717 0 -1 4202560 2302 0 2 0 49 0 0 0 15 0 19 0 358507894 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 0 0 0 0 [pid=11252/tid=11287] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11287/stat : 11287 (java) S 11249 11252 8717 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 358507894 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381081 0 4 0 16800975 18446604453972449344 0 0 -1 4 0 0 0 [pid=11252/tid=11289] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11289/stat : 11289 (java) S 11249 11252 8717 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 358507894 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 2 0 0 0 [pid=11252/tid=11291] ppid=11249 vsize=10549704 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11291/stat : 11291 (java) S 11249 11252 8717 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 358507921 10802896896 84554 33554432000 1073741824 1073778376 140735803007792 18446744073709551615 218892381696 0 4 0 16800975 18446604453972449344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 10549704 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.66 CPU time (s): 1800.13 CPU user time (s): 1799.93 CPU system time (s): 0.201969 CPU usage (%): 100.193 Max. virtual memory (cumulated for all children) (KiB): 10549704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.201969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87957 page faults= 113 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41243 involuntary context switches= 35021 runsolver used 2.94555 second user time and 6.86696 second system time The end
Begin job on node112 at 2011-06-12 22:03:05 IDJOB=3492294 IDBENCH=78732 IDSOLVER=1982 FILE ID=node112/3492294-1307908985 RUNJOBID= node112-1307908984-11227 PBS_JOBID= 13559592 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-33-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-3492294-1307908985/watcher-3492294-1307908985 -o /var/tmp/evaluation-result-3492294-1307908985/solver-3492294-1307908985 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492294-1307908985.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5 RANDOM SEED=890541090 node112.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.847 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.69 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.847 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 : 5180.45 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.847 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.76 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.847 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.82 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.847 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.61 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.847 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.83 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.847 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.74 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.847 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 1509068 kB Buffers: 62224 kB Cached: 30412256 kB SwapCached: 10436 kB Active: 15693676 kB Inactive: 14798776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 1509068 kB SwapTotal: 67111528 kB SwapFree: 67054688 kB Dirty: 820 kB Writeback: 0 kB AnonPages: 16188 kB Mapped: 9024 kB Slab: 884536 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 184684 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= 2884 MiB End job on node112 at 2011-06-12 22:33:03