Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.46 | 913.3 |
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 | 1.64875 |
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.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.08 c version 2.3.1.v20110525 0.06/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.08 c java.vm.version 19.1-b02 0.06/0.08 c java.vm.vendor Sun Microsystems Inc. 0.06/0.08 c sun.arch.data.model 64 0.06/0.08 c java.version 1.6.0_24 0.06/0.08 c os.name Linux 0.06/0.08 c os.version 2.6.18-164.el5 0.06/0.08 c os.arch amd64 0.06/0.08 c Free memory 9996466904 0.06/0.08 c Max memory 10048897024 0.06/0.08 c Total memory 10048897024 0.06/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454089-1307193376.opb 0.10/0.11 c reading problem ... 0.98/0.56 c ... done. Wall clock time 0.455s. 0.98/0.56 c #vars 9333 0.98/0.56 c #constraints 28773 0.98/0.56 c constraints type 0.98/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 0.98/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 0.98/0.56 c constraints type 0.98/0.56 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 0.98/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1.69/0.70 c And the winner is Resolution 1.76/1.10 c SATISFIABLE 1.76/1.10 c OPTIMIZING... 1.76/1.10 c Got one! Elapsed wall clock time (in seconds):0.99 1.76/1.10 o 30 8.31/4.00 c cleaning 2500 clauses out of 5012 with flag 5000/5012 9.27/4.48 c And the winner is Resolution 9.72/4.82 c Got one! Elapsed wall clock time (in seconds):4.714 9.72/4.82 o 29 14.19/7.01 c cleaning 4056 clauses out of 8136 with flag 5000/10636 14.35/7.10 c And the winner is Resolution 14.43/7.36 c Got one! Elapsed wall clock time (in seconds):7.25 14.43/7.36 o 28 18.36/9.32 c cleaning 4575 clauses out of 9152 with flag 5000/15708 24.17/12.21 c cleaning 5286 clauses out of 10577 with flag 11000/21708 31.55/15.92 c cleaning 6145 clauses out of 12293 with flag 18002/28710 38.70/19.54 c cleaning 7068 clauses out of 14146 with flag 26000/36708 46.89/23.63 c cleaning 8029 clauses out of 16078 with flag 35000/45708 56.04/28.22 c cleaning 9019 clauses out of 18049 with flag 45000/55708 68.57/34.57 c cleaning 10007 clauses out of 20031 with flag 56001/66709 78.73/39.65 c cleaning 11008 clauses out of 22024 with flag 68001/78709 90.44/45.55 c cleaning 12003 clauses out of 24018 with flag 81003/91711 103.36/52.02 c cleaning 13001 clauses out of 26012 with flag 95000/105708 116.24/58.52 c cleaning 14002 clauses out of 28011 with flag 110000/120708 130.14/65.53 c cleaning 14997 clauses out of 30009 with flag 126000/136708 145.26/73.13 c cleaning 16001 clauses out of 32012 with flag 143000/153708 162.16/81.67 c cleaning 16995 clauses out of 34011 with flag 161000/171708 178.59/89.94 c cleaning 18001 clauses out of 36017 with flag 180001/190709 196.87/99.12 c cleaning 18999 clauses out of 38017 with flag 200002/210710 218.17/109.80 c cleaning 20003 clauses out of 40017 with flag 221001/231709 237.05/119.38 c cleaning 21003 clauses out of 42015 with flag 243002/253710 256.28/129.08 c cleaning 22003 clauses out of 44010 with flag 266000/276708 278.97/140.49 c cleaning 23001 clauses out of 46009 with flag 290002/300710 300.25/151.15 c cleaning 23998 clauses out of 48007 with flag 315001/325709 326.12/164.17 c cleaning 24999 clauses out of 50009 with flag 341001/351709 339.50/170.94 c And the winner is CuttingPlanes 339.50/170.98 c Got one! Elapsed wall clock time (in seconds):170.87 339.50/170.98 o 27 344.11/173.24 c cleaning 21946 clauses out of 43898 with flag 5000/370597 349.15/175.89 c cleaning 13969 clauses out of 27952 with flag 11000/376597 355.19/178.96 c cleaning 10487 clauses out of 20984 with flag 18001/383598 362.25/182.58 c cleaning 9240 clauses out of 18496 with flag 26000/391597 371.00/187.03 c cleaning 9119 clauses out of 18256 with flag 35000/400597 379.43/191.31 c cleaning 9561 clauses out of 19138 with flag 45001/410598 388.83/196.18 c cleaning 10283 clauses out of 20576 with flag 56000/421597 400.26/201.95 c cleaning 11142 clauses out of 22294 with flag 68001/433598 411.39/207.65 c cleaning 12073 clauses out of 24151 with flag 81000/446597 423.81/213.98 c cleaning 13031 clauses out of 26078 with flag 95000/460597 437.85/221.08 c cleaning 14011 clauses out of 28047 with flag 110000/475597 452.04/228.22 c cleaning 15012 clauses out of 30037 with flag 126001/491598 467.16/235.98 c cleaning 16006 clauses out of 32024 with flag 143000/508597 482.58/243.73 c cleaning 17002 clauses out of 34019 with flag 161001/526598 500.60/252.81 c cleaning 18003 clauses out of 36017 with flag 180001/545598 518.02/261.62 c cleaning 19001 clauses out of 38013 with flag 200000/565597 538.13/271.83 c cleaning 19999 clauses out of 40012 with flag 221000/586597 556.75/281.29 c cleaning 21004 clauses out of 42013 with flag 243000/608597 575.76/290.85 c cleaning 21996 clauses out of 44009 with flag 266000/631597 598.35/302.28 c cleaning 23002 clauses out of 46014 with flag 290001/655598 621.64/314.07 c cleaning 23997 clauses out of 48011 with flag 315000/680597 646.60/326.67 c cleaning 24987 clauses out of 50014 with flag 341000/706597 669.91/338.40 c cleaning 26008 clauses out of 52028 with flag 368001/733598 693.44/350.30 c cleaning 27000 clauses out of 54019 with flag 396000/761597 719.62/363.64 c cleaning 27502 clauses out of 55020 with flag 424001/789598 745.14/376.51 c cleaning 27753 clauses out of 55517 with flag 452000/817597 769.47/388.82 c cleaning 27872 clauses out of 55764 with flag 480000/845597 793.62/401.03 c cleaning 27937 clauses out of 55892 with flag 508000/873597 817.77/413.39 c cleaning 27968 clauses out of 55955 with flag 536000/901597 844.89/427.03 c cleaning 27983 clauses out of 55987 with flag 564000/929597 870.82/440.19 c cleaning 27999 clauses out of 56005 with flag 592001/957598 897.32/453.55 c cleaning 27994 clauses out of 56006 with flag 620001/985598 921.68/465.97 c cleaning 28000 clauses out of 56012 with flag 648001/1013598 949.23/479.85 c cleaning 27998 clauses out of 56011 with flag 676000/1041597 972.74/491.72 c cleaning 27997 clauses out of 56013 with flag 704000/1069597 997.79/504.41 c cleaning 28000 clauses out of 56017 with flag 732001/1097598 1023.31/517.42 c cleaning 28000 clauses out of 56017 with flag 760001/1125598 1050.39/531.12 c cleaning 28002 clauses out of 56016 with flag 788000/1153597 1075.25/543.74 c cleaning 28001 clauses out of 56015 with flag 816001/1181598 1099.74/556.15 c cleaning 27999 clauses out of 56014 with flag 844001/1209598 1129.64/571.39 c cleaning 27999 clauses out of 56015 with flag 872001/1237598 1157.71/585.50 c cleaning 28004 clauses out of 56016 with flag 900001/1265598 1181.95/597.82 c cleaning 28003 clauses out of 56011 with flag 928000/1293597 1206.99/610.56 c cleaning 27995 clauses out of 56008 with flag 956000/1321597 1235.40/625.07 c cleaning 27991 clauses out of 56013 with flag 984000/1349597 1262.62/638.82 c cleaning 28007 clauses out of 56024 with flag 1012002/1377599 1287.22/651.38 c cleaning 28001 clauses out of 56016 with flag 1040001/1405598 1310.63/663.30 c cleaning 27985 clauses out of 56014 with flag 1068000/1433597 1333.77/675.13 c cleaning 28010 clauses out of 56030 with flag 1096001/1461598 1359.77/688.38 c cleaning 28000 clauses out of 56019 with flag 1124000/1489597 1384.77/701.05 c cleaning 28002 clauses out of 56019 with flag 1152000/1517597 1409.98/713.87 c cleaning 28007 clauses out of 56019 with flag 1180002/1545599 1435.10/726.71 c cleaning 27995 clauses out of 56010 with flag 1208000/1573597 1458.88/738.82 c cleaning 28001 clauses out of 56015 with flag 1236000/1601597 1484.45/751.81 c cleaning 27998 clauses out of 56014 with flag 1264000/1629597 1509.82/764.78 c cleaning 28000 clauses out of 56018 with flag 1292002/1657599 1534.96/777.62 c cleaning 28000 clauses out of 56017 with flag 1320001/1685598 1559.90/790.34 c cleaning 28001 clauses out of 56019 with flag 1348003/1713600 1584.03/802.69 c cleaning 27998 clauses out of 56015 with flag 1376000/1741597 1608.38/815.09 c cleaning 28000 clauses out of 56018 with flag 1404001/1769598 1631.86/827.19 c cleaning 28001 clauses out of 56018 with flag 1432001/1797598 1658.18/840.52 c cleaning 28005 clauses out of 56016 with flag 1460000/1825597 1687.29/855.36 c cleaning 28000 clauses out of 56012 with flag 1488001/1853598 1717.42/870.61 c cleaning 27998 clauses out of 56012 with flag 1516001/1881598 1741.70/883.12 c cleaning 28002 clauses out of 56013 with flag 1544000/1909597 1764.19/894.64 c cleaning 27996 clauses out of 56011 with flag 1572000/1937597 1786.28/905.99 c cleaning 27999 clauses out of 56015 with flag 1600000/1965597 1800.19/913.12 c starts : 13 1800.19/913.12 c conflicts : 1349 1800.19/913.12 c decisions : 234866 1800.19/913.12 c propagations : 1314402 1800.19/913.12 c inspects : 6024203 1800.19/913.12 c shortcuts : 0 1800.19/913.12 c learnt literals : 0 1800.19/913.12 c learnt binary clauses : 0 1800.19/913.12 c learnt ternary clauses : 0 1800.19/913.12 c learnt constraints : 1348 1800.19/913.12 c ignored constraints : 0 1800.19/913.12 c root simplifications : 0 1800.19/913.12 c removed literals (reason simplification) : 0 1800.19/913.12 c reason swapping (by a shorter reason) : 0 1800.19/913.12 c Calls to reduceDB : 0 1800.19/913.12 c number of reductions to clauses (during analyze) : 0 1800.19/913.12 c number of learned constraints concerned by reduction : 0 1800.19/913.12 c number of learning phase by resolution : 0 1800.19/913.12 c number of learning phase by cutting planes : 0 1800.19/913.12 c speed (assignments/second) : 1771.1090300282294 1800.19/913.12 c non guided choices 0 1800.19/913.12 c learnt constraints type 1800.19/913.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 77 1800.19/913.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 55 1800.19/913.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1216 1800.19/913.12 c constraints type 1800.19/913.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4757 1800.19/913.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.19/913.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23125 1800.19/913.12 c constraints type 1800.19/913.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23125 1800.19/913.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4757 1800.19/913.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.19/913.12 s SATISFIABLE 1800.19/913.14 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 1800.19/913.15 c objective function=27 1800.19/913.15 c Total wall clock time (in seconds): 913.043
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454089-1307193376/watcher-3454089-1307193376 -o /tmp/evaluation-result-3454089-1307193376/solver-3454089-1307193376 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454089-1307193376.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.72 3.15 2/328 30648 /proc/meminfo: memFree=24123552/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 4063 0 1 0 0 0 0 0 21 0 2 0 909568173 10694979584 3764 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2611079 3776 917 9 0 2602235 0 [pid=30648/tid=30649] ppid=30646 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) R 30646 30648 27326 0 -1 4202560 2993 0 1 0 0 0 0 0 23 0 2 0 909568173 10694979584 3810 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.067601 s] /proc/loadavg: 2.00 2.72 3.15 2/328 30648 /proc/meminfo: memFree=24123552/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 11828 0 1 0 4 2 0 0 21 0 18 0 909568173 10724442112 11524 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2618272 11524 1742 9 0 2609006 0 [pid=30648/tid=30649] ppid=30646 vsize=10473088 CPUtime=0.05 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) R 30646 30648 27326 0 -1 4202560 10650 0 1 0 4 1 0 0 25 0 18 0 909568173 10724442112 11524 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.100596 s] /proc/loadavg: 2.00 2.72 3.15 2/328 30648 /proc/meminfo: memFree=24123552/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10540428 CPUtime=0.1 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 13148 0 1 0 8 2 0 0 21 0 18 0 909568173 10793398272 12816 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2635107 12816 2093 9 0 2625841 0 [pid=30648/tid=30649] ppid=30646 vsize=10540428 CPUtime=0.09 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) R 30646 30648 27326 0 -1 4202560 11205 0 1 0 7 2 0 0 25 0 18 0 909568173 10793398272 12816 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 18446744073699065904 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540428 [startup+0.300559 s] /proc/loadavg: 2.00 2.72 3.15 2/328 30648 /proc/meminfo: memFree=24123552/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10541952 CPUtime=0.52 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 17131 0 1 0 50 2 0 0 21 0 18 0 909568173 10794958848 16002 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2635488 16002 2202 9 0 2626222 0 [pid=30648/tid=30649] ppid=30646 vsize=10541952 CPUtime=0.29 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) R 30646 30648 27326 0 -1 4202560 13517 0 1 0 27 2 0 0 25 0 18 0 909568173 10794958848 16002 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912505217361 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10541952 [startup+0.700487 s] /proc/loadavg: 2.00 2.72 3.15 2/328 30648 /proc/meminfo: memFree=24123552/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550248 CPUtime=1.69 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 37422 0 1 0 163 6 0 0 21 0 22 0 909568173 10803453952 34025 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637562 34025 2235 9 0 2628296 0 [pid=30648/tid=30649] ppid=30646 vsize=10550248 CPUtime=0.55 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 28990 0 1 0 51 4 0 0 25 0 22 0 909568173 10803453952 34025 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.69 Current children cumulated vsize (KiB) 10550248 [startup+1.50134 s] /proc/loadavg: 2.00 2.72 3.15 2/364 30690 /proc/meminfo: memFree=23889724/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550472 CPUtime=2.88 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 39306 0 1 0 282 6 0 0 21 0 22 0 909568173 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637618 35499 2240 9 0 2628352 0 [pid=30648/tid=30649] ppid=30646 vsize=10550472 CPUtime=0.61 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29448 0 1 0 57 4 0 0 22 0 22 0 909568173 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 909568176 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909568176 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909568176 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30678] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30678/stat : 30678 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30679] ppid=30646 vsize=10550472 CPUtime=0.68 cores=1,3,5,7 /proc/30648/task/30679/stat : 30679 (java) S 30646 30648 27326 0 -1 4202560 4093 0 0 0 68 0 0 0 21 0 22 0 909568178 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30680] ppid=30646 vsize=10550472 CPUtime=0.55 cores=1,3,5,7 /proc/30648/task/30680/stat : 30680 (java) S 30646 30648 27326 0 -1 4202560 3104 0 0 0 55 0 0 0 15 0 22 0 909568178 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30681] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30681/stat : 30681 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30682] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30682/stat : 30682 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909568178 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30690] ppid=30646 vsize=10550472 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30690/stat : 30690 (java) S 30646 30648 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909568235 10803683328 35499 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 10550472 [startup+3.10104 s] /proc/loadavg: 2.56 2.83 3.18 7/370 30702 /proc/meminfo: memFree=23869960/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550716 CPUtime=6.43 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 43839 0 1 0 637 6 0 0 21 0 22 0 909568173 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637679 40030 2243 9 0 2628413 0 [pid=30648/tid=30649] ppid=30646 vsize=10550716 CPUtime=0.61 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29448 0 1 0 57 4 0 0 15 0 22 0 909568173 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568175 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909568176 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909568176 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30678] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30678/stat : 30678 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30679] ppid=30646 vsize=10550716 CPUtime=0.89 cores=1,3,5,7 /proc/30648/task/30679/stat : 30679 (java) S 30646 30648 27326 0 -1 4202560 4125 0 0 0 89 0 0 0 15 0 22 0 909568178 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30680] ppid=30646 vsize=10550716 CPUtime=0.7 cores=1,3,5,7 /proc/30648/task/30680/stat : 30680 (java) S 30646 30648 27326 0 -1 4202560 3198 0 0 0 70 0 0 0 15 0 22 0 909568178 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30681] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30681/stat : 30681 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30682] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30682/stat : 30682 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909568178 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30690] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30690/stat : 30690 (java) S 30646 30648 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909568235 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30694] ppid=30646 vsize=10550716 CPUtime=1.96 cores=1,3,5,7 /proc/30648/task/30694/stat : 30694 (java) R 30646 30648 27326 0 -1 4202560 353 0 0 0 196 0 0 0 25 0 22 0 909568286 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506045956 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=30648/tid=30695] ppid=30646 vsize=10550716 CPUtime=1.95 cores=1,3,5,7 /proc/30648/task/30695/stat : 30695 (java) R 30646 30648 27326 0 -1 4202560 4899 0 0 0 195 0 0 0 18 0 22 0 909568286 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506120061 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=30648/tid=30696] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30696/stat : 30696 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 909568286 10803933184 40030 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 10550716 [startup+6.30149 s] /proc/loadavg: 2.56 2.83 3.18 5/370 30711 /proc/meminfo: memFree=23030808/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550716 CPUtime=12.73 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 142254 0 1 0 1256 17 0 0 21 0 22 0 909568173 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637679 136575 2268 9 0 2628413 0 [pid=30648/tid=30649] ppid=30646 vsize=10550716 CPUtime=0.64 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29874 0 1 0 60 4 0 0 15 0 22 0 909568173 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550716 CPUtime=0.01 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 996 0 0 0 1 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550716 CPUtime=0.01 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 1090 0 0 0 1 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550716 CPUtime=0.01 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 854 0 0 0 1 0 0 0 18 0 22 0 909568175 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550716 CPUtime=0.04 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 2923 0 0 0 4 0 0 0 15 0 22 0 909568176 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 136575 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 3.87 3.80 3.58 5/370 30739 /proc/meminfo: memFree=16478208/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550716 CPUtime=1622.23 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 960379 0 1 0 162118 105 0 0 21 0 22 0 909568173 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637679 953041 2270 9 0 2628413 0 [pid=30648/tid=30649] ppid=30646 vsize=10550716 CPUtime=0.69 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29909 0 1 0 65 4 0 0 15 0 22 0 909568173 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550716 CPUtime=0.62 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 8525 0 0 0 61 1 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550716 CPUtime=0.86 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 12688 0 0 0 86 0 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550716 CPUtime=0.77 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 8584 0 0 0 76 1 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550716 CPUtime=0.72 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 9147 0 0 0 71 1 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550716 CPUtime=0.62 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 5185 0 0 0 62 0 0 0 15 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550716 CPUtime=0.74 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 11142 0 0 0 72 2 0 0 15 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550716 CPUtime=0.65 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 7205 0 0 0 65 0 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550716 CPUtime=0.61 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 7707 0 0 0 61 0 0 0 16 0 22 0 909568175 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550716 CPUtime=24.83 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 27997 0 0 0 2479 4 0 0 15 0 22 0 909568176 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909568176 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30678] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30678/stat : 30678 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30679] ppid=30646 vsize=10550716 CPUtime=1.5 cores=1,3,5,7 /proc/30648/task/30679/stat : 30679 (java) S 30646 30648 27326 0 -1 4202560 8563 0 0 0 149 1 0 0 15 0 22 0 909568178 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30680] ppid=30646 vsize=10550716 CPUtime=0.91 cores=1,3,5,7 /proc/30648/task/30680/stat : 30680 (java) S 30646 30648 27326 0 -1 4202560 3202 0 0 0 91 0 0 0 15 0 22 0 909568178 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30681] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30681/stat : 30681 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30682] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30682/stat : 30682 (java) S 30646 30648 27326 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909568178 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30714] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30714/stat : 30714 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909568910 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30719] ppid=30646 vsize=10550716 CPUtime=627.74 cores=1,3,5,7 /proc/30648/task/30719/stat : 30719 (java) R 30646 30648 27326 0 -1 4202560 73 0 0 0 62774 0 0 0 25 0 22 0 909585271 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506045796 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=30648/tid=30720] ppid=30646 vsize=10550716 CPUtime=627.73 cores=1,3,5,7 /proc/30648/task/30720/stat : 30720 (java) R 30646 30648 27326 0 -1 4202560 40 0 0 0 62773 0 0 0 25 0 22 0 909585271 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912505771876 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30648/tid=30721] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30721/stat : 30721 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909585271 10803933184 953041 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1622.23 Current children cumulated vsize (KiB) 10550716 [startup+882.301 s] /proc/loadavg: 3.86 3.81 3.60 5/370 30740 /proc/meminfo: memFree=16443088/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550716 CPUtime=1740.07 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 964525 0 1 0 173901 106 0 0 21 0 22 0 909568173 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637679 957082 2270 9 0 2628413 0 [pid=30648/tid=30649] ppid=30646 vsize=10550716 CPUtime=0.69 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29911 0 1 0 65 4 0 0 15 0 22 0 909568173 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550716 CPUtime=0.67 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 9216 0 0 0 66 1 0 0 16 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550716 CPUtime=0.92 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 13411 0 0 0 92 0 0 0 15 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550716 CPUtime=0.82 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 8946 0 0 0 81 1 0 0 16 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550716 CPUtime=0.75 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 9317 0 0 0 74 1 0 0 15 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550716 CPUtime=0.72 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 5442 0 0 0 71 1 0 0 16 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550716 CPUtime=0.8 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 11383 0 0 0 78 2 0 0 15 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550716 CPUtime=0.73 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 7888 0 0 0 72 1 0 0 16 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550716 CPUtime=0.69 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 8381 0 0 0 68 1 0 0 15 0 22 0 909568175 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550716 CPUtime=27.18 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 28326 0 0 0 2714 4 0 0 15 0 22 0 909568176 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909568176 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30678] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30678/stat : 30678 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30679] ppid=30646 vsize=10550716 CPUtime=1.5 cores=1,3,5,7 /proc/30648/task/30679/stat : 30679 (java) S 30646 30648 27326 0 -1 4202560 8563 0 0 0 149 1 0 0 15 0 22 0 909568178 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30680] ppid=30646 vsize=10550716 CPUtime=0.91 cores=1,3,5,7 /proc/30648/task/30680/stat : 30680 (java) S 30646 30648 27326 0 -1 4202560 3202 0 0 0 91 0 0 0 15 0 22 0 909568178 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30681] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30681/stat : 30681 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30682] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30682/stat : 30682 (java) S 30646 30648 27326 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909568178 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30714] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30714/stat : 30714 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909568910 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30719] ppid=30646 vsize=10550716 CPUtime=685.23 cores=1,3,5,7 /proc/30648/task/30719/stat : 30719 (java) R 30646 30648 27326 0 -1 4202560 82 0 0 0 68523 0 0 0 25 0 22 0 909585271 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506124420 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=30648/tid=30720] ppid=30646 vsize=10550716 CPUtime=685.23 cores=1,3,5,7 /proc/30648/task/30720/stat : 30720 (java) R 30646 30648 27326 0 -1 4202560 41 0 0 0 68523 0 0 0 25 0 22 0 909585271 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506119408 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30648/tid=30721] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30721/stat : 30721 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909585271 10803933184 957082 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1740.07 Current children cumulated vsize (KiB) 10550716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+913.101 s] /proc/loadavg: 3.77 3.80 3.60 4/370 30741 /proc/meminfo: memFree=16437376/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=10550716 CPUtime=1800.19 cores=1,3,5,7 /proc/30648/stat : 30648 (java) S 30646 30648 27326 0 -1 4202496 965260 0 1 0 179913 106 0 0 21 0 22 0 909568173 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 2637679 957803 2270 9 0 2628413 0 [pid=30648/tid=30649] ppid=30646 vsize=10550716 CPUtime=0.69 cores=1,3,5,7 /proc/30648/task/30649/stat : 30649 (java) S 30646 30648 27326 0 -1 4202560 29911 0 1 0 65 4 0 0 15 0 22 0 909568173 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30659] ppid=30646 vsize=10550716 CPUtime=0.71 cores=1,3,5,7 /proc/30648/task/30659/stat : 30659 (java) S 30646 30648 27326 0 -1 4202560 9257 0 0 0 70 1 0 0 16 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30660] ppid=30646 vsize=10550716 CPUtime=0.95 cores=1,3,5,7 /proc/30648/task/30660/stat : 30660 (java) S 30646 30648 27326 0 -1 4202560 13421 0 0 0 95 0 0 0 15 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30661] ppid=30646 vsize=10550716 CPUtime=0.83 cores=1,3,5,7 /proc/30648/task/30661/stat : 30661 (java) S 30646 30648 27326 0 -1 4202560 8946 0 0 0 82 1 0 0 15 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30662] ppid=30646 vsize=10550716 CPUtime=0.78 cores=1,3,5,7 /proc/30648/task/30662/stat : 30662 (java) S 30646 30648 27326 0 -1 4202560 9330 0 0 0 77 1 0 0 15 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30663] ppid=30646 vsize=10550716 CPUtime=0.78 cores=1,3,5,7 /proc/30648/task/30663/stat : 30663 (java) S 30646 30648 27326 0 -1 4202560 5567 0 0 0 77 1 0 0 16 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30664] ppid=30646 vsize=10550716 CPUtime=0.86 cores=1,3,5,7 /proc/30648/task/30664/stat : 30664 (java) S 30646 30648 27326 0 -1 4202560 11383 0 0 0 84 2 0 0 16 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30665] ppid=30646 vsize=10550716 CPUtime=0.77 cores=1,3,5,7 /proc/30648/task/30665/stat : 30665 (java) S 30646 30648 27326 0 -1 4202560 7888 0 0 0 76 1 0 0 16 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30666] ppid=30646 vsize=10550716 CPUtime=0.71 cores=1,3,5,7 /proc/30648/task/30666/stat : 30666 (java) S 30646 30648 27326 0 -1 4202560 8381 0 0 0 70 1 0 0 15 0 22 0 909568175 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30670] ppid=30646 vsize=10550716 CPUtime=28.82 cores=1,3,5,7 /proc/30648/task/30670/stat : 30670 (java) S 30646 30648 27326 0 -1 4202560 28863 0 0 0 2877 5 0 0 15 0 22 0 909568176 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 0 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30671] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30671/stat : 30671 (java) S 30646 30648 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909568176 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30672] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30672/stat : 30672 (java) S 30646 30648 27326 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909568176 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30678] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30678/stat : 30678 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032219569 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30679] ppid=30646 vsize=10550716 CPUtime=1.5 cores=1,3,5,7 /proc/30648/task/30679/stat : 30679 (java) S 30646 30648 27326 0 -1 4202560 8563 0 0 0 149 1 0 0 15 0 22 0 909568178 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30680] ppid=30646 vsize=10550716 CPUtime=0.91 cores=1,3,5,7 /proc/30648/task/30680/stat : 30680 (java) S 30646 30648 27326 0 -1 4202560 3202 0 0 0 91 0 0 0 15 0 22 0 909568178 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 [pid=30648/tid=30681] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30681/stat : 30681 (java) S 30646 30648 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909568178 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032211865 0 4 0 16800975 18446604466516395136 0 0 -1 7 0 0 0 [pid=30648/tid=30682] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30682/stat : 30682 (java) S 30646 30648 27326 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909568178 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 5 0 0 0 [pid=30648/tid=30714] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30714/stat : 30714 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909568910 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 1 0 0 0 [pid=30648/tid=30719] ppid=30646 vsize=10550716 CPUtime=714.33 cores=1,3,5,7 /proc/30648/task/30719/stat : 30719 (java) R 30646 30648 27326 0 -1 4202560 88 0 0 0 71433 0 0 0 25 0 22 0 909585271 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506042800 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=30648/tid=30720] ppid=30646 vsize=10550716 CPUtime=714.33 cores=1,3,5,7 /proc/30648/task/30720/stat : 30720 (java) R 30646 30648 27326 0 -1 4202560 42 0 0 0 71433 0 0 0 25 0 22 0 909585271 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 46912506019950 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=30648/tid=30721] ppid=30646 vsize=10550716 CPUtime=0 cores=1,3,5,7 /proc/30648/task/30721/stat : 30721 (java) S 30646 30648 27326 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909585271 10803933184 957803 33554432000 1073741824 1073778376 140733523877312 18446744073709551615 260032212480 0 4 0 16800975 18446604466516395136 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 10550716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+913.218 s] /proc/loadavg: 3.77 3.80 3.60 4/370 30741 /proc/meminfo: memFree=16437376/32951124 swapFree=67056304/67111528 [pid=30648] ppid=30646 vsize=0 CPUtime=1800.38 cores=1,3,5,7 /proc/30648/stat : 30648 (java) Z 30646 30648 27326 0 -1 4203548 965290 0 1 0 179925 113 0 0 17 0 2 0 909568173 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/30648/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 913.3 CPU time (s): 1800.46 CPU user time (s): 1799.25 CPU system time (s): 1.21181 CPU usage (%): 197.138 Max. virtual memory (cumulated for all children) (KiB): 10550716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 1.21182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 965290 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26748 involuntary context switches= 20516 runsolver used 3.05653 second user time and 6.85796 second system time The end
Begin job on node110 at 2011-06-04 15:16:16 IDJOB=3454089 IDBENCH=24975 IDSOLVER=1950 FILE ID=node110/3454089-1307193376 RUNJOBID= node110-1307193376-30628 PBS_JOBID= 13508825 Free space on /tmp= 74044 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454089-1307193376/watcher-3454089-1307193376 -o /tmp/evaluation-result-3454089-1307193376/solver-3454089-1307193376 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454089-1307193376.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=1134690633 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24128924 kB Buffers: 305128 kB Cached: 4588932 kB SwapCached: 8652 kB Active: 4028264 kB Inactive: 4472920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24128924 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 1964 kB Writeback: 0 kB AnonPages: 3604796 kB Mapped: 30440 kB Slab: 229324 kB PageTables: 27200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 79017712 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74044 MiB End job on node110 at 2011-06-04 15:31:31