Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 27 | 1800.18 | 957.448 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
| MD5SUM | c19adaf233257cdd6134391794b23c65 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1.07883 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 3187 |
| Total number of constraints | 8922 |
| Number of constraints which are clauses | 8922 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1527 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1527 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1527 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3688428-1337877573.opb 0.08/0.13 c reading problem ... 0.73/0.42 c ... done. Wall clock time 0.29s. 0.73/0.42 c declared #vars 3187 0.73/0.42 c #constraints 8922 0.73/0.42 c constraints type 0.73/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668 0.73/0.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 93 0.73/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161 0.73/0.42 c 8922 constraints processed. 0.73/0.42 c constraints type 0.73/0.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161 0.73/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668 0.73/0.42 c org.sat4j.pb.constraints.pb.UnitClausePB => 93 0.73/0.42 c 8922 constraints processed. 0.73/0.42 c objective function length is 1527 literals 0.73/0.48 c And the winner is solver1 1.54/0.92 c SATISFIABLE 1.54/0.92 c OPTIMIZING... 1.54/0.92 c Got one! Elapsed wall clock time (in seconds):0.794 1.54/0.92 o 35 1.54/0.96 c And the winner is solver0 2.07/1.43 c Got one! Elapsed wall clock time (in seconds):1.303 2.07/1.43 o 34 4.14/2.22 c And the winner is solver1 4.22/2.44 c Got one! Elapsed wall clock time (in seconds):2.309 4.22/2.44 o 33 5.85/3.28 c cleaning 2999 clauses out of 6003 with flag 3000/6003 9.13/4.88 c cleaning 4496 clauses out of 9004 with flag 9000/12003 12.57/6.59 c cleaning 5754 clauses out of 11508 with flag 16000/19003 16.33/8.47 c cleaning 6871 clauses out of 13755 with flag 24001/27004 20.70/10.66 c cleaning 7942 clauses out of 15884 with flag 33001/36004 25.42/13.09 c cleaning 8964 clauses out of 17941 with flag 43000/46003 30.94/15.86 c cleaning 9988 clauses out of 19978 with flag 54001/57004 36.87/18.90 c And the winner is solver1 37.02/19.05 c Got one! Elapsed wall clock time (in seconds):18.921 37.02/19.05 o 32 39.34/20.27 c cleaning 13339 clauses out of 26680 with flag 5002/73694 42.74/22.08 c cleaning 9670 clauses out of 19339 with flag 11000/79692 46.36/23.95 c cleaning 8325 clauses out of 16669 with flag 18000/86692 50.40/26.08 c cleaning 8153 clauses out of 16344 with flag 26000/94692 55.02/28.48 c cleaning 8589 clauses out of 17192 with flag 35001/103693 60.35/31.23 c cleaning 9277 clauses out of 18602 with flag 45000/113692 66.17/34.21 c cleaning 10134 clauses out of 20325 with flag 56000/124692 72.60/37.55 c cleaning 11095 clauses out of 22191 with flag 68000/136692 80.01/41.38 c cleaning 12037 clauses out of 24096 with flag 81000/149692 88.05/45.52 c cleaning 12994 clauses out of 26059 with flag 95000/163692 93.22/48.21 c And the winner is solver1 93.13/48.33 c Got one! Elapsed wall clock time (in seconds):48.197 93.13/48.33 o 31 95.49/49.59 c cleaning 13774 clauses out of 27569 with flag 5000/178196 98.80/51.35 c cleaning 9882 clauses out of 19795 with flag 11000/184196 101.53/52.86 c And the winner is solver1 101.64/53.18 c Got one! Elapsed wall clock time (in seconds):53.047 101.64/53.18 o 30 104.09/54.46 c cleaning 9959 clauses out of 19920 with flag 5004/194203 107.73/56.48 c cleaning 7970 clauses out of 15957 with flag 11000/200199 111.42/58.48 c cleaning 7488 clauses out of 14987 with flag 18000/207199 115.72/60.70 c cleaning 7739 clauses out of 15499 with flag 26000/215199 117.41/61.70 c And the winner is solver1 117.39/62.07 c Got one! Elapsed wall clock time (in seconds):61.939 117.39/62.07 o 29 118.84/62.81 c cleaning 6742 clauses out of 13484 with flag 3000/220923 122.31/64.82 c cleaning 6363 clauses out of 12742 with flag 9000/226923 125.95/66.86 c cleaning 6683 clauses out of 13379 with flag 16000/233923 130.21/69.15 c cleaning 7342 clauses out of 14696 with flag 24000/241923 134.87/71.67 c cleaning 8177 clauses out of 16354 with flag 33000/250923 140.51/74.75 c cleaning 9081 clauses out of 18177 with flag 43000/260923 146.98/78.13 c cleaning 10049 clauses out of 20098 with flag 54002/271925 153.81/81.74 c cleaning 11002 clauses out of 22047 with flag 66000/283923 161.02/85.51 c cleaning 12021 clauses out of 24045 with flag 79000/296923 169.37/90.03 c cleaning 12998 clauses out of 26024 with flag 93000/310923 176.97/94.03 c cleaning 13992 clauses out of 28026 with flag 108000/325923 185.17/98.32 c cleaning 15001 clauses out of 30034 with flag 124000/341923 188.11/100.06 c And the winner is solver1 188.07/100.34 c Got one! Elapsed wall clock time (in seconds):100.212 188.07/100.34 o 28 190.19/101.47 c cleaning 12616 clauses out of 25238 with flag 5001/352128 194.00/103.72 c cleaning 9296 clauses out of 18622 with flag 11001/358128 197.70/105.89 c cleaning 8160 clauses out of 16328 with flag 18003/365130 202.20/108.30 c cleaning 8082 clauses out of 16167 with flag 26002/373129 207.15/111.04 c cleaning 8542 clauses out of 17084 with flag 35001/382128 212.94/114.33 c cleaning 9257 clauses out of 18541 with flag 45000/392127 215.44/115.80 c And the winner is solver1 215.39/115.92 c Got one! Elapsed wall clock time (in seconds):115.792 215.39/115.92 o 27 216.34/116.40 c cleaning 7484 clauses out of 14968 with flag 2000/397811 219.80/118.41 c cleaning 6726 clauses out of 13484 with flag 8000/403811 223.64/120.67 c cleaning 6869 clauses out of 13759 with flag 15001/410812 228.36/123.45 c cleaning 7437 clauses out of 14891 with flag 23002/418813 233.40/126.23 c cleaning 8219 clauses out of 16453 with flag 32001/427812 238.43/129.07 c cleaning 9113 clauses out of 18234 with flag 42001/437812 243.86/132.08 c cleaning 10049 clauses out of 20120 with flag 53000/448811 250.50/135.88 c cleaning 11031 clauses out of 22071 with flag 65000/460811 257.11/139.49 c cleaning 12004 clauses out of 24040 with flag 78000/473811 264.32/143.35 c cleaning 13015 clauses out of 26036 with flag 92000/487811 272.39/147.60 c cleaning 14007 clauses out of 28021 with flag 107000/502811 280.84/152.37 c cleaning 14988 clauses out of 30014 with flag 123000/518811 290.53/157.87 c cleaning 16006 clauses out of 32026 with flag 140000/535811 300.34/163.08 c cleaning 17001 clauses out of 34020 with flag 158000/553811 311.54/169.13 c cleaning 18000 clauses out of 36019 with flag 177000/572811 322.53/174.91 c cleaning 18998 clauses out of 38020 with flag 197001/592812 333.89/180.91 c cleaning 19991 clauses out of 40022 with flag 218001/613812 345.61/187.15 c cleaning 20999 clauses out of 42030 with flag 240000/635811 358.85/194.33 c cleaning 22008 clauses out of 44033 with flag 263002/658813 372.59/201.57 c cleaning 22983 clauses out of 46023 with flag 287000/682811 387.18/209.01 c cleaning 24009 clauses out of 48040 with flag 312000/707811 401.74/216.62 c cleaning 24997 clauses out of 50031 with flag 338000/733811 417.53/225.22 c cleaning 26001 clauses out of 52034 with flag 365000/760811 433.76/233.71 c cleaning 27017 clauses out of 54033 with flag 393000/788811 450.77/242.62 c cleaning 27990 clauses out of 56016 with flag 422000/817811 468.50/251.85 c cleaning 28991 clauses out of 58026 with flag 452000/847811 488.05/262.26 c cleaning 29999 clauses out of 60035 with flag 483000/878811 507.24/272.28 c cleaning 30992 clauses out of 62036 with flag 515000/910811 528.26/283.70 c cleaning 32012 clauses out of 64044 with flag 548000/943811 548.56/294.75 c cleaning 33007 clauses out of 66032 with flag 582000/977811 569.32/305.63 c cleaning 34000 clauses out of 68025 with flag 617000/1012811 592.05/317.42 c cleaning 35006 clauses out of 70025 with flag 653000/1048811 615.23/329.51 c cleaning 36003 clauses out of 72021 with flag 690002/1085813 640.44/342.97 c cleaning 36999 clauses out of 74017 with flag 728001/1123812 665.23/355.81 c cleaning 37996 clauses out of 76020 with flag 767003/1162814 690.21/368.93 c cleaning 38984 clauses out of 78021 with flag 807000/1202811 716.54/382.73 c cleaning 40012 clauses out of 80037 with flag 848000/1243811 743.61/397.46 c cleaning 41002 clauses out of 82025 with flag 890000/1285811 771.11/411.85 c cleaning 41987 clauses out of 84023 with flag 933000/1328811 799.37/426.64 c cleaning 42974 clauses out of 86036 with flag 977000/1372811 828.87/442.02 c cleaning 43995 clauses out of 88062 with flag 1022000/1417811 860.16/458.89 c cleaning 45026 clauses out of 90075 with flag 1068008/1463819 892.01/475.36 c cleaning 46006 clauses out of 92041 with flag 1115000/1510811 923.40/491.73 c cleaning 46996 clauses out of 94035 with flag 1163000/1558811 953.93/507.89 c cleaning 47994 clauses out of 96039 with flag 1212000/1607811 987.57/526.06 c cleaning 48988 clauses out of 98045 with flag 1262000/1657811 1020.61/543.36 c cleaning 50010 clauses out of 100057 with flag 1313000/1708811 1054.66/561.11 c cleaning 51001 clauses out of 102049 with flag 1365002/1760813 1092.44/582.57 c cleaning 52005 clauses out of 104046 with flag 1418000/1813811 1128.68/601.26 c cleaning 53004 clauses out of 106041 with flag 1472000/1867811 1165.29/620.43 c cleaning 53989 clauses out of 108037 with flag 1527000/1922811 1202.31/639.94 c cleaning 55003 clauses out of 110048 with flag 1583000/1978811 1238.28/659.67 c cleaning 0 clauses out of 6917 with flag 0/6917 1245.04/664.00 c cleaning 56009 clauses out of 112045 with flag 1640000/2035811 1283.93/684.40 c cleaning 57002 clauses out of 114037 with flag 1698001/2093812 1324.27/705.51 c cleaning 58008 clauses out of 116035 with flag 1757001/2152812 1366.70/728.44 c cleaning 59007 clauses out of 118029 with flag 1817003/2212814 1407.43/749.79 c cleaning 59976 clauses out of 120019 with flag 1878000/2273811 1447.22/770.66 c cleaning 60995 clauses out of 122047 with flag 1940004/2335815 1488.36/792.13 c cleaning 62013 clauses out of 124048 with flag 2003000/2398811 1532.66/816.14 c cleaning 62988 clauses out of 126035 with flag 2067000/2462811 1576.77/839.23 c cleaning 64010 clauses out of 128047 with flag 2132000/2527811 1621.83/862.81 c cleaning 64987 clauses out of 130038 with flag 2198001/2593812 1667.99/886.97 c cleaning 66009 clauses out of 132050 with flag 2265000/2660811 1715.72/912.82 c cleaning 66995 clauses out of 134043 with flag 2333002/2728813 1761.14/936.75 c cleaning 67995 clauses out of 136047 with flag 2402001/2797812 1799.98/957.41 c starts : 41 1799.98/957.41 c conflicts : 9105 1799.98/957.41 c decisions : 321588 1799.98/957.41 c propagations : 1839849 1799.98/957.41 c inspects : 321350633 1799.98/957.41 c shortcuts : 0 1799.98/957.41 c learnt literals : 0 1799.98/957.41 c learnt binary clauses : 0 1799.98/957.41 c learnt ternary clauses : 0 1799.98/957.41 c learnt constraints : 9104 1799.98/957.41 c ignored constraints : 0 1799.98/957.41 c root simplifications : 0 1799.98/957.41 c removed literals (reason simplification) : 0 1799.98/957.41 c reason swapping (by a shorter reason) : 0 1799.98/957.41 c Calls to reduceDB : 1 1799.98/957.41 c number of reductions to clauses (during analyze) : 0 1799.98/957.41 c number of learned constraints concerned by reduction : 0 1799.98/957.41 c number of learning phase by resolution : 0 1799.98/957.41 c number of learning phase by cutting planes : 0 1799.98/957.41 c speed (assignments/second) : 1924.5805848276207 1799.98/957.41 c non guided choices 0 1799.98/957.42 c learnt constraints type 1799.98/957.42 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 177 1799.98/957.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 129 1799.98/957.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8798 1799.98/957.42 c constraints type 1799.98/957.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1668 1799.98/957.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1799.98/957.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 93 1799.98/957.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7161 1799.98/957.42 c 8923 constraints processed. 1799.98/957.42 c constraints type 1799.98/957.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7161 1799.98/957.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1668 1799.98/957.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1799.98/957.42 c org.sat4j.pb.constraints.pb.UnitClausePB => 93 1799.98/957.42 c 8923 constraints processed. 1799.98/957.42 s SATISFIABLE 1799.98/957.43 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 1799.98/957.43 c objective function=27 1799.98/957.43 c Total wall clock time (in seconds): 957.3
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688428-1337877573/watcher-3688428-1337877573 -o /tmp/evaluation-result-3688428-1337877573/solver-3688428-1337877573 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688428-1337877573.opb 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: 3.83 4.01 3.90 4/197 23644 /proc/meminfo: memFree=26223752/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/23644/stat : 23644 (runsolver) D 23642 23644 21381 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 253883098 12095488 50 33554432000 4194304 5436572 140734861577088 140734861573384 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/23644/statm: 2953 50 31 304 0 2645 0 [startup+0.0452241 s] /proc/loadavg: 3.83 4.01 3.90 4/197 23644 /proc/meminfo: memFree=26223752/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 2969 0 1 0 1 1 0 0 20 0 13 0 253883098 9446973440 3667 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2306390 3667 1661 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100223 s] /proc/loadavg: 3.83 4.01 3.90 4/197 23644 /proc/meminfo: memFree=26223752/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 4096 0 1 0 7 1 0 0 20 0 18 0 253883098 9787813888 5271 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2389603 5271 2036 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.30023 s] /proc/loadavg: 3.83 4.01 3.90 4/197 23644 /proc/meminfo: memFree=26223752/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9558412 CPUtime=0.46 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 5665 0 1 0 45 1 0 0 20 0 18 0 253883098 9787813888 8368 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2389603 8368 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558412 [startup+0.700269 s] /proc/loadavg: 3.83 4.01 3.90 4/197 23644 /proc/meminfo: memFree=26223752/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 20496 0 1 0 143 7 0 0 20 0 19 0 253883098 10060460032 23014 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 23014 2246 9 0 2446860 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9824668 [startup+1.50058 s] /proc/loadavg: 3.83 4.01 3.90 6/217 23669 /proc/meminfo: memFree=26127172/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=2.31 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 24051 0 1 0 221 10 0 0 20 0 22 0 253883098 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 26192 2254 9 0 2446860 0 [pid=23644/tid=23646] ppid=23642 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/23644/task/23646/stat : 23646 (java) S 23642 23644 21381 0 -1 4202560 2473 0 1 0 38 1 0 0 20 0 22 0 253883100 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905952949240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23647] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23647/stat : 23647 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905796618792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23648] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23648/stat : 23648 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905795565992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23649] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23649/stat : 23649 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905794513192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=0.67 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) R 23642 23644 21381 0 -1 4202560 8692 0 0 0 65 2 0 0 20 0 22 0 253883105 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905772841912 139905954757719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=0.81 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) R 23642 23644 21381 0 -1 4202560 11558 0 0 0 78 3 0 0 20 0 22 0 253883105 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333428856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23669] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23669/stat : 23669 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883192 10060460032 26192 33554432000 1073741824 1073778376 140737024746816 139905764296104 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 9824668 [startup+3.10069 s] /proc/loadavg: 3.92 4.03 3.91 5/219 23672 /proc/meminfo: memFree=26101440/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=5.64 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 24267 0 1 0 552 12 0 0 20 0 22 0 253883098 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 41051 2262 9 0 2446860 0 [pid=23644/tid=23646] ppid=23642 vsize=9824668 CPUtime=0.4 cores=0,2,4,6 /proc/23644/task/23646/stat : 23646 (java) S 23642 23644 21381 0 -1 4202560 2475 0 1 0 38 2 0 0 20 0 22 0 253883100 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905952949240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23647] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23647/stat : 23647 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905796618792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23648] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23648/stat : 23648 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905795565992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23649] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23649/stat : 23649 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905794513192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=0.95 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) S 23642 23644 21381 0 -1 4202560 8696 0 0 0 93 2 0 0 20 0 22 0 253883105 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905772841912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) S 23642 23644 21381 0 -1 4202560 11723 0 0 0 106 3 0 0 20 0 22 0 253883105 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23672] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23672/stat : 23672 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883242 10060460032 41051 33554432000 1073741824 1073778376 140737024746816 139905765348392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 5.64 Current children cumulated vsize (KiB) 9824668 [startup+6.3007 s] /proc/loadavg: 3.92 4.03 3.91 5/219 23675 /proc/meminfo: memFree=26003632/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=12.16 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 24379 0 1 0 1202 14 0 0 20 0 22 0 253883098 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 51496 2286 9 0 2446860 0 [pid=23644/tid=23646] ppid=23642 vsize=9824668 CPUtime=0.4 cores=0,2,4,6 /proc/23644/task/23646/stat : 23646 (java) S 23642 23644 21381 0 -1 4202560 2476 0 1 0 38 2 0 0 20 0 22 0 253883100 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905952949240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23647] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23647/stat : 23647 (java) S 23642 23644 21381 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905796618792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23648] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23648/stat : 23648 (java) S 23642 23644 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905795565992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23649] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23649/stat : 23649 (java) S 23642 23644 21381 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905794513192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253883101 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=0.08 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 37 0 0 0 8 0 0 0 20 0 22 0 253883102 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=1.01 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) S 23642 23644 21381 0 -1 4202560 8702 0 0 0 99 2 0 0 20 0 22 0 253883105 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905772841912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=1.2 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) S 23642 23644 21381 0 -1 4202560 11728 0 0 0 117 3 0 0 20 0 22 0 253883105 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23672] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23672/stat : 23672 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883242 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905765348392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23673] ppid=23642 vsize=9824668 CPUtime=3.71 cores=0,2,4,6 /proc/23644/task/23673/stat : 23673 (java) R 23642 23644 21381 0 -1 4202560 7 0 0 0 371 0 0 0 20 0 22 0 253883343 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905766398456 139905825687901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23674] ppid=23642 vsize=9824668 CPUtime=3.71 cores=0,2,4,6 /proc/23644/task/23674/stat : 23674 (java) R 23642 23644 21381 0 -1 4202560 21 0 0 0 371 0 0 0 20 0 22 0 253883343 10060460032 51496 33554432000 1073741824 1073778376 140737024746816 139905767450744 139905826250028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=5.31 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 1363 0 0 0 523 8 0 0 20 0 22 0 253883101 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=5.28 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 878 0 0 0 519 9 0 0 20 0 22 0 253883101 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=5.19 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 960 0 0 0 508 11 0 0 20 0 22 0 253883101 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=5.32 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 1504 0 0 0 522 10 0 0 20 0 22 0 253883101 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=5.34 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 1053 0 0 0 526 8 0 0 20 0 22 0 253883101 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=123.3 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 4108 0 0 0 12292 38 0 0 20 0 22 0 253883102 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) S 23642 23644 21381 0 -1 4202560 8721 0 0 0 129 2 0 0 20 0 22 0 253883105 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905772841912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) S 23642 23644 21381 0 -1 4202560 16458 0 0 0 216 4 0 0 20 0 22 0 253883105 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0.26 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 253883105 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23672] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23672/stat : 23672 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883242 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905765348392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23763] ppid=23642 vsize=9824668 CPUtime=645.42 cores=0,2,4,6 /proc/23644/task/23763/stat : 23763 (java) R 23642 23644 21381 0 -1 4202560 88 0 0 0 64533 9 0 0 20 0 22 0 253894691 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905766400048 139905825880404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23764] ppid=23642 vsize=9824668 CPUtime=645.44 cores=0,2,4,6 /proc/23644/task/23764/stat : 23764 (java) R 23642 23644 21381 0 -1 4202560 110 0 0 0 64534 10 0 0 20 0 22 0 253894691 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905764293656 139905826308288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23765] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23765/stat : 23765 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253894691 10060460032 572805 33554432000 1073741824 1073778376 140737024746816 139905767454120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1658.67 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.93 5/219 23770 /proc/meminfo: memFree=26242776/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=1769.42 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 43187 0 1 0 176780 162 0 0 20 0 22 0 253883098 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 607713 2288 9 0 2446860 0 [pid=23644/tid=23646] ppid=23642 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/23644/task/23646/stat : 23646 (java) S 23642 23644 21381 0 -1 4202560 2559 0 1 0 42 3 0 0 20 0 22 0 253883100 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905952949240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23647] ppid=23642 vsize=9824668 CPUtime=5.79 cores=0,2,4,6 /proc/23644/task/23647/stat : 23647 (java) S 23642 23644 21381 0 -1 4202560 1223 0 0 0 569 10 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905796618792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23648] ppid=23642 vsize=9824668 CPUtime=5.62 cores=0,2,4,6 /proc/23644/task/23648/stat : 23648 (java) S 23642 23644 21381 0 -1 4202560 1070 0 0 0 553 9 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905795565992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23649] ppid=23642 vsize=9824668 CPUtime=5.75 cores=0,2,4,6 /proc/23644/task/23649/stat : 23649 (java) S 23642 23644 21381 0 -1 4202560 906 0 0 0 565 10 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905794513192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=5.65 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 1371 0 0 0 557 8 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=5.66 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 908 0 0 0 556 10 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=5.64 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 978 0 0 0 553 11 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=5.78 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 1513 0 0 0 567 11 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=5.75 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 1082 0 0 0 567 8 0 0 20 0 22 0 253883101 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=134.01 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 4278 0 0 0 13360 41 0 0 20 0 22 0 253883102 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) S 23642 23644 21381 0 -1 4202560 8721 0 0 0 129 2 0 0 20 0 22 0 253883105 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905772841912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) S 23642 23644 21381 0 -1 4202560 16458 0 0 0 216 4 0 0 20 0 22 0 253883105 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0.28 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 55 0 0 0 12 16 0 0 20 0 22 0 253883105 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23672] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23672/stat : 23672 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883242 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905765348392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23763] ppid=23642 vsize=9824668 CPUtime=693.74 cores=0,2,4,6 /proc/23644/task/23763/stat : 23763 (java) R 23642 23644 21381 0 -1 4202560 94 0 0 0 69364 10 0 0 20 0 22 0 253894691 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905766400992 139905825901967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23764] ppid=23642 vsize=9824668 CPUtime=693.76 cores=0,2,4,6 /proc/23644/task/23764/stat : 23764 (java) R 23642 23644 21381 0 -1 4202560 115 0 0 0 69365 11 0 0 20 0 22 0 253894691 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905764293536 139905826199906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23765] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23765/stat : 23765 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253894691 10060460032 607713 33554432000 1073741824 1073778376 140737024746816 139905767454120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1769.42 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+957.401 s] /proc/loadavg: 4.00 4.00 3.93 5/219 23770 /proc/meminfo: memFree=26243024/32873660 swapFree=7108/7108 [pid=23644] ppid=23642 vsize=9824668 CPUtime=1799.98 cores=0,2,4,6 /proc/23644/stat : 23644 (java) S 23642 23644 21381 0 -1 4202496 43198 0 1 0 179836 162 0 0 20 0 22 0 253883098 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 140737024737952 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23644/statm: 2456167 607718 2288 9 0 2446860 0 [pid=23644/tid=23646] ppid=23642 vsize=9824668 CPUtime=0.45 cores=0,2,4,6 /proc/23644/task/23646/stat : 23646 (java) S 23642 23644 21381 0 -1 4202560 2559 0 1 0 42 3 0 0 20 0 22 0 253883100 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905952949240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23647] ppid=23642 vsize=9824668 CPUtime=5.93 cores=0,2,4,6 /proc/23644/task/23647/stat : 23647 (java) S 23642 23644 21381 0 -1 4202560 1223 0 0 0 583 10 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905796618792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23648] ppid=23642 vsize=9824668 CPUtime=5.7 cores=0,2,4,6 /proc/23644/task/23648/stat : 23648 (java) S 23642 23644 21381 0 -1 4202560 1070 0 0 0 561 9 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905795565992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23649] ppid=23642 vsize=9824668 CPUtime=5.86 cores=0,2,4,6 /proc/23644/task/23649/stat : 23649 (java) S 23642 23644 21381 0 -1 4202560 907 0 0 0 576 10 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905794513192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23650] ppid=23642 vsize=9824668 CPUtime=5.81 cores=0,2,4,6 /proc/23644/task/23650/stat : 23650 (java) S 23642 23644 21381 0 -1 4202560 1371 0 0 0 573 8 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905793460392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23651] ppid=23642 vsize=9824668 CPUtime=5.72 cores=0,2,4,6 /proc/23644/task/23651/stat : 23651 (java) S 23642 23644 21381 0 -1 4202560 908 0 0 0 562 10 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905792408616 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23652] ppid=23642 vsize=9824668 CPUtime=5.72 cores=0,2,4,6 /proc/23644/task/23652/stat : 23652 (java) S 23642 23644 21381 0 -1 4202560 978 0 0 0 561 11 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905791355816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23653] ppid=23642 vsize=9824668 CPUtime=5.82 cores=0,2,4,6 /proc/23644/task/23653/stat : 23653 (java) S 23642 23644 21381 0 -1 4202560 1513 0 0 0 571 11 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905790303016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23654] ppid=23642 vsize=9824668 CPUtime=5.82 cores=0,2,4,6 /proc/23644/task/23654/stat : 23654 (java) S 23642 23644 21381 0 -1 4202560 1082 0 0 0 573 9 0 0 20 0 22 0 253883101 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905789250216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23655] ppid=23642 vsize=9824668 CPUtime=134.01 cores=0,2,4,6 /proc/23644/task/23655/stat : 23655 (java) S 23642 23644 21381 0 -1 4202560 4285 0 0 0 13360 41 0 0 20 0 22 0 253883102 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905777052136 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23656] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23656/stat : 23656 (java) S 23642 23644 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905775998200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23657] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23657/stat : 23657 (java) S 23642 23644 21381 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253883102 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905774945288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23644/tid=23658] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23658/stat : 23658 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905773893776 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23659] ppid=23642 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/23644/task/23659/stat : 23659 (java) S 23642 23644 21381 0 -1 4202560 8721 0 0 0 129 2 0 0 20 0 22 0 253883105 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905772841912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23660] ppid=23642 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/23644/task/23660/stat : 23660 (java) S 23642 23644 21381 0 -1 4202560 16458 0 0 0 216 4 0 0 20 0 22 0 253883105 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905771789112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23644/tid=23661] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23661/stat : 23661 (java) S 23642 23644 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253883105 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905770736504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23662] ppid=23642 vsize=9824668 CPUtime=0.29 cores=0,2,4,6 /proc/23644/task/23662/stat : 23662 (java) S 23642 23644 21381 0 -1 4202560 55 0 0 0 13 16 0 0 20 0 22 0 253883105 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905769683912 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23672] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23672/stat : 23672 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253883242 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905765348392 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23763] ppid=23642 vsize=9824668 CPUtime=708.62 cores=0,2,4,6 /proc/23644/task/23763/stat : 23763 (java) R 23642 23644 21381 0 -1 4202560 95 0 0 0 70851 11 0 0 20 0 22 0 253894691 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905766399104 139905825909046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23644/tid=23764] ppid=23642 vsize=9824668 CPUtime=708.64 cores=0,2,4,6 /proc/23644/task/23764/stat : 23764 (java) R 23642 23644 21381 0 -1 4202560 117 0 0 0 70853 11 0 0 20 0 22 0 253894691 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905764294544 139905825885190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=23644/tid=23765] ppid=23642 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/23644/task/23765/stat : 23765 (java) S 23642 23644 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253894691 10060460032 607718 33554432000 1073741824 1073778376 140737024746816 139905767454120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23644 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=268229 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=14693 # CPU time returned by wait4() is 1796.28 # while last known CPU time is 1799.98 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.20002 # lost CPU user time (s): 0.250008 # lost CPU system time (s): -0.05 Real time (s): 957.448 CPU time (s): 1800.18 CPU user time (s): 1798.61 CPU system time (s): 1.57 CPU usage (%): 188.019 Max. virtual memory (cumulated for all children) (KiB): 9825260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.27 system time used= 2.01469 maximum resident set size= 2430992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43230 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32183 involuntary context switches= 70850 runsolver used 3.71043 second user time and 8.46371 second system time The end
Begin job on node117 at 2012-05-24 18:39:34 IDJOB=3688428 IDBENCH=24997 IDSOLVER=2268 FILE ID=node117/3688428-1337877573 RUNJOBID= node117-1337871880-21397 PBS_JOBID= 14620087 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688428-1337877573/watcher-3688428-1337877573 -o /tmp/evaluation-result-3688428-1337877573/solver-3688428-1337877573 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688428-1337877573.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=1913442309 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873660 kB MemFree: 26224172 kB Buffers: 220428 kB Cached: 2284788 kB SwapCached: 0 kB Active: 3752836 kB Inactive: 2114428 kB Active(anon): 3364656 kB Inactive(anon): 0 kB Active(file): 388180 kB Inactive(file): 2114428 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 892 kB Writeback: 0 kB AnonPages: 3368708 kB Mapped: 22612 kB Shmem: 200 kB Slab: 638156 kB SReclaimable: 82572 kB SUnreclaim: 555584 kB KernelStack: 1616 kB PageTables: 11164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 3911924 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3291136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71608 MiB End job on node117 at 2012-05-24 18:55:33