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 | 1801.46 | 963.564 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
| MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.238963 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6148 |
| Total number of constraints | 19000 |
| Number of constraints which are clauses | 19000 |
| 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 | 127 |
| Number of terms in the objective function | 2987 |
| 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 | 2987 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2987 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3688416-1337877543.opb 0.10/0.11 c reading problem ... 1.10/0.56 c ... done. Wall clock time 0.449s. 1.10/0.56 c declared #vars 6148 1.10/0.56 c #constraints 19000 1.10/0.56 c constraints type 1.10/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1.10/0.56 c org.sat4j.minisat.constraints.cnf.UnitClause => 487 1.10/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1.10/0.56 c 19000 constraints processed. 1.10/0.56 c constraints type 1.10/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1.10/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1.10/0.56 c org.sat4j.pb.constraints.pb.UnitClausePB => 487 1.10/0.56 c 19000 constraints processed. 1.10/0.56 c objective function length is 2987 literals 1.83/0.70 c And the winner is solver1 1.96/1.07 c SATISFIABLE 1.96/1.10 c OPTIMIZING... 1.96/1.10 c Got one! Elapsed wall clock time (in seconds):0.955 1.96/1.10 o 37 2.07/1.11 c And the winner is solver0 2.23/1.59 c Got one! Elapsed wall clock time (in seconds):1.474 2.23/1.59 o 36 8.85/4.44 c cleaning 2494 clauses out of 5002 with flag 5000/5002 9.65/4.87 c And the winner is solver1 9.81/5.10 c Got one! Elapsed wall clock time (in seconds):4.986 9.81/5.10 o 35 14.96/7.62 c cleaning 4059 clauses out of 8128 with flag 5000/10623 20.70/10.52 c cleaning 5035 clauses out of 10069 with flag 11000/16623 27.53/13.98 c cleaning 6017 clauses out of 12035 with flag 18001/23624 30.28/15.31 c And the winner is solver1 30.31/15.61 c Got one! Elapsed wall clock time (in seconds):15.492 30.31/15.61 o 33 33.08/17.03 c cleaning 5746 clauses out of 11497 with flag 3000/29103 39.03/20.06 c cleaning 5876 clauses out of 11751 with flag 9000/35103 45.97/23.58 c cleaning 6429 clauses out of 12875 with flag 16000/42103 53.92/27.57 c cleaning 7214 clauses out of 14447 with flag 24001/50104 63.25/32.21 c cleaning 8100 clauses out of 16232 with flag 33000/59103 73.36/37.32 c cleaning 9058 clauses out of 18132 with flag 43000/69103 84.50/42.93 c cleaning 10032 clauses out of 20074 with flag 54000/80103 96.73/49.10 c cleaning 11019 clauses out of 22042 with flag 66000/92103 109.95/55.80 c cleaning 12000 clauses out of 24023 with flag 79000/105103 112.35/57.19 c And the winner is solver1 112.55/57.62 c Got one! Elapsed wall clock time (in seconds):57.506 112.55/57.62 o 31 115.30/59.02 c cleaning 8609 clauses out of 17217 with flag 3000/110297 121.24/62.17 c cleaning 7300 clauses out of 14608 with flag 9000/116297 128.16/65.77 c cleaning 7146 clauses out of 14308 with flag 16000/123297 136.51/70.10 c cleaning 7563 clauses out of 15162 with flag 24000/131297 145.43/74.76 c cleaning 8301 clauses out of 16601 with flag 33002/140299 155.32/79.83 c cleaning 9149 clauses out of 18298 with flag 43000/150297 165.42/85.04 c And the winner is solver1 165.53/85.19 c Got one! Elapsed wall clock time (in seconds):85.079 165.53/85.19 o 30 170.21/87.51 c cleaning 12403 clauses out of 24824 with flag 5000/165972 176.28/90.84 c cleaning 9211 clauses out of 18421 with flag 11000/171972 183.13/94.48 c cleaning 8104 clauses out of 16210 with flag 18000/178972 191.19/98.66 c cleaning 8042 clauses out of 16106 with flag 26000/186972 200.26/103.31 c cleaning 8525 clauses out of 17064 with flag 35000/195972 210.28/108.60 c cleaning 9261 clauses out of 18539 with flag 45000/205972 221.13/114.25 c cleaning 10122 clauses out of 20278 with flag 56000/216972 233.55/120.63 c cleaning 11049 clauses out of 22156 with flag 68000/228972 246.78/127.47 c cleaning 12042 clauses out of 24107 with flag 81000/241972 261.11/134.94 c cleaning 13024 clauses out of 26065 with flag 95000/255972 276.10/142.65 c cleaning 14020 clauses out of 28041 with flag 110000/270972 292.10/150.86 c cleaning 14974 clauses out of 30021 with flag 126000/286972 309.68/159.80 c cleaning 15996 clauses out of 32047 with flag 143000/303972 325.02/167.92 c And the winner is solver1 325.11/168.20 c Got one! Elapsed wall clock time (in seconds):168.087 325.11/168.20 o 29 329.55/170.50 c cleaning 17885 clauses out of 35799 with flag 5000/323720 335.80/173.87 c cleaning 11952 clauses out of 23914 with flag 11000/329720 343.02/177.71 c cleaning 9479 clauses out of 18962 with flag 18000/336720 351.08/182.02 c cleaning 8736 clauses out of 17484 with flag 26001/344721 360.18/187.05 c cleaning 8869 clauses out of 17747 with flag 35000/353720 369.99/192.27 c cleaning 9416 clauses out of 18879 with flag 45001/363721 380.63/197.90 c cleaning 10193 clauses out of 20462 with flag 56000/374720 392.24/203.95 c cleaning 11116 clauses out of 22269 with flag 68000/386720 405.86/211.26 c cleaning 12070 clauses out of 24153 with flag 81000/399720 419.97/218.63 c cleaning 13021 clauses out of 26083 with flag 95000/413720 435.06/226.51 c cleaning 14029 clauses out of 28064 with flag 110002/428722 451.30/235.02 c cleaning 15005 clauses out of 30033 with flag 126000/444720 468.90/244.88 c cleaning 16007 clauses out of 32028 with flag 143000/461720 486.80/254.04 c cleaning 16996 clauses out of 34021 with flag 161000/479720 505.27/263.67 c cleaning 18007 clauses out of 36025 with flag 180000/498720 526.03/274.61 c cleaning 19009 clauses out of 38018 with flag 200000/518720 546.05/285.08 c cleaning 19972 clauses out of 40009 with flag 221000/539720 567.54/296.12 c cleaning 21005 clauses out of 42037 with flag 243000/561720 590.40/307.93 c cleaning 21992 clauses out of 44032 with flag 266000/584720 614.87/320.80 c cleaning 23013 clauses out of 46040 with flag 290000/608720 639.12/333.37 c cleaning 23999 clauses out of 48027 with flag 315000/633720 664.21/346.37 c cleaning 25000 clauses out of 50028 with flag 341000/659720 673.43/351.44 c And the winner is solver1 673.43/351.44 c Got one! Elapsed wall clock time (in seconds):351.328 673.43/351.44 o 28 678.08/353.72 c cleaning 19343 clauses out of 38685 with flag 5000/673377 685.08/358.04 c cleaning 12665 clauses out of 25342 with flag 11000/679377 692.08/362.00 c cleaning 9834 clauses out of 19677 with flag 18000/686377 699.89/366.42 c cleaning 8922 clauses out of 17843 with flag 26000/694377 709.28/371.60 c cleaning 8957 clauses out of 17921 with flag 35000/703377 719.61/377.66 c cleaning 9472 clauses out of 18964 with flag 45000/713377 729.86/383.29 c cleaning 10238 clauses out of 20492 with flag 56000/724377 741.89/389.76 c cleaning 11119 clauses out of 22254 with flag 68000/736377 756.92/398.74 c cleaning 12058 clauses out of 24135 with flag 81000/749377 772.93/407.14 c cleaning 13017 clauses out of 26077 with flag 95000/763377 788.48/415.45 c cleaning 14006 clauses out of 28060 with flag 110000/778377 805.22/424.36 c cleaning 15013 clauses out of 30054 with flag 126000/794377 823.55/434.49 c cleaning 16016 clauses out of 32041 with flag 143000/811377 842.74/444.61 c cleaning 16991 clauses out of 34025 with flag 161000/829377 862.80/455.22 c cleaning 17999 clauses out of 36034 with flag 180000/848377 883.13/466.10 c cleaning 19008 clauses out of 38035 with flag 200000/868377 906.26/478.61 c cleaning 19994 clauses out of 40030 with flag 221003/889380 929.29/490.75 c cleaning 21006 clauses out of 42033 with flag 243000/911377 953.18/503.38 c cleaning 21993 clauses out of 44027 with flag 266000/934377 978.34/516.59 c cleaning 22999 clauses out of 46035 with flag 290001/958378 1006.39/531.53 c cleaning 24009 clauses out of 48035 with flag 315000/983377 1034.60/546.22 c cleaning 25008 clauses out of 50027 with flag 341001/1009378 1063.40/561.25 c cleaning 25998 clauses out of 52018 with flag 368000/1036377 1092.45/576.45 c cleaning 26984 clauses out of 54021 with flag 396001/1064378 1122.61/592.73 c cleaning 28017 clauses out of 56039 with flag 425003/1093380 1152.80/608.51 c cleaning 28999 clauses out of 58020 with flag 455001/1123378 1184.76/625.22 c cleaning 29988 clauses out of 60020 with flag 486000/1154377 1218.38/642.71 c cleaning 30992 clauses out of 62032 with flag 518000/1186377 1253.92/661.72 c cleaning 32012 clauses out of 64041 with flag 551001/1219378 1289.59/680.35 c cleaning 33009 clauses out of 66029 with flag 585001/1253378 1326.19/699.50 c cleaning 33996 clauses out of 68019 with flag 620000/1288377 1363.51/718.96 c cleaning 34982 clauses out of 70023 with flag 656000/1324377 1403.89/740.55 c cleaning 36016 clauses out of 72042 with flag 693001/1361378 1444.33/761.62 c cleaning 36983 clauses out of 74025 with flag 731000/1399377 1489.18/784.75 c cleaning 38016 clauses out of 76044 with flag 770002/1438379 1535.38/810.45 c cleaning 38994 clauses out of 78026 with flag 810000/1478377 1578.40/832.89 c cleaning 39991 clauses out of 80033 with flag 851001/1519378 1621.79/855.45 c cleaning 41018 clauses out of 82045 with flag 893004/1561381 1627.37/859.21 c And the winner is solver1 1627.61/859.58 c Got one! Elapsed wall clock time (in seconds):859.461 1627.61/859.58 o 27 1629.44/860.54 c cleaning 23245 clauses out of 46510 with flag 2000/1566864 1638.48/866.72 c cleaning 14633 clauses out of 29266 with flag 8001/1572865 1646.84/871.99 c cleaning 10812 clauses out of 21632 with flag 15000/1579864 1655.99/877.51 c cleaning 9405 clauses out of 18820 with flag 23000/1587864 1665.15/883.11 c cleaning 9197 clauses out of 18415 with flag 32000/1596864 1675.56/890.07 c cleaning 9598 clauses out of 19218 with flag 42000/1606864 1686.11/896.40 c cleaning 10288 clauses out of 20620 with flag 53000/1617864 1699.05/903.83 c cleaning 11142 clauses out of 22332 with flag 65000/1629864 1712.40/911.56 c cleaning 12080 clauses out of 24190 with flag 78000/1642864 1728.77/921.45 c cleaning 13052 clauses out of 26111 with flag 92001/1656865 1744.67/930.43 c cleaning 14018 clauses out of 28058 with flag 107000/1671864 1761.44/939.82 c cleaning 15011 clauses out of 30041 with flag 123001/1687865 1778.95/949.62 c cleaning 15993 clauses out of 32030 with flag 140001/1704865 1798.87/961.30 c cleaning 17007 clauses out of 34037 with flag 158001/1722865 1801.17/963.53 c starts : 29 1801.17/963.53 c conflicts : 4005 1801.17/963.53 c decisions : 434726 1801.17/963.53 c propagations : 2694743 1801.17/963.53 c inspects : 67600374 1801.17/963.53 c shortcuts : 0 1801.17/963.53 c learnt literals : 0 1801.17/963.53 c learnt binary clauses : 0 1801.17/963.53 c learnt ternary clauses : 3 1801.17/963.53 c learnt constraints : 4003 1801.17/963.53 c ignored constraints : 0 1801.17/963.53 c root simplifications : 0 1801.17/963.53 c removed literals (reason simplification) : 0 1801.17/963.53 c reason swapping (by a shorter reason) : 0 1801.17/963.53 c Calls to reduceDB : 0 1801.17/963.53 c number of reductions to clauses (during analyze) : 0 1801.17/963.53 c number of learned constraints concerned by reduction : 0 1801.17/963.53 c number of learning phase by resolution : 0 1801.17/963.53 c number of learning phase by cutting planes : 0 1801.17/963.53 c speed (assignments/second) : 2801.4007299930245 1801.17/963.53 c non guided choices 0 1801.17/963.53 c learnt constraints type 1801.17/963.53 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 80 1801.17/963.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 69 1801.17/963.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3854 1801.17/963.53 c constraints type 1801.17/963.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169 1801.17/963.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1801.17/963.53 c org.sat4j.minisat.constraints.cnf.UnitClause => 487 1801.17/963.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344 1801.17/963.53 c 19001 constraints processed. 1801.17/963.53 c constraints type 1801.17/963.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344 1801.17/963.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169 1801.17/963.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1801.17/963.53 c org.sat4j.pb.constraints.pb.UnitClausePB => 487 1801.17/963.53 c 19001 constraints processed. 1801.17/963.53 s SATISFIABLE 1801.17/963.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 x3982 -x3983 -x3984 x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 x6020 x6021 x6022 -x6023 -x6024 -x6025 -x6026 x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 x6135 x6136 -x6137 -x6138 -x6139 -x6140 x6141 x6142 -x6143 -x6144 x6145 x6146 -x6147 -x6148 1801.17/963.55 c objective function=27 1801.17/963.55 c Total wall clock time (in seconds): 963.435
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-3688416-1337877543/watcher-3688416-1337877543 -o /tmp/evaluation-result-3688416-1337877543/solver-3688416-1337877543 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688416-1337877543.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.82 3.91 3.84 3/197 24273 /proc/meminfo: memFree=26504188/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/24273/stat : 24273 (java) D 24271 24273 21497 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253880405 9515008 183 33554432000 1073741824 1073778376 140735984051088 140735984042120 266435641013 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2323 183 140 9 0 71 0 [startup+0.0621131 s] /proc/loadavg: 3.82 3.91 3.84 3/197 24273 /proc/meminfo: memFree=26504188/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 3169 0 1 0 3 0 0 0 20 0 18 0 253880405 9787813888 4377 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2389603 4377 1753 9 0 2380296 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9558412 [startup+0.100239 s] /proc/loadavg: 3.82 3.91 3.84 3/197 24273 /proc/meminfo: memFree=26504188/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 4308 0 1 0 9 1 0 0 20 0 18 0 253880405 9787813888 5497 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2389603 5497 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300168 s] /proc/loadavg: 3.82 3.91 3.84 3/197 24273 /proc/meminfo: memFree=26504188/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9558412 CPUtime=0.5 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 6889 0 1 0 49 1 0 0 20 0 18 0 253880405 9787813888 9517 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2389603 9518 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558412 [startup+0.700177 s] /proc/loadavg: 3.82 3.91 3.84 3/197 24273 /proc/meminfo: memFree=26504188/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=1.83 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 20797 0 1 0 179 4 0 0 20 0 22 0 253880405 10060460032 28233 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 28233 2244 9 0 2446860 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 9824668 [startup+1.50064 s] /proc/loadavg: 3.82 3.91 3.84 3/216 24295 /proc/meminfo: memFree=26399260/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=2.23 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 20917 0 1 0 215 8 0 0 20 0 19 0 253880405 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 30866 2252 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.55 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2476 0 1 0 54 1 0 0 20 0 19 0 253880406 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618561844216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253880407 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) S 24271 24273 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253880408 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618385841000 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253880409 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253880409 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880411 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618382682896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 7864 0 0 0 61 2 0 0 20 0 19 0 253880411 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9260 0 0 0 63 0 0 0 20 0 19 0 253880411 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880411 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253880411 10060460032 30866 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9824668 [startup+3.10068 s] /proc/loadavg: 3.82 3.91 3.84 6/219 24301 /proc/meminfo: memFree=26368108/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=6.23 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 25854 0 1 0 613 10 0 0 20 0 22 0 253880405 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 38671 2262 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.57 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2476 0 1 0 55 2 0 0 20 0 22 0 253880406 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618561844216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) S 24271 24273 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253880408 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618385841000 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618382682896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 12711 0 0 0 114 2 0 0 20 0 22 0 253880411 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=1.11 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9303 0 0 0 111 0 0 0 20 0 22 0 253880411 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24298] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24298/stat : 24298 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880514 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618374705960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24299] ppid=24271 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/24273/task/24299/stat : 24299 (java) R 24271 24273 21497 0 -1 4202560 4 0 0 0 147 0 0 0 20 0 22 0 253880565 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618375757800 140618387815980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24300] ppid=24271 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/24273/task/24300/stat : 24300 (java) R 24271 24273 21497 0 -1 4202560 40 0 0 0 147 0 0 0 20 0 22 0 253880565 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618376811016 140618387986020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 38671 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 9824668 [startup+6.30076 s] /proc/loadavg: 3.84 3.92 3.84 5/219 24304 /proc/meminfo: memFree=26296108/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=12.25 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 25970 0 1 0 1210 15 0 0 20 0 22 0 253880405 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 53729 2286 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.58 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2476 0 1 0 56 2 0 0 20 0 22 0 253880406 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618561844216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253880407 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) S 24271 24273 21497 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 253880408 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618385841000 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618382682896 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 12717 0 0 0 119 2 0 0 20 0 22 0 253880411 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9305 0 0 0 116 0 0 0 20 0 22 0 253880411 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 53729 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24397] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24397/stat : 24397 (java) S 24271 24273 21497 0 -1 4202560 5 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618375758312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24398] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24398/stat : 24398 (java) S 24271 24273 21497 0 -1 4202560 6 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618376808936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24399] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24399/stat : 24399 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618374705960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 [startup+963.001 s] /proc/loadavg: 3.77 3.78 3.80 5/219 24399 /proc/meminfo: memFree=24589964/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=1800.67 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 33876 0 1 0 179948 119 0 0 20 0 22 0 253880405 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 412287 2288 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2564 0 1 0 61 2 0 0 20 0 22 0 253880406 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618561843928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=2.35 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 554 0 0 0 230 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=2.39 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 701 0 0 0 234 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=2.43 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 531 0 0 0 239 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=2.47 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 564 0 0 0 242 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=2.38 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 352 0 0 0 233 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=2.56 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 582 0 0 0 250 6 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=2.26 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 341 0 0 0 221 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=2.32 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 553 0 0 0 228 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=131.38 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) R 24271 24273 21497 0 -1 4202560 3458 0 0 0 13112 26 0 0 20 0 22 0 253880408 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618385839848 140618568351804 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618382682440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=1.51 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 12737 0 0 0 148 3 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=1.46 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9308 0 0 0 146 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24397] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24397/stat : 24397 (java) S 24271 24273 21497 0 -1 4202560 5 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618375758312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24398] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24398/stat : 24398 (java) S 24271 24273 21497 0 -1 4202560 6 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618376808936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24399] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24399/stat : 24399 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618374705960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 9824668 [startup+963.401 s] /proc/loadavg: 3.77 3.78 3.80 5/219 24399 /proc/meminfo: memFree=24589964/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=1801.07 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 33876 0 1 0 179988 119 0 0 20 0 22 0 253880405 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 412287 2288 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2564 0 1 0 61 2 0 0 20 0 22 0 253880406 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618561843928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=2.35 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 554 0 0 0 230 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=2.39 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 701 0 0 0 234 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=2.43 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 531 0 0 0 239 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=2.47 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 564 0 0 0 242 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=2.38 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 352 0 0 0 233 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=2.56 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 582 0 0 0 250 6 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=2.26 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 341 0 0 0 221 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=2.32 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 553 0 0 0 228 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=131.78 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) R 24271 24273 21497 0 -1 4202560 3458 0 0 0 13152 26 0 0 20 0 22 0 253880408 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618385839848 140618566005208 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618382682440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=1.51 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 12737 0 0 0 148 3 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=1.46 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9308 0 0 0 146 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24397] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24397/stat : 24397 (java) S 24271 24273 21497 0 -1 4202560 5 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618375758312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24398] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24398/stat : 24398 (java) S 24271 24273 21497 0 -1 4202560 6 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618376808936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24399] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24399/stat : 24399 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618374705960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1801.07 Current children cumulated vsize (KiB) 9824668 [startup+963.501 s] /proc/loadavg: 3.77 3.78 3.80 4/220 24400 /proc/meminfo: memFree=24589956/32873648 swapFree=6852/6852 [pid=24273] ppid=24271 vsize=9824668 CPUtime=1801.17 cores=0,2,4,6 /proc/24273/stat : 24273 (java) S 24271 24273 21497 0 -1 4202496 33876 0 1 0 179998 119 0 0 20 0 22 0 253880405 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140733336057408 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24273/statm: 2456167 412287 2288 9 0 2446860 0 [pid=24273/tid=24275] ppid=24271 vsize=9824668 CPUtime=0.63 cores=0,2,4,6 /proc/24273/task/24275/stat : 24275 (java) S 24271 24273 21497 0 -1 4202560 2564 0 1 0 61 2 0 0 20 0 22 0 253880406 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618561843928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24276] ppid=24271 vsize=9824668 CPUtime=2.35 cores=0,2,4,6 /proc/24273/task/24276/stat : 24276 (java) S 24271 24273 21497 0 -1 4202560 554 0 0 0 230 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618523335592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24277] ppid=24271 vsize=9824668 CPUtime=2.39 cores=0,2,4,6 /proc/24273/task/24277/stat : 24277 (java) S 24271 24273 21497 0 -1 4202560 701 0 0 0 234 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618522283048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24278] ppid=24271 vsize=9824668 CPUtime=2.43 cores=0,2,4,6 /proc/24273/task/24278/stat : 24278 (java) S 24271 24273 21497 0 -1 4202560 531 0 0 0 239 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618521229992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24279] ppid=24271 vsize=9824668 CPUtime=2.47 cores=0,2,4,6 /proc/24273/task/24279/stat : 24279 (java) S 24271 24273 21497 0 -1 4202560 564 0 0 0 242 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618520177448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24280] ppid=24271 vsize=9824668 CPUtime=2.38 cores=0,2,4,6 /proc/24273/task/24280/stat : 24280 (java) S 24271 24273 21497 0 -1 4202560 352 0 0 0 233 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618519124392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24281] ppid=24271 vsize=9824668 CPUtime=2.56 cores=0,2,4,6 /proc/24273/task/24281/stat : 24281 (java) S 24271 24273 21497 0 -1 4202560 582 0 0 0 250 6 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618518071848 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24282] ppid=24271 vsize=9824668 CPUtime=2.26 cores=0,2,4,6 /proc/24273/task/24282/stat : 24282 (java) S 24271 24273 21497 0 -1 4202560 341 0 0 0 221 5 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618517018792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24283] ppid=24271 vsize=9824668 CPUtime=2.32 cores=0,2,4,6 /proc/24273/task/24283/stat : 24283 (java) S 24271 24273 21497 0 -1 4202560 553 0 0 0 228 4 0 0 20 0 22 0 253880407 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618515966248 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24284] ppid=24271 vsize=9824668 CPUtime=131.88 cores=0,2,4,6 /proc/24273/task/24284/stat : 24284 (java) R 24271 24273 21497 0 -1 4202560 3458 0 0 0 13161 27 0 0 20 0 22 0 253880408 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618385839848 140618568351797 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24285] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24285/stat : 24285 (java) S 24271 24273 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618384787320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24286] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24286/stat : 24286 (java) S 24271 24273 21497 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253880409 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618383734152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24273/tid=24287] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24287/stat : 24287 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618382682440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24288] ppid=24271 vsize=9824668 CPUtime=1.51 cores=0,2,4,6 /proc/24273/task/24288/stat : 24288 (java) S 24271 24273 21497 0 -1 4202560 12737 0 0 0 148 3 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618381629752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24289] ppid=24271 vsize=9824668 CPUtime=1.46 cores=0,2,4,6 /proc/24273/task/24289/stat : 24289 (java) S 24271 24273 21497 0 -1 4202560 9308 0 0 0 146 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618380577208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24290] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24290/stat : 24290 (java) S 24271 24273 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618379524344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24273/tid=24291] ppid=24271 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/24273/task/24291/stat : 24291 (java) S 24271 24273 21497 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 253880411 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618378472008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24301] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24301/stat : 24301 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253880565 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618373654184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24397] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24397/stat : 24397 (java) S 24271 24273 21497 0 -1 4202560 5 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618375758312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24273/tid=24398] ppid=24271 vsize=9824668 CPUtime=68.17 cores=0,2,4,6 /proc/24273/task/24398/stat : 24398 (java) S 24271 24273 21497 0 -1 4202560 6 0 0 0 6816 1 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618376808936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24273/tid=24399] ppid=24271 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/24273/task/24399/stat : 24399 (java) S 24271 24273 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253966364 10060460032 412287 33554432000 1073741824 1073778376 140733336066272 140618374705960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1801.17 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 963.564 CPU time (s): 1801.46 CPU user time (s): 1800.07 CPU system time (s): 1.39379 CPU usage (%): 186.958 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 1.39379 maximum resident set size= 1657452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33911 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27425 involuntary context switches= 39006 runsolver used 3.52046 second user time and 8.36573 second system time The end
Begin job on node116 at 2012-05-24 18:39:04 IDJOB=3688416 IDBENCH=24991 IDSOLVER=2268 FILE ID=node116/3688416-1337877543 RUNJOBID= node116-1337871880-21513 PBS_JOBID= 14620088 Free space on /tmp= 71712 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_009_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688416-1337877543/watcher-3688416-1337877543 -o /tmp/evaluation-result-3688416-1337877543/solver-3688416-1337877543 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688416-1337877543.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=1559812517 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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 : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26504452 kB Buffers: 207676 kB Cached: 2951260 kB SwapCached: 0 kB Active: 2945524 kB Inactive: 2659752 kB Active(anon): 2448864 kB Inactive(anon): 0 kB Active(file): 496660 kB Inactive(file): 2659752 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 2452876 kB Mapped: 21672 kB Shmem: 200 kB Slab: 623400 kB SReclaimable: 67792 kB SUnreclaim: 555608 kB KernelStack: 1616 kB PageTables: 9008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 3274668 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2392064 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= 71724 MiB End job on node116 at 2012-05-24 18:55:08