Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 27 | 1800.16 | 935.947 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| 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 | 3.79742 |
| 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 | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| 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 | 4585 |
| 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 | 4585 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 4585 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3688384-1337877064.opb 0.07/0.13 c reading problem ... 1.63/0.70 c ... done. Wall clock time 0.565s. 1.63/0.70 c declared #vars 9333 1.63/0.70 c #constraints 28773 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1.63/0.70 c org.sat4j.minisat.constraints.cnf.UnitClause => 891 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1.63/0.70 c 28773 constraints processed. 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1.63/0.70 c org.sat4j.pb.constraints.pb.UnitClausePB => 891 1.63/0.70 c 28773 constraints processed. 1.63/0.70 c objective function length is 4585 literals 2.01/0.85 c And the winner is solver0 2.26/1.21 c SATISFIABLE 2.26/1.21 c OPTIMIZING... 2.26/1.21 c Got one! Elapsed wall clock time (in seconds):1.074 2.26/1.21 o 34 7.17/3.48 c And the winner is solver1 7.39/3.73 c Got one! Elapsed wall clock time (in seconds):3.602 7.39/3.73 o 33 7.39/3.75 c And the winner is solver1 7.47/4.25 c Got one! Elapsed wall clock time (in seconds):4.113 7.47/4.25 o 30 10.16/5.51 c cleaning 2804 clauses out of 5607 with flag 2000/5607 15.68/8.28 c And the winner is solver1 15.84/8.75 c Got one! Elapsed wall clock time (in seconds):8.62 15.84/8.75 o 29 20.89/11.26 c cleaning 6442 clauses out of 12891 with flag 5000/15695 28.05/14.88 c cleaning 6218 clauses out of 12449 with flag 11000/21695 36.25/18.96 c cleaning 6596 clauses out of 13231 with flag 18000/28695 45.97/23.82 c cleaning 7306 clauses out of 14635 with flag 26000/36695 57.69/29.73 c cleaning 8154 clauses out of 16329 with flag 35000/45695 68.37/35.13 c cleaning 9087 clauses out of 18176 with flag 45001/55696 80.83/41.41 c cleaning 10031 clauses out of 20088 with flag 56000/66695 95.84/49.02 c cleaning 11021 clauses out of 22057 with flag 68000/78695 111.90/57.19 c cleaning 12008 clauses out of 24036 with flag 81000/91695 129.08/65.82 c cleaning 12979 clauses out of 26028 with flag 95000/105695 148.29/75.53 c cleaning 14003 clauses out of 28052 with flag 110003/120698 168.55/85.82 c cleaning 15021 clauses out of 30046 with flag 126000/136695 190.16/96.77 c cleaning 16005 clauses out of 32025 with flag 143000/153695 213.50/108.56 c cleaning 17009 clauses out of 34020 with flag 161000/171695 237.44/120.64 c cleaning 17993 clauses out of 36011 with flag 180000/190695 263.40/133.86 c cleaning 18999 clauses out of 38018 with flag 200000/210695 289.70/147.04 c cleaning 19994 clauses out of 40020 with flag 221001/231696 317.92/161.21 c cleaning 21001 clauses out of 42025 with flag 243000/253695 346.19/175.52 c cleaning 21993 clauses out of 44024 with flag 266000/276695 376.21/190.97 c cleaning 23002 clauses out of 46031 with flag 290000/300695 407.50/206.88 c cleaning 24008 clauses out of 48029 with flag 315000/325695 440.88/223.74 c cleaning 25000 clauses out of 50021 with flag 341000/351695 476.17/241.64 c cleaning 25980 clauses out of 52021 with flag 368000/378695 511.67/259.88 c cleaning 27002 clauses out of 54043 with flag 396002/406697 550.82/279.93 c cleaning 27999 clauses out of 56039 with flag 425000/435695 589.57/299.50 c cleaning 29011 clauses out of 58040 with flag 455000/465695 626.98/318.69 c cleaning 30006 clauses out of 60030 with flag 486001/496696 665.03/337.96 c cleaning 31001 clauses out of 62023 with flag 518000/528695 706.31/358.90 c cleaning 31992 clauses out of 64023 with flag 551001/561696 712.47/362.20 c And the winner is solver1 710.85/362.63 c Got one! Elapsed wall clock time (in seconds):362.498 710.85/362.63 o 28 712.01/363.21 c cleaning 18642 clauses out of 37294 with flag 1000/566959 719.74/367.69 c cleaning 12325 clauses out of 24655 with flag 7003/572962 728.66/372.42 c cleaning 9656 clauses out of 19327 with flag 14000/579959 738.14/377.59 c cleaning 8822 clauses out of 17671 with flag 22000/587959 749.48/383.59 c cleaning 8902 clauses out of 17849 with flag 31000/596959 762.62/390.76 c cleaning 9463 clauses out of 18947 with flag 41000/606959 777.45/398.55 c cleaning 10211 clauses out of 20484 with flag 52000/617959 794.44/407.45 c cleaning 11130 clauses out of 22273 with flag 64000/629959 812.47/416.84 c cleaning 12046 clauses out of 24143 with flag 77000/642959 832.68/427.60 c cleaning 13027 clauses out of 26097 with flag 91000/656959 850.48/436.94 c cleaning 14022 clauses out of 28070 with flag 106000/671959 867.93/446.09 c cleaning 15023 clauses out of 30048 with flag 122000/687959 887.13/456.04 c cleaning 16001 clauses out of 32025 with flag 139000/704959 908.54/467.41 c cleaning 16992 clauses out of 34024 with flag 157000/722959 931.89/479.50 c cleaning 18010 clauses out of 36034 with flag 176002/741961 954.77/491.43 c cleaning 19006 clauses out of 38023 with flag 196001/761960 983.67/506.31 c cleaning 20004 clauses out of 40017 with flag 217001/782960 1012.57/521.59 c cleaning 20995 clauses out of 42013 with flag 239001/804960 1039.63/535.60 c cleaning 22002 clauses out of 44017 with flag 262000/827959 1066.75/549.51 c cleaning 22996 clauses out of 46015 with flag 286000/851959 1096.50/564.86 c cleaning 23993 clauses out of 48020 with flag 311001/876960 1127.67/581.19 c cleaning 24993 clauses out of 50026 with flag 337000/902959 1159.56/597.58 c cleaning 25995 clauses out of 52033 with flag 364000/929959 1194.27/615.39 c cleaning 27010 clauses out of 54040 with flag 392002/957961 1234.35/635.85 c cleaning 27999 clauses out of 56029 with flag 421001/986960 1272.38/655.65 c cleaning 28994 clauses out of 58029 with flag 451000/1016959 1309.24/674.59 c cleaning 29995 clauses out of 60035 with flag 482000/1047959 1348.13/694.97 c cleaning 31009 clauses out of 62040 with flag 514000/1079959 1395.02/719.26 c cleaning 31992 clauses out of 64031 with flag 547000/1112959 1444.40/744.42 c cleaning 32976 clauses out of 66039 with flag 581000/1146959 1495.57/770.56 c cleaning 34001 clauses out of 68063 with flag 616000/1181959 1505.82/776.25 c And the winner is solver1 1504.15/776.34 c Got one! Elapsed wall clock time (in seconds):776.212 1504.15/776.34 o 27 1509.11/778.83 c cleaning 22801 clauses out of 45631 with flag 5000/1193528 1516.81/783.72 c cleaning 14413 clauses out of 28831 with flag 11001/1199529 1524.33/788.15 c cleaning 10708 clauses out of 21417 with flag 18000/1206528 1533.47/793.39 c cleaning 9341 clauses out of 18710 with flag 26001/1214529 1544.18/799.32 c cleaning 9183 clauses out of 18368 with flag 35000/1223528 1558.38/807.42 c cleaning 9589 clauses out of 19186 with flag 45001/1233529 1570.66/814.29 c cleaning 10288 clauses out of 20597 with flag 56001/1244529 1585.49/822.20 c cleaning 11144 clauses out of 22309 with flag 68001/1256529 1600.91/830.52 c cleaning 12065 clauses out of 24164 with flag 81000/1269528 1618.69/840.56 c cleaning 13036 clauses out of 26099 with flag 95000/1283528 1638.90/851.27 c cleaning 14006 clauses out of 28064 with flag 110001/1298529 1659.74/862.37 c cleaning 15026 clauses out of 30058 with flag 126001/1314529 1682.15/874.22 c cleaning 15991 clauses out of 32031 with flag 143000/1331528 1707.68/888.17 c cleaning 17009 clauses out of 34040 with flag 161000/1349528 1733.97/901.93 c cleaning 18010 clauses out of 36031 with flag 180000/1368528 1761.16/916.24 c cleaning 19003 clauses out of 38022 with flag 200001/1388529 1783.82/928.20 c cleaning 20009 clauses out of 40018 with flag 221000/1409528 1796.87/935.91 c starts : 19 1796.87/935.91 c conflicts : 2030 1796.87/935.91 c decisions : 338145 1796.87/935.91 c propagations : 1979989 1796.87/935.91 c inspects : 21826384 1796.87/935.91 c shortcuts : 0 1796.87/935.91 c learnt literals : 0 1796.87/935.91 c learnt binary clauses : 0 1796.87/935.91 c learnt ternary clauses : 0 1796.87/935.91 c learnt constraints : 2029 1796.87/935.91 c ignored constraints : 0 1796.87/935.91 c root simplifications : 0 1796.87/935.91 c removed literals (reason simplification) : 0 1796.87/935.91 c reason swapping (by a shorter reason) : 0 1796.87/935.91 c Calls to reduceDB : 0 1796.87/935.91 c number of reductions to clauses (during analyze) : 0 1796.87/935.91 c number of learned constraints concerned by reduction : 0 1796.87/935.91 c number of learning phase by resolution : 0 1796.87/935.91 c number of learning phase by cutting planes : 0 1796.87/935.91 c speed (assignments/second) : 2118.3716265011903 1796.87/935.91 c non guided choices 0 1796.87/935.91 c learnt constraints type 1796.87/935.91 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 113 1796.87/935.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 84 1796.87/935.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1832 1796.87/935.91 c constraints type 1796.87/935.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1796.87/935.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1796.87/935.91 c org.sat4j.minisat.constraints.cnf.UnitClause => 891 1796.87/935.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1796.87/935.91 c 28774 constraints processed. 1796.87/935.91 c constraints type 1796.87/935.91 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1796.87/935.91 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1796.87/935.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1796.87/935.91 c org.sat4j.pb.constraints.pb.UnitClausePB => 891 1796.87/935.91 c 28774 constraints processed. 1796.87/935.91 s SATISFIABLE 1796.87/935.92 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 -x247 x248 -x249 x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 x7574 x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 x7753 x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 x7787 x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 x8394 x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 x8923 x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 x9187 x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 x9270 x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 x9284 x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 x9327 -x9328 -x9329 -x9330 -x9331 x9332 -x9333 1796.87/935.93 c objective function=27 1796.87/935.93 c Total wall clock time (in seconds): 935.802
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-3688384-1337877064/watcher-3688384-1337877064 -o /tmp/evaluation-result-3688384-1337877064/solver-3688384-1337877064 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688384-1337877064.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.61 3.79 3.80 4/197 22324 /proc/meminfo: memFree=26844540/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22324/stat : 22324 (java) R 22322 22324 20503 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253834908 9515008 182 33554432000 1073741824 1073778376 140734899787776 140734899778808 270118239925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2323 182 140 9 0 71 0 [startup+0.0872251 s] /proc/loadavg: 3.61 3.79 3.80 4/197 22324 /proc/meminfo: memFree=26844540/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 3307 0 1 0 5 0 0 0 20 0 18 0 253834908 9787813888 4516 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2389603 4516 1771 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100262 s] /proc/loadavg: 3.61 3.79 3.80 4/197 22324 /proc/meminfo: memFree=26844540/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 3902 0 1 0 7 0 0 0 20 0 18 0 253834908 9787813888 5107 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2389603 5109 2035 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300218 s] /proc/loadavg: 3.61 3.79 3.80 4/197 22324 /proc/meminfo: memFree=26844540/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9558412 CPUtime=0.44 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 5823 0 1 0 43 1 0 0 20 0 18 0 253834908 9787813888 8314 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2389603 8314 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558412 [startup+0.700242 s] /proc/loadavg: 3.61 3.79 3.80 4/197 22324 /proc/meminfo: memFree=26844540/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9559004 CPUtime=1.63 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 21221 0 1 0 157 6 0 0 20 0 18 0 253834908 9788420096 33543 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2389751 33543 2237 9 0 2380444 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9559004 [startup+1.50065 s] /proc/loadavg: 3.61 3.79 3.80 3/216 22346 /proc/meminfo: memFree=26712640/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9824668 CPUtime=3.11 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 21511 0 1 0 303 8 0 0 20 0 22 0 253834908 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2456167 37066 2259 9 0 2446860 0 [pid=22324/tid=22326] ppid=22322 vsize=9824668 CPUtime=0.69 cores=0,2,4,6 /proc/22324/task/22326/stat : 22326 (java) S 22322 22324 20503 0 -1 4202560 2498 0 1 0 67 2 0 0 20 0 22 0 253834909 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134634132472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22327] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22327/stat : 22327 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134595623464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22328] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22328/stat : 22328 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134594570664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22329] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22329/stat : 22329 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134593517864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=0.81 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) R 22322 22324 20503 0 -1 4202560 9794 0 0 0 78 3 0 0 20 0 22 0 253834915 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134453296056 140134640089350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=0.75 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) R 22322 22324 20503 0 -1 4202560 7906 0 0 0 73 2 0 0 20 0 22 0 253834915 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134452243256 140134639835587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22346] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22346/stat : 22346 (java) S 22322 22324 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253834984 10060460032 37066 33554432000 1073741824 1073778376 140734501542288 140133438305064 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 9824668 [startup+3.10071 s] /proc/loadavg: 3.61 3.79 3.80 5/219 22349 /proc/meminfo: memFree=26699336/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9824668 CPUtime=6.56 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 21546 0 1 0 648 8 0 0 20 0 22 0 253834908 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2456167 40676 2259 9 0 2446860 0 [pid=22324/tid=22326] ppid=22322 vsize=9824668 CPUtime=0.69 cores=0,2,4,6 /proc/22324/task/22326/stat : 22326 (java) S 22322 22324 20503 0 -1 4202560 2498 0 1 0 67 2 0 0 20 0 22 0 253834909 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134634132472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22327] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22327/stat : 22327 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134595623464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22328] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22328/stat : 22328 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134594570664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22329] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22329/stat : 22329 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134593517864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=0.97 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) R 22322 22324 20503 0 -1 4202560 9794 0 0 0 94 3 0 0 20 0 22 0 253834915 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134453296056 140134637989208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=0.85 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) S 22322 22324 20503 0 -1 4202560 7906 0 0 0 83 2 0 0 20 0 22 0 253834915 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134452243256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22346] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22346/stat : 22346 (java) S 22322 22324 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253834984 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140133438305064 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22347] ppid=22322 vsize=9824668 CPUtime=1.84 cores=0,2,4,6 /proc/22324/task/22347/stat : 22347 (java) R 22322 22324 20503 0 -1 4202560 4 0 0 0 184 0 0 0 20 0 22 0 253835031 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140133440408800 140134465947626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22348] ppid=22322 vsize=9824668 CPUtime=1.83 cores=0,2,4,6 /proc/22324/task/22348/stat : 22348 (java) R 22322 22324 20503 0 -1 4202560 37 0 0 0 183 0 0 0 20 0 22 0 253835031 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140133441463208 140134465997219 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22349] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22349/stat : 22349 (java) S 22322 22324 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253835032 10060460032 40676 33554432000 1073741824 1073778376 140734501542288 140133439358376 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.56 Current children cumulated vsize (KiB) 9824668 [startup+6.30077 s] /proc/loadavg: 3.56 3.78 3.79 5/219 22355 /proc/meminfo: memFree=26666384/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9824668 CPUtime=11.75 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 21705 0 1 0 1161 14 0 0 20 0 22 0 253834908 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2456167 55951 2286 9 0 2446860 0 [pid=22324/tid=22326] ppid=22322 vsize=9824668 CPUtime=0.71 cores=0,2,4,6 /proc/22324/task/22326/stat : 22326 (java) S 22322 22324 20503 0 -1 4202560 2501 0 1 0 69 2 0 0 20 0 22 0 253834909 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134634132472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22327] ppid=22322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/22324/task/22327/stat : 22327 (java) S 22322 22324 20503 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134595623464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22328] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22328/stat : 22328 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134594570664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22329] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22329/stat : 22329 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134593517864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253834910 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 22 0 253834912 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) S 22322 22324 20503 0 -1 4202560 9797 0 0 0 114 3 0 0 20 0 22 0 253834915 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134453296056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) S 22322 22324 20503 0 -1 4202560 7936 0 0 0 98 2 0 0 20 0 22 0 253834915 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134452243256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 55951 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=2.09 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 466 0 0 0 203 6 0 0 20 0 22 0 253834910 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=2.04 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 987 0 0 0 199 5 0 0 20 0 22 0 253834910 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=2.06 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 584 0 0 0 202 4 0 0 20 0 22 0 253834910 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=2.1 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 1174 0 0 0 205 5 0 0 20 0 22 0 253834910 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=2.14 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 1100 0 0 0 209 5 0 0 20 0 22 0 253834910 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=69.75 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 2210 0 0 0 6955 20 0 0 20 0 22 0 253834912 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) S 22322 22324 20503 0 -1 4202560 9886 0 0 0 146 3 0 0 20 0 22 0 253834915 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134453296056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=1.26 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) S 22322 22324 20503 0 -1 4202560 7961 0 0 0 124 2 0 0 20 0 22 0 253834915 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134452243256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0.18 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 51 0 0 0 9 9 0 0 20 0 22 0 253834915 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22349] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22349/stat : 22349 (java) S 22322 22324 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253835032 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140133439358376 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22451] ppid=22322 vsize=9824668 CPUtime=83.72 cores=0,2,4,6 /proc/22324/task/22451/stat : 22451 (java) R 22322 22324 20503 0 -1 4202560 6 0 0 0 8371 1 0 0 20 0 22 0 253912544 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140133440407808 140134465819188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22452] ppid=22322 vsize=9824668 CPUtime=83.72 cores=0,2,4,6 /proc/22324/task/22452/stat : 22452 (java) R 22322 22324 20503 0 -1 4202560 15 0 0 0 8371 1 0 0 20 0 22 0 253912544 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140133438303936 140134466235623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22453] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22453/stat : 22453 (java) S 22322 22324 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253912544 10060460032 248938 33554432000 1073741824 1073778376 140734501542288 140133441463848 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1696.03 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.901 s] /proc/loadavg: 3.88 3.92 3.85 5/219 22457 /proc/meminfo: memFree=27215968/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9824668 CPUtime=1796.87 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 31494 0 1 0 179581 106 0 0 20 0 22 0 253834908 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2456167 261144 2288 9 0 2446860 0 [pid=22324/tid=22326] ppid=22322 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22324/task/22326/stat : 22326 (java) S 22322 22324 20503 0 -1 4202560 2558 0 1 0 72 4 0 0 20 0 22 0 253834909 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134634132472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22327] ppid=22322 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/22324/task/22327/stat : 22327 (java) S 22322 22324 20503 0 -1 4202560 1051 0 0 0 214 6 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134595623464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22328] ppid=22322 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/22324/task/22328/stat : 22328 (java) S 22322 22324 20503 0 -1 4202560 1045 0 0 0 204 4 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134594570664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22329] ppid=22322 vsize=9824668 CPUtime=2.1 cores=0,2,4,6 /proc/22324/task/22329/stat : 22329 (java) S 22322 22324 20503 0 -1 4202560 654 0 0 0 206 4 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134593517864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=2.19 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 472 0 0 0 213 6 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=2.12 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 1004 0 0 0 207 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=2.22 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 699 0 0 0 217 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 1193 0 0 0 215 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=2.28 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 1130 0 0 0 223 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=76.49 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 2244 0 0 0 7627 22 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) S 22322 22324 20503 0 -1 4202560 9886 0 0 0 146 3 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134453296056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=1.26 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) S 22322 22324 20503 0 -1 4202560 7961 0 0 0 124 2 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134452243256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 55 0 0 0 10 9 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22349] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22349/stat : 22349 (java) S 22322 22324 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253835032 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133439358376 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22451] ppid=22322 vsize=9824668 CPUtime=130.2 cores=0,2,4,6 /proc/22324/task/22451/stat : 22451 (java) R 22322 22324 20503 0 -1 4202560 10 0 0 0 13019 1 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133440409680 140134465954849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22452] ppid=22322 vsize=9824668 CPUtime=130.2 cores=0,2,4,6 /proc/22324/task/22452/stat : 22452 (java) R 22322 22324 20503 0 -1 4202560 16 0 0 0 13019 1 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133438303200 140134465997473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22453] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22453/stat : 22453 (java) S 22322 22324 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133441463848 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1796.87 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+935.901 s] /proc/loadavg: 3.88 3.92 3.85 5/219 22457 /proc/meminfo: memFree=27215968/32873844 swapFree=6856/6856 [pid=22324] ppid=22322 vsize=9824668 CPUtime=1796.87 cores=0,2,4,6 /proc/22324/stat : 22324 (java) S 22322 22324 20503 0 -1 4202496 31494 0 1 0 179581 106 0 0 20 0 22 0 253834908 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140734501533424 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22324/statm: 2456167 261144 2288 9 0 2446860 0 [pid=22324/tid=22326] ppid=22322 vsize=9824668 CPUtime=0.76 cores=0,2,4,6 /proc/22324/task/22326/stat : 22326 (java) S 22322 22324 20503 0 -1 4202560 2558 0 1 0 72 4 0 0 20 0 22 0 253834909 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134634132472 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22327] ppid=22322 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/22324/task/22327/stat : 22327 (java) S 22322 22324 20503 0 -1 4202560 1051 0 0 0 214 6 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134595623464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22328] ppid=22322 vsize=9824668 CPUtime=2.08 cores=0,2,4,6 /proc/22324/task/22328/stat : 22328 (java) S 22322 22324 20503 0 -1 4202560 1045 0 0 0 204 4 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134594570664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22329] ppid=22322 vsize=9824668 CPUtime=2.1 cores=0,2,4,6 /proc/22324/task/22329/stat : 22329 (java) S 22322 22324 20503 0 -1 4202560 654 0 0 0 206 4 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134593517864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22330] ppid=22322 vsize=9824668 CPUtime=2.19 cores=0,2,4,6 /proc/22324/task/22330/stat : 22330 (java) S 22322 22324 20503 0 -1 4202560 472 0 0 0 213 6 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134592465064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22331] ppid=22322 vsize=9824668 CPUtime=2.12 cores=0,2,4,6 /proc/22324/task/22331/stat : 22331 (java) S 22322 22324 20503 0 -1 4202560 1004 0 0 0 207 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134591413288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22332] ppid=22322 vsize=9824668 CPUtime=2.22 cores=0,2,4,6 /proc/22324/task/22332/stat : 22332 (java) S 22322 22324 20503 0 -1 4202560 699 0 0 0 217 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134590360488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22333] ppid=22322 vsize=9824668 CPUtime=2.2 cores=0,2,4,6 /proc/22324/task/22333/stat : 22333 (java) S 22322 22324 20503 0 -1 4202560 1193 0 0 0 215 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134589307688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22334] ppid=22322 vsize=9824668 CPUtime=2.28 cores=0,2,4,6 /proc/22324/task/22334/stat : 22334 (java) S 22322 22324 20503 0 -1 4202560 1130 0 0 0 223 5 0 0 20 0 22 0 253834910 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134588254888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22335] ppid=22322 vsize=9824668 CPUtime=76.49 cores=0,2,4,6 /proc/22324/task/22335/stat : 22335 (java) S 22322 22324 20503 0 -1 4202560 2244 0 0 0 7627 22 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134457506280 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22336] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22336/stat : 22336 (java) S 22322 22324 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134456452344 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22337] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22337/stat : 22337 (java) S 22322 22324 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253834912 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134455399432 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22338] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22338/stat : 22338 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134454347920 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22339] ppid=22322 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/22324/task/22339/stat : 22339 (java) S 22322 22324 20503 0 -1 4202560 9886 0 0 0 146 3 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134453296056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22340] ppid=22322 vsize=9824668 CPUtime=1.26 cores=0,2,4,6 /proc/22324/task/22340/stat : 22340 (java) S 22322 22324 20503 0 -1 4202560 7961 0 0 0 124 2 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134452243256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22341] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22341/stat : 22341 (java) S 22322 22324 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134451190648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22342] ppid=22322 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/22324/task/22342/stat : 22342 (java) S 22322 22324 20503 0 -1 4202560 55 0 0 0 10 9 0 0 20 0 22 0 253834915 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140134450138056 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22324/tid=22349] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22349/stat : 22349 (java) S 22322 22324 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253835032 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133439358376 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22324/tid=22451] ppid=22322 vsize=9824668 CPUtime=130.2 cores=0,2,4,6 /proc/22324/task/22451/stat : 22451 (java) R 22322 22324 20503 0 -1 4202560 10 0 0 0 13019 1 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133440409680 140134465954849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22324/tid=22452] ppid=22322 vsize=9824668 CPUtime=130.2 cores=0,2,4,6 /proc/22324/task/22452/stat : 22452 (java) R 22322 22324 20503 0 -1 4202560 16 0 0 0 13019 1 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133438303200 140134465997473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22324/tid=22453] ppid=22322 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22324/task/22453/stat : 22453 (java) S 22322 22324 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253912544 10060460032 261144 33554432000 1073741824 1073778376 140734501542288 140133441463848 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 9824668 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22324 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=18115 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=291803 # CPU time returned by wait4() is 1796.31 # while last known CPU time is 1796.87 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.28992 # lost CPU user time (s): 3.50989 # lost CPU system time (s): -0.22 Real time (s): 935.947 CPU time (s): 1800.16 CPU user time (s): 1799.32 CPU system time (s): 0.84 CPU usage (%): 192.336 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.02 system time used= 1.2918 maximum resident set size= 1044692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31524 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28012 involuntary context switches= 43317 runsolver used 3.9514 second user time and 7.42387 second system time The end
Begin job on node106 at 2012-05-24 18:31:04 IDJOB=3688384 IDBENCH=24975 IDSOLVER=2268 FILE ID=node106/3688384-1337877064 RUNJOBID= node106-1337871881-20519 PBS_JOBID= 14620098 Free space on /tmp= 71652 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_021_area_delay.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688384-1337877064/watcher-3688384-1337877064 -o /tmp/evaluation-result-3688384-1337877064/solver-3688384-1337877064 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688384-1337877064.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=150809785 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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: 32873844 kB MemFree: 26844804 kB Buffers: 200168 kB Cached: 2914332 kB SwapCached: 0 kB Active: 2856252 kB Inactive: 2399188 kB Active(anon): 2143384 kB Inactive(anon): 0 kB Active(file): 712868 kB Inactive(file): 2399188 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1208 kB Writeback: 0 kB AnonPages: 2153564 kB Mapped: 22568 kB Shmem: 200 kB Slab: 625948 kB SReclaimable: 68444 kB SUnreclaim: 557504 kB KernelStack: 1640 kB PageTables: 8424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2606688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2084864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71664 MiB End job on node106 at 2012-05-24 18:46:42