Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 29 | 1800.46 | 912.687 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb |
| MD5SUM | 11f76d5c4a01da95c686f09380ec8e85 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 33.8139 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 29 |
| Optimality of the best value was proved | NO |
| Number of variables | 9709 |
| Total number of constraints | 29891 |
| Number of constraints which are clauses | 29891 |
| 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 | 4768 |
| 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 | 4768 |
| 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 | 4768 |
| 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.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c version 2.3.1.v20110525 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 9996466904 0.05/0.08 c Max memory 10048897024 0.05/0.08 c Total memory 10048897024 0.05/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@48e5855a 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@398020cc 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-3454092-1307193415.opb 0.10/0.11 c reading problem ... 1.00/0.54 c ... done. Wall clock time 0.427s. 1.00/0.54 c #vars 9709 1.00/0.54 c #constraints 29891 1.00/0.54 c constraints type 1.00/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950 1.00/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997 1.00/0.54 c constraints type 1.00/0.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23997 1.00/0.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4950 1.27/0.63 c And the winner is CuttingPlanes 1.45/1.07 c SATISFIABLE 1.45/1.07 c OPTIMIZING... 1.45/1.07 c Got one! Elapsed wall clock time (in seconds):0.962 1.45/1.07 o 39 1.58/1.12 c And the winner is Resolution 1.84/1.62 c Got one! Elapsed wall clock time (in seconds):1.512 1.84/1.62 o 36 2.15/1.73 c And the winner is Resolution 2.33/2.16 c Got one! Elapsed wall clock time (in seconds):2.049 2.33/2.16 o 34 2.78/2.33 c And the winner is Resolution 3.03/2.69 c Got one! Elapsed wall clock time (in seconds):2.58 3.03/2.69 o 33 3.56/2.94 c And the winner is Resolution 3.66/3.21 c Got one! Elapsed wall clock time (in seconds):3.106 3.66/3.21 o 32 3.86/3.31 c And the winner is Resolution 3.91/3.74 c Got one! Elapsed wall clock time (in seconds):3.634 3.91/3.74 o 31 4.06/3.87 c And the winner is Resolution 4.30/4.27 c Got one! Elapsed wall clock time (in seconds):4.16 4.30/4.27 o 30 10.46/7.30 c cleaning 3217 clauses out of 6445 with flag 5000/6445 16.77/10.37 c cleaning 4610 clauses out of 9228 with flag 11000/12445 23.77/13.86 c cleaning 5805 clauses out of 11619 with flag 18001/19446 31.35/17.68 c cleaning 6901 clauses out of 13814 with flag 26001/27446 39.91/21.92 c cleaning 7953 clauses out of 15914 with flag 35002/36447 48.88/26.48 c cleaning 8970 clauses out of 17959 with flag 45000/46445 59.83/31.96 c cleaning 9985 clauses out of 19989 with flag 56000/57445 71.76/37.90 c cleaning 10987 clauses out of 22004 with flag 68000/69445 84.69/44.47 c cleaning 11998 clauses out of 24017 with flag 81000/82445 98.63/51.46 c cleaning 12999 clauses out of 26019 with flag 95000/96445 113.96/59.18 c cleaning 14003 clauses out of 28021 with flag 110001/111446 128.88/66.64 c cleaning 15007 clauses out of 30019 with flag 126002/127447 144.17/74.30 c cleaning 15997 clauses out of 32010 with flag 143000/144445 161.30/82.90 c cleaning 17000 clauses out of 34013 with flag 161000/162445 179.23/91.94 c cleaning 18002 clauses out of 36013 with flag 180000/181445 199.34/102.03 c cleaning 19004 clauses out of 38011 with flag 200000/201445 222.61/113.76 c cleaning 19991 clauses out of 40007 with flag 221000/222445 245.94/125.48 c cleaning 21000 clauses out of 42017 with flag 243001/244446 267.42/136.20 c cleaning 22003 clauses out of 44017 with flag 266001/267446 291.13/148.14 c cleaning 22998 clauses out of 46015 with flag 290002/291447 317.56/161.40 c cleaning 23999 clauses out of 48016 with flag 315001/316446 343.64/174.57 c cleaning 24996 clauses out of 50016 with flag 341000/342445 371.33/188.45 c cleaning 26003 clauses out of 52020 with flag 368000/369445 398.64/202.13 c cleaning 27001 clauses out of 54017 with flag 396000/397445 426.43/216.12 c cleaning 27995 clauses out of 56016 with flag 425000/426445 455.29/230.60 c cleaning 28507 clauses out of 57021 with flag 454000/455445 483.35/244.70 c cleaning 28745 clauses out of 57514 with flag 483000/484445 511.40/258.80 c cleaning 28878 clauses out of 57769 with flag 512000/513445 540.56/273.59 c cleaning 28933 clauses out of 57891 with flag 541000/542445 569.62/288.18 c cleaning 28972 clauses out of 57960 with flag 570002/571447 597.66/302.23 c cleaning 28982 clauses out of 57986 with flag 599000/600445 626.27/316.67 c cleaning 28999 clauses out of 58004 with flag 628000/629445 654.79/331.08 c cleaning 28997 clauses out of 58006 with flag 657001/658446 684.20/345.80 c cleaning 29000 clauses out of 58009 with flag 686001/687446 710.45/359.03 c cleaning 28993 clauses out of 58009 with flag 715001/716446 747.87/377.81 c cleaning 29002 clauses out of 58015 with flag 744000/745445 784.74/396.45 c cleaning 28998 clauses out of 58014 with flag 773001/774446 813.37/410.87 c cleaning 28998 clauses out of 58015 with flag 802000/803445 838.77/423.63 c And the winner is CuttingPlanes 838.84/423.86 c Got one! Elapsed wall clock time (in seconds):423.756 838.84/423.86 o 29 843.52/426.25 c cleaning 31342 clauses out of 62706 with flag 5000/837134 849.68/429.49 c cleaning 18676 clauses out of 37365 with flag 11001/843135 856.90/433.20 c cleaning 12834 clauses out of 25688 with flag 18000/850134 864.25/437.03 c cleaning 10420 clauses out of 20854 with flag 26000/858134 872.78/441.40 c cleaning 9711 clauses out of 19435 with flag 35001/867135 881.90/446.10 c cleaning 9850 clauses out of 19724 with flag 45001/877135 892.67/451.77 c cleaning 10430 clauses out of 20873 with flag 56000/888134 903.61/457.38 c cleaning 11197 clauses out of 22443 with flag 68000/900134 916.75/464.06 c cleaning 12121 clauses out of 24247 with flag 81001/913135 930.67/471.13 c cleaning 13059 clauses out of 26126 with flag 95001/927135 945.84/478.93 c cleaning 14026 clauses out of 28067 with flag 110001/942135 961.37/486.89 c cleaning 15018 clauses out of 30042 with flag 126002/958136 977.30/494.95 c cleaning 16007 clauses out of 32024 with flag 143002/975136 994.22/503.56 c cleaning 16999 clauses out of 34016 with flag 161001/993135 1013.21/513.23 c cleaning 18006 clauses out of 36017 with flag 180001/1012135 1034.35/523.90 c cleaning 18999 clauses out of 38010 with flag 200000/1032134 1055.10/534.48 c cleaning 19998 clauses out of 40011 with flag 221000/1053134 1074.42/544.25 c cleaning 20996 clauses out of 42014 with flag 243001/1075135 1095.60/555.00 c cleaning 22000 clauses out of 44017 with flag 266000/1098134 1115.94/565.32 c cleaning 22992 clauses out of 46018 with flag 290001/1122135 1140.83/577.97 c cleaning 24007 clauses out of 48028 with flag 315003/1147137 1164.94/590.16 c cleaning 24997 clauses out of 50018 with flag 341000/1173134 1193.91/604.86 c cleaning 25999 clauses out of 52021 with flag 368000/1200134 1226.02/621.02 c cleaning 27000 clauses out of 54022 with flag 396000/1228134 1252.72/634.58 c cleaning 27999 clauses out of 56023 with flag 425001/1257135 1278.79/647.81 c cleaning 28505 clauses out of 57024 with flag 454001/1286135 1306.06/661.60 c cleaning 28747 clauses out of 57518 with flag 483000/1315134 1338.12/677.83 c cleaning 28876 clauses out of 57771 with flag 512000/1344134 1365.40/691.60 c cleaning 28937 clauses out of 57895 with flag 541000/1373134 1391.08/704.67 c cleaning 28963 clauses out of 57958 with flag 570000/1402134 1417.55/718.18 c cleaning 28992 clauses out of 57995 with flag 599000/1431134 1442.99/731.09 c cleaning 28997 clauses out of 58003 with flag 628000/1460134 1468.68/744.09 c cleaning 28995 clauses out of 58006 with flag 657000/1489134 1498.33/759.08 c cleaning 28997 clauses out of 58011 with flag 686000/1518134 1530.76/775.53 c cleaning 28992 clauses out of 58014 with flag 715000/1547134 1556.97/788.80 c cleaning 29005 clauses out of 58022 with flag 744000/1576134 1583.97/802.51 c cleaning 29003 clauses out of 58017 with flag 773000/1605134 1611.79/816.67 c cleaning 29000 clauses out of 58016 with flag 802002/1634136 1640.99/831.60 c cleaning 28997 clauses out of 58014 with flag 831000/1663134 1668.77/845.63 c cleaning 29000 clauses out of 58019 with flag 860002/1692136 1697.16/860.07 c cleaning 29003 clauses out of 58018 with flag 889001/1721135 1725.55/874.41 c cleaning 28997 clauses out of 58014 with flag 918000/1750134 1755.50/889.72 c cleaning 29001 clauses out of 58017 with flag 947000/1779134 1782.64/903.57 c cleaning 28993 clauses out of 58016 with flag 976000/1808134 1800.19/912.51 c starts : 17 1800.19/912.51 c conflicts : 1381 1800.19/912.51 c decisions : 160183 1800.19/912.51 c propagations : 1181899 1800.19/912.51 c inspects : 9617429 1800.19/912.51 c shortcuts : 0 1800.19/912.51 c learnt literals : 0 1800.19/912.51 c learnt binary clauses : 0 1800.19/912.51 c learnt ternary clauses : 0 1800.19/912.51 c learnt constraints : 1379 1800.19/912.51 c ignored constraints : 0 1800.19/912.51 c root simplifications : 0 1800.19/912.51 c removed literals (reason simplification) : 0 1800.19/912.51 c reason swapping (by a shorter reason) : 0 1800.19/912.51 c Calls to reduceDB : 0 1800.19/912.52 c number of reductions to clauses (during analyze) : 0 1800.19/912.52 c number of learned constraints concerned by reduction : 0 1800.19/912.52 c number of learning phase by resolution : 0 1800.19/912.52 c number of learning phase by cutting planes : 0 1800.19/912.52 c speed (assignments/second) : 2418.7223470569697 1800.19/912.52 c non guided choices 0 1800.19/912.52 c learnt constraints type 1800.19/912.52 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 49 1800.19/912.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1800.19/912.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1317 1800.19/912.52 c constraints type 1800.19/912.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4950 1800.19/912.52 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.19/912.52 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 23997 1800.19/912.52 c constraints type 1800.19/912.52 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 23997 1800.19/912.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4950 1800.19/912.52 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.19/912.52 s SATISFIABLE 1800.19/912.53 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 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 x9699 -x9700 -x9701 -x9702 -x9703 x9704 -x9705 -x9706 -x9707 x9708 x9709 1800.19/912.54 c objective function=29 1800.19/912.54 c Total wall clock time (in seconds): 912.431
OK 29
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-3454092-1307193415/watcher-3454092-1307193415 -o /tmp/evaluation-result-3454092-1307193415/solver-3454092-1307193415 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454092-1307193415.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 3.20 3.47 2/274 15400 /proc/meminfo: memFree=28409720/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=30536 CPUtime=0 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 1244 0 0 0 0 0 0 0 24 0 2 0 830942301 31268864 963 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 7901 963 736 9 0 385 0 [pid=15400/tid=15401] ppid=15398 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) R 15398 15400 10640 0 -1 4202560 1855 0 1 0 0 0 0 0 25 0 2 0 830942301 10681323520 2672 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222921471035 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.059472 s] /proc/loadavg: 2.12 3.20 3.47 2/274 15400 /proc/meminfo: memFree=28409720/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10472924 CPUtime=0.05 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 11677 0 1 0 3 2 0 0 24 0 18 0 830942301 10724274176 11374 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2618231 11374 1733 9 0 2608972 0 [pid=15400/tid=15401] ppid=15398 vsize=10472924 CPUtime=0.05 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) R 15398 15400 10640 0 -1 4202560 10502 0 1 0 3 2 0 0 22 0 18 0 830942301 10724274176 11374 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10472924 [startup+0.100461 s] /proc/loadavg: 2.12 3.20 3.47 2/274 15400 /proc/meminfo: memFree=28409720/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10539696 CPUtime=0.1 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 13050 0 1 0 8 2 0 0 24 0 18 0 830942301 10792648704 12747 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2634924 12748 2092 9 0 2625658 0 [pid=15400/tid=15401] ppid=15398 vsize=10539696 CPUtime=0.08 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) R 15398 15400 10640 0 -1 4202560 11147 0 1 0 6 2 0 0 18 0 18 0 830942301 10792648704 12748 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 47557823650643 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539696 [startup+0.300401 s] /proc/loadavg: 2.12 3.20 3.47 2/274 15400 /proc/meminfo: memFree=28409720/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10540256 CPUtime=0.53 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 16855 0 1 0 50 3 0 0 24 0 18 0 830942301 10793222144 15839 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2635064 15840 2201 9 0 2625798 0 [pid=15400/tid=15401] ppid=15398 vsize=10540256 CPUtime=0.28 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) R 15398 15400 10640 0 -1 4202560 13446 0 1 0 26 2 0 0 18 0 18 0 830942301 10793222144 15841 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912505588639 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10540256 [startup+0.700346 s] /proc/loadavg: 2.12 3.20 3.47 2/274 15400 /proc/meminfo: memFree=28409720/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10548136 CPUtime=1.45 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 36829 0 1 0 140 5 0 0 24 0 19 0 830942301 10801291264 34381 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2637034 34381 2233 9 0 2627768 0 [pid=15400/tid=15401] ppid=15398 vsize=10548136 CPUtime=0.53 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 29597 0 1 0 49 4 0 0 19 0 19 0 830942301 10801291264 34381 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 10548136 [startup+1.5012 s] /proc/loadavg: 2.12 3.20 3.47 1/310 15445 /proc/meminfo: memFree=28217692/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10547368 CPUtime=1.83 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 38755 0 1 0 178 5 0 0 24 0 19 0 830942301 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2636842 35137 2237 9 0 2627576 0 [pid=15400/tid=15401] ppid=15398 vsize=10547368 CPUtime=0.58 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 30073 0 1 0 54 4 0 0 17 0 19 0 830942301 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 830942304 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830942304 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830942304 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830942306 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10547368 CPUtime=0.51 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 3433 0 0 0 51 0 0 0 16 0 19 0 830942306 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10547368 CPUtime=0.44 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 3236 0 0 0 44 0 0 0 16 0 19 0 830942306 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830942306 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15434] ppid=15398 vsize=10547368 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15434/stat : 15434 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830942306 10800504832 35137 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 10547368 [startup+3.10086 s] /proc/loadavg: 2.12 3.20 3.47 1/310 15457 /proc/meminfo: memFree=28206284/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10548168 CPUtime=3.66 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 42340 0 1 0 360 6 0 0 24 0 19 0 830942301 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2637042 38721 2242 9 0 2627776 0 [pid=15400/tid=15401] ppid=15398 vsize=10548168 CPUtime=0.67 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 31394 0 1 0 63 4 0 0 17 0 19 0 830942301 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830942303 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 830942304 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830942304 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830942304 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830942306 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10548168 CPUtime=0.74 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 3465 0 0 0 74 0 0 0 15 0 19 0 830942306 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10548168 CPUtime=0.68 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 3465 0 0 0 68 0 0 0 15 0 19 0 830942306 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830942306 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15434] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15434/stat : 15434 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830942306 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15448] ppid=15398 vsize=10548168 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15448/stat : 15448 (java) S 15398 15400 10640 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830942411 10801324032 38721 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 10548168 [startup+6.30129 s] /proc/loadavg: 2.11 3.18 3.46 3/313 15481 /proc/meminfo: memFree=27579456/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10547176 CPUtime=8.62 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 110729 0 1 0 849 13 0 0 24 0 22 0 830942301 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2636794 106227 2243 9 0 2627528 0 [pid=15400/tid=15401] ppid=15398 vsize=10547176 CPUtime=0.74 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 32717 0 1 0 70 4 0 0 15 0 22 0 830942301 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830942303 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830942304 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830942304 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830942304 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942306 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10547176 CPUtime=0.96 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 4076 0 0 0 96 0 0 0 16 0 22 0 830942306 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10547176 CPUtime=0.78 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 3465 0 0 0 78 0 0 0 15 0 22 0 830942306 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10547176 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830942306 10800308224 106227 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=22706088/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10547980 CPUtime=1622.55 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 949404 0 1 0 162148 107 0 0 24 0 22 0 830942301 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2636995 943030 2269 9 0 2627729 0 [pid=15400/tid=15401] ppid=15398 vsize=10547980 CPUtime=0.76 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 32753 0 1 0 72 4 0 0 15 0 22 0 830942301 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10547980 CPUtime=0.65 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 7925 0 0 0 64 1 0 0 15 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10547980 CPUtime=0.65 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 8764 0 0 0 64 1 0 0 15 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10547980 CPUtime=0.78 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 8728 0 0 0 77 1 0 0 16 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10547980 CPUtime=0.6 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 6296 0 0 0 60 0 0 0 15 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10547980 CPUtime=0.59 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 6112 0 0 0 58 1 0 0 16 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10547980 CPUtime=0.58 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 9807 0 0 0 57 1 0 0 15 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10547980 CPUtime=0.62 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 5563 0 0 0 62 0 0 0 16 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10547980 CPUtime=0.6 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 8398 0 0 0 59 1 0 0 15 0 22 0 830942303 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10547980 CPUtime=20.02 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 25426 0 0 0 1998 4 0 0 15 0 22 0 830942304 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830942304 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830942304 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942306 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10547980 CPUtime=1.13 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 4098 0 0 0 113 0 0 0 15 0 22 0 830942306 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10547980 CPUtime=0.98 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 3674 0 0 0 98 0 0 0 15 0 22 0 830942306 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830942306 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15434] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15434/stat : 15434 (java) S 15398 15400 10640 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830942306 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15478] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15478/stat : 15478 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942728 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15502] ppid=15398 vsize=10547980 CPUtime=383.17 cores=0,2,4,6 /proc/15400/task/15502/stat : 15502 (java) R 15398 15400 10640 0 -1 4202560 31 0 0 0 38317 0 0 0 25 0 22 0 830984688 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912505829140 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15400/tid=15503] ppid=15398 vsize=10547980 CPUtime=383.16 cores=0,2,4,6 /proc/15400/task/15503/stat : 15503 (java) R 15398 15400 10640 0 -1 4202560 26 0 0 0 38316 0 0 0 25 0 22 0 830984688 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912506220676 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15400/tid=15504] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15504/stat : 15504 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830984688 10801131520 943030 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1622.55 Current children cumulated vsize (KiB) 10547980 [startup+882.301 s] /proc/loadavg: 3.67 3.66 3.59 5/316 15516 /proc/meminfo: memFree=22686352/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10547980 CPUtime=1740.67 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 950156 0 1 0 173959 108 0 0 24 0 22 0 830942301 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2636995 943738 2269 9 0 2627729 0 [pid=15400/tid=15401] ppid=15398 vsize=10547980 CPUtime=0.76 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 32756 0 1 0 72 4 0 0 15 0 22 0 830942301 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10547980 CPUtime=0.69 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 7925 0 0 0 68 1 0 0 15 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10547980 CPUtime=0.69 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 8829 0 0 0 68 1 0 0 15 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10547980 CPUtime=0.85 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 8829 0 0 0 84 1 0 0 16 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10547980 CPUtime=0.66 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 6296 0 0 0 66 0 0 0 15 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10547980 CPUtime=0.65 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 6365 0 0 0 64 1 0 0 16 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10547980 CPUtime=0.63 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 9992 0 0 0 62 1 0 0 15 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10547980 CPUtime=0.71 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 5681 0 0 0 71 0 0 0 16 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10547980 CPUtime=0.66 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 8409 0 0 0 65 1 0 0 16 0 22 0 830942303 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10547980 CPUtime=22.08 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 25428 0 0 0 2204 4 0 0 15 0 22 0 830942304 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830942304 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830942304 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942306 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10547980 CPUtime=1.13 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 4098 0 0 0 113 0 0 0 15 0 22 0 830942306 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10547980 CPUtime=0.98 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 3674 0 0 0 98 0 0 0 15 0 22 0 830942306 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830942306 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15434] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15434/stat : 15434 (java) S 15398 15400 10640 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830942306 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15478] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15478/stat : 15478 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942728 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15502] ppid=15398 vsize=10547980 CPUtime=440.95 cores=0,2,4,6 /proc/15400/task/15502/stat : 15502 (java) R 15398 15400 10640 0 -1 4202560 38 0 0 0 44095 0 0 0 25 0 22 0 830984688 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912505829096 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15400/tid=15503] ppid=15398 vsize=10547980 CPUtime=440.95 cores=0,2,4,6 /proc/15400/task/15503/stat : 15503 (java) R 15398 15400 10640 0 -1 4202560 29 0 0 0 44095 0 0 0 25 0 22 0 830984688 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912506217257 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15400/tid=15504] ppid=15398 vsize=10547980 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15504/stat : 15504 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830984688 10801131520 943738 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1740.67 Current children cumulated vsize (KiB) 10547980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+912.501 s] /proc/loadavg: 3.67 3.66 3.59 5/316 15517 /proc/meminfo: memFree=22652740/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=10547296 CPUtime=1800.19 cores=0,2,4,6 /proc/15400/stat : 15400 (java) S 15398 15400 10640 0 -1 4202496 956964 0 1 0 179910 109 0 0 24 0 22 0 830942301 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 2636824 949857 2269 9 0 2627558 0 [pid=15400/tid=15401] ppid=15398 vsize=10547296 CPUtime=0.76 cores=0,2,4,6 /proc/15400/task/15401/stat : 15401 (java) S 15398 15400 10640 0 -1 4202560 32758 0 1 0 72 4 0 0 15 0 22 0 830942301 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15412] ppid=15398 vsize=10547296 CPUtime=0.75 cores=0,2,4,6 /proc/15400/task/15412/stat : 15412 (java) S 15398 15400 10640 0 -1 4202560 8912 0 0 0 74 1 0 0 16 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15413] ppid=15398 vsize=10547296 CPUtime=0.71 cores=0,2,4,6 /proc/15400/task/15413/stat : 15413 (java) S 15398 15400 10640 0 -1 4202560 8829 0 0 0 70 1 0 0 15 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15414] ppid=15398 vsize=10547296 CPUtime=0.86 cores=0,2,4,6 /proc/15400/task/15414/stat : 15414 (java) S 15398 15400 10640 0 -1 4202560 8829 0 0 0 85 1 0 0 15 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15415] ppid=15398 vsize=10547296 CPUtime=0.68 cores=0,2,4,6 /proc/15400/task/15415/stat : 15415 (java) S 15398 15400 10640 0 -1 4202560 6296 0 0 0 68 0 0 0 15 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15416] ppid=15398 vsize=10547296 CPUtime=0.69 cores=0,2,4,6 /proc/15400/task/15416/stat : 15416 (java) S 15398 15400 10640 0 -1 4202560 7287 0 0 0 68 1 0 0 16 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 [pid=15400/tid=15417] ppid=15398 vsize=10547296 CPUtime=0.64 cores=0,2,4,6 /proc/15400/task/15417/stat : 15417 (java) S 15398 15400 10640 0 -1 4202560 10527 0 0 0 63 1 0 0 16 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15418] ppid=15398 vsize=10547296 CPUtime=0.75 cores=0,2,4,6 /proc/15400/task/15418/stat : 15418 (java) S 15398 15400 10640 0 -1 4202560 6624 0 0 0 74 1 0 0 16 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15419] ppid=15398 vsize=10547296 CPUtime=0.68 cores=0,2,4,6 /proc/15400/task/15419/stat : 15419 (java) S 15398 15400 10640 0 -1 4202560 8409 0 0 0 67 1 0 0 15 0 22 0 830942303 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0 [pid=15400/tid=15422] ppid=15398 vsize=10547296 CPUtime=23.09 cores=0,2,4,6 /proc/15400/task/15422/stat : 15422 (java) S 15398 15400 10640 0 -1 4202560 28391 0 0 0 2305 4 0 0 15 0 22 0 830942304 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15423] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15423/stat : 15423 (java) S 15398 15400 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830942304 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15424] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15424/stat : 15424 (java) S 15398 15400 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830942304 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15430] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15430/stat : 15430 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942306 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15431] ppid=15398 vsize=10547296 CPUtime=1.13 cores=0,2,4,6 /proc/15400/task/15431/stat : 15431 (java) S 15398 15400 10640 0 -1 4202560 4098 0 0 0 113 0 0 0 15 0 22 0 830942306 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15432] ppid=15398 vsize=10547296 CPUtime=1.01 cores=0,2,4,6 /proc/15400/task/15432/stat : 15432 (java) S 15398 15400 10640 0 -1 4202560 4127 0 0 0 101 0 0 0 15 0 22 0 830942306 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15433] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15433/stat : 15433 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830942306 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15434] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15434/stat : 15434 (java) S 15398 15400 10640 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830942306 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0 [pid=15400/tid=15478] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15478/stat : 15478 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830942728 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0 [pid=15400/tid=15502] ppid=15398 vsize=10547296 CPUtime=470.09 cores=0,2,4,6 /proc/15400/task/15502/stat : 15502 (java) R 15398 15400 10640 0 -1 4202560 38 0 0 0 47009 0 0 0 25 0 22 0 830984688 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912505833683 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15400/tid=15503] ppid=15398 vsize=10547296 CPUtime=470.09 cores=0,2,4,6 /proc/15400/task/15503/stat : 15503 (java) R 15398 15400 10640 0 -1 4202560 30 0 0 0 47009 0 0 0 25 0 22 0 830984688 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 46912506295298 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=15400/tid=15504] ppid=15398 vsize=10547296 CPUtime=0 cores=0,2,4,6 /proc/15400/task/15504/stat : 15504 (java) S 15398 15400 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830984688 10800431104 949857 33554432000 1073741824 1073778376 140733802192704 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 10547296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+912.616 s] /proc/loadavg: 3.67 3.66 3.59 5/316 15517 /proc/meminfo: memFree=22652740/32951124 swapFree=55664332/67111528 [pid=15400] ppid=15398 vsize=0 CPUtime=1800.38 cores=0,2,4,6 /proc/15400/stat : 15400 (java) Z 15398 15400 10640 0 -1 4203548 956995 0 1 0 179921 117 0 0 17 0 2 0 830942301 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/15400/statm: 0 0 0 0 0 0 0 [pid=15400/tid=15503] ppid=15398 vsize=0 CPUtime=470.19 cores=0,2,4,6 /proc/15400/task/15503/stat : 15503 (java) R 15398 15400 10640 0 -1 4203588 30 0 0 0 47012 7 0 0 25 0 2 0 830984688 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 912.687 CPU time (s): 1800.46 CPU user time (s): 1799.22 CPU system time (s): 1.23981 CPU usage (%): 197.27 Max. virtual memory (cumulated for all children) (KiB): 10550336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.23981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 956995 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= 26173 involuntary context switches= 13477 runsolver used 2.71759 second user time and 5.59715 second system time The end
Begin job on node109 at 2011-06-04 15:16:56 IDJOB=3454092 IDBENCH=24978 IDSOLVER=1950 FILE ID=node109/3454092-1307193415 RUNJOBID= node109-1307193415-15379 PBS_JOBID= 13508846 Free space on /tmp= 74008 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_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-3454092-1307193415/watcher-3454092-1307193415 -o /tmp/evaluation-result-3454092-1307193415/solver-3454092-1307193415 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454092-1307193415.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85 RANDOM SEED=1081747968 node109.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.809 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.61 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.809 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.75 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.809 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.74 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.809 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.75 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.809 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.82 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.809 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.75 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.809 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.82 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28415084 kB Buffers: 321324 kB Cached: 2220512 kB SwapCached: 10392 kB Active: 868844 kB Inactive: 3411072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28415084 kB SwapTotal: 67111528 kB SwapFree: 55664332 kB Dirty: 1580 kB Writeback: 0 kB AnonPages: 1734232 kB Mapped: 19104 kB Slab: 156564 kB PageTables: 37512 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 41152832 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= 74008 MiB End job on node109 at 2011-06-04 15:32:10